Trace number 4409791

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.0 parallelOPT242 41.6829 5.26147

General information on the benchmark

NameFastfood/Fastfood-m1-s1/
Fastfood-ff59.xml
MD5SUM1df56f74b1b4f47dde22644efb181f33
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark242
Best CPU time to get the best result obtained on this benchmark14.6025
Satisfiable
(Un)Satisfiability was proved
Number of variables362
Number of constraints353
Number of domains27
Minimum domain size23
Maximum domain size26
Distribution of domain sizes[{"size":23,"count":11},{"size":25,"count":33},{"size":26,"count":318}]
Minimum variable degree2
Maximum variable degree33
Distribution of variable degrees[{"degree":2,"count":352},{"degree":33,"count":10}]
Minimum constraint arity2
Maximum constraint arity11
Distribution of constraint arities[{"arity":2,"count":320},{"arity":10,"count":1},{"arity":11,"count":32}]
Number of extensional constraints320
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":320},{"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.03	c
0.00/0.03	c This is cosoco 2.00 --  
0.00/0.03	c
0.00/0.03	c command line: cosoco -model -nbcores=8 HOME/instance-4409791-1569830721.xml 
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.03	0
0.00/0.04	c enable optimization
0.00/0.04	c ========================================[ Problem Statistics ]===========================================
0.00/0.04	c |                                                                                                       
0.00/0.04	c |  Parse time        :         0.03 s 
0.00/0.04	c |
0.00/0.04	c |               Variables: 362
0.00/0.04	c |            Domain Sizes: 23..26
0.00/0.04	c |
0.00/0.04	c |             Constraints: 362
0.00/0.04	c |                   Arity: 2..32  -- Binary: 329
0.00/0.04	c | 
0.00/0.04	c |                   Types: 
0.00/0.04	c |                          (X - Y < k): 9
0.00/0.04	c |                          Extension: 320  (nb tuples: 26..26) -- (shared: 2352)
0.00/0.04	c |                          Minimum Variable: 32
0.00/0.04	c |                          Sum: 1
0.00/0.04	c |                          
0.00/0.04	c |               Objective: Minimize Sum
0.00/0.04	
0.00/0.04	c =========================================================================================================
0.00/0.04	c Parallel mode: Portfolio
0.00/0.04	c [pFactory][Group N°0] created (threads:8).
0.00/0.04	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
0.00/0.04	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
0.00/0.04	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
0.00/0.04	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
0.00/0.04	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
0.00/0.04	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
0.00/0.04	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
0.00/0.04	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
0.00/0.04	c [pFactory][Group N°0] concurrent mode: enabled.
0.00/0.04	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
0.00/0.04	c [pFactory][Group N°0] task 7 launched on thread 0.
0.00/0.04	c [pFactory][Group N°0] task 6 launched on thread 1.
0.00/0.04	c [pFactory][Group N°0] task 5 launched on thread 2.
0.00/0.04	c [pFactory][Group N°0] task 4 launched on thread 6.
0.00/0.04	c [pFactory][Group N°0] task 3 launched on thread 4.
0.00/0.04	c [pFactory][Group N°0] task 2 launched on thread 3.
0.00/0.04	c [pFactory][Group N°0] task 1 launched on thread 5.
0.00/0.04	c [pFactory][Group N°0] task 0 launched on thread 7.
0.00/0.04	o 1960
0.00/0.06	o 862
0.00/0.06	o 493
0.60/0.12	o 491
0.60/0.14	o 458
0.60/0.15	o 457
0.60/0.17	o 452
0.60/0.19	o 443
1.46/0.24	o 438
1.46/0.26	o 416
1.46/0.29	o 411
2.24/0.37	o 406
2.24/0.41	o 391
3.03/0.44	o 385
3.03/0.50	o 380
3.82/0.56	o 378
4.55/0.62	o 370
4.55/0.64	o 367
5.28/0.72	o 362
5.28/0.75	o 361
5.28/0.76	o 357
5.28/0.78	o 339
6.08/0.81	o 333
6.08/0.88	o 328
6.88/0.96	o 327
6.88/0.99	o 299
7.74/1.02	o 290
7.74/1.06	o 282
8.60/1.16	o 281
10.87/1.42	o 277
10.87/1.46	o 274
11.66/1.52	o 271
13.26/1.70	o 267
14.06/1.83	o 265
16.52/2.12	o 264
16.52/2.19	o 249
17.25/2.26	o 248
18.05/2.32	o 245
18.85/2.46	o 242
41.21/5.25	c [pFactory][Group N°0] concurent mode: thread 3 has won with the task 2.
41.21/5.25	c [pFactory][Group N°0] Thread N°0 is joined.
41.21/5.25	c [pFactory][Group N°0] Thread N°1 is joined.
41.21/5.25	c [pFactory][Group N°0] Thread N°2 is joined.
41.21/5.25	c [pFactory][Group N°0] Thread N°3 is joined.
41.21/5.25	c [pFactory][Group N°0] Thread N°4 is joined.
41.21/5.25	c [pFactory][Group N°0] Thread N°5 is joined.
41.21/5.25	c [pFactory][Group N°0] Thread N°6 is joined.
41.21/5.25	c [pFactory][Group N°0] Thread N°7 is joined.
41.21/5.25	c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°3)
41.21/5.25	s OPTIMUM FOUND
41.21/5.25	c call to solver        : 12
41.21/5.25	c
41.21/5.25	c restarts              : 1546        
41.21/5.25	c conflicts             : 8124         (195 /sec)
41.21/5.25	c decisions             : 128591       (3088 /sec)
41.21/5.25	c propagations          : 8320336     (199807 /sec)
41.21/5.25	c root propagations     : 3227        
41.21/5.25	c filter calls          : 3643142        (87487 /sec)
41.21/5.25	c useless filter calls  : 1483663        (40 %)
41.21/5.25	c Memory used           : 582.60 MB
41.21/5.25	c Best bound time (wc)  : 2.46405 s
41.21/5.25	c CPU time              : 41.6419 s
41.21/5.25	c real time             : 5.25524 s
41.21/5.25	
41.21/5.25	
41.21/5.25	v <instantiation type='solution' cost='242'>
41.21/5.25	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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list>
41.21/5.25	v <values>15 0 0 2 50 16 0 0 9 5 0 12 0 0 0 29 0 0 0 0 0 13 0 2 0 0 8 14 22 4 38 3 112 75 42 15 72 330 375 409 469 524 70 33 0 27 114 372 417 451 511 566 0 37 70 97 184 442 487 521 581 636 2 39 72 99 186 444 489 523 583 638 686 649 616 589 502 244 199 165 105 50 16 21 54 81 168 426 471 505 565 620 487 450 417 390 303 45 0 34 94 149 487 450 417 390 303 45 0 34 94 149 79 42 9 18 105 363 408 442 502 557 42 5 28 55 142 400 445 479 539 594 636 599 566 539 452 194 149 115 55 0 25 12 45 72 159 417 462 496 556 611 636 599 566 539 452 194 149 115 55 0 442 405 372 345 258 0 45 79 139 194 442 405 372 345 258 0 45 79 139 194 213 176 143 116 29 229 274 308 368 423 37 0 33 60 147 405 450 484 544 599 37 0 33 60 147 405 450 484 544 599 581 544 511 484 397 139 94 60 0 55 581 544 511 484 397 139 94 60 0 55 184 147 114 87 0 258 303 337 397 452 13 50 83 110 197 455 500 534 594 649 97 60 27 0 87 345 390 424 484 539 523 486 453 426 339 81 36 2 58 113 521 484 451 424 337 79 34 0 60 115 97 60 27 0 87 345 390 424 484 539 62 25 8 35 122 380 425 459 519 574 56 19 14 41 128 386 431 465 525 580 162 125 92 65 22 280 325 359 419 474 33 4 37 64 151 409 454 488 548 603 135 98 65 38 49 307 352 386 446 501 73 36 3 24 111 369 414 448 508 563 25 62 95 122 209 467 512 546 606 661 </values>
41.21/5.25	v </instantiation>
41.21/5.25	

