Trace number 4409217

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2.0 parallelSAT 603.258 77.3813

General information on the benchmark

NameMagicSequence/MagicSequence-card-s1/
MagicSequence-1000-ca.xml
MD5SUMd2780e3631970b53a6f91cd037f7d107
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 benchmark3.15721
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of constraints3
Number of domains1
Minimum domain size1000
Maximum domain size1000
Distribution of domain sizes[{"size":1000,"count":1000}]
Minimum variable degree3
Maximum variable degree3
Distribution of variable degrees[{"degree":3,"count":1000}]
Minimum constraint arity1000
Maximum constraint arity1000
Distribution of constraint arities[{"arity":1000,"count":3}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":2},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.05	c Create Cardinality(vars,values,occurs) constraint using 1000 Exactly/AtMost.. constraint 
0.00/0.05	c
0.00/0.08	c Create Cardinality(vars,values,occurs) constraint using 1000 Exactly/AtMost.. constraint 
0.00/0.08	c
0.10/0.12	c Create Cardinality(vars,values,occurs) constraint using 1000 Exactly/AtMost.. constraint 
0.10/0.12	c
0.10/0.15	c Create Cardinality(vars,values,occurs) constraint using 1000 Exactly/AtMost.. constraint 
0.10/0.15	c
0.10/0.19	c Create Cardinality(vars,values,occurs) constraint using 1000 Exactly/AtMost.. constraint 
0.10/0.19	c
0.21/0.22	c Create Cardinality(vars,values,occurs) constraint using 1000 Exactly/AtMost.. constraint 
0.21/0.22	c
0.21/0.26	c Create Cardinality(vars,values,occurs) constraint using 1000 Exactly/AtMost.. constraint 
0.21/0.26	c
0.21/0.30	c Create Cardinality(vars,values,occurs) constraint using 1000 Exactly/AtMost.. constraint 
0.21/0.30	c
6.13/1.89	c root propagations     : 990888      
6.13/1.89	c restarts enabled, print stats at every restarts
6.13/1.89	c
6.13/1.89	c
6.13/1.89	c
6.13/1.89	c This is cosoco 2.00 --  
6.13/1.89	c
6.13/1.89	c command line: cosoco -model -nbcores=8 HOME/instance-4409217-1569821927.xml 
6.13/1.89	c ========================================[ Problem Statistics ]===========================================
6.13/1.89	c |                                                                                                       
6.13/1.89	c |  Parse time        :         1.01 s 
6.13/1.89	c |
6.13/1.89	c |               Variables: 1000
6.13/1.89	c |            Domain Sizes: 1000..1000
6.13/1.89	c |
6.13/1.89	c |             Constraints: 1002
6.13/1.89	c |                   Arity: 999..1000
6.13/1.89	c | 
6.13/1.89	c |                   Types: 
6.13/1.89	c |                          Exactly K variable: 1000
6.13/1.89	c |                          Sum: 2
6.13/1.89	c |                          
6.13/1.89	c =========================================================================================================
6.13/1.89	c Parallel mode: Portfolio
6.13/1.89	c [pFactory][Group N°0] created (threads:8).
6.13/1.89	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
6.13/1.89	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
6.13/1.89	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
6.13/1.89	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
6.13/1.89	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
6.13/1.89	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
6.13/1.89	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
6.13/1.89	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
6.13/1.89	c [pFactory][Group N°0] concurrent mode: enabled.
6.13/1.89	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
6.13/1.89	c [pFactory][Group N°0] task 7 launched on thread 0.
6.13/1.89	c [pFactory][Group N°0] task 6 launched on thread 1.
6.13/1.89	c [pFactory][Group N°0] task 5 launched on thread 2.
6.13/1.89	c [pFactory][Group N°0] task 4 launched on thread 6.
6.13/1.89	c [pFactory][Group N°0] task 3 launched on thread 7.
6.13/1.89	c [pFactory][Group N°0] task 2 launched on thread 3.
6.13/1.89	c [pFactory][Group N°0] task 1 launched on thread 5.
6.13/1.89	c [pFactory][Group N°0] task 0 launched on thread 4.
6.13/1.89	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
6.91/1.93	c root propagations     : 990888      
6.91/1.93	c restarts enabled, print stats at every restarts
6.91/1.93	c
6.91/1.93	c
6.91/1.93	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
6.91/1.95	c root propagations     : 990888      
6.91/1.95	c restarts enabled, print stats at every restarts
6.91/1.95	c
6.91/1.95	c
6.91/1.95	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
6.91/1.96	c root propagations     : 990888      
6.91/1.96	c restarts enabled, print stats at every restarts
6.91/1.96	c
6.91/1.96	c
6.91/1.96	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
6.91/1.97	c root propagations     : 990888      
6.91/1.97	c restarts enabled, print stats at every restarts
6.91/1.97	c
6.91/1.97	c
6.91/1.97	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
7.64/2.01	c root propagations     : 990888      
7.64/2.01	c restarts enabled, print stats at every restarts
7.64/2.01	c
7.64/2.01	c
7.64/2.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
7.64/2.02	c root propagations     : 990888      
7.64/2.02	c restarts enabled, print stats at every restarts
7.64/2.02	c
7.64/2.02	c
7.64/2.02	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
7.64/2.08	c root propagations     : 990888      
7.64/2.08	c restarts enabled, print stats at every restarts
7.64/2.08	c
7.64/2.08	c
7.64/2.08	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
8.80/2.24	c 0              1              2032           990889         999            0              0   0   0      
11.09/2.51	c 0              4              7145           990935         999            0              0   0   0      
11.09/2.51	c 0              6              9226           990910         999            0              0   0   0      
11.09/2.54	c 0              2              3187           990903         999            0              0   0   0      
11.09/2.59	c 0              1              2032           990889         999            0              0   0   0      
11.09/2.59	c 0              7              10729          990915         1000           0              0   0   0      
11.09/2.59	c 0              1              2032           990889         999            0              0   0   0      
11.81/2.60	c 0              3              4189           990910         c 1000           0              01              2032           0   0   0990889               999            
11.81/2.60	0              0   0   0      
11.81/2.61	c 0              5              8648           990940         1000           0              0   0   0      
11.81/2.62	c 0              4              4189           990911         1000           0              0   0   0      
11.81/2.62	c 0              8              11731          990918         1000           0              0   0   0      
11.81/2.63	c 0              2              3034           990896         1000           0              0   0   0      
11.81/2.63	c 0              5              4189           990912         1000           0              0   0   0      
11.81/2.63	c 0              2              3034           990896         1000           0              0   0   0      
11.81/2.64	c 0              6              9650           990943         1000           0              0   0   0      
11.81/2.66	c 0              2              3034           990896         1000           0              0   0   0      
11.81/2.66	c 0              7              5344           990929         1000           0              0   0   0      
11.81/2.68	c 0              10             13423          990925         1000           0              0   0   0      
11.81/2.68	c 0              8              10726          990974         1000           0              0   0   0      
11.81/2.69	c 0              3              4036           990899         1000           0              0   0   0      
11.81/2.69	c 0              8              6346           990932         1000           0              0   0   0      
12.64/2.72	c 0              11             14425          990928         1000           0              0   0   0      
12.64/2.72	c 0              9              11728          990977         1000           0              0   0   0      
13.39/2.83	c 0              7              7885           990915         1000           0              0   0   0      
13.39/2.83	c 0              12             10503          990955         1000           0              0   0   0      
13.39/2.84	c 0              15             18427          990944         1000           0              0   0   0      
13.39/2.84	c 0              13             15804          991014         1000           0              0   0   0      
13.39/2.86	c 0              13             11505          990962         1000           0              0   0   0      
13.39/2.88	c 0              8              9655           990922         1000           0              0   0   0      
13.39/2.88	c 0              16             19735          990959         1000           0              0   0   0      
13.39/2.88	c 0              14             17112          991029         1000           0              0   0   0      
14.18/2.92	c 0              17             20737          990966         1000           0              0   0   0      
14.18/2.92	c 0              9              10657          990937         1000           0              0   0   0      
14.18/2.92	c 0              15             18114          991036         1000           0              0   0   0      
14.18/2.92	c 0              14             13428          990977         1000           0              0   0   0      
48.52/7.22	c 32             68             137303         1209762        1000           0              1   35   18    
50.91/7.50	c 33             69             142242         1217792        1000           0              1   1   0      
50.91/7.53	c 0              65             161049         991416         1000           0              0   0   0      
50.91/7.59	c 0              63             157810         991510         1000           0              0   0   0      
50.91/7.59	c 0              62             153202         991437         1000           0              0   0   0      
51.78/7.62	c 0              67             163743         991429         1000           0              0   0   0      
51.78/7.63	c 0              64             158812         991517         1000           0              0   0   0      
51.78/7.63	c 0              63             154204         991444         1000           0              0   0   0      
51.78/7.67	c 0              57             150815         991387         1000           0              0   0   0      
51.78/7.70	c 0              67             160890         991549         1000           0              0   0   0      
52.51/7.71	c 0              70             166437         991437         1000           0              0   0   0      
52.51/7.71	c 0              66             156361         991462         1000           0              0   0   0      
86.89/12.07	c 64             135            275115         1429897        1000           0              6   36   20    
87.69/12.17	c 65             136            278116         1429909        1000           0              1   1   0      
88.42/12.28	c 0              118            305740         991882         1000           0              0   0   0      
89.22/12.33	c 0              114            295127         991917         1000           0              0   0   0      
89.22/12.34	c 0              115            299577         992018         1000           0              0   0   0      
89.22/12.37	c 0              115            296129         991923         1000           0              0   0   0      
89.22/12.37	c 0              120            308434         991894         1000           0              0   0   0      
90.02/12.42	c 0              105            290967         991838         1000           0              0   0   0      
90.02/12.43	c 0              122            310126         991901         1000           0              0   0   0      
90.02/12.44	c 0              118            298286         991941         1000           0              0   0   0      
90.02/12.45	c 0              118            302657         992055         1000           0              0   0   0      
91.62/12.63	c 66             143            289063         1437931        1000           0              7   7   3      
93.22/12.85	c 0              129            311399         991980         1000           0              0   0   0      
93.22/12.86	c 0              133            323776         991930         1000           0              0   0   0      
93.22/12.87	c 0              129            315691         992108         1000           0              0   0   0      
93.22/12.90	c 0              116            305466         991872         1000           0              0   0   0      
94.02/12.90	c 67             144            293998         1445947        1000           0              1   1   0      
94.02/12.92	c 0              130            313365         991987         1000           0              0   0   0      
94.02/12.92	c 0              134            325742         991937         1000           0              0   0   0      
94.02/12.94	c 0              117            306468         991879         1000           0              0   0   0      
94.02/12.94	c 0              130            317657         992115         1000           0              0   0   0      
213.80/28.00	c 128            272            726647         1861231        1000           0              8   68   37    
216.19/28.22	c 0              217            757824         993651         1000           0              0   0   0      
216.19/28.22	c 0              222            772285         993460         1000           0              0   0   0      
216.19/28.23	c 0              216            755537         993512         1000           0              0   0   0      
216.19/28.27	c 129            273            731520         1869180        1000           0              1   1   0      
216.19/28.29	c 0              218            759759         993658         1000           0              0   0   0      
216.19/28.29	c 0              223            774220         993467         1000           0              0   0   0      
216.99/28.31	c 0              217            757472         993519         1000           0              0   0   0      
217.78/28.48	c 0              203            749024         993394         1000           0              0   0   0      
218.59/28.51	c 0              224            763637         993541         1000           0              0   0   0      
218.59/28.51	c 0              230            780922         993479         1000           0              0   0   0      
218.59/28.52	c 0              226            766847         993695         1000           0              0   0   0      
220.19/28.80	c 130            282            744407         1877130        1000           0              9   9   4      
221.78/29.00	c 0              243            796535         993510         1000           0              0   0   0      
221.78/29.00	c 0              239            781845         993750         1000           0              0   0   0      
222.64/29.03	c 0              216            765488         993431         1000           0              0   0   0      
222.64/29.05	c 0              238            780709         993587         1000           0              0   0   0      
222.64/29.05	c 131            283            749278         1885072        1000           0              1   1   0      
222.64/29.06	c 0              217            766490         993438         1000           0              0   0   0      
222.64/29.06	c 0              244            798469         993517         1000           0              0   0   0      
222.64/29.07	c 0              240            783779         993757         1000           0              0   0   0      
225.77/29.45	c 132            293            761295         1892160        1000           0              10   10   5    
226.57/29.52	c 0              253            797861         993807         1000           0              0   0   0      
226.57/29.53	c 0              257            813167         993543         1000           0              0   0   0      
226.57/29.54	c 0              230            781035         993464         1000           0              0   0   0      
226.57/29.54	c 0              251            795871         993629         1000           0              0   0   0      
226.57/29.55	c 133            294            764294         1899239        1000           0              1   1   0      
226.57/29.56	c 0              254            798863         993813         1000           0              0   0   0      
226.57/29.57	c 0              258            814169         993549         1000           0              0   0   0      
226.57/29.57	c 0              231            782037         993470         1000           0              0   0   0      
229.77/29.98	c 134            305            777312         1906324        1000           0              11   11   5    
229.77/29.99	c 101            206            778461         1628582        1000           0              1   104   53   
229.77/30.00	c 0              271            827875         993571         1000           0              0   0   0      
230.63/30.02	c 0              264            810042         993666         1000           0              0   0   0      
230.63/30.02	c 0              244            795590         993492         1000           0              0   0   0      
230.63/30.04	c 0              268            813945         993864         1000           0              0   0   0      
230.63/30.05	c 0              266            811197         993683         1000           0              0   0   0      
230.63/30.06	c 0              273            829567         993578         1000           0              0   0   0      
230.63/30.06	c 0              246            797129         993499         1000           0              0   0   0      
230.63/30.08	c 135            306            780310         1913399        1000           0              1   1   0      
230.63/30.09	c 0              274            830569         993584         1000           0              0   0   0      
230.63/30.10	c 0              247            798131         993505         1000           0              0   0   0      
231.43/30.12	c 0              267            813192         993689         1000           0              0   0   0      
231.43/30.12	c 0              269            815940         993870         1000           0              0   0   0      
232.16/30.24	c 0              274            820022         993904         1000           0              0   0   0      
232.16/30.24	c 0              279            835267         993594         1000           0              0   0   0      
232.16/30.24	c 0              272            817353         993709         1000           0              0   0   0      
232.16/30.24	c 0              252            802676         993515         1000           0              0   0   0      
232.95/30.30	c 0              280            837166         993601         1000           0              0   0   0      
232.95/30.30	c 0              275            821921         993911         1000           0              0   0   0      
232.95/30.30	c 0              273            819252         993716         1000           0              0   0   0      
232.95/30.32	c 0              253            804575         993522         1000           0              0   0   0      
478.16/61.06	c 211            436            1652468        2304690        1000           0              1   121   65   
480.49/61.32	c 0              438            1679882        996585         1000           0              0   0   0      
480.49/61.33	c 0              413            1656384        996362         1000           0              0   0   0      
480.49/61.38	c 0              439            1680884        996592         1000           0              0   0   0      
480.49/61.38	c 0              414            1657386        996369         1000           0              0   0   0      
494.93/63.16	c 0              443            1726413        996968         1000           0              0   0   0      
495.66/63.23	c 0              475            1737694        996735         1000           0              0   0   0      
495.66/63.27	c 0              450            1714584        996502         1000           0              0   0   0      
507.64/64.71	c 0              449            1792055        996799         1000           0              0   0   0      
507.64/64.77	c 0              475            1775088        997104         1000           0              0   0   0      
507.64/64.78	c 0              507            1785443        996851         1000           0              0   0   0      
507.64/64.79	c 0              481            1760744        996604         1000           0              0   0   0      
601.07/76.46	c First solution is found
603.17/77.31	c [pFactory][Group N°0] concurent mode: thread 4 has won with the task 0.
603.17/77.31	c [pFactory][Group N°0] Thread N°0 is joined.
603.17/77.31	c [pFactory][Group N°0] Thread N°1 is joined.
603.17/77.31	c [pFactory][Group N°0] Thread N°2 is joined.
603.17/77.31	c [pFactory][Group N°0] Thread N°3 is joined.
603.17/77.31	c [pFactory][Group N°0] Thread N°4 is joined.
603.17/77.31	c [pFactory][Group N°0] Thread N°5 is joined.
603.17/77.31	c [pFactory][Group N°0] Thread N°6 is joined.
603.17/77.31	c [pFactory][Group N°0] Thread N°7 is joined.
603.17/77.31	c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°4)
603.17/77.31	s SATISFIABLE
603.17/77.31	c restarts              : 0           
603.17/77.31	c conflicts             : 4            (0 /sec)
603.17/77.31	c decisions             : 1004         (2 /sec)
603.17/77.31	c propagations          : 1013237     (1684 /sec)
603.17/77.31	c root propagations     : 990888      
603.17/77.31	c filter calls          : 1020089        (1695 /sec)
603.17/77.31	c useless filter calls  : 1019852        (99 %)
603.17/77.31	c Memory used           : 971.72 MB
603.17/77.31	c CPU time              : 601.662 s
603.17/77.31	c real time             : 77.3142 s
603.17/77.31	
603.17/77.31	c solution 1
603.17/77.31	
603.17/77.31	v <instantiation type='solution'>
603.17/77.31	v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] </list>
603.17/77.31	v <values>996 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 </values>
603.17/77.31	v </instantiation>
603.17/77.31

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409217-1569821927/watcher-4409217-1569821927 -o /tmp/evaluation-result-4409217-1569821927/solver-4409217-1569821927 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1569818144-9348 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409217-1569821927.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=9888, runsolver pid=9885
Current StackSize limit: 8192 KiB


