Trace number 4398178

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.O parallelSAT 18.5074 2.40052

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si4-rand/
Subisomorphism-si4-r001-m600-08.xml
MD5SUM8e810070148f78cd392ecc5d984ef703
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 benchmark8.69989
Satisfiable
(Un)Satisfiability was proved
Number of variables240
Number of constraints817
Number of domains1
Minimum domain size600
Maximum domain size600
Distribution of domain sizes[{"size":600,"count":240}]
Minimum variable degree2
Maximum variable degree14
Distribution of variable degrees[{"degree":2,"count":3},{"degree":3,"count":18},{"degree":4,"count":26},{"degree":5,"count":33},{"degree":7,"count":51},{"degree":8,"count":41},{"degree":9,"count":29},{"degree":10,"count":15},{"degree":11,"count":9},{"degree":12,"count":9},{"degree":13,"count":4},{"degree":14,"count":2}]
Minimum constraint arity1
Maximum constraint arity240
Distribution of constraint arities[{"arity":1,"count":160},{"arity":2,"count":656},{"arity":240,"count":1}]
Number of extensional constraints816
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":816},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.37/0.13	c root propagations     : 5704        
0.37/0.13	c restarts enabled, print stats at every restarts
0.37/0.13	c
0.37/0.13	c
0.37/0.13	c
0.37/0.13	c This is cosoco 2.00 --  
0.37/0.13	c
0.37/0.13	c command line: cosoco -model -nbcores=8 HOME/instance-4398178-1568605544.xml 
0.37/0.13	c ========================================[ Problem Statistics ]===========================================
0.37/0.13	c |                                                                                                       
0.37/0.13	c |  Parse time        :         0.05 s 
0.37/0.13	c |
0.37/0.13	c |               Variables: 240
0.37/0.13	c |            Domain Sizes: 600..600
0.37/0.13	c |
0.37/0.13	c |             Constraints: 817
0.37/0.13	c |                   Arity: 1..240  -- Unary: 160  -- Binary: 656
0.37/0.13	c | 
0.37/0.13	c |                   Types: 
0.37/0.13	c |                          All Different: 1
0.37/0.13	c |                          Extension: 656  (nb tuples: 7242..7242) -- (shared: 6456)
0.37/0.13	c |                          Unary: 160
0.37/0.13	c |                          
0.37/0.13	c =========================================================================================================
0.37/0.13	c Parallel mode: Portfolio
0.37/0.13	c [pFactory][Group N°0] created (threads:8).
0.37/0.13	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
0.37/0.13	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
0.37/0.13	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
0.37/0.13	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
0.37/0.13	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
0.37/0.13	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
0.37/0.13	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
0.37/0.13	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
0.37/0.13	c [pFactory][Group N°0] concurrent mode: enabled.
0.37/0.13	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
0.37/0.13	c [pFactory][Group N°0] task 7 launched on thread 6.
0.37/0.13	c [pFactory][Group N°0] task 6 launched on thread 1.
0.37/0.13	c [pFactory][Group N°0] task 5 launched on thread 0.
0.37/0.13	c [pFactory][Group N°0] task 4 launched on thread 2.
0.37/0.13	c [pFactory][Group N°0] task 3 launched on thread 7.
0.37/0.13	c [pFactory][Group N°0] task 2 launched on thread 3.
0.37/0.13	c [pFactory][Group N°0] task 1 launched on thread 5.
0.37/0.13	c [pFactory][Group N°0] task 0 launched on thread 4.
0.37/0.13	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.37/0.13	c root propagations     : 5704        
0.37/0.13	c restarts enabled, print stats at every restarts
0.37/0.13	c
0.37/0.13	c
0.37/0.13	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.37/0.13	c root propagations     : 5704        
0.37/0.13	c restarts enabled, print stats at every restarts
0.37/0.13	c
0.37/0.13	c
0.37/0.13	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.37/0.13	c root propagations     : 5704        
0.37/0.13	c restarts enabled, print stats at every restarts
0.37/0.13	c
0.37/0.13	c
0.37/0.13	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.37/0.14	c root propagations     : 5704        
0.37/0.14	c restarts enabled, print stats at every restarts
0.37/0.14	c
0.37/0.14	c
0.37/0.14	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.37/0.14	c root propagations     : 5704        
0.37/0.14	c restarts enabled, print stats at every restarts
0.37/0.14	c
0.37/0.14	c
0.37/0.14	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.37/0.14	c 0              1              2040           5705           160            0              0   0   0      
0.37/0.14	c 0              2              2040           5706           160            0              0   0   0      
0.37/0.14	c 0              1              2040           5705           160            0              0   0   0      
0.37/0.14	c root propagations     : 5704        
0.37/0.14	c restarts enabled, print stats at every restarts
0.37/0.14	c
0.37/0.14	c
0.37/0.14	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.37/0.14	c 0              1              2040           5705           160            0              0   0   0      
0.37/0.14	c 0              1              2040           5705           160            0              0   0   0      
0.37/0.14	c 0              1              2040           5705           c 160            0              01              2040           5705           0   0   0      160            
0.37/0.15	0              0   0   0      
0.37/0.15	c root propagations     : 5704        
0.37/0.15	c restarts enabled, print stats at every restarts
0.37/0.15	c
0.37/0.15	c
0.37/0.15	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.37/0.15	c 0              2              2603           19841          160            0              0   0   0      
0.37/0.15	c 0              1              2063           5707           160            0              0   0   0      
0.37/0.16	c 0              3              2913           27787          160            0              0   0   0      
0.37/0.16	c 0              3              2914           27812          160            0              0   0   0      
0.37/0.16	c 0              3              2894           32922          160            0              0   0   0      
0.37/0.16	c 0              4              2937           27815          160            0              0   0   0      
0.37/0.16	c 0              3              2882           11573          160            0              0   0   0      
0.37/0.16	c 0              3              2982           46486          160            0              0   0   0      
0.37/0.16	c 0              5              3809           49869          160            0              0   0   0      
0.37/0.16	c 0              4              3466           33536          160            0              0   0   0      
0.37/0.16	c 0              5              3770           60141          160            0              0   0   0      
0.37/0.16	c 0              6              3811           49920          160            0              0   0   0      
0.37/0.16	c 0              5              3701           17439          160            0              0   0   0      
1.23/0.27	c 32             47             18257          339636         160            0              2   6   2      
1.23/0.31	c 33             52             21687          414950         161            0              5   5   2      
2.81/0.46	c 32             47             36164          496734         160            0              4   5   4      
2.81/0.47	c 33             48             36271          509093         161            0              1   1   0      
3.60/0.52	c 32             58             40052          673448         161            0              1   4   3      
3.60/0.53	c 32             55             34959          919126         161            0              2   4   2      
3.60/0.53	c 33             56             34999          927692         161            0              1   1   0      
3.60/0.55	c 101            127            36866          1760467        160            0              2   6   2      
3.60/0.56	c 33             60             42049          734347         161            0              2   2   1      
4.33/0.61	c 64             96             51043          1051429        161            0              1   3   2      
4.33/0.63	c 65             98             52098          1109268        161            0              2   2   1      
4.33/0.65	c 66             100            52992          1163394        161            0              2   2   1      
4.33/0.65	c 67             101            53054          1169194        161            0              1   1   0      
4.33/0.68	c 101            159            77424          1251561        160            0              1   6   4      
5.06/0.71	c 64             93             61344          1052399        161            0              1   4   2      
5.06/0.73	c 65             95             62269          1096659        161            0              2   2   1      
5.06/0.74	c 66             96             62315          1099757        161            0              1   1   0      
5.06/0.75	c 67             98             63786          1139838        161            0              2   2   1      
5.06/0.76	c 101            123            77814          911245         161            0              2   4   2      
5.06/0.79	c 101            143            59802          1245099        161            0              1   5   2      
5.85/0.83	c 64             98             60014          1618159        161            0              1   2   1      
5.85/0.85	c 65             100            61200          1681638        161            0              2   2   1      
5.85/0.86	c 64             103            64234          1296630        161            0              1   2   1      
5.85/0.87	c 66             102            62375          1733757        161            0              2   2   1      
5.85/0.88	c 65             105            65396          1357436        161            0              2   2   1      
5.85/0.90	c 67             104            64081          1789628        161            0              2   2   1      
5.85/0.90	c 66             107            66663          1398619        161            0              2   2   1      
6.65/0.91	c 67             109            67879          1417187        161            0              2   2   1      
8.31/1.12	c 128            182            91041          2379957        161            0              1   3   1      
8.31/1.14	c 129            184            92024          2412267        161            0              2   2   1      
8.31/1.15	c 130            185            92064          2416219        161            0              1   1   0      
8.31/1.16	c 131            187            93459          2453367        161            0              2   2   1      
8.31/1.16	c 132            188            93520          2460844        161            0              1   1   0      
8.31/1.18	c 133            190            95432          2523264        161            0              2   2   1      
8.31/1.20	c 134            192            96414          2573080        161            0              2   2   1      
9.07/1.22	c 135            194            98092          2623273        161            0              2   2   1      
9.07/1.24	c 211            290            110414         3152209        161            0              1   8   3      
9.84/1.36	c 211            289            112131         2380266        161            0              1   5   2      
10.64/1.40	c 128            189            101232         2918082        161            0              1   2   1      
10.64/1.41	c 128            198            123217         2711518        161            0              1   6   2      
10.64/1.41	c 129            191            102616         2942693        161            0              2   2   1      
10.64/1.42	c 129            200            124954         2760028        161            0              2   2   1      
10.64/1.43	c 130            193            104504         3000529        161            0              2   2   1      
10.64/1.44	c 130            202            125958         2821121        161            0              2   2   1      
10.64/1.44	c 131            195            105910         3025138        161            0              2   2   1      
10.64/1.46	c 132            197            107795         3082966        161            0              2   2   1      
10.64/1.46	c 128            190            113838         2497531        161            0              1   2   1      
10.64/1.46	c 131            204            127339         2872607        161            0              2   2   1      
10.64/1.47	c 133            199            109190         3107569        161            0              2   2   1      
10.64/1.47	c 129            192            114999         2515866        161            0              2   2   1      
10.64/1.48	c 132            206            128851         2927543        161            0              2   2   1      
10.64/1.48	c 134            201            111056         3165202        161            0              2   2   1      
10.64/1.49	c 130            194            116081         2561420        161            0              2   2   1      
10.64/1.49	c 135            203            112443         3189806        161            0              2   2   1      
11.44/1.50	c 133            208            130580         2982271        161            0              2   2   1      
11.44/1.51	c 131            196            117646         2596516        161            0              2   2   1      
11.44/1.52	c 134            210            131635         3032429        161            0              2   2   1      
11.44/1.52	c 132            198            118571         2633567        161            0              2   2   1      
11.44/1.53	c 133            200            119736         2651899        161            0              2   2   1      
11.44/1.54	c 135            212            132640         3083259        161            0              2   2   1      
11.44/1.55	c 134            202            121293         2686991        161            0              2   2   1      
11.44/1.56	c 135            204            122201         2724034        161            0              2   2   1      
12.24/1.68	c 211            279            140332         3285591        161            0              1   6   1      
13.03/1.74	c 211            359            195788         3668865        161            0              1   6   3      
13.83/1.81	c 332            458            170274         4539750        161            0              1   5   2      
17.02/2.21	c 332            460            183496         4475794        162            0              1   5   2      
17.02/2.25	c 256            366            174757         5565091        162            0              1   6   1      
17.02/2.25	c 257            367            174784         5570620        162            0              1   1   0      
17.02/2.26	c 258            368            174811         5576103        162            0              1   1   0      
17.02/2.26	c 259            369            174838         5581619        162            0              1   1   0      
17.02/2.26	c 260            370            174873         5587167        162            0              1   1   0      
17.02/2.26	c 261            371            174925         5598302        162            0              1   1   0      
17.02/2.27	c 262            373            175891         5644572        162            0              2   2   1      
17.02/2.27	c 263            374            176025         5650029        162            0              1   1   0      
17.02/2.29	c 264            376            177005         5708750        162            0              2   2   1      
17.02/2.29	c 265            377            177051         5714254        162            0              1   1   0      
17.82/2.30	c 266            378            177095         5725406        162            0              1   1   0      
17.82/2.31	c 267            380            178060         5778402        162            0              2   2   1      
17.82/2.31	c 268            381            178128         5789622        162            0              1   1   0      
17.82/2.31	c 269            382            178168         5795168        162            0              1   1   0      
17.82/2.31	c 270            383            178220         5807783        162            0              1   1   0      
17.82/2.31	c 271            384            178277         5818943        162            0              1   1   0      
17.82/2.33	c 256            375            187231         5574867        162            0              1   6   1      
17.82/2.33	c 257            376            187295         5585989        162            0              1   1   0      
17.82/2.34	c 258            377            187322         5591445        162            0              1   1   0      
17.82/2.34	c 259            378            187357         5596940        162            0              1   1   0      
17.82/2.34	c 260            379            187415         5609605        162            0              1   1   0      
17.82/2.34	c 261            380            187476         5622381        162            0              1   1   0      
17.82/2.34	c 262            381            187503         5627815        162            0              1   1   0      
17.82/2.34	c 263            382            187530         5633316        162            0              1   1   0      
17.82/2.34	c 264            383            187574         5644578        162            0              1   1   0      
17.82/2.34	c 265            384            187627         5655792        162            0              1   1   0      
17.82/2.34	c 266            385            187654         5661287        162            0              1   1   0      
17.82/2.34	c 267            386            187708         5674101        162            0              1   1   0      
17.82/2.36	c 268            388            189386         5730917        162            0              2   2   1      
17.82/2.37	c First solution is found
17.82/2.39	c [pFactory][Group N°0] concurent mode: thread 5 has won with the task 1.
17.82/2.39	c [pFactory][Group N°0] Thread N°0 is joined.
17.82/2.39	c [pFactory][Group N°0] Thread N°1 is joined.
17.82/2.39	c [pFactory][Group N°0] Thread N°2 is joined.
17.82/2.39	c [pFactory][Group N°0] Thread N°3 is joined.
17.82/2.39	c [pFactory][Group N°0] Thread N°4 is joined.
17.82/2.39	c [pFactory][Group N°0] Thread N°5 is joined.
17.82/2.39	c [pFactory][Group N°0] Thread N°6 is joined.
17.82/2.39	c [pFactory][Group N°0] Thread N°7 is joined.
17.82/2.39	c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°5)
17.82/2.39	s SATISFIABLE
17.82/2.39	c restarts              : 16          
17.82/2.39	c conflicts             : 238          (13 /sec)
17.82/2.39	c decisions             : 346          (19 /sec)
17.82/2.39	c propagations          : 4699278     (255071 /sec)
17.82/2.39	c root propagations     : 5704        
17.82/2.39	c filter calls          : 186899         (10145 /sec)
17.82/2.39	c useless filter calls  : 131866         (70 %)
17.82/2.39	c Memory used           : 616.57 MB
17.82/2.39	c CPU time              : 18.4233 s
17.82/2.39	c real time             : 2.39186 s
17.82/2.39	
17.82/2.39	c solution 1
17.82/2.39	
17.82/2.39	v <instantiation type='solution'>
17.82/2.39	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] </list>
17.82/2.39	v <values>423 141 147 588 172 233 249 91 390 27 558 382 455 539 519 197 434 414 593 179 591 9 33 0 184 55 222 113 385 532 551 413 240 439 306 286 69 250 501 112 525 227 23 494 92 403 526 107 28 499 41 122 259 74 340 89 377 402 255 521 356 194 42 290 235 106 77 393 549 217 126 101 111 31 469 400 100 130 280 552 321 325 524 125 473 274 449 395 562 124 212 19 375 577 93 34 6 548 46 213 305 318 202 420 537 167 270 560 262 550 45 264 332 88 230 283 463 73 133 354 333 485 361 478 594 520 302 563 177 533 468 296 546 349 56 510 596 317 583 481 433 504 470 246 540 36 18 304 534 530 536 364 376 326 374 83 52 292 486 346 339 195 90 479 427 173 465 271 373 487 480 64 587 288 8 351 399 225 53 459 475 170 50 2 193 152 527 556 47 371 531 362 191 151 78 178 281 564 575 372 87 62 188 576 98 186 348 412 491 297 138 324 541 506 553 419 142 257 384 309 231 502 301 131 127 574 25 571 245 117 581 350 513 95 416 338 267 366 71 561 </values>
17.82/2.39	v </instantiation>
17.82/2.39

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398178-1568605544/watcher-4398178-1568605544 -o /tmp/evaluation-result-4398178-1568605544/solver-4398178-1568605544 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568598290-13264 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398178-1568605544.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=15510, runsolver pid=15507
Current StackSize limit: 8192 KiB


