Trace number 4398547

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cosoco 2.O parallelOPT152 25.7665 3.27844

General information on the benchmark

NameFastfood/Fastfood-m1-s1/
Fastfood-ff61.xml
MD5SUM275e9239012ab7a817236ff89c8de286
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark152
Best CPU time to get the best result obtained on this benchmark16.4149
Satisfiable
(Un)Satisfiability was proved
Number of variables428
Number of constraints417
Number of domains27
Minimum domain size23
Maximum domain size26
Distribution of domain sizes[{"size":23,"count":13},{"size":25,"count":39},{"size":26,"count":376}]
Minimum variable degree2
Maximum variable degree33
Distribution of variable degrees[{"degree":2,"count":416},{"degree":33,"count":12}]
Minimum constraint arity2
Maximum constraint arity13
Distribution of constraint arities[{"arity":2,"count":384},{"arity":12,"count":1},{"arity":13,"count":32}]
Number of extensional constraints384
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":384},{"type":"ordered","count":1},{"type":"minimum","count":32}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.00/0.04	c
0.00/0.04	c This is cosoco 2.00 --  
0.00/0.04	c
0.00/0.04	c command line: cosoco -model -nbcores=8 HOME/instance-4398547-1568610166.xml 
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.06	c enable optimization
0.00/0.06	c ========================================[ Problem Statistics ]===========================================
0.00/0.06	c |                                                                                                       
0.00/0.06	c |  Parse time        :         0.03 s 
0.00/0.06	c |
0.00/0.06	c |               Variables: 428
0.00/0.06	c |            Domain Sizes: 23..26
0.00/0.06	c |
0.00/0.06	c |             Constraints: 428
0.00/0.06	c |                   Arity: 2..32  -- Binary: 395
0.00/0.06	c | 
0.00/0.06	c |                   Types: 
0.00/0.06	c |                          (X - Y < k): 11
0.00/0.06	c |                          Extension: 384  (nb tuples: 26..26) -- (shared: 2864)
0.00/0.06	c |                          Minimum Variable: 32
0.00/0.06	c |                          Sum: 1
0.00/0.06	c |                          
0.00/0.06	c |               Objective: Minimize Sum
0.00/0.06	
0.00/0.06	c =========================================================================================================
0.00/0.06	c Parallel mode: Portfolio
0.00/0.06	c [pFactory][Group N°0] created (threads:8).
0.00/0.06	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
0.00/0.06	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
0.00/0.06	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
0.00/0.06	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
0.00/0.06	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
0.00/0.06	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
0.00/0.06	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
0.00/0.06	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
0.00/0.06	c [pFactory][Group N°0] concurrent mode: enabled.
0.00/0.06	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
0.00/0.06	c [pFactory][Group N°0] task 7 launched on thread 0.
0.00/0.06	c [pFactory][Group N°0] task 6 launched on thread 6.
0.00/0.06	c [pFactory][Group N°0] task 5 launched on thread 1.
0.00/0.06	c [pFactory][Group N°0] task 4 launched on thread 2.
0.00/0.06	c [pFactory][Group N°0] task 3 launched on thread 7.
0.00/0.06	c [pFactory][Group N°0] task 2 launched on thread 3.
0.00/0.06	c [pFactory][Group N°0] task 1 launched on thread 5.
0.00/0.06	c [pFactory][Group N°0] task 0 launched on thread 4.
0.00/0.06	o 5714
0.00/0.06	o 4790
0.00/0.06	o 655
0.00/0.07	o 507
0.00/0.10	o 503
0.00/0.10	o 474
0.51/0.11	o 356
0.51/0.15	o 348
0.51/0.16	o 347
0.51/0.21	o 337
0.51/0.21	o 323
1.38/0.26	o 306
1.38/0.30	o 301
2.17/0.34	o 295
2.17/0.41	o 267
2.96/0.51	o 263
4.48/0.62	o 240
4.48/0.66	o 239
5.20/0.70	o 199
5.20/0.79	o 173
6.00/0.83	o 162
11.59/1.53	o 159
13.19/1.72	o 155
16.46/2.15	o 152
25.16/3.27	c [pFactory][Group N°0] concurent mode: thread 6 has won with the task 6.
25.16/3.27	c [pFactory][Group N°0] Thread N°0 is joined.
25.16/3.27	c [pFactory][Group N°0] Thread N°1 is joined.
25.16/3.27	c [pFactory][Group N°0] Thread N°2 is joined.
25.16/3.27	c [pFactory][Group N°0] Thread N°3 is joined.
25.16/3.27	c [pFactory][Group N°0] Thread N°4 is joined.
25.16/3.27	c [pFactory][Group N°0] Thread N°5 is joined.
25.16/3.27	c [pFactory][Group N°0] Thread N°6 is joined.
25.16/3.27	c [pFactory][Group N°0] Thread N°7 is joined.
25.16/3.27	c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°6)
25.16/3.27	s OPTIMUM FOUND
25.16/3.27	c call to solver        : 22
25.16/3.27	c
25.16/3.27	c restarts              : 1312        
25.16/3.27	c conflicts             : 2239         (87 /sec)
25.16/3.27	c decisions             : 75711        (2943 /sec)
25.16/3.27	c propagations          : 3301154     (128312 /sec)
25.16/3.27	c root propagations     : 4663        
25.16/3.27	c filter calls          : 2024217        (78679 /sec)
25.16/3.27	c useless filter calls  : 830207         (41 %)
25.16/3.27	c Memory used           : 585.66 MB
25.16/3.27	c Best bound time (wc)  : 2.14418 s
25.16/3.27	c CPU time              : 25.7274 s
25.16/3.27	c real time             : 3.26968 s
25.16/3.27	
25.16/3.27	
25.16/3.27	v <instantiation type='solution' cost='152'>
25.16/3.27	v <list>dr[0] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[1] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] dr[2] dr[30] dr[31] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] drd[0][0] drd[0][10] drd[0][11] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[0][6] drd[0][7] drd[0][8] drd[0][9] drd[10][0] drd[10][10] drd[10][11] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[10][6] drd[10][7] drd[10][8] drd[10][9] drd[11][0] drd[11][10] drd[11][11] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[11][6] drd[11][7] drd[11][8] drd[11][9] drd[12][0] drd[12][10] drd[12][11] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[12][6] drd[12][7] drd[12][8] drd[12][9] drd[13][0] drd[13][10] drd[13][11] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[13][6] drd[13][7] drd[13][8] drd[13][9] drd[14][0] drd[14][10] drd[14][11] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[14][6] drd[14][7] drd[14][8] drd[14][9] drd[15][0] drd[15][10] drd[15][11] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[15][6] drd[15][7] drd[15][8] drd[15][9] drd[16][0] drd[16][10] drd[16][11] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[16][6] drd[16][7] drd[16][8] drd[16][9] drd[17][0] drd[17][10] drd[17][11] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[17][6] drd[17][7] drd[17][8] drd[17][9] drd[18][0] drd[18][10] drd[18][11] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[18][6] drd[18][7] drd[18][8] drd[18][9] drd[19][0] drd[19][10] drd[19][11] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[19][6] drd[19][7] drd[19][8] drd[19][9] drd[1][0] drd[1][10] drd[1][11] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[1][6] drd[1][7] drd[1][8] drd[1][9] drd[20][0] drd[20][10] drd[20][11] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[20][6] drd[20][7] drd[20][8] drd[20][9] drd[21][0] drd[21][10] drd[21][11] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[21][6] drd[21][7] drd[21][8] drd[21][9] drd[22][0] drd[22][10] drd[22][11] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[22][6] drd[22][7] drd[22][8] drd[22][9] drd[23][0] drd[23][10] drd[23][11] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[23][6] drd[23][7] drd[23][8] drd[23][9] drd[24][0] drd[24][10] drd[24][11] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[24][6] drd[24][7] drd[24][8] drd[24][9] drd[25][0] drd[25][10] drd[25][11] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[25][6] drd[25][7] drd[25][8] drd[25][9] drd[26][0] drd[26][10] drd[26][11] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[26][6] drd[26][7] drd[26][8] drd[26][9] drd[27][0] drd[27][10] drd[27][11] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[27][6] drd[27][7] drd[27][8] drd[27][9] drd[28][0] drd[28][10] drd[28][11] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[28][6] drd[28][7] drd[28][8] drd[28][9] drd[29][0] drd[29][10] drd[29][11] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[29][6] drd[29][7] drd[29][8] drd[29][9] drd[2][0] drd[2][10] drd[2][11] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[2][6] drd[2][7] drd[2][8] drd[2][9] drd[30][0] drd[30][10] drd[30][11] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] drd[30][6] drd[30][7] drd[30][8] drd[30][9] drd[31][0] drd[31][10] drd[31][11] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[31][5] drd[31][6] drd[31][7] drd[31][8] drd[31][9] drd[3][0] drd[3][10] drd[3][11] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[3][6] drd[3][7] drd[3][8] drd[3][9] drd[4][0] drd[4][10] drd[4][11] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[4][6] drd[4][7] drd[4][8] drd[4][9] drd[5][0] drd[5][10] drd[5][11] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[5][6] drd[5][7] drd[5][8] drd[5][9] drd[6][0] drd[6][10] drd[6][11] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[6][6] drd[6][7] drd[6][8] drd[6][9] drd[7][0] drd[7][10] drd[7][11] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[7][6] drd[7][7] drd[7][8] drd[7][9] drd[8][0] drd[8][10] drd[8][11] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[8][6] drd[8][7] drd[8][8] drd[8][9] drd[9][0] drd[9][10] drd[9][11] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[9][6] drd[9][7] drd[9][8] drd[9][9] x[0] x[10] x[11] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list>
25.16/3.27	v <values>15 0 2 0 0 18 0 0 9 5 0 12 0 0 0 0 0 0 0 0 22 11 0 0 2 0 8 14 0 4 27 3 114 524 574 75 42 15 50 101 330 375 411 469 72 566 616 33 0 27 92 143 372 417 453 511 2 636 686 37 70 97 162 213 442 487 523 581 0 638 688 39 72 99 164 215 444 489 525 583 688 50 0 649 616 589 524 473 244 199 163 105 18 620 670 21 54 81 146 197 426 471 507 565 489 149 199 450 417 390 325 274 45 0 36 94 489 149 199 450 417 390 325 274 45 0 36 94 81 557 607 42 9 18 83 134 363 408 444 502 44 594 644 5 28 55 120 171 400 445 481 539 638 0 50 599 566 539 474 423 194 149 113 55 27 611 661 12 45 72 137 188 417 462 498 556 638 0 50 599 566 539 474 423 194 149 113 55 444 194 244 405 372 345 280 229 0 45 81 139 444 194 244 405 372 345 280 229 0 45 81 139 215 423 473 176 143 116 51 0 229 274 310 368 39 599 649 0 33 60 125 176 405 450 486 544 39 599 649 0 33 60 125 176 405 450 486 544 583 55 105 544 511 484 419 368 139 94 58 0 583 55 105 544 511 484 419 368 139 94 58 0 186 452 502 147 114 87 22 29 258 303 339 397 11 649 699 50 83 110 175 226 455 500 536 594 99 539 589 60 27 0 65 116 345 390 426 484 525 113 163 486 453 426 361 310 81 36 0 58 523 115 165 484 451 424 359 308 79 34 2 60 99 539 589 60 27 0 65 116 345 390 426 484 64 574 624 25 8 35 100 151 380 425 461 519 58 580 630 19 14 41 106 157 386 431 467 525 164 474 524 125 92 65 0 51 280 325 361 419 35 603 653 4 37 64 129 180 409 454 490 548 137 501 551 98 65 38 27 78 307 352 388 446 75 563 613 36 3 24 89 140 369 414 450 508 23 661 711 62 95 122 187 238 467 512 548 606 </values>
25.16/3.27	v </instantiation>
25.16/3.27	

