Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.O parallel | OPT | 192 | 38.9566 | 4.92788 |
| Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff60.xml |
| MD5SUM | 7a954e9050bb3a994248d3527dd6cfee |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 192 |
| Best CPU time to get the best result obtained on this benchmark | 18.602 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 395 |
| Number of constraints | 385 |
| Number of domains | 27 |
| Minimum domain size | 23 |
| Maximum domain size | 26 |
| Distribution of domain sizes | [{"size":23,"count":12},{"size":25,"count":36},{"size":26,"count":347}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 33 |
| Distribution of variable degrees | [{"degree":2,"count":384},{"degree":33,"count":11}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 12 |
| Distribution of constraint arities | [{"arity":2,"count":352},{"arity":11,"count":1},{"arity":12,"count":32}] |
| Number of extensional constraints | 352 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":352},{"type":"ordered","count":1},{"type":"minimum","count":32}] |
| Optimization problem | YES |
| Type of objective | min SUM |
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-4398538-1568610160.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.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.05 c enable optimization 0.00/0.05 c ========================================[ Problem Statistics ]=========================================== 0.00/0.05 c | 0.00/0.05 c | Parse time : 0.03 s 0.00/0.05 c | 0.00/0.05 c | Variables: 395 0.00/0.05 c | Domain Sizes: 23..26 0.00/0.05 c | 0.00/0.05 c | Constraints: 395 0.00/0.05 c | Arity: 2..32 -- Binary: 362 0.00/0.05 c | 0.00/0.05 c | Types: 0.00/0.05 c | (X - Y < k): 10 0.00/0.05 c | Extension: 352 (nb tuples: 26..26) -- (shared: 2608) 0.00/0.05 c | Minimum Variable: 32 0.00/0.05 c | Sum: 1 0.00/0.05 c | 0.00/0.05 c | Objective: Minimize Sum 0.00/0.05 0.00/0.05 c ========================================================================================================= 0.00/0.05 c Parallel mode: Portfolio 0.00/0.05 c [pFactory][Group N°0] created (threads:8). 0.00/0.05 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.00/0.05 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.00/0.05 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.00/0.05 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.00/0.05 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.00/0.05 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.00/0.05 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.00/0.05 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.00/0.05 c [pFactory][Group N°0] concurrent mode: enabled. 0.00/0.05 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.00/0.05 c [pFactory][Group N°0] task 7 launched on thread 0. 0.00/0.05 c [pFactory][Group N°0] task 6 launched on thread 1. 0.00/0.05 c [pFactory][Group N°0] task 5 launched on thread 4. 0.00/0.05 c [pFactory][Group N°0] task 4 launched on thread 2. 0.00/0.05 c [pFactory][Group N°0] task 3 launched on thread 5. 0.00/0.05 c [pFactory][Group N°0] task 2 launched on thread 6. 0.00/0.05 c [pFactory][Group N°0] task 1 launched on thread 7. 0.00/0.05 c [pFactory][Group N°0] task 0 launched on thread 3. 0.00/0.05 o 1474 0.00/0.05 o 570 0.00/0.06 o 405 0.00/0.07 o 404 0.54/0.11 o 393 0.54/0.13 o 386 0.54/0.13 o 360 0.54/0.14 o 358 0.54/0.14 o 334 0.54/0.15 o 326 0.54/0.16 o 325 0.54/0.16 o 322 0.54/0.20 o 321 0.54/0.22 o 318 1.46/0.23 o 296 1.46/0.24 o 273 3.77/0.58 o 269 4.50/0.64 o 268 4.50/0.67 o 267 4.50/0.68 o 263 5.23/0.74 o 256 5.23/0.79 o 247 8.49/1.13 o 230 8.49/1.18 o 228 9.21/1.24 o 209 15.66/2.03 o 206 19.58/2.53 o 199 25.97/3.30 o 192 38.75/4.92 c [pFactory][Group N°0] concurent mode: thread 1 has won with the task 6. 38.75/4.92 c [pFactory][Group N°0] Thread N°0 is joined. 38.75/4.92 c [pFactory][Group N°0] Thread N°1 is joined. 38.75/4.92 c [pFactory][Group N°0] Thread N°2 is joined. 38.75/4.92 c [pFactory][Group N°0] Thread N°3 is joined. 38.75/4.92 c [pFactory][Group N°0] Thread N°4 is joined. 38.75/4.92 c [pFactory][Group N°0] Thread N°5 is joined. 38.75/4.92 c [pFactory][Group N°0] Thread N°6 is joined. 38.75/4.92 c [pFactory][Group N°0] Thread N°7 is joined. 38.75/4.92 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°1) 38.75/4.92 s OPTIMUM FOUND 38.75/4.92 c call to solver : 15 38.75/4.92 c 38.75/4.92 c restarts : 1837 38.75/4.92 c conflicts : 6454 (166 /sec) 38.75/4.92 c decisions : 85755 (2203 /sec) 38.75/4.92 c propagations : 7311151 (187833 /sec) 38.75/4.92 c root propagations : 3912 38.75/4.92 c filter calls : 3435572 (88265 /sec) 38.75/4.92 c useless filter calls : 1407116 (40 %) 38.75/4.92 c Memory used : 584.14 MB 38.75/4.92 c Best bound time (wc) : 3.30038 s 38.75/4.92 c CPU time : 38.9235 s 38.75/4.92 c real time : 4.92251 s 38.75/4.92 38.75/4.92 38.75/4.92 v <instantiation type='solution' cost='192'> 38.75/4.92 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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list> 38.75/4.92 v <values>0 0 0 2 0 16 0 0 9 5 0 12 0 0 0 29 0 0 0 0 0 13 15 0 2 15 8 14 22 4 23 3 112 574 75 42 0 72 330 375 411 469 524 70 616 33 0 42 114 372 417 453 511 566 0 686 37 70 112 184 442 487 523 581 636 2 688 39 72 114 186 444 489 525 583 638 686 0 649 616 574 502 244 199 163 105 50 16 670 21 54 96 168 426 471 507 565 620 487 199 450 417 375 303 45 0 36 94 149 487 199 450 417 375 303 45 0 36 94 149 79 607 42 9 33 105 363 408 444 502 557 42 644 5 28 70 142 400 445 481 539 594 636 50 599 566 524 452 194 149 113 55 0 25 661 12 45 87 159 417 462 498 556 611 636 50 599 566 524 452 194 149 113 55 0 442 244 405 372 330 258 0 45 81 139 194 442 244 405 372 330 258 0 45 81 139 194 213 473 176 143 101 29 229 274 310 368 423 37 649 0 33 75 147 405 450 486 544 599 37 649 0 33 75 147 405 450 486 544 599 581 105 544 511 469 397 139 94 58 0 55 581 105 544 511 469 397 139 94 58 0 55 184 502 147 114 72 0 258 303 339 397 452 13 699 50 83 125 197 455 500 536 594 649 97 589 60 27 15 87 345 390 426 484 539 523 163 486 453 411 339 81 36 0 58 113 521 165 484 451 409 337 79 34 2 60 115 97 589 60 27 15 87 345 390 426 484 539 62 624 25 8 50 122 380 425 461 519 574 56 630 19 14 56 128 386 431 467 525 580 162 524 125 92 50 22 280 325 361 419 474 33 653 4 37 79 151 409 454 490 548 603 135 551 98 65 23 49 307 352 388 446 501 73 613 36 3 39 111 369 414 450 508 563 25 711 62 95 137 209 467 512 548 606 661 </values> 38.75/4.92 v </instantiation> 38.75/4.92
OK 192
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 (15381 MiB free)
memory of node 1: 16384 MiB (13408 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398538-1568610160/watcher-4398538-1568610160 -o /tmp/evaluation-result-4398538-1568610160/solver-4398538-1568610160 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568597210-21314 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398538-1568610160.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25135, runsolver pid=25132
[startup+0.100767 s]*
/proc/loadavg: 7.69 8.13 7.94 9/199 25144
/proc/meminfo: memFree=29463516/32770624 swapFree=66958316/67108860
[pid=25135] ppid=25132 vsize=630936 memory=23588 CPUtime=0.54 cores=0-7
/proc/25135/stat : 25135 (cosoco) S 25132 25135 21287 0 -1 1077944320 6773 0 0 0 53 1 0 0 20 0 9 0 436952447 646078464 5897 33554432000 4194304 6211092 140733344630304 140733344628560 140062890389239 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
/proc/25135/statm: 157734 5897 905 493 0 151039 0
[pid=25135/tid=25137] ppid=25132 vsize=630936 memory=1398722017469774279 CPUtime=0.05 cores=0-7
/proc/25135/task/25137/stat : 25137 (cosoco) R 25132 25135 21287 0 -1 4202560 217 0 0 0 5 0 0 0 20 0 9 0 436952451 646078464 5897 33554432000 4194304 6211092 140733344630304 140062867245592 5155804 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25138] ppid=25132 vsize=630936 memory=4872558142750483522 CPUtime=0.06 cores=0-7
/proc/25135/task/25138/stat : 25138 (cosoco) R 25132 25135 21287 0 -1 4202560 281 0 0 0 6 0 0 0 20 0 9 0 436952451 646078464 5897 33554432000 4194304 6211092 140733344630304 140062858853392 5250289 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25139] ppid=25132 vsize=630936 memory=140543841474176 CPUtime=0.06 cores=0-7
/proc/25135/task/25139/stat : 25139 (cosoco) R 25132 25135 21287 0 -1 4202560 266 0 0 0 6 0 0 0 20 0 9 0 436952451 646078464 5897 33554432000 4194304 6211092 140733344630304 140062850460264 5125793 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25140] ppid=25132 vsize=630936 memory=0 CPUtime=0.06 cores=0-7
/proc/25135/task/25140/stat : 25140 (cosoco) R 25132 25135 21287 0 -1 4202560 261 0 0 0 6 0 0 0 20 0 9 0 436952451 646078464 5897 33554432000 4194304 6211092 140733344630304 140062842067480 5186269 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25141] ppid=25132 vsize=630936 memory=0 CPUtime=0.06 cores=0-7
/proc/25135/task/25141/stat : 25141 (cosoco) R 25132 25135 21287 0 -1 4202560 287 0 0 0 6 0 0 0 20 0 9 0 436952451 646078464 5897 33554432000 4194304 6211092 140733344630304 140062833675296 5186199 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25142] ppid=25132 vsize=630936 memory=0 CPUtime=0.06 cores=0-7
/proc/25135/task/25142/stat : 25142 (cosoco) R 25132 25135 21287 0 -1 4202560 278 0 0 0 6 0 0 0 20 0 9 0 436952451 646078464 5897 33554432000 4194304 6211092 140733344630304 140062825282576 5250298 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25143] ppid=25132 vsize=630936 memory=-1 CPUtime=0.06 cores=0-7
/proc/25135/task/25143/stat : 25143 (cosoco) R 25132 25135 21287 0 -1 4202560 285 0 0 0 6 0 0 0 20 0 9 0 436952451 646078464 5897 33554432000 4194304 6211092 140733344630304 140062816889888 5125797 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25144] ppid=25132 vsize=630936 memory=0 CPUtime=0.06 cores=0-7
/proc/25135/task/25144/stat : 25144 (cosoco) R 25132 25135 21287 0 -1 4202560 284 0 0 0 6 0 0 0 20 0 9 0 436952451 646078464 5897 33554432000 4194304 6211092 140733344630304 140062808497184 5009195 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 630936 KiB
Current children cumulated memory: 23588 KiB
[startup+0.216767 s]*
/proc/loadavg: 7.69 8.13 7.94 10/199 25144
/proc/meminfo: memFree=29463512/32770624 swapFree=66958316/67108860
[pid=25135] ppid=25132 vsize=630936 memory=24368 CPUtime=1.46 cores=0-7
/proc/25135/stat : 25135 (cosoco) S 25132 25135 21287 0 -1 1077944320 6872 0 0 0 145 1 0 0 20 0 9 0 436952447 646078464 6092 33554432000 4194304 6211092 140733344630304 140733344628560 140062890389239 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
/proc/25135/statm: 157734 6092 905 493 0 151039 0
[pid=25135/tid=25137] ppid=25132 vsize=630936 memory=8316850467074736180 CPUtime=0.15 cores=0-7
/proc/25135/task/25137/stat : 25137 (cosoco) R 25132 25135 21287 0 -1 4202560 230 0 0 0 15 0 0 0 20 0 9 0 436952451 646078464 6092 33554432000 4194304 6211092 140733344630304 140062867245672 5126415 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25138] ppid=25132 vsize=630936 memory=9230 CPUtime=0.17 cores=0-7
/proc/25135/task/25138/stat : 25138 (cosoco) R 25132 25135 21287 0 -1 4202560 314 0 0 0 17 0 0 0 20 0 9 0 436952451 646078464 6092 33554432000 4194304 6211092 140733344630304 140062858853048 5250287 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25139] ppid=25132 vsize=630936 memory=140543841497159 CPUtime=0.18 cores=0-7
/proc/25135/task/25139/stat : 25139 (cosoco) R 25132 25135 21287 0 -1 4202560 270 0 0 0 18 0 0 0 20 0 9 0 436952451 646078464 6092 33554432000 4194304 6211092 140733344630304 140062850460944 5397216 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25140] ppid=25132 vsize=630936 memory=-1 CPUtime=0.18 cores=0-7
/proc/25135/task/25140/stat : 25140 (cosoco) R 25132 25135 21287 0 -1 4202560 273 0 0 0 18 0 0 0 20 0 9 0 436952451 646078464 6092 33554432000 4194304 6211092 140733344630304 140062842067560 5126576 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25141] ppid=25132 vsize=630936 memory=0 CPUtime=0.18 cores=0-7
/proc/25135/task/25141/stat : 25141 (cosoco) R 25132 25135 21287 0 -1 4202560 287 0 0 0 18 0 0 0 20 0 9 0 436952451 646078464 6092 33554432000 4194304 6211092 140733344630304 140062833675392 5250284 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25142] ppid=25132 vsize=630936 memory=0 CPUtime=0.17 cores=0-7
/proc/25135/task/25142/stat : 25142 (cosoco) R 25132 25135 21287 0 -1 4202560 289 0 0 0 17 0 0 0 20 0 9 0 436952451 646078464 6092 33554432000 4194304 6211092 140733344630304 140062825282152 5250287 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25143] ppid=25132 vsize=630936 memory=-1 CPUtime=0.18 cores=0-7
/proc/25135/task/25143/stat : 25143 (cosoco) R 25132 25135 21287 0 -1 4202560 298 0 0 0 18 0 0 0 20 0 9 0 436952451 646078464 6092 33554432000 4194304 6211092 140733344630304 140062816889528 5301620 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25144] ppid=25132 vsize=630936 memory=0 CPUtime=0.18 cores=0-7
/proc/25135/task/25144/stat : 25144 (cosoco) R 25132 25135 21287 0 -1 4202560 299 0 0 0 18 0 0 0 20 0 9 0 436952451 646078464 6092 33554432000 4194304 6211092 140733344630304 140062808496824 5397226 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 630936 KiB
Current children cumulated memory: 24368 KiB
[startup+0.310768 s]*
/proc/loadavg: 7.69 8.13 7.94 9/199 25144
/proc/meminfo: memFree=29463008/32770624 swapFree=66958316/67108860
[pid=25135] ppid=25132 vsize=630936 memory=24628 CPUtime=2.2 cores=0-7
/proc/25135/stat : 25135 (cosoco) S 25132 25135 21287 0 -1 1077944320 6965 0 0 0 219 1 0 0 20 0 9 0 436952447 646078464 6157 33554432000 4194304 6211092 140733344630304 140733344628560 140062890389239 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
/proc/25135/statm: 157734 6157 905 493 0 151039 0
[pid=25135/tid=25137] ppid=25132 vsize=630936 memory=1398722017469774279 CPUtime=0.24 cores=0-7
/proc/25135/task/25137/stat : 25137 (cosoco) R 25132 25135 21287 0 -1 4202560 243 0 0 0 24 0 0 0 20 0 9 0 436952451 646078464 6157 33554432000 4194304 6211092 140733344630304 140062867245752 5250287 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25138] ppid=25132 vsize=630936 memory=4872558044660077418 CPUtime=0.27 cores=0-7
/proc/25135/task/25138/stat : 25138 (cosoco) R 25132 25135 21287 0 -1 4202560 328 0 0 0 27 0 0 0 20 0 9 0 436952451 646078464 6157 33554432000 4194304 6211092 140733344630304 140062858853048 5409444 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25139] ppid=25132 vsize=630936 memory=0 CPUtime=0.27 cores=0-7
/proc/25135/task/25139/stat : 25139 (cosoco) R 25132 25135 21287 0 -1 4202560 284 0 0 0 27 0 0 0 20 0 9 0 436952451 646078464 6157 33554432000 4194304 6211092 140733344630304 140062850460944 5250307 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25140] ppid=25132 vsize=630936 memory=6944656592455097440 CPUtime=0.27 cores=0-7
/proc/25135/task/25140/stat : 25140 (cosoco) R 25132 25135 21287 0 -1 4202560 286 0 0 0 27 0 0 0 20 0 9 0 436952451 646078464 6157 33554432000 4194304 6211092 140733344630304 140062842067640 5397226 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25141] ppid=25132 vsize=630936 memory=6656426216303648864 CPUtime=0.27 cores=0-7
/proc/25135/task/25141/stat : 25141 (cosoco) R 25132 25135 21287 0 -1 4202560 309 0 0 0 27 0 0 0 20 0 9 0 436952451 646078464 6157 33554432000 4194304 6211092 140733344630304 140062833675392 5250287 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25142] ppid=25132 vsize=630936 memory=0 CPUtime=0.27 cores=0-7
/proc/25135/task/25142/stat : 25142 (cosoco) R 25132 25135 21287 0 -1 4202560 297 0 0 0 27 0 0 0 20 0 9 0 436952451 646078464 6157 33554432000 4194304 6211092 140733344630304 140062825282152 5250272 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25143] ppid=25132 vsize=630936 memory=0 CPUtime=0.27 cores=0-7
/proc/25135/task/25143/stat : 25143 (cosoco) R 25132 25135 21287 0 -1 4202560 302 0 0 0 27 0 0 0 20 0 9 0 436952451 646078464 6157 33554432000 4194304 6211092 140733344630304 140062816889528 5193744 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25144] ppid=25132 vsize=630936 memory=0 CPUtime=0.27 cores=0-7
/proc/25135/task/25144/stat : 25144 (cosoco) R 25132 25135 21287 0 -1 4202560 302 0 0 0 27 0 0 0 20 0 9 0 436952451 646078464 6157 33554432000 4194304 6211092 140733344630304 140062808496824 5250298 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
Current children cumulated CPU time: 2.2 s
Current children cumulated vsize: 630936 KiB
Current children cumulated memory: 24628 KiB
[startup+0.700767 s]
/proc/loadavg: 7.69 8.13 7.94 9/199 25144
/proc/meminfo: memFree=29463008/32770624 swapFree=66958316/67108860
[pid=25135] ppid=25132 vsize=630936 memory=24628 CPUtime=5.23 cores=0-7
/proc/25135/stat : 25135 (cosoco) S 25132 25135 21287 0 -1 1077944320 6973 0 0 0 522 1 0 0 20 0 9 0 436952447 646078464 6157 33554432000 4194304 6211092 140733344630304 140733344628560 140062890389239 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
/proc/25135/statm: 157734 6157 905 493 0 151039 0
[pid=25135/tid=25137] ppid=25132 vsize=630936 memory=6935054825532540783 CPUtime=0.6 cores=0-7
/proc/25135/task/25137/stat : 25137 (cosoco) R 25132 25135 21287 0 -1 4202560 243 0 0 0 60 0 0 0 20 0 9 0 436952451 646078464 6157 33554432000 4194304 6211092 140733344630304 140062867245752 5250298 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25138] ppid=25132 vsize=630936 memory=1760 CPUtime=0.65 cores=0-7
/proc/25135/task/25138/stat : 25138 (cosoco) R 25132 25135 21287 0 -1 4202560 328 0 0 0 65 0 0 0 20 0 9 0 436952451 646078464 6157 33554432000 4194304 6211092 140733344630304 140062858853648 5250272 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25139] ppid=25132 vsize=630936 memory=111636 CPUtime=0.65 cores=0-7
/proc/25135/task/25139/stat : 25139 (cosoco) R 25132 25135 21287 0 -1 4202560 284 0 0 0 65 0 0 0 20 0 9 0 436952451 646078464 6157 33554432000 4194304 6211092 140733344630304 140062850460944 5250287 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25140] ppid=25132 vsize=630936 memory=804 CPUtime=0.65 cores=0-7
/proc/25135/task/25140/stat : 25140 (cosoco) R 25132 25135 21287 0 -1 4202560 286 0 0 0 65 0 0 0 20 0 9 0 436952451 646078464 6157 33554432000 4194304 6211092 140733344630304 140062842067640 5250272 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25141] ppid=25132 vsize=630936 memory=1804 CPUtime=0.65 cores=0-7
/proc/25135/task/25141/stat : 25141 (cosoco) R 25132 25135 21287 0 -1 4202560 317 0 0 0 65 0 0 0 20 0 9 0 436952451 646078464 6157 33554432000 4194304 6211092 140733344630304 140062833675392 5250279 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25142] ppid=25132 vsize=630936 memory=916 CPUtime=0.65 cores=0-7
/proc/25135/task/25142/stat : 25142 (cosoco) R 25132 25135 21287 0 -1 4202560 297 0 0 0 65 0 0 0 20 0 9 0 436952451 646078464 6157 33554432000 4194304 6211092 140733344630304 140062825282832 5389872 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25143] ppid=25132 vsize=630936 memory=-7175204567652784766 CPUtime=0.65 cores=0-7
/proc/25135/task/25143/stat : 25143 (cosoco) R 25132 25135 21287 0 -1 4202560 302 0 0 0 65 0 0 0 20 0 9 0 436952451 646078464 6157 33554432000 4194304 6211092 140733344630304 140062816889528 5397375 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25144] ppid=25132 vsize=630936 memory=3054156605268465310 CPUtime=0.65 cores=0-7
/proc/25135/task/25144/stat : 25144 (cosoco) R 25132 25135 21287 0 -1 4202560 302 0 0 0 65 0 0 0 20 0 9 0 436952451 646078464 6157 33554432000 4194304 6211092 140733344630304 140062808496824 5157993 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
Current children cumulated CPU time: 5.23 s
Current children cumulated vsize: 630936 KiB
Current children cumulated memory: 24628 KiB
[startup+1.50077 s]
/proc/loadavg: 7.69 8.13 7.94 9/199 25144
/proc/meminfo: memFree=29462636/32770624 swapFree=66958316/67108860
[pid=25135] ppid=25132 vsize=630936 memory=25536 CPUtime=11.6 cores=0-7
/proc/25135/stat : 25135 (cosoco) S 25132 25135 21287 0 -1 1077944320 12156 0 0 0 1158 2 0 0 20 0 9 0 436952447 646078464 6384 33554432000 4194304 6211092 140733344630304 140733344628560 140062890389239 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
/proc/25135/statm: 157734 6384 905 493 0 151039 0
[pid=25135/tid=25137] ppid=25132 vsize=630936 memory=6378026435742 CPUtime=1.38 cores=0-7
/proc/25135/task/25137/stat : 25137 (cosoco) R 25132 25135 21287 0 -1 4202560 919 0 0 0 138 0 0 0 20 0 9 0 436952451 646078464 6384 33554432000 4194304 6211092 140733344630304 140062867245752 5250287 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25138] ppid=25132 vsize=630936 memory=288230617509003574 CPUtime=1.45 cores=0-7
/proc/25135/task/25138/stat : 25138 (cosoco) R 25132 25135 21287 0 -1 4202560 1237 0 0 0 145 0 0 0 20 0 9 0 436952451 646078464 6384 33554432000 4194304 6211092 140733344630304 140062858853648 5250272 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25139] ppid=25132 vsize=630936 memory=0 CPUtime=1.45 cores=0-7
/proc/25135/task/25139/stat : 25139 (cosoco) R 25132 25135 21287 0 -1 4202560 702 0 0 0 145 0 0 0 20 0 9 0 436952451 646078464 6384 33554432000 4194304 6211092 140733344630304 140062850460944 5155800 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25140] ppid=25132 vsize=630936 memory=0 CPUtime=1.45 cores=0-7
/proc/25135/task/25140/stat : 25140 (cosoco) R 25132 25135 21287 0 -1 4202560 1074 0 0 0 145 0 0 0 20 0 9 0 436952451 646078464 6384 33554432000 4194304 6211092 140733344630304 140062842067640 5393063 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25141] ppid=25132 vsize=630936 memory=0 CPUtime=1.45 cores=0-7
/proc/25135/task/25141/stat : 25141 (cosoco) R 25132 25135 21287 0 -1 4202560 768 0 0 0 145 0 0 0 20 0 9 0 436952451 646078464 6384 33554432000 4194304 6211092 140733344630304 140062833674936 5126107 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25142] ppid=25132 vsize=630936 memory=0 CPUtime=1.45 cores=0-7
/proc/25135/task/25142/stat : 25142 (cosoco) R 25132 25135 21287 0 -1 4202560 1273 0 0 0 145 0 0 0 20 0 9 0 436952451 646078464 6384 33554432000 4194304 6211092 140733344630304 140062825282832 5393040 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25143] ppid=25132 vsize=630936 memory=-2746958450906831424 CPUtime=1.44 cores=0-7
/proc/25135/task/25143/stat : 25143 (cosoco) R 25132 25135 21287 0 -1 4202560 752 0 0 0 144 0 0 0 20 0 9 0 436952451 646078464 6384 33554432000 4194304 6211092 140733344630304 140062816889528 5397352 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25144] ppid=25132 vsize=630936 memory=0 CPUtime=1.45 cores=0-7
/proc/25135/task/25144/stat : 25144 (cosoco) R 25132 25135 21287 0 -1 4202560 817 0 0 0 145 0 0 0 20 0 9 0 436952451 646078464 6384 33554432000 4194304 6211092 140733344630304 140062808496824 5126560 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
Current children cumulated CPU time: 11.6 s
Current children cumulated vsize: 630936 KiB
Current children cumulated memory: 25536 KiB
[startup+3.10977 s]
/proc/loadavg: 7.69 8.13 7.94 9/199 25144
/proc/meminfo: memFree=29461700/32770624 swapFree=66958316/67108860
[pid=25135] ppid=25132 vsize=630936 memory=25712 CPUtime=24.44 cores=0-7
/proc/25135/stat : 25135 (cosoco) S 25132 25135 21287 0 -1 1077944320 15732 0 0 0 2442 2 0 0 20 0 9 0 436952447 646078464 6428 33554432000 4194304 6211092 140733344630304 140733344628560 140062890389239 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
/proc/25135/statm: 157734 6428 905 493 0 151039 0
[pid=25135/tid=25137] ppid=25132 vsize=630936 memory=25536 CPUtime=2.97 cores=0-7
/proc/25135/task/25137/stat : 25137 (cosoco) R 25132 25135 21287 0 -1 4202560 1337 0 0 0 297 0 0 0 20 0 9 0 436952451 646078464 6428 33554432000 4194304 6211092 140733344630304 140062867246352 5193744 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25138] ppid=25132 vsize=630936 memory=7016714190785702558 CPUtime=3.05 cores=0-7
/proc/25135/task/25138/stat : 25138 (cosoco) R 25132 25135 21287 0 -1 4202560 1719 0 0 0 305 0 0 0 20 0 9 0 436952451 646078464 6428 33554432000 4194304 6211092 140733344630304 140062858853504 5125783 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25139] ppid=25132 vsize=630936 memory=0 CPUtime=3.05 cores=0-7
/proc/25135/task/25139/stat : 25139 (cosoco) R 25132 25135 21287 0 -1 4202560 1206 0 0 0 305 0 0 0 20 0 9 0 436952451 646078464 6428 33554432000 4194304 6211092 140733344630304 140062850460344 5250241 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25140] ppid=25132 vsize=630936 memory=0 CPUtime=3.06 cores=0-7
/proc/25135/task/25140/stat : 25140 (cosoco) R 25132 25135 21287 0 -1 4202560 1537 0 0 0 306 0 0 0 20 0 9 0 436952451 646078464 6428 33554432000 4194304 6211092 140733344630304 140062842067640 5250275 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25141] ppid=25132 vsize=630936 memory=24628 CPUtime=3.06 cores=0-7
/proc/25135/task/25141/stat : 25141 (cosoco) R 25132 25135 21287 0 -1 4202560 1152 0 0 0 306 0 0 0 20 0 9 0 436952451 646078464 6428 33554432000 4194304 6211092 140733344630304 140062833674936 5250287 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25142] ppid=25132 vsize=630936 memory=2212 CPUtime=3.05 cores=0-7
/proc/25135/task/25142/stat : 25142 (cosoco) R 25132 25135 21287 0 -1 4202560 1680 0 0 0 305 0 0 0 20 0 9 0 436952451 646078464 6428 33554432000 4194304 6211092 140733344630304 140062825282832 5250459 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25143] ppid=25132 vsize=630936 memory=24628 CPUtime=3.05 cores=0-7
/proc/25135/task/25143/stat : 25143 (cosoco) R 25132 25135 21287 0 -1 4202560 1200 0 0 0 305 0 0 0 20 0 9 0 436952451 646078464 6428 33554432000 4194304 6211092 140733344630304 140062816889528 5125783 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25144] ppid=25132 vsize=630936 memory=25536 CPUtime=3.06 cores=0-7
/proc/25135/task/25144/stat : 25144 (cosoco) R 25132 25135 21287 0 -1 4202560 1287 0 0 0 306 0 0 0 20 0 9 0 436952451 646078464 6428 33554432000 4194304 6211092 140733344630304 140062808496824 5250307 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
Current children cumulated CPU time: 24.44 s
Current children cumulated vsize: 630936 KiB
Current children cumulated memory: 25712 KiB
[startup+4.92775 s]
# the end of solver process 25135 was just reported to runsolver
# cumulated CPU time of all completed processes: user=38.9246 s, system=0.03198 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20076 s]
/proc/loadavg: 7.69 8.13 7.94 9/199 25144
/proc/meminfo: memFree=29461700/32770624 swapFree=66958316/67108860
[pid=25135] ppid=25132 vsize=630936 memory=25712 CPUtime=25.17 cores=0-7
/proc/25135/stat : 25135 (cosoco) S 25132 25135 21287 0 -1 1077944320 15750 0 0 0 2515 2 0 0 20 0 9 0 436952447 646078464 6428 33554432000 4194304 6211092 140733344630304 140733344628560 140062890389239 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
/proc/25135/statm: 157734 6428 905 493 0 151039 0
[pid=25135/tid=25137] ppid=25132 vsize=630936 memory=0 CPUtime=3.06 cores=0-7
/proc/25135/task/25137/stat : 25137 (cosoco) R 25132 25135 21287 0 -1 4202560 1338 0 0 0 306 0 0 0 20 0 9 0 436952451 646078464 6428 33554432000 4194304 6211092 140733344630304 140062867246352 5125674 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25138] ppid=25132 vsize=630936 memory=0 CPUtime=3.14 cores=0-7
/proc/25135/task/25138/stat : 25138 (cosoco) R 25132 25135 21287 0 -1 4202560 1720 0 0 0 314 0 0 0 20 0 9 0 436952451 646078464 6428 33554432000 4194304 6211092 140733344630304 140062858853504 5250284 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25139] ppid=25132 vsize=630936 memory=6935054825532540783 CPUtime=3.15 cores=0-7
/proc/25135/task/25139/stat : 25139 (cosoco) R 25132 25135 21287 0 -1 4202560 1209 0 0 0 315 0 0 0 20 0 9 0 436952451 646078464 6428 33554432000 4194304 6211092 140733344630304 140062850460344 5250287 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25140] ppid=25132 vsize=630936 memory=140543745243728 CPUtime=3.15 cores=0-7
/proc/25135/task/25140/stat : 25140 (cosoco) R 25132 25135 21287 0 -1 4202560 1538 0 0 0 315 0 0 0 20 0 9 0 436952451 646078464 6428 33554432000 4194304 6211092 140733344630304 140062842067640 5193754 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25141] ppid=25132 vsize=630936 memory=0 CPUtime=3.15 cores=0-7
/proc/25135/task/25141/stat : 25141 (cosoco) R 25132 25135 21287 0 -1 4202560 1160 0 0 0 315 0 0 0 20 0 9 0 436952451 646078464 6428 33554432000 4194304 6211092 140733344630304 140062833674936 5250450 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25142] ppid=25132 vsize=630936 memory=0 CPUtime=3.14 cores=0-7
/proc/25135/task/25142/stat : 25142 (cosoco) R 25132 25135 21287 0 -1 4202560 1682 0 0 0 314 0 0 0 20 0 9 0 436952451 646078464 6428 33554432000 4194304 6211092 140733344630304 140062825282832 5008967 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25143] ppid=25132 vsize=630936 memory=0 CPUtime=3.14 cores=0-7
/proc/25135/task/25143/stat : 25143 (cosoco) R 25132 25135 21287 0 -1 4202560 1201 0 0 0 314 0 0 0 20 0 9 0 436952451 646078464 6428 33554432000 4194304 6211092 140733344630304 140062816889528 5250287 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25144] ppid=25132 vsize=630936 memory=281087490130160 CPUtime=3.15 cores=0-7
/proc/25135/task/25144/stat : 25144 (cosoco) R 25132 25135 21287 0 -1 4202560 1289 0 0 0 315 0 0 0 20 0 9 0 436952451 646078464 6428 33554432000 4194304 6211092 140733344630304 140062808496824 5250275 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
Current children cumulated CPU time: 25.17 s
Current children cumulated vsize: 630936 KiB
Current children cumulated memory: 25712 KiB
[startup+4.00077 s]*
/proc/loadavg: 7.69 8.13 7.94 9/199 25144
/proc/meminfo: memFree=29461576/32770624 swapFree=66958316/67108860
[pid=25135] ppid=25132 vsize=630936 memory=25712 CPUtime=31.62 cores=0-7
/proc/25135/stat : 25135 (cosoco) S 25132 25135 21287 0 -1 1077944320 15815 0 0 0 3160 2 0 0 20 0 9 0 436952447 646078464 6428 33554432000 4194304 6211092 140733344630304 140733344628560 140062890389239 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
/proc/25135/statm: 157734 6428 905 493 0 151039 0
[pid=25135/tid=25137] ppid=25132 vsize=630936 memory=1398722017469774279 CPUtime=3.86 cores=0-7
/proc/25135/task/25137/stat : 25137 (cosoco) R 25132 25135 21287 0 -1 4202560 1377 0 0 0 386 0 0 0 20 0 9 0 436952451 646078464 6428 33554432000 4194304 6211092 140733344630304 140062867246352 5250467 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25138] ppid=25132 vsize=630936 memory=4872558044660077418 CPUtime=3.95 cores=0-7
/proc/25135/task/25138/stat : 25138 (cosoco) R 25132 25135 21287 0 -1 4202560 1723 0 0 0 395 0 0 0 20 0 9 0 436952451 646078464 6428 33554432000 4194304 6211092 140733344630304 140062858853504 5250272 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25139] ppid=25132 vsize=630936 memory=0 CPUtime=3.95 cores=0-7
/proc/25135/task/25139/stat : 25139 (cosoco) R 25132 25135 21287 0 -1 4202560 1222 0 0 0 395 0 0 0 20 0 9 0 436952451 646078464 6428 33554432000 4194304 6211092 140733344630304 140062850460944 5125808 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25140] ppid=25132 vsize=630936 memory=0 CPUtime=3.96 cores=0-7
/proc/25135/task/25140/stat : 25140 (cosoco) R 25132 25135 21287 0 -1 4202560 1540 0 0 0 396 0 0 0 20 0 9 0 436952451 646078464 6428 33554432000 4194304 6211092 140733344630304 140062842067640 5409453 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25141] ppid=25132 vsize=630936 memory=0 CPUtime=3.96 cores=0-7
/proc/25135/task/25141/stat : 25141 (cosoco) R 25132 25135 21287 0 -1 4202560 1160 0 0 0 396 0 0 0 20 0 9 0 436952451 646078464 6428 33554432000 4194304 6211092 140733344630304 140062833674936 5250298 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25142] ppid=25132 vsize=630936 memory=0 CPUtime=3.95 cores=0-7
/proc/25135/task/25142/stat : 25142 (cosoco) R 25132 25135 21287 0 -1 4202560 1684 0 0 0 395 0 0 0 20 0 9 0 436952451 646078464 6428 33554432000 4194304 6211092 140733344630304 140062825282576 5126560 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25143] ppid=25132 vsize=630936 memory=0 CPUtime=3.95 cores=0-7
/proc/25135/task/25143/stat : 25143 (cosoco) R 25132 25135 21287 0 -1 4202560 1204 0 0 0 395 0 0 0 20 0 9 0 436952451 646078464 6428 33554432000 4194304 6211092 140733344630304 140062816889528 5250275 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25144] ppid=25132 vsize=630936 memory=0 CPUtime=3.96 cores=0-7
/proc/25135/task/25144/stat : 25144 (cosoco) R 25132 25135 21287 0 -1 4202560 1291 0 0 0 396 0 0 0 20 0 9 0 436952451 646078464 6428 33554432000 4194304 6211092 140733344630304 140062808496824 5126576 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
Current children cumulated CPU time: 31.62 s
Current children cumulated vsize: 630936 KiB
Current children cumulated memory: 25712 KiB
[startup+4.40077 s]
/proc/loadavg: 7.69 8.13 7.94 9/199 25144
/proc/meminfo: memFree=29461576/32770624 swapFree=66958316/67108860
[pid=25135] ppid=25132 vsize=630936 memory=25720 CPUtime=34.76 cores=0-7
/proc/25135/stat : 25135 (cosoco) S 25132 25135 21287 0 -1 1077944320 19301 0 0 0 3473 3 0 0 20 0 9 0 436952447 646078464 6430 33554432000 4194304 6211092 140733344630304 140733344628560 140062890389239 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
/proc/25135/statm: 157734 6430 905 493 0 151039 0
[pid=25135/tid=25137] ppid=25132 vsize=630936 memory=988 CPUtime=4.24 cores=0-7
/proc/25135/task/25137/stat : 25137 (cosoco) R 25132 25135 21287 0 -1 4202560 1848 0 0 0 424 0 0 0 20 0 9 0 436952451 646078464 6430 33554432000 4194304 6211092 140733344630304 140062867246352 5017373 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25138] ppid=25132 vsize=630936 memory=2020 CPUtime=4.34 cores=0-7
/proc/25135/task/25138/stat : 25138 (cosoco) R 25132 25135 21287 0 -1 4202560 2215 0 0 0 434 0 0 0 20 0 9 0 436952451 646078464 6430 33554432000 4194304 6211092 140733344630304 140062858853504 5250287 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25139] ppid=25132 vsize=630936 memory=1432 CPUtime=4.34 cores=0-7
/proc/25135/task/25139/stat : 25139 (cosoco) R 25132 25135 21287 0 -1 4202560 1561 0 0 0 434 0 0 0 20 0 9 0 436952451 646078464 6430 33554432000 4194304 6211092 140733344630304 140062850460944 5125793 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25140] ppid=25132 vsize=630936 memory=776 CPUtime=4.35 cores=0-7
/proc/25135/task/25140/stat : 25140 (cosoco) R 25132 25135 21287 0 -1 4202560 1958 0 0 0 435 0 0 0 20 0 9 0 436952451 646078464 6430 33554432000 4194304 6211092 140733344630304 140062842067640 5126748 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25141] ppid=25132 vsize=630936 memory=25712 CPUtime=4.35 cores=0-7
/proc/25135/task/25141/stat : 25141 (cosoco) R 25132 25135 21287 0 -1 4202560 1602 0 0 0 435 0 0 0 20 0 9 0 436952451 646078464 6430 33554432000 4194304 6211092 140733344630304 140062833674936 140062874357660 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25142] ppid=25132 vsize=630936 memory=988 CPUtime=4.34 cores=0-7
/proc/25135/task/25142/stat : 25142 (cosoco) R 25132 25135 21287 0 -1 4202560 2208 0 0 0 434 0 0 0 20 0 9 0 436952451 646078464 6430 33554432000 4194304 6211092 140733344630304 140062825282232 5008844 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25143] ppid=25132 vsize=630936 memory=2020 CPUtime=4.34 cores=0-7
/proc/25135/task/25143/stat : 25143 (cosoco) R 25132 25135 21287 0 -1 4202560 1636 0 0 0 434 0 0 0 20 0 9 0 436952451 646078464 6430 33554432000 4194304 6211092 140733344630304 140062816889528 5250287 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25144] ppid=25132 vsize=630936 memory=1432 CPUtime=4.35 cores=0-7
/proc/25135/task/25144/stat : 25144 (cosoco) R 25132 25135 21287 0 -1 4202560 1663 0 0 0 435 0 0 0 20 0 9 0 436952451 646078464 6430 33554432000 4194304 6211092 140733344630304 140062808496824 5125612 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
Current children cumulated CPU time: 34.76 s
Current children cumulated vsize: 630936 KiB
Current children cumulated memory: 25720 KiB
[startup+4.80076 s]
/proc/loadavg: 7.69 8.13 7.94 9/199 25144
/proc/meminfo: memFree=29461576/32770624 swapFree=66958316/67108860
[pid=25135] ppid=25132 vsize=630936 memory=25720 CPUtime=37.95 cores=0-7
/proc/25135/stat : 25135 (cosoco) S 25132 25135 21287 0 -1 1077944320 19393 0 0 0 3792 3 0 0 20 0 9 0 436952447 646078464 6430 33554432000 4194304 6211092 140733344630304 140733344628560 140062890389239 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
/proc/25135/statm: 157734 6430 905 493 0 151039 0
[pid=25135/tid=25137] ppid=25132 vsize=630936 memory=56 CPUtime=4.64 cores=0-7
/proc/25135/task/25137/stat : 25137 (cosoco) R 25132 25135 21287 0 -1 4202560 1906 0 0 0 464 0 0 0 20 0 9 0 436952451 646078464 6430 33554432000 4194304 6211092 140733344630304 140062867246352 5250289 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25138] ppid=25132 vsize=630936 memory=7085657975949584448 CPUtime=4.74 cores=0-7
/proc/25135/task/25138/stat : 25138 (cosoco) R 25132 25135 21287 0 -1 4202560 2220 0 0 0 474 0 0 0 20 0 9 0 436952451 646078464 6430 33554432000 4194304 6211092 140733344630304 140062858853504 5250279 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25139] ppid=25132 vsize=630936 memory=5865472684213823829 CPUtime=4.74 cores=0-7
/proc/25135/task/25139/stat : 25139 (cosoco) R 25132 25135 21287 0 -1 4202560 1563 0 0 0 474 0 0 0 20 0 9 0 436952451 646078464 6430 33554432000 4194304 6211092 140733344630304 140062850460944 5250272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25140] ppid=25132 vsize=630936 memory=6935054825532540783 CPUtime=4.75 cores=0-7
/proc/25135/task/25140/stat : 25140 (cosoco) R 25132 25135 21287 0 -1 4202560 1970 0 0 0 475 0 0 0 20 0 9 0 436952451 646078464 6430 33554432000 4194304 6211092 140733344630304 140062842067640 5126088 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25141] ppid=25132 vsize=630936 memory=0 CPUtime=4.75 cores=0-7
/proc/25135/task/25141/stat : 25141 (cosoco) R 25132 25135 21287 0 -1 4202560 1608 0 0 0 475 0 0 0 20 0 9 0 436952451 646078464 6430 33554432000 4194304 6211092 140733344630304 140062833674936 5250463 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25142] ppid=25132 vsize=630936 memory=0 CPUtime=4.74 cores=0-7
/proc/25135/task/25142/stat : 25142 (cosoco) R 25132 25135 21287 0 -1 4202560 2210 0 0 0 474 0 0 0 20 0 9 0 436952451 646078464 6430 33554432000 4194304 6211092 140733344630304 140062825282232 5250289 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25143] ppid=25132 vsize=630936 memory=0 CPUtime=4.74 cores=0-7
/proc/25135/task/25143/stat : 25143 (cosoco) R 25132 25135 21287 0 -1 4202560 1638 0 0 0 474 0 0 0 20 0 9 0 436952451 646078464 6430 33554432000 4194304 6211092 140733344630304 140062816889528 5008816 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25144] ppid=25132 vsize=630936 memory=140543745167760 CPUtime=4.75 cores=0-7
/proc/25135/task/25144/stat : 25144 (cosoco) R 25132 25135 21287 0 -1 4202560 1664 0 0 0 475 0 0 0 20 0 9 0 436952451 646078464 6430 33554432000 4194304 6211092 140733344630304 140062808496824 5250287 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
Current children cumulated CPU time: 37.95 s
Current children cumulated vsize: 630936 KiB
Current children cumulated memory: 25720 KiB
[startup+4.90077 s]
/proc/loadavg: 7.69 8.13 7.94 9/199 25144
/proc/meminfo: memFree=29461576/32770624 swapFree=66958316/67108860
[pid=25135] ppid=25132 vsize=630936 memory=25740 CPUtime=38.75 cores=0-7
/proc/25135/stat : 25135 (cosoco) S 25132 25135 21287 0 -1 1077944320 19442 0 0 0 3872 3 0 0 20 0 9 0 436952447 646078464 6435 33554432000 4194304 6211092 140733344630304 140733344628560 140062890389239 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
/proc/25135/statm: 157734 6435 905 493 0 151039 0
[pid=25135/tid=25137] ppid=25132 vsize=630936 memory=25720 CPUtime=4.74 cores=0-7
/proc/25135/task/25137/stat : 25137 (cosoco) R 25132 25135 21287 0 -1 4202560 1906 0 0 0 474 0 0 0 20 0 9 0 436952451 646078464 6435 33554432000 4194304 6211092 140733344630304 140062867246352 5125793 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25138] ppid=25132 vsize=630936 memory=140543745167792 CPUtime=4.84 cores=0-7
/proc/25135/task/25138/stat : 25138 (cosoco) R 25132 25135 21287 0 -1 4202560 2220 0 0 0 484 0 0 0 20 0 9 0 436952451 646078464 6435 33554432000 4194304 6211092 140733344630304 140062858853504 5250279 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25139] ppid=25132 vsize=630936 memory=25536 CPUtime=4.84 cores=0-7
/proc/25135/task/25139/stat : 25139 (cosoco) R 25132 25135 21287 0 -1 4202560 1566 0 0 0 484 0 0 0 20 0 9 0 436952451 646078464 6435 33554432000 4194304 6211092 140733344630304 140062850460944 5250287 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25140] ppid=25132 vsize=630936 memory=7016714190785702558 CPUtime=4.85 cores=0-7
/proc/25135/task/25140/stat : 25140 (cosoco) R 25132 25135 21287 0 -1 4202560 1970 0 0 0 485 0 0 0 20 0 9 0 436952451 646078464 6435 33554432000 4194304 6211092 140733344630304 140062842067640 5126222 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25141] ppid=25132 vsize=630936 memory=140543745189729 CPUtime=4.85 cores=0-7
/proc/25135/task/25141/stat : 25141 (cosoco) R 25132 25135 21287 0 -1 4202560 1620 0 0 0 485 0 0 0 20 0 9 0 436952451 646078464 6435 33554432000 4194304 6211092 140733344630304 140062833674936 5157562 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25142] ppid=25132 vsize=630936 memory=576583242059703325 CPUtime=4.84 cores=0-7
/proc/25135/task/25142/stat : 25142 (cosoco) R 25132 25135 21287 0 -1 4202560 2214 0 0 0 484 0 0 0 20 0 9 0 436952451 646078464 6435 33554432000 4194304 6211092 140733344630304 140062825282232 5009317 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25143] ppid=25132 vsize=630936 memory=140548136441471 CPUtime=4.84 cores=0-7
/proc/25135/task/25143/stat : 25143 (cosoco) R 25132 25135 21287 0 -1 4202560 1642 0 0 0 484 0 0 0 20 0 9 0 436952451 646078464 6435 33554432000 4194304 6211092 140733344630304 140062816889888 5250272 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
[pid=25135/tid=25144] ppid=25132 vsize=630936 memory=0 CPUtime=4.85 cores=0-7
/proc/25135/task/25144/stat : 25144 (cosoco) R 25132 25135 21287 0 -1 4202560 1690 0 0 0 485 0 0 0 20 0 9 0 436952451 646078464 6435 33554432000 4194304 6211092 140733344630304 140062808496824 5250289 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13291520 140733344633878 140733344633970 140733344633970 140733344636878 0
Current children cumulated CPU time: 38.75 s
Current children cumulated vsize: 630936 KiB
Current children cumulated memory: 25740 KiB
Child status: 0
Real time (s): 4.92788
CPU time (s): 38.9566
CPU user time (s): 38.9246
CPU system time (s): 0.03198
CPU usage (%): 790.534
Max. virtual memory (cumulated for all children) (KiB): 630936
Max. memory (cumulated for all children) (KiB): 25740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.9246
system time used= 0.03198
maximum resident set size= 25920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19516
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= 640
involuntary context switches= 382
# summary of solver processes directly reported to runsolver:
# pid: 25135
# total CPU time (s): 38.9566
# total CPU user time (s): 38.9246
# total CPU system time (s): 0.03198
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036823 second user time and 0.086667 second system time
The end
Begin job on node145 at 2019-09-16 07:01:58 IDJOB=4398538 IDBENCH=138339 IDSOLVER=2852 FILE ID=node145/4398538-1568610160 RUNJOBID= node145-1568597210-21314 PBS_JOBID= 21703405 Free space on /tmp= 59532 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff60.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398538-1568610160/watcher-4398538-1568610160 -o /tmp/evaluation-result-4398538-1568610160/solver-4398538-1568610160 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568597210-21314 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398538-1568610160.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7a954e9050bb3a994248d3527dd6cfee RANDOM SEED=967104927 node145.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.59 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.59 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.59 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.59 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: 29481756 kB MemAvailable: 31849492 kB Buffers: 165556 kB Cached: 2493716 kB SwapCached: 41076 kB Active: 1271956 kB Inactive: 1431288 kB Active(anon): 7736 kB Inactive(anon): 85464 kB Active(file): 1264220 kB Inactive(file): 1345824 kB Unevictable: 110680 kB Mlocked: 110680 kB SwapTotal: 67108860 kB SwapFree: 66958316 kB Dirty: 2856 kB Writeback: 0 kB AnonPages: 113012 kB Mapped: 46556 kB Shmem: 40612 kB Slab: 175644 kB SReclaimable: 147052 kB SUnreclaim: 28592 kB KernelStack: 3440 kB PageTables: 6380 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507016 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= 59528 MiB End job on node145 at 2019-09-16 07:02:03