[startup+0.100288 s]*
/proc/loadavg: 1.41 1.69 4.10 9/199 15519
/proc/meminfo: memFree=31052600/32770624 swapFree=66952652/67108860
[pid=15510] ppid=15507 vsize=664152 memory=50716 CPUtime=0.37 cores=0-7
/proc/15510/stat : 15510 (cosoco) S 15507 15510 13237 0 -1 1077944320 13104 0 0 0 35 2 0 0 20 0 9 0 436823274 680091648 12679 33554432000 4194304 6211092 140734273344944 140734273343200 140660394135287 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
/proc/15510/statm: 166038 12679 836 493 0 159343 0
[pid=15510/tid=15512] ppid=15507 vsize=664152 memory=576460756329955530 CPUtime=0.04 cores=0-7
/proc/15510/task/15512/stat : 15512 (cosoco) R 15507 15510 13237 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 9 0 436823281 680091648 12679 33554432000 4194304 6211092 140734273344944 140660370992736 5076376 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15513] ppid=15507 vsize=664152 memory=0 CPUtime=0.04 cores=0-7
/proc/15510/task/15513/stat : 15513 (cosoco) R 15507 15510 13237 0 -1 4202560 25 0 0 0 4 0 0 0 20 0 9 0 436823281 680091648 12679 33554432000 4194304 6211092 140734273344944 140660362599688 140660378094565 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15514] ppid=15507 vsize=664152 memory=140503882645256 CPUtime=0.03 cores=0-7
/proc/15510/task/15514/stat : 15514 (cosoco) R 15507 15510 13237 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 9 0 436823281 680091648 12679 33554432000 4194304 6211092 140734273344944 140660354207328 5017688 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15515] ppid=15507 vsize=664152 memory=0 CPUtime=0.03 cores=0-7
/proc/15510/task/15515/stat : 15515 (cosoco) R 15507 15510 13237 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 9 0 436823281 680091648 12679 33554432000 4194304 6211092 140734273344944 140660345814280 5017373 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15516] ppid=15507 vsize=664152 memory=0 CPUtime=0.03 cores=0-7
/proc/15510/task/15516/stat : 15516 (cosoco) R 15507 15510 13237 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 9 0 436823281 680091648 12679 33554432000 4194304 6211092 140734273344944 140660337421920 5017664 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15517] ppid=15507 vsize=664152 memory=0 CPUtime=0.03 cores=0-7
/proc/15510/task/15517/stat : 15517 (cosoco) R 15507 15510 13237 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 9 0 436823281 680091648 12679 33554432000 4194304 6211092 140734273344944 140660329029216 5017688 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15518] ppid=15507 vsize=664152 memory=-1 CPUtime=0.04 cores=0-7
/proc/15510/task/15518/stat : 15518 (cosoco) R 15507 15510 13237 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 9 0 436823281 680091648 12679 33554432000 4194304 6211092 140734273344944 140734273341480 5017679 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15519] ppid=15507 vsize=664152 memory=0 CPUtime=0.03 cores=0-7
/proc/15510/task/15519/stat : 15519 (cosoco) R 15507 15510 13237 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 9 0 436823281 680091648 12679 33554432000 4194304 6211092 140734273344944 140660312243464 5017688 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 664152 KiB
Current children cumulated memory: 50716 KiB