Verifier Data

OK	152

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398547-1568610166/watcher-4398547-1568610166 -o /tmp/evaluation-result-4398547-1568610166/solver-4398547-1568610166 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568597291-8982 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398547-1568610166.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Current StackSize limit: 8192 KiB

solver pid=11022, runsolver pid=11019

[startup+0.100657 s]*
/proc/loadavg: 4.69 7.87 8.58 10/203 11031
/proc/meminfo: memFree=31718132/32770624 swapFree=66937652/67108860
[pid=11022] ppid=11019 vsize=632500 memory=25640 CPUtime=0.51 cores=0-7
/proc/11022/stat : 11022 (cosoco) S 11019 11022 8955 0 -1 1077944320 7414 0 0 0 50 1 0 0 20 0 9 0 437288032 647680000 6410 33554432000 4194304 6211092 140720310362832 140720310361088 139801719709431 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
/proc/11022/statm: 158125 6410 892 493 0 151430 0
[pid=11022/tid=11024] ppid=11019 vsize=632500 memory=4134692831991786133 CPUtime=0.05 cores=0-7
/proc/11022/task/11024/stat : 11024 (cosoco) R 11019 11022 8955 0 -1 4202560 326 0 0 0 5 0 0 0 20 0 9 0 437288037 647680000 6410 33554432000 4194304 6211092 140720310362832 139801696565864 5250287 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11025] ppid=11019 vsize=632500 memory=4126316290023845779 CPUtime=0.06 cores=0-7
/proc/11022/task/11025/stat : 11025 (cosoco) R 11019 11022 8955 0 -1 4202560 287 0 0 0 6 0 0 0 20 0 9 0 437288037 647680000 6410 33554432000 4194304 6211092 140720310362832 139801688173696 5126560 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11026] ppid=11019 vsize=632500 memory=140270702859904 CPUtime=0.06 cores=0-7
/proc/11022/task/11026/stat : 11026 (cosoco) R 11019 11022 8955 0 -1 4202560 204 0 0 0 6 0 0 0 20 0 9 0 437288037 647680000 6410 33554432000 4194304 6211092 140720310362832 139801679780880 5125797 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11027] ppid=11019 vsize=632500 memory=0 CPUtime=0.05 cores=0-7
/proc/11022/task/11027/stat : 11027 (cosoco) R 11019 11022 8955 0 -1 4202560 312 0 0 0 5 0 0 0 20 0 9 0 437288037 647680000 6410 33554432000 4194304 6211092 140720310362832 139801671387672 5126107 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11028] ppid=11019 vsize=632500 memory=0 CPUtime=0.06 cores=0-7
/proc/11022/task/11028/stat : 11028 (cosoco) R 11019 11022 8955 0 -1 4202560 311 0 0 0 6 0 0 0 20 0 9 0 437288037 647680000 6410 33554432000 4194304 6211092 140720310362832 139801662995312 5126576 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11029] ppid=11019 vsize=632500 memory=0 CPUtime=0.05 cores=0-7
/proc/11022/task/11029/stat : 11029 (cosoco) R 11019 11022 8955 0 -1 4202560 304 0 0 0 5 0 0 0 20 0 9 0 437288037 647680000 6410 33554432000 4194304 6211092 140720310362832 139801654602184 5250287 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11030] ppid=11019 vsize=632500 memory=-1 CPUtime=0.06 cores=0-7
/proc/11022/task/11030/stat : 11030 (cosoco) R 11019 11022 8955 0 -1 4202560 326 0 0 0 6 0 0 0 20 0 9 0 437288037 647680000 6410 33554432000 4194304 6211092 140720310362832 139801646210064 5250272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11031] ppid=11019 vsize=632500 memory=0 CPUtime=0.05 cores=0-7
/proc/11022/task/11031/stat : 11031 (cosoco) R 11019 11022 8955 0 -1 4202560 337 0 0 0 5 0 0 0 20 0 9 0 437288037 647680000 6410 33554432000 4194304 6211092 140720310362832 139801637817472 5409453 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 632500 KiB
Current children cumulated memory: 25640 KiB