[startup+0.100171 s]*
/proc/loadavg: 9.03 8.44 8.01 2/191 9889
/proc/meminfo: memFree=30868280/32770624 swapFree=66997268/67108860
[pid=9888] ppid=9885 vsize=143908 memory=120084 CPUtime=0.1 cores=0-7
/proc/9888/stat : 9888 (cosoco) R 9885 9888 9321 0 -1 4202496 30231 0 0 0 7 3 0 0 20 0 1 0 558130927 147361792 30021 33554432000 4194304 6211132 140737130291328 140737130287272 140644947086309 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
/proc/9888/statm: 35977 30021 816 493 0 29282 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 143908 KiB
Current children cumulated memory: 120084 KiB

[startup+0.209402 s]*
/proc/loadavg: 9.03 8.44 8.01 2/191 9889
/proc/meminfo: memFree=30770816/32770624 swapFree=66997268/67108860
[pid=9888] ppid=9885 vsize=241524 memory=217764 CPUtime=0.21 cores=0-7
/proc/9888/stat : 9888 (cosoco) R 9885 9888 9321 0 -1 4202496 54635 0 0 0 13 8 0 0 20 0 1 0 558130927 247320576 54441 33554432000 4194304 6211132 140737130291328 140737130286424 140644947086309 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
/proc/9888/statm: 60381 54441 816 493 0 53686 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 241524 KiB
Current children cumulated memory: 217764 KiB