[startup+0.21029 s]*
/proc/loadavg: 1.41 1.69 4.10 9/199 15519
/proc/meminfo: memFree=31046728/32770624 swapFree=66952652/67108860
[pid=15510] ppid=15507 vsize=668280 memory=58600 CPUtime=1.23 cores=0-7
/proc/15510/stat : 15510 (cosoco) S 15507 15510 13237 0 -1 1077944320 15056 0 0 0 121 2 0 0 20 0 9 0 436823274 684318720 14650 33554432000 4194304 6211092 140734273344944 140734273343200 140660394135287 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
/proc/15510/statm: 167070 14650 846 493 0 160375 0
[pid=15510/tid=15512] ppid=15507 vsize=668280 memory=8316850467074736180 CPUtime=0.14 cores=0-7
/proc/15510/task/15512/stat : 15512 (cosoco) R 15507 15510 13237 0 -1 4202560 266 0 0 0 14 0 0 0 20 0 9 0 436823281 684318720 14650 33554432000 4194304 6211092 140734273344944 140660370992336 5017688 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15513] ppid=15507 vsize=668280 memory=1947269 CPUtime=0.14 cores=0-7
/proc/15510/task/15513/stat : 15513 (cosoco) R 15507 15510 13237 0 -1 4202560 272 0 0 0 14 0 0 0 20 0 9 0 436823281 684318720 14650 33554432000 4194304 6211092 140734273344944 140660362599520 5075234 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15514] ppid=15507 vsize=668280 memory=288370880034342528 CPUtime=0.14 cores=0-7
/proc/15510/task/15514/stat : 15514 (cosoco) R 15507 15510 13237 0 -1 4202560 265 0 0 0 14 0 0 0 20 0 9 0 436823281 684318720 14650 33554432000 4194304 6211092 140734273344944 140660354206928 5017688 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15515] ppid=15507 vsize=668280 memory=-1 CPUtime=0.14 cores=0-7
/proc/15510/task/15515/stat : 15515 (cosoco) R 15507 15510 13237 0 -1 4202560 264 0 0 0 14 0 0 0 20 0 9 0 436823281 684318720 14650 33554432000 4194304 6211092 140734273344944 140660345814224 5017688 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15516] ppid=15507 vsize=668280 memory=0 CPUtime=0.14 cores=0-7
/proc/15510/task/15516/stat : 15516 (cosoco) R 15507 15510 13237 0 -1 4202560 265 0 0 0 14 0 0 0 20 0 9 0 436823281 684318720 14650 33554432000 4194304 6211092 140734273344944 140660337421408 5017617 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15517] ppid=15507 vsize=668280 memory=0 CPUtime=0.14 cores=0-7
/proc/15510/task/15517/stat : 15517 (cosoco) R 15507 15510 13237 0 -1 4202560 265 0 0 0 14 0 0 0 20 0 9 0 436823281 684318720 14650 33554432000 4194304 6211092 140734273344944 140660329028816 5186302 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15518] ppid=15507 vsize=668280 memory=-1 CPUtime=0.14 cores=0-7
/proc/15510/task/15518/stat : 15518 (cosoco) R 15507 15510 13237 0 -1 4202560 268 0 0 0 14 0 0 0 20 0 9 0 436823281 684318720 14650 33554432000 4194304 6211092 140734273344944 140660320635976 5076376 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15519] ppid=15507 vsize=668280 memory=0 CPUtime=0.13 cores=0-7
/proc/15510/task/15519/stat : 15519 (cosoco) R 15507 15510 13237 0 -1 4202560 259 0 0 0 13 0 0 0 20 0 9 0 436823281 684318720 14650 33554432000 4194304 6211092 140734273344944 140660312243296 5017688 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 668280 KiB
Current children cumulated memory: 58600 KiB