[startup+0.210656 s]*
/proc/loadavg: 4.69 7.87 8.58 9/203 11031
/proc/meminfo: memFree=31717264/32770624 swapFree=66937652/67108860
[pid=11022] ppid=11019 vsize=632500 memory=26680 CPUtime=1.38 cores=0-7
/proc/11022/stat : 11022 (cosoco) S 11019 11022 8955 0 -1 1077944320 7696 0 0 0 137 1 0 0 20 0 9 0 437288032 647680000 6670 33554432000 4194304 6211092 140720310362832 140720310361088 139801719709431 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
/proc/11022/statm: 158125 6670 892 493 0 151430 0
[pid=11022/tid=11024] ppid=11019 vsize=632500 memory=8316850467074736180 CPUtime=0.16 cores=0-7
/proc/11022/task/11024/stat : 11024 (cosoco) R 11019 11022 8955 0 -1 4202560 333 0 0 0 16 0 0 0 20 0 9 0 437288037 647680000 6670 33554432000 4194304 6211092 140720310362832 139801696565864 5126560 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11025] ppid=11019 vsize=632500 memory=2964828 CPUtime=0.17 cores=0-7
/proc/11022/task/11025/stat : 11025 (cosoco) R 11019 11022 8955 0 -1 4202560 327 0 0 0 17 0 0 0 20 0 9 0 437288037 647680000 6670 33554432000 4194304 6211092 140720310362832 139801688173240 5250463 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11026] ppid=11019 vsize=632500 memory=140270706346473 CPUtime=0.17 cores=0-7
/proc/11022/task/11026/stat : 11026 (cosoco) R 11019 11022 8955 0 -1 4202560 317 0 0 0 17 0 0 0 20 0 9 0 437288037 647680000 6670 33554432000 4194304 6211092 140720310362832 139801679780376 5250272 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11027] ppid=11019 vsize=632500 memory=-1 CPUtime=0.16 cores=0-7
/proc/11022/task/11027/stat : 11027 (cosoco) R 11019 11022 8955 0 -1 4202560 350 0 0 0 16 0 0 0 20 0 9 0 437288037 647680000 6670 33554432000 4194304 6211092 140720310362832 139801671387752 5250287 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11028] ppid=11019 vsize=632500 memory=0 CPUtime=0.17 cores=0-7
/proc/11022/task/11028/stat : 11028 (cosoco) R 11019 11022 8955 0 -1 4202560 322 0 0 0 17 0 0 0 20 0 9 0 437288037 647680000 6670 33554432000 4194304 6211092 140720310362832 139801662995312 5017569 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11029] ppid=11019 vsize=632500 memory=0 CPUtime=0.16 cores=0-7
/proc/11022/task/11029/stat : 11029 (cosoco) R 11019 11022 8955 0 -1 4202560 319 0 0 0 16 0 0 0 20 0 9 0 437288037 647680000 6670 33554432000 4194304 6211092 140720310362832 139801654602184 5389846 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11030] ppid=11019 vsize=632500 memory=-1 CPUtime=0.17 cores=0-7
/proc/11022/task/11030/stat : 11030 (cosoco) R 11019 11022 8955 0 -1 4202560 373 0 0 0 17 0 0 0 20 0 9 0 437288037 647680000 6670 33554432000 4194304 6211092 140720310362832 139801646210320 139801703664446 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11031] ppid=11019 vsize=632500 memory=0 CPUtime=0.15 cores=0-7
/proc/11022/task/11031/stat : 11031 (cosoco) R 11019 11022 8955 0 -1 4202560 351 0 0 0 15 0 0 0 20 0 9 0 437288037 647680000 6670 33554432000 4194304 6211092 140720310362832 139801637817016 5409444 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 632500 KiB
Current children cumulated memory: 26680 KiB

