Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 parallel | OPT | 583 | 30.4342 | 3.85871 |
Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff21.xml |
MD5SUM | 9ed96a9b02dc4e036934e9ef3088dc03 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 583 |
Best CPU time to get the best result obtained on this benchmark | 12.5948 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 323 |
Number of constraints | 319 |
Number of domains | 34 |
Minimum domain size | 31 |
Maximum domain size | 34 |
Distribution of domain sizes | [{"size":31,"count":24},{"size":32,"count":48},{"size":33,"count":108},{"size":34,"count":143}] |
Minimum variable degree | 2 |
Maximum variable degree | 54 |
Distribution of variable degrees | [{"degree":2,"count":318},{"degree":54,"count":5}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 6 |
Distribution of constraint arities | [{"arity":2,"count":265},{"arity":5,"count":1},{"arity":6,"count":53}] |
Number of extensional constraints | 265 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":265},{"type":"ordered","count":1},{"type":"minimum","count":53}] |
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-4409858-1569830765.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 c enable optimization 0.00/0.04 c ========================================[ Problem Statistics ]=========================================== 0.00/0.04 c | 0.00/0.04 c | Parse time : 0.03 s 0.00/0.04 c | 0.00/0.04 c | Variables: 323 0.00/0.04 c | Domain Sizes: 31..34 0.00/0.04 c | 0.00/0.04 c | Constraints: 323 0.00/0.04 c | Arity: 2..53 -- Binary: 269 0.00/0.04 c | 0.00/0.04 c | Types: 0.00/0.04 c | (X - Y < k): 4 0.00/0.04 c | Extension: 265 (nb tuples: 34..34) -- (shared: 1848) 0.00/0.04 c | Minimum Variable: 53 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.05 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.00/0.05 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.00/0.05 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.00/0.05 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.00/0.05 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.00/0.05 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.00/0.05 c [pFactory][Group N°0] concurrent mode: enabled. 0.00/0.05 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.00/0.05 c [pFactory][Group N°0] task 7 launched on thread 0. 0.00/0.05 c [pFactory][Group N°0] task 6 launched on thread 1. 0.00/0.05 c [pFactory][Group N°0] task 5 launched on thread 2. 0.00/0.05 c [pFactory][Group N°0] task 4 launched on thread 6. 0.00/0.05 c [pFactory][Group N°0] task 3 launched on thread 7. 0.00/0.05 c [pFactory][Group N°0] task 2 launched on thread 4. 0.00/0.05 c [pFactory][Group N°0] task 1 launched on thread 5. 0.00/0.05 c [pFactory][Group N°0] task 0 launched on thread 3. 0.00/0.05 o 6771 0.00/0.05 o 4018 0.00/0.05 o 2973 0.00/0.05 o 2427 0.00/0.05 o 1839 0.00/0.06 o 1657 0.00/0.07 o 1603 0.00/0.09 o 1588 0.00/0.10 o 1573 0.00/0.10 o 1560 0.54/0.11 o 1491 0.54/0.11 o 1335 0.54/0.12 o 1331 0.54/0.12 o 1008 0.54/0.14 o 861 0.54/0.15 o 823 1.41/0.30 o 754 2.20/0.32 o 729 2.20/0.33 o 727 4.51/0.68 o 638 6.82/0.91 o 588 8.49/1.12 o 586 9.21/1.28 o 584 27.59/3.54 o 583 29.98/3.85 c [pFactory][Group N°0] concurent mode: thread 0 has won with the task 7. 29.98/3.85 c [pFactory][Group N°0] Thread N°0 is joined. 29.98/3.85 c [pFactory][Group N°0] Thread N°1 is joined. 29.98/3.85 c [pFactory][Group N°0] Thread N°2 is joined. 29.98/3.85 c [pFactory][Group N°0] Thread N°3 is joined. 29.98/3.85 c [pFactory][Group N°0] Thread N°4 is joined. 29.98/3.85 c [pFactory][Group N°0] Thread N°5 is joined. 29.98/3.85 c [pFactory][Group N°0] Thread N°6 is joined. 29.98/3.85 c [pFactory][Group N°0] Thread N°7 is joined. 29.98/3.85 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°0) 29.98/3.85 s OPTIMUM FOUND 29.98/3.85 c call to solver : 32 29.98/3.85 c 29.98/3.85 c restarts : 1714 29.98/3.85 c conflicts : 2543 (84 /sec) 29.98/3.85 c decisions : 49269 (1621 /sec) 29.98/3.85 c propagations : 5867250 (193015 /sec) 29.98/3.85 c root propagations : 1256 29.98/3.85 c filter calls : 2043313 (67219 /sec) 29.98/3.85 c useless filter calls : 823688 (40 %) 29.98/3.85 c Memory used : 582.46 MB 29.98/3.85 c Best bound time (wc) : 3.5387 s 29.98/3.85 c CPU time : 30.3979 s 29.98/3.85 c real time : 3.85236 s 29.98/3.85 29.98/3.85 29.98/3.85 v <instantiation type='solution' cost='583'> 29.98/3.85 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[39] dr[3] dr[40] dr[41] dr[42] dr[43] dr[44] dr[45] dr[46] dr[47] dr[48] dr[49] dr[4] dr[50] dr[51] dr[52] 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[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[31][0] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[32][0] drd[32][1] drd[32][2] drd[32][3] drd[32][4] drd[33][0] drd[33][1] drd[33][2] drd[33][3] drd[33][4] drd[34][0] drd[34][1] drd[34][2] drd[34][3] drd[34][4] drd[35][0] drd[35][1] drd[35][2] drd[35][3] drd[35][4] drd[36][0] drd[36][1] drd[36][2] drd[36][3] drd[36][4] drd[37][0] drd[37][1] drd[37][2] drd[37][3] drd[37][4] drd[38][0] drd[38][1] drd[38][2] drd[38][3] drd[38][4] drd[39][0] drd[39][1] drd[39][2] drd[39][3] drd[39][4] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[40][0] drd[40][1] drd[40][2] drd[40][3] drd[40][4] drd[41][0] drd[41][1] drd[41][2] drd[41][3] drd[41][4] drd[42][0] drd[42][1] drd[42][2] drd[42][3] drd[42][4] drd[43][0] drd[43][1] drd[43][2] drd[43][3] drd[43][4] drd[44][0] drd[44][1] drd[44][2] drd[44][3] drd[44][4] drd[45][0] drd[45][1] drd[45][2] drd[45][3] drd[45][4] drd[46][0] drd[46][1] drd[46][2] drd[46][3] drd[46][4] drd[47][0] drd[47][1] drd[47][2] drd[47][3] drd[47][4] drd[48][0] drd[48][1] drd[48][2] drd[48][3] drd[48][4] drd[49][0] drd[49][1] drd[49][2] drd[49][3] drd[49][4] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[50][0] drd[50][1] drd[50][2] drd[50][3] drd[50][4] drd[51][0] drd[51][1] drd[51][2] drd[51][3] drd[51][4] drd[52][0] drd[52][1] drd[52][2] drd[52][3] drd[52][4] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] x[0] x[1] x[2] x[3] x[4] </list> 29.98/3.85 v <values>1 11 12 29 0 0 0 1 0 0 2 1 2 6 5 4 39 5 28 28 8 40 7 19 19 15 15 7 7 30 2 9 15 7 15 0 0 10 10 0 0 42 42 6 1 6 3 3 1 20 20 15 15 1 38 99 190 263 11 26 87 178 251 12 25 86 177 250 127 90 29 62 135 0 37 98 189 262 0 37 98 189 262 189 152 91 0 73 188 151 90 1 74 262 225 164 73 0 262 225 164 73 0 35 2 63 154 227 1 38 99 190 263 35 2 63 154 227 43 6 55 146 219 42 5 56 147 220 4 41 102 193 266 301 264 203 112 39 42 5 56 147 220 70 33 28 119 192 234 197 136 45 28 29 8 69 160 233 138 101 40 51 124 91 54 7 98 171 208 171 110 19 54 208 171 110 19 54 15 52 113 204 277 15 52 113 204 277 30 7 68 159 232 30 7 68 159 232 67 30 31 122 195 260 223 162 71 2 28 9 70 161 234 15 22 83 174 247 91 54 7 98 171 15 22 83 174 247 37 0 61 152 225 37 0 61 152 225 179 142 81 10 83 88 51 10 101 174 98 61 0 91 164 98 61 0 91 164 140 103 42 49 122 140 103 42 49 122 43 6 55 146 219 36 1 62 153 226 43 6 55 146 219 95 58 3 94 167 95 58 3 94 167 36 1 62 153 226 118 81 20 71 144 118 81 20 71 144 52 15 46 137 210 52 15 46 137 210 15 52 113 204 277 </values> 29.98/3.85 v </instantiation> 29.98/3.85
OK 583
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 (15173 MiB free) memory of node 1: 16384 MiB (15477 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409858-1569830765/watcher-4409858-1569830765 -o /tmp/evaluation-result-4409858-1569830765/solver-4409858-1569830765 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node147-1569818085-14128 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409858-1569830765.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=17663, runsolver pid=17660 Current StackSize limit: 8192 KiB [startup+0.100636 s]* /proc/loadavg: 8.17 8.07 8.06 10/200 17672 /proc/meminfo: memFree=31372160/32770624 swapFree=66936012/67108860 [pid=17663] ppid=17660 vsize=629216 memory=18816 CPUtime=0.54 cores=0-7 /proc/17663/stat : 17663 (cosoco) S 17660 17663 14101 0 -1 1077944320 5309 0 0 0 53 1 0 0 20 0 9 0 558990206 644317184 4704 33554432000 4194304 6211132 140736415152688 140736415150944 140377900769015 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 /proc/17663/statm: 157304 4704 892 493 0 150609 0 [pid=17663/tid=17665] ppid=17660 vsize=629216 memory=4134692831991786133 CPUtime=0.06 cores=0-7 /proc/17663/task/17665/stat : 17665 (cosoco) R 17660 17663 14101 0 -1 4202560 128 0 0 0 6 0 0 0 20 0 9 0 558990210 644317184 4704 33554432000 4194304 6211132 140736415152688 140377877625872 5193776 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17666] ppid=17660 vsize=629216 memory=4872558044660077418 CPUtime=0.06 cores=0-7 /proc/17663/task/17666/stat : 17666 (cosoco) R 17660 17663 14101 0 -1 4202560 159 0 0 0 6 0 0 0 20 0 9 0 558990210 644317184 4704 33554432000 4194304 6211132 140736415152688 140377869233184 5250321 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17667] ppid=17660 vsize=629216 memory=140058029688448 CPUtime=0.06 cores=0-7 /proc/17663/task/17667/stat : 17667 (cosoco) R 17660 17663 14101 0 -1 4202560 141 0 0 0 6 0 0 0 20 0 9 0 558990210 644317184 4704 33554432000 4194304 6211132 140736415152688 140377860840040 5250283 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17668] ppid=17660 vsize=629216 memory=0 CPUtime=0.06 cores=0-7 /proc/17663/task/17668/stat : 17668 (cosoco) R 17660 17663 14101 0 -1 4202560 155 0 0 0 6 0 0 0 20 0 9 0 558990210 644317184 4704 33554432000 4194304 6211132 140736415152688 140377852447760 5250304 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17669] ppid=17660 vsize=629216 memory=0 CPUtime=0.06 cores=0-7 /proc/17663/task/17669/stat : 17669 (cosoco) R 17660 17663 14101 0 -1 4202560 165 0 0 0 6 0 0 0 20 0 9 0 558990210 644317184 4704 33554432000 4194304 6211132 140736415152688 140377844055312 140377885166717 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17670] ppid=17660 vsize=629216 memory=0 CPUtime=0.06 cores=0-7 /proc/17663/task/17670/stat : 17670 (cosoco) R 17660 17663 14101 0 -1 4202560 131 0 0 0 6 0 0 0 20 0 9 0 558990210 644317184 4704 33554432000 4194304 6211132 140736415152688 140377835662352 140377884724030 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17671] ppid=17660 vsize=629216 memory=-1 CPUtime=0.06 cores=0-7 /proc/17663/task/17671/stat : 17671 (cosoco) R 17660 17663 14101 0 -1 4202560 124 0 0 0 6 0 0 0 20 0 9 0 558990210 644317184 4704 33554432000 4194304 6211132 140736415152688 140377827269664 5008831 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17672] ppid=17660 vsize=629216 memory=0 CPUtime=0.05 cores=0-7 /proc/17663/task/17672/stat : 17672 (cosoco) R 17660 17663 14101 0 -1 4202560 125 0 0 0 5 0 0 0 20 0 9 0 558990210 644317184 4704 33554432000 4194304 6211132 140736415152688 140377818876392 5250321 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 629216 KiB Current children cumulated memory: 18816 KiB [startup+0.210637 s]* /proc/loadavg: 8.17 8.07 8.06 9/200 17672 /proc/meminfo: memFree=31371060/32770624 swapFree=66936012/67108860 [pid=17663] ppid=17660 vsize=629216 memory=19600 CPUtime=1.41 cores=0-7 /proc/17663/stat : 17663 (cosoco) S 17660 17663 14101 0 -1 1077944320 5511 0 0 0 140 1 0 0 20 0 9 0 558990206 644317184 4900 33554432000 4194304 6211132 140736415152688 140736415150944 140377900769015 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 /proc/17663/statm: 157304 4900 892 493 0 150609 0 [pid=17663/tid=17665] ppid=17660 vsize=629216 memory=8316850467074736180 CPUtime=0.17 cores=0-7 /proc/17663/task/17665/stat : 17665 (cosoco) R 17660 17663 14101 0 -1 4202560 178 0 0 0 17 0 0 0 20 0 9 0 558990210 644317184 4900 33554432000 4194304 6211132 140736415152688 140377877625872 5250316 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17666] ppid=17660 vsize=629216 memory=9280 CPUtime=0.17 cores=0-7 /proc/17663/task/17666/stat : 17666 (cosoco) R 17660 17663 14101 0 -1 4202560 160 0 0 0 17 0 0 0 20 0 9 0 558990210 644317184 4900 33554432000 4194304 6211132 140736415152688 140377869233184 5157572 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17667] ppid=17660 vsize=629216 memory=140058029704440 CPUtime=0.17 cores=0-7 /proc/17663/task/17667/stat : 17667 (cosoco) R 17660 17663 14101 0 -1 4202560 157 0 0 0 17 0 0 0 20 0 9 0 558990210 644317184 4900 33554432000 4194304 6211132 140736415152688 140377860840040 5250321 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17668] ppid=17660 vsize=629216 memory=-1 CPUtime=0.17 cores=0-7 /proc/17663/task/17668/stat : 17668 (cosoco) R 17660 17663 14101 0 -1 4202560 183 0 0 0 17 0 0 0 20 0 9 0 558990210 644317184 4900 33554432000 4194304 6211132 140736415152688 140377852447760 5017282 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17669] ppid=17660 vsize=629216 memory=0 CPUtime=0.17 cores=0-7 /proc/17663/task/17669/stat : 17669 (cosoco) R 17660 17663 14101 0 -1 4202560 175 0 0 0 17 0 0 0 20 0 9 0 558990210 644317184 4900 33554432000 4194304 6211132 140736415152688 140377844055072 5158052 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17670] ppid=17660 vsize=629216 memory=0 CPUtime=0.17 cores=0-7 /proc/17663/task/17670/stat : 17670 (cosoco) R 17660 17663 14101 0 -1 4202560 165 0 0 0 17 0 0 0 20 0 9 0 558990210 644317184 4900 33554432000 4194304 6211132 140736415152688 140377835662008 5017373 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17671] ppid=17660 vsize=629216 memory=-1 CPUtime=0.17 cores=0-7 /proc/17663/task/17671/stat : 17671 (cosoco) R 17660 17663 14101 0 -1 4202560 150 0 0 0 17 0 0 0 20 0 9 0 558990210 644317184 4900 33554432000 4194304 6211132 140736415152688 140377827269664 5250319 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17672] ppid=17660 vsize=629216 memory=0 CPUtime=0.15 cores=0-7 /proc/17663/task/17672/stat : 17672 (cosoco) R 17660 17663 14101 0 -1 4202560 160 0 0 0 15 0 0 0 20 0 9 0 558990210 644317184 4900 33554432000 4194304 6211132 140736415152688 140377818876600 5186242 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 Current children cumulated CPU time: 1.41 s Current children cumulated vsize: 629216 KiB Current children cumulated memory: 19600 KiB [startup+0.310631 s]* /proc/loadavg: 8.17 8.07 8.06 9/200 17672 /proc/meminfo: memFree=31370688/32770624 swapFree=66936012/67108860 [pid=17663] ppid=17660 vsize=629216 memory=19600 CPUtime=2.2 cores=0-7 /proc/17663/stat : 17663 (cosoco) S 17660 17663 14101 0 -1 1077944320 5518 0 0 0 219 1 0 0 20 0 9 0 558990206 644317184 4900 33554432000 4194304 6211132 140736415152688 140736415150944 140377900769015 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 /proc/17663/statm: 157304 4900 892 493 0 150609 0 [pid=17663/tid=17665] ppid=17660 vsize=629216 memory=6935054825532540783 CPUtime=0.27 cores=0-7 /proc/17663/task/17665/stat : 17665 (cosoco) R 17660 17663 14101 0 -1 4202560 178 0 0 0 27 0 0 0 20 0 9 0 558990210 644317184 4900 33554432000 4194304 6211132 140736415152688 140377877625872 5250490 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17666] ppid=17660 vsize=629216 memory=4872558044660077418 CPUtime=0.27 cores=0-7 /proc/17663/task/17666/stat : 17666 (cosoco) R 17660 17663 14101 0 -1 4202560 161 0 0 0 27 0 0 0 20 0 9 0 558990210 644317184 4900 33554432000 4194304 6211132 140736415152688 140377869233424 5397407 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17667] ppid=17660 vsize=629216 memory=0 CPUtime=0.27 cores=0-7 /proc/17663/task/17667/stat : 17667 (cosoco) R 17660 17663 14101 0 -1 4202560 163 0 0 0 27 0 0 0 20 0 9 0 558990210 644317184 4900 33554432000 4194304 6211132 140736415152688 140377860840040 5250316 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17668] ppid=17660 vsize=629216 memory=0 CPUtime=0.27 cores=0-7 /proc/17663/task/17668/stat : 17668 (cosoco) R 17660 17663 14101 0 -1 4202560 183 0 0 0 27 0 0 0 20 0 9 0 558990210 644317184 4900 33554432000 4194304 6211132 140736415152688 140377852447760 5250304 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17669] ppid=17660 vsize=629216 memory=6656426216303648864 CPUtime=0.27 cores=0-7 /proc/17663/task/17669/stat : 17669 (cosoco) R 17660 17663 14101 0 -1 4202560 175 0 0 0 27 0 0 0 20 0 9 0 558990210 644317184 4900 33554432000 4194304 6211132 140736415152688 140377844055168 5125825 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17670] ppid=17660 vsize=629216 memory=0 CPUtime=0.27 cores=0-7 /proc/17663/task/17670/stat : 17670 (cosoco) R 17660 17663 14101 0 -1 4202560 165 0 0 0 27 0 0 0 20 0 9 0 558990210 644317184 4900 33554432000 4194304 6211132 140736415152688 140377835662008 5250482 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17671] ppid=17660 vsize=629216 memory=0 CPUtime=0.27 cores=0-7 /proc/17663/task/17671/stat : 17671 (cosoco) R 17660 17663 14101 0 -1 4202560 150 0 0 0 27 0 0 0 20 0 9 0 558990210 644317184 4900 33554432000 4194304 6211132 140736415152688 140377827269664 5250319 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17672] ppid=17660 vsize=629216 memory=0 CPUtime=0.24 cores=0-7 /proc/17663/task/17672/stat : 17672 (cosoco) R 17660 17663 14101 0 -1 4202560 160 0 0 0 24 0 0 0 20 0 9 0 558990210 644317184 4900 33554432000 4194304 6211132 140736415152688 140377818876600 5155836 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 Current children cumulated CPU time: 2.2 s Current children cumulated vsize: 629216 KiB Current children cumulated memory: 19600 KiB [startup+0.700637 s] /proc/loadavg: 8.17 8.07 8.06 9/200 17672 /proc/meminfo: memFree=31370688/32770624 swapFree=66936012/67108860 [pid=17663] ppid=17660 vsize=629216 memory=20120 CPUtime=5.22 cores=0-7 /proc/17663/stat : 17663 (cosoco) S 17660 17663 14101 0 -1 1077944320 5575 0 0 0 521 1 0 0 20 0 9 0 558990206 644317184 5030 33554432000 4194304 6211132 140736415152688 140736415150944 140377900769015 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 /proc/17663/statm: 157304 5030 892 493 0 150609 0 [pid=17663/tid=17665] ppid=17660 vsize=629216 memory=2520 CPUtime=0.65 cores=0-7 /proc/17663/task/17665/stat : 17665 (cosoco) R 17660 17663 14101 0 -1 4202560 178 0 0 0 65 0 0 0 20 0 9 0 558990210 644317184 5030 33554432000 4194304 6211132 140736415152688 140377877625872 5017476 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17666] ppid=17660 vsize=629216 memory=1760 CPUtime=0.65 cores=0-7 /proc/17663/task/17666/stat : 17666 (cosoco) R 17660 17663 14101 0 -1 4202560 170 0 0 0 65 0 0 0 20 0 9 0 558990210 644317184 5030 33554432000 4194304 6211132 140736415152688 140377869233184 5186260 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17667] ppid=17660 vsize=629216 memory=1772 CPUtime=0.65 cores=0-7 /proc/17663/task/17667/stat : 17667 (cosoco) R 17660 17663 14101 0 -1 4202560 176 0 0 0 65 0 0 0 20 0 9 0 558990210 644317184 5030 33554432000 4194304 6211132 140736415152688 140377860840448 5390186 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17668] ppid=17660 vsize=629216 memory=111632 CPUtime=0.65 cores=0-7 /proc/17663/task/17668/stat : 17668 (cosoco) R 17660 17663 14101 0 -1 4202560 183 0 0 0 65 0 0 0 20 0 9 0 558990210 644317184 5030 33554432000 4194304 6211132 140736415152688 140377852447760 5157576 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17669] ppid=17660 vsize=629216 memory=796 CPUtime=0.65 cores=0-7 /proc/17663/task/17669/stat : 17669 (cosoco) R 17660 17663 14101 0 -1 4202560 176 0 0 0 65 0 0 0 20 0 9 0 558990210 644317184 5030 33554432000 4194304 6211132 140736415152688 140377844055312 5391833 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17670] ppid=17660 vsize=629216 memory=-7175204567652784766 CPUtime=0.65 cores=0-7 /proc/17663/task/17670/stat : 17670 (cosoco) R 17660 17663 14101 0 -1 4202560 170 0 0 0 65 0 0 0 20 0 9 0 558990210 644317184 5030 33554432000 4194304 6211132 140736415152688 140377835662008 5125565 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17671] ppid=17660 vsize=629216 memory=7100839861465685612 CPUtime=0.65 cores=0-7 /proc/17663/task/17671/stat : 17671 (cosoco) R 17660 17663 14101 0 -1 4202560 173 0 0 0 65 0 0 0 20 0 9 0 558990210 644317184 5030 33554432000 4194304 6211132 140736415152688 140377827269304 5156028 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17672] ppid=17660 vsize=629216 memory=3054156605268465310 CPUtime=0.6 cores=0-7 /proc/17663/task/17672/stat : 17672 (cosoco) R 17660 17663 14101 0 -1 4202560 166 0 0 0 60 0 0 0 20 0 9 0 558990210 644317184 5030 33554432000 4194304 6211132 140736415152688 140377818876600 5125825 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 Current children cumulated CPU time: 5.22 s Current children cumulated vsize: 629216 KiB Current children cumulated memory: 20120 KiB [startup+1.50063 s] /proc/loadavg: 8.07 8.05 8.05 9/200 17672 /proc/meminfo: memFree=31370992/32770624 swapFree=66936012/67108860 [pid=17663] ppid=17660 vsize=629216 memory=21188 CPUtime=11.61 cores=0-7 /proc/17663/stat : 17663 (cosoco) S 17660 17663 14101 0 -1 1077944320 9799 0 0 0 1159 2 0 0 20 0 9 0 558990206 644317184 5297 33554432000 4194304 6211132 140736415152688 140736415150944 140377900769015 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 /proc/17663/statm: 157304 5297 892 493 0 150609 0 [pid=17663/tid=17665] ppid=17660 vsize=629216 memory=5931915188434987627 CPUtime=1.45 cores=0-7 /proc/17663/task/17665/stat : 17665 (cosoco) R 17660 17663 14101 0 -1 4202560 512 0 0 0 145 0 0 0 20 0 9 0 558990210 644317184 5297 33554432000 4194304 6211132 140736415152688 140377877625872 5250321 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17666] ppid=17660 vsize=629216 memory=5931915188434987627 CPUtime=1.45 cores=0-7 /proc/17663/task/17666/stat : 17666 (cosoco) R 17660 17663 14101 0 -1 4202560 893 0 0 0 145 0 0 0 20 0 9 0 558990210 644317184 5297 33554432000 4194304 6211132 140736415152688 140377869233424 5250325 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17667] ppid=17660 vsize=629216 memory=5931915188434987627 CPUtime=1.45 cores=0-7 /proc/17663/task/17667/stat : 17667 (cosoco) R 17660 17663 14101 0 -1 4202560 543 0 0 0 145 0 0 0 20 0 9 0 558990210 644317184 5297 33554432000 4194304 6211132 140736415152688 140377860840448 5390120 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17668] ppid=17660 vsize=629216 memory=0 CPUtime=1.45 cores=0-7 /proc/17663/task/17668/stat : 17668 (cosoco) R 17660 17663 14101 0 -1 4202560 850 0 0 0 145 0 0 0 20 0 9 0 558990210 644317184 5297 33554432000 4194304 6211132 140736415152688 140377852447760 5126927 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17669] ppid=17660 vsize=629216 memory=8316868033356759116 CPUtime=1.45 cores=0-7 /proc/17663/task/17669/stat : 17669 (cosoco) R 17660 17663 14101 0 -1 4202560 567 0 0 0 145 0 0 0 20 0 9 0 558990210 644317184 5297 33554432000 4194304 6211132 140736415152688 140377844055048 5157813 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17670] ppid=17660 vsize=629216 memory=17975 CPUtime=1.45 cores=0-7 /proc/17663/task/17670/stat : 17670 (cosoco) R 17660 17663 14101 0 -1 4202560 838 0 0 0 145 0 0 0 20 0 9 0 558990210 644317184 5297 33554432000 4194304 6211132 140736415152688 140377835662008 5193786 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17671] ppid=17660 vsize=629216 memory=3545236929476060077 CPUtime=1.45 cores=0-7 /proc/17663/task/17671/stat : 17671 (cosoco) R 17660 17663 14101 0 -1 4202560 874 0 0 0 145 0 0 0 20 0 9 0 558990210 644317184 5297 33554432000 4194304 6211132 140736415152688 140377827269304 5250304 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17672] ppid=17660 vsize=629216 memory=0 CPUtime=1.39 cores=0-7 /proc/17663/task/17672/stat : 17672 (cosoco) R 17660 17663 14101 0 -1 4202560 539 0 0 0 139 0 0 0 20 0 9 0 558990210 644317184 5297 33554432000 4194304 6211132 140736415152688 140377818876600 5250319 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 Current children cumulated CPU time: 11.61 s Current children cumulated vsize: 629216 KiB Current children cumulated memory: 21188 KiB [startup+3.11064 s] /proc/loadavg: 8.07 8.05 8.05 9/200 17672 /proc/meminfo: memFree=31369648/32770624 swapFree=66936012/67108860 [pid=17663] ppid=17660 vsize=629216 memory=21464 CPUtime=24.46 cores=0-7 /proc/17663/stat : 17663 (cosoco) S 17660 17663 14101 0 -1 1077944320 14089 0 0 0 2444 2 0 0 20 0 9 0 558990206 644317184 5366 33554432000 4194304 6211132 140736415152688 140736415150944 140377900769015 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 /proc/17663/statm: 157304 5366 892 493 0 150609 0 [pid=17663/tid=17665] ppid=17660 vsize=629216 memory=0 CPUtime=3.06 cores=0-7 /proc/17663/task/17665/stat : 17665 (cosoco) R 17660 17663 14101 0 -1 4202560 1056 0 0 0 306 0 0 0 20 0 9 0 558990210 644317184 5366 33554432000 4194304 6211132 140736415152688 140377877625720 5126734 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17666] ppid=17660 vsize=629216 memory=21304 CPUtime=3.06 cores=0-7 /proc/17663/task/17666/stat : 17666 (cosoco) R 17660 17663 14101 0 -1 4202560 1366 0 0 0 306 0 0 0 20 0 9 0 558990210 644317184 5366 33554432000 4194304 6211132 140736415152688 140377869232824 5389970 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17667] ppid=17660 vsize=629216 memory=6935054825532540783 CPUtime=3.06 cores=0-7 /proc/17663/task/17667/stat : 17667 (cosoco) R 17660 17663 14101 0 -1 4202560 1151 0 0 0 306 0 0 0 20 0 9 0 558990210 644317184 5366 33554432000 4194304 6211132 140736415152688 140377860840312 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17668] ppid=17660 vsize=629216 memory=8088577430502138195 CPUtime=3.06 cores=0-7 /proc/17663/task/17668/stat : 17668 (cosoco) R 17660 17663 14101 0 -1 4202560 1394 0 0 0 306 0 0 0 20 0 9 0 558990210 644317184 5366 33554432000 4194304 6211132 140736415152688 140377852447416 5397248 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17669] ppid=17660 vsize=629216 memory=7885333891217772658 CPUtime=3.06 cores=0-7 /proc/17663/task/17669/stat : 17669 (cosoco) R 17660 17663 14101 0 -1 4202560 1174 0 0 0 306 0 0 0 20 0 9 0 558990210 644317184 5366 33554432000 4194304 6211132 140736415152688 140377844054712 5250325 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17670] ppid=17660 vsize=629216 memory=-8989086288449198961 CPUtime=3.06 cores=0-7 /proc/17663/task/17670/stat : 17670 (cosoco) R 17660 17663 14101 0 -1 4202560 1276 0 0 0 306 0 0 0 20 0 9 0 558990210 644317184 5366 33554432000 4194304 6211132 140736415152688 140377835662072 5250319 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17671] ppid=17660 vsize=629216 memory=17 CPUtime=3.06 cores=0-7 /proc/17663/task/17671/stat : 17671 (cosoco) R 17660 17663 14101 0 -1 4202560 1372 0 0 0 306 0 0 0 20 0 9 0 558990210 644317184 5366 33554432000 4194304 6211132 140736415152688 140377827269760 5393026 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17672] ppid=17660 vsize=629216 memory=6935054825532540783 CPUtime=2.97 cores=0-7 /proc/17663/task/17672/stat : 17672 (cosoco) R 17660 17663 14101 0 -1 4202560 1117 0 0 0 297 0 0 0 20 0 9 0 558990210 644317184 5366 33554432000 4194304 6211132 140736415152688 140377818876600 5397262 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 Current children cumulated CPU time: 24.46 s Current children cumulated vsize: 629216 KiB Current children cumulated memory: 21464 KiB [startup+3.85865 s] # the end of solver process 17663 was just reported to runsolver # cumulated CPU time of all completed processes: user=30.3982 s, system=0.035976 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20063 s] /proc/loadavg: 8.07 8.05 8.05 9/200 17672 /proc/meminfo: memFree=31369648/32770624 swapFree=66936012/67108860 [pid=17663] ppid=17660 vsize=629216 memory=21464 CPUtime=25.19 cores=0-7 /proc/17663/stat : 17663 (cosoco) S 17660 17663 14101 0 -1 1077944320 14169 0 0 0 2516 3 0 0 20 0 9 0 558990206 644317184 5366 33554432000 4194304 6211132 140736415152688 140736415150944 140377900769015 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 /proc/17663/statm: 157304 5366 892 493 0 150609 0 [pid=17663/tid=17665] ppid=17660 vsize=629216 memory=140057876907889 CPUtime=3.15 cores=0-7 /proc/17663/task/17665/stat : 17665 (cosoco) R 17660 17663 14101 0 -1 4202560 1056 0 0 0 315 0 0 0 20 0 9 0 558990210 644317184 5366 33554432000 4194304 6211132 140736415152688 140377877625720 5193776 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17666] ppid=17660 vsize=629216 memory=0 CPUtime=3.15 cores=0-7 /proc/17663/task/17666/stat : 17666 (cosoco) R 17660 17663 14101 0 -1 4202560 1391 0 0 0 315 0 0 0 20 0 9 0 558990210 644317184 5366 33554432000 4194304 6211132 140736415152688 140377869232824 5250321 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17667] ppid=17660 vsize=629216 memory=0 CPUtime=3.15 cores=0-7 /proc/17663/task/17667/stat : 17667 (cosoco) R 17660 17663 14101 0 -1 4202560 1156 0 0 0 315 0 0 0 20 0 9 0 558990210 644317184 5366 33554432000 4194304 6211132 140736415152688 140377860840312 5250316 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17668] ppid=17660 vsize=629216 memory=0 CPUtime=3.15 cores=0-7 /proc/17663/task/17668/stat : 17668 (cosoco) R 17660 17663 14101 0 -1 4202560 1400 0 0 0 315 0 0 0 20 0 9 0 558990210 644317184 5366 33554432000 4194304 6211132 140736415152688 140377852447416 5250304 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17669] ppid=17660 vsize=629216 memory=21188 CPUtime=3.15 cores=0-7 /proc/17663/task/17669/stat : 17669 (cosoco) R 17660 17663 14101 0 -1 4202560 1175 0 0 0 315 0 0 0 20 0 9 0 558990210 644317184 5366 33554432000 4194304 6211132 140736415152688 140377844054712 5125619 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17670] ppid=17660 vsize=629216 memory=1716 CPUtime=3.14 cores=0-7 /proc/17663/task/17670/stat : 17670 (cosoco) R 17660 17663 14101 0 -1 4202560 1307 0 0 0 314 0 0 0 20 0 9 0 558990210 644317184 5366 33554432000 4194304 6211132 140736415152688 140377835662072 5158217 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17671] ppid=17660 vsize=629216 memory=6284 CPUtime=3.15 cores=0-7 /proc/17663/task/17671/stat : 17671 (cosoco) R 17660 17663 14101 0 -1 4202560 1379 0 0 0 315 0 0 0 20 0 9 0 558990210 644317184 5366 33554432000 4194304 6211132 140736415152688 140377827269760 5126780 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17672] ppid=17660 vsize=629216 memory=6935054825532540783 CPUtime=3.06 cores=0-7 /proc/17663/task/17672/stat : 17672 (cosoco) R 17660 17663 14101 0 -1 4202560 1122 0 0 0 306 0 0 0 20 0 9 0 558990210 644317184 5366 33554432000 4194304 6211132 140736415152688 140377818876600 5250482 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 Current children cumulated CPU time: 25.19 s Current children cumulated vsize: 629216 KiB Current children cumulated memory: 21464 KiB [startup+3.60063 s] /proc/loadavg: 8.07 8.05 8.05 9/200 17672 /proc/meminfo: memFree=31369648/32770624 swapFree=66936012/67108860 [pid=17663] ppid=17660 vsize=629216 memory=21464 CPUtime=28.39 cores=0-7 /proc/17663/stat : 17663 (cosoco) S 17660 17663 14101 0 -1 1077944320 14250 0 0 0 2836 3 0 0 20 0 9 0 558990206 644317184 5366 33554432000 4194304 6211132 140736415152688 140736415150944 140377900769015 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 /proc/17663/statm: 157304 5366 892 493 0 150609 0 [pid=17663/tid=17665] ppid=17660 vsize=629216 memory=140057877175440 CPUtime=3.55 cores=0-7 /proc/17663/task/17665/stat : 17665 (cosoco) R 17660 17663 14101 0 -1 4202560 1080 0 0 0 355 0 0 0 20 0 9 0 558990210 644317184 5366 33554432000 4194304 6211132 140736415152688 140377877625720 5250319 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17666] ppid=17660 vsize=629216 memory=0 CPUtime=3.55 cores=0-7 /proc/17663/task/17666/stat : 17666 (cosoco) R 17660 17663 14101 0 -1 4202560 1398 0 0 0 355 0 0 0 20 0 9 0 558990210 644317184 5366 33554432000 4194304 6211132 140736415152688 140377869233168 5250325 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17667] ppid=17660 vsize=629216 memory=0 CPUtime=3.55 cores=0-7 /proc/17663/task/17667/stat : 17667 (cosoco) R 17660 17663 14101 0 -1 4202560 1164 0 0 0 355 0 0 0 20 0 9 0 558990210 644317184 5366 33554432000 4194304 6211132 140736415152688 140377860840312 5250273 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17668] ppid=17660 vsize=629216 memory=0 CPUtime=3.55 cores=0-7 /proc/17663/task/17668/stat : 17668 (cosoco) R 17660 17663 14101 0 -1 4202560 1408 0 0 0 355 0 0 0 20 0 9 0 558990210 644317184 5366 33554432000 4194304 6211132 140736415152688 140377852447416 5250304 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17669] ppid=17660 vsize=629216 memory=0 CPUtime=3.55 cores=0-7 /proc/17663/task/17669/stat : 17669 (cosoco) R 17660 17663 14101 0 -1 4202560 1180 0 0 0 355 0 0 0 20 0 9 0 558990210 644317184 5366 33554432000 4194304 6211132 140736415152688 140377844054712 5250325 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17670] ppid=17660 vsize=629216 memory=6935054825532540783 CPUtime=3.54 cores=0-7 /proc/17663/task/17670/stat : 17670 (cosoco) R 17660 17663 14101 0 -1 4202560 1331 0 0 0 354 0 0 0 20 0 9 0 558990210 644317184 5366 33554432000 4194304 6211132 140736415152688 140377835662008 5250319 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17671] ppid=17660 vsize=629216 memory=2020 CPUtime=3.55 cores=0-7 /proc/17663/task/17671/stat : 17671 (cosoco) R 17660 17663 14101 0 -1 4202560 1383 0 0 0 355 0 0 0 20 0 9 0 558990210 644317184 5366 33554432000 4194304 6211132 140736415152688 140377827269760 5250499 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17672] ppid=17660 vsize=629216 memory=988 CPUtime=3.46 cores=0-7 /proc/17663/task/17672/stat : 17672 (cosoco) R 17660 17663 14101 0 -1 4202560 1123 0 0 0 346 0 0 0 20 0 9 0 558990210 644317184 5366 33554432000 4194304 6211132 140736415152688 140377818876600 5155832 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 Current children cumulated CPU time: 28.39 s Current children cumulated vsize: 629216 KiB Current children cumulated memory: 21464 KiB [startup+3.80064 s] /proc/loadavg: 8.07 8.05 8.05 9/200 17672 /proc/meminfo: memFree=31369648/32770624 swapFree=66936012/67108860 [pid=17663] ppid=17660 vsize=629216 memory=21668 CPUtime=29.98 cores=0-7 /proc/17663/stat : 17663 (cosoco) S 17660 17663 14101 0 -1 1077944320 14346 0 0 0 2995 3 0 0 20 0 9 0 558990206 644317184 5417 33554432000 4194304 6211132 140736415152688 140736415150944 140377900769015 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 /proc/17663/statm: 157304 5417 892 493 0 150609 0 [pid=17663/tid=17665] ppid=17660 vsize=629216 memory=1056 CPUtime=3.75 cores=0-7 /proc/17663/task/17665/stat : 17665 (cosoco) R 17660 17663 14101 0 -1 4202560 1089 0 0 0 375 0 0 0 20 0 9 0 558990210 644317184 5417 33554432000 4194304 6211132 140736415152688 140377877625624 5155832 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17666] ppid=17660 vsize=629216 memory=1716 CPUtime=3.75 cores=0-7 /proc/17663/task/17666/stat : 17666 (cosoco) R 17660 17663 14101 0 -1 4202560 1411 0 0 0 375 0 0 0 20 0 9 0 558990210 644317184 5417 33554432000 4194304 6211132 140736415152688 140377869233168 5125663 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17667] ppid=17660 vsize=629216 memory=6284 CPUtime=3.75 cores=0-7 /proc/17663/task/17667/stat : 17667 (cosoco) R 17660 17663 14101 0 -1 4202560 1183 0 0 0 375 0 0 0 20 0 9 0 558990210 644317184 5417 33554432000 4194304 6211132 140736415152688 140377860840312 5125634 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17668] ppid=17660 vsize=629216 memory=19860 CPUtime=3.75 cores=0-7 /proc/17663/task/17668/stat : 17668 (cosoco) R 17660 17663 14101 0 -1 4202560 1423 0 0 0 375 0 0 0 20 0 9 0 558990210 644317184 5417 33554432000 4194304 6211132 140736415152688 140377852447416 5250256 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17669] ppid=17660 vsize=629216 memory=288230583166042426 CPUtime=3.75 cores=0-7 /proc/17663/task/17669/stat : 17669 (cosoco) R 17660 17663 14101 0 -1 4202560 1180 0 0 0 375 0 0 0 20 0 9 0 558990210 644317184 5417 33554432000 4194304 6211132 140736415152688 140377844054808 5250311 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17670] ppid=17660 vsize=629216 memory=13848568834296438 CPUtime=3.74 cores=0-7 /proc/17663/task/17670/stat : 17670 (cosoco) R 17660 17663 14101 0 -1 4202560 1336 0 0 0 374 0 0 0 20 0 9 0 558990210 644317184 5417 33554432000 4194304 6211132 140736415152688 140377835662104 5397400 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17671] ppid=17660 vsize=629216 memory=492 CPUtime=3.75 cores=0-7 /proc/17663/task/17671/stat : 17671 (cosoco) R 17660 17663 14101 0 -1 4202560 1384 0 0 0 375 0 0 0 20 0 9 0 558990210 644317184 5417 33554432000 4194304 6211132 140736415152688 140377827269760 5157966 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 [pid=17663/tid=17672] ppid=17660 vsize=629216 memory=11624 CPUtime=3.66 cores=0-7 /proc/17663/task/17672/stat : 17672 (cosoco) R 17660 17663 14101 0 -1 4202560 1157 0 0 0 366 0 0 0 20 0 9 0 558990210 644317184 5417 33554432000 4194304 6211132 140736415152688 140377818877056 5157611 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28925952 140736415155222 140736415155314 140736415155314 140736415158222 0 Current children cumulated CPU time: 29.98 s Current children cumulated vsize: 629216 KiB Current children cumulated memory: 21668 KiB Child status: 0 Real time (s): 3.85871 CPU time (s): 30.4342 CPU user time (s): 30.3982 CPU system time (s): 0.035976 CPU usage (%): 788.715 Max. virtual memory (cumulated for all children) (KiB): 629216 Max. memory (cumulated for all children) (KiB): 21668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 30.3982 system time used= 0.035976 maximum resident set size= 22872 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14564 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= 403 involuntary context switches= 286 # summary of solver processes directly reported to runsolver: # pid: 17663 # total CPU time (s): 30.4342 # total CPU user time (s): 30.3982 # total CPU system time (s): 0.035976 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.044764 second user time and 0.067625 second system time The end
Begin job on node147 at 2019-09-30 10:05:20 IDJOB=4409858 IDBENCH=138353 IDSOLVER=2878 FILE ID=node147/4409858-1569830765 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-ff21.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409858-1569830765/watcher-4409858-1569830765 -o /tmp/evaluation-result-4409858-1569830765/solver-4409858-1569830765 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node147-1569818085-14128 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409858-1569830765.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9ed96a9b02dc4e036934e9ef3088dc03 RANDOM SEED=186366142 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: 31387132 kB MemAvailable: 31792596 kB Buffers: 240452 kB Cached: 493644 kB SwapCached: 68896 kB Active: 417028 kB Inactive: 390876 kB Active(anon): 18760 kB Inactive(anon): 137176 kB Active(file): 398268 kB Inactive(file): 253700 kB Unevictable: 107284 kB Mlocked: 107284 kB SwapTotal: 67108860 kB SwapFree: 66936012 kB Dirty: 2924 kB Writeback: 0 kB AnonPages: 131648 kB Mapped: 27084 kB Shmem: 73672 kB Slab: 167984 kB SReclaimable: 138664 kB SUnreclaim: 29320 kB KernelStack: 3728 kB PageTables: 5908 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 538696 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 86016 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 62028 MiB End job on node147 at 2019-09-30 10:05:24