Verifier Data

OK	242

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409791-1569830721/watcher-4409791-1569830721 -o /tmp/evaluation-result-4409791-1569830721/solver-4409791-1569830721 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node147-1569818085-14128 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409791-1569830721.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
solver pid=17013, runsolver pid=17010
Current StackSize limit: 8192 KiB


[startup+0.101205 s]*
/proc/loadavg: 8.00 8.03 8.05 10/201 17022
/proc/meminfo: memFree=31372200/32770624 swapFree=66936012/67108860
[pid=17013] ppid=17010 vsize=629360 memory=20612 CPUtime=0.6 cores=0-7
/proc/17013/stat : 17013 (cosoco) S 17010 17013 14101 0 -1 1077944320 6017 0 0 0 59 1 0 0 20 0 9 0 558985859 644464640 5153 33554432000 4194304 6211132 140725809010256 140725809008512 140090145890039 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
/proc/17013/statm: 157340 5153 892 493 0 150645 0
[pid=17013/tid=17015] ppid=17010 vsize=629360 memory=4134692831991786133 CPUtime=0.07 cores=0-7
/proc/17013/task/17015/stat : 17015 (cosoco) R 17010 17013 14101 0 -1 4202560 258 0 0 0 7 0 0 0 20 0 9 0 558985863 644464640 5153 33554432000 4194304 6211132 140725809010256 140090122746392 5301652 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17016] ppid=17010 vsize=629360 memory=4872558044660077418 CPUtime=0.07 cores=0-7
/proc/17013/task/17016/stat : 17016 (cosoco) R 17010 17013 14101 0 -1 4202560 193 0 0 0 7 0 0 0 20 0 9 0 558985863 644464640 5153 33554432000 4194304 6211132 140725809010256 140090114354176 5126608 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17017] ppid=17010 vsize=629360 memory=140433401198208 CPUtime=0.07 cores=0-7
/proc/17013/task/17017/stat : 17017 (cosoco) R 17010 17013 14101 0 -1 4202560 196 0 0 0 7 0 0 0 20 0 9 0 558985863 644464640 5153 33554432000 4194304 6211132 140725809010256 140090105961800 5250321 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17018] ppid=17010 vsize=629360 memory=0 CPUtime=0.07 cores=0-7
/proc/17013/task/17018/stat : 17018 (cosoco) R 17010 17013 14101 0 -1 4202560 245 0 0 0 7 0 0 0 20 0 9 0 558985863 644464640 5153 33554432000 4194304 6211132 140725809010256 140090097568360 5393095 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17019] ppid=17010 vsize=629360 memory=0 CPUtime=0.07 cores=0-7
/proc/17013/task/17019/stat : 17019 (cosoco) R 17010 17013 14101 0 -1 4202560 234 0 0 0 7 0 0 0 20 0 9 0 558985863 644464640 5153 33554432000 4194304 6211132 140725809010256 140090089175736 5393104 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17020] ppid=17010 vsize=629360 memory=0 CPUtime=0.07 cores=0-7
/proc/17013/task/17020/stat : 17020 (cosoco) R 17010 17013 14101 0 -1 4202560 208 0 0 0 7 0 0 0 20 0 9 0 558985863 644464640 5153 33554432000 4194304 6211132 140725809010256 140090080782952 5250304 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17021] ppid=17010 vsize=629360 memory=-1 CPUtime=0.06 cores=0-7
/proc/17013/task/17021/stat : 17021 (cosoco) R 17010 17013 14101 0 -1 4202560 219 0 0 0 6 0 0 0 20 0 9 0 558985863 644464640 5153 33554432000 4194304 6211132 140725809010256 140090072390168 5127160 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17022] ppid=17010 vsize=629360 memory=0 CPUtime=0.06 cores=0-7
/proc/17013/task/17022/stat : 17022 (cosoco) R 17010 17013 14101 0 -1 4202560 233 0 0 0 6 0 0 0 20 0 9 0 558985863 644464640 5153 33554432000 4194304 6211132 140725809010256 140090063998080 5125829 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 629360 KiB
Current children cumulated memory: 20612 KiB

