Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 parallel | OPT | 152 | 36.866 | 4.66498 |
Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff61.xml |
MD5SUM | 275e9239012ab7a817236ff89c8de286 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 152 |
Best CPU time to get the best result obtained on this benchmark | 16.4149 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 428 |
Number of constraints | 417 |
Number of domains | 27 |
Minimum domain size | 23 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":23,"count":13},{"size":25,"count":39},{"size":26,"count":376}] |
Minimum variable degree | 2 |
Maximum variable degree | 33 |
Distribution of variable degrees | [{"degree":2,"count":416},{"degree":33,"count":12}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 13 |
Distribution of constraint arities | [{"arity":2,"count":384},{"arity":12,"count":1},{"arity":13,"count":32}] |
Number of extensional constraints | 384 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":384},{"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-4409807-1569830772.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.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 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: 428 0.00/0.05 c | Domain Sizes: 23..26 0.00/0.05 c | 0.00/0.05 c | Constraints: 428 0.00/0.05 c | Arity: 2..32 -- Binary: 395 0.00/0.05 c | 0.00/0.05 c | Types: 0.00/0.05 c | (X - Y < k): 11 0.00/0.05 c | Extension: 384 (nb tuples: 26..26) -- (shared: 2864) 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 0. 0.00/0.05 c [pFactory][Group N°0] task 5 launched on thread 6. 0.00/0.05 c [pFactory][Group N°0] task 4 launched on thread 7. 0.00/0.05 c [pFactory][Group N°0] task 3 launched on thread 2. 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 5. 0.00/0.05 c [pFactory][Group N°0] task 0 launched on thread 3. 0.00/0.05 o 4444 0.00/0.05 o 605 0.00/0.06 o 457 0.00/0.10 o 454 0.00/0.10 o 411 0.00/0.10 o 393 0.00/0.10 o 385 0.54/0.11 o 384 0.54/0.11 o 348 0.54/0.12 o 341 0.54/0.14 o 332 0.54/0.16 o 324 0.54/0.17 o 323 0.54/0.18 o 319 0.54/0.19 o 314 0.54/0.19 o 312 0.54/0.20 o 250 1.46/0.29 o 237 1.46/0.31 o 232 2.19/0.37 o 225 2.19/0.39 o 221 2.98/0.50 o 201 3.77/0.58 o 192 4.50/0.67 o 189 5.23/0.71 o 175 5.23/0.75 o 173 6.03/0.80 o 157 6.03/0.85 o 154 7.69/1.01 o 152 36.37/4.66 c [pFactory][Group N°0] concurent mode: thread 0 has won with the task 6. 36.37/4.66 c [pFactory][Group N°0] Thread N°0 is joined. 36.37/4.66 c [pFactory][Group N°0] Thread N°1 is joined. 36.37/4.66 c [pFactory][Group N°0] Thread N°2 is joined. 36.37/4.66 c [pFactory][Group N°0] Thread N°3 is joined. 36.37/4.66 c [pFactory][Group N°0] Thread N°4 is joined. 36.37/4.66 c [pFactory][Group N°0] Thread N°5 is joined. 36.37/4.66 c [pFactory][Group N°0] Thread N°6 is joined. 36.37/4.66 c [pFactory][Group N°0] Thread N°7 is joined. 36.37/4.66 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°0) 36.37/4.66 s OPTIMUM FOUND 36.37/4.66 c call to solver : 8 36.37/4.66 c 36.37/4.66 c restarts : 725 36.37/4.66 c conflicts : 7766 (211 /sec) 36.37/4.66 c decisions : 84821 (2304 /sec) 36.37/4.66 c propagations : 6777955 (184084 /sec) 36.37/4.66 c root propagations : 4663 36.37/4.66 c filter calls : 3125462 (84885 /sec) 36.37/4.66 c useless filter calls : 1209458 (38 %) 36.37/4.66 c Memory used : 585.66 MB 36.37/4.66 c Best bound time (wc) : 1.01285 s 36.37/4.66 c CPU time : 36.8199 s 36.37/4.66 c real time : 4.65833 s 36.37/4.66 36.37/4.66 36.37/4.66 v <instantiation type='solution' cost='152'> 36.37/4.66 v <list>dr[0] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[1] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] dr[2] dr[30] dr[31] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] drd[0][0] drd[0][10] drd[0][11] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[0][6] drd[0][7] drd[0][8] drd[0][9] drd[10][0] drd[10][10] drd[10][11] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[10][6] drd[10][7] drd[10][8] drd[10][9] drd[11][0] drd[11][10] drd[11][11] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[11][6] drd[11][7] drd[11][8] drd[11][9] drd[12][0] drd[12][10] drd[12][11] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[12][6] drd[12][7] drd[12][8] drd[12][9] drd[13][0] drd[13][10] drd[13][11] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[13][6] drd[13][7] drd[13][8] drd[13][9] drd[14][0] drd[14][10] drd[14][11] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[14][6] drd[14][7] drd[14][8] drd[14][9] drd[15][0] drd[15][10] drd[15][11] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[15][6] drd[15][7] drd[15][8] drd[15][9] drd[16][0] drd[16][10] drd[16][11] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[16][6] drd[16][7] drd[16][8] drd[16][9] drd[17][0] drd[17][10] drd[17][11] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[17][6] drd[17][7] drd[17][8] drd[17][9] drd[18][0] drd[18][10] drd[18][11] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[18][6] drd[18][7] drd[18][8] drd[18][9] drd[19][0] drd[19][10] drd[19][11] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[19][6] drd[19][7] drd[19][8] drd[19][9] drd[1][0] drd[1][10] drd[1][11] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[1][6] drd[1][7] drd[1][8] drd[1][9] drd[20][0] drd[20][10] drd[20][11] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[20][6] drd[20][7] drd[20][8] drd[20][9] drd[21][0] drd[21][10] drd[21][11] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[21][6] drd[21][7] drd[21][8] drd[21][9] drd[22][0] drd[22][10] drd[22][11] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[22][6] drd[22][7] drd[22][8] drd[22][9] drd[23][0] drd[23][10] drd[23][11] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[23][6] drd[23][7] drd[23][8] drd[23][9] drd[24][0] drd[24][10] drd[24][11] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[24][6] drd[24][7] drd[24][8] drd[24][9] drd[25][0] drd[25][10] drd[25][11] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[25][6] drd[25][7] drd[25][8] drd[25][9] drd[26][0] drd[26][10] drd[26][11] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[26][6] drd[26][7] drd[26][8] drd[26][9] drd[27][0] drd[27][10] drd[27][11] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[27][6] drd[27][7] drd[27][8] drd[27][9] drd[28][0] drd[28][10] drd[28][11] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[28][6] drd[28][7] drd[28][8] drd[28][9] drd[29][0] drd[29][10] drd[29][11] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[29][6] drd[29][7] drd[29][8] drd[29][9] drd[2][0] drd[2][10] drd[2][11] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[2][6] drd[2][7] drd[2][8] drd[2][9] drd[30][0] drd[30][10] drd[30][11] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] drd[30][6] drd[30][7] drd[30][8] drd[30][9] drd[31][0] drd[31][10] drd[31][11] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[31][5] drd[31][6] drd[31][7] drd[31][8] drd[31][9] drd[3][0] drd[3][10] drd[3][11] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[3][6] drd[3][7] drd[3][8] drd[3][9] drd[4][0] drd[4][10] drd[4][11] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[4][6] drd[4][7] drd[4][8] drd[4][9] drd[5][0] drd[5][10] drd[5][11] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[5][6] drd[5][7] drd[5][8] drd[5][9] drd[6][0] drd[6][10] drd[6][11] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[6][6] drd[6][7] drd[6][8] drd[6][9] drd[7][0] drd[7][10] drd[7][11] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[7][6] drd[7][7] drd[7][8] drd[7][9] drd[8][0] drd[8][10] drd[8][11] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[8][6] drd[8][7] drd[8][8] drd[8][9] drd[9][0] drd[9][10] drd[9][11] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[9][6] drd[9][7] drd[9][8] drd[9][9] x[0] x[10] x[11] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list> 36.37/4.66 v <values>15 0 0 2 0 16 0 0 9 5 0 12 0 0 0 0 0 0 0 0 22 13 0 2 0 0 8 14 0 4 27 3 112 524 574 75 42 15 50 101 330 375 409 469 70 566 616 33 0 27 92 143 372 417 451 511 0 636 686 37 70 97 162 213 442 487 521 581 2 638 688 39 72 99 164 215 444 489 523 583 686 50 0 649 616 589 524 473 244 199 165 105 16 620 670 21 54 81 146 197 426 471 505 565 487 149 199 450 417 390 325 274 45 0 34 94 487 149 199 450 417 390 325 274 45 0 34 94 79 557 607 42 9 18 83 134 363 408 442 502 42 594 644 5 28 55 120 171 400 445 479 539 636 0 50 599 566 539 474 423 194 149 115 55 25 611 661 12 45 72 137 188 417 462 496 556 636 0 50 599 566 539 474 423 194 149 115 55 442 194 244 405 372 345 280 229 0 45 79 139 442 194 244 405 372 345 280 229 0 45 79 139 213 423 473 176 143 116 51 0 229 274 308 368 37 599 649 0 33 60 125 176 405 450 484 544 37 599 649 0 33 60 125 176 405 450 484 544 581 55 105 544 511 484 419 368 139 94 60 0 581 55 105 544 511 484 419 368 139 94 60 0 184 452 502 147 114 87 22 29 258 303 337 397 13 649 699 50 83 110 175 226 455 500 534 594 97 539 589 60 27 0 65 116 345 390 424 484 523 113 163 486 453 426 361 310 81 36 2 58 521 115 165 484 451 424 359 308 79 34 0 60 97 539 589 60 27 0 65 116 345 390 424 484 62 574 624 25 8 35 100 151 380 425 459 519 56 580 630 19 14 41 106 157 386 431 465 525 162 474 524 125 92 65 0 51 280 325 359 419 33 603 653 4 37 64 129 180 409 454 488 548 135 501 551 98 65 38 27 78 307 352 386 446 73 563 613 36 3 24 89 140 369 414 448 508 25 661 711 62 95 122 187 238 467 512 546 606 </values> 36.37/4.66 v </instantiation> 36.37/4.66
OK 152
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15174 MiB free) memory of node 1: 16384 MiB (15477 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409807-1569830772/watcher-4409807-1569830772 -o /tmp/evaluation-result-4409807-1569830772/solver-4409807-1569830772 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node147-1569818085-14128 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409807-1569830772.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=17906, runsolver pid=17903 [startup+0.10101 s]* /proc/loadavg: 7.43 7.92 8.01 9/200 17915 /proc/meminfo: memFree=31365424/32770624 swapFree=66936012/67108860 [pid=17906] ppid=17903 vsize=632500 memory=25820 CPUtime=0.54 cores=0-7 /proc/17906/stat : 17906 (cosoco) S 17903 17906 14101 0 -1 1077944320 7443 0 0 0 53 1 0 0 20 0 9 0 558990947 647680000 6455 33554432000 4194304 6211132 140721440220064 140721440218320 140615281667831 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 /proc/17906/statm: 158125 6455 892 493 0 151430 0 [pid=17906/tid=17908] ppid=17903 vsize=632500 memory=4134692831991786133 CPUtime=0.06 cores=0-7 /proc/17906/task/17908/stat : 17908 (cosoco) R 17903 17906 14101 0 -1 4202560 315 0 0 0 6 0 0 0 20 0 9 0 558990952 647680000 6455 33554432000 4194304 6211132 140721440220064 140615258524944 5409476 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17909] ppid=17903 vsize=632500 memory=4872558044660077418 CPUtime=0.06 cores=0-7 /proc/17906/task/17909/stat : 17909 (cosoco) R 17903 17906 14101 0 -1 4202560 380 0 0 0 6 0 0 0 20 0 9 0 558990952 647680000 6455 33554432000 4194304 6211132 140721440220064 140615250131352 5193786 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17910] ppid=17903 vsize=632500 memory=139730011473536 CPUtime=0.05 cores=0-7 /proc/17906/task/17910/stat : 17910 (cosoco) R 17903 17906 14101 0 -1 4202560 276 0 0 0 5 0 0 0 20 0 9 0 558990952 647680000 6455 33554432000 4194304 6211132 140721440220064 140615241739264 5193786 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17911] ppid=17903 vsize=632500 memory=0 CPUtime=0.06 cores=0-7 /proc/17906/task/17911/stat : 17911 (cosoco) R 17903 17906 14101 0 -1 4202560 302 0 0 0 6 0 0 0 20 0 9 0 558990952 647680000 6455 33554432000 4194304 6211132 140721440220064 140615233346832 5409489 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17912] ppid=17903 vsize=632500 memory=0 CPUtime=0.06 cores=0-7 /proc/17906/task/17912/stat : 17912 (cosoco) R 17903 17906 14101 0 -1 4202560 306 0 0 0 6 0 0 0 20 0 9 0 558990952 647680000 6455 33554432000 4194304 6211132 140721440220064 140615224954128 5250319 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17913] ppid=17903 vsize=632500 memory=0 CPUtime=0.06 cores=0-7 /proc/17906/task/17913/stat : 17913 (cosoco) R 17903 17906 14101 0 -1 4202560 300 0 0 0 6 0 0 0 20 0 9 0 558990952 647680000 6455 33554432000 4194304 6211132 140721440220064 140615216560664 5250319 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17914] ppid=17903 vsize=632500 memory=-1 CPUtime=0.06 cores=0-7 /proc/17906/task/17914/stat : 17914 (cosoco) R 17903 17906 14101 0 -1 4202560 282 0 0 0 6 0 0 0 20 0 9 0 558990952 647680000 6455 33554432000 4194304 6211132 140721440220064 140615208168040 140615265622846 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17915] ppid=17903 vsize=632500 memory=0 CPUtime=0.06 cores=0-7 /proc/17906/task/17915/stat : 17915 (cosoco) R 17903 17906 14101 0 -1 4202560 282 0 0 0 6 0 0 0 20 0 9 0 558990952 647680000 6455 33554432000 4194304 6211132 140721440220064 140615199775416 5250499 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 632500 KiB Current children cumulated memory: 25820 KiB [startup+0.217009 s]* /proc/loadavg: 7.43 7.92 8.01 10/200 17915 /proc/meminfo: memFree=31365384/32770624 swapFree=66936012/67108860 [pid=17906] ppid=17903 vsize=632500 memory=26340 CPUtime=1.46 cores=0-7 /proc/17906/stat : 17906 (cosoco) S 17903 17906 14101 0 -1 1077944320 7688 0 0 0 145 1 0 0 20 0 9 0 558990947 647680000 6585 33554432000 4194304 6211132 140721440220064 140721440218320 140615281667831 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 /proc/17906/statm: 158125 6585 892 493 0 151430 0 [pid=17906/tid=17908] ppid=17903 vsize=632500 memory=8316850467074736180 CPUtime=0.17 cores=0-7 /proc/17906/task/17908/stat : 17908 (cosoco) R 17903 17906 14101 0 -1 4202560 336 0 0 0 17 0 0 0 20 0 9 0 558990952 647680000 6585 33554432000 4194304 6211132 140721440220064 140615258524344 5250499 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17909] ppid=17903 vsize=632500 memory=9280 CPUtime=0.17 cores=0-7 /proc/17906/task/17909/stat : 17909 (cosoco) R 17903 17906 14101 0 -1 4202560 393 0 0 0 17 0 0 0 20 0 9 0 558990952 647680000 6585 33554432000 4194304 6211132 140721440220064 140615250132240 5250319 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17910] ppid=17903 vsize=632500 memory=139730011489528 CPUtime=0.16 cores=0-7 /proc/17906/task/17910/stat : 17910 (cosoco) R 17903 17906 14101 0 -1 4202560 320 0 0 0 16 0 0 0 20 0 9 0 558990952 647680000 6585 33554432000 4194304 6211132 140721440220064 140615241739280 5250304 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17911] ppid=17903 vsize=632500 memory=-1 CPUtime=0.17 cores=0-7 /proc/17906/task/17911/stat : 17911 (cosoco) R 17903 17906 14101 0 -1 4202560 333 0 0 0 17 0 0 0 20 0 9 0 558990952 647680000 6585 33554432000 4194304 6211132 140721440220064 140615233346232 5125990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17912] ppid=17903 vsize=632500 memory=0 CPUtime=0.17 cores=0-7 /proc/17906/task/17912/stat : 17912 (cosoco) R 17903 17906 14101 0 -1 4202560 324 0 0 0 17 0 0 0 20 0 9 0 558990952 647680000 6585 33554432000 4194304 6211132 140721440220064 140615224953528 5393456 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17913] ppid=17903 vsize=632500 memory=0 CPUtime=0.17 cores=0-7 /proc/17906/task/17913/stat : 17913 (cosoco) R 17903 17906 14101 0 -1 4202560 321 0 0 0 17 0 0 0 20 0 9 0 558990952 647680000 6585 33554432000 4194304 6211132 140721440220064 140615216561280 5250311 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17914] ppid=17903 vsize=632500 memory=-1 CPUtime=0.18 cores=0-7 /proc/17906/task/17914/stat : 17914 (cosoco) R 17903 17906 14101 0 -1 4202560 320 0 0 0 18 0 0 0 20 0 9 0 558990952 647680000 6585 33554432000 4194304 6211132 140721440220064 140615208168120 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17915] ppid=17903 vsize=632500 memory=0 CPUtime=0.17 cores=0-7 /proc/17906/task/17915/stat : 17915 (cosoco) R 17903 17906 14101 0 -1 4202560 334 0 0 0 17 0 0 0 20 0 9 0 558990952 647680000 6585 33554432000 4194304 6211132 140721440220064 140615199776016 5193786 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 Current children cumulated CPU time: 1.46 s Current children cumulated vsize: 632500 KiB Current children cumulated memory: 26340 KiB [startup+0.310009 s]* /proc/loadavg: 7.43 7.92 8.01 9/200 17915 /proc/meminfo: memFree=31365464/32770624 swapFree=66936012/67108860 [pid=17906] ppid=17903 vsize=632500 memory=26340 CPUtime=2.19 cores=0-7 /proc/17906/stat : 17906 (cosoco) S 17903 17906 14101 0 -1 1077944320 7732 0 0 0 218 1 0 0 20 0 9 0 558990947 647680000 6585 33554432000 4194304 6211132 140721440220064 140721440218320 140615281667831 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 /proc/17906/statm: 158125 6585 892 493 0 151430 0 [pid=17906/tid=17908] ppid=17903 vsize=632500 memory=6935054825532540783 CPUtime=0.27 cores=0-7 /proc/17906/task/17908/stat : 17908 (cosoco) R 17903 17906 14101 0 -1 4202560 336 0 0 0 27 0 0 0 20 0 9 0 558990952 647680000 6585 33554432000 4194304 6211132 140721440220064 140615258524344 5397267 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17909] ppid=17903 vsize=632500 memory=4872558044660077418 CPUtime=0.27 cores=0-7 /proc/17906/task/17909/stat : 17909 (cosoco) R 17903 17906 14101 0 -1 4202560 399 0 0 0 27 0 0 0 20 0 9 0 558990952 647680000 6585 33554432000 4194304 6211132 140721440220064 140615250132240 5250304 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17910] ppid=17903 vsize=632500 memory=0 CPUtime=0.24 cores=0-7 /proc/17906/task/17910/stat : 17910 (cosoco) R 17903 17906 14101 0 -1 4202560 320 0 0 0 24 0 0 0 20 0 9 0 558990952 647680000 6585 33554432000 4194304 6211132 140721440220064 140615241739280 5250321 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17911] ppid=17903 vsize=632500 memory=0 CPUtime=0.27 cores=0-7 /proc/17906/task/17911/stat : 17911 (cosoco) R 17903 17906 14101 0 -1 4202560 333 0 0 0 27 0 0 0 20 0 9 0 558990952 647680000 6585 33554432000 4194304 6211132 140721440220064 140615233346232 5250319 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17912] ppid=17903 vsize=632500 memory=6656426216303648864 CPUtime=0.27 cores=0-7 /proc/17906/task/17912/stat : 17912 (cosoco) R 17903 17906 14101 0 -1 4202560 332 0 0 0 27 0 0 0 20 0 9 0 558990952 647680000 6585 33554432000 4194304 6211132 140721440220064 140615224954128 5250316 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17913] ppid=17903 vsize=632500 memory=0 CPUtime=0.27 cores=0-7 /proc/17906/task/17913/stat : 17913 (cosoco) R 17903 17906 14101 0 -1 4202560 322 0 0 0 27 0 0 0 20 0 9 0 558990952 647680000 6585 33554432000 4194304 6211132 140721440220064 140615216561280 5158025 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17914] ppid=17903 vsize=632500 memory=0 CPUtime=0.27 cores=0-7 /proc/17906/task/17914/stat : 17914 (cosoco) R 17903 17906 14101 0 -1 4202560 339 0 0 0 27 0 0 0 20 0 9 0 558990952 647680000 6585 33554432000 4194304 6211132 140721440220064 140615208168120 5193786 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17915] ppid=17903 vsize=632500 memory=0 CPUtime=0.27 cores=0-7 /proc/17906/task/17915/stat : 17915 (cosoco) R 17903 17906 14101 0 -1 4202560 344 0 0 0 27 0 0 0 20 0 9 0 558990952 647680000 6585 33554432000 4194304 6211132 140721440220064 140615199775872 5125811 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 Current children cumulated CPU time: 2.19 s Current children cumulated vsize: 632500 KiB Current children cumulated memory: 26340 KiB [startup+0.701007 s] /proc/loadavg: 7.43 7.92 8.01 9/200 17915 /proc/meminfo: memFree=31365464/32770624 swapFree=66936012/67108860 [pid=17906] ppid=17903 vsize=632500 memory=26600 CPUtime=5.23 cores=0-7 /proc/17906/stat : 17906 (cosoco) S 17903 17906 14101 0 -1 1077944320 7767 0 0 0 522 1 0 0 20 0 9 0 558990947 647680000 6650 33554432000 4194304 6211132 140721440220064 140721440218320 140615281667831 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 /proc/17906/statm: 158125 6650 892 493 0 151430 0 [pid=17906/tid=17908] ppid=17903 vsize=632500 memory=2520 CPUtime=0.65 cores=0-7 /proc/17906/task/17908/stat : 17908 (cosoco) R 17903 17906 14101 0 -1 4202560 341 0 0 0 65 0 0 0 20 0 9 0 558990952 647680000 6650 33554432000 4194304 6211132 140721440220064 140615258524944 5389878 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17909] ppid=17903 vsize=632500 memory=1760 CPUtime=0.65 cores=0-7 /proc/17906/task/17909/stat : 17909 (cosoco) R 17903 17906 14101 0 -1 4202560 399 0 0 0 65 0 0 0 20 0 9 0 558990952 647680000 6650 33554432000 4194304 6211132 140721440220064 140615250132240 5397343 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17910] ppid=17903 vsize=632500 memory=1772 CPUtime=0.6 cores=0-7 /proc/17906/task/17910/stat : 17910 (cosoco) R 17903 17906 14101 0 -1 4202560 321 0 0 0 60 0 0 0 20 0 9 0 558990952 647680000 6650 33554432000 4194304 6211132 140721440220064 140615241739280 5250319 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17911] ppid=17903 vsize=632500 memory=111632 CPUtime=0.65 cores=0-7 /proc/17906/task/17911/stat : 17911 (cosoco) R 17903 17906 14101 0 -1 4202560 333 0 0 0 65 0 0 0 20 0 9 0 558990952 647680000 6650 33554432000 4194304 6211132 140721440220064 140615233346232 5397258 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17912] ppid=17903 vsize=632500 memory=796 CPUtime=0.65 cores=0-7 /proc/17906/task/17912/stat : 17912 (cosoco) R 17903 17906 14101 0 -1 4202560 337 0 0 0 65 0 0 0 20 0 9 0 558990952 647680000 6650 33554432000 4194304 6211132 140721440220064 140615224954128 5250319 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17913] ppid=17903 vsize=632500 memory=-7175204567652784766 CPUtime=0.65 cores=0-7 /proc/17906/task/17913/stat : 17913 (cosoco) R 17903 17906 14101 0 -1 4202560 327 0 0 0 65 0 0 0 20 0 9 0 558990952 647680000 6650 33554432000 4194304 6211132 140721440220064 140615216561280 5155836 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17914] ppid=17903 vsize=632500 memory=7100839861465685612 CPUtime=0.65 cores=0-7 /proc/17906/task/17914/stat : 17914 (cosoco) R 17903 17906 14101 0 -1 4202560 341 0 0 0 65 0 0 0 20 0 9 0 558990952 647680000 6650 33554432000 4194304 6211132 140721440220064 140615208168120 5250319 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17915] ppid=17903 vsize=632500 memory=3054156605268465310 CPUtime=0.65 cores=0-7 /proc/17906/task/17915/stat : 17915 (cosoco) R 17903 17906 14101 0 -1 4202560 361 0 0 0 65 0 0 0 20 0 9 0 558990952 647680000 6650 33554432000 4194304 6211132 140721440220064 140615199775336 5126628 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 Current children cumulated CPU time: 5.23 s Current children cumulated vsize: 632500 KiB Current children cumulated memory: 26600 KiB [startup+1.50101 s] /proc/loadavg: 7.43 7.92 8.01 9/200 17915 /proc/meminfo: memFree=31365464/32770624 swapFree=66936012/67108860 [pid=17906] ppid=17903 vsize=632500 memory=28216 CPUtime=11.61 cores=0-7 /proc/17906/stat : 17906 (cosoco) S 17903 17906 14101 0 -1 1077944320 13753 0 0 0 1159 2 0 0 20 0 9 0 558990947 647680000 7054 33554432000 4194304 6211132 140721440220064 140721440218320 140615281667831 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 /proc/17906/statm: 158125 7054 892 493 0 151430 0 [pid=17906/tid=17908] ppid=17903 vsize=632500 memory=6004539005174508138 CPUtime=1.45 cores=0-7 /proc/17906/task/17908/stat : 17908 (cosoco) R 17903 17906 14101 0 -1 4202560 1022 0 0 0 145 0 0 0 20 0 9 0 558990952 647680000 7054 33554432000 4194304 6211132 140721440220064 140615258524576 5250311 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17909] ppid=17903 vsize=632500 memory=6004539005174508138 CPUtime=1.45 cores=0-7 /proc/17906/task/17909/stat : 17909 (cosoco) R 17903 17906 14101 0 -1 4202560 1260 0 0 0 145 0 0 0 20 0 9 0 558990952 647680000 7054 33554432000 4194304 6211132 140721440220064 140615250131640 5250316 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17910] ppid=17903 vsize=632500 memory=6004539005174508138 CPUtime=1.39 cores=0-7 /proc/17906/task/17910/stat : 17910 (cosoco) R 17903 17906 14101 0 -1 4202560 856 0 0 0 139 0 0 0 20 0 9 0 558990952 647680000 7054 33554432000 4194304 6211132 140721440220064 140615241739280 5250307 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17911] ppid=17903 vsize=632500 memory=0 CPUtime=1.45 cores=0-7 /proc/17906/task/17911/stat : 17911 (cosoco) R 17903 17906 14101 0 -1 4202560 1080 0 0 0 145 0 0 0 20 0 9 0 558990952 647680000 7054 33554432000 4194304 6211132 140721440220064 140615233346232 5017688 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17912] ppid=17903 vsize=632500 memory=8316868033356759116 CPUtime=1.45 cores=0-7 /proc/17906/task/17912/stat : 17912 (cosoco) R 17903 17906 14101 0 -1 4202560 806 0 0 0 145 0 0 0 20 0 9 0 558990952 647680000 7054 33554432000 4194304 6211132 140721440220064 140615224953528 5250319 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17913] ppid=17903 vsize=632500 memory=17975 CPUtime=1.44 cores=0-7 /proc/17906/task/17913/stat : 17913 (cosoco) R 17903 17906 14101 0 -1 4202560 1373 0 0 0 144 0 0 0 20 0 9 0 558990952 647680000 7054 33554432000 4194304 6211132 140721440220064 140615216560824 5008831 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17914] ppid=17903 vsize=632500 memory=3545236929476060077 CPUtime=1.45 cores=0-7 /proc/17906/task/17914/stat : 17914 (cosoco) R 17903 17906 14101 0 -1 4202560 933 0 0 0 145 0 0 0 20 0 9 0 558990952 647680000 7054 33554432000 4194304 6211132 140721440220064 140615208168120 5186285 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17915] ppid=17903 vsize=632500 memory=0 CPUtime=1.45 cores=0-7 /proc/17906/task/17915/stat : 17915 (cosoco) R 17903 17906 14101 0 -1 4202560 1416 0 0 0 145 0 0 0 20 0 9 0 558990952 647680000 7054 33554432000 4194304 6211132 140721440220064 140615199775872 5392375 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 Current children cumulated CPU time: 11.61 s Current children cumulated vsize: 632500 KiB Current children cumulated memory: 28216 KiB [startup+3.11001 s] /proc/loadavg: 7.43 7.92 8.01 9/200 17915 /proc/meminfo: memFree=31364596/32770624 swapFree=66936012/67108860 [pid=17906] ppid=17903 vsize=632500 memory=28252 CPUtime=24.46 cores=0-7 /proc/17906/stat : 17906 (cosoco) S 17903 17906 14101 0 -1 1077944320 19364 0 0 0 2443 3 0 0 20 0 9 0 558990947 647680000 7063 33554432000 4194304 6211132 140721440220064 140721440218320 140615281667831 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 /proc/17906/statm: 158125 7063 892 493 0 151430 0 [pid=17906/tid=17908] ppid=17903 vsize=632500 memory=0 CPUtime=3.06 cores=0-7 /proc/17906/task/17908/stat : 17908 (cosoco) R 17903 17906 14101 0 -1 4202560 1935 0 0 0 306 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615258524672 5250319 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17909] ppid=17903 vsize=632500 memory=28220 CPUtime=3.06 cores=0-7 /proc/17906/task/17909/stat : 17909 (cosoco) R 17903 17906 14101 0 -1 4202560 1840 0 0 0 306 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615250131640 5250321 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17910] ppid=17903 vsize=632500 memory=6935054825532540783 CPUtime=2.97 cores=0-7 /proc/17906/task/17910/stat : 17910 (cosoco) R 17903 17906 14101 0 -1 4202560 1583 0 0 0 297 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615241738936 5126592 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17911] ppid=17903 vsize=632500 memory=8088577430502138195 CPUtime=3.06 cores=0-7 /proc/17906/task/17911/stat : 17911 (cosoco) R 17903 17906 14101 0 -1 4202560 1830 0 0 0 306 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615233346232 5125825 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17912] ppid=17903 vsize=632500 memory=7885333899875274866 CPUtime=3.05 cores=0-7 /proc/17906/task/17912/stat : 17912 (cosoco) R 17903 17906 14101 0 -1 4202560 1424 0 0 0 305 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615224953528 5250321 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17913] ppid=17903 vsize=632500 memory=-8989083015633787761 CPUtime=3.05 cores=0-7 /proc/17906/task/17913/stat : 17913 (cosoco) R 17903 17906 14101 0 -1 4202560 2040 0 0 0 305 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615216560824 5186334 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17914] ppid=17903 vsize=632500 memory=17 CPUtime=3.06 cores=0-7 /proc/17906/task/17914/stat : 17914 (cosoco) R 17903 17906 14101 0 -1 4202560 1610 0 0 0 306 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615208168120 5125825 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17915] ppid=17903 vsize=632500 memory=6935054825532540783 CPUtime=3.06 cores=0-7 /proc/17906/task/17915/stat : 17915 (cosoco) R 17903 17906 14101 0 -1 4202560 2095 0 0 0 306 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615199775872 5397407 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 Current children cumulated CPU time: 24.46 s Current children cumulated vsize: 632500 KiB Current children cumulated memory: 28252 KiB [startup+4.66493 s] # the end of solver process 17906 was just reported to runsolver # cumulated CPU time of all completed processes: user=36.82 s, system=0.045975 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20101 s] /proc/loadavg: 7.43 7.92 8.01 9/200 17915 /proc/meminfo: memFree=31364596/32770624 swapFree=66936012/67108860 [pid=17906] ppid=17903 vsize=632500 memory=28252 CPUtime=25.19 cores=0-7 /proc/17906/stat : 17906 (cosoco) S 17903 17906 14101 0 -1 1077944320 19384 0 0 0 2516 3 0 0 20 0 9 0 558990947 647680000 7063 33554432000 4194304 6211132 140721440220064 140721440218320 140615281667831 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 /proc/17906/statm: 158125 7063 892 493 0 151430 0 [pid=17906/tid=17908] ppid=17903 vsize=632500 memory=139729848780657 CPUtime=3.15 cores=0-7 /proc/17906/task/17908/stat : 17908 (cosoco) R 17903 17906 14101 0 -1 4202560 1935 0 0 0 315 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615258524672 5397255 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17909] ppid=17903 vsize=632500 memory=0 CPUtime=3.15 cores=0-7 /proc/17906/task/17909/stat : 17909 (cosoco) R 17903 17906 14101 0 -1 4202560 1848 0 0 0 315 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615250131640 5125825 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17910] ppid=17903 vsize=632500 memory=0 CPUtime=3.06 cores=0-7 /proc/17906/task/17910/stat : 17910 (cosoco) R 17903 17906 14101 0 -1 4202560 1587 0 0 0 306 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615241738936 5017664 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17911] ppid=17903 vsize=632500 memory=0 CPUtime=3.15 cores=0-7 /proc/17906/task/17911/stat : 17911 (cosoco) R 17903 17906 14101 0 -1 4202560 1830 0 0 0 315 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615233346232 5250495 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17912] ppid=17903 vsize=632500 memory=28216 CPUtime=3.14 cores=0-7 /proc/17906/task/17912/stat : 17912 (cosoco) R 17903 17906 14101 0 -1 4202560 1428 0 0 0 314 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615224953528 5250325 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17913] ppid=17903 vsize=632500 memory=1716 CPUtime=3.14 cores=0-7 /proc/17906/task/17913/stat : 17913 (cosoco) R 17903 17906 14101 0 -1 4202560 2040 0 0 0 314 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615216560824 5250325 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17914] ppid=17903 vsize=632500 memory=6284 CPUtime=3.15 cores=0-7 /proc/17906/task/17914/stat : 17914 (cosoco) R 17903 17906 14101 0 -1 4202560 1614 0 0 0 315 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615208168120 5126992 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17915] ppid=17903 vsize=632500 memory=6935054825532540783 CPUtime=3.15 cores=0-7 /proc/17906/task/17915/stat : 17915 (cosoco) R 17903 17906 14101 0 -1 4202560 2095 0 0 0 315 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615199775872 5250311 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 Current children cumulated CPU time: 25.19 s Current children cumulated vsize: 632500 KiB Current children cumulated memory: 28252 KiB [startup+4.00101 s]* /proc/loadavg: 7.47 7.92 8.01 9/200 17915 /proc/meminfo: memFree=31364596/32770624 swapFree=66936012/67108860 [pid=17906] ppid=17903 vsize=632500 memory=28252 CPUtime=31.65 cores=0-7 /proc/17906/stat : 17906 (cosoco) S 17903 17906 14101 0 -1 1077944320 19443 0 0 0 3162 3 0 0 20 0 9 0 558990947 647680000 7063 33554432000 4194304 6211132 140721440220064 140721440218320 140615281667831 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 /proc/17906/statm: 158125 7063 892 493 0 151430 0 [pid=17906/tid=17908] ppid=17903 vsize=632500 memory=6935054825532540783 CPUtime=3.96 cores=0-7 /proc/17906/task/17908/stat : 17908 (cosoco) R 17903 17906 14101 0 -1 4202560 1955 0 0 0 396 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615258524672 5392297 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17909] ppid=17903 vsize=632500 memory=4872558142750484543 CPUtime=3.96 cores=0-7 /proc/17906/task/17909/stat : 17909 (cosoco) R 17903 17906 14101 0 -1 4202560 1849 0 0 0 396 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615250131640 5009314 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17910] ppid=17903 vsize=632500 memory=8391306174910639095 CPUtime=3.86 cores=0-7 /proc/17906/task/17910/stat : 17910 (cosoco) R 17903 17906 14101 0 -1 4202560 1609 0 0 0 386 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615241739280 5125815 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17911] ppid=17903 vsize=632500 memory=279459697528784 CPUtime=3.96 cores=0-7 /proc/17906/task/17911/stat : 17911 (cosoco) R 17903 17906 14101 0 -1 4202560 1836 0 0 0 396 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615233346232 5009142 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17912] ppid=17903 vsize=632500 memory=196 CPUtime=3.95 cores=0-7 /proc/17906/task/17912/stat : 17912 (cosoco) R 17903 17906 14101 0 -1 4202560 1432 0 0 0 395 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615224953528 5126738 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17913] ppid=17903 vsize=632500 memory=-8989083015633787761 CPUtime=3.95 cores=0-7 /proc/17906/task/17913/stat : 17913 (cosoco) R 17903 17906 14101 0 -1 4202560 2043 0 0 0 395 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615216560824 5250319 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17914] ppid=17903 vsize=632500 memory=2319975277787691319 CPUtime=3.96 cores=0-7 /proc/17906/task/17914/stat : 17914 (cosoco) R 17903 17906 14101 0 -1 4202560 1615 0 0 0 396 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615208168120 5393060 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17915] ppid=17903 vsize=632500 memory=6947172292104312430 CPUtime=3.96 cores=0-7 /proc/17906/task/17915/stat : 17915 (cosoco) R 17903 17906 14101 0 -1 4202560 2097 0 0 0 396 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615199775872 5250321 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 Current children cumulated CPU time: 31.65 s Current children cumulated vsize: 632500 KiB Current children cumulated memory: 28252 KiB [startup+4.40101 s] /proc/loadavg: 7.47 7.92 8.01 9/200 17915 /proc/meminfo: memFree=31364596/32770624 swapFree=66936012/67108860 [pid=17906] ppid=17903 vsize=632500 memory=28252 CPUtime=34.77 cores=0-7 /proc/17906/stat : 17906 (cosoco) S 17903 17906 14101 0 -1 1077944320 25049 0 0 0 3473 4 0 0 20 0 9 0 558990947 647680000 7063 33554432000 4194304 6211132 140721440220064 140721440218320 140615281667831 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 /proc/17906/statm: 158125 7063 892 493 0 151430 0 [pid=17906/tid=17908] ppid=17903 vsize=632500 memory=6935054825532540783 CPUtime=4.35 cores=0-7 /proc/17906/task/17908/stat : 17908 (cosoco) R 17903 17906 14101 0 -1 4202560 2562 0 0 0 435 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615258524672 5158025 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17909] ppid=17903 vsize=632500 memory=6944652177228980320 CPUtime=4.35 cores=0-7 /proc/17906/task/17909/stat : 17909 (cosoco) R 17903 17906 14101 0 -1 4202560 2641 0 0 0 435 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615250131640 5250321 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17910] ppid=17903 vsize=632500 memory=6943526294502006880 CPUtime=4.25 cores=0-7 /proc/17906/task/17910/stat : 17910 (cosoco) R 17903 17906 14101 0 -1 4202560 2045 0 0 0 425 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615241739280 5250321 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17911] ppid=17903 vsize=632500 memory=139729848871079 CPUtime=4.35 cores=0-7 /proc/17906/task/17911/stat : 17911 (cosoco) R 17903 17906 14101 0 -1 4202560 2565 0 0 0 435 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615233346232 5125811 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17912] ppid=17903 vsize=632500 memory=28252 CPUtime=4.34 cores=0-7 /proc/17906/task/17912/stat : 17912 (cosoco) R 17903 17906 14101 0 -1 4202560 2087 0 0 0 434 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615224953984 5250321 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17913] ppid=17903 vsize=632500 memory=1056 CPUtime=4.34 cores=0-7 /proc/17906/task/17913/stat : 17913 (cosoco) R 17903 17906 14101 0 -1 4202560 2918 0 0 0 434 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615216561280 5193786 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17914] ppid=17903 vsize=632500 memory=1716 CPUtime=4.35 cores=0-7 /proc/17906/task/17914/stat : 17914 (cosoco) R 17903 17906 14101 0 -1 4202560 2245 0 0 0 435 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615208168120 5398596 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17915] ppid=17903 vsize=632500 memory=6284 CPUtime=4.34 cores=0-7 /proc/17906/task/17915/stat : 17915 (cosoco) R 17903 17906 14101 0 -1 4202560 2979 0 0 0 434 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615199775760 5193786 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 Current children cumulated CPU time: 34.77 s Current children cumulated vsize: 632500 KiB Current children cumulated memory: 28252 KiB [startup+4.60101 s] /proc/loadavg: 7.47 7.92 8.01 9/200 17915 /proc/meminfo: memFree=31364596/32770624 swapFree=66936012/67108860 [pid=17906] ppid=17903 vsize=632500 memory=28252 CPUtime=36.37 cores=0-7 /proc/17906/stat : 17906 (cosoco) S 17903 17906 14101 0 -1 1077944320 25097 0 0 0 3633 4 0 0 20 0 9 0 558990947 647680000 7063 33554432000 4194304 6211132 140721440220064 140721440218320 140615281667831 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 /proc/17906/statm: 158125 7063 892 493 0 151430 0 [pid=17906/tid=17908] ppid=17903 vsize=632500 memory=288230583166042426 CPUtime=4.55 cores=0-7 /proc/17906/task/17908/stat : 17908 (cosoco) R 17903 17906 14101 0 -1 4202560 2562 0 0 0 455 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615258524672 5186344 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17909] ppid=17903 vsize=632500 memory=13848568834296438 CPUtime=4.55 cores=0-7 /proc/17906/task/17909/stat : 17909 (cosoco) R 17903 17906 14101 0 -1 4202560 2648 0 0 0 455 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615250131640 5250319 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17910] ppid=17903 vsize=632500 memory=492 CPUtime=4.45 cores=0-7 /proc/17906/task/17910/stat : 17910 (cosoco) R 17903 17906 14101 0 -1 4202560 2076 0 0 0 445 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615241739280 5404572 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17911] ppid=17903 vsize=632500 memory=11624 CPUtime=4.55 cores=0-7 /proc/17906/task/17911/stat : 17911 (cosoco) R 17903 17906 14101 0 -1 4202560 2565 0 0 0 455 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615233346232 5389998 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17912] ppid=17903 vsize=632500 memory=7588675702587027304 CPUtime=4.54 cores=0-7 /proc/17906/task/17912/stat : 17912 (cosoco) R 17903 17906 14101 0 -1 4202560 2089 0 0 0 454 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615224953984 5250316 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17913] ppid=17903 vsize=632500 memory=6945507666079274341 CPUtime=4.54 cores=0-7 /proc/17906/task/17913/stat : 17913 (cosoco) R 17903 17906 14101 0 -1 4202560 2924 0 0 0 454 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615216561280 5125825 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17914] ppid=17903 vsize=632500 memory=-8989083015633787761 CPUtime=4.55 cores=0-7 /proc/17906/task/17914/stat : 17914 (cosoco) R 17903 17906 14101 0 -1 4202560 2245 0 0 0 455 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615208168120 5250319 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 [pid=17906/tid=17915] ppid=17903 vsize=632500 memory=0 CPUtime=4.54 cores=0-7 /proc/17906/task/17915/stat : 17915 (cosoco) R 17903 17906 14101 0 -1 4202560 2981 0 0 0 454 0 0 0 20 0 9 0 558990952 647680000 7063 33554432000 4194304 6211132 140721440220064 140615199775760 5126640 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37904384 140721440224278 140721440224370 140721440224370 140721440227278 0 Current children cumulated CPU time: 36.37 s Current children cumulated vsize: 632500 KiB Current children cumulated memory: 28252 KiB Child status: 0 Real time (s): 4.66498 CPU time (s): 36.866 CPU user time (s): 36.82 CPU system time (s): 0.045975 CPU usage (%): 790.271 Max. virtual memory (cumulated for all children) (KiB): 632500 Max. memory (cumulated for all children) (KiB): 28252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 36.82 system time used= 0.045975 maximum resident set size= 28472 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25185 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= 581 involuntary context switches= 358 # summary of solver processes directly reported to runsolver: # pid: 17906 # total CPU time (s): 36.866 # total CPU user time (s): 36.82 # total CPU system time (s): 0.045975 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.036646 second user time and 0.087405 second system time The end
Begin job on node147 at 2019-09-30 10:05:28 IDJOB=4409807 IDBENCH=138376 IDSOLVER=2878 FILE ID=node147/4409807-1569830772 RUNJOBID= node147-1569818085-14128 PBS_JOBID= 21705926 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff61.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409807-1569830772/watcher-4409807-1569830772 -o /tmp/evaluation-result-4409807-1569830772/solver-4409807-1569830772 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node147-1569818085-14128 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409807-1569830772.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 275e9239012ab7a817236ff89c8de286 RANDOM SEED=401749030 node147.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31387596 kB MemAvailable: 31793112 kB Buffers: 240540 kB Cached: 493760 kB SwapCached: 68896 kB Active: 416348 kB Inactive: 390672 kB Active(anon): 17832 kB Inactive(anon): 137176 kB Active(file): 398516 kB Inactive(file): 253496 kB Unevictable: 107284 kB Mlocked: 107284 kB SwapTotal: 67108860 kB SwapFree: 66936012 kB Dirty: 3040 kB Writeback: 0 kB AnonPages: 112560 kB Mapped: 25748 kB Shmem: 73672 kB Slab: 167892 kB SReclaimable: 138676 kB SUnreclaim: 29216 kB KernelStack: 3424 kB PageTables: 5476 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 538644 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 62028 MiB End job on node147 at 2019-09-30 10:05:33