[startup+0.309386 s]*
/proc/loadavg: 9.03 8.44 8.01 2/191 9889
/proc/meminfo: memFree=30682280/32770624 swapFree=66997268/67108860
[pid=9888] ppid=9885 vsize=329996 memory=306204 CPUtime=0.3 cores=0-7
/proc/9888/stat : 9888 (cosoco) R 9885 9888 9321 0 -1 4202496 76741 0 0 0 20 10 0 0 20 0 1 0 558130927 337915904 76551 33554432000 4194304 6211132 140737130291328 140737130286408 140644947086309 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
/proc/9888/statm: 82499 76551 816 493 0 75804 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 329996 KiB
Current children cumulated memory: 306204 KiB

[startup+0.700384 s]
/proc/loadavg: 9.03 8.44 8.01 2/191 9889
/proc/meminfo: memFree=30639460/32770624 swapFree=66997268/67108860
[pid=9888] ppid=9885 vsize=387356 memory=363756 CPUtime=0.69 cores=0-7
/proc/9888/stat : 9888 (cosoco) R 9885 9888 9321 0 -1 4202496 91123 0 0 0 57 12 0 0 20 0 1 0 558130927 396652544 90939 33554432000 4194304 6211132 140737130291328 140737130287448 5185787 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
/proc/9888/statm: 96839 90939 846 493 0 90144 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 387356 KiB
Current children cumulated memory: 363756 KiB