[startup+0.310291 s]*
/proc/loadavg: 1.41 1.69 4.10 9/199 15519
/proc/meminfo: memFree=31046728/32770624 swapFree=66952652/67108860
[pid=15510] ppid=15507 vsize=668280 memory=58600 CPUtime=2.02 cores=0-7
/proc/15510/stat : 15510 (cosoco) S 15507 15510 13237 0 -1 1077944320 15056 0 0 0 200 2 0 0 20 0 9 0 436823274 684318720 14650 33554432000 4194304 6211092 140734273344944 140734273343200 140660394135287 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
/proc/15510/statm: 167070 14650 846 493 0 160375 0
[pid=15510/tid=15512] ppid=15507 vsize=668280 memory=8317482817917895235 CPUtime=0.24 cores=0-7
/proc/15510/task/15512/stat : 15512 (cosoco) R 15507 15510 13237 0 -1 4202560 266 0 0 0 24 0 0 0 20 0 9 0 436823281 684318720 14650 33554432000 4194304 6211092 140734273344944 140660370992224 5017600 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15513] ppid=15507 vsize=668280 memory=0 CPUtime=0.24 cores=0-7
/proc/15510/task/15513/stat : 15513 (cosoco) R 15507 15510 13237 0 -1 4202560 272 0 0 0 24 0 0 0 20 0 9 0 436823281 684318720 14650 33554432000 4194304 6211092 140734273344944 140660362599520 5017248 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15514] ppid=15507 vsize=668280 memory=0 CPUtime=0.24 cores=0-7
/proc/15510/task/15514/stat : 15514 (cosoco) R 15507 15510 13237 0 -1 4202560 265 0 0 0 24 0 0 0 20 0 9 0 436823281 684318720 14650 33554432000 4194304 6211092 140734273344944 140660354206928 5017292 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15515] ppid=15507 vsize=668280 memory=6944656592455097440 CPUtime=0.24 cores=0-7
/proc/15510/task/15515/stat : 15515 (cosoco) R 15507 15510 13237 0 -1 4202560 264 0 0 0 24 0 0 0 20 0 9 0 436823281 684318720 14650 33554432000 4194304 6211092 140734273344944 140660345814224 5017472 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15516] ppid=15507 vsize=668280 memory=0 CPUtime=0.24 cores=0-7
/proc/15510/task/15516/stat : 15516 (cosoco) R 15507 15510 13237 0 -1 4202560 265 0 0 0 24 0 0 0 20 0 9 0 436823281 684318720 14650 33554432000 4194304 6211092 140734273344944 140660337421408 5017679 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15517] ppid=15507 vsize=668280 memory=0 CPUtime=0.24 cores=0-7
/proc/15510/task/15517/stat : 15517 (cosoco) R 15507 15510 13237 0 -1 4202560 265 0 0 0 24 0 0 0 20 0 9 0 436823281 684318720 14650 33554432000 4194304 6211092 140734273344944 140660329028816 5017617 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15518] ppid=15507 vsize=668280 memory=0 CPUtime=0.24 cores=0-7
/proc/15510/task/15518/stat : 15518 (cosoco) R 15507 15510 13237 0 -1 4202560 268 0 0 0 24 0 0 0 20 0 9 0 436823281 684318720 14650 33554432000 4194304 6211092 140734273344944 140660320635976 5017617 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15519] ppid=15507 vsize=668280 memory=0 CPUtime=0.22 cores=0-7
/proc/15510/task/15519/stat : 15519 (cosoco) R 15507 15510 13237 0 -1 4202560 259 0 0 0 22 0 0 0 20 0 9 0 436823281 684318720 14650 33554432000 4194304 6211092 140734273344944 140660312243296 5017373 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
Current children cumulated CPU time: 2.02 s
Current children cumulated vsize: 668280 KiB
Current children cumulated memory: 58600 KiB