[startup+0.210205 s]*
/proc/loadavg: 8.00 8.03 8.05 9/201 17022
/proc/meminfo: memFree=31372348/32770624 swapFree=66936012/67108860
[pid=17013] ppid=17010 vsize=629360 memory=21392 CPUtime=1.46 cores=0-7
/proc/17013/stat : 17013 (cosoco) S 17010 17013 14101 0 -1 1077944320 6165 0 0 0 145 1 0 0 20 0 9 0 558985859 644464640 5348 33554432000 4194304 6211132 140725809010256 140725809008512 140090145890039 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
/proc/17013/statm: 157340 5348 892 493 0 150645 0
[pid=17013/tid=17015] ppid=17010 vsize=629360 memory=8316850467074736180 CPUtime=0.18 cores=0-7
/proc/17013/task/17015/stat : 17015 (cosoco) R 17010 17013 14101 0 -1 4202560 274 0 0 0 18 0 0 0 20 0 9 0 558985863 644464640 5348 33554432000 4194304 6211132 140725809010256 140090122746912 5250304 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17016] ppid=17010 vsize=629360 memory=9280 CPUtime=0.18 cores=0-7
/proc/17013/task/17016/stat : 17016 (cosoco) R 17010 17013 14101 0 -1 4202560 212 0 0 0 18 0 0 0 20 0 9 0 558985863 644464640 5348 33554432000 4194304 6211132 140725809010256 140090114354176 5250307 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17017] ppid=17010 vsize=629360 memory=140433401214200 CPUtime=0.18 cores=0-7
/proc/17013/task/17017/stat : 17017 (cosoco) R 17010 17013 14101 0 -1 4202560 223 0 0 0 18 0 0 0 20 0 9 0 558985863 644464640 5348 33554432000 4194304 6211132 140725809010256 140090105961504 5397407 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17018] ppid=17010 vsize=629360 memory=-1 CPUtime=0.17 cores=0-7
/proc/17013/task/17018/stat : 17018 (cosoco) R 17010 17013 14101 0 -1 4202560 262 0 0 0 17 0 0 0 20 0 9 0 558985863 644464640 5348 33554432000 4194304 6211132 140725809010256 140090097568440 5250304 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17019] ppid=17010 vsize=629360 memory=0 CPUtime=0.18 cores=0-7
/proc/17013/task/17019/stat : 17019 (cosoco) R 17010 17013 14101 0 -1 4202560 238 0 0 0 18 0 0 0 20 0 9 0 558985863 644464640 5348 33554432000 4194304 6211132 140725809010256 140090089175736 5397407 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17020] ppid=17010 vsize=629360 memory=0 CPUtime=0.17 cores=0-7
/proc/17013/task/17020/stat : 17020 (cosoco) R 17010 17013 14101 0 -1 4202560 238 0 0 0 17 0 0 0 20 0 9 0 558985863 644464640 5348 33554432000 4194304 6211132 140725809010256 140090080783392 5017688 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17021] ppid=17010 vsize=629360 memory=-1 CPUtime=0.15 cores=0-7
/proc/17013/task/17021/stat : 17021 (cosoco) R 17010 17013 14101 0 -1 4202560 244 0 0 0 15 0 0 0 20 0 9 0 558985863 644464640 5348 33554432000 4194304 6211132 140725809010256 140090072390928 5250316 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17022] ppid=17010 vsize=629360 memory=0 CPUtime=0.17 cores=0-7
/proc/17013/task/17022/stat : 17022 (cosoco) R 17010 17013 14101 0 -1 4202560 241 0 0 0 17 0 0 0 20 0 9 0 558985863 644464640 5348 33554432000 4194304 6211132 140725809010256 140090063997544 5409485 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 629360 KiB
Current children cumulated memory: 21392 KiB

[startup+0.310205 s]*
/proc/loadavg: 8.00 8.03 8.05 9/201 17022
/proc/meminfo: memFree=31371984/32770624 swapFree=66936012/67108860
[pid=17013] ppid=17010 vsize=629360 memory=21392 CPUtime=2.24 cores=0-7
/proc/17013/stat : 17013 (cosoco) S 17010 17013 14101 0 -1 1077944320 6206 0 0 0 223 1 0 0 20 0 9 0 558985859 644464640 5348 33554432000 4194304 6211132 140725809010256 140725809008512 140090145890039 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
/proc/17013/statm: 157340 5348 892 493 0 150645 0
[pid=17013/tid=17015] ppid=17010 vsize=629360 memory=6935054825532540783 CPUtime=0.28 cores=0-7
/proc/17013/task/17015/stat : 17015 (cosoco) R 17010 17013 14101 0 -1 4202560 274 0 0 0 28 0 0 0 20 0 9 0 558985863 644464640 5348 33554432000 4194304 6211132 140725809010256 140090122746912 5017472 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17016] ppid=17010 vsize=629360 memory=4872558044660077418 CPUtime=0.28 cores=0-7
/proc/17013/task/17016/stat : 17016 (cosoco) R 17010 17013 14101 0 -1 4202560 231 0 0 0 28 0 0 0 20 0 9 0 558985863 644464640 5348 33554432000 4194304 6211132 140725809010256 140090114354176 5250304 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17017] ppid=17010 vsize=629360 memory=0 CPUtime=0.28 cores=0-7
/proc/17013/task/17017/stat : 17017 (cosoco) R 17010 17013 14101 0 -1 4202560 238 0 0 0 28 0 0 0 20 0 9 0 558985863 644464640 5348 33554432000 4194304 6211132 140725809010256 140090105961504 5250319 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17018] ppid=17010 vsize=629360 memory=0 CPUtime=0.27 cores=0-7
/proc/17013/task/17018/stat : 17018 (cosoco) R 17010 17013 14101 0 -1 4202560 262 0 0 0 27 0 0 0 20 0 9 0 558985863 644464640 5348 33554432000 4194304 6211132 140725809010256 140090097568440 5397318 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17019] ppid=17010 vsize=629360 memory=6656426216303648864 CPUtime=0.28 cores=0-7
/proc/17013/task/17019/stat : 17019 (cosoco) R 17010 17013 14101 0 -1 4202560 239 0 0 0 28 0 0 0 20 0 9 0 558985863 644464640 5348 33554432000 4194304 6211132 140725809010256 140090089175736 5250321 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17020] ppid=17010 vsize=629360 memory=0 CPUtime=0.27 cores=0-7
/proc/17013/task/17020/stat : 17020 (cosoco) R 17010 17013 14101 0 -1 4202560 238 0 0 0 27 0 0 0 20 0 9 0 558985863 644464640 5348 33554432000 4194304 6211132 140725809010256 140090080783032 5250321 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17021] ppid=17010 vsize=629360 memory=0 CPUtime=0.24 cores=0-7
/proc/17013/task/17021/stat : 17021 (cosoco) R 17010 17013 14101 0 -1 4202560 250 0 0 0 24 0 0 0 20 0 9 0 558985863 644464640 5348 33554432000 4194304 6211132 140725809010256 140090072390928 5250304 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17022] ppid=17010 vsize=629360 memory=0 CPUtime=0.27 cores=0-7
/proc/17013/task/17022/stat : 17022 (cosoco) R 17010 17013 14101 0 -1 4202560 241 0 0 0 27 0 0 0 20 0 9 0 558985863 644464640 5348 33554432000 4194304 6211132 140725809010256 140090063997544 5409471 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
Current children cumulated CPU time: 2.24 s
Current children cumulated vsize: 629360 KiB
Current children cumulated memory: 21392 KiB