[startup+1.50026 s]
/proc/loadavg: 9.03 8.44 8.01 2/191 9889
/proc/meminfo: memFree=30584112/32770624 swapFree=66997268/67108860
[pid=9888] ppid=9885 vsize=1025716 memory=536904 CPUtime=3.78 cores=0-7
/proc/9888/stat : 9888 (cosoco) S 9885 9888 9321 0 -1 1077944320 134748 0 0 0 355 23 0 0 20 0 9 0 558130927 1050333184 134226 33554432000 4194304 6211132 140737130291328 140737130289584 140644963127031 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
/proc/9888/statm: 256429 134226 882 493 0 249734 0
Current children cumulated CPU time: 3.78 s
Current children cumulated vsize: 1025716 KiB
Current children cumulated memory: 536904 KiB

[startup+3.10981 s]
/proc/loadavg: 8.95 8.43 8.01 9/199 9897
/proc/meminfo: memFree=29698572/32770624 swapFree=66997268/67108860
[pid=9888] ppid=9885 vsize=1552140 memory=1280784 CPUtime=15.85 cores=0-7
/proc/9888/stat : 9888 (cosoco) S 9885 9888 9321 0 -1 1077944320 279257 0 0 0 1494 91 0 0 20 0 9 0 558130927 1589391360 320196 33554432000 4194304 6211132 140737130291328 140737130289584 140644963127031 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
/proc/9888/statm: 388035 320196 887 493 0 381340 0
[pid=9888/tid=9890] ppid=9885 vsize=1552140 memory=92 CPUtime=1.9 cores=0-7
/proc/9888/task/9890/stat : 9890 (cosoco) R 9885 9888 9321 0 -1 4202560 22428 0 0 0 176 14 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644939983968 5138594 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9891] ppid=9885 vsize=1552140 memory=90 CPUtime=1.81 cores=0-7
/proc/9888/task/9891/stat : 9891 (cosoco) R 9885 9888 9321 0 -1 4202560 21174 0 0 0 177 4 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644931591264 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9892] ppid=9885 vsize=1552140 memory=55 CPUtime=1.85 cores=0-7
/proc/9888/task/9892/stat : 9892 (cosoco) R 9885 9888 9321 0 -1 4202560 21921 0 0 0 172 13 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644923198672 5138639 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9893] ppid=9885 vsize=1552140 memory=5933321437950536551 CPUtime=1.86 cores=0-7
/proc/9888/task/9893/stat : 9893 (cosoco) R 9885 9888 9321 0 -1 4202560 22267 0 0 0 180 6 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644914805856 5138590 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9894] ppid=9885 vsize=1552140 memory=2540 CPUtime=1.88 cores=0-7
/proc/9888/task/9894/stat : 9894 (cosoco) R 9885 9888 9321 0 -1 4202560 22855 0 0 0 184 4 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644906413264 5138594 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9895] ppid=9885 vsize=1552140 memory=0 CPUtime=1.7 cores=0-7
/proc/9888/task/9895/stat : 9895 (cosoco) R 9885 9888 9321 0 -1 4202560 22367 0 0 0 164 6 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644898020448 5138639 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9896] ppid=9885 vsize=1552140 memory=0 CPUtime=1.85 cores=0-7
/proc/9888/task/9896/stat : 9896 (cosoco) R 9885 9888 9321 0 -1 4202560 23220 0 0 0 170 15 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644889627744 5138639 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9897] ppid=9885 vsize=1552140 memory=0 CPUtime=1.78 cores=0-7
/proc/9888/task/9897/stat : 9897 (cosoco) R 9885 9888 9321 0 -1 4202560 19757 0 0 0 166 12 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644881235040 5193742 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
Current children cumulated CPU time: 15.85 s
Current children cumulated vsize: 1552140 KiB
Current children cumulated memory: 1280784 KiB

[startup+6.30081 s]
/proc/loadavg: 8.95 8.43 8.01 9/199 9897
/proc/meminfo: memFree=29698952/32770624 swapFree=66997268/67108860
[pid=9888] ppid=9885 vsize=1552140 memory=1280784 CPUtime=41.32 cores=0-7
/proc/9888/stat : 9888 (cosoco) S 9885 9888 9321 0 -1 1077944320 419418 0 0 0 4027 105 0 0 20 0 9 0 558130927 1589391360 320196 33554432000 4194304 6211132 140737130291328 140737130289584 140644963127031 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
/proc/9888/statm: 388035 320196 887 493 0 381340 0
[pid=9888/tid=9890] ppid=9885 vsize=1552140 memory=1280784 CPUtime=5.09 cores=0-7
/proc/9888/task/9890/stat : 9890 (cosoco) R 9885 9888 9321 0 -1 4202560 39101 0 0 0 493 16 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644939983968 5138594 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9891] ppid=9885 vsize=1552140 memory=6944656592455097440 CPUtime=5.01 cores=0-7
/proc/9888/task/9891/stat : 9891 (cosoco) R 9885 9888 9321 0 -1 4202560 37889 0 0 0 495 6 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644931591264 5138639 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9892] ppid=9885 vsize=1552140 memory=5859271434372989025 CPUtime=5.04 cores=0-7
/proc/9888/task/9892/stat : 9892 (cosoco) R 9885 9888 9321 0 -1 4202560 38896 0 0 0 489 15 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644923198672 5138639 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9893] ppid=9885 vsize=1552140 memory=4639948141937442918 CPUtime=5.01 cores=0-7
/proc/9888/task/9893/stat : 9893 (cosoco) R 9885 9888 9321 0 -1 4202560 39257 0 0 0 494 7 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644914805856 5193740 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9894] ppid=9885 vsize=1552140 memory=3624 CPUtime=5.07 cores=0-7
/proc/9888/task/9894/stat : 9894 (cosoco) R 9885 9888 9321 0 -1 4202560 40366 0 0 0 501 6 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644906413264 5139115 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9895] ppid=9885 vsize=1552140 memory=10380 CPUtime=4.88 cores=0-7
/proc/9888/task/9895/stat : 9895 (cosoco) R 9885 9888 9321 0 -1 4202560 41636 0 0 0 481 7 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644898020448 5138594 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9896] ppid=9885 vsize=1552140 memory=988 CPUtime=5.04 cores=0-7
/proc/9888/task/9896/stat : 9896 (cosoco) R 9885 9888 9321 0 -1 4202560 42762 0 0 0 487 17 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644889627744 5138639 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9897] ppid=9885 vsize=1552140 memory=2016 CPUtime=4.97 cores=0-7
/proc/9888/task/9897/stat : 9897 (cosoco) R 9885 9888 9321 0 -1 4202560 36243 0 0 0 483 14 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644881235040 5138594 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
Current children cumulated CPU time: 41.32 s
Current children cumulated vsize: 1552140 KiB
Current children cumulated memory: 1280784 KiB

