Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.O parallel | OPT | 125 | 18.9043 | 2.42496 |
Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff62.xml |
MD5SUM | 5002a5aac4309249d3aa4752a35eede8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 125 |
Best CPU time to get the best result obtained on this benchmark | 15.1896 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 461 |
Number of constraints | 449 |
Number of domains | 27 |
Minimum domain size | 23 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":23,"count":14},{"size":25,"count":42},{"size":26,"count":405}] |
Minimum variable degree | 2 |
Maximum variable degree | 33 |
Distribution of variable degrees | [{"degree":2,"count":448},{"degree":33,"count":13}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 14 |
Distribution of constraint arities | [{"arity":2,"count":416},{"arity":13,"count":1},{"arity":14,"count":32}] |
Number of extensional constraints | 416 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":416},{"type":"ordered","count":1},{"type":"minimum","count":32}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.04 c 0.00/0.04 c This is cosoco 2.00 -- 0.00/0.04 c 0.00/0.04 c command line: cosoco -model -nbcores=8 HOME/instance-4398227-1568611336.xml 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.06 c enable optimization 0.00/0.06 c ========================================[ Problem Statistics ]=========================================== 0.00/0.06 c | 0.00/0.06 c | Parse time : 0.03 s 0.00/0.06 c | 0.00/0.06 c | Variables: 461 0.00/0.06 c | Domain Sizes: 23..26 0.00/0.06 c | 0.00/0.06 c | Constraints: 461 0.00/0.06 c | Arity: 2..32 -- Binary: 428 0.00/0.06 c | 0.00/0.06 c | Types: 0.00/0.06 c | (X - Y < k): 12 0.00/0.06 c | Extension: 416 (nb tuples: 26..26) -- (shared: 3120) 0.00/0.06 c | Minimum Variable: 32 0.00/0.06 c | Sum: 1 0.00/0.06 c | 0.00/0.06 c | Objective: Minimize Sum 0.00/0.06 0.00/0.06 c ========================================================================================================= 0.00/0.06 c Parallel mode: Portfolio 0.00/0.06 c [pFactory][Group N°0] created (threads:8). 0.00/0.06 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.00/0.06 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.00/0.06 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.00/0.06 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.00/0.06 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.00/0.06 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.00/0.06 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.00/0.06 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.00/0.06 c [pFactory][Group N°0] concurrent mode: enabled. 0.00/0.06 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.00/0.06 c [pFactory][Group N°0] task 7 launched on thread 7. 0.00/0.06 c [pFactory][Group N°0] task 6 launched on thread 1. 0.00/0.06 c [pFactory][Group N°0] task 5 launched on thread 0. 0.00/0.06 c [pFactory][Group N°0] task 4 launched on thread 3. 0.00/0.06 c [pFactory][Group N°0] task 3 launched on thread 4. 0.00/0.06 c [pFactory][Group N°0] task 2 launched on thread 5. 0.00/0.06 c [pFactory][Group N°0] task 1 launched on thread 2. 0.00/0.06 c [pFactory][Group N°0] task 0 launched on thread 6. 0.00/0.06 o 601 0.00/0.07 o 592 0.00/0.08 o 300 0.00/0.09 o 289 0.00/0.10 o 285 0.49/0.12 o 281 0.49/0.12 o 225 0.49/0.20 o 222 1.34/0.22 o 215 1.34/0.24 o 210 1.34/0.25 o 205 1.34/0.30 o 200 2.13/0.34 o 195 2.13/0.36 o 185 2.13/0.38 o 164 2.13/0.40 o 140 2.92/0.42 o 128 2.92/0.45 o 125 18.74/2.42 c [pFactory][Group N°0] concurent mode: thread 3 has won with the task 4. 18.74/2.42 c [pFactory][Group N°0] Thread N°0 is joined. 18.74/2.42 c [pFactory][Group N°0] Thread N°1 is joined. 18.74/2.42 c [pFactory][Group N°0] Thread N°2 is joined. 18.74/2.42 c [pFactory][Group N°0] Thread N°3 is joined. 18.74/2.42 c [pFactory][Group N°0] Thread N°4 is joined. 18.74/2.42 c [pFactory][Group N°0] Thread N°5 is joined. 18.74/2.42 c [pFactory][Group N°0] Thread N°6 is joined. 18.74/2.42 c [pFactory][Group N°0] Thread N°7 is joined. 18.74/2.42 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°3) 18.74/2.42 s OPTIMUM FOUND 18.74/2.42 c call to solver : 23 18.74/2.42 c 18.74/2.42 c restarts : 808 18.74/2.42 c conflicts : 1943 (103 /sec) 18.74/2.42 c decisions : 52156 (2765 /sec) 18.74/2.42 c propagations : 2923300 (154948 /sec) 18.74/2.42 c root propagations : 5479 18.74/2.42 c filter calls : 1436600 (76146 /sec) 18.74/2.42 c useless filter calls : 573091 (39 %) 18.74/2.42 c Memory used : 587.22 MB 18.74/2.42 c Best bound time (wc) : 0.447855 s 18.74/2.42 c CPU time : 18.8662 s 18.74/2.42 c real time : 2.41837 s 18.74/2.42 18.74/2.42 18.74/2.42 v <instantiation type='solution' cost='125'> 18.74/2.42 v <list>dr[0] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[1] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] dr[2] dr[30] dr[31] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] drd[0][0] drd[0][10] drd[0][11] drd[0][12] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[0][6] drd[0][7] drd[0][8] drd[0][9] drd[10][0] drd[10][10] drd[10][11] drd[10][12] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[10][6] drd[10][7] drd[10][8] drd[10][9] drd[11][0] drd[11][10] drd[11][11] drd[11][12] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[11][6] drd[11][7] drd[11][8] drd[11][9] drd[12][0] drd[12][10] drd[12][11] drd[12][12] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[12][6] drd[12][7] drd[12][8] drd[12][9] drd[13][0] drd[13][10] drd[13][11] drd[13][12] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[13][6] drd[13][7] drd[13][8] drd[13][9] drd[14][0] drd[14][10] drd[14][11] drd[14][12] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[14][6] drd[14][7] drd[14][8] drd[14][9] drd[15][0] drd[15][10] drd[15][11] drd[15][12] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[15][6] drd[15][7] drd[15][8] drd[15][9] drd[16][0] drd[16][10] drd[16][11] drd[16][12] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[16][6] drd[16][7] drd[16][8] drd[16][9] drd[17][0] drd[17][10] drd[17][11] drd[17][12] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[17][6] drd[17][7] drd[17][8] drd[17][9] drd[18][0] drd[18][10] drd[18][11] drd[18][12] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[18][6] drd[18][7] drd[18][8] drd[18][9] drd[19][0] drd[19][10] drd[19][11] drd[19][12] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[19][6] drd[19][7] drd[19][8] drd[19][9] drd[1][0] drd[1][10] drd[1][11] drd[1][12] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[1][6] drd[1][7] drd[1][8] drd[1][9] drd[20][0] drd[20][10] drd[20][11] drd[20][12] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[20][6] drd[20][7] drd[20][8] drd[20][9] drd[21][0] drd[21][10] drd[21][11] drd[21][12] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[21][6] drd[21][7] drd[21][8] drd[21][9] drd[22][0] drd[22][10] drd[22][11] drd[22][12] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[22][6] drd[22][7] drd[22][8] drd[22][9] drd[23][0] drd[23][10] drd[23][11] drd[23][12] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[23][6] drd[23][7] drd[23][8] drd[23][9] drd[24][0] drd[24][10] drd[24][11] drd[24][12] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[24][6] drd[24][7] drd[24][8] drd[24][9] drd[25][0] drd[25][10] drd[25][11] drd[25][12] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[25][6] drd[25][7] drd[25][8] drd[25][9] drd[26][0] drd[26][10] drd[26][11] drd[26][12] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[26][6] drd[26][7] drd[26][8] drd[26][9] drd[27][0] drd[27][10] drd[27][11] drd[27][12] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[27][6] drd[27][7] drd[27][8] drd[27][9] drd[28][0] drd[28][10] drd[28][11] drd[28][12] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[28][6] drd[28][7] drd[28][8] drd[28][9] drd[29][0] drd[29][10] drd[29][11] drd[29][12] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[29][6] drd[29][7] drd[29][8] drd[29][9] drd[2][0] drd[2][10] drd[2][11] drd[2][12] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[2][6] drd[2][7] drd[2][8] drd[2][9] drd[30][0] drd[30][10] drd[30][11] drd[30][12] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] drd[30][6] drd[30][7] drd[30][8] drd[30][9] drd[31][0] drd[31][10] drd[31][11] drd[31][12] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[31][5] drd[31][6] drd[31][7] drd[31][8] drd[31][9] drd[3][0] drd[3][10] drd[3][11] drd[3][12] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[3][6] drd[3][7] drd[3][8] drd[3][9] drd[4][0] drd[4][10] drd[4][11] drd[4][12] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[4][6] drd[4][7] drd[4][8] drd[4][9] drd[5][0] drd[5][10] drd[5][11] drd[5][12] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[5][6] drd[5][7] drd[5][8] drd[5][9] drd[6][0] drd[6][10] drd[6][11] drd[6][12] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[6][6] drd[6][7] drd[6][8] drd[6][9] drd[7][0] drd[7][10] drd[7][11] drd[7][12] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[7][6] drd[7][7] drd[7][8] drd[7][9] drd[8][0] drd[8][10] drd[8][11] drd[8][12] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[8][6] drd[8][7] drd[8][8] drd[8][9] drd[9][0] drd[9][10] drd[9][11] drd[9][12] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[9][6] drd[9][7] drd[9][8] drd[9][9] x[0] x[10] x[11] x[12] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list> 18.74/2.42 v <values>15 0 0 2 0 16 0 0 9 5 0 12 0 0 0 0 0 0 0 0 0 13 0 2 0 0 8 14 22 4 0 3 112 469 524 574 75 42 15 23 72 101 330 375 409 70 511 566 616 33 0 27 65 114 143 372 417 451 0 581 636 686 37 70 97 135 184 213 442 487 521 2 583 638 688 39 72 99 137 186 215 444 489 523 686 105 50 0 649 616 589 551 502 473 244 199 165 16 565 620 670 21 54 81 119 168 197 426 471 505 487 94 149 199 450 417 390 352 303 274 45 0 34 487 94 149 199 450 417 390 352 303 274 45 0 34 79 502 557 607 42 9 18 56 105 134 363 408 442 42 539 594 644 5 28 55 93 142 171 400 445 479 636 55 0 50 599 566 539 501 452 423 194 149 115 25 556 611 661 12 45 72 110 159 188 417 462 496 636 55 0 50 599 566 539 501 452 423 194 149 115 442 139 194 244 405 372 345 307 258 229 0 45 79 442 139 194 244 405 372 345 307 258 229 0 45 79 213 368 423 473 176 143 116 78 29 0 229 274 308 37 544 599 649 0 33 60 98 147 176 405 450 484 37 544 599 649 0 33 60 98 147 176 405 450 484 581 0 55 105 544 511 484 446 397 368 139 94 60 581 0 55 105 544 511 484 446 397 368 139 94 60 184 397 452 502 147 114 87 49 0 29 258 303 337 13 594 649 699 50 83 110 148 197 226 455 500 534 97 484 539 589 60 27 0 38 87 116 345 390 424 523 58 113 163 486 453 426 388 339 310 81 36 2 521 60 115 165 484 451 424 386 337 308 79 34 0 97 484 539 589 60 27 0 38 87 116 345 390 424 62 519 574 624 25 8 35 73 122 151 380 425 459 56 525 580 630 19 14 41 79 128 157 386 431 465 162 419 474 524 125 92 65 27 22 51 280 325 359 33 548 603 653 4 37 64 102 151 180 409 454 488 135 446 501 551 98 65 38 0 49 78 307 352 386 73 508 563 613 36 3 24 62 111 140 369 414 448 25 606 661 711 62 95 122 160 209 238 467 512 546 </values> 18.74/2.42 v </instantiation> 18.74/2.42
OK 125
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15310 MiB free) memory of node 1: 16384 MiB (15421 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398227-1568611336/watcher-4398227-1568611336 -o /tmp/evaluation-result-4398227-1568611336/solver-4398227-1568611336 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568611288-10761 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398227-1568611336.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=10859, runsolver pid=10856 Current StackSize limit: 8192 KiB [startup+0.102885 s]* /proc/loadavg: 7.21 4.64 4.58 9/199 10868 /proc/meminfo: memFree=31444708/32770624 swapFree=66998920/67108860 [pid=10859] ppid=10856 vsize=634096 memory=28652 CPUtime=0.49 cores=0-7 /proc/10859/stat : 10859 (cosoco) S 10856 10859 10734 0 -1 1077944320 8452 0 0 0 48 1 0 0 20 0 9 0 437385058 649314304 7163 33554432000 4194304 6211092 140729084267376 140729084265632 139816551276279 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 /proc/10859/statm: 158524 7163 892 493 0 151829 0 [pid=10859/tid=10861] ppid=10856 vsize=634096 memory=576460756329955530 CPUtime=0.06 cores=0-7 /proc/10859/task/10861/stat : 10861 (cosoco) R 10856 10859 10734 0 -1 4202560 414 0 0 0 6 0 0 0 20 0 9 0 437385062 649314304 7163 33554432000 4194304 6211092 140729084267376 139816528132712 5126592 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10862] ppid=10856 vsize=634096 memory=0 CPUtime=0.05 cores=0-7 /proc/10859/task/10862/stat : 10862 (cosoco) R 10856 10859 10734 0 -1 4202560 382 0 0 0 5 0 0 0 20 0 9 0 437385062 649314304 7163 33554432000 4194304 6211092 140729084267376 139816519739928 5250275 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10863] ppid=10856 vsize=634096 memory=139772181061494 CPUtime=0.06 cores=0-7 /proc/10859/task/10863/stat : 10863 (cosoco) R 10856 10859 10734 0 -1 4202560 407 0 0 0 6 0 0 0 20 0 9 0 437385062 649314304 7163 33554432000 4194304 6211092 140729084267376 139816511347744 5409431 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10864] ppid=10856 vsize=634096 memory=0 CPUtime=0.04 cores=0-7 /proc/10859/task/10864/stat : 10864 (cosoco) R 10856 10859 10734 0 -1 4202560 437 0 0 0 4 0 0 0 20 0 9 0 437385063 649314304 7163 33554432000 4194304 6211092 140729084267376 139816502955280 139816551297626 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10865] ppid=10856 vsize=634096 memory=0 CPUtime=0.05 cores=0-7 /proc/10859/task/10865/stat : 10865 (cosoco) R 10856 10859 10734 0 -1 1077944384 306 0 0 0 5 0 0 0 20 0 9 0 437385063 649314304 7163 33554432000 4194304 6211092 140729084267376 139816494562576 139816551297469 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10866] ppid=10856 vsize=634096 memory=0 CPUtime=0.05 cores=0-7 /proc/10859/task/10866/stat : 10866 (cosoco) R 10856 10859 10734 0 -1 4202560 351 0 0 0 5 0 0 0 20 0 9 0 437385063 649314304 7163 33554432000 4194304 6211092 140729084267376 139816486168984 5250287 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10867] ppid=10856 vsize=634096 memory=-1 CPUtime=0.05 cores=0-7 /proc/10859/task/10867/stat : 10867 (cosoco) R 10856 10859 10734 0 -1 4202560 368 0 0 0 5 0 0 0 20 0 9 0 437385063 649314304 7163 33554432000 4194304 6211092 140729084267376 139816477776928 5389428 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10868] ppid=10856 vsize=634096 memory=0 CPUtime=0.05 cores=0-7 /proc/10859/task/10868/stat : 10868 (cosoco) R 10856 10859 10734 0 -1 4202560 399 0 0 0 5 0 0 0 20 0 9 0 437385063 649314304 7163 33554432000 4194304 6211092 140729084267376 139816469384208 139816535231294 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 634096 KiB Current children cumulated memory: 28652 KiB [startup+0.210165 s]* /proc/loadavg: 7.21 4.64 4.58 9/199 10868 /proc/meminfo: memFree=31444160/32770624 swapFree=66998920/67108860 [pid=10859] ppid=10856 vsize=634096 memory=29432 CPUtime=1.34 cores=0-7 /proc/10859/stat : 10859 (cosoco) S 10856 10859 10734 0 -1 1077944320 8761 0 0 0 133 1 0 0 20 0 9 0 437385058 649314304 7358 33554432000 4194304 6211092 140729084267376 140729084265632 139816551276279 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 /proc/10859/statm: 158524 7358 892 493 0 151829 0 [pid=10859/tid=10861] ppid=10856 vsize=634096 memory=8316850467074736180 CPUtime=0.16 cores=0-7 /proc/10859/task/10861/stat : 10861 (cosoco) R 10856 10859 10734 0 -1 4202560 466 0 0 0 16 0 0 0 20 0 9 0 437385062 649314304 7358 33554432000 4194304 6211092 140729084267376 139816528132632 5017569 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10862] ppid=10856 vsize=634096 memory=2809213 CPUtime=0.16 cores=0-7 /proc/10859/task/10862/stat : 10862 (cosoco) R 10856 10859 10734 0 -1 4202560 403 0 0 0 16 0 0 0 20 0 9 0 437385062 649314304 7358 33554432000 4194304 6211092 140729084267376 139816519740448 5125783 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10863] ppid=10856 vsize=634096 memory=288370148332762752 CPUtime=0.16 cores=0-7 /proc/10859/task/10863/stat : 10863 (cosoco) R 10856 10859 10734 0 -1 4202560 470 0 0 0 16 0 0 0 20 0 9 0 437385062 649314304 7358 33554432000 4194304 6211092 140729084267376 139816511347744 5250289 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10864] ppid=10856 vsize=634096 memory=-1 CPUtime=0.15 cores=0-7 /proc/10859/task/10864/stat : 10864 (cosoco) R 10856 10859 10734 0 -1 4202560 472 0 0 0 15 0 0 0 20 0 9 0 437385063 649314304 7358 33554432000 4194304 6211092 140729084267376 139816502955280 5397375 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10865] ppid=10856 vsize=634096 memory=0 CPUtime=0.14 cores=0-7 /proc/10859/task/10865/stat : 10865 (cosoco) R 10856 10859 10734 0 -1 4202560 320 0 0 0 14 0 0 0 20 0 9 0 437385063 649314304 7358 33554432000 4194304 6211092 140729084267376 139816494562432 5017476 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10866] ppid=10856 vsize=634096 memory=0 CPUtime=0.16 cores=0-7 /proc/10859/task/10866/stat : 10866 (cosoco) R 10856 10859 10734 0 -1 4202560 387 0 0 0 16 0 0 0 20 0 9 0 437385063 649314304 7358 33554432000 4194304 6211092 140729084267376 139816486169272 5017373 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10867] ppid=10856 vsize=634096 memory=-1 CPUtime=0.16 cores=0-7 /proc/10859/task/10867/stat : 10867 (cosoco) R 10856 10859 10734 0 -1 4202560 387 0 0 0 16 0 0 0 20 0 9 0 437385063 649314304 7358 33554432000 4194304 6211092 140729084267376 139816477776408 139816535231294 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10868] ppid=10856 vsize=634096 memory=0 CPUtime=0.16 cores=0-7 /proc/10859/task/10868/stat : 10868 (cosoco) R 10856 10859 10734 0 -1 4202560 450 0 0 0 16 0 0 0 20 0 9 0 437385063 649314304 7358 33554432000 4194304 6211092 140729084267376 139816469384208 5250287 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 Current children cumulated CPU time: 1.34 s Current children cumulated vsize: 634096 KiB Current children cumulated memory: 29432 KiB [startup+0.310164 s]* /proc/loadavg: 7.21 4.64 4.58 9/199 10868 /proc/meminfo: memFree=31444160/32770624 swapFree=66998920/67108860 [pid=10859] ppid=10856 vsize=634096 memory=29432 CPUtime=2.13 cores=0-7 /proc/10859/stat : 10859 (cosoco) S 10856 10859 10734 0 -1 1077944320 8802 0 0 0 212 1 0 0 20 0 9 0 437385058 649314304 7358 33554432000 4194304 6211092 140729084267376 140729084265632 139816551276279 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 /proc/10859/statm: 158524 7358 892 493 0 151829 0 [pid=10859/tid=10861] ppid=10856 vsize=634096 memory=8317482817917895235 CPUtime=0.26 cores=0-7 /proc/10859/task/10861/stat : 10861 (cosoco) R 10856 10859 10734 0 -1 4202560 466 0 0 0 26 0 0 0 20 0 9 0 437385062 649314304 7358 33554432000 4194304 6211092 140729084267376 139816528132792 5409461 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10862] ppid=10856 vsize=634096 memory=0 CPUtime=0.26 cores=0-7 /proc/10859/task/10862/stat : 10862 (cosoco) R 10856 10859 10734 0 -1 4202560 404 0 0 0 26 0 0 0 20 0 9 0 437385062 649314304 7358 33554432000 4194304 6211092 140729084267376 139816519740688 5250287 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10863] ppid=10856 vsize=634096 memory=0 CPUtime=0.26 cores=0-7 /proc/10859/task/10863/stat : 10863 (cosoco) R 10856 10859 10734 0 -1 4202560 470 0 0 0 26 0 0 0 20 0 9 0 437385062 649314304 7358 33554432000 4194304 6211092 140729084267376 139816511347744 5250272 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10864] ppid=10856 vsize=634096 memory=6944656592455097440 CPUtime=0.25 cores=0-7 /proc/10859/task/10864/stat : 10864 (cosoco) R 10856 10859 10734 0 -1 4202560 480 0 0 0 25 0 0 0 20 0 9 0 437385063 649314304 7358 33554432000 4194304 6211092 140729084267376 139816502954600 5125901 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10865] ppid=10856 vsize=634096 memory=0 CPUtime=0.23 cores=0-7 /proc/10859/task/10865/stat : 10865 (cosoco) R 10856 10859 10734 0 -1 4202560 320 0 0 0 23 0 0 0 20 0 9 0 437385063 649314304 7358 33554432000 4194304 6211092 140729084267376 139816494562432 5393055 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10866] ppid=10856 vsize=634096 memory=0 CPUtime=0.26 cores=0-7 /proc/10859/task/10866/stat : 10866 (cosoco) R 10856 10859 10734 0 -1 4202560 396 0 0 0 26 0 0 0 20 0 9 0 437385063 649314304 7358 33554432000 4194304 6211092 140729084267376 139816486169192 5250289 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10867] ppid=10856 vsize=634096 memory=0 CPUtime=0.26 cores=0-7 /proc/10859/task/10867/stat : 10867 (cosoco) R 10856 10859 10734 0 -1 4202560 392 0 0 0 26 0 0 0 20 0 9 0 437385063 649314304 7358 33554432000 4194304 6211092 140729084267376 139816477776912 5125793 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10868] ppid=10856 vsize=634096 memory=0 CPUtime=0.26 cores=0-7 /proc/10859/task/10868/stat : 10868 (cosoco) R 10856 10859 10734 0 -1 4202560 466 0 0 0 26 0 0 0 20 0 9 0 437385063 649314304 7358 33554432000 4194304 6211092 140729084267376 139816469384208 5125783 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 Current children cumulated CPU time: 2.13 s Current children cumulated vsize: 634096 KiB Current children cumulated memory: 29432 KiB [startup+0.701165 s] /proc/loadavg: 7.21 4.64 4.58 9/199 10868 /proc/meminfo: memFree=31443788/32770624 swapFree=66998920/67108860 [pid=10859] ppid=10856 vsize=634096 memory=30216 CPUtime=5.16 cores=0-7 /proc/10859/stat : 10859 (cosoco) S 10856 10859 10734 0 -1 1077944320 8900 0 0 0 515 1 0 0 20 0 9 0 437385058 649314304 7554 33554432000 4194304 6211092 140729084267376 140729084265632 139816551276279 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 /proc/10859/statm: 158524 7554 892 493 0 151829 0 [pid=10859/tid=10861] ppid=10856 vsize=634096 memory=4068 CPUtime=0.64 cores=0-7 /proc/10859/task/10861/stat : 10861 (cosoco) R 10856 10859 10734 0 -1 4202560 483 0 0 0 64 0 0 0 20 0 9 0 437385062 649314304 7554 33554432000 4194304 6211092 140729084267376 139816528132792 5126735 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10862] ppid=10856 vsize=634096 memory=2900 CPUtime=0.64 cores=0-7 /proc/10859/task/10862/stat : 10862 (cosoco) R 10856 10859 10734 0 -1 4202560 416 0 0 0 64 0 0 0 20 0 9 0 437385062 649314304 7554 33554432000 4194304 6211092 140729084267376 139816519740688 5250287 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10863] ppid=10856 vsize=634096 memory=5932 CPUtime=0.65 cores=0-7 /proc/10859/task/10863/stat : 10863 (cosoco) R 10856 10859 10734 0 -1 4202560 474 0 0 0 65 0 0 0 20 0 9 0 437385062 649314304 7554 33554432000 4194304 6211092 140729084267376 139816511347744 5250287 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10864] ppid=10856 vsize=634096 memory=664 CPUtime=0.63 cores=0-7 /proc/10859/task/10864/stat : 10864 (cosoco) R 10856 10859 10734 0 -1 4202560 499 0 0 0 63 0 0 0 20 0 9 0 437385063 649314304 7554 33554432000 4194304 6211092 140729084267376 139816502954680 5126560 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10865] ppid=10856 vsize=634096 memory=1156 CPUtime=0.6 cores=0-7 /proc/10859/task/10865/stat : 10865 (cosoco) R 10856 10859 10734 0 -1 4202560 327 0 0 0 60 0 0 0 20 0 9 0 437385063 649314304 7554 33554432000 4194304 6211092 140729084267376 139816494562432 5392989 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10866] ppid=10856 vsize=634096 memory=496 CPUtime=0.64 cores=0-7 /proc/10859/task/10866/stat : 10866 (cosoco) R 10856 10859 10734 0 -1 4202560 406 0 0 0 64 0 0 0 20 0 9 0 437385063 649314304 7554 33554432000 4194304 6211092 140729084267376 139816486169272 5409453 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10867] ppid=10856 vsize=634096 memory=928 CPUtime=0.64 cores=0-7 /proc/10859/task/10867/stat : 10867 (cosoco) R 10856 10859 10734 0 -1 4202560 400 0 0 0 64 0 0 0 20 0 9 0 437385063 649314304 7554 33554432000 4194304 6211092 140729084267376 139816477776912 5250272 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10868] ppid=10856 vsize=634096 memory=1604 CPUtime=0.64 cores=0-7 /proc/10859/task/10868/stat : 10868 (cosoco) R 10856 10859 10734 0 -1 4202560 487 0 0 0 64 0 0 0 20 0 9 0 437385063 649314304 7554 33554432000 4194304 6211092 140729084267376 139816469384208 5126107 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 Current children cumulated CPU time: 5.16 s Current children cumulated vsize: 634096 KiB Current children cumulated memory: 30216 KiB [startup+1.50117 s] /proc/loadavg: 7.21 4.64 4.58 9/199 10868 /proc/meminfo: memFree=31443788/32770624 swapFree=66998920/67108860 [pid=10859] ppid=10856 vsize=634096 memory=31320 CPUtime=11.56 cores=0-7 /proc/10859/stat : 10859 (cosoco) S 10856 10859 10734 0 -1 1077944320 15477 0 0 0 1153 3 0 0 20 0 9 0 437385058 649314304 7830 33554432000 4194304 6211092 140729084267376 140729084265632 139816551276279 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 /proc/10859/statm: 158524 7830 892 493 0 151829 0 [pid=10859/tid=10861] ppid=10856 vsize=634096 memory=2809127 CPUtime=1.44 cores=0-7 /proc/10859/task/10861/stat : 10861 (cosoco) R 10856 10859 10734 0 -1 4202560 980 0 0 0 144 0 0 0 20 0 9 0 437385062 649314304 7830 33554432000 4194304 6211092 140729084267376 139816528132792 5250289 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10862] ppid=10856 vsize=634096 memory=2810454 CPUtime=1.44 cores=0-7 /proc/10859/task/10862/stat : 10862 (cosoco) R 10856 10859 10734 0 -1 4202560 1466 0 0 0 144 0 0 0 20 0 9 0 437385062 649314304 7830 33554432000 4194304 6211092 140729084267376 139816519740432 5409444 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10863] ppid=10856 vsize=634096 memory=0 CPUtime=1.44 cores=0-7 /proc/10859/task/10863/stat : 10863 (cosoco) R 10856 10859 10734 0 -1 4202560 959 0 0 0 144 0 0 0 20 0 9 0 437385062 649314304 7830 33554432000 4194304 6211092 140729084267376 139816511347384 5126560 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10864] ppid=10856 vsize=634096 memory=8243114992657236051 CPUtime=1.43 cores=0-7 /proc/10859/task/10864/stat : 10864 (cosoco) R 10856 10859 10734 0 -1 4202560 1615 0 0 0 143 0 0 0 20 0 9 0 437385063 649314304 7830 33554432000 4194304 6211092 140729084267376 139816502955136 5017472 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10865] ppid=10856 vsize=634096 memory=288293285427151709 CPUtime=1.38 cores=0-7 /proc/10859/task/10865/stat : 10865 (cosoco) R 10856 10859 10734 0 -1 4202560 1333 0 0 0 138 0 0 0 20 0 9 0 437385063 649314304 7830 33554432000 4194304 6211092 140729084267376 139816494562432 5250287 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10866] ppid=10856 vsize=634096 memory=7019538887800874067 CPUtime=1.44 cores=0-7 /proc/10859/task/10866/stat : 10866 (cosoco) R 10856 10859 10734 0 -1 4202560 1022 0 0 0 144 0 0 0 20 0 9 0 437385063 649314304 7830 33554432000 4194304 6211092 140729084267376 139816486169728 5409444 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10867] ppid=10856 vsize=634096 memory=279544120931808 CPUtime=1.44 cores=0-7 /proc/10859/task/10867/stat : 10867 (cosoco) R 10856 10859 10734 0 -1 4202560 1527 0 0 0 144 0 0 0 20 0 9 0 437385063 649314304 7830 33554432000 4194304 6211092 140729084267376 139816477776912 5397375 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10868] ppid=10856 vsize=634096 memory=3540030858925905668 CPUtime=1.44 cores=0-7 /proc/10859/task/10868/stat : 10868 (cosoco) R 10856 10859 10734 0 -1 4202560 1167 0 0 0 144 0 0 0 20 0 9 0 437385063 649314304 7830 33554432000 4194304 6211092 140729084267376 139816469384208 5207504 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 Current children cumulated CPU time: 11.56 s Current children cumulated vsize: 634096 KiB Current children cumulated memory: 31320 KiB [startup+2.42491 s] # the end of solver process 10859 was just reported to runsolver # cumulated CPU time of all completed processes: user=18.8663 s, system=0.037976 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.60117 s] /proc/loadavg: 7.21 4.64 4.58 9/199 10868 /proc/meminfo: memFree=31443788/32770624 swapFree=66998920/67108860 [pid=10859] ppid=10856 vsize=634096 memory=31320 CPUtime=12.36 cores=0-7 /proc/10859/stat : 10859 (cosoco) S 10856 10859 10734 0 -1 1077944320 15494 0 0 0 1233 3 0 0 20 0 9 0 437385058 649314304 7830 33554432000 4194304 6211092 140729084267376 140729084265632 139816551276279 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 /proc/10859/statm: 158524 7830 892 493 0 151829 0 [pid=10859/tid=10861] ppid=10856 vsize=634096 memory=6935054825532540783 CPUtime=1.54 cores=0-7 /proc/10859/task/10861/stat : 10861 (cosoco) R 10856 10859 10734 0 -1 4202560 980 0 0 0 154 0 0 0 20 0 9 0 437385062 649314304 7830 33554432000 4194304 6211092 140729084267376 139816528132792 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10862] ppid=10856 vsize=634096 memory=8556 CPUtime=1.54 cores=0-7 /proc/10859/task/10862/stat : 10862 (cosoco) R 10856 10859 10734 0 -1 4202560 1474 0 0 0 154 0 0 0 20 0 9 0 437385062 649314304 7830 33554432000 4194304 6211092 140729084267376 139816519740088 5250287 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10863] ppid=10856 vsize=634096 memory=279544120641312 CPUtime=1.54 cores=0-7 /proc/10859/task/10863/stat : 10863 (cosoco) R 10856 10859 10734 0 -1 4202560 959 0 0 0 154 0 0 0 20 0 9 0 437385062 649314304 7830 33554432000 4194304 6211092 140729084267376 139816511347384 5125783 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10864] ppid=10856 vsize=634096 memory=0 CPUtime=1.53 cores=0-7 /proc/10859/task/10864/stat : 10864 (cosoco) R 10856 10859 10734 0 -1 4202560 1624 0 0 0 153 0 0 0 20 0 9 0 437385063 649314304 7830 33554432000 4194304 6211092 140729084267376 139816502955136 5193754 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10865] ppid=10856 vsize=634096 memory=0 CPUtime=1.48 cores=0-7 /proc/10859/task/10865/stat : 10865 (cosoco) R 10856 10859 10734 0 -1 4202560 1333 0 0 0 148 0 0 0 20 0 9 0 437385063 649314304 7830 33554432000 4194304 6211092 140729084267376 139816494562432 5186269 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10866] ppid=10856 vsize=634096 memory=776 CPUtime=1.54 cores=0-7 /proc/10859/task/10866/stat : 10866 (cosoco) R 10856 10859 10734 0 -1 4202560 1022 0 0 0 154 0 0 0 20 0 9 0 437385063 649314304 7830 33554432000 4194304 6211092 140729084267376 139816486169728 5126560 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10867] ppid=10856 vsize=634096 memory=1564 CPUtime=1.54 cores=0-7 /proc/10859/task/10867/stat : 10867 (cosoco) R 10856 10859 10734 0 -1 4202560 1527 0 0 0 154 0 0 0 20 0 9 0 437385063 649314304 7830 33554432000 4194304 6211092 140729084267376 139816477776568 5250307 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10868] ppid=10856 vsize=634096 memory=8556 CPUtime=1.54 cores=0-7 /proc/10859/task/10868/stat : 10868 (cosoco) R 10856 10859 10734 0 -1 4202560 1167 0 0 0 154 0 0 0 20 0 9 0 437385063 649314304 7830 33554432000 4194304 6211092 140729084267376 139816469383864 5250289 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 Current children cumulated CPU time: 12.36 s Current children cumulated vsize: 634096 KiB Current children cumulated memory: 31320 KiB [startup+2.00117 s]* /proc/loadavg: 7.21 4.64 4.58 9/199 10868 /proc/meminfo: memFree=31444728/32770624 swapFree=66998920/67108860 [pid=10859] ppid=10856 vsize=634096 memory=31412 CPUtime=15.62 cores=0-7 /proc/10859/stat : 10859 (cosoco) S 10856 10859 10734 0 -1 1077944320 15612 0 0 0 1559 3 0 0 20 0 9 0 437385058 649314304 7853 33554432000 4194304 6211092 140729084267376 140729084265632 139816551276279 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 /proc/10859/statm: 158524 7853 892 493 0 151829 0 [pid=10859/tid=10861] ppid=10856 vsize=634096 memory=0 CPUtime=1.95 cores=0-7 /proc/10859/task/10861/stat : 10861 (cosoco) R 10856 10859 10734 0 -1 4202560 1002 0 0 0 195 0 0 0 20 0 9 0 437385062 649314304 7853 33554432000 4194304 6211092 140729084267376 139816528133120 5397230 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10862] ppid=10856 vsize=634096 memory=0 CPUtime=1.95 cores=0-7 /proc/10859/task/10862/stat : 10862 (cosoco) R 10856 10859 10734 0 -1 4202560 1476 0 0 0 195 0 0 0 20 0 9 0 437385062 649314304 7853 33554432000 4194304 6211092 140729084267376 139816519740088 5250287 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10863] ppid=10856 vsize=634096 memory=139772181051008 CPUtime=1.95 cores=0-7 /proc/10859/task/10863/stat : 10863 (cosoco) R 10856 10859 10734 0 -1 4202560 1014 0 0 0 195 0 0 0 20 0 9 0 437385062 649314304 7853 33554432000 4194304 6211092 140729084267376 139816511347384 5126138 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10864] ppid=10856 vsize=634096 memory=3472323898181169199 CPUtime=1.94 cores=0-7 /proc/10859/task/10864/stat : 10864 (cosoco) R 10856 10859 10734 0 -1 4202560 1635 0 0 0 194 0 0 0 20 0 9 0 437385063 649314304 7853 33554432000 4194304 6211092 140729084267376 139816502955024 5250289 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10865] ppid=10856 vsize=634096 memory=6944652177228980320 CPUtime=1.88 cores=0-7 /proc/10859/task/10865/stat : 10865 (cosoco) R 10856 10859 10734 0 -1 4202560 1334 0 0 0 188 0 0 0 20 0 9 0 437385063 649314304 7853 33554432000 4194304 6211092 140729084267376 139816494562432 5125783 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10866] ppid=10856 vsize=634096 memory=0 CPUtime=1.95 cores=0-7 /proc/10859/task/10866/stat : 10866 (cosoco) R 10856 10859 10734 0 -1 4202560 1022 0 0 0 195 0 0 0 20 0 9 0 437385063 649314304 7853 33554432000 4194304 6211092 140729084267376 139816486169728 5126163 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10867] ppid=10856 vsize=634096 memory=-1 CPUtime=1.95 cores=0-7 /proc/10859/task/10867/stat : 10867 (cosoco) R 10856 10859 10734 0 -1 4202560 1542 0 0 0 195 0 0 0 20 0 9 0 437385063 649314304 7853 33554432000 4194304 6211092 140729084267376 139816477776912 5193754 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10868] ppid=10856 vsize=634096 memory=0 CPUtime=1.95 cores=0-7 /proc/10859/task/10868/stat : 10868 (cosoco) R 10856 10859 10734 0 -1 4202560 1179 0 0 0 195 0 0 0 20 0 9 0 437385063 649314304 7853 33554432000 4194304 6211092 140729084267376 139816469383864 5409431 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 Current children cumulated CPU time: 15.62 s Current children cumulated vsize: 634096 KiB Current children cumulated memory: 31412 KiB [startup+2.40116 s] /proc/loadavg: 7.21 4.64 4.58 9/199 10868 /proc/meminfo: memFree=31444728/32770624 swapFree=66998920/67108860 [pid=10859] ppid=10856 vsize=634096 memory=31412 CPUtime=18.74 cores=0-7 /proc/10859/stat : 10859 (cosoco) S 10856 10859 10734 0 -1 1077944320 15628 0 0 0 1871 3 0 0 20 0 9 0 437385058 649314304 7853 33554432000 4194304 6211092 140729084267376 140729084265632 139816551276279 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 /proc/10859/statm: 158524 7853 892 493 0 151829 0 [pid=10859/tid=10861] ppid=10856 vsize=634096 memory=139776476018303 CPUtime=2.34 cores=0-7 /proc/10859/task/10861/stat : 10861 (cosoco) R 10856 10859 10734 0 -1 4202560 1002 0 0 0 234 0 0 0 20 0 9 0 437385062 649314304 7853 33554432000 4194304 6211092 140729084267376 139816528133120 5126560 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10862] ppid=10856 vsize=634096 memory=7236835353316315749 CPUtime=2.34 cores=0-7 /proc/10859/task/10862/stat : 10862 (cosoco) R 10856 10859 10734 0 -1 4202560 1476 0 0 0 234 0 0 0 20 0 9 0 437385062 649314304 7853 33554432000 4194304 6211092 140729084267376 139816519740448 5017462 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10863] ppid=10856 vsize=634096 memory=7886766292050393397 CPUtime=2.34 cores=0-7 /proc/10859/task/10863/stat : 10863 (cosoco) R 10856 10859 10734 0 -1 4202560 1014 0 0 0 234 0 0 0 20 0 9 0 437385062 649314304 7853 33554432000 4194304 6211092 140729084267376 139816511347728 5193754 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10864] ppid=10856 vsize=634096 memory=6935054825532540783 CPUtime=2.33 cores=0-7 /proc/10859/task/10864/stat : 10864 (cosoco) R 10856 10859 10734 0 -1 4202560 1636 0 0 0 233 0 0 0 20 0 9 0 437385063 649314304 7853 33554432000 4194304 6211092 140729084267376 139816502955024 5409453 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10865] ppid=10856 vsize=634096 memory=7236547281622689387 CPUtime=2.27 cores=0-7 /proc/10859/task/10865/stat : 10865 (cosoco) R 10856 10859 10734 0 -1 4202560 1334 0 0 0 227 0 0 0 20 0 9 0 437385063 649314304 7853 33554432000 4194304 6211092 140729084267376 139816494562320 5250287 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10866] ppid=10856 vsize=634096 memory=6442513892791379539 CPUtime=2.34 cores=0-7 /proc/10859/task/10866/stat : 10866 (cosoco) R 10856 10859 10734 0 -1 4202560 1022 0 0 0 234 0 0 0 20 0 9 0 437385063 649314304 7853 33554432000 4194304 6211092 140729084267376 139816486169728 5155804 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10867] ppid=10856 vsize=634096 memory=4068 CPUtime=2.34 cores=0-7 /proc/10859/task/10867/stat : 10867 (cosoco) R 10856 10859 10734 0 -1 4202560 1555 0 0 0 234 0 0 0 20 0 9 0 437385063 649314304 7853 33554432000 4194304 6211092 140729084267376 139816477776568 5250287 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 [pid=10859/tid=10868] ppid=10856 vsize=634096 memory=31388 CPUtime=2.34 cores=0-7 /proc/10859/task/10868/stat : 10868 (cosoco) R 10856 10859 10734 0 -1 4202560 1181 0 0 0 234 0 0 0 20 0 9 0 437385063 649314304 7853 33554432000 4194304 6211092 140729084267376 139816469383864 5126576 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35274752 140729084269585 140729084269677 140729084269677 140729084272590 0 Current children cumulated CPU time: 18.74 s Current children cumulated vsize: 634096 KiB Current children cumulated memory: 31412 KiB Child status: 0 Real time (s): 2.42496 CPU time (s): 18.9043 CPU user time (s): 18.8663 CPU system time (s): 0.037976 CPU usage (%): 779.573 Max. virtual memory (cumulated for all children) (KiB): 634096 Max. memory (cumulated for all children) (KiB): 31412 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.8663 system time used= 0.037976 maximum resident set size= 31744 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15703 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= 785 involuntary context switches= 214 # summary of solver processes directly reported to runsolver: # pid: 10859 # total CPU time (s): 18.9043 # total CPU user time (s): 18.8663 # total CPU system time (s): 0.037976 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.026245 second user time and 0.070915 second system time The end
Begin job on node102 at 2019-09-16 07:21:31 IDJOB=4398227 IDBENCH=138316 IDSOLVER=2851 FILE ID=node102/4398227-1568611336 RUNJOBID= node102-1568611288-10761 PBS_JOBID= 21703454 Free space on /tmp= 59328 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff62.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398227-1568611336/watcher-4398227-1568611336 -o /tmp/evaluation-result-4398227-1568611336/solver-4398227-1568611336 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568611288-10761 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398227-1568611336.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5002a5aac4309249d3aa4752a35eede8 RANDOM SEED=1497138510 node102.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.13 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.54 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.13 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.54 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.13 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.54 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.13 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31468912 kB MemAvailable: 31902968 kB Buffers: 133732 kB Cached: 598736 kB SwapCached: 7604 kB Active: 379308 kB Inactive: 363312 kB Active(anon): 6876 kB Inactive(anon): 45404 kB Active(file): 372432 kB Inactive(file): 317908 kB Unevictable: 110384 kB Mlocked: 110384 kB SwapTotal: 67108860 kB SwapFree: 66998920 kB Dirty: 2856 kB Writeback: 0 kB AnonPages: 112632 kB Mapped: 40648 kB Shmem: 33512 kB Slab: 148536 kB SReclaimable: 119104 kB SUnreclaim: 29432 kB KernelStack: 3360 kB PageTables: 5148 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507088 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: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 59324 MiB End job on node102 at 2019-09-16 07:21:33