[startup+0.7012 s]
/proc/loadavg: 8.00 8.03 8.05 9/201 17022
/proc/meminfo: memFree=31371984/32770624 swapFree=66936012/67108860
[pid=17013] ppid=17010 vsize=629360 memory=21652 CPUtime=5.28 cores=0-7
/proc/17013/stat : 17013 (cosoco) S 17010 17013 14101 0 -1 1077944320 6219 0 0 0 527 1 0 0 20 0 9 0 558985859 644464640 5413 33554432000 4194304 6211132 140725809010256 140725809008512 140090145890039 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
/proc/17013/statm: 157340 5413 892 493 0 150645 0
[pid=17013/tid=17015] ppid=17010 vsize=629360 memory=2520 CPUtime=0.66 cores=0-7
/proc/17013/task/17015/stat : 17015 (cosoco) R 17010 17013 14101 0 -1 4202560 274 0 0 0 66 0 0 0 20 0 9 0 558985863 644464640 5413 33554432000 4194304 6211132 140725809010256 140090122747008 5397414 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17016] ppid=17010 vsize=629360 memory=1760 CPUtime=0.66 cores=0-7
/proc/17013/task/17016/stat : 17016 (cosoco) R 17010 17013 14101 0 -1 4202560 232 0 0 0 66 0 0 0 20 0 9 0 558985863 644464640 5413 33554432000 4194304 6211132 140725809010256 140090114354176 5193786 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17017] ppid=17010 vsize=629360 memory=1772 CPUtime=0.66 cores=0-7
/proc/17013/task/17017/stat : 17017 (cosoco) R 17010 17013 14101 0 -1 4202560 241 0 0 0 66 0 0 0 20 0 9 0 558985863 644464640 5413 33554432000 4194304 6211132 140725809010256 140090105961504 5390116 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17018] ppid=17010 vsize=629360 memory=111632 CPUtime=0.66 cores=0-7
/proc/17013/task/17018/stat : 17018 (cosoco) R 17010 17013 14101 0 -1 4202560 262 0 0 0 66 0 0 0 20 0 9 0 558985863 644464640 5413 33554432000 4194304 6211132 140725809010256 140090097568440 5126964 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17019] ppid=17010 vsize=629360 memory=796 CPUtime=0.66 cores=0-7
/proc/17013/task/17019/stat : 17019 (cosoco) R 17010 17013 14101 0 -1 4202560 244 0 0 0 66 0 0 0 20 0 9 0 558985863 644464640 5413 33554432000 4194304 6211132 140725809010256 140090089175736 5250304 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17020] ppid=17010 vsize=629360 memory=-7175204567652784766 CPUtime=0.66 cores=0-7
/proc/17013/task/17020/stat : 17020 (cosoco) R 17010 17013 14101 0 -1 4202560 239 0 0 0 66 0 0 0 20 0 9 0 558985863 644464640 5413 33554432000 4194304 6211132 140725809010256 140090080783032 5396436 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17021] ppid=17010 vsize=629360 memory=7100839861465685612 CPUtime=0.61 cores=0-7
/proc/17013/task/17021/stat : 17021 (cosoco) R 17010 17013 14101 0 -1 4202560 253 0 0 0 61 0 0 0 20 0 9 0 558985863 644464640 5413 33554432000 4194304 6211132 140725809010256 140090072390328 5193776 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17022] ppid=17010 vsize=629360 memory=3054156605268465310 CPUtime=0.66 cores=0-7
/proc/17013/task/17022/stat : 17022 (cosoco) R 17010 17013 14101 0 -1 4202560 241 0 0 0 66 0 0 0 20 0 9 0 558985863 644464640 5413 33554432000 4194304 6211132 140725809010256 140090063997544 5250304 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
Current children cumulated CPU time: 5.28 s
Current children cumulated vsize: 629360 KiB
Current children cumulated memory: 21652 KiB