[startup+12.7008 s]
/proc/loadavg: 8.81 8.42 8.01 9/200 9900
/proc/meminfo: memFree=29698172/32770624 swapFree=66997268/67108860
[pid=9888] ppid=9885 vsize=1552140 memory=1280784 CPUtime=92.42 cores=0-7
/proc/9888/stat : 9888 (cosoco) S 9885 9888 9321 0 -1 1077944320 559848 0 0 0 9122 120 0 0 20 0 9 0 558130927 1589391360 320196 33554432000 4194304 6211132 140737130291328 140737130289584 140644963127031 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
/proc/9888/statm: 388035 320196 887 493 0 381340 0
[pid=9888/tid=9890] ppid=9885 vsize=1552140 memory=1280784 CPUtime=11.48 cores=0-7
/proc/9888/task/9890/stat : 9890 (cosoco) R 9885 9888 9321 0 -1 4202560 51973 0 0 0 1131 17 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644939983968 5138639 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9891] ppid=9885 vsize=1552140 memory=1280784 CPUtime=11.4 cores=0-7
/proc/9888/task/9891/stat : 9891 (cosoco) R 9885 9888 9321 0 -1 4202560 51025 0 0 0 1133 7 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644931591264 5138639 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9892] ppid=9885 vsize=1552140 memory=1280784 CPUtime=11.44 cores=0-7
/proc/9888/task/9892/stat : 9892 (cosoco) R 9885 9888 9321 0 -1 4202560 56197 0 0 0 1127 17 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644923198672 5138639 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9893] ppid=9885 vsize=1552140 memory=1280784 CPUtime=11.33 cores=0-7
/proc/9888/task/9893/stat : 9893 (cosoco) R 9885 9888 9321 0 -1 4202560 57744 0 0 0 1124 9 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644914805856 5138639 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9894] ppid=9885 vsize=1552140 memory=139787227262752 CPUtime=11.46 cores=0-7
/proc/9888/task/9894/stat : 9894 (cosoco) R 9885 9888 9321 0 -1 4202560 56853 0 0 0 1138 8 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644906413264 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9895] ppid=9885 vsize=1552140 memory=0 CPUtime=11.28 cores=0-7
/proc/9888/task/9895/stat : 9895 (cosoco) R 9885 9888 9321 0 -1 4202560 67188 0 0 0 1118 10 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644898020448 5139115 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9896] ppid=9885 vsize=1552140 memory=0 CPUtime=11.44 cores=0-7
/proc/9888/task/9896/stat : 9896 (cosoco) R 9885 9888 9321 0 -1 4202560 61045 0 0 0 1125 19 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644889627744 5138639 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9897] ppid=9885 vsize=1552140 memory=0 CPUtime=11.37 cores=0-7
/proc/9888/task/9897/stat : 9897 (cosoco) R 9885 9888 9321 0 -1 4202560 54555 0 0 0 1121 16 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644881235040 5138639 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
Current children cumulated CPU time: 92.42 s
Current children cumulated vsize: 1552140 KiB
Current children cumulated memory: 1280784 KiB

[startup+25.5008 s]
/proc/loadavg: 8.68 8.41 8.01 9/199 9900
/proc/meminfo: memFree=29698404/32770624 swapFree=66997268/67108860
[pid=9888] ppid=9885 vsize=1552140 memory=1280784 CPUtime=194.63 cores=0-7
/proc/9888/stat : 9888 (cosoco) S 9885 9888 9321 0 -1 1077944320 704745 0 0 0 19329 134 0 0 20 0 9 0 558130927 1589391360 320196 33554432000 4194304 6211132 140737130291328 140737130289584 140644963127031 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
/proc/9888/statm: 388035 320196 887 493 0 381340 0
[pid=9888/tid=9890] ppid=9885 vsize=1552140 memory=1280784 CPUtime=24.28 cores=0-7
/proc/9888/task/9890/stat : 9890 (cosoco) R 9885 9888 9321 0 -1 4202560 70210 0 0 0 2409 19 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644939983968 5138639 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9891] ppid=9885 vsize=1552140 memory=1280784 CPUtime=24.2 cores=0-7
/proc/9888/task/9891/stat : 9891 (cosoco) R 9885 9888 9321 0 -1 4202560 68450 0 0 0 2411 9 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644931591264 5138891 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9892] ppid=9885 vsize=1552140 memory=164 CPUtime=24.24 cores=0-7
/proc/9888/task/9892/stat : 9892 (cosoco) R 9885 9888 9321 0 -1 4202560 78181 0 0 0 2405 19 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644923198672 5139111 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9893] ppid=9885 vsize=1552140 memory=1280784 CPUtime=23.94 cores=0-7
/proc/9888/task/9893/stat : 9893 (cosoco) R 9885 9888 9321 0 -1 4202560 75346 0 0 0 2384 10 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644914805856 5138639 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9894] ppid=9885 vsize=1552140 memory=164 CPUtime=24.25 cores=0-7
/proc/9888/task/9894/stat : 9894 (cosoco) R 9885 9888 9321 0 -1 4202560 73676 0 0 0 2415 10 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644906413264 5193742 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9895] ppid=9885 vsize=1552140 memory=288230377110404044 CPUtime=24.09 cores=0-7
/proc/9888/task/9895/stat : 9895 (cosoco) R 9885 9888 9321 0 -1 4202560 84596 0 0 0 2397 12 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644898020448 5138639 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9896] ppid=9885 vsize=1552140 memory=0 CPUtime=24.23 cores=0-7
/proc/9888/task/9896/stat : 9896 (cosoco) R 9885 9888 9321 0 -1 4202560 79110 0 0 0 2403 20 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644889627744 5138639 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9897] ppid=9885 vsize=1552140 memory=0 CPUtime=24.16 cores=0-7
/proc/9888/task/9897/stat : 9897 (cosoco) R 9885 9888 9321 0 -1 4202560 71908 0 0 0 2399 17 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644881235040 5139272 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
Current children cumulated CPU time: 194.63 s
Current children cumulated vsize: 1552140 KiB
Current children cumulated memory: 1280784 KiB

[startup+51.1098 s]
/proc/loadavg: 8.45 8.37 8.01 9/199 9900
/proc/meminfo: memFree=29699380/32770624 swapFree=66997268/67108860
[pid=9888] ppid=9885 vsize=1552140 memory=1280784 CPUtime=399.12 cores=0-7
/proc/9888/stat : 9888 (cosoco) S 9885 9888 9321 0 -1 1077944320 807361 0 0 0 39768 144 0 0 20 0 9 0 558130927 1589391360 320196 33554432000 4194304 6211132 140737130291328 140737130289584 140644963127031 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
/proc/9888/statm: 388035 320196 887 493 0 381340 0
[pid=9888/tid=9890] ppid=9885 vsize=1552140 memory=-7035114785800479027 CPUtime=49.89 cores=0-7
/proc/9888/task/9890/stat : 9890 (cosoco) R 9885 9888 9321 0 -1 4202560 86416 0 0 0 4969 20 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644939983968 5138639 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9891] ppid=9885 vsize=1552140 memory=1280784 CPUtime=49.81 cores=0-7
/proc/9888/task/9891/stat : 9891 (cosoco) R 9885 9888 9321 0 -1 4202560 82976 0 0 0 4971 10 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644931591264 5193740 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9892] ppid=9885 vsize=1552140 memory=1280784 CPUtime=49.84 cores=0-7
/proc/9888/task/9892/stat : 9892 (cosoco) R 9885 9888 9321 0 -1 4202560 89572 0 0 0 4964 20 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644923198672 5138594 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9893] ppid=9885 vsize=1552140 memory=1280784 CPUtime=49.19 cores=0-7
/proc/9888/task/9893/stat : 9893 (cosoco) R 9885 9888 9321 0 -1 4202560 84916 0 0 0 4908 11 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644914805856 5138639 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9894] ppid=9885 vsize=1552140 memory=279574454218128 CPUtime=49.86 cores=0-7
/proc/9888/task/9894/stat : 9894 (cosoco) R 9885 9888 9321 0 -1 4202560 84942 0 0 0 4975 11 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644906413264 5138639 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0

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

