Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 parallel | OPT | 624 | 26.7435 | 3.39132 |
Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff50.xml |
MD5SUM | f7819cc540e1493da1332403e09ec21d |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 624 |
Best CPU time to get the best result obtained on this benchmark | 11.9411 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 319 |
Number of constraints | 313 |
Number of domains | 26 |
Minimum domain size | 24 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":24,"count":32},{"size":25,"count":287}] |
Minimum variable degree | 2 |
Maximum variable degree | 40 |
Distribution of variable degrees | [{"degree":2,"count":312},{"degree":40,"count":7}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 8 |
Distribution of constraint arities | [{"arity":2,"count":273},{"arity":7,"count":1},{"arity":8,"count":39}] |
Number of extensional constraints | 273 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":273},{"type":"ordered","count":1},{"type":"minimum","count":39}] |
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-4409812-1569830717.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.04 c enable optimization 0.00/0.04 c ========================================[ Problem Statistics ]=========================================== 0.00/0.04 c | 0.00/0.04 c | Parse time : 0.02 s 0.00/0.04 c | 0.00/0.04 c | Variables: 319 0.00/0.04 c | Domain Sizes: 24..25 0.00/0.04 c | 0.00/0.04 c | Constraints: 319 0.00/0.04 c | Arity: 2..39 -- Binary: 279 0.00/0.04 c | 0.00/0.04 c | Types: 0.00/0.04 c | (X - Y < k): 6 0.00/0.04 c | Extension: 273 (nb tuples: 25..25) -- (shared: 1984) 0.00/0.04 c | Minimum Variable: 39 0.00/0.04 c | Sum: 1 0.00/0.04 c | 0.00/0.04 c | Objective: Minimize Sum 0.00/0.04 0.00/0.04 c ========================================================================================================= 0.00/0.04 c Parallel mode: Portfolio 0.00/0.04 c [pFactory][Group N°0] created (threads:8). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.00/0.04 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.00/0.04 c [pFactory][Group N°0] concurrent mode: enabled. 0.00/0.04 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.00/0.04 c [pFactory][Group N°0] task 7 launched on thread 1. 0.00/0.04 c [pFactory][Group N°0] task 6 launched on thread 0. 0.00/0.04 c [pFactory][Group N°0] task 5 launched on thread 2. 0.00/0.04 c [pFactory][Group N°0] task 4 launched on thread 3. 0.00/0.04 c [pFactory][Group N°0] task 3 launched on thread 5. 0.00/0.04 c [pFactory][Group N°0] task 2 launched on thread 6. 0.00/0.04 c [pFactory][Group N°0] task 1 launched on thread 4. 0.00/0.04 c [pFactory][Group N°0] task 0 launched on thread 7. 0.00/0.04 o 8007 0.00/0.04 o 4109 0.00/0.04 o 2856 0.00/0.06 o 2287 0.00/0.06 o 1850 0.00/0.06 o 1793 0.00/0.06 o 1766 0.00/0.06 o 1588 0.00/0.08 o 1561 0.00/0.08 o 1487 0.58/0.12 o 1094 0.58/0.15 o 1003 0.58/0.19 o 978 0.58/0.20 o 800 2.24/0.36 o 798 3.03/0.49 o 750 3.82/0.52 o 720 3.82/0.55 o 692 8.54/1.19 o 642 9.27/1.26 o 632 10.06/1.30 o 624 26.03/3.38 c [pFactory][Group N°0] concurent mode: thread 7 has won with the task 0. 26.03/3.38 c [pFactory][Group N°0] Thread N°0 is joined. 26.03/3.38 c [pFactory][Group N°0] Thread N°1 is joined. 26.03/3.38 c [pFactory][Group N°0] Thread N°2 is joined. 26.03/3.38 c [pFactory][Group N°0] Thread N°3 is joined. 26.03/3.38 c [pFactory][Group N°0] Thread N°4 is joined. 26.03/3.38 c [pFactory][Group N°0] Thread N°5 is joined. 26.03/3.38 c [pFactory][Group N°0] Thread N°6 is joined. 26.03/3.38 c [pFactory][Group N°0] Thread N°7 is joined. 26.03/3.38 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°7) 26.03/3.38 s OPTIMUM FOUND 26.03/3.38 c call to solver : 23 26.03/3.38 c 26.03/3.38 c restarts : 1200 26.03/3.38 c conflicts : 6186 (232 /sec) 26.03/3.38 c decisions : 69327 (2595 /sec) 26.03/3.38 c propagations : 5982322 (223927 /sec) 26.03/3.38 c root propagations : 1897 26.03/3.38 c filter calls : 2666632 (99816 /sec) 26.03/3.38 c useless filter calls : 1037811 (38 %) 26.03/3.38 c Memory used : 580.66 MB 26.03/3.38 c Best bound time (wc) : 1.29919 s 26.03/3.38 c CPU time : 26.7155 s 26.03/3.38 c real time : 3.38544 s 26.03/3.38 26.03/3.38 26.03/3.38 v <instantiation type='solution' cost='624'> 26.03/3.38 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[32] dr[33] dr[34] dr[35] dr[36] dr[37] dr[38] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[0][6] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[10][6] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[11][6] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[12][6] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[13][6] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[14][6] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[15][6] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[16][6] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[17][6] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[18][6] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[19][6] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[1][6] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[20][6] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[21][6] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[22][6] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[23][6] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[24][6] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[25][6] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[26][6] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[27][6] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[28][6] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[29][6] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[2][6] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] drd[30][6] drd[31][0] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[31][5] drd[31][6] drd[32][0] drd[32][1] drd[32][2] drd[32][3] drd[32][4] drd[32][5] drd[32][6] drd[33][0] drd[33][1] drd[33][2] drd[33][3] drd[33][4] drd[33][5] drd[33][6] drd[34][0] drd[34][1] drd[34][2] drd[34][3] drd[34][4] drd[34][5] drd[34][6] drd[35][0] drd[35][1] drd[35][2] drd[35][3] drd[35][4] drd[35][5] drd[35][6] drd[36][0] drd[36][1] drd[36][2] drd[36][3] drd[36][4] drd[36][5] drd[36][6] drd[37][0] drd[37][1] drd[37][2] drd[37][3] drd[37][4] drd[37][5] drd[37][6] drd[38][0] drd[38][1] drd[38][2] drd[38][3] drd[38][4] drd[38][5] drd[38][6] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[3][6] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[4][6] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[5][6] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[6][6] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[7][6] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[8][6] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[9][6] x[0] x[1] x[2] x[3] x[4] x[5] x[6] </list> 26.03/3.38 v <values>10 39 0 0 21 17 17 33 42 40 16 10 16 0 0 0 0 0 0 0 0 38 2 38 19 20 38 0 0 0 8 8 2 34 34 30 27 27 38 533 416 344 242 10 104 249 676 559 487 385 133 39 106 637 520 448 346 94 0 145 637 520 448 346 94 0 145 21 138 210 312 564 658 803 620 503 431 329 77 17 162 620 503 431 329 77 17 162 604 487 415 313 61 33 178 231 114 42 60 312 406 551 229 112 40 62 314 408 553 559 442 370 268 16 78 223 533 416 344 242 10 104 249 559 442 370 268 16 78 223 0 117 189 291 543 637 782 0 117 189 291 543 637 782 189 72 0 102 354 448 593 189 72 0 102 354 448 593 782 665 593 491 239 145 0 782 665 593 491 239 145 0 117 0 72 174 426 520 665 117 0 72 174 426 520 665 79 38 110 212 464 558 703 2 115 187 289 541 635 780 79 38 110 212 464 558 703 19 136 208 310 562 656 801 20 137 209 311 563 657 802 599 482 410 308 56 38 183 543 426 354 252 0 94 239 291 174 102 0 252 346 491 291 174 102 0 252 346 491 181 64 8 110 362 456 601 181 64 8 110 362 456 601 2 115 187 289 541 635 780 151 34 38 140 392 486 631 151 34 38 140 392 486 631 30 147 219 321 573 667 812 318 201 129 27 225 319 464 318 201 129 27 225 319 464 675 558 486 384 132 38 107 49 166 238 340 592 686 831 </values> 26.03/3.38 v </instantiation> 26.03/3.38
OK 624
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 (15478 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409812-1569830717/watcher-4409812-1569830717 -o /tmp/evaluation-result-4409812-1569830717/solver-4409812-1569830717 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node147-1569818085-14128 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409812-1569830717.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 solver pid=16931, runsolver pid=16928 Current StackSize limit: 8192 KiB [startup+0.100142 s]* /proc/loadavg: 8.00 8.03 8.05 9/201 16940 /proc/meminfo: memFree=31375436/32770624 swapFree=66936012/67108860 [pid=16931] ppid=16928 vsize=627372 memory=17100 CPUtime=0.58 cores=0-7 /proc/16931/stat : 16931 (cosoco) S 16928 16931 14101 0 -1 1077944320 4999 0 0 0 57 1 0 0 20 0 9 0 558985444 642428928 4275 33554432000 4194304 6211132 140729931477744 140729931476000 140482715840247 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 /proc/16931/statm: 156843 4275 875 493 0 150148 0 [pid=16931/tid=16933] ppid=16928 vsize=627372 memory=4134692831991786133 CPUtime=0.07 cores=0-7 /proc/16931/task/16933/stat : 16933 (cosoco) R 16928 16931 14101 0 -1 4202560 149 0 0 0 7 0 0 0 20 0 9 0 558985448 642428928 4275 33554432000 4194304 6211132 140729931477744 140482692697360 5008994 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16934] ppid=16928 vsize=627372 memory=4872558044660077418 CPUtime=0.06 cores=0-7 /proc/16931/task/16934/stat : 16934 (cosoco) R 16928 16931 14101 0 -1 4202560 149 0 0 0 6 0 0 0 20 0 9 0 558985448 642428928 4275 33554432000 4194304 6211132 140729931477744 140482684303816 5017277 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16935] ppid=16928 vsize=627372 memory=140414995846784 CPUtime=0.06 cores=0-7 /proc/16931/task/16935/stat : 16935 (cosoco) R 16928 16931 14101 0 -1 4202560 165 0 0 0 6 0 0 0 20 0 9 0 558985448 642428928 4275 33554432000 4194304 6211132 140729931477744 140482675911952 5155832 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16936] ppid=16928 vsize=627372 memory=0 CPUtime=0.06 cores=0-7 /proc/16931/task/16936/stat : 16936 (cosoco) R 16928 16931 14101 0 -1 4202560 146 0 0 0 6 0 0 0 20 0 9 0 558985448 642428928 4275 33554432000 4194304 6211132 140729931477744 140482667518992 5126949 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16937] ppid=16928 vsize=627372 memory=0 CPUtime=0.07 cores=0-7 /proc/16931/task/16937/stat : 16937 (cosoco) R 16928 16931 14101 0 -1 4202560 143 0 0 0 7 0 0 0 20 0 9 0 558985448 642428928 4275 33554432000 4194304 6211132 140729931477744 140482659126288 5125877 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16938] ppid=16928 vsize=627372 memory=0 CPUtime=0.06 cores=0-7 /proc/16931/task/16938/stat : 16938 (cosoco) R 16928 16931 14101 0 -1 4202560 159 0 0 0 6 0 0 0 20 0 9 0 558985448 642428928 4275 33554432000 4194304 6211132 140729931477744 140482650733840 5393095 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16939] ppid=16928 vsize=627372 memory=-1 CPUtime=0.07 cores=0-7 /proc/16931/task/16939/stat : 16939 (cosoco) R 16928 16931 14101 0 -1 4202560 170 0 0 0 7 0 0 0 20 0 9 0 558985448 642428928 4275 33554432000 4194304 6211132 140729931477744 140482642340536 5155832 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16940] ppid=16928 vsize=627372 memory=0 CPUtime=0.07 cores=0-7 /proc/16931/task/16940/stat : 16940 (cosoco) R 16928 16931 14101 0 -1 4202560 172 0 0 0 7 0 0 0 20 0 9 0 558985448 642428928 4275 33554432000 4194304 6211132 140729931477744 140482633948176 5250304 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 Current children cumulated CPU time: 0.58 s Current children cumulated vsize: 627372 KiB Current children cumulated memory: 17100 KiB [startup+0.210145 s]* /proc/loadavg: 8.00 8.03 8.05 9/201 16940 /proc/meminfo: memFree=31375064/32770624 swapFree=66936012/67108860 [pid=16931] ppid=16928 vsize=627372 memory=17360 CPUtime=1.45 cores=0-7 /proc/16931/stat : 16931 (cosoco) S 16928 16931 14101 0 -1 1077944320 5154 0 0 0 144 1 0 0 20 0 9 0 558985444 642428928 4340 33554432000 4194304 6211132 140729931477744 140729931476000 140482715840247 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 /proc/16931/statm: 156843 4340 875 493 0 150148 0 [pid=16931/tid=16933] ppid=16928 vsize=627372 memory=8316850467074736180 CPUtime=0.17 cores=0-7 /proc/16931/task/16933/stat : 16933 (cosoco) R 16928 16931 14101 0 -1 4202560 181 0 0 0 17 0 0 0 20 0 9 0 558985448 642428928 4340 33554432000 4194304 6211132 140729931477744 140482692697360 5017277 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16934] ppid=16928 vsize=627372 memory=9280 CPUtime=0.17 cores=0-7 /proc/16931/task/16934/stat : 16934 (cosoco) R 16928 16931 14101 0 -1 4202560 178 0 0 0 17 0 0 0 20 0 9 0 558985448 642428928 4340 33554432000 4194304 6211132 140729931477744 140482684304512 5397407 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16935] ppid=16928 vsize=627372 memory=140414995862776 CPUtime=0.17 cores=0-7 /proc/16931/task/16935/stat : 16935 (cosoco) R 16928 16931 14101 0 -1 4202560 175 0 0 0 17 0 0 0 20 0 9 0 558985448 642428928 4340 33554432000 4194304 6211132 140729931477744 140482675911952 5397384 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16936] ppid=16928 vsize=627372 memory=-1 CPUtime=0.16 cores=0-7 /proc/16931/task/16936/stat : 16936 (cosoco) R 16928 16931 14101 0 -1 4202560 176 0 0 0 16 0 0 0 20 0 9 0 558985448 642428928 4340 33554432000 4194304 6211132 140729931477744 140482667519248 5173735 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16937] ppid=16928 vsize=627372 memory=0 CPUtime=0.18 cores=0-7 /proc/16931/task/16937/stat : 16937 (cosoco) R 16928 16931 14101 0 -1 4202560 164 0 0 0 18 0 0 0 20 0 9 0 558985448 642428928 4340 33554432000 4194304 6211132 140729931477744 140482659126048 5125908 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16938] ppid=16928 vsize=627372 memory=0 CPUtime=0.17 cores=0-7 /proc/16931/task/16938/stat : 16938 (cosoco) R 16928 16931 14101 0 -1 4202560 173 0 0 0 17 0 0 0 20 0 9 0 558985448 642428928 4340 33554432000 4194304 6211132 140729931477744 140482650733472 5250319 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16939] ppid=16928 vsize=627372 memory=-1 CPUtime=0.18 cores=0-7 /proc/16931/task/16939/stat : 16939 (cosoco) R 16928 16931 14101 0 -1 4202560 181 0 0 0 18 0 0 0 20 0 9 0 558985448 642428928 4340 33554432000 4194304 6211132 140729931477744 140482642340880 5250339 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16940] ppid=16928 vsize=627372 memory=0 CPUtime=0.18 cores=0-7 /proc/16931/task/16940/stat : 16940 (cosoco) R 16928 16931 14101 0 -1 4202560 180 0 0 0 18 0 0 0 20 0 9 0 558985448 642428928 4340 33554432000 4194304 6211132 140729931477744 140482633948176 5126608 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 Current children cumulated CPU time: 1.45 s Current children cumulated vsize: 627372 KiB Current children cumulated memory: 17360 KiB [startup+0.310145 s]* /proc/loadavg: 8.00 8.03 8.05 9/201 16940 /proc/meminfo: memFree=31375352/32770624 swapFree=66936012/67108860 [pid=16931] ppid=16928 vsize=627372 memory=17880 CPUtime=2.24 cores=0-7 /proc/16931/stat : 16931 (cosoco) S 16928 16931 14101 0 -1 1077944320 5170 0 0 0 223 1 0 0 20 0 9 0 558985444 642428928 4470 33554432000 4194304 6211132 140729931477744 140729931476000 140482715840247 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 /proc/16931/statm: 156843 4470 875 493 0 150148 0 [pid=16931/tid=16933] ppid=16928 vsize=627372 memory=6935054825532540783 CPUtime=0.27 cores=0-7 /proc/16931/task/16933/stat : 16933 (cosoco) R 16928 16931 14101 0 -1 4202560 183 0 0 0 27 0 0 0 20 0 9 0 558985448 642428928 4470 33554432000 4194304 6211132 140729931477744 140482692696760 5186256 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16934] ppid=16928 vsize=627372 memory=4872558044660077418 CPUtime=0.27 cores=0-7 /proc/16931/task/16934/stat : 16934 (cosoco) R 16928 16931 14101 0 -1 4202560 183 0 0 0 27 0 0 0 20 0 9 0 558985448 642428928 4470 33554432000 4194304 6211132 140729931477744 140482684304056 5390124 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16935] ppid=16928 vsize=627372 memory=0 CPUtime=0.27 cores=0-7 /proc/16931/task/16935/stat : 16935 (cosoco) R 16928 16931 14101 0 -1 4202560 176 0 0 0 27 0 0 0 20 0 9 0 558985448 642428928 4470 33554432000 4194304 6211132 140729931477744 140482675911272 5250321 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16936] ppid=16928 vsize=627372 memory=0 CPUtime=0.25 cores=0-7 /proc/16931/task/16936/stat : 16936 (cosoco) R 16928 16931 14101 0 -1 4202560 176 0 0 0 25 0 0 0 20 0 9 0 558985448 642428928 4470 33554432000 4194304 6211132 140729931477744 140482667519248 5409485 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16937] ppid=16928 vsize=627372 memory=6656426216303648864 CPUtime=0.28 cores=0-7 /proc/16931/task/16937/stat : 16937 (cosoco) R 16928 16931 14101 0 -1 4202560 165 0 0 0 28 0 0 0 20 0 9 0 558985448 642428928 4470 33554432000 4194304 6211132 140729931477744 140482659125864 5008827 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16938] ppid=16928 vsize=627372 memory=0 CPUtime=0.27 cores=0-7 /proc/16931/task/16938/stat : 16938 (cosoco) R 16928 16931 14101 0 -1 4202560 176 0 0 0 27 0 0 0 20 0 9 0 558985448 642428928 4470 33554432000 4194304 6211132 140729931477744 140482650733160 5250482 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16939] ppid=16928 vsize=627372 memory=0 CPUtime=0.28 cores=0-7 /proc/16931/task/16939/stat : 16939 (cosoco) R 16928 16931 14101 0 -1 4202560 184 0 0 0 28 0 0 0 20 0 9 0 558985448 642428928 4470 33554432000 4194304 6211132 140729931477744 140482642340456 5126143 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16940] ppid=16928 vsize=627372 memory=0 CPUtime=0.28 cores=0-7 /proc/16931/task/16940/stat : 16940 (cosoco) R 16928 16931 14101 0 -1 4202560 181 0 0 0 28 0 0 0 20 0 9 0 558985448 642428928 4470 33554432000 4194304 6211132 140729931477744 140482633947832 5409485 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 Current children cumulated CPU time: 2.24 s Current children cumulated vsize: 627372 KiB Current children cumulated memory: 17880 KiB [startup+0.701146 s] /proc/loadavg: 8.00 8.03 8.05 9/201 16940 /proc/meminfo: memFree=31375352/32770624 swapFree=66936012/67108860 [pid=16931] ppid=16928 vsize=627372 memory=18140 CPUtime=5.28 cores=0-7 /proc/16931/stat : 16931 (cosoco) S 16928 16931 14101 0 -1 1077944320 5234 0 0 0 527 1 0 0 20 0 9 0 558985444 642428928 4535 33554432000 4194304 6211132 140729931477744 140729931476000 140482715840247 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 /proc/16931/statm: 156843 4535 875 493 0 150148 0 [pid=16931/tid=16933] ppid=16928 vsize=627372 memory=2520 CPUtime=0.66 cores=0-7 /proc/16931/task/16933/stat : 16933 (cosoco) R 16928 16931 14101 0 -1 4202560 197 0 0 0 66 0 0 0 20 0 9 0 558985448 642428928 4535 33554432000 4194304 6211132 140729931477744 140482692697360 5250319 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16934] ppid=16928 vsize=627372 memory=1760 CPUtime=0.66 cores=0-7 /proc/16931/task/16934/stat : 16934 (cosoco) R 16928 16931 14101 0 -1 4202560 183 0 0 0 66 0 0 0 20 0 9 0 558985448 642428928 4535 33554432000 4194304 6211132 140729931477744 140482684304056 5409481 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16935] ppid=16928 vsize=627372 memory=1772 CPUtime=0.66 cores=0-7 /proc/16931/task/16935/stat : 16935 (cosoco) R 16928 16931 14101 0 -1 4202560 186 0 0 0 66 0 0 0 20 0 9 0 558985448 642428928 4535 33554432000 4194304 6211132 140729931477744 140482675911272 5126016 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16936] ppid=16928 vsize=627372 memory=111632 CPUtime=0.61 cores=0-7 /proc/16931/task/16936/stat : 16936 (cosoco) R 16928 16931 14101 0 -1 4202560 189 0 0 0 61 0 0 0 20 0 9 0 558985448 642428928 4535 33554432000 4194304 6211132 140729931477744 140482667518648 5017395 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16937] ppid=16928 vsize=627372 memory=796 CPUtime=0.66 cores=0-7 /proc/16931/task/16937/stat : 16937 (cosoco) R 16928 16931 14101 0 -1 4202560 175 0 0 0 66 0 0 0 20 0 9 0 558985448 642428928 4535 33554432000 4194304 6211132 140729931477744 140482659125864 5125815 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16938] ppid=16928 vsize=627372 memory=-7175204567652784766 CPUtime=0.66 cores=0-7 /proc/16931/task/16938/stat : 16938 (cosoco) R 16928 16931 14101 0 -1 4202560 188 0 0 0 66 0 0 0 20 0 9 0 558985448 642428928 4535 33554432000 4194304 6211132 140729931477744 140482650733160 5008918 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16939] ppid=16928 vsize=627372 memory=7100839861465685612 CPUtime=0.66 cores=0-7 /proc/16931/task/16939/stat : 16939 (cosoco) R 16928 16931 14101 0 -1 4202560 187 0 0 0 66 0 0 0 20 0 9 0 558985448 642428928 4535 33554432000 4194304 6211132 140729931477744 140482642340536 5409476 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16940] ppid=16928 vsize=627372 memory=3054156605268465310 CPUtime=0.66 cores=0-7 /proc/16931/task/16940/stat : 16940 (cosoco) R 16928 16931 14101 0 -1 4202560 183 0 0 0 66 0 0 0 20 0 9 0 558985448 642428928 4535 33554432000 4194304 6211132 140729931477744 140482633947832 5250256 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 Current children cumulated CPU time: 5.28 s Current children cumulated vsize: 627372 KiB Current children cumulated memory: 18140 KiB [startup+1.50114 s] /proc/loadavg: 8.00 8.03 8.05 9/201 16940 /proc/meminfo: memFree=31375352/32770624 swapFree=66936012/67108860 [pid=16931] ppid=16928 vsize=627372 memory=19240 CPUtime=11.66 cores=0-7 /proc/16931/stat : 16931 (cosoco) S 16928 16931 14101 0 -1 1077944320 9006 0 0 0 1164 2 0 0 20 0 9 0 558985444 642428928 4810 33554432000 4194304 6211132 140729931477744 140729931476000 140482715840247 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 /proc/16931/statm: 156843 4810 875 493 0 150148 0 [pid=16931/tid=16933] ppid=16928 vsize=627372 memory=5860985676096889957 CPUtime=1.45 cores=0-7 /proc/16931/task/16933/stat : 16933 (cosoco) R 16928 16931 14101 0 -1 4202560 581 0 0 0 145 0 0 0 20 0 9 0 558985448 642428928 4810 33554432000 4194304 6211132 140729931477744 140482692697360 5125628 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16934] ppid=16928 vsize=627372 memory=5860985676096889957 CPUtime=1.46 cores=0-7 /proc/16931/task/16934/stat : 16934 (cosoco) R 16928 16931 14101 0 -1 4202560 785 0 0 0 146 0 0 0 20 0 9 0 558985448 642428928 4810 33554432000 4194304 6211132 140729931477744 140482684304056 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16935] ppid=16928 vsize=627372 memory=5860985676096889957 CPUtime=1.46 cores=0-7 /proc/16931/task/16935/stat : 16935 (cosoco) R 16928 16931 14101 0 -1 4202560 539 0 0 0 146 0 0 0 20 0 9 0 558985448 642428928 4810 33554432000 4194304 6211132 140729931477744 140482675911272 5017444 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16936] ppid=16928 vsize=627372 memory=0 CPUtime=1.39 cores=0-7 /proc/16931/task/16936/stat : 16936 (cosoco) R 16928 16931 14101 0 -1 4202560 757 0 0 0 139 0 0 0 20 0 9 0 558985448 642428928 4810 33554432000 4194304 6211132 140729931477744 140482667518992 5393072 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16937] ppid=16928 vsize=627372 memory=8316868033356759116 CPUtime=1.45 cores=0-7 /proc/16931/task/16937/stat : 16937 (cosoco) R 16928 16931 14101 0 -1 4202560 480 0 0 0 145 0 0 0 20 0 9 0 558985448 642428928 4810 33554432000 4194304 6211132 140729931477744 140482659125944 5017683 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16938] ppid=16928 vsize=627372 memory=17975 CPUtime=1.46 cores=0-7 /proc/16931/task/16938/stat : 16938 (cosoco) R 16928 16931 14101 0 -1 4202560 836 0 0 0 146 0 0 0 20 0 9 0 558985448 642428928 4810 33554432000 4194304 6211132 140729931477744 140482650733584 5017476 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16939] ppid=16928 vsize=627372 memory=3977585787943543128 CPUtime=1.46 cores=0-7 /proc/16931/task/16939/stat : 16939 (cosoco) R 16928 16931 14101 0 -1 4202560 498 0 0 0 146 0 0 0 20 0 9 0 558985448 642428928 4810 33554432000 4194304 6211132 140729931477744 140482642340896 5393030 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16940] ppid=16928 vsize=627372 memory=0 CPUtime=1.46 cores=0-7 /proc/16931/task/16940/stat : 16940 (cosoco) R 16928 16931 14101 0 -1 4202560 784 0 0 0 146 0 0 0 20 0 9 0 558985448 642428928 4810 33554432000 4194304 6211132 140729931477744 140482633947832 5250495 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 Current children cumulated CPU time: 11.66 s Current children cumulated vsize: 627372 KiB Current children cumulated memory: 19240 KiB [startup+3.11014 s] /proc/loadavg: 8.00 8.03 8.05 9/201 16941 /proc/meminfo: memFree=31375052/32770624 swapFree=66936012/67108860 [pid=16931] ppid=16928 vsize=627372 memory=19504 CPUtime=24.5 cores=0-7 /proc/16931/stat : 16931 (cosoco) S 16928 16931 14101 0 -1 1077944320 12772 0 0 0 2448 2 0 0 20 0 9 0 558985444 642428928 4876 33554432000 4194304 6211132 140729931477744 140729931476000 140482715840247 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 /proc/16931/statm: 156843 4876 875 493 0 150148 0 [pid=16931/tid=16933] ppid=16928 vsize=627372 memory=0 CPUtime=3.06 cores=0-7 /proc/16931/task/16933/stat : 16933 (cosoco) R 16928 16931 14101 0 -1 4202560 1093 0 0 0 306 0 0 0 20 0 9 0 558985448 642428928 4876 33554432000 4194304 6211132 140729931477744 140482692696760 5126259 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16934] ppid=16928 vsize=627372 memory=19252 CPUtime=3.06 cores=0-7 /proc/16931/task/16934/stat : 16934 (cosoco) R 16928 16931 14101 0 -1 4202560 1300 0 0 0 306 0 0 0 20 0 9 0 558985448 642428928 4876 33554432000 4194304 6211132 140729931477744 140482684304056 5397258 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16935] ppid=16928 vsize=627372 memory=6935054825532540783 CPUtime=3.06 cores=0-7 /proc/16931/task/16935/stat : 16935 (cosoco) R 16928 16931 14101 0 -1 4202560 941 0 0 0 306 0 0 0 20 0 9 0 558985448 642428928 4876 33554432000 4194304 6211132 140729931477744 140482675911352 5017440 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16936] ppid=16928 vsize=627372 memory=8088577430502138195 CPUtime=2.98 cores=0-7 /proc/16931/task/16936/stat : 16936 (cosoco) R 16928 16931 14101 0 -1 4202560 1227 0 0 0 298 0 0 0 20 0 9 0 558985448 642428928 4876 33554432000 4194304 6211132 140729931477744 140482667518648 5250316 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16937] ppid=16928 vsize=627372 memory=7885333925627975025 CPUtime=3.06 cores=0-7 /proc/16931/task/16937/stat : 16937 (cosoco) R 16928 16931 14101 0 -1 4202560 1019 0 0 0 306 0 0 0 20 0 9 0 558985448 642428928 4876 33554432000 4194304 6211132 140729931477744 140482659126288 5250325 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16938] ppid=16928 vsize=627372 memory=-8989077509485779825 CPUtime=3.06 cores=0-7 /proc/16931/task/16938/stat : 16938 (cosoco) R 16928 16931 14101 0 -1 4202560 1348 0 0 0 306 0 0 0 20 0 9 0 558985448 642428928 4876 33554432000 4194304 6211132 140729931477744 140482650733600 5250304 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16939] ppid=16928 vsize=627372 memory=18 CPUtime=3.07 cores=0-7 /proc/16931/task/16939/stat : 16939 (cosoco) R 16928 16931 14101 0 -1 4202560 855 0 0 0 307 0 0 0 20 0 9 0 558985448 642428928 4876 33554432000 4194304 6211132 140729931477744 140482642340536 5393072 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16940] ppid=16928 vsize=627372 memory=6935054825532540783 CPUtime=3.07 cores=0-7 /proc/16931/task/16940/stat : 16940 (cosoco) R 16928 16931 14101 0 -1 4202560 1243 0 0 0 307 0 0 0 20 0 9 0 558985448 642428928 4876 33554432000 4194304 6211132 140729931477744 140482633948064 5397258 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 Current children cumulated CPU time: 24.5 s Current children cumulated vsize: 627372 KiB Current children cumulated memory: 19504 KiB [startup+3.39129 s] # the end of solver process 16931 was just reported to runsolver # cumulated CPU time of all completed processes: user=26.7166 s, system=0.026979 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20114 s] /proc/loadavg: 8.00 8.03 8.05 9/201 16941 /proc/meminfo: memFree=31375052/32770624 swapFree=66936012/67108860 [pid=16931] ppid=16928 vsize=627372 memory=19504 CPUtime=25.23 cores=0-7 /proc/16931/stat : 16931 (cosoco) S 16928 16931 14101 0 -1 1077944320 12822 0 0 0 2521 2 0 0 20 0 9 0 558985444 642428928 4876 33554432000 4194304 6211132 140729931477744 140729931476000 140482715840247 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 /proc/16931/statm: 156843 4876 875 493 0 150148 0 [pid=16931/tid=16933] ppid=16928 vsize=627372 memory=140414896064369 CPUtime=3.15 cores=0-7 /proc/16931/task/16933/stat : 16933 (cosoco) R 16928 16931 14101 0 -1 4202560 1093 0 0 0 315 0 0 0 20 0 9 0 558985448 642428928 4876 33554432000 4194304 6211132 140729931477744 140482692696760 5250321 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16934] ppid=16928 vsize=627372 memory=0 CPUtime=3.16 cores=0-7 /proc/16931/task/16934/stat : 16934 (cosoco) R 16928 16931 14101 0 -1 4202560 1301 0 0 0 316 0 0 0 20 0 9 0 558985448 642428928 4876 33554432000 4194304 6211132 140729931477744 140482684304056 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16935] ppid=16928 vsize=627372 memory=0 CPUtime=3.15 cores=0-7 /proc/16931/task/16935/stat : 16935 (cosoco) R 16928 16931 14101 0 -1 4202560 941 0 0 0 315 0 0 0 20 0 9 0 558985448 642428928 4876 33554432000 4194304 6211132 140729931477744 140482675911352 5393087 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16936] ppid=16928 vsize=627372 memory=0 CPUtime=3.07 cores=0-7 /proc/16931/task/16936/stat : 16936 (cosoco) R 16928 16931 14101 0 -1 4202560 1243 0 0 0 307 0 0 0 20 0 9 0 558985448 642428928 4876 33554432000 4194304 6211132 140729931477744 140482667518648 5250321 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16937] ppid=16928 vsize=627372 memory=19240 CPUtime=3.15 cores=0-7 /proc/16931/task/16937/stat : 16937 (cosoco) R 16928 16931 14101 0 -1 4202560 1021 0 0 0 315 0 0 0 20 0 9 0 558985448 642428928 4876 33554432000 4194304 6211132 140729931477744 140482659126288 5250256 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16938] ppid=16928 vsize=627372 memory=1716 CPUtime=3.16 cores=0-7 /proc/16931/task/16938/stat : 16938 (cosoco) R 16928 16931 14101 0 -1 4202560 1371 0 0 0 316 0 0 0 20 0 9 0 558985448 642428928 4876 33554432000 4194304 6211132 140729931477744 140482650733600 5250319 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16939] ppid=16928 vsize=627372 memory=6284 CPUtime=3.16 cores=0-7 /proc/16931/task/16939/stat : 16939 (cosoco) R 16928 16931 14101 0 -1 4202560 860 0 0 0 316 0 0 0 20 0 9 0 558985448 642428928 4876 33554432000 4194304 6211132 140729931477744 140482642340536 5156014 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16940] ppid=16928 vsize=627372 memory=6935054825532540783 CPUtime=3.16 cores=0-7 /proc/16931/task/16940/stat : 16940 (cosoco) R 16928 16931 14101 0 -1 4202560 1246 0 0 0 316 0 0 0 20 0 9 0 558985448 642428928 4876 33554432000 4194304 6211132 140729931477744 140482633948064 5250319 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 Current children cumulated CPU time: 25.23 s Current children cumulated vsize: 627372 KiB Current children cumulated memory: 19504 KiB [startup+3.30114 s] /proc/loadavg: 8.00 8.03 8.05 9/201 16941 /proc/meminfo: memFree=31375052/32770624 swapFree=66936012/67108860 [pid=16931] ppid=16928 vsize=627372 memory=19504 CPUtime=26.03 cores=0-7 /proc/16931/stat : 16931 (cosoco) S 16928 16931 14101 0 -1 1077944320 12858 0 0 0 2601 2 0 0 20 0 9 0 558985444 642428928 4876 33554432000 4194304 6211132 140729931477744 140729931476000 140482715840247 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 /proc/16931/statm: 156843 4876 875 493 0 150148 0 [pid=16931/tid=16933] ppid=16928 vsize=627372 memory=19252 CPUtime=3.25 cores=0-7 /proc/16931/task/16933/stat : 16933 (cosoco) R 16928 16931 14101 0 -1 4202560 1106 0 0 0 325 0 0 0 20 0 9 0 558985448 642428928 4876 33554432000 4194304 6211132 140729931477744 140482692696760 5397400 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16934] ppid=16928 vsize=627372 memory=19504 CPUtime=3.26 cores=0-7 /proc/16931/task/16934/stat : 16934 (cosoco) R 16928 16931 14101 0 -1 4202560 1306 0 0 0 326 0 0 0 20 0 9 0 558985448 642428928 4876 33554432000 4194304 6211132 140729931477744 140482684304056 5017373 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16935] ppid=16928 vsize=627372 memory=0 CPUtime=3.25 cores=0-7 /proc/16931/task/16935/stat : 16935 (cosoco) R 16928 16931 14101 0 -1 4202560 951 0 0 0 325 0 0 0 20 0 9 0 558985448 642428928 4876 33554432000 4194304 6211132 140729931477744 140482675911352 5397407 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16936] ppid=16928 vsize=627372 memory=0 CPUtime=3.17 cores=0-7 /proc/16931/task/16936/stat : 16936 (cosoco) R 16928 16931 14101 0 -1 4202560 1244 0 0 0 317 0 0 0 20 0 9 0 558985448 642428928 4876 33554432000 4194304 6211132 140729931477744 140482667518648 5250319 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16937] ppid=16928 vsize=627372 memory=280829792168192 CPUtime=3.25 cores=0-7 /proc/16931/task/16937/stat : 16937 (cosoco) R 16928 16931 14101 0 -1 4202560 1026 0 0 0 325 0 0 0 20 0 9 0 558985448 642428928 4876 33554432000 4194304 6211132 140729931477744 140482659126288 5125672 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16938] ppid=16928 vsize=627372 memory=6935054825532540783 CPUtime=3.26 cores=0-7 /proc/16931/task/16938/stat : 16938 (cosoco) R 16928 16931 14101 0 -1 4202560 1373 0 0 0 326 0 0 0 20 0 9 0 558985448 642428928 4876 33554432000 4194304 6211132 140729931477744 140482650733600 5393095 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16939] ppid=16928 vsize=627372 memory=8088577430502138195 CPUtime=3.26 cores=0-7 /proc/16931/task/16939/stat : 16939 (cosoco) R 16928 16931 14101 0 -1 4202560 860 0 0 0 326 0 0 0 20 0 9 0 558985448 642428928 4876 33554432000 4194304 6211132 140729931477744 140482642340536 5250319 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 [pid=16931/tid=16940] ppid=16928 vsize=627372 memory=7885333925627975025 CPUtime=3.26 cores=0-7 /proc/16931/task/16940/stat : 16940 (cosoco) R 16928 16931 14101 0 -1 4202560 1246 0 0 0 326 0 0 0 20 0 9 0 558985448 642428928 4876 33554432000 4194304 6211132 140729931477744 140482633948024 5127160 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12312576 140729931486230 140729931486322 140729931486322 140729931489230 0 Current children cumulated CPU time: 26.03 s Current children cumulated vsize: 627372 KiB Current children cumulated memory: 19504 KiB Child status: 0 Real time (s): 3.39132 CPU time (s): 26.7435 CPU user time (s): 26.7166 CPU system time (s): 0.026979 CPU usage (%): 788.587 Max. virtual memory (cumulated for all children) (KiB): 627372 Max. memory (cumulated for all children) (KiB): 19504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 26.7166 system time used= 0.026979 maximum resident set size= 19896 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12969 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= 446 involuntary context switches= 291 # summary of solver processes directly reported to runsolver: # pid: 16931 # total CPU time (s): 26.7435 # total CPU user time (s): 26.7166 # total CPU system time (s): 0.026979 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.03823 second user time and 0.070506 second system time The end
Begin job on node147 at 2019-09-30 10:04:33 IDJOB=4409812 IDBENCH=138308 IDSOLVER=2878 FILE ID=node147/4409812-1569830717 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-ff50.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409812-1569830717/watcher-4409812-1569830717 -o /tmp/evaluation-result-4409812-1569830717/solver-4409812-1569830717 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node147-1569818085-14128 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409812-1569830717.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f7819cc540e1493da1332403e09ec21d RANDOM SEED=1276941530 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: 31389172 kB MemAvailable: 31793852 kB Buffers: 240172 kB Cached: 493416 kB SwapCached: 68896 kB Active: 417196 kB Inactive: 390264 kB Active(anon): 19080 kB Inactive(anon): 137176 kB Active(file): 398116 kB Inactive(file): 253088 kB Unevictable: 107284 kB Mlocked: 107284 kB SwapTotal: 67108860 kB SwapFree: 66936012 kB Dirty: 2744 kB Writeback: 0 kB AnonPages: 113820 kB Mapped: 26996 kB Shmem: 73672 kB Slab: 167796 kB SReclaimable: 138624 kB SUnreclaim: 29172 kB KernelStack: 3440 kB PageTables: 5080 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 538560 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:04:36