[startup+1.5012 s]
/proc/loadavg: 8.00 8.03 8.05 9/201 17022
/proc/meminfo: memFree=31371984/32770624 swapFree=66936012/67108860
[pid=17013] ppid=17010 vsize=629360 memory=22552 CPUtime=11.66 cores=0-7
/proc/17013/stat : 17013 (cosoco) S 17010 17013 14101 0 -1 1077944320 10814 0 0 0 1164 2 0 0 20 0 9 0 558985859 644464640 5638 33554432000 4194304 6211132 140725809010256 140725809008512 140090145890039 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
/proc/17013/statm: 157340 5638 892 493 0 150645 0
[pid=17013/tid=17015] ppid=17010 vsize=629360 memory=6005664918033425767 CPUtime=1.45 cores=0-7
/proc/17013/task/17015/stat : 17015 (cosoco) R 17010 17013 14101 0 -1 4202560 641 0 0 0 145 0 0 0 20 0 9 0 558985863 644464640 5638 33554432000 4194304 6211132 140725809010256 140090122747152 5390073 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17016] ppid=17010 vsize=629360 memory=6005664918033425767 CPUtime=1.46 cores=0-7
/proc/17013/task/17016/stat : 17016 (cosoco) R 17010 17013 14101 0 -1 4202560 1086 0 0 0 146 0 0 0 20 0 9 0 558985863 644464640 5638 33554432000 4194304 6211132 140725809010256 140090114354448 5193786 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17017] ppid=17010 vsize=629360 memory=6005664918033425767 CPUtime=1.46 cores=0-7
/proc/17013/task/17017/stat : 17017 (cosoco) R 17010 17013 14101 0 -1 4202560 617 0 0 0 146 0 0 0 20 0 9 0 558985863 644464640 5638 33554432000 4194304 6211132 140725809010256 140090105961744 5250256 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17018] ppid=17010 vsize=629360 memory=0 CPUtime=1.46 cores=0-7
/proc/17013/task/17018/stat : 17018 (cosoco) R 17010 17013 14101 0 -1 4202560 1030 0 0 0 146 0 0 0 20 0 9 0 558985863 644464640 5638 33554432000 4194304 6211132 140725809010256 140090097568440 5392301 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17019] ppid=17010 vsize=629360 memory=8316868033356759116 CPUtime=1.46 cores=0-7
/proc/17013/task/17019/stat : 17019 (cosoco) R 17010 17013 14101 0 -1 4202560 630 0 0 0 146 0 0 0 20 0 9 0 558985863 644464640 5638 33554432000 4194304 6211132 140725809010256 140090089175656 5158069 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17020] ppid=17010 vsize=629360 memory=17975 CPUtime=1.46 cores=0-7
/proc/17013/task/17020/stat : 17020 (cosoco) R 17010 17013 14101 0 -1 4202560 903 0 0 0 146 0 0 0 20 0 9 0 558985863 644464640 5638 33554432000 4194304 6211132 140725809010256 140090080783032 5186301 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17021] ppid=17010 vsize=629360 memory=3977585787943543128 CPUtime=1.39 cores=0-7
/proc/17013/task/17021/stat : 17021 (cosoco) R 17010 17013 14101 0 -1 4202560 721 0 0 0 139 0 0 0 20 0 9 0 558985863 644464640 5638 33554432000 4194304 6211132 140725809010256 140090072390328 5250321 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17022] ppid=17010 vsize=629360 memory=0 CPUtime=1.45 cores=0-7
/proc/17013/task/17022/stat : 17022 (cosoco) R 17010 17013 14101 0 -1 4202560 953 0 0 0 145 0 0 0 20 0 9 0 558985863 644464640 5638 33554432000 4194304 6211132 140725809010256 140090063997544 5017466 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
Current children cumulated CPU time: 11.66 s
Current children cumulated vsize: 629360 KiB
Current children cumulated memory: 22552 KiB

[startup+3.1102 s]
/proc/loadavg: 8.00 8.03 8.05 9/201 17022
/proc/meminfo: memFree=31371016/32770624 swapFree=66936012/67108860
[pid=17013] ppid=17010 vsize=629360 memory=22700 CPUtime=24.51 cores=0-7
/proc/17013/stat : 17013 (cosoco) S 17010 17013 14101 0 -1 1077944320 15218 0 0 0 2449 2 0 0 20 0 9 0 558985859 644464640 5675 33554432000 4194304 6211132 140725809010256 140725809008512 140090145890039 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
/proc/17013/statm: 157340 5675 892 493 0 150645 0
[pid=17013/tid=17015] ppid=17010 vsize=629360 memory=0 CPUtime=3.06 cores=0-7
/proc/17013/task/17015/stat : 17015 (cosoco) R 17010 17013 14101 0 -1 4202560 1035 0 0 0 306 0 0 0 20 0 9 0 558985863 644464640 5675 33554432000 4194304 6211132 140725809010256 140090122746880 5250321 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17016] ppid=17010 vsize=629360 memory=22568 CPUtime=3.06 cores=0-7
/proc/17013/task/17016/stat : 17016 (cosoco) R 17010 17013 14101 0 -1 4202560 1609 0 0 0 306 0 0 0 20 0 9 0 558985863 644464640 5675 33554432000 4194304 6211132 140725809010256 140090114353848 5125825 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17017] ppid=17010 vsize=629360 memory=6935054825532540783 CPUtime=3.07 cores=0-7
/proc/17013/task/17017/stat : 17017 (cosoco) R 17010 17013 14101 0 -1 4202560 1221 0 0 0 307 0 0 0 20 0 9 0 558985863 644464640 5675 33554432000 4194304 6211132 140725809010256 140090105961744 5126592 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17018] ppid=17010 vsize=629360 memory=8088577430502138195 CPUtime=3.06 cores=0-7
/proc/17013/task/17018/stat : 17018 (cosoco) R 17010 17013 14101 0 -1 4202560 1524 0 0 0 306 0 0 0 20 0 9 0 558985863 644464640 5675 33554432000 4194304 6211132 140725809010256 140090097568440 5017263 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17019] ppid=17010 vsize=629360 memory=7885333904186955121 CPUtime=3.06 cores=0-7
/proc/17013/task/17019/stat : 17019 (cosoco) R 17010 17013 14101 0 -1 4202560 1330 0 0 0 306 0 0 0 20 0 9 0 558985863 644464640 5675 33554432000 4194304 6211132 140725809010256 140090089176080 5250319 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17020] ppid=17010 vsize=629360 memory=-8989086310024698737 CPUtime=3.06 cores=0-7
/proc/17013/task/17020/stat : 17020 (cosoco) R 17010 17013 14101 0 -1 4202560 1503 0 0 0 306 0 0 0 20 0 9 0 558985863 644464640 5675 33554432000 4194304 6211132 140725809010256 140090080783376 140090129858460 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17021] ppid=17010 vsize=629360 memory=18 CPUtime=2.97 cores=0-7
/proc/17013/task/17021/stat : 17021 (cosoco) R 17010 17013 14101 0 -1 4202560 1209 0 0 0 297 0 0 0 20 0 9 0 558985863 644464640 5675 33554432000 4194304 6211132 140725809010256 140090072390328 5250304 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17022] ppid=17010 vsize=629360 memory=6935054825532540783 CPUtime=3.06 cores=0-7
/proc/17013/task/17022/stat : 17022 (cosoco) R 17010 17013 14101 0 -1 4202560 1555 0 0 0 306 0 0 0 20 0 9 0 558985863 644464640 5675 33554432000 4194304 6211132 140725809010256 140090063997952 5017472 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
Current children cumulated CPU time: 24.51 s
Current children cumulated vsize: 629360 KiB
Current children cumulated memory: 22700 KiB