[startup+0.310656 s]*
/proc/loadavg: 4.69 7.87 8.58 9/203 11031
/proc/meminfo: memFree=31716396/32770624 swapFree=66937652/67108860
[pid=11022] ppid=11019 vsize=632500 memory=26944 CPUtime=2.17 cores=0-7
/proc/11022/stat : 11022 (cosoco) S 11019 11022 8955 0 -1 1077944320 7842 0 0 0 216 1 0 0 20 0 9 0 437288032 647680000 6736 33554432000 4194304 6211092 140720310362832 140720310361088 139801719709431 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
/proc/11022/statm: 158125 6736 892 493 0 151430 0
[pid=11022/tid=11024] ppid=11019 vsize=632500 memory=6935054825532540783 CPUtime=0.26 cores=0-7
/proc/11022/task/11024/stat : 11024 (cosoco) R 11019 11022 8955 0 -1 4202560 355 0 0 0 26 0 0 0 20 0 9 0 437288037 647680000 6736 33554432000 4194304 6211092 140720310362832 139801696566304 5250289 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11025] ppid=11019 vsize=632500 memory=4126316290023845779 CPUtime=0.27 cores=0-7
/proc/11022/task/11025/stat : 11025 (cosoco) R 11019 11022 8955 0 -1 4202560 352 0 0 0 27 0 0 0 20 0 9 0 437288037 647680000 6736 33554432000 4194304 6211092 140720310362832 139801688173240 5250272 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11026] ppid=11019 vsize=632500 memory=0 CPUtime=0.27 cores=0-7
/proc/11022/task/11026/stat : 11026 (cosoco) R 11019 11022 8955 0 -1 4202560 341 0 0 0 27 0 0 0 20 0 9 0 437288037 647680000 6736 33554432000 4194304 6211092 140720310362832 139801679780376 5397226 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11027] ppid=11019 vsize=632500 memory=0 CPUtime=0.26 cores=0-7
/proc/11022/task/11027/stat : 11027 (cosoco) R 11019 11022 8955 0 -1 4202560 357 0 0 0 26 0 0 0 20 0 9 0 437288037 647680000 6736 33554432000 4194304 6211092 140720310362832 139801671387752 5250272 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11028] ppid=11019 vsize=632500 memory=6656426216303648864 CPUtime=0.27 cores=0-7
/proc/11022/task/11028/stat : 11028 (cosoco) R 11019 11022 8955 0 -1 4202560 349 0 0 0 27 0 0 0 20 0 9 0 437288037 647680000 6736 33554432000 4194304 6211092 140720310362832 139801662995312 5250287 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11029] ppid=11019 vsize=632500 memory=0 CPUtime=0.26 cores=0-7
/proc/11022/task/11029/stat : 11029 (cosoco) R 11019 11022 8955 0 -1 4202560 334 0 0 0 26 0 0 0 20 0 9 0 437288037 647680000 6736 33554432000 4194304 6211092 140720310362832 139801654602184 5126088 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11030] ppid=11019 vsize=632500 memory=0 CPUtime=0.27 cores=0-7
/proc/11022/task/11030/stat : 11030 (cosoco) R 11019 11022 8955 0 -1 4202560 387 0 0 0 27 0 0 0 20 0 9 0 437288037 647680000 6736 33554432000 4194304 6211092 140720310362832 139801646209720 5125793 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11031] ppid=11019 vsize=632500 memory=0 CPUtime=0.24 cores=0-7
/proc/11022/task/11031/stat : 11031 (cosoco) R 11019 11022 8955 0 -1 4202560 360 0 0 0 24 0 0 0 20 0 9 0 437288037 647680000 6736 33554432000 4194304 6211092 140720310362832 139801637817016 5155928 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
Current children cumulated CPU time: 2.17 s
Current children cumulated vsize: 632500 KiB
Current children cumulated memory: 26944 KiB

