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 | 33.1747 | 4.20969 |
| 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-4398238-1568611346.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 1. 0.00/0.05 c [pFactory][Group N°0] task 6 launched on thread 5. 0.00/0.05 c [pFactory][Group N°0] task 5 launched on thread 0. 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 6. 0.00/0.05 c [pFactory][Group N°0] task 2 launched on thread 3. 0.00/0.05 c [pFactory][Group N°0] task 1 launched on thread 4. 0.00/0.05 c [pFactory][Group N°0] task 0 launched on thread 7. 0.00/0.05 o 5774 0.00/0.05 o 570 0.00/0.06 o 426 0.00/0.10 o 423 0.55/0.11 o 414 0.55/0.20 o 337 1.42/0.29 o 330 2.20/0.38 o 329 2.20/0.41 o 321 2.99/0.48 o 318 3.78/0.53 o 312 3.78/0.57 o 310 3.78/0.58 o 309 3.78/0.60 o 305 4.51/0.62 o 299 4.51/0.67 o 295 5.23/0.78 o 276 6.03/0.85 o 255 6.03/0.88 o 254 6.83/0.97 o 247 7.69/1.10 o 244 8.55/1.14 o 230 9.22/1.29 o 227 13.22/1.70 o 219 14.02/1.82 o 212 14.02/1.88 o 207 14.82/1.94 o 204 15.68/2.06 o 192 32.46/4.19 c [pFactory][Group N°0] concurent mode: thread 3 has won with the task 2. 32.46/4.19 c [pFactory][Group N°0] Thread N°0 is joined. 32.46/4.19 c [pFactory][Group N°0] Thread N°1 is joined. 32.46/4.19 c [pFactory][Group N°0] Thread N°2 is joined. 32.46/4.19 c [pFactory][Group N°0] Thread N°3 is joined. 32.46/4.19 c [pFactory][Group N°0] Thread N°4 is joined. 32.46/4.19 c [pFactory][Group N°0] Thread N°5 is joined. 32.46/4.19 c [pFactory][Group N°0] Thread N°6 is joined. 32.46/4.19 c [pFactory][Group N°0] Thread N°7 is joined. 32.46/4.19 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°3) 32.46/4.19 s OPTIMUM FOUND 32.46/4.19 c call to solver : 20 32.46/4.19 c 32.46/4.19 c restarts : 1293 32.46/4.19 c conflicts : 5704 (172 /sec) 32.46/4.19 c decisions : 90548 (2732 /sec) 32.46/4.19 c propagations : 5929401 (178918 /sec) 32.46/4.19 c root propagations : 3912 32.46/4.19 c filter calls : 2794224 (84315 /sec) 32.46/4.19 c useless filter calls : 1145179 (40 %) 32.46/4.19 c Memory used : 584.14 MB 32.46/4.19 c Best bound time (wc) : 2.0658 s 32.46/4.19 c CPU time : 33.1402 s 32.46/4.19 c real time : 4.1955 s 32.46/4.19 32.46/4.19 32.46/4.19 v <instantiation type='solution' cost='192'> 32.46/4.19 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> 32.46/4.19 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 0 2 15 8 14 22 4 23 3 114 574 75 42 0 72 330 375 411 469 524 72 616 33 0 42 114 372 417 453 511 566 2 686 37 70 112 184 442 487 523 581 636 0 688 39 72 114 186 444 489 525 583 638 688 0 649 616 574 502 244 199 163 105 50 18 670 21 54 96 168 426 471 507 565 620 489 199 450 417 375 303 45 0 36 94 149 489 199 450 417 375 303 45 0 36 94 149 81 607 42 9 33 105 363 408 444 502 557 44 644 5 28 70 142 400 445 481 539 594 638 50 599 566 524 452 194 149 113 55 0 27 661 12 45 87 159 417 462 498 556 611 638 50 599 566 524 452 194 149 113 55 0 444 244 405 372 330 258 0 45 81 139 194 444 244 405 372 330 258 0 45 81 139 194 215 473 176 143 101 29 229 274 310 368 423 39 649 0 33 75 147 405 450 486 544 599 39 649 0 33 75 147 405 450 486 544 599 583 105 544 511 469 397 139 94 58 0 55 583 105 544 511 469 397 139 94 58 0 55 186 502 147 114 72 0 258 303 339 397 452 11 699 50 83 125 197 455 500 536 594 649 99 589 60 27 15 87 345 390 426 484 539 525 163 486 453 411 339 81 36 0 58 113 523 165 484 451 409 337 79 34 2 60 115 99 589 60 27 15 87 345 390 426 484 539 64 624 25 8 50 122 380 425 461 519 574 58 630 19 14 56 128 386 431 467 525 580 164 524 125 92 50 22 280 325 361 419 474 35 653 4 37 79 151 409 454 490 548 603 137 551 98 65 23 49 307 352 388 446 501 75 613 36 3 39 111 369 414 450 508 563 23 711 62 95 137 209 467 512 548 606 661 </values> 32.46/4.19 v </instantiation> 32.46/4.19
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 (15295 MiB free)
memory of node 1: 16384 MiB (15604 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398238-1568611346/watcher-4398238-1568611346 -o /tmp/evaluation-result-4398238-1568611346/solver-4398238-1568611346 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568608678-25776 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398238-1568611346.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
solver pid=26505, runsolver pid=26502
Current StackSize limit: 8192 KiB
[startup+0.10065 s]*
/proc/loadavg: 6.35 8.31 8.80 9/200 26514
/proc/meminfo: memFree=31622568/32770624 swapFree=66997344/67108860
[pid=26505] ppid=26502 vsize=630936 memory=23500 CPUtime=0.55 cores=0-7
/proc/26505/stat : 26505 (cosoco) S 26502 26505 25749 0 -1 1077944320 6760 0 0 0 55 0 0 0 20 0 9 0 437387697 646078464 5875 33554432000 4194304 6211092 140735392237008 140735392235264 140479149465335 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
/proc/26505/statm: 157734 5875 906 493 0 151039 0
[pid=26505/tid=26507] ppid=26502 vsize=630936 memory=576460756329955530 CPUtime=0.06 cores=0-7
/proc/26505/task/26507/stat : 26507 (cosoco) R 26502 26505 25749 0 -1 4202560 268 0 0 0 6 0 0 0 20 0 9 0 437387701 646078464 5875 33554432000 4194304 6211092 140735392237008 140479126321952 140479149486682 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26508] ppid=26502 vsize=630936 memory=0 CPUtime=0.06 cores=0-7
/proc/26505/task/26508/stat : 26508 (cosoco) R 26502 26505 25749 0 -1 4202560 318 0 0 0 6 0 0 0 20 0 9 0 437387701 646078464 5875 33554432000 4194304 6211092 140735392237008 140479117929064 5397223 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26509] ppid=26502 vsize=630936 memory=140093328325326 CPUtime=0.06 cores=0-7
/proc/26505/task/26509/stat : 26509 (cosoco) R 26502 26505 25749 0 -1 4202560 229 0 0 0 6 0 0 0 20 0 9 0 437387701 646078464 5875 33554432000 4194304 6211092 140735392237008 140479109536800 5392339 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26510] ppid=26502 vsize=630936 memory=0 CPUtime=0.06 cores=0-7
/proc/26505/task/26510/stat : 26510 (cosoco) R 26502 26505 25749 0 -1 4202560 284 0 0 0 6 0 0 0 20 0 9 0 437387701 646078464 5875 33554432000 4194304 6211092 140735392237008 140479101144080 5125984 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26511] ppid=26502 vsize=630936 memory=0 CPUtime=0.06 cores=0-7
/proc/26505/task/26511/stat : 26511 (cosoco) R 26502 26505 25749 0 -1 4202560 260 0 0 0 6 0 0 0 20 0 9 0 437387701 646078464 5875 33554432000 4194304 6211092 140735392237008 140479092751392 140479149486682 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26512] ppid=26502 vsize=630936 memory=0 CPUtime=0.05 cores=0-7
/proc/26505/task/26512/stat : 26512 (cosoco) R 26502 26505 25749 0 -1 4202560 240 0 0 0 5 0 0 0 20 0 9 0 437387701 646078464 5875 33554432000 4194304 6211092 140735392237008 140479084358248 5250289 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26513] ppid=26502 vsize=630936 memory=-1 CPUtime=0.06 cores=0-7
/proc/26505/task/26513/stat : 26513 (cosoco) R 26502 26505 25749 0 -1 4202560 284 0 0 0 6 0 0 0 20 0 9 0 437387701 646078464 5875 33554432000 4194304 6211092 140735392237008 140479075966080 5017444 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26514] ppid=26502 vsize=630936 memory=0 CPUtime=0.06 cores=0-7
/proc/26505/task/26514/stat : 26514 (cosoco) R 26502 26505 25749 0 -1 4202560 263 0 0 0 6 0 0 0 20 0 9 0 437387701 646078464 5875 33554432000 4194304 6211092 140735392237008 140479067572840 5409444 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 630936 KiB
Current children cumulated memory: 23500 KiB
[startup+0.210642 s]*
/proc/loadavg: 6.35 8.31 8.80 9/200 26514
/proc/meminfo: memFree=31622196/32770624 swapFree=66997344/67108860
[pid=26505] ppid=26502 vsize=630936 memory=24020 CPUtime=1.42 cores=0-7
/proc/26505/stat : 26505 (cosoco) S 26502 26505 25749 0 -1 1077944320 6975 0 0 0 142 0 0 0 20 0 9 0 437387697 646078464 6005 33554432000 4194304 6211092 140735392237008 140735392235264 140479149465335 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
/proc/26505/statm: 157734 6005 906 493 0 151039 0
[pid=26505/tid=26507] ppid=26502 vsize=630936 memory=8316850467074736180 CPUtime=0.17 cores=0-7
/proc/26505/task/26507/stat : 26507 (cosoco) R 26502 26505 25749 0 -1 4202560 272 0 0 0 17 0 0 0 20 0 9 0 437387701 646078464 6005 33554432000 4194304 6211092 140735392237008 140479126322080 5126706 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26508] ppid=26502 vsize=630936 memory=9432 CPUtime=0.17 cores=0-7
/proc/26505/task/26508/stat : 26508 (cosoco) R 26502 26505 25749 0 -1 4202560 345 0 0 0 17 0 0 0 20 0 9 0 437387701 646078464 6005 33554432000 4194304 6211092 140735392237008 140479117928984 5250293 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26509] ppid=26502 vsize=630936 memory=4049497610873013920 CPUtime=0.17 cores=0-7
/proc/26505/task/26509/stat : 26509 (cosoco) R 26502 26505 25749 0 -1 4202560 267 0 0 0 17 0 0 0 20 0 9 0 437387701 646078464 6005 33554432000 4194304 6211092 140735392237008 140479109536800 5250287 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26510] ppid=26502 vsize=630936 memory=-1 CPUtime=0.17 cores=0-7
/proc/26505/task/26510/stat : 26510 (cosoco) R 26502 26505 25749 0 -1 4202560 333 0 0 0 17 0 0 0 20 0 9 0 437387701 646078464 6005 33554432000 4194304 6211092 140735392237008 140479101144080 5409444 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26511] ppid=26502 vsize=630936 memory=0 CPUtime=0.17 cores=0-7
/proc/26505/task/26511/stat : 26511 (cosoco) R 26502 26505 25749 0 -1 4202560 282 0 0 0 17 0 0 0 20 0 9 0 437387701 646078464 6005 33554432000 4194304 6211092 140735392237008 140479092751032 5397226 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26512] ppid=26502 vsize=630936 memory=0 CPUtime=0.15 cores=0-7
/proc/26505/task/26512/stat : 26512 (cosoco) R 26502 26505 25749 0 -1 4202560 269 0 0 0 15 0 0 0 20 0 9 0 437387701 646078464 6005 33554432000 4194304 6211092 140735392237008 140479084358784 5409465 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26513] ppid=26502 vsize=630936 memory=-1 CPUtime=0.17 cores=0-7
/proc/26505/task/26513/stat : 26513 (cosoco) R 26502 26505 25749 0 -1 4202560 305 0 0 0 17 0 0 0 20 0 9 0 437387701 646078464 6005 33554432000 4194304 6211092 140735392237008 140479075965624 5250279 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26514] ppid=26502 vsize=630936 memory=0 CPUtime=0.17 cores=0-7
/proc/26505/task/26514/stat : 26514 (cosoco) R 26502 26505 25749 0 -1 4202560 288 0 0 0 17 0 0 0 20 0 9 0 437387701 646078464 6005 33554432000 4194304 6211092 140735392237008 140479067572840 5157536 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 630936 KiB
Current children cumulated memory: 24020 KiB
[startup+0.310644 s]*
/proc/loadavg: 6.35 8.31 8.80 10/200 26514
/proc/meminfo: memFree=31621576/32770624 swapFree=66997344/67108860
[pid=26505] ppid=26502 vsize=630936 memory=24280 CPUtime=2.2 cores=0-7
/proc/26505/stat : 26505 (cosoco) S 26502 26505 25749 0 -1 1077944320 7007 0 0 0 220 0 0 0 20 0 9 0 437387697 646078464 6070 33554432000 4194304 6211092 140735392237008 140735392235264 140479149465335 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
/proc/26505/statm: 157734 6070 906 493 0 151039 0
[pid=26505/tid=26507] ppid=26502 vsize=630936 memory=8317482817917895235 CPUtime=0.27 cores=0-7
/proc/26505/task/26507/stat : 26507 (cosoco) R 26502 26505 25749 0 -1 4202560 283 0 0 0 27 0 0 0 20 0 9 0 437387701 646078464 6070 33554432000 4194304 6211092 140735392237008 140479126322080 5155800 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26508] ppid=26502 vsize=630936 memory=0 CPUtime=0.27 cores=0-7
/proc/26505/task/26508/stat : 26508 (cosoco) R 26502 26505 25749 0 -1 4202560 345 0 0 0 27 0 0 0 20 0 9 0 437387701 646078464 6070 33554432000 4194304 6211092 140735392237008 140479117928984 5126560 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26509] ppid=26502 vsize=630936 memory=0 CPUtime=0.27 cores=0-7
/proc/26505/task/26509/stat : 26509 (cosoco) R 26502 26505 25749 0 -1 4202560 271 0 0 0 27 0 0 0 20 0 9 0 437387701 646078464 6070 33554432000 4194304 6211092 140735392237008 140479109536800 5156184 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26510] ppid=26502 vsize=630936 memory=6944656592455097440 CPUtime=0.27 cores=0-7
/proc/26505/task/26510/stat : 26510 (cosoco) R 26502 26505 25749 0 -1 4202560 336 0 0 0 27 0 0 0 20 0 9 0 437387701 646078464 6070 33554432000 4194304 6211092 140735392237008 140479101144080 5409449 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26511] ppid=26502 vsize=630936 memory=0 CPUtime=0.27 cores=0-7
/proc/26505/task/26511/stat : 26511 (cosoco) R 26502 26505 25749 0 -1 4202560 282 0 0 0 27 0 0 0 20 0 9 0 437387701 646078464 6070 33554432000 4194304 6211092 140735392237008 140479092751032 5250298 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26512] ppid=26502 vsize=630936 memory=0 CPUtime=0.24 cores=0-7
/proc/26505/task/26512/stat : 26512 (cosoco) R 26502 26505 25749 0 -1 4202560 282 0 0 0 24 0 0 0 20 0 9 0 437387701 646078464 6070 33554432000 4194304 6211092 140735392237008 140479084358248 5250272 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26513] ppid=26502 vsize=630936 memory=0 CPUtime=0.27 cores=0-7
/proc/26505/task/26513/stat : 26513 (cosoco) R 26502 26505 25749 0 -1 4202560 305 0 0 0 27 0 0 0 20 0 9 0 437387701 646078464 6070 33554432000 4194304 6211092 140735392237008 140479075965624 5126208 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26514] ppid=26502 vsize=630936 memory=0 CPUtime=0.27 cores=0-7
/proc/26505/task/26514/stat : 26514 (cosoco) R 26502 26505 25749 0 -1 4202560 289 0 0 0 27 0 0 0 20 0 9 0 437387701 646078464 6070 33554432000 4194304 6211092 140735392237008 140479067572920 5017274 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
Current children cumulated CPU time: 2.2 s
Current children cumulated vsize: 630936 KiB
Current children cumulated memory: 24280 KiB
[startup+0.700647 s]
/proc/loadavg: 6.35 8.31 8.80 9/200 26514
/proc/meminfo: memFree=31621204/32770624 swapFree=66997344/67108860
[pid=26505] ppid=26502 vsize=630936 memory=24544 CPUtime=5.23 cores=0-7
/proc/26505/stat : 26505 (cosoco) S 26502 26505 25749 0 -1 1077944320 7038 0 0 0 523 0 0 0 20 0 9 0 437387697 646078464 6136 33554432000 4194304 6211092 140735392237008 140735392235264 140479149465335 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
/proc/26505/statm: 157734 6136 906 493 0 151039 0
[pid=26505/tid=26507] ppid=26502 vsize=630936 memory=1548 CPUtime=0.65 cores=0-7
/proc/26505/task/26507/stat : 26507 (cosoco) R 26502 26505 25749 0 -1 4202560 295 0 0 0 65 0 0 0 20 0 9 0 437387701 646078464 6136 33554432000 4194304 6211092 140735392237008 140479126322080 5390084 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26508] ppid=26502 vsize=630936 memory=8560 CPUtime=0.65 cores=0-7
/proc/26505/task/26508/stat : 26508 (cosoco) R 26502 26505 25749 0 -1 4202560 345 0 0 0 65 0 0 0 20 0 9 0 437387701 646078464 6136 33554432000 4194304 6211092 140735392237008 140479117928984 5409453 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26509] ppid=26502 vsize=630936 memory=1668 CPUtime=0.65 cores=0-7
/proc/26505/task/26509/stat : 26509 (cosoco) R 26502 26505 25749 0 -1 4202560 278 0 0 0 65 0 0 0 20 0 9 0 437387701 646078464 6136 33554432000 4194304 6211092 140735392237008 140479109536800 5193744 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26510] ppid=26502 vsize=630936 memory=1112 CPUtime=0.65 cores=0-7
/proc/26505/task/26510/stat : 26510 (cosoco) R 26502 26505 25749 0 -1 4202560 339 0 0 0 65 0 0 0 20 0 9 0 437387701 646078464 6136 33554432000 4194304 6211092 140735392237008 140479101144080 5409424 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26511] ppid=26502 vsize=630936 memory=1004 CPUtime=0.65 cores=0-7
/proc/26505/task/26511/stat : 26511 (cosoco) R 26502 26505 25749 0 -1 4202560 283 0 0 0 65 0 0 0 20 0 9 0 437387701 646078464 6136 33554432000 4194304 6211092 140735392237008 140479092750952 5250289 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26512] ppid=26502 vsize=630936 memory=1560 CPUtime=0.6 cores=0-7
/proc/26505/task/26512/stat : 26512 (cosoco) R 26502 26505 25749 0 -1 4202560 284 0 0 0 60 0 0 0 20 0 9 0 437387701 646078464 6136 33554432000 4194304 6211092 140735392237008 140479084358928 5125797 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26513] ppid=26502 vsize=630936 memory=932 CPUtime=0.65 cores=0-7
/proc/26505/task/26513/stat : 26513 (cosoco) R 26502 26505 25749 0 -1 4202560 311 0 0 0 65 0 0 0 20 0 9 0 437387701 646078464 6136 33554432000 4194304 6211092 140735392237008 140479075965624 5397226 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26514] ppid=26502 vsize=630936 memory=3768 CPUtime=0.65 cores=0-7
/proc/26505/task/26514/stat : 26514 (cosoco) R 26502 26505 25749 0 -1 4202560 289 0 0 0 65 0 0 0 20 0 9 0 437387701 646078464 6136 33554432000 4194304 6211092 140735392237008 140479067572920 5125793 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
Current children cumulated CPU time: 5.23 s
Current children cumulated vsize: 630936 KiB
Current children cumulated memory: 24544 KiB
[startup+1.50065 s]
/proc/loadavg: 6.35 8.31 8.80 9/200 26514
/proc/meminfo: memFree=31621272/32770624 swapFree=66997344/67108860
[pid=26505] ppid=26502 vsize=630936 memory=25528 CPUtime=11.62 cores=0-7
/proc/26505/stat : 26505 (cosoco) S 26502 26505 25749 0 -1 1077944320 12200 0 0 0 1160 2 0 0 20 0 9 0 437387697 646078464 6382 33554432000 4194304 6211092 140735392237008 140735392235264 140479149465335 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
/proc/26505/statm: 157734 6382 906 493 0 151039 0
[pid=26505/tid=26507] ppid=26502 vsize=630936 memory=9319 CPUtime=1.45 cores=0-7
/proc/26505/task/26507/stat : 26507 (cosoco) R 26502 26505 25749 0 -1 4202560 660 0 0 0 145 0 0 0 20 0 9 0 437387701 646078464 6382 33554432000 4194304 6211092 140735392237008 140479126322080 5250298 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26508] ppid=26502 vsize=630936 memory=25455 CPUtime=1.45 cores=0-7
/proc/26505/task/26508/stat : 26508 (cosoco) R 26502 26505 25749 0 -1 4202560 1028 0 0 0 145 0 0 0 20 0 9 0 437387701 646078464 6382 33554432000 4194304 6211092 140735392237008 140479117929744 5157536 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26509] ppid=26502 vsize=630936 memory=0 CPUtime=1.45 cores=0-7
/proc/26505/task/26509/stat : 26509 (cosoco) R 26502 26505 25749 0 -1 4202560 721 0 0 0 145 0 0 0 20 0 9 0 437387701 646078464 6382 33554432000 4194304 6211092 140735392237008 140479109536440 5250450 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26510] ppid=26502 vsize=630936 memory=8243114992657236051 CPUtime=1.45 cores=0-7
/proc/26505/task/26510/stat : 26510 (cosoco) R 26502 26505 25749 0 -1 4202560 1143 0 0 0 145 0 0 0 20 0 9 0 437387701 646078464 6382 33554432000 4194304 6211092 140735392237008 140479101143736 5125808 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26511] ppid=26502 vsize=630936 memory=288292194505458544 CPUtime=1.45 cores=0-7
/proc/26505/task/26511/stat : 26511 (cosoco) R 26502 26505 25749 0 -1 4202560 676 0 0 0 145 0 0 0 20 0 9 0 437387701 646078464 6382 33554432000 4194304 6211092 140735392237008 140479092750952 5250287 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26512] ppid=26502 vsize=630936 memory=7667497561383256160 CPUtime=1.39 cores=0-7
/proc/26505/task/26512/stat : 26512 (cosoco) R 26502 26505 25749 0 -1 4202560 1332 0 0 0 139 0 0 0 20 0 9 0 437387701 646078464 6382 33554432000 4194304 6211092 140735392237008 140479084358328 5250272 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26513] ppid=26502 vsize=630936 memory=280186352760288 CPUtime=1.45 cores=0-7
/proc/26505/task/26513/stat : 26513 (cosoco) R 26502 26505 25749 0 -1 4202560 1213 0 0 0 145 0 0 0 20 0 9 0 437387701 646078464 6382 33554432000 4194304 6211092 140735392237008 140479075966080 5250289 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26514] ppid=26502 vsize=630936 memory=3540024613037217800 CPUtime=1.45 cores=0-7
/proc/26505/task/26514/stat : 26514 (cosoco) R 26502 26505 25749 0 -1 4202560 813 0 0 0 145 0 0 0 20 0 9 0 437387701 646078464 6382 33554432000 4194304 6211092 140735392237008 140479067573264 5250224 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
Current children cumulated CPU time: 11.62 s
Current children cumulated vsize: 630936 KiB
Current children cumulated memory: 25528 KiB
[startup+3.11064 s]
/proc/loadavg: 6.56 8.32 8.80 9/200 26514
/proc/meminfo: memFree=31622884/32770624 swapFree=66997344/67108860
[pid=26505] ppid=26502 vsize=630936 memory=25688 CPUtime=24.47 cores=0-7
/proc/26505/stat : 26505 (cosoco) S 26502 26505 25749 0 -1 1077944320 17359 0 0 0 2445 2 0 0 20 0 9 0 437387697 646078464 6422 33554432000 4194304 6211092 140735392237008 140735392235264 140479149465335 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
/proc/26505/statm: 157734 6422 906 493 0 151039 0
[pid=26505/tid=26507] ppid=26502 vsize=630936 memory=25536 CPUtime=3.06 cores=0-7
/proc/26505/task/26507/stat : 26507 (cosoco) R 26502 26505 25749 0 -1 4202560 1292 0 0 0 306 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479126322176 5250287 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26508] ppid=26502 vsize=630936 memory=1060 CPUtime=3.06 cores=0-7
/proc/26505/task/26508/stat : 26508 (cosoco) R 26502 26505 25749 0 -1 4202560 1757 0 0 0 306 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479117929144 5193744 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26509] ppid=26502 vsize=630936 memory=25528 CPUtime=3.06 cores=0-7
/proc/26505/task/26509/stat : 26509 (cosoco) R 26502 26505 25749 0 -1 4202560 1296 0 0 0 306 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479109536440 5409453 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26510] ppid=26502 vsize=630936 memory=9319 CPUtime=3.06 cores=0-7
/proc/26505/task/26510/stat : 26510 (cosoco) R 26502 26505 25749 0 -1 4202560 1837 0 0 0 306 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479101143736 5250251 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26511] ppid=26502 vsize=630936 memory=25455 CPUtime=3.06 cores=0-7
/proc/26505/task/26511/stat : 26511 (cosoco) R 26502 26505 25749 0 -1 4202560 1437 0 0 0 306 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479092750952 5393059 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26512] ppid=26502 vsize=630936 memory=277 CPUtime=2.97 cores=0-7
/proc/26505/task/26512/stat : 26512 (cosoco) R 26502 26505 25749 0 -1 4202560 2046 0 0 0 297 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479084358328 5250287 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26513] ppid=26502 vsize=630936 memory=285 CPUtime=3.06 cores=0-7
/proc/26505/task/26513/stat : 26513 (cosoco) R 26502 26505 25749 0 -1 4202560 1762 0 0 0 306 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479075966080 5250293 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26514] ppid=26502 vsize=630936 memory=285 CPUtime=3.06 cores=0-7
/proc/26505/task/26514/stat : 26514 (cosoco) R 26502 26505 25749 0 -1 4202560 1318 0 0 0 306 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479067572920 5250284 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
Current children cumulated CPU time: 24.47 s
Current children cumulated vsize: 630936 KiB
Current children cumulated memory: 25688 KiB
[startup+4.20966 s]
# the end of solver process 26505 was just reported to runsolver
# cumulated CPU time of all completed processes: user=33.1407 s, system=0.033985 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20065 s]
/proc/loadavg: 6.56 8.32 8.80 9/200 26514
/proc/meminfo: memFree=31622884/32770624 swapFree=66997344/67108860
[pid=26505] ppid=26502 vsize=630936 memory=25688 CPUtime=25.19 cores=0-7
/proc/26505/stat : 26505 (cosoco) S 26502 26505 25749 0 -1 1077944320 17411 0 0 0 2517 2 0 0 20 0 9 0 437387697 646078464 6422 33554432000 4194304 6211092 140735392237008 140735392235264 140479149465335 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
/proc/26505/statm: 157734 6422 906 493 0 151039 0
[pid=26505/tid=26507] ppid=26502 vsize=630936 memory=2012 CPUtime=3.15 cores=0-7
/proc/26505/task/26507/stat : 26507 (cosoco) R 26502 26505 25749 0 -1 4202560 1292 0 0 0 315 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479126322304 5250287 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26508] ppid=26502 vsize=630936 memory=1388 CPUtime=3.15 cores=0-7
/proc/26505/task/26508/stat : 26508 (cosoco) R 26502 26505 25749 0 -1 4202560 1757 0 0 0 315 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479117929144 5126560 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26509] ppid=26502 vsize=630936 memory=776 CPUtime=3.15 cores=0-7
/proc/26505/task/26509/stat : 26509 (cosoco) R 26502 26505 25749 0 -1 4202560 1312 0 0 0 315 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479109536440 5250287 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26510] ppid=26502 vsize=630936 memory=24544 CPUtime=3.15 cores=0-7
/proc/26505/task/26510/stat : 26510 (cosoco) R 26502 26505 25749 0 -1 4202560 1837 0 0 0 315 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479101144192 5250287 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26511] ppid=26502 vsize=630936 memory=2512 CPUtime=3.15 cores=0-7
/proc/26505/task/26511/stat : 26511 (cosoco) R 26502 26505 25749 0 -1 4202560 1437 0 0 0 315 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479092751032 5250279 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26512] ppid=26502 vsize=630936 memory=1436 CPUtime=3.06 cores=0-7
/proc/26505/task/26512/stat : 26512 (cosoco) R 26502 26505 25749 0 -1 4202560 2046 0 0 0 306 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479084358328 5393072 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26513] ppid=26502 vsize=630936 memory=812 CPUtime=3.15 cores=0-7
/proc/26505/task/26513/stat : 26513 (cosoco) R 26502 26505 25749 0 -1 4202560 1762 0 0 0 315 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479075965624 5250463 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26514] ppid=26502 vsize=630936 memory=1764 CPUtime=3.15 cores=0-7
/proc/26505/task/26514/stat : 26514 (cosoco) R 26502 26505 25749 0 -1 4202560 1354 0 0 0 315 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479067573264 5250272 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
Current children cumulated CPU time: 25.19 s
Current children cumulated vsize: 630936 KiB
Current children cumulated memory: 25688 KiB
[startup+3.60064 s]
/proc/loadavg: 6.56 8.32 8.80 9/200 26514
/proc/meminfo: memFree=31622884/32770624 swapFree=66997344/67108860
[pid=26505] ppid=26502 vsize=630936 memory=25688 CPUtime=28.39 cores=0-7
/proc/26505/stat : 26505 (cosoco) S 26502 26505 25749 0 -1 1077944320 17418 0 0 0 2837 2 0 0 20 0 9 0 437387697 646078464 6422 33554432000 4194304 6211092 140735392237008 140735392235264 140479149465335 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
/proc/26505/statm: 157734 6422 906 493 0 151039 0
[pid=26505/tid=26507] ppid=26502 vsize=630936 memory=1980 CPUtime=3.55 cores=0-7
/proc/26505/task/26507/stat : 26507 (cosoco) R 26502 26505 25749 0 -1 4202560 1295 0 0 0 355 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479126322304 5017274 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26508] ppid=26502 vsize=630936 memory=2512 CPUtime=3.55 cores=0-7
/proc/26505/task/26508/stat : 26508 (cosoco) R 26502 26505 25749 0 -1 4202560 1758 0 0 0 355 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479117929144 5193754 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26509] ppid=26502 vsize=630936 memory=1436 CPUtime=3.55 cores=0-7
/proc/26505/task/26509/stat : 26509 (cosoco) R 26502 26505 25749 0 -1 4202560 1312 0 0 0 355 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479109536440 5250272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26510] ppid=26502 vsize=630936 memory=9432 CPUtime=3.55 cores=0-7
/proc/26505/task/26510/stat : 26510 (cosoco) R 26502 26505 25749 0 -1 4202560 1840 0 0 0 355 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479101144192 5250289 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26511] ppid=26502 vsize=630936 memory=280186352958848 CPUtime=3.55 cores=0-7
/proc/26505/task/26511/stat : 26511 (cosoco) R 26502 26505 25749 0 -1 4202560 1437 0 0 0 355 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479092751032 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26512] ppid=26502 vsize=630936 memory=3472468389404119392 CPUtime=3.46 cores=0-7
/proc/26505/task/26512/stat : 26512 (cosoco) R 26502 26505 25749 0 -1 4202560 2046 0 0 0 346 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479084358328 5250301 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26513] ppid=26502 vsize=630936 memory=-6876588628787748224 CPUtime=3.55 cores=0-7
/proc/26505/task/26513/stat : 26513 (cosoco) R 26502 26505 25749 0 -1 4202560 1762 0 0 0 355 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479075965624 5250284 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26514] ppid=26502 vsize=630936 memory=-6737208495982354336 CPUtime=3.55 cores=0-7
/proc/26505/task/26514/stat : 26514 (cosoco) R 26502 26505 25749 0 -1 4202560 1354 0 0 0 355 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479067573264 5125783 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
Current children cumulated CPU time: 28.39 s
Current children cumulated vsize: 630936 KiB
Current children cumulated memory: 25688 KiB
[startup+4.00065 s]*
/proc/loadavg: 6.56 8.32 8.80 9/200 26514
/proc/meminfo: memFree=31623132/32770624 swapFree=66997344/67108860
[pid=26505] ppid=26502 vsize=630936 memory=25688 CPUtime=31.65 cores=0-7
/proc/26505/stat : 26505 (cosoco) S 26502 26505 25749 0 -1 1077944320 17432 0 0 0 3163 2 0 0 20 0 9 0 437387697 646078464 6422 33554432000 4194304 6211092 140735392237008 140735392235264 140479149465335 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
/proc/26505/statm: 157734 6422 906 493 0 151039 0
[pid=26505/tid=26507] ppid=26502 vsize=630936 memory=6656426216303648864 CPUtime=3.96 cores=0-7
/proc/26505/task/26507/stat : 26507 (cosoco) R 26502 26505 25749 0 -1 4202560 1299 0 0 0 396 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479126322304 5017282 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26508] ppid=26502 vsize=630936 memory=6944656592455359580 CPUtime=3.96 cores=0-7
/proc/26505/task/26508/stat : 26508 (cosoco) R 26502 26505 25749 0 -1 4202560 1760 0 0 0 396 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479117929144 5017373 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26509] ppid=26502 vsize=630936 memory=3472468389552534192 CPUtime=3.96 cores=0-7
/proc/26505/task/26509/stat : 26509 (cosoco) R 26502 26505 25749 0 -1 4202560 1312 0 0 0 396 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479109536440 5193754 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26510] ppid=26502 vsize=630936 memory=3472323898181169199 CPUtime=3.96 cores=0-7
/proc/26505/task/26510/stat : 26510 (cosoco) R 26502 26505 25749 0 -1 4202560 1843 0 0 0 396 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479101144192 5250289 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26511] ppid=26502 vsize=630936 memory=6944656592455360604 CPUtime=3.96 cores=0-7
/proc/26505/task/26511/stat : 26511 (cosoco) R 26502 26505 25749 0 -1 4202560 1438 0 0 0 396 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479092751032 5008844 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26512] ppid=26502 vsize=630936 memory=6944656575208382560 CPUtime=3.86 cores=0-7
/proc/26505/task/26512/stat : 26512 (cosoco) R 26502 26505 25749 0 -1 4202560 2046 0 0 0 386 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479084358328 5250272 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26513] ppid=26502 vsize=630936 memory=3472328279047811119 CPUtime=3.96 cores=0-7
/proc/26505/task/26513/stat : 26513 (cosoco) R 26502 26505 25749 0 -1 4202560 1766 0 0 0 396 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479075965624 5250289 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26514] ppid=26502 vsize=630936 memory=0 CPUtime=3.95 cores=0-7
/proc/26505/task/26514/stat : 26514 (cosoco) R 26502 26505 25749 0 -1 4202560 1354 0 0 0 395 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479067573264 5017440 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
Current children cumulated CPU time: 31.65 s
Current children cumulated vsize: 630936 KiB
Current children cumulated memory: 25688 KiB
[startup+4.11065 s]
/proc/loadavg: 6.56 8.32 8.80 9/200 26514
/proc/meminfo: memFree=31623132/32770624 swapFree=66997344/67108860
[pid=26505] ppid=26502 vsize=630936 memory=25688 CPUtime=32.46 cores=0-7
/proc/26505/stat : 26505 (cosoco) S 26502 26505 25749 0 -1 1077944320 17432 0 0 0 3244 2 0 0 20 0 9 0 437387697 646078464 6422 33554432000 4194304 6211092 140735392237008 140735392235264 140479149465335 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
/proc/26505/statm: 157734 6422 906 493 0 151039 0
[pid=26505/tid=26507] ppid=26502 vsize=630936 memory=0 CPUtime=4.06 cores=0-7
/proc/26505/task/26507/stat : 26507 (cosoco) R 26502 26505 25749 0 -1 4202560 1299 0 0 0 406 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479126322304 5250272 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26508] ppid=26502 vsize=630936 memory=277 CPUtime=4.06 cores=0-7
/proc/26505/task/26508/stat : 26508 (cosoco) R 26502 26505 25749 0 -1 4202560 1760 0 0 0 406 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479117929144 5250289 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26509] ppid=26502 vsize=630936 memory=285 CPUtime=4.06 cores=0-7
/proc/26505/task/26509/stat : 26509 (cosoco) R 26502 26505 25749 0 -1 4202560 1312 0 0 0 406 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479109536440 5250453 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26510] ppid=26502 vsize=630936 memory=-7966001967256141664 CPUtime=4.06 cores=0-7
/proc/26505/task/26510/stat : 26510 (cosoco) R 26502 26505 25749 0 -1 4202560 1843 0 0 0 406 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479101144192 5193744 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26511] ppid=26502 vsize=630936 memory=-6876588461455810464 CPUtime=4.06 cores=0-7
/proc/26505/task/26511/stat : 26511 (cosoco) R 26502 26505 25749 0 -1 4202560 1438 0 0 0 406 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479092751032 5157976 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26512] ppid=26502 vsize=630936 memory=25536 CPUtime=3.96 cores=0-7
/proc/26505/task/26512/stat : 26512 (cosoco) R 26502 26505 25749 0 -1 4202560 2046 0 0 0 396 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479084358328 5250293 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26513] ppid=26502 vsize=630936 memory=1560 CPUtime=4.06 cores=0-7
/proc/26505/task/26513/stat : 26513 (cosoco) R 26502 26505 25749 0 -1 4202560 1766 0 0 0 406 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479075965624 5250279 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
[pid=26505/tid=26514] ppid=26502 vsize=630936 memory=932 CPUtime=4.06 cores=0-7
/proc/26505/task/26514/stat : 26514 (cosoco) R 26502 26505 25749 0 -1 4202560 1354 0 0 0 406 0 0 0 20 0 9 0 437387701 646078464 6422 33554432000 4194304 6211092 140735392237008 140479067573264 5250289 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9846784 140735392240657 140735392240749 140735392240749 140735392243662 0
Current children cumulated CPU time: 32.46 s
Current children cumulated vsize: 630936 KiB
Current children cumulated memory: 25688 KiB
Child status: 0
Real time (s): 4.20969
CPU time (s): 33.1747
CPU user time (s): 33.1407
CPU system time (s): 0.033985
CPU usage (%): 788.056
Max. virtual memory (cumulated for all children) (KiB): 630936
Max. memory (cumulated for all children) (KiB): 25688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.1407
system time used= 0.033985
maximum resident set size= 25832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22441
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= 506
involuntary context switches= 312
# summary of solver processes directly reported to runsolver:
# pid: 26505
# total CPU time (s): 33.1747
# total CPU user time (s): 33.1407
# total CPU system time (s): 0.033985
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030697 second user time and 0.093052 second system time
The end
Begin job on node103 at 2019-09-16 07:21:27 IDJOB=4398238 IDBENCH=138339 IDSOLVER=2851 FILE ID=node103/4398238-1568611346 RUNJOBID= node103-1568608678-25776 PBS_JOBID= 21703432 Free space on /tmp= 61720 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-4398238-1568611346/watcher-4398238-1568611346 -o /tmp/evaluation-result-4398238-1568611346/solver-4398238-1568611346 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568608678-25776 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398238-1568611346.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7a954e9050bb3a994248d3527dd6cfee RANDOM SEED=958990107 node103.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.74 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.74 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.74 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.74 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: 31642928 kB MemAvailable: 31883888 kB Buffers: 37384 kB Cached: 499872 kB SwapCached: 8868 kB Active: 338492 kB Inactive: 211016 kB Active(anon): 4492 kB Inactive(anon): 57192 kB Active(file): 334000 kB Inactive(file): 153824 kB Unevictable: 111164 kB Mlocked: 111164 kB SwapTotal: 67108860 kB SwapFree: 66997344 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 152588 kB Mapped: 47528 kB Shmem: 40848 kB Slab: 167176 kB SReclaimable: 137940 kB SUnreclaim: 29236 kB KernelStack: 3840 kB PageTables: 5808 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505796 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 108544 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61716 MiB End job on node103 at 2019-09-16 07:21:32