[startup+0.70129 s]
/proc/loadavg: 1.41 1.69 4.10 9/199 15519
/proc/meminfo: memFree=31046356/32770624 swapFree=66952652/67108860
[pid=15510] ppid=15507 vsize=668280 memory=58600 CPUtime=5.06 cores=0-7
/proc/15510/stat : 15510 (cosoco) S 15507 15510 13237 0 -1 1077944320 15056 0 0 0 504 2 0 0 20 0 9 0 436823274 684318720 14650 33554432000 4194304 6211092 140734273344944 140734273343200 140660394135287 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
/proc/15510/statm: 167070 14650 846 493 0 160375 0
[pid=15510/tid=15512] ppid=15507 vsize=668280 memory=2828 CPUtime=0.62 cores=0-7
/proc/15510/task/15512/stat : 15512 (cosoco) R 15507 15510 13237 0 -1 4202560 266 0 0 0 62 0 0 0 20 0 9 0 436823281 684318720 14650 33554432000 4194304 6211092 140734273344944 140660370992224 5017688 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15513] ppid=15507 vsize=668280 memory=780 CPUtime=0.62 cores=0-7
/proc/15510/task/15513/stat : 15513 (cosoco) R 15507 15510 13237 0 -1 4202560 272 0 0 0 62 0 0 0 20 0 9 0 436823281 684318720 14650 33554432000 4194304 6211092 140734273344944 140660362599520 5017495 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15514] ppid=15507 vsize=668280 memory=620 CPUtime=0.62 cores=0-7
/proc/15510/task/15514/stat : 15514 (cosoco) R 15507 15510 13237 0 -1 4202560 265 0 0 0 62 0 0 0 20 0 9 0 436823281 684318720 14650 33554432000 4194304 6211092 140734273344944 140660354206928 5017664 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15515] ppid=15507 vsize=668280 memory=1496 CPUtime=0.63 cores=0-7
/proc/15510/task/15515/stat : 15515 (cosoco) R 15507 15510 13237 0 -1 4202560 264 0 0 0 63 0 0 0 20 0 9 0 436823281 684318720 14650 33554432000 4194304 6211092 140734273344944 140660345814224 5017292 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15516] ppid=15507 vsize=668280 memory=1016 CPUtime=0.62 cores=0-7
/proc/15510/task/15516/stat : 15516 (cosoco) R 15507 15510 13237 0 -1 4202560 265 0 0 0 62 0 0 0 20 0 9 0 436823281 684318720 14650 33554432000 4194304 6211092 140734273344944 140660337421408 5017617 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15517] ppid=15507 vsize=668280 memory=1568 CPUtime=0.62 cores=0-7
/proc/15510/task/15517/stat : 15517 (cosoco) R 15507 15510 13237 0 -1 4202560 265 0 0 0 62 0 0 0 20 0 9 0 436823281 684318720 14650 33554432000 4194304 6211092 140734273344944 140660329028816 5078864 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15518] ppid=15507 vsize=668280 memory=928 CPUtime=0.63 cores=0-7
/proc/15510/task/15518/stat : 15518 (cosoco) R 15507 15510 13237 0 -1 4202560 268 0 0 0 63 0 0 0 20 0 9 0 436823281 684318720 14650 33554432000 4194304 6211092 140734273344944 140660320635976 5017600 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15519] ppid=15507 vsize=668280 memory=3520 CPUtime=0.58 cores=0-7
/proc/15510/task/15519/stat : 15519 (cosoco) R 15507 15510 13237 0 -1 4202560 259 0 0 0 58 0 0 0 20 0 9 0 436823281 684318720 14650 33554432000 4194304 6211092 140734273344944 140660312243296 5017664 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
Current children cumulated CPU time: 5.06 s
Current children cumulated vsize: 668280 KiB
Current children cumulated memory: 58600 KiB