[startup+5.26143 s]
# the end of solver process 17013 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=41.6419 s, system=0.040977 s

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

[startup+3.2012 s]
/proc/loadavg: 8.00 8.03 8.05 9/201 17022
/proc/meminfo: memFree=31371016/32770624 swapFree=66936012/67108860
[pid=17013] ppid=17010 vsize=629360 memory=22744 CPUtime=25.23 cores=0-7
/proc/17013/stat : 17013 (cosoco) S 17010 17013 14101 0 -1 1077944320 15363 0 0 0 2521 2 0 0 20 0 9 0 558985859 644464640 5686 33554432000 4194304 6211132 140725809010256 140725809008512 140090145890039 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
/proc/17013/statm: 157340 5686 892 493 0 150645 0
[pid=17013/tid=17015] ppid=17010 vsize=629360 memory=140433283893105 CPUtime=3.15 cores=0-7
/proc/17013/task/17015/stat : 17015 (cosoco) R 17010 17013 14101 0 -1 4202560 1082 0 0 0 315 0 0 0 20 0 9 0 558985863 644464640 5686 33554432000 4194304 6211132 140725809010256 140090122746880 5126767 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17016] ppid=17010 vsize=629360 memory=0 CPUtime=3.16 cores=0-7
/proc/17013/task/17016/stat : 17016 (cosoco) R 17010 17013 14101 0 -1 4202560 1620 0 0 0 316 0 0 0 20 0 9 0 558985863 644464640 5686 33554432000 4194304 6211132 140725809010256 140090114353848 5250319 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17017] ppid=17010 vsize=629360 memory=0 CPUtime=3.16 cores=0-7
/proc/17013/task/17017/stat : 17017 (cosoco) R 17010 17013 14101 0 -1 4202560 1251 0 0 0 316 0 0 0 20 0 9 0 558985863 644464640 5686 33554432000 4194304 6211132 140725809010256 140090105961744 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17018] ppid=17010 vsize=629360 memory=0 CPUtime=3.15 cores=0-7
/proc/17013/task/17018/stat : 17018 (cosoco) R 17010 17013 14101 0 -1 4202560 1577 0 0 0 315 0 0 0 20 0 9 0 558985863 644464640 5686 33554432000 4194304 6211132 140725809010256 140090097568440 5250319 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17019] ppid=17010 vsize=629360 memory=22552 CPUtime=3.16 cores=0-7
/proc/17013/task/17019/stat : 17019 (cosoco) R 17010 17013 14101 0 -1 4202560 1330 0 0 0 316 0 0 0 20 0 9 0 558985863 644464640 5686 33554432000 4194304 6211132 140725809010256 140090089176080 5393095 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17020] ppid=17010 vsize=629360 memory=1716 CPUtime=3.15 cores=0-7
/proc/17013/task/17020/stat : 17020 (cosoco) R 17010 17013 14101 0 -1 4202560 1506 0 0 0 315 0 0 0 20 0 9 0 558985863 644464640 5686 33554432000 4194304 6211132 140725809010256 140090080783376 5250304 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17021] ppid=17010 vsize=629360 memory=6284 CPUtime=3.06 cores=0-7
/proc/17013/task/17021/stat : 17021 (cosoco) R 17010 17013 14101 0 -1 4202560 1209 0 0 0 306 0 0 0 20 0 9 0 558985863 644464640 5686 33554432000 4194304 6211132 140725809010256 140090072390328 5409476 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17022] ppid=17010 vsize=629360 memory=6935054825532540783 CPUtime=3.15 cores=0-7
/proc/17013/task/17022/stat : 17022 (cosoco) R 17010 17013 14101 0 -1 4202560 1555 0 0 0 315 0 0 0 20 0 9 0 558985863 644464640 5686 33554432000 4194304 6211132 140725809010256 140090063997624 5250319 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
Current children cumulated CPU time: 25.23 s
Current children cumulated vsize: 629360 KiB
Current children cumulated memory: 22744 KiB

