Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.0 parallel | OPT | 125 | 70.9572 | 8.93677 |
| Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff62.xml |
| MD5SUM | 5002a5aac4309249d3aa4752a35eede8 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 125 |
| Best CPU time to get the best result obtained on this benchmark | 15.1896 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 461 |
| Number of constraints | 449 |
| Number of domains | 27 |
| Minimum domain size | 23 |
| Maximum domain size | 26 |
| Distribution of domain sizes | [{"size":23,"count":14},{"size":25,"count":42},{"size":26,"count":405}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 33 |
| Distribution of variable degrees | [{"degree":2,"count":448},{"degree":33,"count":13}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 14 |
| Distribution of constraint arities | [{"arity":2,"count":416},{"arity":13,"count":1},{"arity":14,"count":32}] |
| Number of extensional constraints | 416 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":416},{"type":"ordered","count":1},{"type":"minimum","count":32}] |
| Optimization problem | YES |
| Type of objective | min SUM |
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-4409487-1569834399.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.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.04 s 0.00/0.06 c | 0.00/0.06 c | Variables: 461 0.00/0.06 c | Domain Sizes: 23..26 0.00/0.06 c | 0.00/0.06 c | Constraints: 461 0.00/0.06 c | Arity: 2..32 -- Binary: 428 0.00/0.06 c | 0.00/0.06 c | Types: 0.00/0.06 c | (X - Y < k): 12 0.00/0.06 c | Extension: 416 (nb tuples: 26..26) -- (shared: 3120) 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 4. 0.00/0.06 c [pFactory][Group N°0] task 5 launched on thread 3. 0.00/0.06 c [pFactory][Group N°0] task 4 launched on thread 1. 0.00/0.06 c [pFactory][Group N°0] task 3 launched on thread 5. 0.00/0.06 c [pFactory][Group N°0] task 2 launched on thread 6. 0.00/0.06 c [pFactory][Group N°0] task 1 launched on thread 2. 0.00/0.06 c [pFactory][Group N°0] task 0 launched on thread 7. 0.00/0.06 o 5600 0.00/0.06 o 4412 0.00/0.06 o 641 0.00/0.06 o 563 0.00/0.06 o 419 0.00/0.09 o 412 0.00/0.09 o 399 0.00/0.10 o 314 0.52/0.14 o 301 0.52/0.20 o 300 0.52/0.21 o 288 1.39/0.22 o 243 1.39/0.23 o 215 2.18/0.34 o 213 2.97/0.43 o 189 2.97/0.49 o 188 6.01/0.80 o 184 6.01/0.84 o 177 6.80/0.93 o 176 7.67/1.02 o 159 9.19/1.21 o 156 10.79/1.40 o 153 10.79/1.45 o 148 11.59/1.52 o 131 11.59/1.58 o 128 40.41/5.17 o 125 70.69/8.93 c [pFactory][Group N°0] concurent mode: thread 0 has won with the task 7. 70.69/8.93 c [pFactory][Group N°0] Thread N°0 is joined. 70.69/8.93 c [pFactory][Group N°0] Thread N°1 is joined. 70.69/8.93 c [pFactory][Group N°0] Thread N°2 is joined. 70.69/8.93 c [pFactory][Group N°0] Thread N°3 is joined. 70.69/8.93 c [pFactory][Group N°0] Thread N°4 is joined. 70.69/8.93 c [pFactory][Group N°0] Thread N°5 is joined. 70.69/8.93 c [pFactory][Group N°0] Thread N°6 is joined. 70.69/8.93 c [pFactory][Group N°0] Thread N°7 is joined. 70.69/8.93 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°0) 70.69/8.93 s OPTIMUM FOUND 70.69/8.93 c call to solver : 13 70.69/8.93 c 70.69/8.93 c restarts : 1847 70.69/8.93 c conflicts : 9748 (137 /sec) 70.69/8.93 c decisions : 182656 (2576 /sec) 70.69/8.93 c propagations : 9569798 (134972 /sec) 70.69/8.93 c root propagations : 5479 70.69/8.93 c filter calls : 5631728 (79430 /sec) 70.69/8.93 c useless filter calls : 2343632 (41 %) 70.69/8.93 c Memory used : 587.22 MB 70.69/8.93 c Best bound time (wc) : 5.17148 s 70.69/8.93 c CPU time : 70.902 s 70.69/8.93 c real time : 8.92994 s 70.69/8.93 70.69/8.93 70.69/8.93 v <instantiation type='solution' cost='125'> 70.69/8.93 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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][12] 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[12] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list> 70.69/8.93 v <values>15 0 0 2 0 16 0 0 9 5 0 12 0 0 0 0 0 0 0 0 0 13 0 0 2 0 8 14 22 4 0 3 112 469 524 574 75 42 15 23 72 101 330 375 411 70 511 566 616 33 0 27 65 114 143 372 417 453 0 581 636 686 37 70 97 135 184 213 442 487 523 2 583 638 688 39 72 99 137 186 215 444 489 525 686 105 50 0 649 616 589 551 502 473 244 199 163 16 565 620 670 21 54 81 119 168 197 426 471 507 487 94 149 199 450 417 390 352 303 274 45 0 36 487 94 149 199 450 417 390 352 303 274 45 0 36 79 502 557 607 42 9 18 56 105 134 363 408 444 42 539 594 644 5 28 55 93 142 171 400 445 481 636 55 0 50 599 566 539 501 452 423 194 149 113 25 556 611 661 12 45 72 110 159 188 417 462 498 636 55 0 50 599 566 539 501 452 423 194 149 113 442 139 194 244 405 372 345 307 258 229 0 45 81 442 139 194 244 405 372 345 307 258 229 0 45 81 213 368 423 473 176 143 116 78 29 0 229 274 310 37 544 599 649 0 33 60 98 147 176 405 450 486 37 544 599 649 0 33 60 98 147 176 405 450 486 581 0 55 105 544 511 484 446 397 368 139 94 58 581 0 55 105 544 511 484 446 397 368 139 94 58 184 397 452 502 147 114 87 49 0 29 258 303 339 13 594 649 699 50 83 110 148 197 226 455 500 536 97 484 539 589 60 27 0 38 87 116 345 390 426 523 58 113 163 486 453 426 388 339 310 81 36 0 521 60 115 165 484 451 424 386 337 308 79 34 2 97 484 539 589 60 27 0 38 87 116 345 390 426 62 519 574 624 25 8 35 73 122 151 380 425 461 56 525 580 630 19 14 41 79 128 157 386 431 467 162 419 474 524 125 92 65 27 22 51 280 325 361 33 548 603 653 4 37 64 102 151 180 409 454 490 135 446 501 551 98 65 38 0 49 78 307 352 388 73 508 563 613 36 3 24 62 111 140 369 414 450 25 606 661 711 62 95 122 160 209 238 467 512 548 </values> 70.69/8.93 v </instantiation> 70.69/8.93
OK 125
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 (15145 MiB free)
memory of node 1: 16384 MiB (15543 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409487-1569834399/watcher-4409487-1569834399 -o /tmp/evaluation-result-4409487-1569834399/solver-4409487-1569834399 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1569823193-16902 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409487-1569834399.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18474, runsolver pid=18471
[startup+0.100773 s]*
/proc/loadavg: 8.81 8.47 8.39 10/199 18483
/proc/meminfo: memFree=31401744/32770624 swapFree=66954412/67108860
[pid=18474] ppid=18471 vsize=634096 memory=28808 CPUtime=0.52 cores=0-7
/proc/18474/stat : 18474 (cosoco) S 18471 18474 16875 0 -1 1077944320 8350 0 0 0 51 1 0 0 20 0 9 0 559694824 649314304 7202 33554432000 4194304 6211132 140720736427184 140720736425440 140334596988663 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
/proc/18474/statm: 158524 7202 891 493 0 151829 0
[pid=18474/tid=18476] ppid=18471 vsize=634096 memory=576460756329955530 CPUtime=0.06 cores=0-7
/proc/18474/task/18476/stat : 18476 (cosoco) R 18471 18474 16875 0 -1 4202560 468 0 0 0 6 0 0 0 20 0 9 0 559694829 649314304 7202 33554432000 4194304 6211132 140720736427184 140334573845016 140334580943678 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18477] ppid=18471 vsize=634096 memory=0 CPUtime=0.06 cores=0-7
/proc/18474/task/18477/stat : 18477 (cosoco) R 18471 18474 16875 0 -1 4202560 308 0 0 0 6 0 0 0 20 0 9 0 559694829 649314304 7202 33554432000 4194304 6211132 140720736427184 140334565452312 5193786 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18478] ppid=18471 vsize=634096 memory=140707421256672 CPUtime=0.05 cores=0-7
/proc/18474/task/18478/stat : 18478 (cosoco) R 18471 18474 16875 0 -1 4202560 309 0 0 0 5 0 0 0 20 0 9 0 559694829 649314304 7202 33554432000 4194304 6211132 140720736427184 140334557060112 5409485 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18479] ppid=18471 vsize=634096 memory=0 CPUtime=0.06 cores=0-7
/proc/18474/task/18479/stat : 18479 (cosoco) R 18471 18474 16875 0 -1 4202560 478 0 0 0 6 0 0 0 20 0 9 0 559694829 649314304 7202 33554432000 4194304 6211132 140720736427184 140334548667296 5250319 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18480] ppid=18471 vsize=634096 memory=0 CPUtime=0.05 cores=0-7
/proc/18474/task/18480/stat : 18480 (cosoco) R 18471 18474 16875 0 -1 4202560 376 0 0 0 5 0 0 0 20 0 9 0 559694829 649314304 7202 33554432000 4194304 6211132 140720736427184 140334540274200 5156238 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18481] ppid=18471 vsize=634096 memory=0 CPUtime=0.06 cores=0-7
/proc/18474/task/18481/stat : 18481 (cosoco) R 18471 18474 16875 0 -1 4202560 361 0 0 0 6 0 0 0 20 0 9 0 559694829 649314304 7202 33554432000 4194304 6211132 140720736427184 140334531881704 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18482] ppid=18471 vsize=634096 memory=-1 CPUtime=0.06 cores=0-7
/proc/18474/task/18482/stat : 18482 (cosoco) R 18471 18474 16875 0 -1 4202560 307 0 0 0 6 0 0 0 20 0 9 0 559694829 649314304 7202 33554432000 4194304 6211132 140720736427184 140334523489296 5250319 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18483] ppid=18471 vsize=634096 memory=0 CPUtime=0.06 cores=0-7
/proc/18474/task/18483/stat : 18483 (cosoco) R 18471 18474 16875 0 -1 4202560 334 0 0 0 6 0 0 0 20 0 9 0 559694829 649314304 7202 33554432000 4194304 6211132 140720736427184 140334515096608 5008994 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 634096 KiB
Current children cumulated memory: 28808 KiB
[startup+0.210778 s]*
/proc/loadavg: 8.81 8.47 8.39 10/199 18483
/proc/meminfo: memFree=31399984/32770624 swapFree=66954412/67108860
[pid=18474] ppid=18471 vsize=634096 memory=29588 CPUtime=1.39 cores=0-7
/proc/18474/stat : 18474 (cosoco) S 18471 18474 16875 0 -1 1077944320 8665 0 0 0 138 1 0 0 20 0 9 0 559694824 649314304 7397 33554432000 4194304 6211132 140720736427184 140720736425440 140334596988663 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
/proc/18474/statm: 158524 7397 892 493 0 151829 0
[pid=18474/tid=18476] ppid=18471 vsize=634096 memory=8316850467074736180 CPUtime=0.17 cores=0-7
/proc/18474/task/18476/stat : 18476 (cosoco) R 18471 18474 16875 0 -1 4202560 509 0 0 0 17 0 0 0 20 0 9 0 559694829 649314304 7397 33554432000 4194304 6211132 140720736427184 140334573845776 5125815 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18477] ppid=18471 vsize=634096 memory=10927 CPUtime=0.17 cores=0-7
/proc/18474/task/18477/stat : 18477 (cosoco) R 18471 18474 16875 0 -1 4202560 379 0 0 0 17 0 0 0 20 0 9 0 559694829 649314304 7397 33554432000 4194304 6211132 140720736427184 140334565452312 5250321 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18478] ppid=18471 vsize=634096 memory=288371083572950656 CPUtime=0.15 cores=0-7
/proc/18474/task/18478/stat : 18478 (cosoco) R 18471 18474 16875 0 -1 4202560 396 0 0 0 15 0 0 0 20 0 9 0 559694829 649314304 7397 33554432000 4194304 6211132 140720736427184 140334557060368 5397258 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18479] ppid=18471 vsize=634096 memory=-1 CPUtime=0.17 cores=0-7
/proc/18474/task/18479/stat : 18479 (cosoco) R 18471 18474 16875 0 -1 4202560 492 0 0 0 17 0 0 0 20 0 9 0 559694829 649314304 7397 33554432000 4194304 6211132 140720736427184 140334548667424 5250325 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18480] ppid=18471 vsize=634096 memory=0 CPUtime=0.16 cores=0-7
/proc/18474/task/18480/stat : 18480 (cosoco) R 18471 18474 16875 0 -1 4202560 398 0 0 0 16 0 0 0 20 0 9 0 559694829 649314304 7397 33554432000 4194304 6211132 140720736427184 140334540274816 5125974 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18481] ppid=18471 vsize=634096 memory=0 CPUtime=0.17 cores=0-7
/proc/18474/task/18481/stat : 18481 (cosoco) R 18471 18474 16875 0 -1 4202560 397 0 0 0 17 0 0 0 20 0 9 0 559694829 649314304 7397 33554432000 4194304 6211132 140720736427184 140334531881760 5250319 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18482] ppid=18471 vsize=634096 memory=-1 CPUtime=0.17 cores=0-7
/proc/18474/task/18482/stat : 18482 (cosoco) R 18471 18474 16875 0 -1 4202560 310 0 0 0 17 0 0 0 20 0 9 0 559694829 649314304 7397 33554432000 4194304 6211132 140720736427184 140334523489312 5250321 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18483] ppid=18471 vsize=634096 memory=0 CPUtime=0.17 cores=0-7
/proc/18474/task/18483/stat : 18483 (cosoco) R 18471 18474 16875 0 -1 4202560 374 0 0 0 17 0 0 0 20 0 9 0 559694829 649314304 7397 33554432000 4194304 6211132 140720736427184 140334515096608 5155992 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 634096 KiB
Current children cumulated memory: 29588 KiB
[startup+0.310779 s]*
/proc/loadavg: 8.81 8.47 8.39 9/199 18483
/proc/meminfo: memFree=31399612/32770624 swapFree=66954412/67108860
[pid=18474] ppid=18471 vsize=634096 memory=29588 CPUtime=2.18 cores=0-7
/proc/18474/stat : 18474 (cosoco) S 18471 18474 16875 0 -1 1077944320 8708 0 0 0 217 1 0 0 20 0 9 0 559694824 649314304 7397 33554432000 4194304 6211132 140720736427184 140720736425440 140334596988663 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
/proc/18474/statm: 158524 7397 892 493 0 151829 0
[pid=18474/tid=18476] ppid=18471 vsize=634096 memory=8317482817917895235 CPUtime=0.27 cores=0-7
/proc/18474/task/18476/stat : 18476 (cosoco) R 18471 18474 16875 0 -1 4202560 509 0 0 0 27 0 0 0 20 0 9 0 559694829 649314304 7397 33554432000 4194304 6211132 140720736427184 140334573845776 5250490 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18477] ppid=18471 vsize=634096 memory=0 CPUtime=0.27 cores=0-7
/proc/18474/task/18477/stat : 18477 (cosoco) R 18471 18474 16875 0 -1 4202560 379 0 0 0 27 0 0 0 20 0 9 0 559694829 649314304 7397 33554432000 4194304 6211132 140720736427184 140334565452312 5250307 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18478] ppid=18471 vsize=634096 memory=0 CPUtime=0.24 cores=0-7
/proc/18474/task/18478/stat : 18478 (cosoco) R 18471 18474 16875 0 -1 4202560 396 0 0 0 24 0 0 0 20 0 9 0 559694829 649314304 7397 33554432000 4194304 6211132 140720736427184 140334557060368 5250319 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18479] ppid=18471 vsize=634096 memory=6944656592455097440 CPUtime=0.27 cores=0-7
/proc/18474/task/18479/stat : 18479 (cosoco) R 18471 18474 16875 0 -1 4202560 492 0 0 0 27 0 0 0 20 0 9 0 559694829 649314304 7397 33554432000 4194304 6211132 140720736427184 140334548667424 5125825 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18480] ppid=18471 vsize=634096 memory=0 CPUtime=0.26 cores=0-7
/proc/18474/task/18480/stat : 18480 (cosoco) R 18471 18474 16875 0 -1 4202560 402 0 0 0 26 0 0 0 20 0 9 0 559694829 649314304 7397 33554432000 4194304 6211132 140720736427184 140334540274816 5250319 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18481] ppid=18471 vsize=634096 memory=0 CPUtime=0.27 cores=0-7
/proc/18474/task/18481/stat : 18481 (cosoco) R 18471 18474 16875 0 -1 4202560 397 0 0 0 27 0 0 0 20 0 9 0 559694829 649314304 7397 33554432000 4194304 6211132 140720736427184 140334531881760 5409456 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18482] ppid=18471 vsize=634096 memory=0 CPUtime=0.27 cores=0-7
/proc/18474/task/18482/stat : 18482 (cosoco) R 18471 18474 16875 0 -1 4202560 346 0 0 0 27 0 0 0 20 0 9 0 559694829 649314304 7397 33554432000 4194304 6211132 140720736427184 140334523489312 5250304 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18483] ppid=18471 vsize=634096 memory=0 CPUtime=0.27 cores=0-7
/proc/18474/task/18483/stat : 18483 (cosoco) R 18471 18474 16875 0 -1 4202560 377 0 0 0 27 0 0 0 20 0 9 0 559694829 649314304 7397 33554432000 4194304 6211132 140720736427184 140334515096608 5397267 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
Current children cumulated CPU time: 2.18 s
Current children cumulated vsize: 634096 KiB
Current children cumulated memory: 29588 KiB
[startup+0.700776 s]
/proc/loadavg: 8.81 8.47 8.39 9/199 18483
/proc/meminfo: memFree=31399612/32770624 swapFree=66954412/67108860
[pid=18474] ppid=18471 vsize=634096 memory=29848 CPUtime=5.21 cores=0-7
/proc/18474/stat : 18474 (cosoco) S 18471 18474 16875 0 -1 1077944320 8767 0 0 0 520 1 0 0 20 0 9 0 559694824 649314304 7462 33554432000 4194304 6211132 140720736427184 140720736425440 140334596988663 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
/proc/18474/statm: 158524 7462 892 493 0 151829 0
[pid=18474/tid=18476] ppid=18471 vsize=634096 memory=14012 CPUtime=0.65 cores=0-7
/proc/18474/task/18476/stat : 18476 (cosoco) R 18471 18474 16875 0 -1 4202560 509 0 0 0 65 0 0 0 20 0 9 0 559694829 649314304 7462 33554432000 4194304 6211132 140720736427184 140334573845776 5409485 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18477] ppid=18471 vsize=634096 memory=6600 CPUtime=0.65 cores=0-7
/proc/18474/task/18477/stat : 18477 (cosoco) R 18471 18474 16875 0 -1 4202560 385 0 0 0 65 0 0 0 20 0 9 0 559694829 649314304 7462 33554432000 4194304 6211132 140720736427184 140334565452312 5017263 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18478] ppid=18471 vsize=634096 memory=2120 CPUtime=0.6 cores=0-7
/proc/18474/task/18478/stat : 18478 (cosoco) R 18471 18474 16875 0 -1 4202560 400 0 0 0 60 0 0 0 20 0 9 0 559694829 649314304 7462 33554432000 4194304 6211132 140720736427184 140334557059688 5409485 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18479] ppid=18471 vsize=634096 memory=12036 CPUtime=0.65 cores=0-7
/proc/18474/task/18479/stat : 18479 (cosoco) R 18471 18474 16875 0 -1 4202560 492 0 0 0 65 0 0 0 20 0 9 0 559694829 649314304 7462 33554432000 4194304 6211132 140720736427184 140334548667424 5125829 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18480] ppid=18471 vsize=634096 memory=496 CPUtime=0.65 cores=0-7
/proc/18474/task/18480/stat : 18480 (cosoco) R 18471 18474 16875 0 -1 4202560 410 0 0 0 65 0 0 0 20 0 9 0 559694829 649314304 7462 33554432000 4194304 6211132 140720736427184 140334540274360 5126592 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18481] ppid=18471 vsize=634096 memory=1560 CPUtime=0.65 cores=0-7
/proc/18474/task/18481/stat : 18481 (cosoco) R 18471 18474 16875 0 -1 4202560 403 0 0 0 65 0 0 0 20 0 9 0 559694829 649314304 7462 33554432000 4194304 6211132 140720736427184 140334531881760 5125825 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18482] ppid=18471 vsize=634096 memory=928 CPUtime=0.65 cores=0-7
/proc/18474/task/18482/stat : 18482 (cosoco) R 18471 18474 16875 0 -1 4202560 375 0 0 0 65 0 0 0 20 0 9 0 559694829 649314304 7462 33554432000 4194304 6211132 140720736427184 140334523489312 5397267 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18483] ppid=18471 vsize=634096 memory=1680 CPUtime=0.65 cores=0-7
/proc/18474/task/18483/stat : 18483 (cosoco) R 18471 18474 16875 0 -1 4202560 383 0 0 0 65 0 0 0 20 0 9 0 559694829 649314304 7462 33554432000 4194304 6211132 140720736427184 140334515096168 5250319 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
Current children cumulated CPU time: 5.21 s
Current children cumulated vsize: 634096 KiB
Current children cumulated memory: 29848 KiB
[startup+1.50078 s]
/proc/loadavg: 8.74 8.47 8.39 9/199 18483
/proc/meminfo: memFree=31399292/32770624 swapFree=66954412/67108860
[pid=18474] ppid=18471 vsize=634096 memory=31356 CPUtime=11.59 cores=0-7
/proc/18474/stat : 18474 (cosoco) S 18471 18474 16875 0 -1 1077944320 15617 0 0 0 1156 3 0 0 20 0 9 0 559694824 649314304 7839 33554432000 4194304 6211132 140720736427184 140720736425440 140334596988663 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
/proc/18474/statm: 158524 7839 892 493 0 151829 0
[pid=18474/tid=18476] ppid=18471 vsize=634096 memory=0 CPUtime=1.44 cores=0-7
/proc/18474/task/18476/stat : 18476 (cosoco) R 18471 18474 16875 0 -1 4202560 1414 0 0 0 144 0 0 0 20 0 9 0 559694829 649314304 7839 33554432000 4194304 6211132 140720736427184 140334573845776 5125815 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18477] ppid=18471 vsize=634096 memory=0 CPUtime=1.44 cores=0-7
/proc/18474/task/18477/stat : 18477 (cosoco) R 18471 18474 16875 0 -1 4202560 1413 0 0 0 144 0 0 0 20 0 9 0 559694829 649314304 7839 33554432000 4194304 6211132 140720736427184 140334565453072 5017263 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18478] ppid=18471 vsize=634096 memory=0 CPUtime=1.38 cores=0-7
/proc/18474/task/18478/stat : 18478 (cosoco) R 18471 18474 16875 0 -1 4202560 1040 0 0 0 138 0 0 0 20 0 9 0 559694829 649314304 7839 33554432000 4194304 6211132 140720736427184 140334557060224 5250495 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18479] ppid=18471 vsize=634096 memory=8243114992657236051 CPUtime=1.45 cores=0-7
/proc/18474/task/18479/stat : 18479 (cosoco) R 18471 18474 16875 0 -1 4202560 1229 0 0 0 145 0 0 0 20 0 9 0 559694829 649314304 7839 33554432000 4194304 6211132 140720736427184 140334548667064 5250316 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18480] ppid=18471 vsize=634096 memory=288291094993830768 CPUtime=1.44 cores=0-7
/proc/18474/task/18480/stat : 18480 (cosoco) R 18471 18474 16875 0 -1 4202560 1494 0 0 0 144 0 0 0 20 0 9 0 559694829 649314304 7839 33554432000 4194304 6211132 140720736427184 140334540274704 5250319 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18481] ppid=18471 vsize=634096 memory=0 CPUtime=1.44 cores=0-7
/proc/18474/task/18481/stat : 18481 (cosoco) R 18471 18474 16875 0 -1 4202560 962 0 0 0 144 0 0 0 20 0 9 0 559694829 649314304 7839 33554432000 4194304 6211132 140720736427184 140334531882000 5017588 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18482] ppid=18471 vsize=634096 memory=9500 CPUtime=1.45 cores=0-7
/proc/18474/task/18482/stat : 18482 (cosoco) R 18471 18474 16875 0 -1 4202560 1555 0 0 0 145 0 0 0 20 0 9 0 559694829 649314304 7839 33554432000 4194304 6211132 140720736427184 140334523489552 5250319 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18483] ppid=18471 vsize=634096 memory=281414578898720 CPUtime=1.44 cores=0-7
/proc/18474/task/18483/stat : 18483 (cosoco) R 18471 18474 16875 0 -1 4202560 1100 0 0 0 144 0 0 0 20 0 9 0 559694829 649314304 7839 33554432000 4194304 6211132 140720736427184 140334515096248 5126159 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
Current children cumulated CPU time: 11.59 s
Current children cumulated vsize: 634096 KiB
Current children cumulated memory: 31356 KiB
[startup+3.10978 s]
/proc/loadavg: 8.74 8.47 8.39 9/199 18483
/proc/meminfo: memFree=31398600/32770624 swapFree=66954412/67108860
[pid=18474] ppid=18471 vsize=634096 memory=31592 CPUtime=24.44 cores=0-7
/proc/18474/stat : 18474 (cosoco) S 18471 18474 16875 0 -1 1077944320 21868 0 0 0 2441 3 0 0 20 0 9 0 559694824 649314304 7898 33554432000 4194304 6211132 140720736427184 140720736425440 140334596988663 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
/proc/18474/statm: 158524 7898 892 493 0 151829 0
[pid=18474/tid=18476] ppid=18471 vsize=634096 memory=6673 CPUtime=3.05 cores=0-7
/proc/18474/task/18476/stat : 18476 (cosoco) R 18471 18474 16875 0 -1 4202560 2021 0 0 0 305 0 0 0 20 0 9 0 559694829 649314304 7898 33554432000 4194304 6211132 140720736427184 140334573845632 5126170 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18477] ppid=18471 vsize=634096 memory=4420 CPUtime=3.05 cores=0-7
/proc/18474/task/18477/stat : 18477 (cosoco) R 18471 18474 16875 0 -1 4202560 2309 0 0 0 305 0 0 0 20 0 9 0 559694829 649314304 7898 33554432000 4194304 6211132 140720736427184 140334565453072 5250321 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18478] ppid=18471 vsize=634096 memory=6628 CPUtime=2.97 cores=0-7
/proc/18474/task/18478/stat : 18478 (cosoco) R 18471 18474 16875 0 -1 4202560 1702 0 0 0 297 0 0 0 20 0 9 0 559694829 649314304 7898 33554432000 4194304 6211132 140720736427184 140334557060224 5250304 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18479] ppid=18471 vsize=634096 memory=140711716206207 CPUtime=3.06 cores=0-7
/proc/18474/task/18479/stat : 18479 (cosoco) R 18471 18474 16875 0 -1 4202560 1979 0 0 0 306 0 0 0 20 0 9 0 559694829 649314304 7898 33554432000 4194304 6211132 140720736427184 140334548667520 5158226 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18480] ppid=18471 vsize=634096 memory=6944652177228980320 CPUtime=3.05 cores=0-7
/proc/18474/task/18480/stat : 18480 (cosoco) R 18471 18474 16875 0 -1 4202560 2316 0 0 0 305 0 0 0 20 0 9 0 559694829 649314304 7898 33554432000 4194304 6211132 140720736427184 140334540274960 5193786 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18481] ppid=18471 vsize=634096 memory=6935649255759568960 CPUtime=3.05 cores=0-7
/proc/18474/task/18481/stat : 18481 (cosoco) R 18471 18474 16875 0 -1 4202560 1822 0 0 0 305 0 0 0 20 0 9 0 559694829 649314304 7898 33554432000 4194304 6211132 140720736427184 140334531882000 5017569 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18482] ppid=18471 vsize=634096 memory=31876 CPUtime=3.05 cores=0-7
/proc/18474/task/18482/stat : 18482 (cosoco) R 18471 18474 16875 0 -1 4202560 2383 0 0 0 305 0 0 0 20 0 9 0 559694829 649314304 7898 33554432000 4194304 6211132 140720736427184 140334523488952 5017274 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18483] ppid=18471 vsize=634096 memory=7596606704838129745 CPUtime=3.05 cores=0-7
/proc/18474/task/18483/stat : 18483 (cosoco) R 18471 18474 16875 0 -1 4202560 1926 0 0 0 305 0 0 0 20 0 9 0 559694829 649314304 7898 33554432000 4194304 6211132 140720736427184 140334515096592 5393095 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
Current children cumulated CPU time: 24.44 s
Current children cumulated vsize: 634096 KiB
Current children cumulated memory: 31592 KiB
[startup+6.30078 s]
/proc/loadavg: 8.68 8.46 8.39 9/199 18483
/proc/meminfo: memFree=31397972/32770624 swapFree=66954412/67108860
[pid=18474] ppid=18471 vsize=634096 memory=31772 CPUtime=49.92 cores=0-7
/proc/18474/stat : 18474 (cosoco) S 18471 18474 16875 0 -1 1077944320 28779 0 0 0 4988 4 0 0 20 0 9 0 559694824 649314304 7943 33554432000 4194304 6211132 140720736427184 140720736425440 140334596988663 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
/proc/18474/statm: 158524 7943 892 493 0 151829 0
[pid=18474/tid=18476] ppid=18471 vsize=634096 memory=-4546129931942301728 CPUtime=6.24 cores=0-7
/proc/18474/task/18476/stat : 18476 (cosoco) R 18471 18474 16875 0 -1 4202560 2896 0 0 0 624 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334573845176 5409476 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18477] ppid=18471 vsize=634096 memory=31596 CPUtime=6.24 cores=0-7
/proc/18474/task/18477/stat : 18477 (cosoco) R 18471 18474 16875 0 -1 4202560 3330 0 0 0 624 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334565453072 5250319 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18478] ppid=18471 vsize=634096 memory=6656426216303648864 CPUtime=6.12 cores=0-7
/proc/18474/task/18478/stat : 18478 (cosoco) R 18471 18474 16875 0 -1 4202560 2559 0 0 0 612 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334557060224 5126143 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18479] ppid=18471 vsize=634096 memory=6656426216303648864 CPUtime=6.25 cores=0-7
/proc/18474/task/18479/stat : 18479 (cosoco) R 18471 18474 16875 0 -1 4202560 2804 0 0 0 625 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334548667520 5250319 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18480] ppid=18471 vsize=634096 memory=3580 CPUtime=6.24 cores=0-7
/proc/18474/task/18480/stat : 18480 (cosoco) R 18471 18474 16875 0 -1 4202560 3251 0 0 0 624 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334540274360 5250321 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18481] ppid=18471 vsize=634096 memory=10644 CPUtime=6.24 cores=0-7
/proc/18474/task/18481/stat : 18481 (cosoco) R 18471 18474 16875 0 -1 4202560 2477 0 0 0 624 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334531882000 5393095 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18482] ppid=18471 vsize=634096 memory=988 CPUtime=6.24 cores=0-7
/proc/18474/task/18482/stat : 18482 (cosoco) R 18471 18474 16875 0 -1 4202560 3506 0 0 0 624 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334523488952 5250256 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18483] ppid=18471 vsize=634096 memory=2016 CPUtime=6.24 cores=0-7
/proc/18474/task/18483/stat : 18483 (cosoco) R 18471 18474 16875 0 -1 4202560 2546 0 0 0 624 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334515096576 5250319 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
Current children cumulated CPU time: 49.92 s
Current children cumulated vsize: 634096 KiB
Current children cumulated memory: 31772 KiB
[startup+8.93671 s]
# the end of solver process 18474 was just reported to runsolver
# cumulated CPU time of all completed processes: user=70.9022 s, system=0.054965 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40078 s]
/proc/loadavg: 8.68 8.46 8.39 9/199 18483
/proc/meminfo: memFree=31397972/32770624 swapFree=66954412/67108860
[pid=18474] ppid=18471 vsize=634096 memory=31772 CPUtime=50.72 cores=0-7
/proc/18474/stat : 18474 (cosoco) S 18471 18474 16875 0 -1 1077944320 28779 0 0 0 5068 4 0 0 20 0 9 0 559694824 649314304 7943 33554432000 4194304 6211132 140720736427184 140720736425440 140334596988663 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
/proc/18474/statm: 158524 7943 892 493 0 151829 0
[pid=18474/tid=18476] ppid=18471 vsize=634096 memory=354 CPUtime=6.34 cores=0-7
/proc/18474/task/18476/stat : 18476 (cosoco) R 18471 18474 16875 0 -1 4202560 2896 0 0 0 634 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334573845176 5017472 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18477] ppid=18471 vsize=634096 memory=4593 CPUtime=6.34 cores=0-7
/proc/18474/task/18477/stat : 18477 (cosoco) R 18471 18474 16875 0 -1 4202560 3330 0 0 0 634 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334565453072 5017712 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18478] ppid=18471 vsize=634096 memory=574 CPUtime=6.22 cores=0-7
/proc/18474/task/18478/stat : 18478 (cosoco) R 18471 18474 16875 0 -1 4202560 2559 0 0 0 622 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334557060224 5126592 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18479] ppid=18471 vsize=634096 memory=574 CPUtime=6.35 cores=0-7
/proc/18474/task/18479/stat : 18479 (cosoco) R 18471 18474 16875 0 -1 4202560 2804 0 0 0 635 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334548667520 5250319 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18480] ppid=18471 vsize=634096 memory=563 CPUtime=6.34 cores=0-7
/proc/18474/task/18480/stat : 18480 (cosoco) R 18471 18474 16875 0 -1 4202560 3251 0 0 0 634 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334540274360 5009142 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18481] ppid=18471 vsize=634096 memory=575 CPUtime=6.34 cores=0-7
/proc/18474/task/18481/stat : 18481 (cosoco) R 18471 18474 16875 0 -1 4202560 2477 0 0 0 634 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334531882000 5393475 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18482] ppid=18471 vsize=634096 memory=8332 CPUtime=6.34 cores=0-7
/proc/18474/task/18482/stat : 18482 (cosoco) R 18471 18474 16875 0 -1 4202560 3506 0 0 0 634 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334523488952 5250319 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18483] ppid=18471 vsize=634096 memory=4008 CPUtime=6.34 cores=0-7
/proc/18474/task/18483/stat : 18483 (cosoco) R 18471 18474 16875 0 -1 4202560 2546 0 0 0 634 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334515096576 5250319 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
Current children cumulated CPU time: 50.72 s
Current children cumulated vsize: 634096 KiB
Current children cumulated memory: 31772 KiB
[startup+8.00077 s]*
/proc/loadavg: 8.68 8.46 8.39 9/199 18484
/proc/meminfo: memFree=31397972/32770624 swapFree=66954412/67108860
[pid=18474] ppid=18471 vsize=634096 memory=31772 CPUtime=63.57 cores=0-7
/proc/18474/stat : 18474 (cosoco) S 18471 18474 16875 0 -1 1077944320 35245 0 0 0 6352 5 0 0 20 0 9 0 559694824 649314304 7943 33554432000 4194304 6211132 140720736427184 140720736425440 140334596988663 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
/proc/18474/statm: 158524 7943 892 493 0 151829 0
[pid=18474/tid=18476] ppid=18471 vsize=634096 memory=8317482817917895235 CPUtime=7.95 cores=0-7
/proc/18474/task/18476/stat : 18476 (cosoco) R 18471 18474 16875 0 -1 4202560 3745 0 0 0 795 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334573845176 5389840 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18477] ppid=18471 vsize=634096 memory=281414579190912 CPUtime=7.95 cores=0-7
/proc/18474/task/18477/stat : 18477 (cosoco) R 18471 18474 16875 0 -1 4202560 4105 0 0 0 795 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334565453072 5193786 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18478] ppid=18471 vsize=634096 memory=6656426216303648864 CPUtime=7.8 cores=0-7
/proc/18474/task/18478/stat : 18478 (cosoco) R 18471 18474 16875 0 -1 4202560 3320 0 0 0 780 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334557060224 5250319 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18479] ppid=18471 vsize=634096 memory=6944656592455360604 CPUtime=7.95 cores=0-7
/proc/18474/task/18479/stat : 18479 (cosoco) R 18471 18474 16875 0 -1 4202560 3644 0 0 0 795 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334548667520 5250256 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18480] ppid=18471 vsize=634096 memory=6944656592387989600 CPUtime=7.95 cores=0-7
/proc/18474/task/18480/stat : 18480 (cosoco) R 18471 18474 16875 0 -1 4202560 4076 0 0 0 795 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334540274360 5250316 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18481] ppid=18471 vsize=634096 memory=0 CPUtime=7.95 cores=0-7
/proc/18474/task/18481/stat : 18481 (cosoco) R 18471 18474 16875 0 -1 4202560 3493 0 0 0 795 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334531882000 5250482 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18482] ppid=18471 vsize=634096 memory=0 CPUtime=7.95 cores=0-7
/proc/18474/task/18482/stat : 18482 (cosoco) R 18471 18474 16875 0 -1 4202560 4147 0 0 0 795 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334523488952 5250319 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18483] ppid=18471 vsize=634096 memory=0 CPUtime=7.95 cores=0-7
/proc/18474/task/18483/stat : 18483 (cosoco) R 18471 18474 16875 0 -1 4202560 3305 0 0 0 795 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334515096576 5250330 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
Current children cumulated CPU time: 63.57 s
Current children cumulated vsize: 634096 KiB
Current children cumulated memory: 31772 KiB
[startup+8.40077 s]
/proc/loadavg: 8.68 8.46 8.39 9/199 18484
/proc/meminfo: memFree=31397972/32770624 swapFree=66954412/67108860
[pid=18474] ppid=18471 vsize=634096 memory=31772 CPUtime=66.69 cores=0-7
/proc/18474/stat : 18474 (cosoco) S 18471 18474 16875 0 -1 1077944320 35267 0 0 0 6664 5 0 0 20 0 9 0 559694824 649314304 7943 33554432000 4194304 6211132 140720736427184 140720736425440 140334596988663 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
/proc/18474/statm: 158524 7943 892 493 0 151829 0
[pid=18474/tid=18476] ppid=18471 vsize=634096 memory=145 CPUtime=8.34 cores=0-7
/proc/18474/task/18476/stat : 18476 (cosoco) R 18471 18474 16875 0 -1 4202560 3747 0 0 0 834 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334573845176 5250304 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18477] ppid=18471 vsize=634096 memory=0 CPUtime=8.34 cores=0-7
/proc/18474/task/18477/stat : 18477 (cosoco) R 18471 18474 16875 0 -1 4202560 4106 0 0 0 834 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334565453072 5250304 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18478] ppid=18471 vsize=634096 memory=1 CPUtime=8.19 cores=0-7
/proc/18474/task/18478/stat : 18478 (cosoco) R 18471 18474 16875 0 -1 4202560 3328 0 0 0 819 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334557060224 5250319 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18479] ppid=18471 vsize=634096 memory=31772 CPUtime=8.34 cores=0-7
/proc/18474/task/18479/stat : 18479 (cosoco) R 18471 18474 16875 0 -1 4202560 3650 0 0 0 834 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334548667520 5250493 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18480] ppid=18471 vsize=634096 memory=9500 CPUtime=8.34 cores=0-7
/proc/18474/task/18480/stat : 18480 (cosoco) R 18471 18474 16875 0 -1 4202560 4076 0 0 0 834 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334540274360 5250319 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18481] ppid=18471 vsize=634096 memory=1120 CPUtime=8.34 cores=0-7
/proc/18474/task/18481/stat : 18481 (cosoco) R 18471 18474 16875 0 -1 4202560 3498 0 0 0 834 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334531882000 5393134 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18482] ppid=18471 vsize=634096 memory=776 CPUtime=8.34 cores=0-7
/proc/18474/task/18482/stat : 18482 (cosoco) R 18471 18474 16875 0 -1 4202560 4147 0 0 0 834 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334523488952 5250321 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18483] ppid=18471 vsize=634096 memory=1724 CPUtime=8.34 cores=0-7
/proc/18474/task/18483/stat : 18483 (cosoco) R 18471 18474 16875 0 -1 4202560 3305 0 0 0 834 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334515096704 5193776 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
Current children cumulated CPU time: 66.69 s
Current children cumulated vsize: 634096 KiB
Current children cumulated memory: 31772 KiB
[startup+8.80577 s]
/proc/loadavg: 8.68 8.46 8.39 9/199 18484
/proc/meminfo: memFree=31397972/32770624 swapFree=66954412/67108860
[pid=18474] ppid=18471 vsize=634096 memory=31772 CPUtime=69.93 cores=0-7
/proc/18474/stat : 18474 (cosoco) S 18471 18474 16875 0 -1 1077944320 35275 0 0 0 6988 5 0 0 20 0 9 0 559694824 649314304 7943 33554432000 4194304 6211132 140720736427184 140720736425440 140334596988663 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
/proc/18474/statm: 158524 7943 892 493 0 151829 0
[pid=18474/tid=18476] ppid=18471 vsize=634096 memory=2016 CPUtime=8.75 cores=0-7
/proc/18474/task/18476/stat : 18476 (cosoco) R 18471 18474 16875 0 -1 4202560 3747 0 0 0 875 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334573845176 5126277 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18477] ppid=18471 vsize=634096 memory=1284 CPUtime=8.74 cores=0-7
/proc/18474/task/18477/stat : 18477 (cosoco) R 18471 18474 16875 0 -1 4202560 4106 0 0 0 874 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334565453072 5193786 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18478] ppid=18471 vsize=634096 memory=1044 CPUtime=8.6 cores=0-7
/proc/18474/task/18478/stat : 18478 (cosoco) R 18471 18474 16875 0 -1 4202560 3328 0 0 0 860 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334557060224 5250319 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18479] ppid=18471 vsize=634096 memory=31772 CPUtime=8.75 cores=0-7
/proc/18474/task/18479/stat : 18479 (cosoco) R 18471 18474 16875 0 -1 4202560 3650 0 0 0 875 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334548667408 5125825 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18480] ppid=18471 vsize=634096 memory=988 CPUtime=8.74 cores=0-7
/proc/18474/task/18480/stat : 18480 (cosoco) R 18471 18474 16875 0 -1 4202560 4077 0 0 0 874 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334540274360 5126592 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18481] ppid=18471 vsize=634096 memory=2016 CPUtime=8.74 cores=0-7
/proc/18474/task/18481/stat : 18481 (cosoco) R 18471 18474 16875 0 -1 4202560 3505 0 0 0 874 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334531881656 5125815 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18482] ppid=18471 vsize=634096 memory=33 CPUtime=8.75 cores=0-7
/proc/18474/task/18482/stat : 18482 (cosoco) R 18471 18474 16875 0 -1 4202560 4147 0 0 0 875 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334523488952 5250319 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18483] ppid=18471 vsize=634096 memory=31772 CPUtime=8.74 cores=0-7
/proc/18474/task/18483/stat : 18483 (cosoco) R 18471 18474 16875 0 -1 4202560 3305 0 0 0 874 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334515096704 5125825 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
Current children cumulated CPU time: 69.93 s
Current children cumulated vsize: 634096 KiB
Current children cumulated memory: 31772 KiB
[startup+8.90078 s]
/proc/loadavg: 8.68 8.46 8.39 9/199 18484
/proc/meminfo: memFree=31397972/32770624 swapFree=66954412/67108860
[pid=18474] ppid=18471 vsize=634096 memory=31772 CPUtime=70.69 cores=0-7
/proc/18474/stat : 18474 (cosoco) S 18471 18474 16875 0 -1 1077944320 35276 0 0 0 7064 5 0 0 20 0 9 0 559694824 649314304 7943 33554432000 4194304 6211132 140720736427184 140720736425440 140334596988663 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
/proc/18474/statm: 158524 7943 892 493 0 151829 0
[pid=18474/tid=18476] ppid=18471 vsize=634096 memory=56 CPUtime=8.84 cores=0-7
/proc/18474/task/18476/stat : 18476 (cosoco) R 18471 18474 16875 0 -1 4202560 3747 0 0 0 884 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334573845176 5409485 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18477] ppid=18471 vsize=634096 memory=7588675702587028065 CPUtime=8.84 cores=0-7
/proc/18474/task/18477/stat : 18477 (cosoco) R 18471 18474 16875 0 -1 4202560 4106 0 0 0 884 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334565453072 5393000 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18478] ppid=18471 vsize=634096 memory=31772 CPUtime=8.69 cores=0-7
/proc/18474/task/18478/stat : 18478 (cosoco) R 18471 18474 16875 0 -1 4202560 3328 0 0 0 869 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334557060224 5126240 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18479] ppid=18471 vsize=634096 memory=-4546129931942301728 CPUtime=8.84 cores=0-7
/proc/18474/task/18479/stat : 18479 (cosoco) R 18471 18474 16875 0 -1 4202560 3650 0 0 0 884 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334548667408 5250311 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18480] ppid=18471 vsize=634096 memory=31772 CPUtime=8.84 cores=0-7
/proc/18474/task/18480/stat : 18480 (cosoco) R 18471 18474 16875 0 -1 4202560 4077 0 0 0 884 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334540274360 5193776 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18481] ppid=18471 vsize=634096 memory=554 CPUtime=8.84 cores=0-7
/proc/18474/task/18481/stat : 18481 (cosoco) R 18471 18474 16875 0 -1 4202560 3505 0 0 0 884 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334531881656 5250311 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18482] ppid=18471 vsize=634096 memory=281414578817824 CPUtime=8.84 cores=0-7
/proc/18474/task/18482/stat : 18482 (cosoco) R 18471 18474 16875 0 -1 4202560 4148 0 0 0 884 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334523488952 5250304 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
[pid=18474/tid=18483] ppid=18471 vsize=634096 memory=140707289667721 CPUtime=8.84 cores=0-7
/proc/18474/task/18483/stat : 18483 (cosoco) R 18471 18474 16875 0 -1 4202560 3305 0 0 0 884 0 0 0 20 0 9 0 559694829 649314304 7943 33554432000 4194304 6211132 140720736427184 140334515096704 5250319 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14028800 140720736429073 140720736429165 140720736429165 140720736432078 0
Current children cumulated CPU time: 70.69 s
Current children cumulated vsize: 634096 KiB
Current children cumulated memory: 31772 KiB
Child status: 0
Real time (s): 8.93677
CPU time (s): 70.9572
CPU user time (s): 70.9022
CPU system time (s): 0.054965
CPU usage (%): 793.991
Max. virtual memory (cumulated for all children) (KiB): 634096
Max. memory (cumulated for all children) (KiB): 31772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 70.9022
system time used= 0.054965
maximum resident set size= 32028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35335
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= 496
involuntary context switches= 579
# summary of solver processes directly reported to runsolver:
# pid: 18474
# total CPU time (s): 70.9572
# total CPU user time (s): 70.9022
# total CPU system time (s): 0.054965
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.05486 second user time and 0.120916 second system time
The end
Begin job on node107 at 2019-09-30 10:04:32 IDJOB=4409487 IDBENCH=138316 IDSOLVER=2877 FILE ID=node107/4409487-1569834399 RUNJOBID= node107-1569823193-16902 PBS_JOBID= 21705928 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff62.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409487-1569834399/watcher-4409487-1569834399 -o /tmp/evaluation-result-4409487-1569834399/solver-4409487-1569834399 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1569823193-16902 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409487-1569834399.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5002a5aac4309249d3aa4752a35eede8 RANDOM SEED=1406748526 node107.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 31426128 kB MemAvailable: 31829976 kB Buffers: 208088 kB Cached: 530744 kB SwapCached: 48108 kB Active: 353208 kB Inactive: 436192 kB Active(anon): 16056 kB Inactive(anon): 112456 kB Active(file): 337152 kB Inactive(file): 323736 kB Unevictable: 109672 kB Mlocked: 109672 kB SwapTotal: 67108860 kB SwapFree: 66954412 kB Dirty: 2932 kB Writeback: 0 kB AnonPages: 148004 kB Mapped: 27076 kB Shmem: 69360 kB Slab: 146080 kB SReclaimable: 117592 kB SUnreclaim: 28488 kB KernelStack: 3824 kB PageTables: 5508 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 530568 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 102400 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62028 MiB End job on node107 at 2019-09-30 10:04:41