[pid=9888/tid=9890] ppid=9885 vsize=1552140 memory=111636 CPUtime=62.79 cores=0-7
/proc/9888/task/9890/stat : 9890 (cosoco) R 9885 9888 9321 0 -1 4202560 89558 0 0 0 6259 20 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644939983968 5138594 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9891] ppid=9885 vsize=1552140 memory=804 CPUtime=62.71 cores=0-7
/proc/9888/task/9891/stat : 9891 (cosoco) R 9885 9888 9321 0 -1 4202560 86538 0 0 0 6260 11 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644931591264 5193731 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9892] ppid=9885 vsize=1552140 memory=1804 CPUtime=62.73 cores=0-7
/proc/9888/task/9892/stat : 9892 (cosoco) R 9885 9888 9321 0 -1 4202560 99682 0 0 0 6252 21 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644923198672 5139115 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9893] ppid=9885 vsize=1552140 memory=4872558044660077418 CPUtime=61.91 cores=0-7
/proc/9888/task/9893/stat : 9893 (cosoco) R 9885 9888 9321 0 -1 4202560 95519 0 0 0 6179 12 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644914805856 5138639 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9894] ppid=9885 vsize=1552140 memory=1980 CPUtime=62.76 cores=0-7
/proc/9888/task/9894/stat : 9894 (cosoco) R 9885 9888 9321 0 -1 4202560 93881 0 0 0 6264 12 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644906413264 5139115 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9895] ppid=9885 vsize=1552140 memory=2540 CPUtime=62.59 cores=0-7
/proc/9888/task/9895/stat : 9895 (cosoco) R 9885 9888 9321 0 -1 4202560 111067 0 0 0 6245 14 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644898020448 5138594 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9896] ppid=9885 vsize=1552140 memory=1760 CPUtime=62.74 cores=0-7
/proc/9888/task/9896/stat : 9896 (cosoco) R 9885 9888 9321 0 -1 4202560 104858 0 0 0 6251 23 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644889627744 5138594 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9897] ppid=9885 vsize=1552140 memory=111636 CPUtime=62.67 cores=0-7
/proc/9888/task/9897/stat : 9897 (cosoco) R 9885 9888 9321 0 -1 4202560 91972 0 0 0 6247 20 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644881235040 5138594 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
Current children cumulated CPU time: 502.11 s
Current children cumulated vsize: 1552140 KiB
Current children cumulated memory: 1280784 KiB

[startup+70.4048 s]
/proc/loadavg: 8.32 8.35 8.01 9/199 9903
/proc/meminfo: memFree=29700544/32770624 swapFree=66997268/67108860
[pid=9888] ppid=9885 vsize=1552140 memory=1280784 CPUtime=553.19 cores=0-7
/proc/9888/stat : 9888 (cosoco) S 9885 9888 9321 0 -1 1077944320 890656 0 0 0 55167 152 0 0 20 0 9 0 558130927 1589391360 320196 33554432000 4194304 6211132 140737130291328 140737130289584 140644963127031 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
/proc/9888/statm: 388035 320196 887 493 0 381340 0
[pid=9888/tid=9890] ppid=9885 vsize=1552140 memory=2372 CPUtime=69.19 cores=0-7
/proc/9888/task/9890/stat : 9890 (cosoco) R 9885 9888 9321 0 -1 4202560 95667 0 0 0 6898 21 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644939983968 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9891] ppid=9885 vsize=1552140 memory=1280784 CPUtime=69.1 cores=0-7
/proc/9888/task/9891/stat : 9891 (cosoco) R 9885 9888 9321 0 -1 4202560 92564 0 0 0 6899 11 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644931591264 5138594 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9892] ppid=9885 vsize=1552140 memory=44645111302634 CPUtime=69.12 cores=0-7
/proc/9888/task/9892/stat : 9892 (cosoco) R 9885 9888 9321 0 -1 4202560 100669 0 0 0 6891 21 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644923198672 5138639 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9893] ppid=9885 vsize=1552140 memory=44645111302634 CPUtime=68.22 cores=0-7
/proc/9888/task/9893/stat : 9893 (cosoco) R 9885 9888 9321 0 -1 4202560 95662 0 0 0 6810 12 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644914805856 5138594 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9894] ppid=9885 vsize=1552140 memory=988 CPUtime=69.15 cores=0-7
/proc/9888/task/9894/stat : 9894 (cosoco) R 9885 9888 9321 0 -1 4202560 94397 0 0 0 6903 12 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644906413264 5138639 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9895] ppid=9885 vsize=1552140 memory=2016 CPUtime=68.98 cores=0-7
/proc/9888/task/9895/stat : 9895 (cosoco) R 9885 9888 9321 0 -1 4202560 111283 0 0 0 6884 14 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644898020448 5138639 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9896] ppid=9885 vsize=1552140 memory=1424 CPUtime=69.13 cores=0-7
/proc/9888/task/9896/stat : 9896 (cosoco) R 9885 9888 9321 0 -1 4202560 105036 0 0 0 6890 23 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644889627744 5138639 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9897] ppid=9885 vsize=1552140 memory=10380 CPUtime=69.06 cores=0-7
/proc/9888/task/9897/stat : 9897 (cosoco) R 9885 9888 9321 0 -1 4202560 92110 0 0 0 6886 20 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644881235040 5139115 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
Current children cumulated CPU time: 553.19 s
Current children cumulated vsize: 1552140 KiB
Current children cumulated memory: 1280784 KiB