[startup+0.700656 s]
/proc/loadavg: 4.69 7.87 8.58 9/203 11031
/proc/meminfo: memFree=31716364/32770624 swapFree=66937652/67108860
[pid=11022] ppid=11019 vsize=632500 memory=27204 CPUtime=5.2 cores=0-7
/proc/11022/stat : 11022 (cosoco) S 11019 11022 8955 0 -1 1077944320 7873 0 0 0 519 1 0 0 20 0 9 0 437288032 647680000 6801 33554432000 4194304 6211092 140720310362832 140720310361088 139801719709431 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
/proc/11022/statm: 158125 6801 892 493 0 151430 0
[pid=11022/tid=11024] ppid=11019 vsize=632500 memory=812 CPUtime=0.65 cores=0-7
/proc/11022/task/11024/stat : 11024 (cosoco) R 11019 11022 8955 0 -1 4202560 369 0 0 0 65 0 0 0 20 0 9 0 437288037 647680000 6801 33554432000 4194304 6211092 140720310362832 139801696566400 5125797 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11025] ppid=11019 vsize=632500 memory=1772 CPUtime=0.65 cores=0-7
/proc/11022/task/11025/stat : 11025 (cosoco) R 11019 11022 8955 0 -1 4202560 352 0 0 0 65 0 0 0 20 0 9 0 437288037 647680000 6801 33554432000 4194304 6211092 140720310362832 139801688173584 5250301 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11026] ppid=11019 vsize=632500 memory=111632 CPUtime=0.65 cores=0-7
/proc/11022/task/11026/stat : 11026 (cosoco) R 11019 11022 8955 0 -1 4202560 341 0 0 0 65 0 0 0 20 0 9 0 437288037 647680000 6801 33554432000 4194304 6211092 140720310362832 139801679780536 5250234 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11027] ppid=11019 vsize=632500 memory=804 CPUtime=0.65 cores=0-7
/proc/11022/task/11027/stat : 11027 (cosoco) R 11019 11022 8955 0 -1 4202560 371 0 0 0 65 0 0 0 20 0 9 0 437288037 647680000 6801 33554432000 4194304 6211092 140720310362832 139801671388176 5250287 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11028] ppid=11019 vsize=632500 memory=1768 CPUtime=0.65 cores=0-7
/proc/11022/task/11028/stat : 11028 (cosoco) R 11019 11022 8955 0 -1 4202560 349 0 0 0 65 0 0 0 20 0 9 0 437288037 647680000 6801 33554432000 4194304 6211092 140720310362832 139801662995128 5155834 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11029] ppid=11019 vsize=632500 memory=7100839861465685612 CPUtime=0.64 cores=0-7
/proc/11022/task/11029/stat : 11029 (cosoco) R 11019 11022 8955 0 -1 4202560 335 0 0 0 64 0 0 0 20 0 9 0 437288037 647680000 6801 33554432000 4194304 6211092 140720310362832 139801654602768 5397375 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11030] ppid=11019 vsize=632500 memory=-7175204567652784766 CPUtime=0.65 cores=0-7
/proc/11022/task/11030/stat : 11030 (cosoco) R 11019 11022 8955 0 -1 4202560 387 0 0 0 65 0 0 0 20 0 9 0 437288037 647680000 6801 33554432000 4194304 6211092 140720310362832 139801646210320 5250279 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11031] ppid=11019 vsize=632500 memory=-8412660948202001267 CPUtime=0.6 cores=0-7
/proc/11022/task/11031/stat : 11031 (cosoco) R 11019 11022 8955 0 -1 4202560 362 0 0 0 60 0 0 0 20 0 9 0 437288037 647680000 6801 33554432000 4194304 6211092 140720310362832 139801637816936 5250289 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
Current children cumulated CPU time: 5.2 s
Current children cumulated vsize: 632500 KiB
Current children cumulated memory: 27204 KiB