[startup+4.0012 s]*
/proc/loadavg: 8.00 8.03 8.05 9/201 17022
/proc/meminfo: memFree=31371300/32770624 swapFree=66936012/67108860
[pid=17013] ppid=17010 vsize=629360 memory=22772 CPUtime=31.69 cores=0-7
/proc/17013/stat : 17013 (cosoco) S 17010 17013 14101 0 -1 1077944320 15433 0 0 0 3167 2 0 0 20 0 9 0 558985859 644464640 5693 33554432000 4194304 6211132 140725809010256 140725809008512 140090145890039 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
/proc/17013/statm: 157340 5693 892 493 0 150645 0
[pid=17013/tid=17015] ppid=17010 vsize=629360 memory=6935054825532540783 CPUtime=3.96 cores=0-7
/proc/17013/task/17015/stat : 17015 (cosoco) R 17010 17013 14101 0 -1 4202560 1082 0 0 0 396 0 0 0 20 0 9 0 558985863 644464640 5693 33554432000 4194304 6211132 140725809010256 140090122746552 5250319 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17016] ppid=17010 vsize=629360 memory=4872558142750484543 CPUtime=3.96 cores=0-7
/proc/17013/task/17016/stat : 17016 (cosoco) R 17010 17013 14101 0 -1 4202560 1625 0 0 0 396 0 0 0 20 0 9 0 558985863 644464640 5693 33554432000 4194304 6211132 140725809010256 140090114353848 5250325 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17017] ppid=17010 vsize=629360 memory=8391306878300363767 CPUtime=3.97 cores=0-7
/proc/17013/task/17017/stat : 17017 (cosoco) R 17010 17013 14101 0 -1 4202560 1265 0 0 0 397 0 0 0 20 0 9 0 558985863 644464640 5693 33554432000 4194304 6211132 140725809010256 140090105961744 5389878 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17018] ppid=17010 vsize=629360 memory=280866567753680 CPUtime=3.96 cores=0-7
/proc/17013/task/17018/stat : 17018 (cosoco) R 17010 17013 14101 0 -1 4202560 1577 0 0 0 396 0 0 0 20 0 9 0 558985863 644464640 5693 33554432000 4194304 6211132 140725809010256 140090097568440 5250319 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17019] ppid=17010 vsize=629360 memory=197 CPUtime=3.96 cores=0-7
/proc/17013/task/17019/stat : 17019 (cosoco) R 17010 17013 14101 0 -1 4202560 1336 0 0 0 396 0 0 0 20 0 9 0 558985863 644464640 5693 33554432000 4194304 6211132 140725809010256 140090089176080 5396436 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17020] ppid=17010 vsize=629360 memory=-8989086310024698737 CPUtime=3.96 cores=0-7
/proc/17013/task/17020/stat : 17020 (cosoco) R 17010 17013 14101 0 -1 4202560 1508 0 0 0 396 0 0 0 20 0 9 0 558985863 644464640 5693 33554432000 4194304 6211132 140725809010256 140090080783376 5250319 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17021] ppid=17010 vsize=629360 memory=2320257848064882999 CPUtime=3.86 cores=0-7
/proc/17013/task/17021/stat : 17021 (cosoco) R 17010 17013 14101 0 -1 4202560 1252 0 0 0 386 0 0 0 20 0 9 0 558985863 644464640 5693 33554432000 4194304 6211132 140725809010256 140090072390328 5250319 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17022] ppid=17010 vsize=629360 memory=6947172292104312428 CPUtime=3.96 cores=0-7
/proc/17013/task/17022/stat : 17022 (cosoco) R 17010 17013 14101 0 -1 4202560 1555 0 0 0 396 0 0 0 20 0 9 0 558985863 644464640 5693 33554432000 4194304 6211132 140725809010256 140090063997624 5156264 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
Current children cumulated CPU time: 31.69 s
Current children cumulated vsize: 629360 KiB
Current children cumulated memory: 22772 KiB

[startup+4.8012 s]
/proc/loadavg: 8.00 8.03 8.05 9/201 17022
/proc/meminfo: memFree=31371300/32770624 swapFree=66936012/67108860
[pid=17013] ppid=17010 vsize=629360 memory=22816 CPUtime=38.02 cores=0-7
/proc/17013/stat : 17013 (cosoco) S 17010 17013 14101 0 -1 1077944320 19880 0 0 0 3799 3 0 0 20 0 9 0 558985859 644464640 5704 33554432000 4194304 6211132 140725809010256 140725809008512 140090145890039 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
/proc/17013/statm: 157340 5704 892 493 0 150645 0
[pid=17013/tid=17015] ppid=17010 vsize=629360 memory=988 CPUtime=4.75 cores=0-7
/proc/17013/task/17015/stat : 17015 (cosoco) R 17010 17013 14101 0 -1 4202560 1595 0 0 0 475 0 0 0 20 0 9 0 558985863 644464640 5704 33554432000 4194304 6211132 140725809010256 140090122746552 5250497 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17016] ppid=17010 vsize=629360 memory=6935054825532540783 CPUtime=4.75 cores=0-7
/proc/17013/task/17016/stat : 17016 (cosoco) R 17010 17013 14101 0 -1 4202560 2192 0 0 0 475 0 0 0 20 0 9 0 558985863 644464640 5704 33554432000 4194304 6211132 140725809010256 140090114353848 5250304 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17017] ppid=17010 vsize=629360 memory=590024521554097001 CPUtime=4.76 cores=0-7
/proc/17013/task/17017/stat : 17017 (cosoco) R 17010 17013 14101 0 -1 4202560 1670 0 0 0 476 0 0 0 20 0 9 0 558985863 644464640 5704 33554432000 4194304 6211132 140725809010256 140090105961144 5125542 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17018] ppid=17010 vsize=629360 memory=288291094943507234 CPUtime=4.75 cores=0-7
/proc/17013/task/17018/stat : 17018 (cosoco) R 17010 17013 14101 0 -1 4202560 2173 0 0 0 475 0 0 0 20 0 9 0 558985863 644464640 5704 33554432000 4194304 6211132 140725809010256 140090097568440 5250319 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17019] ppid=17010 vsize=629360 memory=301794158563058062 CPUtime=4.75 cores=0-7
/proc/17013/task/17019/stat : 17019 (cosoco) R 17010 17013 14101 0 -1 4202560 1760 0 0 0 475 0 0 0 20 0 9 0 558985863 644464640 5704 33554432000 4194304 6211132 140725809010256 140090089175736 5250319 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17020] ppid=17010 vsize=629360 memory=6944652177228980320 CPUtime=4.75 cores=0-7
/proc/17013/task/17020/stat : 17020 (cosoco) R 17010 17013 14101 0 -1 4202560 2138 0 0 0 475 0 0 0 20 0 9 0 558985863 644464640 5704 33554432000 4194304 6211132 140725809010256 140090080783376 5250307 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17021] ppid=17010 vsize=629360 memory=235 CPUtime=4.65 cores=0-7
/proc/17013/task/17021/stat : 17021 (cosoco) R 17010 17013 14101 0 -1 4202560 1967 0 0 0 465 0 0 0 20 0 9 0 558985863 644464640 5704 33554432000 4194304 6211132 140725809010256 140090072390328 5126195 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17022] ppid=17010 vsize=629360 memory=235 CPUtime=4.75 cores=0-7
/proc/17013/task/17022/stat : 17022 (cosoco) R 17010 17013 14101 0 -1 4202560 2152 0 0 0 475 0 0 0 20 0 9 0 558985863 644464640 5704 33554432000 4194304 6211132 140725809010256 140090063997624 5250490 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
Current children cumulated CPU time: 38.02 s
Current children cumulated vsize: 629360 KiB
Current children cumulated memory: 22816 KiB