[startup+1.50129 s]
/proc/loadavg: 1.78 1.77 4.11 9/199 15519
/proc/meminfo: memFree=31046160/32770624 swapFree=66952652/67108860
[pid=15510] ppid=15507 vsize=668280 memory=58952 CPUtime=11.44 cores=0-7
/proc/15510/stat : 15510 (cosoco) S 15507 15510 13237 0 -1 1077944320 27206 0 0 0 1137 7 0 0 20 0 9 0 436823274 684318720 14738 33554432000 4194304 6211092 140734273344944 140734273343200 140660394135287 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
/proc/15510/statm: 167070 14738 848 493 0 160375 0
[pid=15510/tid=15512] ppid=15507 vsize=668280 memory=1947178 CPUtime=1.42 cores=0-7
/proc/15510/task/15512/stat : 15512 (cosoco) R 15507 15510 13237 0 -1 4202560 1697 0 0 0 141 1 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660370992224 5081325 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15513] ppid=15507 vsize=668280 memory=1948606 CPUtime=1.42 cores=0-7
/proc/15510/task/15513/stat : 15513 (cosoco) R 15507 15510 13237 0 -1 4202560 2129 0 0 0 142 0 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660362599520 5017280 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15514] ppid=15507 vsize=668280 memory=0 CPUtime=1.42 cores=0-7
/proc/15510/task/15514/stat : 15514 (cosoco) R 15507 15510 13237 0 -1 4202560 1409 0 0 0 141 1 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660354206816 5017617 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15515] ppid=15507 vsize=668280 memory=8243114992657236051 CPUtime=1.42 cores=0-7
/proc/15510/task/15515/stat : 15515 (cosoco) R 15507 15510 13237 0 -1 4202560 1756 0 0 0 142 0 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660345814112 5017373 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15516] ppid=15507 vsize=668280 memory=288288891675607907 CPUtime=1.42 cores=0-7
/proc/15510/task/15516/stat : 15516 (cosoco) R 15507 15510 13237 0 -1 4202560 1510 0 0 0 141 1 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660337421408 5017617 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15517] ppid=15507 vsize=668280 memory=4638798211352652135 CPUtime=1.42 cores=0-7
/proc/15510/task/15517/stat : 15517 (cosoco) R 15507 15510 13237 0 -1 4202560 2140 0 0 0 142 0 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660329028704 5017292 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15518] ppid=15507 vsize=668280 memory=281007496820192 CPUtime=1.42 cores=0-7
/proc/15510/task/15518/stat : 15518 (cosoco) R 15507 15510 13237 0 -1 4202560 1542 0 0 0 142 0 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660320636000 5017617 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15519] ppid=15507 vsize=668280 memory=3540029430245366021 CPUtime=1.36 cores=0-7
/proc/15510/task/15519/stat : 15519 (cosoco) R 15507 15510 13237 0 -1 4202560 2091 0 0 0 136 0 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660312243296 5079024 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
Current children cumulated CPU time: 11.44 s
Current children cumulated vsize: 668280 KiB
Current children cumulated memory: 58952 KiB

[startup+2.40046 s]
# the end of solver process 15510 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=18.4234 s, system=0.083919 s

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

[startup+1.60129 s]
/proc/loadavg: 1.78 1.77 4.11 9/199 15519
/proc/meminfo: memFree=31046160/32770624 swapFree=66952652/67108860
[pid=15510] ppid=15507 vsize=668280 memory=58952 CPUtime=12.24 cores=0-7
/proc/15510/stat : 15510 (cosoco) S 15507 15510 13237 0 -1 1077944320 27214 0 0 0 1217 7 0 0 20 0 9 0 436823274 684318720 14738 33554432000 4194304 6211092 140734273344944 140734273343200 140660394135287 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
/proc/15510/statm: 167070 14738 848 493 0 160375 0
[pid=15510/tid=15512] ppid=15507 vsize=668280 memory=6935054825532540783 CPUtime=1.52 cores=0-7
/proc/15510/task/15512/stat : 15512 (cosoco) R 15507 15510 13237 0 -1 4202560 1698 0 0 0 151 1 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660370992224 5017292 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15513] ppid=15507 vsize=668280 memory=1188 CPUtime=1.52 cores=0-7
/proc/15510/task/15513/stat : 15513 (cosoco) R 15507 15510 13237 0 -1 4202560 2130 0 0 0 152 0 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660362599520 5017679 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15514] ppid=15507 vsize=668280 memory=33 CPUtime=1.52 cores=0-7
/proc/15510/task/15514/stat : 15514 (cosoco) R 15507 15510 13237 0 -1 4202560 1411 0 0 0 151 1 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660354206816 5186269 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15515] ppid=15507 vsize=668280 memory=0 CPUtime=1.52 cores=0-7
/proc/15510/task/15515/stat : 15515 (cosoco) R 15507 15510 13237 0 -1 4202560 1757 0 0 0 152 0 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660345814112 5017679 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15516] ppid=15507 vsize=668280 memory=0 CPUtime=1.52 cores=0-7
/proc/15510/task/15516/stat : 15516 (cosoco) R 15507 15510 13237 0 -1 4202560 1512 0 0 0 151 1 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660337421408 5078748 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15517] ppid=15507 vsize=668280 memory=4156 CPUtime=1.52 cores=0-7
/proc/15510/task/15517/stat : 15517 (cosoco) R 15507 15510 13237 0 -1 4202560 2140 0 0 0 152 0 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660329028704 5017373 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15518] ppid=15507 vsize=668280 memory=1056 CPUtime=1.52 cores=0-7
/proc/15510/task/15518/stat : 15518 (cosoco) R 15507 15510 13237 0 -1 4202560 1544 0 0 0 152 0 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660320636000 140660378094043 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15519] ppid=15507 vsize=668280 memory=1188 CPUtime=1.46 cores=0-7
/proc/15510/task/15519/stat : 15519 (cosoco) R 15507 15510 13237 0 -1 4202560 2091 0 0 0 146 0 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660312243296 5017617 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
Current children cumulated CPU time: 12.24 s
Current children cumulated vsize: 668280 KiB
Current children cumulated memory: 58952 KiB