[startup+1.50066 s]
/proc/loadavg: 4.69 7.87 8.58 9/203 11031
/proc/meminfo: memFree=31716364/32770624 swapFree=66937652/67108860
[pid=11022] ppid=11019 vsize=632500 memory=28488 CPUtime=11.59 cores=0-7
/proc/11022/stat : 11022 (cosoco) S 11019 11022 8955 0 -1 1077944320 13706 0 0 0 1156 3 0 0 20 0 9 0 437288032 647680000 7122 33554432000 4194304 6211092 140720310362832 140720310361088 139801719709431 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
/proc/11022/statm: 158125 7122 892 493 0 151430 0
[pid=11022/tid=11024] ppid=11019 vsize=632500 memory=0 CPUtime=1.44 cores=0-7
/proc/11022/task/11024/stat : 11024 (cosoco) R 11019 11022 8955 0 -1 4202560 1016 0 0 0 144 0 0 0 20 0 9 0 437288037 647680000 7122 33554432000 4194304 6211092 140720310362832 139801696566400 5250284 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11025] ppid=11019 vsize=632500 memory=148 CPUtime=1.45 cores=0-7
/proc/11022/task/11025/stat : 11025 (cosoco) R 11019 11022 8955 0 -1 4202560 1206 0 0 0 145 0 0 0 20 0 9 0 437288037 647680000 7122 33554432000 4194304 6211092 140720310362832 139801688173584 5250289 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11026] ppid=11019 vsize=632500 memory=2958615 CPUtime=1.45 cores=0-7
/proc/11022/task/11026/stat : 11026 (cosoco) R 11019 11022 8955 0 -1 4202560 907 0 0 0 145 0 0 0 20 0 9 0 437288037 647680000 7122 33554432000 4194304 6211092 140720310362832 139801679780880 5126576 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11027] ppid=11019 vsize=632500 memory=2966638 CPUtime=1.44 cores=0-7
/proc/11022/task/11027/stat : 11027 (cosoco) R 11019 11022 8955 0 -1 4202560 1110 0 0 0 144 0 0 0 20 0 9 0 437288037 647680000 7122 33554432000 4194304 6211092 140720310362832 139801671387832 5390036 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11028] ppid=11019 vsize=632500 memory=0 CPUtime=1.44 cores=0-7
/proc/11022/task/11028/stat : 11028 (cosoco) R 11019 11022 8955 0 -1 4202560 799 0 0 0 144 0 0 0 20 0 9 0 437288037 647680000 7122 33554432000 4194304 6211092 140720310362832 139801662995128 5397226 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11029] ppid=11019 vsize=632500 memory=0 CPUtime=1.44 cores=0-7
/proc/11022/task/11029/stat : 11029 (cosoco) R 11019 11022 8955 0 -1 4202560 1445 0 0 0 144 0 0 0 20 0 9 0 437288037 647680000 7122 33554432000 4194304 6211092 140720310362832 139801654602768 5125779 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11030] ppid=11019 vsize=632500 memory=0 CPUtime=1.45 cores=0-7
/proc/11022/task/11030/stat : 11030 (cosoco) R 11019 11022 8955 0 -1 4202560 1275 0 0 0 145 0 0 0 20 0 9 0 437288037 647680000 7122 33554432000 4194304 6211092 140720310362832 139801646210320 5250272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11031] ppid=11019 vsize=632500 memory=280541089759472 CPUtime=1.38 cores=0-7
/proc/11022/task/11031/stat : 11031 (cosoco) R 11019 11022 8955 0 -1 4202560 941 0 0 0 138 0 0 0 20 0 9 0 437288037 647680000 7122 33554432000 4194304 6211092 140720310362832 139801637816936 5008987 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
Current children cumulated CPU time: 11.59 s
Current children cumulated vsize: 632500 KiB
Current children cumulated memory: 28488 KiB