[startup+73.6008 s]
/proc/loadavg: 8.30 8.34 8.01 9/199 9903
/proc/meminfo: memFree=29701040/32770624 swapFree=66997268/67108860
[pid=9888] ppid=9885 vsize=1552140 memory=1280784 CPUtime=578.71 cores=0-7
/proc/9888/stat : 9888 (cosoco) S 9885 9888 9321 0 -1 1077944320 891712 0 0 0 57719 152 0 0 20 0 9 0 558130927 1589391360 320196 33554432000 4194304 6211132 140737130291328 140737130289584 140644963127031 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
/proc/9888/statm: 388035 320196 887 493 0 381340 0
[pid=9888/tid=9890] ppid=9885 vsize=1552140 memory=1280784 CPUtime=72.39 cores=0-7
/proc/9888/task/9890/stat : 9890 (cosoco) R 9885 9888 9321 0 -1 4202560 95760 0 0 0 7218 21 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644939983968 5138639 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9891] ppid=9885 vsize=1552140 memory=1280784 CPUtime=72.3 cores=0-7
/proc/9888/task/9891/stat : 9891 (cosoco) R 9885 9888 9321 0 -1 4202560 92652 0 0 0 7219 11 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644931591264 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9892] ppid=9885 vsize=1552140 memory=932 CPUtime=72.33 cores=0-7
/proc/9888/task/9892/stat : 9892 (cosoco) R 9885 9888 9321 0 -1 4202560 100893 0 0 0 7211 22 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644923198672 5138639 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9893] ppid=9885 vsize=1552140 memory=3680 CPUtime=71.37 cores=0-7
/proc/9888/task/9893/stat : 9893 (cosoco) R 9885 9888 9321 0 -1 4202560 95739 0 0 0 7125 12 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644914805856 5138594 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9894] ppid=9885 vsize=1552140 memory=3624 CPUtime=72.35 cores=0-7
/proc/9888/task/9894/stat : 9894 (cosoco) R 9885 9888 9321 0 -1 4202560 94643 0 0 0 7223 12 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644906413264 5138639 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9895] ppid=9885 vsize=1552140 memory=10380 CPUtime=72.18 cores=0-7
/proc/9888/task/9895/stat : 9895 (cosoco) R 9885 9888 9321 0 -1 4202560 111454 0 0 0 7204 14 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644898020448 5138639 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9896] ppid=9885 vsize=1552140 memory=988 CPUtime=72.33 cores=0-7
/proc/9888/task/9896/stat : 9896 (cosoco) R 9885 9888 9321 0 -1 4202560 105107 0 0 0 7210 23 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644889627744 5138639 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9897] ppid=9885 vsize=1552140 memory=-7035114785800479027 CPUtime=72.25 cores=0-7
/proc/9888/task/9897/stat : 9897 (cosoco) R 9885 9888 9321 0 -1 4202560 92196 0 0 0 7205 20 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644881235040 5138594 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
Current children cumulated CPU time: 578.71 s
Current children cumulated vsize: 1552140 KiB
Current children cumulated memory: 1280784 KiB

[startup+75.2008 s]
/proc/loadavg: 8.30 8.34 8.01 9/199 9903
/proc/meminfo: memFree=29700916/32770624 swapFree=66997268/67108860
[pid=9888] ppid=9885 vsize=1552140 memory=1280784 CPUtime=591.49 cores=0-7
/proc/9888/stat : 9888 (cosoco) S 9885 9888 9321 0 -1 1077944320 892258 0 0 0 58997 152 0 0 20 0 9 0 558130927 1589391360 320196 33554432000 4194304 6211132 140737130291328 140737130289584 140644963127031 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
/proc/9888/statm: 388035 320196 887 493 0 381340 0
[pid=9888/tid=9890] ppid=9885 vsize=1552140 memory=1280784 CPUtime=73.99 cores=0-7
/proc/9888/task/9890/stat : 9890 (cosoco) R 9885 9888 9321 0 -1 4202560 95796 0 0 0 7378 21 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644939983968 5138594 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9891] ppid=9885 vsize=1552140 memory=988 CPUtime=73.9 cores=0-7
/proc/9888/task/9891/stat : 9891 (cosoco) R 9885 9888 9321 0 -1 4202560 92730 0 0 0 7379 11 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644931591264 5138576 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9892] ppid=9885 vsize=1552140 memory=-7035114785800479027 CPUtime=73.93 cores=0-7
/proc/9888/task/9892/stat : 9892 (cosoco) R 9885 9888 9321 0 -1 4202560 100999 0 0 0 7371 22 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644923198672 5139115 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9893] ppid=9885 vsize=1552140 memory=4872558044660077418 CPUtime=72.95 cores=0-7
/proc/9888/task/9893/stat : 9893 (cosoco) R 9885 9888 9321 0 -1 4202560 95779 0 0 0 7283 12 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644914805856 5138594 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9894] ppid=9885 vsize=1552140 memory=532 CPUtime=73.95 cores=0-7
/proc/9888/task/9894/stat : 9894 (cosoco) R 9885 9888 9321 0 -1 4202560 94783 0 0 0 7383 12 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644906413264 5138594 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9895] ppid=9885 vsize=1552140 memory=-7035114785800479027 CPUtime=73.78 cores=0-7
/proc/9888/task/9895/stat : 9895 (cosoco) R 9885 9888 9321 0 -1 4202560 111545 0 0 0 7364 14 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644898020448 5138639 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9896] ppid=9885 vsize=1552140 memory=3680 CPUtime=73.93 cores=0-7
/proc/9888/task/9896/stat : 9896 (cosoco) R 9885 9888 9321 0 -1 4202560 105137 0 0 0 7370 23 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644889627744 5138594 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9897] ppid=9885 vsize=1552140 memory=836 CPUtime=73.85 cores=0-7
/proc/9888/task/9897/stat : 9897 (cosoco) R 9885 9888 9321 0 -1 4202560 92221 0 0 0 7365 20 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644881235040 5138639 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
Current children cumulated CPU time: 591.49 s
Current children cumulated vsize: 1552140 KiB
Current children cumulated memory: 1280784 KiB

[startup+76.0008 s]*
/proc/loadavg: 8.30 8.34 8.01 9/199 9903
/proc/meminfo: memFree=29701040/32770624 swapFree=66997268/67108860
[pid=9888] ppid=9885 vsize=1552140 memory=1280784 CPUtime=597.94 cores=0-7
/proc/9888/stat : 9888 (cosoco) S 9885 9888 9321 0 -1 1077944320 892587 0 0 0 59642 152 0 0 20 0 9 0 558130927 1589391360 320196 33554432000 4194304 6211132 140737130291328 140737130289584 140644963127031 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
/proc/9888/statm: 388035 320196 887 493 0 381340 0
[pid=9888/tid=9890] ppid=9885 vsize=1552140 memory=-7035114785800479027 CPUtime=74.79 cores=0-7
/proc/9888/task/9890/stat : 9890 (cosoco) R 9885 9888 9321 0 -1 4202560 95865 0 0 0 7458 21 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644939983968 5138639 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9891] ppid=9885 vsize=1552140 memory=4872558044660077418 CPUtime=74.71 cores=0-7
/proc/9888/task/9891/stat : 9891 (cosoco) R 9885 9888 9321 0 -1 4202560 92749 0 0 0 7460 11 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644931591264 5138639 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9892] ppid=9885 vsize=1552140 memory=2016 CPUtime=74.73 cores=0-7
/proc/9888/task/9892/stat : 9892 (cosoco) R 9885 9888 9321 0 -1 4202560 101060 0 0 0 7451 22 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644923198672 5138594 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9893] ppid=9885 vsize=1552140 memory=288230574492221466 CPUtime=73.74 cores=0-7
/proc/9888/task/9893/stat : 9893 (cosoco) R 9885 9888 9321 0 -1 4202560 95809 0 0 0 7362 12 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644914805856 5138639 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9894] ppid=9885 vsize=1552140 memory=303430231908417850 CPUtime=74.76 cores=0-7
/proc/9888/task/9894/stat : 9894 (cosoco) R 9885 9888 9321 0 -1 4202560 94848 0 0 0 7464 12 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644906413264 5138639 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9895] ppid=9885 vsize=1552140 memory=15262532197681710 CPUtime=74.59 cores=0-7
/proc/9888/task/9895/stat : 9895 (cosoco) R 9885 9888 9321 0 -1 4202560 111587 0 0 0 7445 14 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644898020448 5139272 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9896] ppid=9885 vsize=1552140 memory=0 CPUtime=74.74 cores=0-7
/proc/9888/task/9896/stat : 9896 (cosoco) R 9885 9888 9321 0 -1 4202560 105149 0 0 0 7451 23 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644889627744 5138639 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
[pid=9888/tid=9897] ppid=9885 vsize=1552140 memory=-1189914978686163229 CPUtime=74.66 cores=0-7
/proc/9888/task/9897/stat : 9897 (cosoco) R 9885 9888 9321 0 -1 4202560 92252 0 0 0 7446 20 0 0 20 0 9 0 558131043 1589391360 320196 33554432000 4194304 6211132 140737130291328 140644881235040 5138639 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
Current children cumulated CPU time: 597.94 s
Current children cumulated vsize: 1552140 KiB
Current children cumulated memory: 1280784 KiB

