Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 parallel | OPT | 192 | 49.2824 | 6.22371 |
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.7387 |
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-4409498-1569834428.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 7. 0.00/0.05 c [pFactory][Group N°0] task 6 launched on thread 0. 0.00/0.05 c [pFactory][Group N°0] task 5 launched on thread 2. 0.00/0.05 c [pFactory][Group N°0] task 4 launched on thread 1. 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 4. 0.00/0.05 c [pFactory][Group N°0] task 1 launched on thread 3. 0.00/0.05 c [pFactory][Group N°0] task 0 launched on thread 6. 0.00/0.05 o 1474 0.00/0.05 o 1109 0.00/0.05 o 570 0.00/0.07 o 405 0.00/0.09 o 400 0.00/0.10 o 396 0.54/0.11 o 384 0.54/0.12 o 376 0.54/0.12 o 365 0.54/0.18 o 321 0.54/0.20 o 307 1.42/0.24 o 289 1.42/0.27 o 277 1.42/0.30 o 266 2.27/0.33 o 262 2.27/0.36 o 252 2.27/0.39 o 243 2.99/0.43 o 228 2.99/0.47 o 227 3.78/0.54 o 220 4.51/0.61 o 209 4.51/0.67 o 200 15.67/2.04 o 192 49.12/6.22 c [pFactory][Group N°0] concurent mode: thread 2 has won with the task 5. 49.12/6.22 c [pFactory][Group N°0] Thread N°0 is joined. 49.12/6.22 c [pFactory][Group N°0] Thread N°1 is joined. 49.12/6.22 c [pFactory][Group N°0] Thread N°2 is joined. 49.12/6.22 c [pFactory][Group N°0] Thread N°3 is joined. 49.12/6.22 c [pFactory][Group N°0] Thread N°4 is joined. 49.12/6.22 c [pFactory][Group N°0] Thread N°5 is joined. 49.12/6.22 c [pFactory][Group N°0] Thread N°6 is joined. 49.12/6.22 c [pFactory][Group N°0] Thread N°7 is joined. 49.12/6.22 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°2) 49.12/6.22 s OPTIMUM FOUND 49.12/6.22 c call to solver : 12 49.12/6.22 c 49.12/6.22 c restarts : 1472 49.12/6.22 c conflicts : 10333 (210 /sec) 49.12/6.22 c decisions : 116473 (2365 /sec) 49.12/6.22 c propagations : 10102296 (205098 /sec) 49.12/6.22 c root propagations : 3912 49.12/6.22 c filter calls : 4467439 (90699 /sec) 49.12/6.22 c useless filter calls : 1730593 (38 %) 49.12/6.22 c Memory used : 584.14 MB 49.12/6.22 c Best bound time (wc) : 2.0426 s 49.12/6.22 c CPU time : 49.2557 s 49.12/6.22 c real time : 6.21729 s 49.12/6.22 49.12/6.22 49.12/6.22 v <instantiation type='solution' cost='192'> 49.12/6.22 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> 49.12/6.22 v <values>0 0 2 0 0 18 0 0 9 5 0 12 0 0 0 29 0 0 0 0 0 11 15 2 0 15 8 14 22 4 23 3 114 574 75 42 0 72 330 375 409 469 524 72 616 33 0 42 114 372 417 451 511 566 2 686 37 70 112 184 442 487 521 581 636 0 688 39 72 114 186 444 489 523 583 638 688 0 649 616 574 502 244 199 165 105 50 18 670 21 54 96 168 426 471 505 565 620 489 199 450 417 375 303 45 0 34 94 149 489 199 450 417 375 303 45 0 34 94 149 81 607 42 9 33 105 363 408 442 502 557 44 644 5 28 70 142 400 445 479 539 594 638 50 599 566 524 452 194 149 115 55 0 27 661 12 45 87 159 417 462 496 556 611 638 50 599 566 524 452 194 149 115 55 0 444 244 405 372 330 258 0 45 79 139 194 444 244 405 372 330 258 0 45 79 139 194 215 473 176 143 101 29 229 274 308 368 423 39 649 0 33 75 147 405 450 484 544 599 39 649 0 33 75 147 405 450 484 544 599 583 105 544 511 469 397 139 94 60 0 55 583 105 544 511 469 397 139 94 60 0 55 186 502 147 114 72 0 258 303 337 397 452 11 699 50 83 125 197 455 500 534 594 649 99 589 60 27 15 87 345 390 424 484 539 525 163 486 453 411 339 81 36 2 58 113 523 165 484 451 409 337 79 34 0 60 115 99 589 60 27 15 87 345 390 424 484 539 64 624 25 8 50 122 380 425 459 519 574 58 630 19 14 56 128 386 431 465 525 580 164 524 125 92 50 22 280 325 359 419 474 35 653 4 37 79 151 409 454 488 548 603 137 551 98 65 23 49 307 352 386 446 501 75 613 36 3 39 111 369 414 448 508 563 23 711 62 95 137 209 467 512 546 606 661 </values> 49.12/6.22 v </instantiation> 49.12/6.22
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 (15144 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-4409498-1569834428/watcher-4409498-1569834428 -o /tmp/evaluation-result-4409498-1569834428/solver-4409498-1569834428 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1569823193-16902 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409498-1569834428.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=18882, runsolver pid=18879 [startup+0.100088 s]* /proc/loadavg: 8.09 8.33 8.35 9/199 18891 /proc/meminfo: memFree=31406072/32770624 swapFree=66954412/67108860 [pid=18882] ppid=18879 vsize=630936 memory=23460 CPUtime=0.54 cores=0-7 /proc/18882/stat : 18882 (cosoco) S 18879 18882 16875 0 -1 1077944320 6809 0 0 0 53 1 0 0 20 0 9 0 559697823 646078464 5865 33554432000 4194304 6211132 140733395079376 140733395077632 140588417367799 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 /proc/18882/statm: 157734 5865 905 493 0 151039 0 [pid=18882/tid=18884] ppid=18879 vsize=630936 memory=576460756329955530 CPUtime=0.06 cores=0-7 /proc/18882/task/18884/stat : 18884 (cosoco) R 18879 18882 16875 0 -1 4202560 256 0 0 0 6 0 0 0 20 0 9 0 559697827 646078464 5865 33554432000 4194304 6211132 140733395079376 140588394224912 5250319 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18885] ppid=18879 vsize=630936 memory=0 CPUtime=0.06 cores=0-7 /proc/18882/task/18885/stat : 18885 (cosoco) R 18879 18882 16875 0 -1 4202560 298 0 0 0 6 0 0 0 20 0 9 0 559697827 646078464 5865 33554432000 4194304 6211132 140733395079376 140588385832208 5193776 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18886] ppid=18879 vsize=630936 memory=139746220243936 CPUtime=0.06 cores=0-7 /proc/18882/task/18886/stat : 18886 (cosoco) R 18879 18882 16875 0 -1 4202560 230 0 0 0 6 0 0 0 20 0 9 0 559697827 646078464 5865 33554432000 4194304 6211132 140733395079376 140588377438744 5250316 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18887] ppid=18879 vsize=630936 memory=0 CPUtime=0.06 cores=0-7 /proc/18882/task/18887/stat : 18887 (cosoco) R 18879 18882 16875 0 -1 4202560 263 0 0 0 6 0 0 0 20 0 9 0 559697827 646078464 5865 33554432000 4194304 6211132 140733395079376 140588369046120 5250482 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18888] ppid=18879 vsize=630936 memory=0 CPUtime=0.06 cores=0-7 /proc/18882/task/18888/stat : 18888 (cosoco) R 18879 18882 16875 0 -1 4202560 275 0 0 0 6 0 0 0 20 0 9 0 559697827 646078464 5865 33554432000 4194304 6211132 140733395079376 140588360653840 5186344 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18889] ppid=18879 vsize=630936 memory=0 CPUtime=0.06 cores=0-7 /proc/18882/task/18889/stat : 18889 (cosoco) R 18879 18882 16875 0 -1 4202560 292 0 0 0 6 0 0 0 20 0 9 0 559697827 646078464 5865 33554432000 4194304 6211132 140733395079376 140588352260712 5250304 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18890] ppid=18879 vsize=630936 memory=-1 CPUtime=0.06 cores=0-7 /proc/18882/task/18890/stat : 18890 (cosoco) R 18879 18882 16875 0 -1 4202560 270 0 0 0 6 0 0 0 20 0 9 0 559697827 646078464 5865 33554432000 4194304 6211132 140733395079376 140588343867848 5017186 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18891] ppid=18879 vsize=630936 memory=0 CPUtime=0.05 cores=0-7 /proc/18882/task/18891/stat : 18891 (cosoco) R 18879 18882 16875 0 -1 4202560 310 0 0 0 5 0 0 0 20 0 9 0 559697827 646078464 5865 33554432000 4194304 6211132 140733395079376 140588335475224 5250493 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 630936 KiB Current children cumulated memory: 23460 KiB [startup+0.211091 s]* /proc/loadavg: 8.09 8.33 8.35 9/199 18891 /proc/meminfo: memFree=31406072/32770624 swapFree=66954412/67108860 [pid=18882] ppid=18879 vsize=630936 memory=24240 CPUtime=1.42 cores=0-7 /proc/18882/stat : 18882 (cosoco) S 18879 18882 16875 0 -1 1077944320 6920 0 0 0 141 1 0 0 20 0 9 0 559697823 646078464 6060 33554432000 4194304 6211132 140733395079376 140733395077632 140588417367799 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 /proc/18882/statm: 157734 6060 905 493 0 151039 0 [pid=18882/tid=18884] ppid=18879 vsize=630936 memory=8316850467074736180 CPUtime=0.17 cores=0-7 /proc/18882/task/18884/stat : 18884 (cosoco) R 18879 18882 16875 0 -1 4202560 275 0 0 0 17 0 0 0 20 0 9 0 559697827 646078464 6060 33554432000 4194304 6211132 140733395079376 140588394224912 5409471 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18885] ppid=18879 vsize=630936 memory=10927 CPUtime=0.17 cores=0-7 /proc/18882/task/18885/stat : 18885 (cosoco) R 18879 18882 16875 0 -1 4202560 306 0 0 0 17 0 0 0 20 0 9 0 559697827 646078464 6060 33554432000 4194304 6211132 140733395079376 140588385832208 5393095 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18886] ppid=18879 vsize=630936 memory=288370122371937920 CPUtime=0.17 cores=0-7 /proc/18882/task/18886/stat : 18886 (cosoco) R 18879 18882 16875 0 -1 4202560 254 0 0 0 17 0 0 0 20 0 9 0 559697827 646078464 6060 33554432000 4194304 6211132 140733395079376 140588377438904 5250325 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18887] ppid=18879 vsize=630936 memory=-1 CPUtime=0.17 cores=0-7 /proc/18882/task/18887/stat : 18887 (cosoco) R 18879 18882 16875 0 -1 4202560 277 0 0 0 17 0 0 0 20 0 9 0 559697827 646078464 6060 33554432000 4194304 6211132 140733395079376 140588369046120 5125616 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18888] ppid=18879 vsize=630936 memory=0 CPUtime=0.17 cores=0-7 /proc/18882/task/18888/stat : 18888 (cosoco) R 18879 18882 16875 0 -1 4202560 286 0 0 0 17 0 0 0 20 0 9 0 559697827 646078464 6060 33554432000 4194304 6211132 140733395079376 140588360654096 5250316 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18889] ppid=18879 vsize=630936 memory=0 CPUtime=0.17 cores=0-7 /proc/18882/task/18889/stat : 18889 (cosoco) R 18879 18882 16875 0 -1 4202560 299 0 0 0 17 0 0 0 20 0 9 0 559697827 646078464 6060 33554432000 4194304 6211132 140733395079376 140588352260712 5155839 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18890] ppid=18879 vsize=630936 memory=-1 CPUtime=0.17 cores=0-7 /proc/18882/task/18890/stat : 18890 (cosoco) R 18879 18882 16875 0 -1 4202560 286 0 0 0 17 0 0 0 20 0 9 0 559697827 646078464 6060 33554432000 4194304 6211132 140733395079376 140588343867848 5017462 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18891] ppid=18879 vsize=630936 memory=0 CPUtime=0.15 cores=0-7 /proc/18882/task/18891/stat : 18891 (cosoco) R 18879 18882 16875 0 -1 4202560 322 0 0 0 15 0 0 0 20 0 9 0 559697827 646078464 6060 33554432000 4194304 6211132 140733395079376 140588335475384 5409476 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 Current children cumulated CPU time: 1.42 s Current children cumulated vsize: 630936 KiB Current children cumulated memory: 24240 KiB [startup+0.319091 s]* /proc/loadavg: 8.09 8.33 8.35 9/199 18891 /proc/meminfo: memFree=31405700/32770624 swapFree=66954412/67108860 [pid=18882] ppid=18879 vsize=630936 memory=24760 CPUtime=2.27 cores=0-7 /proc/18882/stat : 18882 (cosoco) S 18879 18882 16875 0 -1 1077944320 7003 0 0 0 226 1 0 0 20 0 9 0 559697823 646078464 6190 33554432000 4194304 6211132 140733395079376 140733395077632 140588417367799 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 /proc/18882/statm: 157734 6190 905 493 0 151039 0 [pid=18882/tid=18884] ppid=18879 vsize=630936 memory=8317482817917895235 CPUtime=0.28 cores=0-7 /proc/18882/task/18884/stat : 18884 (cosoco) R 18879 18882 16875 0 -1 4202560 285 0 0 0 28 0 0 0 20 0 9 0 559697827 646078464 6190 33554432000 4194304 6211132 140733395079376 140588394224912 5250307 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18885] ppid=18879 vsize=630936 memory=0 CPUtime=0.28 cores=0-7 /proc/18882/task/18885/stat : 18885 (cosoco) R 18879 18882 16875 0 -1 4202560 329 0 0 0 28 0 0 0 20 0 9 0 559697827 646078464 6190 33554432000 4194304 6211132 140733395079376 140588385832208 5409476 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18886] ppid=18879 vsize=630936 memory=0 CPUtime=0.28 cores=0-7 /proc/18882/task/18886/stat : 18886 (cosoco) R 18879 18882 16875 0 -1 4202560 260 0 0 0 28 0 0 0 20 0 9 0 559697827 646078464 6190 33554432000 4194304 6211132 140733395079376 140588377439360 5389925 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18887] ppid=18879 vsize=630936 memory=6944656592455097440 CPUtime=0.28 cores=0-7 /proc/18882/task/18887/stat : 18887 (cosoco) R 18879 18882 16875 0 -1 4202560 279 0 0 0 28 0 0 0 20 0 9 0 559697827 646078464 6190 33554432000 4194304 6211132 140733395079376 140588369046120 5250333 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18888] ppid=18879 vsize=630936 memory=0 CPUtime=0.28 cores=0-7 /proc/18882/task/18888/stat : 18888 (cosoco) R 18879 18882 16875 0 -1 4202560 293 0 0 0 28 0 0 0 20 0 9 0 559697827 646078464 6190 33554432000 4194304 6211132 140733395079376 140588360654096 5125815 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18889] ppid=18879 vsize=630936 memory=0 CPUtime=0.28 cores=0-7 /proc/18882/task/18889/stat : 18889 (cosoco) R 18879 18882 16875 0 -1 4202560 311 0 0 0 28 0 0 0 20 0 9 0 559697827 646078464 6190 33554432000 4194304 6211132 140733395079376 140588352260712 5409497 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18890] ppid=18879 vsize=630936 memory=0 CPUtime=0.28 cores=0-7 /proc/18882/task/18890/stat : 18890 (cosoco) R 18879 18882 16875 0 -1 4202560 292 0 0 0 28 0 0 0 20 0 9 0 559697827 646078464 6190 33554432000 4194304 6211132 140733395079376 140588343867848 5397258 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18891] ppid=18879 vsize=630936 memory=0 CPUtime=0.25 cores=0-7 /proc/18882/task/18891/stat : 18891 (cosoco) R 18879 18882 16875 0 -1 4202560 339 0 0 0 25 0 0 0 20 0 9 0 559697827 646078464 6190 33554432000 4194304 6211132 140733395079376 140588335475384 5250316 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 Current children cumulated CPU time: 2.27 s Current children cumulated vsize: 630936 KiB Current children cumulated memory: 24760 KiB [startup+0.701091 s] /proc/loadavg: 8.09 8.33 8.35 9/199 18891 /proc/meminfo: memFree=31404780/32770624 swapFree=66954412/67108860 [pid=18882] ppid=18879 vsize=630936 memory=24760 CPUtime=5.23 cores=0-7 /proc/18882/stat : 18882 (cosoco) S 18879 18882 16875 0 -1 1077944320 7037 0 0 0 522 1 0 0 20 0 9 0 559697823 646078464 6190 33554432000 4194304 6211132 140733395079376 140733395077632 140588417367799 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 /proc/18882/statm: 157734 6190 905 493 0 151039 0 [pid=18882/tid=18884] ppid=18879 vsize=630936 memory=14012 CPUtime=0.65 cores=0-7 /proc/18882/task/18884/stat : 18884 (cosoco) R 18879 18882 16875 0 -1 4202560 286 0 0 0 65 0 0 0 20 0 9 0 559697827 646078464 6190 33554432000 4194304 6211132 140733395079376 140588394224312 5008918 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18885] ppid=18879 vsize=630936 memory=6600 CPUtime=0.65 cores=0-7 /proc/18882/task/18885/stat : 18885 (cosoco) R 18879 18882 16875 0 -1 4202560 329 0 0 0 65 0 0 0 20 0 9 0 559697827 646078464 6190 33554432000 4194304 6211132 140733395079376 140588385831608 5409476 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18886] ppid=18879 vsize=630936 memory=2120 CPUtime=0.65 cores=0-7 /proc/18882/task/18886/stat : 18886 (cosoco) R 18879 18882 16875 0 -1 4202560 270 0 0 0 65 0 0 0 20 0 9 0 559697827 646078464 6190 33554432000 4194304 6211132 140733395079376 140588377438824 5126053 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18887] ppid=18879 vsize=630936 memory=12036 CPUtime=0.65 cores=0-7 /proc/18882/task/18887/stat : 18887 (cosoco) R 18879 18882 16875 0 -1 4202560 302 0 0 0 65 0 0 0 20 0 9 0 559697827 646078464 6190 33554432000 4194304 6211132 140733395079376 140588369046544 5397258 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18888] ppid=18879 vsize=630936 memory=496 CPUtime=0.65 cores=0-7 /proc/18882/task/18888/stat : 18888 (cosoco) R 18879 18882 16875 0 -1 4202560 293 0 0 0 65 0 0 0 20 0 9 0 559697827 646078464 6190 33554432000 4194304 6211132 140733395079376 140588360654096 5193776 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18889] ppid=18879 vsize=630936 memory=1560 CPUtime=0.65 cores=0-7 /proc/18882/task/18889/stat : 18889 (cosoco) R 18879 18882 16875 0 -1 4202560 311 0 0 0 65 0 0 0 20 0 9 0 559697827 646078464 6190 33554432000 4194304 6211132 140733395079376 140588352260792 5250495 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18890] ppid=18879 vsize=630936 memory=928 CPUtime=0.65 cores=0-7 /proc/18882/task/18890/stat : 18890 (cosoco) R 18879 18882 16875 0 -1 4202560 292 0 0 0 65 0 0 0 20 0 9 0 559697827 646078464 6190 33554432000 4194304 6211132 140733395079376 140588343868432 5186290 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18891] ppid=18879 vsize=630936 memory=1680 CPUtime=0.6 cores=0-7 /proc/18882/task/18891/stat : 18891 (cosoco) R 18879 18882 16875 0 -1 4202560 339 0 0 0 60 0 0 0 20 0 9 0 559697827 646078464 6190 33554432000 4194304 6211132 140733395079376 140588335475384 5250319 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 Current children cumulated CPU time: 5.23 s Current children cumulated vsize: 630936 KiB Current children cumulated memory: 24760 KiB [startup+1.50109 s] /proc/loadavg: 8.09 8.33 8.35 9/199 18891 /proc/meminfo: memFree=31404780/32770624 swapFree=66954412/67108860 [pid=18882] ppid=18879 vsize=630936 memory=25744 CPUtime=11.61 cores=0-7 /proc/18882/stat : 18882 (cosoco) S 18879 18882 16875 0 -1 1077944320 12159 0 0 0 1160 1 0 0 20 0 9 0 559697823 646078464 6436 33554432000 4194304 6211132 140733395079376 140733395077632 140588417367799 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 /proc/18882/statm: 157734 6436 905 493 0 151039 0 [pid=18882/tid=18884] ppid=18879 vsize=630936 memory=0 CPUtime=1.45 cores=0-7 /proc/18882/task/18884/stat : 18884 (cosoco) R 18879 18882 16875 0 -1 4202560 764 0 0 0 145 0 0 0 20 0 9 0 559697827 646078464 6436 33554432000 4194304 6211132 140733395079376 140588394224656 5250307 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18885] ppid=18879 vsize=630936 memory=0 CPUtime=1.45 cores=0-7 /proc/18882/task/18885/stat : 18885 (cosoco) R 18879 18882 16875 0 -1 4202560 1121 0 0 0 145 0 0 0 20 0 9 0 559697827 646078464 6436 33554432000 4194304 6211132 140733395079376 140588385831608 5126978 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18886] ppid=18879 vsize=630936 memory=0 CPUtime=1.45 cores=0-7 /proc/18882/task/18886/stat : 18886 (cosoco) R 18879 18882 16875 0 -1 4202560 1131 0 0 0 145 0 0 0 20 0 9 0 559697827 646078464 6436 33554432000 4194304 6211132 140733395079376 140588377439248 5125936 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18887] ppid=18879 vsize=630936 memory=8243114992657236051 CPUtime=1.45 cores=0-7 /proc/18882/task/18887/stat : 18887 (cosoco) R 18879 18882 16875 0 -1 4202560 1277 0 0 0 145 0 0 0 20 0 9 0 559697827 646078464 6436 33554432000 4194304 6211132 140733395079376 140588369046544 5126592 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18888] ppid=18879 vsize=630936 memory=288291094993830768 CPUtime=1.45 cores=0-7 /proc/18882/task/18888/stat : 18888 (cosoco) R 18879 18882 16875 0 -1 4202560 687 0 0 0 145 0 0 0 20 0 9 0 559697827 646078464 6436 33554432000 4194304 6211132 140733395079376 140588360653496 5250330 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18889] ppid=18879 vsize=630936 memory=0 CPUtime=1.45 cores=0-7 /proc/18882/task/18889/stat : 18889 (cosoco) R 18879 18882 16875 0 -1 4202560 983 0 0 0 145 0 0 0 20 0 9 0 559697827 646078464 6436 33554432000 4194304 6211132 140733395079376 140588352261136 5392352 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18890] ppid=18879 vsize=630936 memory=9500 CPUtime=1.45 cores=0-7 /proc/18882/task/18890/stat : 18890 (cosoco) R 18879 18882 16875 0 -1 4202560 745 0 0 0 145 0 0 0 20 0 9 0 559697827 646078464 6436 33554432000 4194304 6211132 140733395079376 140588343868432 5250321 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18891] ppid=18879 vsize=630936 memory=279492178380576 CPUtime=1.39 cores=0-7 /proc/18882/task/18891/stat : 18891 (cosoco) R 18879 18882 16875 0 -1 4202560 836 0 0 0 139 0 0 0 20 0 9 0 559697827 646078464 6436 33554432000 4194304 6211132 140733395079376 140588335475384 5250319 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 Current children cumulated CPU time: 11.61 s Current children cumulated vsize: 630936 KiB Current children cumulated memory: 25744 KiB [startup+3.11009 s] /proc/loadavg: 8.09 8.33 8.35 9/199 18891 /proc/meminfo: memFree=31403732/32770624 swapFree=66954412/67108860 [pid=18882] ppid=18879 vsize=630936 memory=25752 CPUtime=24.45 cores=0-7 /proc/18882/stat : 18882 (cosoco) S 18879 18882 16875 0 -1 1077944320 16969 0 0 0 2444 1 0 0 20 0 9 0 559697823 646078464 6438 33554432000 4194304 6211132 140733395079376 140733395077632 140588417367799 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 /proc/18882/statm: 157734 6438 905 493 0 151039 0 [pid=18882/tid=18884] ppid=18879 vsize=630936 memory=6673 CPUtime=3.06 cores=0-7 /proc/18882/task/18884/stat : 18884 (cosoco) R 18879 18882 16875 0 -1 4202560 1386 0 0 0 306 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588394224656 5250321 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18885] ppid=18879 vsize=630936 memory=4420 CPUtime=3.06 cores=0-7 /proc/18882/task/18885/stat : 18885 (cosoco) R 18879 18882 16875 0 -1 4202560 1707 0 0 0 306 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588385831608 5125628 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18886] ppid=18879 vsize=630936 memory=6628 CPUtime=3.06 cores=0-7 /proc/18882/task/18886/stat : 18886 (cosoco) R 18879 18882 16875 0 -1 4202560 1778 0 0 0 306 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588377439248 5125825 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18887] ppid=18879 vsize=630936 memory=139750515193471 CPUtime=3.06 cores=0-7 /proc/18882/task/18887/stat : 18887 (cosoco) R 18879 18882 16875 0 -1 4202560 1866 0 0 0 306 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588369046544 5250321 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18888] ppid=18879 vsize=630936 memory=6944652177228980320 CPUtime=3.06 cores=0-7 /proc/18882/task/18888/stat : 18888 (cosoco) R 18879 18882 16875 0 -1 4202560 1066 0 0 0 306 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588360653856 5250319 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18889] ppid=18879 vsize=630936 memory=6935649255759568960 CPUtime=3.06 cores=0-7 /proc/18882/task/18889/stat : 18889 (cosoco) R 18879 18882 16875 0 -1 4202560 1589 0 0 0 306 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588352261136 5250330 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18890] ppid=18879 vsize=630936 memory=31876 CPUtime=3.06 cores=0-7 /proc/18882/task/18890/stat : 18890 (cosoco) R 18879 18882 16875 0 -1 4202560 1483 0 0 0 306 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588343868088 5409485 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18891] ppid=18879 vsize=630936 memory=7596606704838193233 CPUtime=2.97 cores=0-7 /proc/18882/task/18891/stat : 18891 (cosoco) R 18879 18882 16875 0 -1 4202560 1479 0 0 0 297 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588335475984 5250316 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 Current children cumulated CPU time: 24.45 s Current children cumulated vsize: 630936 KiB Current children cumulated memory: 25752 KiB [startup+6.22365 s] # the end of solver process 18882 was just reported to runsolver # cumulated CPU time of all completed processes: user=49.2564 s, system=0.025978 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20109 s] /proc/loadavg: 8.09 8.33 8.35 9/199 18891 /proc/meminfo: memFree=31403732/32770624 swapFree=66954412/67108860 [pid=18882] ppid=18879 vsize=630936 memory=25752 CPUtime=25.18 cores=0-7 /proc/18882/stat : 18882 (cosoco) S 18879 18882 16875 0 -1 1077944320 17087 0 0 0 2517 1 0 0 20 0 9 0 559697823 646078464 6438 33554432000 4194304 6211132 140733395079376 140733395077632 140588417367799 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 /proc/18882/statm: 157734 6438 905 493 0 151039 0 [pid=18882/tid=18884] ppid=18879 vsize=630936 memory=880 CPUtime=3.15 cores=0-7 /proc/18882/task/18884/stat : 18884 (cosoco) R 18879 18882 16875 0 -1 4202560 1440 0 0 0 315 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588394224656 5250319 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18885] ppid=18879 vsize=630936 memory=1984 CPUtime=3.15 cores=0-7 /proc/18882/task/18885/stat : 18885 (cosoco) R 18879 18882 16875 0 -1 4202560 1748 0 0 0 315 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588385831608 5250307 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18886] ppid=18879 vsize=630936 memory=2552 CPUtime=3.15 cores=0-7 /proc/18882/task/18886/stat : 18886 (cosoco) R 18879 18882 16875 0 -1 4202560 1796 0 0 0 315 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588377439248 5250319 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18887] ppid=18879 vsize=630936 memory=1760 CPUtime=3.15 cores=0-7 /proc/18882/task/18887/stat : 18887 (cosoco) R 18879 18882 16875 0 -1 4202560 1867 0 0 0 315 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588369046544 5250321 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18888] ppid=18879 vsize=630936 memory=0 CPUtime=3.15 cores=0-7 /proc/18882/task/18888/stat : 18888 (cosoco) R 18879 18882 16875 0 -1 4202560 1067 0 0 0 315 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588360653856 5250311 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18889] ppid=18879 vsize=630936 memory=6944656592455360608 CPUtime=3.15 cores=0-7 /proc/18882/task/18889/stat : 18889 (cosoco) R 18879 18882 16875 0 -1 4202560 1590 0 0 0 315 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588352261136 5250316 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18890] ppid=18879 vsize=630936 memory=-7812193691855986592 CPUtime=3.15 cores=0-7 /proc/18882/task/18890/stat : 18890 (cosoco) R 18879 18882 16875 0 -1 4202560 1483 0 0 0 315 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588343868088 5017466 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18891] ppid=18879 vsize=630936 memory=-7812736537705029536 CPUtime=3.06 cores=0-7 /proc/18882/task/18891/stat : 18891 (cosoco) R 18879 18882 16875 0 -1 4202560 1481 0 0 0 306 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588335475984 5250319 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 Current children cumulated CPU time: 25.18 s Current children cumulated vsize: 630936 KiB Current children cumulated memory: 25752 KiB [startup+4.80108 s] /proc/loadavg: 8.09 8.33 8.35 9/199 18891 /proc/meminfo: memFree=31403516/32770624 swapFree=66954412/67108860 [pid=18882] ppid=18879 vsize=630936 memory=25752 CPUtime=37.95 cores=0-7 /proc/18882/stat : 18882 (cosoco) S 18879 18882 16875 0 -1 1077944320 20845 0 0 0 3793 2 0 0 20 0 9 0 559697823 646078464 6438 33554432000 4194304 6211132 140733395079376 140733395077632 140588417367799 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 /proc/18882/statm: 157734 6438 905 493 0 151039 0 [pid=18882/tid=18884] ppid=18879 vsize=630936 memory=6935054825532540783 CPUtime=4.75 cores=0-7 /proc/18882/task/18884/stat : 18884 (cosoco) R 18879 18882 16875 0 -1 4202560 1877 0 0 0 475 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588394224656 5017688 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18885] ppid=18879 vsize=630936 memory=0 CPUtime=4.75 cores=0-7 /proc/18882/task/18885/stat : 18885 (cosoco) R 18879 18882 16875 0 -1 4202560 2171 0 0 0 475 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588385831608 5409414 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18886] ppid=18879 vsize=630936 memory=37074 CPUtime=4.74 cores=0-7 /proc/18882/task/18886/stat : 18886 (cosoco) R 18879 18882 16875 0 -1 4202560 2265 0 0 0 474 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588377439248 5126592 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18887] ppid=18879 vsize=630936 memory=0 CPUtime=4.75 cores=0-7 /proc/18882/task/18887/stat : 18887 (cosoco) R 18879 18882 16875 0 -1 4202560 2458 0 0 0 475 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588369046544 5250319 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18888] ppid=18879 vsize=630936 memory=56 CPUtime=4.74 cores=0-7 /proc/18882/task/18888/stat : 18888 (cosoco) R 18879 18882 16875 0 -1 4202560 1498 0 0 0 474 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588360653952 5250304 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18889] ppid=18879 vsize=630936 memory=-3253322038155611931 CPUtime=4.74 cores=0-7 /proc/18882/task/18889/stat : 18889 (cosoco) R 18879 18882 16875 0 -1 4202560 2140 0 0 0 474 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588352261136 5396441 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18890] ppid=18879 vsize=630936 memory=9123026954224263383 CPUtime=4.74 cores=0-7 /proc/18882/task/18890/stat : 18890 (cosoco) R 18879 18882 16875 0 -1 4202560 1918 0 0 0 474 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588343868088 5250321 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18891] ppid=18879 vsize=630936 memory=-5921431000321636112 CPUtime=4.64 cores=0-7 /proc/18882/task/18891/stat : 18891 (cosoco) R 18879 18882 16875 0 -1 4202560 1903 0 0 0 464 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588335475984 5250319 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 Current children cumulated CPU time: 37.95 s Current children cumulated vsize: 630936 KiB Current children cumulated memory: 25752 KiB [startup+5.60109 s] /proc/loadavg: 8.09 8.33 8.35 9/199 18891 /proc/meminfo: memFree=31403804/32770624 swapFree=66954412/67108860 [pid=18882] ppid=18879 vsize=630936 memory=25752 CPUtime=44.33 cores=0-7 /proc/18882/stat : 18882 (cosoco) S 18879 18882 16875 0 -1 1077944320 20851 0 0 0 4431 2 0 0 20 0 9 0 559697823 646078464 6438 33554432000 4194304 6211132 140733395079376 140733395077632 140588417367799 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 /proc/18882/statm: 157734 6438 905 493 0 151039 0 [pid=18882/tid=18884] ppid=18879 vsize=630936 memory=6944656592455360608 CPUtime=5.55 cores=0-7 /proc/18882/task/18884/stat : 18884 (cosoco) R 18879 18882 16875 0 -1 4202560 1877 0 0 0 555 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588394224656 5158052 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18885] ppid=18879 vsize=630936 memory=25752 CPUtime=5.55 cores=0-7 /proc/18882/task/18885/stat : 18885 (cosoco) R 18879 18882 16875 0 -1 4202560 2171 0 0 0 555 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588385831608 5250321 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18886] ppid=18879 vsize=630936 memory=3580 CPUtime=5.54 cores=0-7 /proc/18882/task/18886/stat : 18886 (cosoco) R 18879 18882 16875 0 -1 4202560 2266 0 0 0 554 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588377439248 5193776 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18887] ppid=18879 vsize=630936 memory=10644 CPUtime=5.55 cores=0-7 /proc/18882/task/18887/stat : 18887 (cosoco) R 18879 18882 16875 0 -1 4202560 2461 0 0 0 555 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588369046544 5125520 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18888] ppid=18879 vsize=630936 memory=6935054825532540783 CPUtime=5.54 cores=0-7 /proc/18882/task/18888/stat : 18888 (cosoco) R 18879 18882 16875 0 -1 4202560 1500 0 0 0 554 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588360653952 5393104 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18889] ppid=18879 vsize=630936 memory=288288895970587485 CPUtime=5.54 cores=0-7 /proc/18882/task/18889/stat : 18889 (cosoco) R 18879 18882 16875 0 -1 4202560 2140 0 0 0 554 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588352261136 5397318 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18890] ppid=18879 vsize=630936 memory=0 CPUtime=5.54 cores=0-7 /proc/18882/task/18890/stat : 18890 (cosoco) R 18879 18882 16875 0 -1 4202560 1918 0 0 0 554 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588343868088 5250319 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18891] ppid=18879 vsize=630936 memory=0 CPUtime=5.43 cores=0-7 /proc/18882/task/18891/stat : 18891 (cosoco) R 18879 18882 16875 0 -1 4202560 1903 0 0 0 543 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588335475984 5126992 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 Current children cumulated CPU time: 44.33 s Current children cumulated vsize: 630936 KiB Current children cumulated memory: 25752 KiB [startup+6.00109 s]* /proc/loadavg: 8.08 8.32 8.35 9/199 18891 /proc/meminfo: memFree=31403804/32770624 swapFree=66954412/67108860 [pid=18882] ppid=18879 vsize=630936 memory=25752 CPUtime=47.59 cores=0-7 /proc/18882/stat : 18882 (cosoco) S 18879 18882 16875 0 -1 1077944320 24278 0 0 0 4757 2 0 0 20 0 9 0 559697823 646078464 6438 33554432000 4194304 6211132 140733395079376 140733395077632 140588417367799 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 /proc/18882/statm: 157734 6438 905 493 0 151039 0 [pid=18882/tid=18884] ppid=18879 vsize=630936 memory=8316850467074736180 CPUtime=5.96 cores=0-7 /proc/18882/task/18884/stat : 18884 (cosoco) R 18879 18882 16875 0 -1 4202560 2281 0 0 0 596 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588394224656 5125825 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18885] ppid=18879 vsize=630936 memory=10927 CPUtime=5.96 cores=0-7 /proc/18882/task/18885/stat : 18885 (cosoco) R 18879 18882 16875 0 -1 4202560 2629 0 0 0 596 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588385832064 5250333 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18886] ppid=18879 vsize=630936 memory=315237158847627392 CPUtime=5.95 cores=0-7 /proc/18882/task/18886/stat : 18886 (cosoco) R 18879 18882 16875 0 -1 4202560 2709 0 0 0 595 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588377439248 5390016 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18887] ppid=18879 vsize=630936 memory=3472328296227418159 CPUtime=5.95 cores=0-7 /proc/18882/task/18887/stat : 18887 (cosoco) R 18879 18882 16875 0 -1 4202560 2920 0 0 0 595 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588369046544 5250304 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18888] ppid=18879 vsize=630936 memory=6944656592387989600 CPUtime=5.95 cores=0-7 /proc/18882/task/18888/stat : 18888 (cosoco) R 18879 18882 16875 0 -1 4202560 1926 0 0 0 595 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588360653952 5389992 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18889] ppid=18879 vsize=630936 memory=6944656592455359580 CPUtime=5.95 cores=0-7 /proc/18882/task/18889/stat : 18889 (cosoco) R 18879 18882 16875 0 -1 4202560 2554 0 0 0 595 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588352261136 5250321 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18890] ppid=18879 vsize=630936 memory=8389772264424737328 CPUtime=5.95 cores=0-7 /proc/18882/task/18890/stat : 18890 (cosoco) R 18879 18882 16875 0 -1 4202560 2259 0 0 0 595 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588343868088 5125644 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18891] ppid=18879 vsize=630936 memory=0 CPUtime=5.83 cores=0-7 /proc/18882/task/18891/stat : 18891 (cosoco) R 18879 18882 16875 0 -1 4202560 2385 0 0 0 583 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588335475984 5250319 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 Current children cumulated CPU time: 47.59 s Current children cumulated vsize: 630936 KiB Current children cumulated memory: 25752 KiB [startup+6.20109 s] /proc/loadavg: 8.08 8.32 8.35 9/199 18891 /proc/meminfo: memFree=31403804/32770624 swapFree=66954412/67108860 [pid=18882] ppid=18879 vsize=630936 memory=25752 CPUtime=49.12 cores=0-7 /proc/18882/stat : 18882 (cosoco) S 18879 18882 16875 0 -1 1077944320 24298 0 0 0 4910 2 0 0 20 0 9 0 559697823 646078464 6438 33554432000 4194304 6211132 140733395079376 140733395077632 140588417367799 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 /proc/18882/statm: 157734 6438 905 493 0 151039 0 [pid=18882/tid=18884] ppid=18879 vsize=630936 memory=5450916479948256810 CPUtime=6.15 cores=0-7 /proc/18882/task/18884/stat : 18884 (cosoco) R 18879 18882 16875 0 -1 4202560 2281 0 0 0 615 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588394224656 5250316 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18885] ppid=18879 vsize=630936 memory=7898351070516488779 CPUtime=6.15 cores=0-7 /proc/18882/task/18885/stat : 18885 (cosoco) R 18879 18882 16875 0 -1 4202560 2631 0 0 0 615 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588385832064 5250304 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18886] ppid=18879 vsize=630936 memory=8514726395714826909 CPUtime=6.14 cores=0-7 /proc/18882/task/18886/stat : 18886 (cosoco) R 18879 18882 16875 0 -1 4202560 2710 0 0 0 614 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588377439248 5186344 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18887] ppid=18879 vsize=630936 memory=7245577201579234449 CPUtime=6.15 cores=0-7 /proc/18882/task/18887/stat : 18887 (cosoco) R 18879 18882 16875 0 -1 4202560 2921 0 0 0 615 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588369046544 5250482 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18888] ppid=18879 vsize=630936 memory=-6877121556232578236 CPUtime=6.14 cores=0-7 /proc/18882/task/18888/stat : 18888 (cosoco) R 18879 18882 16875 0 -1 4202560 1926 0 0 0 614 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588360653952 5397238 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18889] ppid=18879 vsize=630936 memory=288230574492221466 CPUtime=6.14 cores=0-7 /proc/18882/task/18889/stat : 18889 (cosoco) R 18879 18882 16875 0 -1 4202560 2555 0 0 0 614 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588352261136 5250256 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18890] ppid=18879 vsize=630936 memory=0 CPUtime=6.14 cores=0-7 /proc/18882/task/18890/stat : 18890 (cosoco) R 18879 18882 16875 0 -1 4202560 2274 0 0 0 614 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588343868088 5125825 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 [pid=18882/tid=18891] ppid=18879 vsize=630936 memory=0 CPUtime=6.02 cores=0-7 /proc/18882/task/18891/stat : 18891 (cosoco) R 18879 18882 16875 0 -1 4202560 2385 0 0 0 602 0 0 0 20 0 9 0 559697827 646078464 6438 33554432000 4194304 6211132 140733395079376 140588335475984 5396441 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40218624 140733395088401 140733395088493 140733395088493 140733395091406 0 Current children cumulated CPU time: 49.12 s Current children cumulated vsize: 630936 KiB Current children cumulated memory: 25752 KiB Child status: 0 Real time (s): 6.22371 CPU time (s): 49.2824 CPU user time (s): 49.2564 CPU system time (s): 0.025978 CPU usage (%): 791.849 Max. virtual memory (cumulated for all children) (KiB): 630936 Max. memory (cumulated for all children) (KiB): 25752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 49.2564 system time used= 0.025978 maximum resident set size= 25804 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24384 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= 523 involuntary context switches= 407 # summary of solver processes directly reported to runsolver: # pid: 18882 # total CPU time (s): 49.2824 # total CPU user time (s): 49.2564 # total CPU system time (s): 0.025978 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.050611 second user time and 0.098784 second system time The end
Begin job on node107 at 2019-09-30 10:05:02 IDJOB=4409498 IDBENCH=138339 IDSOLVER=2877 FILE ID=node107/4409498-1569834428 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-ff60.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409498-1569834428/watcher-4409498-1569834428 -o /tmp/evaluation-result-4409498-1569834428/solver-4409498-1569834428 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1569823193-16902 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409498-1569834428.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7a954e9050bb3a994248d3527dd6cfee RANDOM SEED=1349949745 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: 31424912 kB MemAvailable: 31829316 kB Buffers: 208228 kB Cached: 530948 kB SwapCached: 48108 kB Active: 353472 kB Inactive: 436560 kB Active(anon): 16180 kB Inactive(anon): 112456 kB Active(file): 337292 kB Inactive(file): 324104 kB Unevictable: 109672 kB Mlocked: 109672 kB SwapTotal: 67108860 kB SwapFree: 66954412 kB Dirty: 2956 kB Writeback: 0 kB AnonPages: 127412 kB Mapped: 26992 kB Shmem: 69360 kB Slab: 146288 kB SReclaimable: 117688 kB SUnreclaim: 28600 kB KernelStack: 3712 kB PageTables: 5028 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: 81920 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:05:08