[startup+5.2012 s]
/proc/loadavg: 8.00 8.03 8.05 9/201 17022
/proc/meminfo: memFree=31371024/32770624 swapFree=66936012/67108860
[pid=17013] ppid=17010 vsize=629360 memory=22852 CPUtime=41.21 cores=0-7
/proc/17013/stat : 17013 (cosoco) S 17010 17013 14101 0 -1 1077944320 19989 0 0 0 4118 3 0 0 20 0 9 0 558985859 644464640 5713 33554432000 4194304 6211132 140725809010256 140725809008512 140090145890039 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
/proc/17013/statm: 157340 5713 892 493 0 150645 0
[pid=17013/tid=17015] ppid=17010 vsize=629360 memory=6945507666079274341 CPUtime=5.15 cores=0-7
/proc/17013/task/17015/stat : 17015 (cosoco) R 17010 17013 14101 0 -1 4202560 1608 0 0 0 515 0 0 0 20 0 9 0 558985863 644464640 5713 33554432000 4194304 6211132 140725809010256 140090122746552 5250311 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17016] ppid=17010 vsize=629360 memory=-8989086310024698737 CPUtime=5.15 cores=0-7
/proc/17013/task/17016/stat : 17016 (cosoco) R 17010 17013 14101 0 -1 4202560 2216 0 0 0 515 0 0 0 20 0 9 0 558985863 644464640 5713 33554432000 4194304 6211132 140725809010256 140090114354040 5186253 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17017] ppid=17010 vsize=629360 memory=0 CPUtime=5.16 cores=0-7
/proc/17013/task/17017/stat : 17017 (cosoco) R 17010 17013 14101 0 -1 4202560 1681 0 0 0 516 0 0 0 20 0 9 0 558985863 644464640 5713 33554432000 4194304 6211132 140725809010256 140090105961600 5250319 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17018] ppid=17010 vsize=629360 memory=22816 CPUtime=5.15 cores=0-7
/proc/17013/task/17018/stat : 17018 (cosoco) R 17010 17013 14101 0 -1 4202560 2180 0 0 0 515 0 0 0 20 0 9 0 558985863 644464640 5713 33554432000 4194304 6211132 140725809010256 140090097568440 5193786 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17019] ppid=17010 vsize=629360 memory=288230583166042426 CPUtime=5.15 cores=0-7
/proc/17013/task/17019/stat : 17019 (cosoco) R 17010 17013 14101 0 -1 4202560 1786 0 0 0 515 0 0 0 20 0 9 0 558985863 644464640 5713 33554432000 4194304 6211132 140725809010256 140090089176080 5126432 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17020] ppid=17010 vsize=629360 memory=13848568834296438 CPUtime=5.15 cores=0-7
/proc/17013/task/17020/stat : 17020 (cosoco) R 17010 17013 14101 0 -1 4202560 2146 0 0 0 515 0 0 0 20 0 9 0 558985863 644464640 5713 33554432000 4194304 6211132 140725809010256 140090080783224 5250304 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17021] ppid=17010 vsize=629360 memory=492 CPUtime=5.04 cores=0-7
/proc/17013/task/17021/stat : 17021 (cosoco) R 17010 17013 14101 0 -1 4202560 1987 0 0 0 504 0 0 0 20 0 9 0 558985863 644464640 5713 33554432000 4194304 6211132 140725809010256 140090072390328 5250321 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
[pid=17013/tid=17022] ppid=17010 vsize=629360 memory=11624 CPUtime=5.15 cores=0-7
/proc/17013/task/17022/stat : 17022 (cosoco) R 17010 17013 14101 0 -1 4202560 2152 0 0 0 515 0 0 0 20 0 9 0 558985863 644464640 5713 33554432000 4194304 6211132 140725809010256 140090063997624 5397407 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34418688 140725809013782 140725809013874 140725809013874 140725809016782 0
Current children cumulated CPU time: 41.21 s
Current children cumulated vsize: 629360 KiB
Current children cumulated memory: 22852 KiB

Child status: 0
Real time (s): 5.26147
CPU time (s): 41.6829
CPU user time (s): 41.6419
CPU system time (s): 0.040977
CPU usage (%): 792.229
Max. virtual memory (cumulated for all children) (KiB): 629360
Max. memory (cumulated for all children) (KiB): 22852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.6419
system time used= 0.040977
maximum resident set size= 23456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20118
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= 368
involuntary context switches= 422


# summary of solver processes directly reported to runsolver:
#   pid: 17013
#   total CPU time (s): 41.6829
#   total CPU user time (s): 41.6419
#   total CPU system time (s): 0.040977

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04929 second user time and 0.086498 second system time

The end

Launcher Data

Begin job on node147 at 2019-09-30 10:04:37
IDJOB=4409791
IDBENCH=138310
IDSOLVER=2878
FILE ID=node147/4409791-1569830721
RUNJOBID= node147-1569818085-14128
PBS_JOBID= 21705926
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff59.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409791-1569830721/watcher-4409791-1569830721 -o /tmp/evaluation-result-4409791-1569830721/solver-4409791-1569830721 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node147-1569818085-14128 --watchdog 312  cosoco -model -nbcores=8 HOME/instance-4409791-1569830721.xml

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

MD5SUM BENCH= 1df56f74b1b4f47dde22644efb181f33
RANDOM SEED=1094783847

node147.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.52
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.52
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.52
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.52
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:        31388700 kB
MemAvailable:   31793784 kB
Buffers:          240208 kB
Cached:           493592 kB
SwapCached:        68896 kB
Active:           417588 kB
Inactive:         390296 kB
Active(anon):      19100 kB
Inactive(anon):   137176 kB
Active(file):     398488 kB
Inactive(file):   253120 kB
Unevictable:      107284 kB
Mlocked:          107284 kB
SwapTotal:      67108860 kB
SwapFree:       66936012 kB
Dirty:              2904 kB
Writeback:             0 kB
AnonPages:        114300 kB
Mapped:            27320 kB
Shmem:             73672 kB
Slab:             167628 kB
SReclaimable:     138620 kB
SUnreclaim:        29008 kB
KernelStack:        3584 kB
PageTables:         6012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     538696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 62028 MiB
End job on node147 at 2019-09-30 10:04:42