[startup+3.11066 s]
/proc/loadavg: 4.69 7.87 8.58 9/203 11031
/proc/meminfo: memFree=31714824/32770624 swapFree=66937652/67108860
[pid=11022] ppid=11019 vsize=632500 memory=28496 CPUtime=24.44 cores=0-7
/proc/11022/stat : 11022 (cosoco) S 11019 11022 8955 0 -1 1077944320 19349 0 0 0 2441 3 0 0 20 0 9 0 437288032 647680000 7124 33554432000 4194304 6211092 140720310362832 140720310361088 139801719709431 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
/proc/11022/statm: 158125 7124 892 493 0 151430 0
[pid=11022/tid=11024] ppid=11019 vsize=632500 memory=0 CPUtime=3.05 cores=0-7
/proc/11022/task/11024/stat : 11024 (cosoco) R 11019 11022 8955 0 -1 4202560 1781 0 0 0 305 0 0 0 20 0 9 0 437288037 647680000 7124 33554432000 4194304 6211092 140720310362832 139801696566400 5250284 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11025] ppid=11019 vsize=632500 memory=4420 CPUtime=3.06 cores=0-7
/proc/11022/task/11025/stat : 11025 (cosoco) R 11019 11022 8955 0 -1 4202560 2001 0 0 0 306 0 0 0 20 0 9 0 437288037 647680000 7124 33554432000 4194304 6211092 140720310362832 139801688173584 5250450 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11026] ppid=11019 vsize=632500 memory=0 CPUtime=3.06 cores=0-7
/proc/11022/task/11026/stat : 11026 (cosoco) R 11019 11022 8955 0 -1 4202560 1403 0 0 0 306 0 0 0 20 0 9 0 437288037 647680000 7124 33554432000 4194304 6211092 140720310362832 139801679780992 5009195 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11027] ppid=11019 vsize=632500 memory=0 CPUtime=3.05 cores=0-7
/proc/11022/task/11027/stat : 11027 (cosoco) R 11019 11022 8955 0 -1 4202560 1700 0 0 0 305 0 0 0 20 0 9 0 437288037 647680000 7124 33554432000 4194304 6211092 140720310362832 139801671387832 5127112 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11028] ppid=11019 vsize=632500 memory=28488 CPUtime=3.05 cores=0-7
/proc/11022/task/11028/stat : 11028 (cosoco) R 11019 11022 8955 0 -1 4202560 1589 0 0 0 305 0 0 0 20 0 9 0 437288037 647680000 7124 33554432000 4194304 6211092 140720310362832 139801662995472 5250287 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11029] ppid=11019 vsize=632500 memory=14556178772396376 CPUtime=3.05 cores=0-7
/proc/11022/task/11029/stat : 11029 (cosoco) R 11019 11022 8955 0 -1 4202560 2261 0 0 0 305 0 0 0 20 0 9 0 437288037 647680000 7124 33554432000 4194304 6211092 140720310362832 139801654602768 5396460 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11030] ppid=11019 vsize=632500 memory=27204 CPUtime=3.05 cores=0-7
/proc/11022/task/11030/stat : 11030 (cosoco) R 11019 11022 8955 0 -1 4202560 1932 0 0 0 305 0 0 0 20 0 9 0 437288037 647680000 7124 33554432000 4194304 6211092 140720310362832 139801646210064 5250272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11031] ppid=11019 vsize=632500 memory=1412 CPUtime=2.96 cores=0-7
/proc/11022/task/11031/stat : 11031 (cosoco) R 11019 11022 8955 0 -1 4202560 1675 0 0 0 296 0 0 0 20 0 9 0 437288037 647680000 7124 33554432000 4194304 6211092 140720310362832 139801637817016 5250450 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
Current children cumulated CPU time: 24.44 s
Current children cumulated vsize: 632500 KiB
Current children cumulated memory: 28496 KiB

[startup+3.27838 s]
# the end of solver process 11022 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=25.7275 s, system=0.038979 s

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