[startup+76.8004 s]
/proc/loadavg: 8.30 8.34 8.01 9/199 9903
/proc/meminfo: memFree=29701040/32770624 swapFree=66997268/67108860
[pid=9888] ppid=9885 vsize=1076968 memory=895752 CPUtime=602.67 cores=0-7
/proc/9888/stat : 9888 (cosoco) S 9885 9888 9321 0 -1 1077944320 893768 0 0 0 60114 153 0 0 20 0 2 0 558130927 1102815232 223938 33554432000 4194304 6211132 140737130291328 140737130289584 140644963127031 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
/proc/9888/statm: 269242 223938 895 493 0 262547 0
[pid=9888/tid=9896] ppid=9885 vsize=1076968 memory=1280784 CPUtime=75.53 cores=0-7
/proc/9888/task/9896/stat : 9896 (cosoco) R 9885 9888 9321 0 -1 4202560 105172 0 0 0 7530 23 0 0 20 0 2 0 558131043 1102815232 223938 33554432000 4194304 6211132 140737130291328 140644889627744 5138639 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
Current children cumulated CPU time: 602.67 s
Current children cumulated vsize: 1076968 KiB
Current children cumulated memory: 895752 KiB

[startup+77.2003 s]
/proc/loadavg: 7.71 8.22 7.97 2/192 9903
/proc/meminfo: memFree=30085956/32770624 swapFree=66997268/67108860
[pid=9888] ppid=9885 vsize=1076968 memory=895752 CPUtime=603.07 cores=0-7
/proc/9888/stat : 9888 (cosoco) S 9885 9888 9321 0 -1 1077944320 893768 0 0 0 60154 153 0 0 20 0 2 0 558130927 1102815232 223938 33554432000 4194304 6211132 140737130291328 140737130289584 140644963127031 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
/proc/9888/statm: 269242 223938 895 493 0 262547 0
[pid=9888/tid=9896] ppid=9885 vsize=1076968 memory=1540 CPUtime=75.93 cores=0-7
/proc/9888/task/9896/stat : 9896 (cosoco) R 9885 9888 9321 0 -1 4202560 105172 0 0 0 7570 23 0 0 20 0 2 0 558131043 1102815232 223938 33554432000 4194304 6211132 140737130291328 140644889627744 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
Current children cumulated CPU time: 603.07 s
Current children cumulated vsize: 1076968 KiB
Current children cumulated memory: 895752 KiB

[startup+77.3003 s]
/proc/loadavg: 7.71 8.22 7.97 2/192 9903
/proc/meminfo: memFree=30085956/32770624 swapFree=66997268/67108860
[pid=9888] ppid=9885 vsize=1076968 memory=895752 CPUtime=603.17 cores=0-7
/proc/9888/stat : 9888 (cosoco) S 9885 9888 9321 0 -1 1077944320 893768 0 0 0 60164 153 0 0 20 0 2 0 558130927 1102815232 223938 33554432000 4194304 6211132 140737130291328 140737130289584 140644963127031 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
/proc/9888/statm: 269242 223938 895 493 0 262547 0
[pid=9888/tid=9896] ppid=9885 vsize=1076968 memory=895752 CPUtime=76.03 cores=0-7
/proc/9888/task/9896/stat : 9896 (cosoco) R 9885 9888 9321 0 -1 4202560 105172 0 0 0 7580 23 0 0 20 0 2 0 558131043 1102815232 223938 33554432000 4194304 6211132 140737130291328 140644889627744 5138639 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36704256 140737130300433 140737130300525 140737130300525 140737130303438 0
Current children cumulated CPU time: 603.17 s
Current children cumulated vsize: 1076968 KiB
Current children cumulated memory: 895752 KiB

Child status: 0
Real time (s): 77.3813
CPU time (s): 603.258
CPU user time (s): 601.663
CPU system time (s): 1.59493
CPU usage (%): 779.591
Max. virtual memory (cumulated for all children) (KiB): 1552140
Max. memory (cumulated for all children) (KiB): 1280784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 601.663
system time used= 1.59493
maximum resident set size= 1288936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 893805
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= 31876
involuntary context switches= 5444


# summary of solver processes directly reported to runsolver:
#   pid: 9888
#   total CPU time (s): 603.258
#   total CPU user time (s): 601.663
#   total CPU system time (s): 1.59493

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.366842 second user time and 0.745295 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-30 07:38:05
IDJOB=4409217
IDBENCH=123183
IDSOLVER=2877
FILE ID=node140/4409217-1569821927
RUNJOBID= node140-1569818144-9348
PBS_JOBID= 21705927
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/MagicSequence/MagicSequence-card-s1/MagicSequence-1000-ca.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409217-1569821927/watcher-4409217-1569821927 -o /tmp/evaluation-result-4409217-1569821927/solver-4409217-1569821927 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1569818144-9348 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4409217-1569821927.xml

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

MD5SUM BENCH= d2780e3631970b53a6f91cd037f7d107
RANDOM SEED=1522126999

node140.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.43
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.43
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.43
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.43
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:        30978032 kB
MemAvailable:   31875188 kB
Buffers:          113048 kB
Cached:          1121540 kB
SwapCached:         3040 kB
Active:           891640 kB
Inactive:         350860 kB
Active(anon):       3704 kB
Inactive(anon):    83992 kB
Active(file):     887936 kB
Inactive(file):   266868 kB
Unevictable:      107704 kB
Mlocked:          107704 kB
SwapTotal:      67108860 kB
SwapFree:       66997268 kB
Dirty:              2796 kB
Writeback:             0 kB
AnonPages:        113104 kB
Mapped:            26316 kB
Shmem:             71168 kB
Slab:             144748 kB
SReclaimable:     116376 kB
SUnreclaim:        28372 kB
KernelStack:        3376 kB
PageTables:         5068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     539284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 62028 MiB
End job on node140 at 2019-09-30 07:39:22