[startup+2.00129 s]*
/proc/loadavg: 1.78 1.77 4.11 9/199 15519
/proc/meminfo: memFree=31045972/32770624 swapFree=66952652/67108860
[pid=15510] ppid=15507 vsize=668280 memory=58952 CPUtime=15.49 cores=0-7
/proc/15510/stat : 15510 (cosoco) S 15507 15510 13237 0 -1 1077944320 27264 0 0 0 1542 7 0 0 20 0 9 0 436823274 684318720 14738 33554432000 4194304 6211092 140734273344944 140734273343200 140660394135287 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
/proc/15510/statm: 167070 14738 848 493 0 160375 0
[pid=15510/tid=15512] ppid=15507 vsize=668280 memory=6656426216303648864 CPUtime=1.93 cores=0-7
/proc/15510/task/15512/stat : 15512 (cosoco) R 15507 15510 13237 0 -1 4202560 1706 0 0 0 192 1 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660370992224 5017617 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15513] ppid=15507 vsize=668280 memory=0 CPUtime=1.93 cores=0-7
/proc/15510/task/15513/stat : 15513 (cosoco) R 15507 15510 13237 0 -1 4202560 2139 0 0 0 193 0 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660362599520 5017617 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15514] ppid=15507 vsize=668280 memory=140503882630784 CPUtime=1.93 cores=0-7
/proc/15510/task/15514/stat : 15514 (cosoco) R 15507 15510 13237 0 -1 4202560 1413 0 0 0 192 1 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660354206816 5017688 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15515] ppid=15507 vsize=668280 memory=3472328296227418159 CPUtime=1.93 cores=0-7
/proc/15510/task/15515/stat : 15515 (cosoco) R 15507 15510 13237 0 -1 4202560 1766 0 0 0 193 0 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660345814112 5017664 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15516] ppid=15507 vsize=668280 memory=0 CPUtime=1.93 cores=0-7
/proc/15510/task/15516/stat : 15516 (cosoco) R 15507 15510 13237 0 -1 4202560 1517 0 0 0 192 1 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660337421408 5017277 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15517] ppid=15507 vsize=668280 memory=0 CPUtime=1.93 cores=0-7
/proc/15510/task/15517/stat : 15517 (cosoco) R 15507 15510 13237 0 -1 4202560 2145 0 0 0 193 0 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660329028704 5017277 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15518] ppid=15507 vsize=668280 memory=3184097920075968559 CPUtime=1.93 cores=0-7
/proc/15510/task/15518/stat : 15518 (cosoco) R 15507 15510 13237 0 -1 4202560 1552 0 0 0 193 0 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660320636112 5017688 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15519] ppid=15507 vsize=668280 memory=6655300316396806240 CPUtime=1.86 cores=0-7
/proc/15510/task/15519/stat : 15519 (cosoco) R 15507 15510 13237 0 -1 4202560 2094 0 0 0 186 0 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660312243296 5017617 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
Current children cumulated CPU time: 15.49 s
Current children cumulated vsize: 668280 KiB
Current children cumulated memory: 58952 KiB

[startup+2.20129 s]
/proc/loadavg: 1.78 1.77 4.11 9/199 15519
/proc/meminfo: memFree=31045972/32770624 swapFree=66952652/67108860
[pid=15510] ppid=15507 vsize=668280 memory=58952 CPUtime=17.02 cores=0-7
/proc/15510/stat : 15510 (cosoco) S 15507 15510 13237 0 -1 1077944320 27296 0 0 0 1695 7 0 0 20 0 9 0 436823274 684318720 14738 33554432000 4194304 6211092 140734273344944 140734273343200 140660394135287 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
/proc/15510/statm: 167070 14738 848 493 0 160375 0
[pid=15510/tid=15512] ppid=15507 vsize=668280 memory=7666366146352146540 CPUtime=2.12 cores=0-7
/proc/15510/task/15512/stat : 15512 (cosoco) R 15507 15510 13237 0 -1 4202560 1712 0 0 0 211 1 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660370992224 5017664 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15513] ppid=15507 vsize=668280 memory=6935054825532540783 CPUtime=2.12 cores=0-7
/proc/15510/task/15513/stat : 15513 (cosoco) R 15507 15510 13237 0 -1 4202560 2143 0 0 0 212 0 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660362599520 5017664 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15514] ppid=15507 vsize=668280 memory=288230583184766264 CPUtime=2.12 cores=0-7
/proc/15510/task/15514/stat : 15514 (cosoco) R 15507 15510 13237 0 -1 4202560 1414 0 0 0 211 1 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660354206816 5017688 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15515] ppid=15507 vsize=668280 memory=14134454843090020 CPUtime=2.12 cores=0-7
/proc/15510/task/15515/stat : 15515 (cosoco) R 15507 15510 13237 0 -1 4202560 1772 0 0 0 212 0 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660345814112 5017664 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15516] ppid=15507 vsize=668280 memory=0 CPUtime=2.12 cores=0-7
/proc/15510/task/15516/stat : 15516 (cosoco) R 15507 15510 13237 0 -1 4202560 1521 0 0 0 211 1 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660337421408 5017476 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15517] ppid=15507 vsize=668280 memory=0 CPUtime=2.12 cores=0-7
/proc/15510/task/15517/stat : 15517 (cosoco) R 15507 15510 13237 0 -1 4202560 2147 0 0 0 212 0 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660329028704 5017664 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15518] ppid=15507 vsize=668280 memory=0 CPUtime=2.12 cores=0-7
/proc/15510/task/15518/stat : 15518 (cosoco) R 15507 15510 13237 0 -1 4202560 1559 0 0 0 212 0 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660320636112 5017690 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15519] ppid=15507 vsize=668280 memory=140503748304464 CPUtime=2.05 cores=0-7
/proc/15510/task/15519/stat : 15519 (cosoco) R 15507 15510 13237 0 -1 4202560 2096 0 0 0 205 0 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660312243296 5017569 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
Current children cumulated CPU time: 17.02 s
Current children cumulated vsize: 668280 KiB
Current children cumulated memory: 58952 KiB