[startup+3.20065 s]
/proc/loadavg: 4.69 7.87 8.58 9/203 11031
/proc/meminfo: memFree=31714824/32770624 swapFree=66937652/67108860
[pid=11022] ppid=11019 vsize=632500 memory=28496 CPUtime=25.16 cores=0-7
/proc/11022/stat : 11022 (cosoco) S 11019 11022 8955 0 -1 1077944320 19440 0 0 0 2513 3 0 0 20 0 9 0 437288032 647680000 7124 33554432000 4194304 6211092 140720310362832 140720310361088 139801719709431 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
/proc/11022/statm: 158125 7124 892 493 0 151430 0
[pid=11022/tid=11024] ppid=11019 vsize=632500 memory=6935054825532540783 CPUtime=3.14 cores=0-7
/proc/11022/task/11024/stat : 11024 (cosoco) R 11019 11022 8955 0 -1 4202560 1781 0 0 0 314 0 0 0 20 0 9 0 437288037 647680000 7124 33554432000 4194304 6211092 140720310362832 139801696566400 5409457 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11025] ppid=11019 vsize=632500 memory=114 CPUtime=3.15 cores=0-7
/proc/11022/task/11025/stat : 11025 (cosoco) R 11019 11022 8955 0 -1 4202560 2001 0 0 0 315 0 0 0 20 0 9 0 437288037 647680000 7124 33554432000 4194304 6211092 140720310362832 139801688173584 5250298 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11026] ppid=11019 vsize=632500 memory=115 CPUtime=3.15 cores=0-7
/proc/11022/task/11026/stat : 11026 (cosoco) R 11019 11022 8955 0 -1 4202560 1423 0 0 0 315 0 0 0 20 0 9 0 437288037 647680000 7124 33554432000 4194304 6211092 140720310362832 139801679780992 5250272 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11027] ppid=11019 vsize=632500 memory=115 CPUtime=3.14 cores=0-7
/proc/11022/task/11027/stat : 11027 (cosoco) R 11019 11022 8955 0 -1 4202560 1771 0 0 0 314 0 0 0 20 0 9 0 437288037 647680000 7124 33554432000 4194304 6211092 140720310362832 139801671387832 5125845 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11028] ppid=11019 vsize=632500 memory=28488 CPUtime=3.14 cores=0-7
/proc/11022/task/11028/stat : 11028 (cosoco) R 11019 11022 8955 0 -1 4202560 1589 0 0 0 314 0 0 0 20 0 9 0 437288037 647680000 7124 33554432000 4194304 6211092 140720310362832 139801662995472 5250289 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11029] ppid=11019 vsize=632500 memory=6656426216303648864 CPUtime=3.14 cores=0-7
/proc/11022/task/11029/stat : 11029 (cosoco) R 11019 11022 8955 0 -1 4202560 2261 0 0 0 314 0 0 0 20 0 9 0 437288037 647680000 7124 33554432000 4194304 6211092 140720310362832 139801654602768 5250287 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11030] ppid=11019 vsize=632500 memory=6944656592387989600 CPUtime=3.14 cores=0-7
/proc/11022/task/11030/stat : 11030 (cosoco) R 11019 11022 8955 0 -1 4202560 1932 0 0 0 314 0 0 0 20 0 9 0 437288037 647680000 7124 33554432000 4194304 6211092 140720310362832 139801646210064 5250287 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
[pid=11022/tid=11031] ppid=11019 vsize=632500 memory=6944656575208382560 CPUtime=3.05 cores=0-7
/proc/11022/task/11031/stat : 11031 (cosoco) R 11019 11022 8955 0 -1 4202560 1675 0 0 0 305 0 0 0 20 0 9 0 437288037 647680000 7124 33554432000 4194304 6211092 140720310362832 139801637817016 5125587 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19542016 140720310371350 140720310371442 140720310371442 140720310374350 0
Current children cumulated CPU time: 25.16 s
Current children cumulated vsize: 632500 KiB
Current children cumulated memory: 28496 KiB

Child status: 0
Real time (s): 3.27844
CPU time (s): 25.7665
CPU user time (s): 25.7275
CPU system time (s): 0.038979
CPU usage (%): 785.939
Max. virtual memory (cumulated for all children) (KiB): 632500
Max. memory (cumulated for all children) (KiB): 28496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.7275
system time used= 0.038979
maximum resident set size= 28728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19526
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= 653
involuntary context switches= 260


# summary of solver processes directly reported to runsolver:
#   pid: 11022
#   total CPU time (s): 25.7665
#   total CPU user time (s): 25.7275
#   total CPU system time (s): 0.038979

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044507 second user time and 0.067485 second system time

The end

Launcher Data

Begin job on node151 at 2019-09-16 07:02:07
IDJOB=4398547
IDBENCH=138376
IDSOLVER=2852
FILE ID=node151/4398547-1568610166
RUNJOBID= node151-1568597291-8982
PBS_JOBID= 21703408
Free space on /tmp= 59308 MiB

SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff61.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398547-1568610166/watcher-4398547-1568610166 -o /tmp/evaluation-result-4398547-1568610166/solver-4398547-1568610166 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568597291-8982 --watchdog 312  cosoco -model -nbcores=8 HOME/instance-4398547-1568610166.xml

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

MD5SUM BENCH= 275e9239012ab7a817236ff89c8de286
RANDOM SEED=317701494

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31739992 kB
MemAvailable:   31846408 kB
Buffers:           42740 kB
Cached:           366148 kB
SwapCached:        69212 kB
Active:           199144 kB
Inactive:         282608 kB
Active(anon):       2604 kB
Inactive(anon):   113128 kB
Active(file):     196540 kB
Inactive(file):   169480 kB
Unevictable:      109592 kB
Mlocked:          109592 kB
SwapTotal:      67108860 kB
SwapFree:       66937652 kB
Dirty:              2528 kB
Writeback:           224 kB
AnonPages:        113160 kB
Mapped:            41740 kB
Shmem:             34632 kB
Slab:             141468 kB
SReclaimable:     112460 kB
SUnreclaim:        29008 kB
KernelStack:        3440 kB
PageTables:         5184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506176 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:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 59308 MiB
End job on node151 at 2019-09-16 07:02:10