[startup+2.30129 s]
/proc/loadavg: 1.78 1.77 4.11 9/199 15519
/proc/meminfo: memFree=31045972/32770624 swapFree=66952652/67108860
[pid=15510] ppid=15507 vsize=668280 memory=58952 CPUtime=17.82 cores=0-7
/proc/15510/stat : 15510 (cosoco) S 15507 15510 13237 0 -1 1077944320 27317 0 0 0 1775 7 0 0 20 0 9 0 436823274 684318720 14738 33554432000 4194304 6211092 140734273344944 140734273343200 140660394135287 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
/proc/15510/statm: 167070 14738 848 493 0 160375 0
[pid=15510/tid=15512] ppid=15507 vsize=668280 memory=58952 CPUtime=2.22 cores=0-7
/proc/15510/task/15512/stat : 15512 (cosoco) R 15507 15510 13237 0 -1 4202560 1714 0 0 0 221 1 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660370992224 5017472 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15513] ppid=15507 vsize=668280 memory=0 CPUtime=2.22 cores=0-7
/proc/15510/task/15513/stat : 15513 (cosoco) R 15507 15510 13237 0 -1 4202560 2145 0 0 0 222 0 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660362599520 5017476 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15514] ppid=15507 vsize=668280 memory=0 CPUtime=2.22 cores=0-7
/proc/15510/task/15514/stat : 15514 (cosoco) R 15507 15510 13237 0 -1 4202560 1416 0 0 0 221 1 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660354206816 5017688 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15515] ppid=15507 vsize=668280 memory=0 CPUtime=2.22 cores=0-7
/proc/15510/task/15515/stat : 15515 (cosoco) R 15507 15510 13237 0 -1 4202560 1776 0 0 0 222 0 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660345814112 5017472 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15516] ppid=15507 vsize=668280 memory=0 CPUtime=2.22 cores=0-7
/proc/15510/task/15516/stat : 15516 (cosoco) R 15507 15510 13237 0 -1 4202560 1526 0 0 0 221 1 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660337421408 5017566 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15517] ppid=15507 vsize=668280 memory=58952 CPUtime=2.22 cores=0-7
/proc/15510/task/15517/stat : 15517 (cosoco) R 15507 15510 13237 0 -1 4202560 2150 0 0 0 222 0 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660329028704 5017688 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15518] ppid=15507 vsize=668280 memory=1947178 CPUtime=2.22 cores=0-7
/proc/15510/task/15518/stat : 15518 (cosoco) R 15507 15510 13237 0 -1 4202560 1561 0 0 0 222 0 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660320636000 5017373 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
[pid=15510/tid=15519] ppid=15507 vsize=668280 memory=1948606 CPUtime=2.15 cores=0-7
/proc/15510/task/15519/stat : 15519 (cosoco) R 15507 15510 13237 0 -1 4202560 2097 0 0 0 215 0 0 0 20 0 9 0 436823281 684318720 14738 33554432000 4194304 6211092 140734273344944 140660312243520 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23498752 140734273348625 140734273348717 140734273348717 140734273351630 0
Current children cumulated CPU time: 17.82 s
Current children cumulated vsize: 668280 KiB
Current children cumulated memory: 58952 KiB

Child status: 0
Real time (s): 2.40052
CPU time (s): 18.5074
CPU user time (s): 18.4234
CPU system time (s): 0.083919
CPU usage (%): 770.973
Max. virtual memory (cumulated for all children) (KiB): 668280
Max. memory (cumulated for all children) (KiB): 58952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.4234
system time used= 0.083919
maximum resident set size= 58952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27404
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= 196
involuntary context switches= 249


# summary of solver processes directly reported to runsolver:
#   pid: 15510
#   total CPU time (s): 18.5074
#   total CPU user time (s): 18.4234
#   total CPU system time (s): 0.083919

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040759 second user time and 0.061242 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-16 05:45:04
IDJOB=4398178
IDBENCH=131667
IDSOLVER=2851
FILE ID=node127/4398178-1568605544
RUNJOBID= node127-1568598290-13264
PBS_JOBID= 21703425
Free space on /tmp= 61312 MiB

SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si4-rand/Subisomorphism-si4-r001-m600-08.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398178-1568605544/watcher-4398178-1568605544 -o /tmp/evaluation-result-4398178-1568605544/solver-4398178-1568605544 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568598290-13264 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4398178-1568605544.xml

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

MD5SUM BENCH= 8e810070148f78cd392ecc5d984ef703
RANDOM SEED=1483864238

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.55
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:        31100940 kB
MemAvailable:   31831460 kB
Buffers:           45224 kB
Cached:           971640 kB
SwapCached:        51316 kB
Active:           391748 kB
Inactive:         678492 kB
Active(anon):      12296 kB
Inactive(anon):    90388 kB
Active(file):     379452 kB
Inactive(file):   588104 kB
Unevictable:      110920 kB
Mlocked:          110920 kB
SwapTotal:      67108860 kB
SwapFree:       66952652 kB
Dirty:              2924 kB
Writeback:             0 kB
AnonPages:        106460 kB
Mapped:            46296 kB
Shmem:             40556 kB
Slab:             187760 kB
SReclaimable:     157596 kB
SUnreclaim:        30164 kB
KernelStack:        3504 kB
PageTables:         5652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     61440 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61308 MiB
End job on node127 at 2019-09-16 05:45:07