| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.O parallel | UNSAT | 1639.74 | 206.657 |
| Name | QRandom/QRandom-bdd-18-21-2/ bdd-18-21-2-133-78-33.xml |
| MD5SUM | 81fb3456c728d6c2b2ee1ab40588047a |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 9.29758 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 21 |
| Number of constraints | 133 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":21}] |
| Minimum variable degree | 109 |
| Maximum variable degree | 119 |
| Distribution of variable degrees | [{"degree":109,"count":1},{"degree":110,"count":1},{"degree":111,"count":3},{"degree":112,"count":2},{"degree":113,"count":3},{"degree":114,"count":2},{"degree":115,"count":1},{"degree":116,"count":3},{"degree":117,"count":3},{"degree":118,"count":1},{"degree":119,"count":1}] |
| Minimum constraint arity | 18 |
| Maximum constraint arity | 18 |
| Distribution of constraint arities | [{"arity":18,"count":133}] |
| Number of extensional constraints | 133 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":133}] |
| Optimization problem | NO |
| Type of objective |
5.25/1.90 c root propagations : 0 5.25/1.90 c restarts enabled, print stats at every restarts 5.25/1.90 c 5.25/1.90 c 5.25/1.90 c root propagations : 0 5.25/1.90 c restarts enabled, print stats at every restarts 5.25/1.90 c 5.25/1.90 c 5.25/1.90 c 5.25/1.90 c This is cosoco 2.00 -- 5.25/1.90 c 5.25/1.90 c command line: cosoco -model -nbcores=8 HOME/instance-4398103-1568602397.xml 5.25/1.90 c ========================================[ Problem Statistics ]=========================================== 5.25/1.90 c | 5.25/1.90 c | Parse time : 1.26 s 5.25/1.90 c | 5.25/1.90 c | Variables: 21 5.25/1.90 c | Domain Sizes: 2..2 5.25/1.90 c | 5.25/1.90 c | Constraints: 133 5.25/1.90 c | Arity: 18..18 5.25/1.90 c | 5.25/1.90 c | Types: 5.25/1.90 c | Extension: 133 (nb tuples: 57945..57945) -- (shared: 1056) 5.25/1.90 c | 5.25/1.90 c ========================================================================================================= 5.25/1.90 c Parallel mode: Portfolio 5.25/1.90 c [pFactory][Group N°0] created (threads:8). 5.25/1.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 5.25/1.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 5.25/1.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 5.25/1.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 5.25/1.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 5.25/1.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 5.25/1.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 5.25/1.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 5.25/1.90 c [pFactory][Group N°0] concurrent mode: enabled. 5.25/1.90 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 5.25/1.90 c [pFactory][Group N°0] task 7 launched on thread 4. 5.25/1.90 c [pFactory][Group N°0] task 6 launched on thread 1. 5.25/1.90 c [pFactory][Group N°0] task 5 launched on thread 0. 5.25/1.90 c [pFactory][Group N°0] task 4 launched on thread 3. 5.25/1.90 c [pFactory][Group N°0] task 3 launched on thread 7. 5.25/1.90 c [pFactory][Group N°0] task 2 launched on thread 5. 5.25/1.90 c [pFactory][Group N°0] task 1 launched on thread 2. 5.25/1.90 c [pFactory][Group N°0] task 0 launched on thread 6. 5.25/1.90 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depthc conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.25/1.90 5.25/1.91 c root propagations : 0 5.25/1.91 c restarts enabled, print stats at every restarts 5.25/1.91 c 5.25/1.91 c 5.25/1.91 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.25/1.91 c root propagations : 0 5.25/1.91 c restarts enabled, print stats at every restarts 5.25/1.91 c 5.25/1.91 c 5.25/1.91 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.25/1.93 c root propagations : 0 5.25/1.93 c restarts enabled, print stats at every restarts 5.25/1.93 c 5.25/1.93 c 5.25/1.93 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.25/1.93 c root propagations : 0 5.25/1.93 c restarts enabled, print stats at every restarts 5.25/1.93 c 5.25/1.93 c 5.25/1.93 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.25/1.93 c root propagations : 0 5.25/1.93 c restarts enabled, print stats at every restarts 5.25/1.93 c 5.25/1.93 c 5.25/1.93 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.25/1.93 c root propagations : 0 5.25/1.93 c restarts enabled, print stats at every restarts 5.25/1.93 c 5.25/1.93 c 5.25/1.93 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 11.64/2.77 c 32 119 16302 640 0 0 12 15 13 12.43/2.87 c 32 117 16031 643 0 0 11 15 13 13.23/2.98 c 32 115 14870 627 0 0 11 16 13 14.10/3.02 c 32 115 14870 627 0 0 11 16 13 15.63/3.26 c 101 358 49055 2031 0 0 9 15 13 16.42/3.31 c 101 335 46532 1821 0 0 9 15 13 17.22/3.43 c 101 376 51524 2123 0 0 8 15 13 17.22/3.43 c 101 343 45726 1881 0 0 10 16 13 18.82/3.63 c 33 133 17970 670 0 0 14 14 7 19.63/3.79 c 33 132 17830 685 0 0 15 15 7 21.17/3.93 c 33 128 16527 659 0 0 13 13 6 21.17/3.98 c 33 128 16527 659 0 0 13 13 6 25.16/4.47 c 211 722 99668 4176 0 0 9 15 13 27.56/4.71 c 211 707 98165 4015 0 0 10 15 13 28.36/4.86 c 64 245 31544 1249 0 0 11 14 13 28.36/4.87 c 211 742 102654 4260 0 0 9 14 13 29.16/4.97 c 64 237 32455 1302 0 0 12 15 13 29.16/5.00 c 64 233 32978 1229 0 0 11 15 13 30.02/5.05 c 64 245 31544 1249 0 0 11 14 13 30.02/5.10 c 211 713 96161 4091 0 0 9 15 13 34.74/5.68 c 332 1127 155608 6539 0 0 10 15 13 36.33/5.87 c 65 258 33119 1270 0 0 13 13 6 38.80/6.11 c 65 258 33119 1270 0 0 13 13 6 39.53/6.22 c 65 252 34289 1347 0 0 15 15 7 39.53/6.22 c 332 1161 159105 6614 0 0 7 15 13 39.53/6.27 c 65 246 34678 1249 0 0 13 13 6 41.12/6.46 c 332 1124 156258 6386 0 0 10 15 13 43.52/6.75 c 332 1130 153239 6386 0 0 10 15 13 44.32/6.83 c 66 271 34750 1299 0 0 13 13 6 45.98/7.01 c 465 1587 217483 9155 0 0 11 15 13 46.78/7.17 c 66 271 34750 1299 0 0 13 13 6 50.71/7.66 c 66 267 36206 1389 0 0 15 15 7 50.71/7.67 c 66 259 36380 1269 0 0 13 13 6 52.31/7.87 c 465 1626 223200 9286 0 0 10 15 13 53.11/7.98 c 67 284 36325 1320 0 0 13 13 6 56.30/8.34 c 67 284 36325 1320 0 0 13 13 6 56.30/8.34 c 465 1563 218742 8989 0 0 10 15 13 57.09/8.41 c 465 1597 216684 9032 0 0 10 15 13 58.69/8.64 c 611 2095 286759 12122 0 0 10 15 13 62.76/9.16 c 67 282 37999 1425 0 0 15 15 7 63.48/9.21 c 67 272 38080 1289 0 0 13 13 6 64.28/9.32 c 128 495 65164 2483 0 0 11 15 13 66.67/9.60 c 611 2121 290924 12163 0 0 10 15 13 66.67/9.66 c 128 495 65164 2483 0 0 11 15 13 71.46/10.26 c 611 2087 289410 11902 0 0 8 15 13 72.26/10.30 c 611 2113 289491 12012 0 0 9 14 13 73.06/10.43 c 771 2638 360540 15309 0 0 10 15 13 73.06/10.49 c 129 508 66684 2506 0 0 13 13 6 75.46/10.78 c 128 478 64526 2575 0 0 10 15 13 76.27/10.84 c 129 508 66684 2506 0 0 13 13 6 76.27/10.85 c 128 483 68407 2506 0 0 11 15 13 81.05/11.50 c 771 2638 362635 15230 0 0 10 15 13 82.65/11.64 c 130 521 68263 2530 0 0 13 13 6 85.05/11.98 c 130 521 68263 2530 0 0 13 13 6 86.71/12.11 c 771 2664 366315 15156 0 0 7 15 13 86.71/12.15 c 129 493 66332 2617 0 0 15 15 7 86.71/12.17 c 771 2641 364148 14949 0 0 7 15 13 88.24/12.32 c 947 3237 442410 18707 0 0 10 15 13 89.04/12.40 c 129 497 70098 2535 0 0 14 14 7 92.24/12.89 c 131 534 69783 2553 0 0 13 13 6 95.42/13.21 c 131 534 69783 2553 0 0 13 13 6 97.02/13.47 c 947 3240 444868 18683 0 0 10 15 13 98.62/13.61 c 130 508 68152 2660 0 0 15 15 7 101.00/13.90 c 130 511 71837 2570 0 0 14 14 7 101.87/14.10 c 947 3247 447599 18503 0 0 7 15 13 102.67/14.18 c 132 547 71362 2577 0 0 13 13 6 103.39/14.29 c 132 547 71362 2577 0 0 13 13 6 104.19/14.33 c 947 3240 448694 18447 0 0 9 15 13 105.00/14.45 c 1140 3928 535536 22570 0 0 9 15 13 109.00/14.93 c 131 523 70072 2702 0 0 15 15 7 110.65/15.17 c 131 525 73528 2599 0 0 14 14 7 112.18/15.40 c 133 560 72882 2600 0 0 13 13 6 113.78/15.52 c 133 560 72882 2600 0 0 13 13 6 113.78/15.57 c 1140 3912 537352 22595 0 0 10 15 13 119.36/16.25 c 132 538 71878 2742 0 0 15 15 7 120.16/16.33 c 1140 3913 539877 22349 0 0 10 15 13 120.16/16.34 c 132 539 75268 2634 0 0 14 14 7 120.96/16.46 c 134 573 74461 2624 0 0 13 13 6 120.96/16.49 c 1140 3894 539298 22054 0 0 8 15 13 123.36/16.76 c 1352 4631 632457 26762 0 0 7 15 13 123.36/16.77 c 134 573 74461 2624 0 0 13 13 6 129.74/17.56 c 135 586 75981 2647 0 0 13 13 6 129.74/17.56 c 133 553 77048 2672 0 0 14 14 7 130.54/17.64 c 133 553 73687 2782 0 0 15 15 7 130.54/17.69 c 1352 4663 641962 26816 0 0 7 15 13 133.80/18.10 c 135 586 75981 2647 0 0 13 13 6 139.33/18.75 c 1352 4648 641651 26494 0 0 10 15 13 140.13/18.82 c 134 567 78834 2710 0 0 14 14 7 140.13/18.86 c 1352 4651 645535 26291 0 0 10 15 13 140.92/18.90 c 134 568 75508 2826 0 0 15 15 7 140.92/18.94 c 256 1014 131978 4955 0 0 9 15 13 141.79/19.08 c 1585 5424 741951 31420 0 0 9 15 13 146.51/19.69 c 256 1014 131978 4955 0 0 9 15 13 148.91/19.97 c 1585 5446 751092 31369 0 0 8 15 13 148.91/20.00 c 135 581 80614 2748 0 0 14 14 7 149.77/20.08 c 257 1028 133609 4992 0 0 14 14 7 150.57/20.14 c 135 583 77467 2869 0 0 15 15 7 157.76/21.03 c 257 1028 133609 4992 0 0 14 14 7 158.56/21.18 c 1585 5444 751154 31124 0 0 9 15 13 159.29/21.23 c 1585 5436 754186 30784 0 0 6 15 13 159.29/21.25 c 258 1041 135130 5019 0 0 13 13 6 160.16/21.38 c 1841 6310 862976 36464 0 0 10 15 13 162.49/21.68 c 256 1014 141522 5144 0 0 11 15 13 164.08/21.82 c 256 992 135665 5259 0 0 9 15 13 168.08/22.31 c 259 1055 136761 5056 0 0 14 14 7 168.88/22.43 c 258 1041 135130 5019 0 0 13 13 6 168.88/22.48 c 1841 6301 870559 36374 0 0 8 15 13 172.87/22.97 c 257 1029 143408 5184 0 0 15 15 7 174.53/23.14 c 257 1007 137459 5292 0 0 15 15 7 177.66/23.55 c 260 1068 138330 5087 0 0 13 13 6 179.25/23.70 c 259 1055 136761 5056 0 0 14 14 7 179.25/23.72 c 1841 6286 872843 35721 0 0 9 15 13 180.05/23.83 c 1841 6333 874924 36209 0 0 9 15 13 180.89/23.93 c 2122 7291 995257 42147 0 0 10 15 13 182.50/24.18 c 258 1044 145299 5226 0 0 15 15 7 185.63/24.57 c 258 1022 139304 5334 0 0 15 15 7 188.02/24.81 c 261 1081 139989 5118 0 0 13 13 6 189.68/25.04 c 2122 7275 1004244 41936 0 0 10 15 13 190.48/25.19 c 260 1068 138330 5087 0 0 13 13 6 192.81/25.46 c 259 1059 147191 5268 0 0 15 15 7 196.80/25.98 c 259 1037 141098 5367 0 0 15 15 7 197.66/26.06 c 262 1094 141644 5149 0 0 13 13 6 199.19/26.23 c 2122 7238 1004507 41143 0 0 9 15 13 199.99/26.36 c 2431 8371 1142957 48245 0 0 8 15 13 200.79/26.40 c 2122 7303 1010443 41677 0 0 6 15 13 202.39/26.62 c 261 1081 139989 5118 0 0 13 13 6 202.39/26.69 c 260 1074 149082 5310 0 0 15 15 7 206.45/27.14 c 263 1108 143275 5186 0 0 14 14 7 207.18/27.24 c 260 1052 142943 5409 0 0 15 15 7 209.58/27.54 c 2431 8340 1148973 48079 0 0 6 15 13 212.76/27.91 c 261 1089 150974 5352 0 0 15 15 7 213.62/28.07 c 262 1094 141644 5149 0 0 13 13 6 215.95/28.37 c 264 1121 144844 5217 0 0 13 13 6 217.55/28.56 c 261 1067 144768 5452 0 0 15 15 7 219.15/28.72 c 2431 8310 1151055 47232 0 0 7 15 13 220.75/29.00 c 2431 8379 1160728 47772 0 0 9 15 13 222.41/29.12 c 2770 9587 1308395 55110 0 0 8 14 13 222.41/29.17 c 262 1104 152865 5394 0 0 15 15 7 223.93/29.32 c 263 1108 143275 5186 0 0 14 14 7 227.13/29.73 c 265 1134 146503 5248 0 0 13 13 6 228.73/29.92 c 262 1082 146593 5495 0 0 15 15 7 231.92/30.39 c 263 1119 154757 5436 0 0 15 15 7 234.32/30.67 c 2770 9538 1313766 54985 0 0 8 15 13 235.12/30.77 c 264 1121 144844 5217 0 0 13 13 6 236.72/30.95 c 266 1147 148158 5279 0 0 13 13 6 239.10/31.23 c 263 1097 148418 5538 0 0 15 15 7 239.90/31.39 c 2770 9459 1308947 53770 0 0 7 15 13 242.30/31.65 c 264 1134 156648 5478 0 0 15 15 7 244.70/32.00 c 3142 10826 1478201 62355 0 0 10 15 13 245.56/32.09 c 267 1161 149789 5316 0 0 14 14 7 247.09/32.25 c 2770 9604 1329407 54637 0 0 8 15 13 247.89/32.35 c 265 1134 146503 5248 0 0 13 13 6 249.49/32.51 c 264 1112 150243 5581 0 0 15 15 7 252.68/32.90 c 265 1149 158540 5520 0 0 15 15 7 255.88/33.34 c 268 1174 151358 5347 0 0 13 13 6 259.08/33.79 c 266 1147 148158 5279 0 0 13 13 6 259.88/33.82 c 265 1127 152068 5624 0 0 15 15 7 261.54/34.05 c 3142 10842 1493207 62416 0 0 8 15 13 262.33/34.17 c 266 1164 160320 5554 0 0 15 15 7 263.85/34.30 c 3142 10748 1490004 61248 0 0 9 15 13 266.24/34.62 c 269 1187 152930 5378 0 0 13 13 6 267.84/34.84 c 3551 12219 1668001 70487 0 0 7 15 13 269.50/35.10 c 266 1142 153893 5667 0 0 15 15 7 270.30/35.13 c 267 1161 149789 5316 0 0 14 14 7 272.63/35.47 c 267 1179 162105 5588 0 0 15 15 7 275.03/35.74 c 3142 10923 1513106 62160 0 0 10 15 13 275.82/35.87 c 270 1200 154499 5409 0 0 13 13 6 280.61/36.41 c 267 1157 155718 5710 0 0 15 15 7 281.41/36.56 c 268 1174 151358 5347 0 0 13 13 6 283.01/36.79 c 268 1193 163758 5613 0 0 14 14 7 286.27/37.13 c 271 1213 156070 5441 0 0 13 13 6 287.80/37.36 c 3551 12253 1687447 70543 0 0 7 15 13 287.80/37.38 c 3551 12149 1682882 69327 0 0 6 15 13 290.20/37.68 c 268 1172 157543 5753 0 0 15 15 7 293.45/38.05 c 269 1187 152930 5378 0 0 13 13 6 293.45/38.09 c 4000 13752 1879768 79248 0 0 8 15 13 294.25/38.14 c 269 1208 165543 5647 0 0 15 15 7 300.58/38.98 c 269 1187 159369 5796 0 0 15 15 7 302.24/39.18 c 3551 12364 1709957 70297 0 0 8 15 13 302.97/39.25 c 512 2047 269486 10149 0 0 10 15 13 304.57/39.45 c 270 1222 167196 5672 0 0 14 14 7 305.37/39.51 c 270 1200 154499 5409 0 0 13 13 6 310.95/40.24 c 270 1202 161194 5839 0 0 15 15 7 311.75/40.39 c 4000 13638 1886599 77931 0 0 10 15 13 312.55/40.49 c 513 2060 271099 10171 0 0 13 13 6 314.95/40.80 c 271 1236 168881 5710 0 0 14 14 7 315.75/40.80 c 4000 13809 1897676 79476 0 0 6 15 13 316.55/40.97 c 271 1213 156070 5441 0 0 13 13 6 319.74/41.31 c 4493 15456 2111541 88992 0 0 5 15 13 319.74/41.38 c 271 1217 163014 5882 0 0 15 15 7 322.14/41.69 c 514 2073 272716 10193 0 0 13 13 6 329.32/42.58 c 4000 13905 1923307 79085 0 0 8 15 13 331.72/42.88 c 515 2086 274329 10215 0 0 13 13 6 333.38/43.03 c 512 2065 283325 10467 0 0 8 15 13 334.91/43.29 c 512 2047 269486 10149 0 0 10 15 13 338.11/43.67 c 512 2059 278312 10550 0 0 10 15 13 339.71/43.81 c 4493 15335 2123176 87571 0 0 8 15 13 341.37/44.02 c 516 2099 275946 10237 0 0 13 13 6 342.89/44.26 c 513 2078 284907 10499 0 0 13 13 6 343.68/44.40 c 4493 15470 2127590 89156 0 0 7 15 13 346.87/44.75 c 513 2060 271099 10171 0 0 13 13 6 347.66/44.87 c 5035 17356 2369487 99843 0 0 6 15 13 349.32/45.07 c 513 2074 280176 10595 0 0 15 15 7 350.13/45.18 c 517 2112 277559 10259 0 0 13 13 6 353.25/45.54 c 514 2091 286495 10531 0 0 13 13 6 358.11/46.16 c 514 2073 272716 10193 0 0 13 13 6 359.64/46.30 c 4493 15575 2156187 88756 0 0 7 15 13 359.64/46.34 c 518 2125 279176 10281 0 0 13 13 6 361.23/46.50 c 514 2089 282046 10640 0 0 15 15 7 362.83/46.77 c 515 2104 288077 10563 0 0 13 13 6 367.62/47.38 c 5035 17152 2374661 98093 0 0 8 15 13 368.42/47.46 c 519 2138 280789 10303 0 0 13 13 6 369.22/47.57 c 515 2086 274329 10215 0 0 13 13 6 370.82/47.78 c 515 2104 283910 10685 0 0 15 15 7 372.42/47.96 c 516 2117 289665 10595 0 0 13 13 6 376.41/48.46 c 5035 17324 2383808 99861 0 0 7 15 13 378.01/48.60 c 520 2151 282406 10325 0 0 13 13 6 380.40/48.90 c 516 2099 275946 10237 0 0 13 13 6 380.40/48.96 c 516 2119 285780 10730 0 0 15 15 7 381.27/49.09 c 5631 19393 2651132 111649 0 0 8 15 13 382.06/49.12 c 517 2130 291247 10627 0 0 13 13 6 386.79/49.72 c 521 2164 284019 10347 0 0 13 13 6 390.78/50.20 c 517 2112 277559 10259 0 0 13 13 6 390.78/50.24 c 517 2134 287623 10767 0 0 15 15 7 390.78/50.24 c 5035 17408 2411519 99298 0 0 8 15 13 391.58/50.32 c 518 2143 292835 10659 0 0 13 13 6 395.58/50.86 c 522 2177 285636 10369 0 0 13 13 6 397.24/51.06 c 5631 19203 2660739 109851 0 0 8 15 13 400.36/51.47 c 519 2156 294417 10691 0 0 13 13 6 401.16/51.54 c 518 2125 279176 10281 0 0 13 13 6 401.16/51.55 c 518 2149 289493 10812 0 0 15 15 7 404.36/51.97 c 523 2190 287249 10391 0 0 13 13 6 409.15/52.57 c 5631 19436 2666166 111869 0 0 8 15 13 409.95/52.65 c 520 2169 296005 10723 0 0 13 13 6 410.75/52.79 c 519 2164 291336 10849 0 0 15 15 7 411.55/52.87 c 519 2138 280789 10303 0 0 13 13 6 414.00/53.11 c 524 2203 288866 10413 0 0 13 13 6 417.14/53.55 c 6286 21650 2956410 124664 0 0 8 15 13 419.54/53.82 c 521 2182 297587 10755 0 0 13 13 6 420.33/53.97 c 520 2179 293206 10894 0 0 15 15 7 422.72/54.21 c 520 2151 282406 10325 0 0 13 13 6 422.72/54.24 c 525 2216 290479 10435 0 0 13 13 6 425.92/54.64 c 5631 19473 2695871 111130 0 0 7 15 13 428.30/55.01 c 522 2195 299175 10787 0 0 13 13 6 430.69/55.24 c 521 2194 295049 10931 0 0 15 15 7 431.49/55.34 c 6286 21554 2981670 123018 0 0 10 15 13 433.89/55.60 c 521 2164 284019 10347 0 0 13 13 6 435.48/55.81 c 526 2229 292096 10457 0 0 13 13 6 437.95/56.14 c 523 2208 300757 10819 0 0 13 13 6 441.07/56.52 c 522 2209 296919 10976 0 0 15 15 7 443.47/56.87 c 6286 21735 2982357 125045 0 0 8 15 13 445.13/57.08 c 522 2177 285636 10369 0 0 13 13 6 447.46/57.30 c 524 2221 302345 10851 0 0 13 13 6 448.26/57.46 c 527 2242 293709 10479 0 0 13 13 6 450.66/57.70 c 523 2224 298762 11013 0 0 15 15 7 456.24/58.45 c 525 2234 303927 10883 0 0 13 13 6 457.04/58.55 c 523 2190 287249 10391 0 0 13 13 6 458.64/58.75 c 7006 24176 3300351 139155 0 0 8 15 13 459.44/58.86 c 524 2239 300632 11058 0 0 15 15 7 461.90/59.14 c 528 2255 295326 10501 0 0 13 13 6 462.63/59.29 c 6286 21742 3010769 123978 0 0 5 15 13 465.83/59.61 c 526 2247 305515 10915 0 0 13 13 6 467.43/59.82 c 7006 24067 3331071 137221 0 0 7 15 13 469.09/60.05 c 524 2203 288866 10413 0 0 13 13 6 469.89/60.13 c 525 2254 302475 11095 0 0 15 15 7 474.61/60.75 c 527 2260 307097 10947 0 0 13 13 6 475.41/60.83 c 529 2268 296939 10523 0 0 13 13 6 480.20/61.41 c 526 2269 304347 11140 0 0 15 15 7 481.00/61.52 c 525 2216 290479 10435 0 0 13 13 6 484.20/61.92 c 528 2273 308685 10979 0 0 13 13 6 487.39/62.32 c 7006 24235 3320889 139351 0 0 7 15 13 488.98/62.52 c 530 2281 298556 10545 0 0 13 13 6 489.78/62.61 c 527 2284 306192 11177 0 0 15 15 7 493.04/63.02 c 526 2229 292096 10457 0 0 13 13 6 493.04/63.06 c 529 2286 310267 11011 0 0 13 13 6 498.57/63.77 c 528 2299 308065 11222 0 0 15 15 7 499.37/63.85 c 7798 26924 3671026 154917 0 0 7 15 13 501.83/64.14 c 531 2294 300169 10567 0 0 13 13 6 502.56/64.23 c 530 2299 311855 11043 0 0 13 13 6 504.16/64.48 c 527 2242 293709 10479 0 0 13 13 6 505.76/64.64 c 7006 24240 3357766 138205 0 0 8 15 13 507.35/64.84 c 7798 26852 3715130 153148 0 0 7 15 13 509.08/65.05 c 529 2314 309910 11259 0 0 15 15 7 512.92/65.59 c 531 2312 313437 11075 0 0 13 13 6 515.32/65.87 c 532 2307 301786 10589 0 0 13 13 6 516.12/65.96 c 528 2255 295326 10501 0 0 13 13 6 518.50/66.21 c 530 2328 311624 11282 0 0 14 14 7 526.49/67.26 c 532 2325 315025 11107 0 0 13 13 6 527.29/67.38 c 529 2268 296939 10523 0 0 13 13 6 528.09/67.48 c 531 2342 313431 11320 0 0 14 14 7 528.89/67.51 c 533 2320 303399 10611 0 0 13 13 6 532.09/67.96 c 7798 27031 3706437 155369 0 0 8 15 13 538.47/68.74 c 532 2357 315276 11357 0 0 15 15 7 539.27/68.85 c 530 2281 298556 10545 0 0 13 13 6 539.27/68.88 c 533 2338 316607 11139 0 0 13 13 6 541.73/69.19 c 534 2333 305016 10633 0 0 13 13 6 544.86/69.59 c 8669 29954 4081669 172412 0 0 8 15 13 548.06/69.97 c 533 2371 316990 11380 0 0 14 14 7 550.45/70.26 c 8669 29903 4134490 170633 0 0 6 15 13 550.45/70.27 c 531 2294 300169 10567 0 0 13 13 6 552.84/70.56 c 534 2351 318195 11171 0 0 13 13 6 555.24/70.85 c 535 2346 306629 10655 0 0 13 13 6 557.70/71.20 c 534 2385 318793 11418 0 0 14 14 7 562.43/71.72 c 532 2307 301786 10589 0 0 13 13 6 564.03/71.98 c 7798 26989 3740910 153824 0 0 8 15 13 565.69/72.16 c 535 2364 319777 11203 0 0 13 13 6 568.82/72.50 c 535 2399 320507 11441 0 0 14 14 7 568.82/72.51 c 536 2359 308246 10677 0 0 13 13 6 573.66/73.12 c 533 2320 303399 10611 0 0 13 13 6 579.19/73.81 c 536 2377 321365 11235 0 0 13 13 6 579.19/73.81 c 536 2413 322310 11479 0 0 14 14 7 579.19/73.89 c 8669 30095 4130742 172876 0 0 5 15 13 581.65/74.14 c 537 2372 309859 10699 0 0 13 13 6 584.77/74.57 c 534 2333 305016 10633 0 0 13 13 6 588.82/75.09 c 537 2427 324024 11502 0 0 14 14 7 591.94/75.41 c 537 2390 322947 11267 0 0 13 13 6 593.54/75.64 c 9627 33241 4533826 191377 0 0 7 15 13 594.34/75.75 c 9627 33206 4587250 189770 0 0 7 15 13 595.14/75.81 c 538 2385 311476 10721 0 0 13 13 6 595.94/75.98 c 535 2346 306629 10655 0 0 13 13 6 599.13/76.37 c 538 2441 325827 11540 0 0 14 14 7 604.79/77.09 c 538 2403 324535 11299 0 0 13 13 6 607.92/77.43 c 536 2359 308246 10677 0 0 13 13 6 607.92/77.45 c 539 2398 313089 10743 0 0 13 13 6 609.51/77.64 c 539 2455 327541 11563 0 0 14 14 7 617.50/78.69 c 539 2416 326117 11331 0 0 13 13 6 619.10/78.85 c 537 2372 309859 10699 0 0 13 13 6 619.90/78.93 c 540 2469 329341 11602 0 0 14 14 7 621.56/79.12 c 540 2411 314706 10765 0 0 13 13 6 624.69/79.58 c 9627 33381 4585249 192077 0 0 4 15 13 626.28/79.73 c 8669 29957 4149159 170829 0 0 6 15 13 630.27/80.27 c 541 2483 331055 11625 0 0 14 14 7 630.27/80.29 c 538 2385 311476 10721 0 0 13 13 6 631.07/80.36 c 540 2429 327705 11363 0 0 13 13 6 634.27/80.76 c 541 2424 316319 10787 0 0 13 13 6 640.66/81.54 c 542 2497 332855 11664 0 0 14 14 7 642.26/81.72 c 539 2398 313089 10743 0 0 13 13 6 643.85/81.97 c 541 2442 329287 11395 0 0 13 13 6 644.72/82.06 c 10680 36841 5085182 210497 0 0 6 15 13 646.24/82.25 c 10680 36838 5017864 212125 0 0 4 15 13 647.84/82.45 c 542 2437 317936 10809 0 0 13 13 6 650.24/82.80 c 543 2511 334569 11687 0 0 14 14 7 653.50/83.18 c 540 2411 314706 10765 0 0 13 13 6 657.43/83.65 c 542 2455 330875 11427 0 0 13 13 6 660.69/84.08 c 543 2450 319549 10831 0 0 13 13 6 664.61/84.58 c 541 2424 316319 10787 0 0 13 13 6 670.19/85.22 c 543 2468 332457 11459 0 0 13 13 6 675.78/85.99 c 542 2437 317936 10809 0 0 13 13 6 676.64/86.06 c 10680 37057 5092101 213197 0 0 4 15 13 677.44/86.12 c 1024 4175 562997 21107 0 0 9 15 13 687.76/87.40 c 1025 4189 564711 21130 0 0 14 14 7 687.76/87.42 c 543 2450 319549 10831 0 0 13 13 6 694.14/88.29 c 11838 40780 5629001 233122 0 0 6 15 13 694.94/88.31 c 1024 4121 550353 20332 0 0 7 15 13 694.94/88.38 c 9627 33307 4616758 189988 0 0 6 15 13 697.34/88.60 c 1026 4203 566534 21170 0 0 14 14 7 700.60/89.10 c 11838 40833 5562117 235253 0 0 7 15 13 705.33/89.65 c 1024 4069 558837 20815 0 0 8 15 13 707.72/89.91 c 1027 4217 568248 21193 0 0 14 14 7 708.58/90.10 c 1025 4135 552037 20363 0 0 14 14 7 717.37/91.17 c 1028 4231 570071 21233 0 0 14 14 7 718.90/91.36 c 1024 4121 550353 20332 0 0 7 15 13 718.90/91.37 c 1025 4082 560427 20838 0 0 13 13 6 722.09/91.78 c 1026 4149 553781 20402 0 0 14 14 7 727.68/92.42 c 1029 4245 571785 21256 0 0 14 14 7 731.68/92.90 c 11838 41142 5649749 236402 0 0 6 15 13 731.68/92.93 c 1025 4135 552037 20363 0 0 14 14 7 732.54/93.05 c 1026 4095 562021 20861 0 0 13 13 6 736.47/93.54 c 1027 4163 555526 20441 0 0 14 14 7 738.07/93.72 c 1030 4259 573608 21296 0 0 14 14 7 743.65/94.44 c 1026 4149 553781 20402 0 0 14 14 7 745.25/94.62 c 1027 4108 563611 20884 0 0 13 13 6 747.64/94.92 c 13111 45204 6239412 258477 0 0 6 15 13 747.64/94.98 c 1031 4273 575322 21319 0 0 14 14 7 750.03/95.22 c 1028 4177 557270 20480 0 0 14 14 7 755.62/96.00 c 1027 4163 555526 20441 0 0 14 14 7 757.28/96.18 c 1028 4121 565204 20907 0 0 13 13 6 758.01/96.26 c 1032 4287 577145 21359 0 0 14 14 7 760.41/96.52 c 13111 45228 6162390 260460 0 0 4 15 13 762.81/96.89 c 1029 4191 559015 20519 0 0 14 14 7 767.60/97.46 c 1028 4177 557270 20480 0 0 14 14 7 768.40/97.52 c 1033 4301 578859 21382 0 0 14 14 7 771.59/97.94 c 1029 4134 566794 20930 0 0 13 13 6 772.45/98.08 c 10680 36995 5126269 211034 0 0 7 15 13 776.38/98.58 c 1030 4205 560759 20558 0 0 14 14 7 777.98/98.79 c 1034 4315 580681 21422 0 0 14 14 7 779.58/98.93 c 1029 4191 559015 20519 0 0 14 14 7 785.97/99.74 c 1030 4147 568388 20953 0 0 13 13 6 788.43/100.04 c 1035 4329 582395 21445 0 0 14 14 7 789.95/100.24 c 13111 45662 6272095 262050 0 0 6 15 13 789.95/100.28 c 1031 4219 562504 20597 0 0 14 14 7 790.75/100.40 c 1030 4205 560759 20558 0 0 14 14 7 797.21/101.19 c 1036 4343 584217 21485 0 0 14 14 7 798.74/101.37 c 1031 4160 569978 20976 0 0 13 13 6 802.74/101.89 c 1031 4219 562504 20597 0 0 14 14 7 803.54/101.95 c 1032 4233 564248 20636 0 0 14 14 7 805.92/102.29 c 14511 50048 6906912 286189 0 0 7 15 13 806.72/102.30 c 1037 4357 585931 21508 0 0 14 14 7 811.52/102.94 c 1032 4173 571571 20999 0 0 13 13 6 814.71/103.35 c 1032 4233 564248 20636 0 0 14 14 7 815.51/103.47 c 1038 4371 587753 21548 0 0 14 14 7 817.11/103.67 c 1033 4247 565993 20675 0 0 14 14 7 824.29/104.58 c 1039 4385 589467 21571 0 0 14 14 7 825.09/104.64 c 1033 4186 573161 21022 0 0 13 13 6 826.69/104.80 c 1033 4247 565993 20675 0 0 14 14 7 829.87/105.29 c 1034 4261 567737 20714 0 0 14 14 7 831.47/105.47 c 14511 50086 6818845 288447 0 0 6 15 13 833.87/105.76 c 1040 4399 591289 21611 0 0 14 14 7 837.13/106.13 c 1034 4261 567737 20714 0 0 14 14 7 838.65/106.36 c 1034 4199 574755 21045 0 0 13 13 6 842.65/106.86 c 1035 4275 569482 20753 0 0 14 14 7 843.45/106.90 c 1041 4413 593003 21634 0 0 14 14 7 848.24/107.50 c 1035 4275 569482 20753 0 0 14 14 7 848.24/107.52 c 1035 4212 576345 21068 0 0 13 13 6 852.29/108.07 c 11838 40944 5673482 233804 0 0 7 15 13 852.29/108.07 c 1042 4427 594825 21674 0 0 14 14 7 855.42/108.41 c 1036 4289 571226 20792 0 0 14 14 7 857.02/108.63 c 1036 4225 577938 21091 0 0 13 13 6 858.62/108.83 c 1036 4289 571226 20792 0 0 14 14 7 861.81/109.22 c 1043 4441 596539 21697 0 0 14 14 7 864.21/109.53 c 14511 50502 6935629 289673 0 0 5 15 13 866.61/109.84 c 1037 4238 579528 21114 0 0 13 13 6 867.41/109.97 c 1037 4303 572971 20831 0 0 14 14 7 869.07/110.19 c 1037 4303 572971 20831 0 0 14 14 7 871.39/110.42 c 1044 4455 598361 21737 0 0 14 14 7 875.39/110.97 c 16051 55328 7636166 316604 0 0 5 15 13 876.25/111.10 c 1038 4251 581122 21137 0 0 13 13 6 880.18/111.53 c 1038 4317 574712 20870 0 0 14 14 7 880.18/111.55 c 1038 4317 574712 20870 0 0 14 14 7 880.18/111.57 c 1045 4469 600075 21760 0 0 14 14 7 885.77/112.24 c 1039 4264 582712 21160 0 0 13 13 6 889.76/112.74 c 1046 4483 601897 21800 0 0 14 14 7 891.37/112.94 c 1039 4331 576457 20909 0 0 14 14 7 893.03/113.16 c 1039 4331 576457 20909 0 0 14 14 7 894.56/113.34 c 1040 4277 584305 21183 0 0 13 13 6 898.56/113.86 c 1047 4497 603611 21823 0 0 14 14 7 901.75/114.29 c 1040 4345 578198 20948 0 0 14 14 7 904.14/114.54 c 1041 4290 585895 21206 0 0 13 13 6 905.74/114.71 c 1040 4345 578198 20948 0 0 14 14 7 907.34/114.96 c 16051 55336 7530358 318847 0 0 5 15 13 908.20/115.05 c 1048 4511 605433 21863 0 0 14 14 7 912.92/115.62 c 1041 4359 579943 20987 0 0 14 14 7 913.72/115.79 c 1042 4303 587489 21229 0 0 13 13 6 916.98/116.18 c 1049 4525 607147 21886 0 0 14 14 7 917.71/116.25 c 1041 4359 579943 20987 0 0 14 14 7 917.71/116.28 c 13111 45401 6296997 259015 0 0 7 15 13 923.30/116.95 c 1043 4316 589079 21252 0 0 13 13 6 923.30/116.97 c 1042 4373 581684 21026 0 0 14 14 7 926.49/117.36 c 1050 4539 608969 21926 0 0 14 14 7 930.49/117.82 c 1042 4373 581684 21026 0 0 14 14 7 932.13/118.06 c 1044 4329 590672 21275 0 0 13 13 6 934.46/118.32 c 1043 4387 583429 21065 0 0 14 14 7 935.26/118.50 c 1051 4553 610683 21949 0 0 14 14 7 938.46/118.83 c 16051 55811 7662416 320275 0 0 6 15 13 941.65/119.26 c 1045 4342 592262 21298 0 0 13 13 6 942.45/119.35 c 1043 4387 583429 21065 0 0 14 14 7 944.84/119.68 c 1044 4401 585170 21104 0 0 14 14 7 945.64/119.70 c 1052 4567 612505 21989 0 0 14 14 7 952.03/120.52 c 1046 4355 593856 21321 0 0 13 13 6 952.03/120.52 c 17745 61233 8452417 349979 0 0 7 15 13 954.43/120.84 c 1053 4581 614219 22012 0 0 14 14 7 955.23/120.91 c 1044 4401 585170 21104 0 0 14 14 7 956.09/121.02 c 1045 4415 586915 21143 0 0 14 14 7 960.82/121.66 c 1047 4368 595446 21344 0 0 13 13 6 964.07/122.04 c 1054 4595 615960 22043 0 0 14 14 7 966.40/122.36 c 1046 4429 588656 21182 0 0 14 14 7 967.20/122.43 c 1045 4415 586915 21143 0 0 14 14 7 969.60/122.77 c 1048 4381 597039 21367 0 0 13 13 6 972.86/123.15 c 1055 4609 617674 22066 0 0 14 14 7 976.79/123.67 c 1047 4443 590401 21221 0 0 14 14 7 979.18/123.97 c 1046 4429 588656 21182 0 0 14 14 7 979.18/123.98 c 1049 4394 598629 21390 0 0 13 13 6 982.37/124.34 c 1056 4622 619400 22096 0 0 13 13 6 988.01/125.01 c 1048 4457 592142 21260 0 0 14 14 7 989.55/125.27 c 1050 4407 600223 21413 0 0 13 13 6 990.35/125.34 c 1047 4443 590401 21221 0 0 14 14 7 991.95/125.52 c 17745 61257 8333825 352838 0 0 7 15 13 991.95/125.58 c 14511 50246 6969923 286786 0 0 7 15 13 992.75/125.67 c 1057 4636 621114 22119 0 0 14 14 7 997.53/126.23 c 1049 4470 593663 21283 0 0 13 13 6 999.13/126.43 c 1051 4420 601813 21436 0 0 13 13 6 999.93/126.59 c 1048 4457 592142 21260 0 0 14 14 7 1003.12/126.93 c 1058 4649 622840 22149 0 0 13 13 6 1007.91/127.53 c 1050 4483 595180 21305 0 0 13 13 6 1007.91/127.56 c 1052 4433 603406 21459 0 0 13 13 6 1010.31/127.81 c 1049 4470 593663 21283 0 0 13 13 6 1013.49/128.20 c 1059 4663 624554 22172 0 0 14 14 7 1017.49/128.79 c 1053 4446 604996 21482 0 0 13 13 6 1017.49/128.79 c 1051 4497 596921 21344 0 0 14 14 7 1020.75/129.13 c 1050 4483 595180 21305 0 0 13 13 6 1023.08/129.46 c 1060 4676 626280 22202 0 0 13 13 6 1027.94/130.03 c 1052 4510 598438 21366 0 0 13 13 6 1027.94/130.05 c 1054 4459 606590 21505 0 0 13 13 6 1029.46/130.27 c 17745 61803 8485355 354557 0 0 7 15 13 1030.26/130.39 c 1051 4497 596921 21344 0 0 14 14 7 1031.10/130.42 c 19608 67555 9324066 386387 0 0 8 15 13 1033.46/130.72 c 1061 4690 627994 22225 0 0 14 14 7 1037.45/131.22 c 1055 4472 608180 21528 0 0 13 13 6 1037.45/131.26 c 1053 4523 599959 21389 0 0 13 13 6 1040.65/131.66 c 1052 4510 598438 21366 0 0 13 13 6 1043.05/131.98 c 1062 4703 629720 22255 0 0 13 13 6 1046.24/132.34 c 1056 4485 609773 21551 0 0 13 13 6 1047.83/132.52 c 1054 4536 601476 21411 0 0 13 13 6 1051.03/132.91 c 1053 4523 599959 21389 0 0 13 13 6 1053.42/133.25 c 1063 4717 631434 22278 0 0 14 14 7 1055.82/133.58 c 1057 4498 611363 21574 0 0 13 13 6 1057.42/133.74 c 1055 4549 602997 21434 0 0 13 13 6 1060.68/134.16 c 1054 4536 601476 21411 0 0 13 13 6 1063.81/134.50 c 1064 4730 633160 22308 0 0 13 13 6 1066.20/134.84 c 1058 4511 612957 21597 0 0 13 13 6 1067.00/134.97 c 1056 4562 604514 21456 0 0 13 13 6 1069.39/135.25 c 16051 55560 7705730 317251 0 0 8 15 13 1070.99/135.41 c 1055 4549 602997 21434 0 0 13 13 6 1073.39/135.78 c 1065 4744 634874 22331 0 0 14 14 7 1075.85/136.02 c 1059 4524 614547 21620 0 0 13 13 6 1077.37/136.20 c 1057 4575 606035 21479 0 0 13 13 6 1080.57/136.66 c 1056 4562 604514 21456 0 0 13 13 6 1083.83/137.04 c 1066 4757 636600 22361 0 0 13 13 6 1084.63/137.14 c 1060 4537 616140 21643 0 0 13 13 6 1086.96/137.42 c 1058 4588 607552 21501 0 0 13 13 6 1088.55/137.67 c 19608 67695 9209272 389941 0 0 6 15 13 1090.15/137.88 c 1057 4575 606035 21479 0 0 13 13 6 1094.14/138.32 c 1067 4771 638314 22384 0 0 14 14 7 1094.14/138.38 c 1061 4550 617730 21666 0 0 13 13 6 1096.54/138.65 c 1059 4601 609073 21524 0 0 13 13 6 1100.60/139.15 c 1058 4588 607552 21501 0 0 13 13 6 1104.52/139.60 c 1068 4784 640040 22414 0 0 13 13 6 1104.52/139.65 c 1062 4563 619324 21689 0 0 13 13 6 1106.12/139.89 c 1060 4614 610590 21546 0 0 13 13 6 1110.11/140.39 c 1059 4601 609073 21524 0 0 13 13 6 1114.11/140.82 c 1063 4576 620914 21712 0 0 13 13 6 1114.11/140.87 c 1069 4798 641754 22437 0 0 14 14 7 1115.77/141.09 c 21657 74669 10310922 426974 0 0 5 15 13 1116.57/141.11 c 1061 4627 612111 21569 0 0 13 13 6 1120.49/141.63 c 1060 4614 610590 21546 0 0 13 13 6 1122.89/141.94 c 1064 4589 622507 21735 0 0 13 13 6 1124.55/142.13 c 1070 4811 643480 22467 0 0 13 13 6 1126.08/142.34 c 1062 4640 613628 21591 0 0 13 13 6 1126.88/142.40 c 19608 68266 9376477 391792 0 0 7 15 13 1130.08/142.87 c 1061 4627 612111 21569 0 0 13 13 6 1132.54/143.16 c 1065 4602 624097 21758 0 0 13 13 6 1134.86/143.41 c 1071 4825 645194 22490 0 0 14 14 7 1135.66/143.58 c 1063 4653 615149 21614 0 0 13 13 6 1140.52/144.14 c 1062 4640 613628 21591 0 0 13 13 6 1142.85/144.42 c 1066 4615 625691 21781 0 0 13 13 6 1144.45/144.66 c 1072 4838 646920 22520 0 0 13 13 6 1145.26/144.79 c 1064 4666 616666 21636 0 0 13 13 6 1150.03/145.36 c 1063 4653 615149 21614 0 0 13 13 6 1151.63/145.57 c 1067 4628 627281 21804 0 0 13 13 6 1154.83/145.94 c 1073 4852 648634 22543 0 0 14 14 7 1154.83/146.00 c 1065 4679 618187 21659 0 0 13 13 6 1158.81/146.47 c 17745 61419 8520971 350634 0 0 6 15 13 1160.41/146.61 c 1064 4666 616666 21636 0 0 13 13 6 1160.41/146.68 c 1068 4641 628874 21827 0 0 13 13 6 1164.47/147.19 c 1074 4865 650360 22573 0 0 13 13 6 1165.20/147.22 c 1066 4692 619704 21681 0 0 13 13 6 1170.00/147.87 c 1065 4679 618187 21659 0 0 13 13 6 1170.00/147.89 c 1069 4654 630464 21850 0 0 13 13 6 1174.78/148.43 c 1067 4705 621225 21704 0 0 13 13 6 1174.78/148.45 c 1075 4879 652074 22596 0 0 14 14 7 1180.44/149.12 c 1066 4692 619704 21681 0 0 13 13 6 1180.44/149.14 c 1070 4667 632058 21873 0 0 13 13 6 1184.36/149.65 c 1068 4718 622742 21726 0 0 13 13 6 1185.16/149.70 c 1076 4892 653800 22626 0 0 13 13 6 1189.12/150.28 c 1071 4680 633648 21896 0 0 13 13 6 1189.92/150.36 c 1067 4705 621225 21704 0 0 13 13 6 1193.92/150.85 c 1069 4731 624263 21749 0 0 13 13 6 1194.72/150.96 c 1077 4906 655514 22649 0 0 14 14 7 1195.58/151.06 c 21657 74705 10184958 429947 0 0 7 15 13 1197.91/151.39 c 1072 4693 635241 21919 0 0 13 13 6 1199.50/151.59 c 1068 4718 622742 21726 0 0 13 13 6 1203.57/152.07 c 1070 4744 625780 21771 0 0 13 13 6 1205.10/152.21 c 1078 4919 657240 22679 0 0 13 13 6 1208.30/152.60 c 1073 4706 636831 21942 0 0 13 13 6 1209.10/152.76 c 23910 82308 11360542 470887 0 0 3 15 13 1209.90/152.80 c 1069 4731 624263 21749 0 0 13 13 6 1213.08/153.27 c 1071 4757 627301 21794 0 0 13 13 6 1214.68/153.47 c 1079 4933 658954 22702 0 0 14 14 7 1217.88/153.85 c 1074 4719 638425 21965 0 0 13 13 6 1219.54/154.04 c 1070 4744 625780 21771 0 0 13 13 6 1222.67/154.48 c 1072 4770 628818 21816 0 0 13 13 6 1225.06/154.71 c 1080 4946 660680 22732 0 0 13 13 6 1226.66/154.92 c 21657 75356 10357612 432673 0 0 6 15 13 1226.66/154.99 c 1075 4732 640015 21988 0 0 13 13 6 1229.04/155.23 c 1071 4757 627301 21794 0 0 13 13 6 1232.24/155.67 c 1073 4783 630339 21839 0 0 13 13 6 1234.64/155.98 c 1081 4960 662394 22755 0 0 14 14 7 1236.30/156.12 c 1076 4745 641608 22011 0 0 13 13 6 1238.63/156.45 c 1072 4770 628818 21816 0 0 13 13 6 1241.83/156.89 c 1074 4796 631856 21861 0 0 13 13 6 1245.01/157.24 c 1082 4973 664120 22785 0 0 13 13 6 1245.81/157.34 c 1077 4758 643198 22034 0 0 13 13 6 1248.21/157.64 c 1073 4783 630339 21839 0 0 13 13 6 1251.47/158.10 c 1075 4809 633377 21884 0 0 13 13 6 1253.80/158.37 c 19608 67849 9408244 387305 0 0 3 15 13 1255.39/158.51 c 1083 4987 665834 22808 0 0 14 14 7 1256.19/158.61 c 1078 4771 644792 22057 0 0 13 13 6 1257.79/158.86 c 1074 4796 631856 21861 0 0 13 13 6 1261.78/159.33 c 1076 4822 634894 21906 0 0 13 13 6 1264.98/159.76 c 1084 5000 667560 22838 0 0 13 13 6 1264.98/159.77 c 1079 4784 646382 22080 0 0 13 13 6 1267.44/160.07 c 1075 4809 633377 21884 0 0 13 13 6 1271.36/160.53 c 1077 4835 636415 21929 0 0 13 13 6 1273.76/160.89 c 1080 4797 647975 22103 0 0 13 13 6 1275.42/161.01 c 1085 5014 669274 22861 0 0 14 14 7 1276.95/161.28 c 1076 4822 634894 21906 0 0 13 13 6 1280.95/161.75 c 1078 4848 637932 21951 0 0 13 13 6 1283.41/162.10 c 1081 4810 649565 22126 0 0 13 13 6 1284.93/162.25 c 1086 5027 671000 22891 0 0 13 13 6 1286.53/162.47 c 1077 4835 636415 21929 0 0 13 13 6 1290.53/162.95 c 1079 4861 639453 21974 0 0 13 13 6 1293.71/163.36 c 1082 4823 651159 22149 0 0 13 13 6 1295.31/163.51 c 1087 5041 672714 22914 0 0 14 14 7 1296.10/163.68 c 1078 4848 637932 21951 0 0 13 13 6 1300.16/164.18 c 1080 4874 640970 21996 0 0 13 13 6 1303.29/164.51 c 1083 4836 652749 22172 0 0 13 13 6 1305.69/164.88 c 1079 4861 639453 21974 0 0 13 13 6 1307.34/165.05 c 23910 82509 11244410 474559 0 0 7 15 13 1309.67/165.36 c 1081 4887 642491 22019 0 0 13 13 6 1312.07/165.62 c 1084 4849 654342 22195 0 0 13 13 6 1313.67/165.84 c 26388 91004 12566412 519724 0 0 6 15 13 1315.33/166.10 c 1080 4874 640970 21996 0 0 13 13 6 1319.25/166.58 c 1082 4900 644008 22041 0 0 13 13 6 1321.65/166.83 c 1085 4862 655932 22218 0 0 13 13 6 1325.64/167.31 c 1081 4887 642491 22019 0 0 13 13 6 1328.84/167.79 c 1083 4913 645529 22064 0 0 13 13 6 1331.30/168.08 c 1086 4875 657526 22241 0 0 13 13 6 1335.22/168.54 c 1082 4900 644008 22041 0 0 13 13 6 1336.82/168.76 c 23910 83139 11429774 477566 0 0 3 15 13 1338.42/169.00 c 1084 4926 647046 22086 0 0 13 13 6 1340.80/169.24 c 1087 4888 659116 22264 0 0 13 13 6 1343.20/169.50 c 2048 8314 1128139 41620 0 0 9 15 13 1344.80/169.74 c 1083 4913 645529 22064 0 0 13 13 6 1348.79/170.21 c 1085 4939 648567 22109 0 0 13 13 6 1352.79/170.76 c 2049 8329 1130010 41662 0 0 15 15 7 1354.38/170.96 c 1084 4926 647046 22086 0 0 13 13 6 1358.37/171.41 c 1086 4952 650084 22131 0 0 13 13 6 1358.37/171.46 c 21657 74939 10393010 427752 0 0 7 15 13 1362.37/171.96 c 2050 8344 1131877 41707 0 0 15 15 7 1364.03/172.18 c 1085 4939 648567 22109 0 0 13 13 6 1367.16/172.59 c 1087 4965 651605 22154 0 0 13 13 6 1372.74/173.25 c 2051 8359 1133747 41752 0 0 15 15 7 1374.34/173.40 c 1086 4952 650084 22131 0 0 13 13 6 1382.33/174.46 c 2052 8374 1135616 41797 0 0 15 15 7 1383.93/174.61 c 1087 4965 651605 22154 0 0 13 13 6 1383.93/174.67 c 2048 8148 1103619 40958 0 0 4 15 13 1392.71/175.70 c 2053 8389 1137486 41842 0 0 15 15 7 1393.51/175.84 c 2049 8161 1105291 40990 0 0 13 13 6 1402.29/176.91 c 2054 8404 1139355 41887 0 0 15 15 7 1402.29/176.97 c 2050 8174 1106957 41022 0 0 13 13 6 1411.14/178.10 c 2051 8187 1108629 41054 0 0 13 13 6 1411.94/178.16 c 2055 8419 1141225 41932 0 0 15 15 7 1414.27/178.44 c 2048 8237 1106989 40972 0 0 7 15 13 1419.92/179.19 c 2052 8200 1110296 41086 0 0 13 13 6 1421.45/179.38 c 2056 8434 1143094 41977 0 0 15 15 7 1423.84/179.63 c 29113 100436 13870538 573787 0 0 4 15 13 1424.64/179.77 c 2049 8251 1108759 41009 0 0 14 14 7 1431.82/180.62 c 2057 8449 1144964 42022 0 0 15 15 7 1431.82/180.68 c 2048 8237 1106989 40972 0 0 7 15 13 1431.82/180.68 c 2053 8213 1111968 41118 0 0 13 13 6 1433.42/180.81 c 26388 91021 12396436 523626 0 0 3 15 13 1436.61/181.21 c 2050 8265 1110535 41046 0 0 14 14 7 1441.41/181.81 c 2058 8464 1146833 42067 0 0 15 15 7 1443.07/182.02 c 2049 8251 1108759 41009 0 0 14 14 7 1444.60/182.27 c 2054 8226 1113634 41150 0 0 13 13 6 1446.31/182.50 c 2051 8279 1112305 41083 0 0 14 14 7 1451.06/183.04 c 2059 8479 1148703 42112 0 0 15 15 7 1454.19/183.44 c 2050 8265 1110535 41046 0 0 14 14 7 1456.59/183.73 c 2052 8293 1114001 41114 0 0 14 14 7 1457.39/183.88 c 2055 8239 1115306 41182 0 0 13 13 6 1460.58/184.24 c 2060 8494 1150572 42154 0 0 15 15 7 1461.38/184.33 c 26388 91660 12639133 526783 0 0 7 15 13 1464.57/184.74 c 2051 8279 1112305 41083 0 0 14 14 7 1466.16/184.94 c 2053 8307 1115771 41151 0 0 14 14 7 1470.15/185.46 c 2056 8252 1116973 41214 0 0 13 13 6 1470.95/185.51 c 2061 8509 1152445 42196 0 0 15 15 7 1475.81/186.19 c 2054 8321 1117467 41182 0 0 14 14 7 1478.14/186.40 c 2052 8293 1114001 41114 0 0 14 14 7 1479.74/186.67 c 2062 8524 1154314 42238 0 0 15 15 7 1481.34/186.83 c 23910 82870 11495016 473026 0 0 7 15 13 1483.00/187.08 c 2057 8265 1118639 41246 0 0 13 13 6 1485.32/187.40 c 2055 8335 1119157 41213 0 0 14 14 7 1489.32/187.89 c 2063 8539 1156187 42280 0 0 15 15 7 1490.98/188.03 c 2053 8307 1115771 41151 0 0 14 14 7 1495.71/188.63 c 2056 8349 1120853 41244 0 0 14 14 7 1495.71/188.69 c 2058 8278 1120306 41278 0 0 13 13 6 1498.97/189.04 c 2064 8554 1158056 42322 0 0 15 15 7 1503.69/189.69 c 2054 8321 1117467 41182 0 0 14 14 7 1505.29/189.86 c 2057 8363 1122543 41275 0 0 14 14 7 1508.47/190.25 c 2065 8569 1159929 42364 0 0 15 15 7 1509.27/190.31 c 2059 8291 1121972 41310 0 0 13 13 6 1515.73/191.11 c 2058 8377 1124239 41306 0 0 14 14 7 1517.25/191.33 c 2055 8335 1119157 41213 0 0 14 14 7 1518.05/191.43 c 2066 8584 1161798 42406 0 0 15 15 7 1522.05/191.90 c 2060 8304 1123639 41342 0 0 13 13 6 1525.24/192.31 c 2059 8391 1125929 41337 0 0 14 14 7 1527.64/192.63 c 2067 8599 1163671 42448 0 0 15 15 7 1530.04/192.97 c 2056 8349 1120853 41244 0 0 14 14 7 1534.02/193.50 c 2061 8317 1125305 41374 0 0 13 13 6 1534.82/193.55 c 2060 8405 1127625 41368 0 0 14 14 7 1536.42/193.79 c 2068 8614 1165540 42490 0 0 15 15 7 1542.81/194.58 c 2057 8363 1122543 41275 0 0 14 14 7 1542.81/194.59 c 28000 97351 13423241 559440 0 0 4 15 13 1544.41/194.77 c 2061 8419 1129315 41399 0 0 14 14 7 1546.00/194.96 c 2069 8627 1167316 42514 1 0 13 13 6 1546.00/194.97 c 32000 110454 15257172 630647 1 0 7 15 13 1546.86/195.10 c 2062 8330 1126972 41406 0 0 13 13 6 1549.19/195.30 c 28000 97352 13423356 559442 1 0 0 0 0 1549.19/195.32 c 32000 110456 15257289 630649 1 0 0 0 0 1551.59/195.63 c 2070 8640 1169046 42544 1 0 13 13 6 1554.85/196.05 c 2062 8433 1131126 41431 1 0 14 14 7 1556.37/196.21 c 2058 8377 1124354 41307 1 0 14 14 7 1557.17/196.32 c 2071 8653 1170707 42567 1 0 13 13 6 1558.77/196.58 c 32110 110843 15311530 632878 1 0 11 15 13 1560.37/196.71 c 2063 8343 1128753 41439 1 0 13 13 6 1560.37/196.71 c 2063 8447 1132816 41462 1 0 14 14 7 1561.97/196.95 c 2072 8666 1172437 42597 1 0 13 13 6 1562.83/197.03 c 2059 8391 1126044 41338 1 0 14 14 7 1565.16/197.39 c 2064 8461 1134512 41493 1 0 14 14 7 1566.76/197.58 c 2073 8679 1174098 42620 1 0 13 13 6 1567.56/197.62 c 2064 8356 1130420 41471 1 0 13 13 6 1569.16/197.84 c 2060 8405 1127740 41369 1 0 14 14 7 1571.62/198.15 c 2065 8475 1136316 41525 2 0 14 14 7 1573.15/198.36 c 2074 8693 1175929 42660 2 0 14 14 7 1574.74/198.57 c 2066 8489 1138012 41556 2 0 14 14 7 1575.54/198.65 c 2065 8370 1132206 41500 2 0 14 14 7 1576.34/198.76 c 2075 8707 1177647 42699 2 0 14 14 7 1576.34/198.80 c 2061 8419 1129544 41401 2 0 14 14 7 1577.94/198.96 c 26000 90041 12489096 514084 0 0 6 15 13 1577.94/198.96 c 2067 8503 1139702 41587 2 0 14 14 7 1579.60/199.18 c 2076 8721 1179364 42738 2 0 14 14 7 1580.33/199.22 c 29113 100550 13679773 578021 2 0 7 15 13 1580.33/199.23 c 2066 8384 1133876 41528 2 0 14 14 7 1581.13/199.33 c 2062 8433 1131240 41432 2 0 14 14 7 1581.13/199.39 c 2068 8517 1141398 41618 2 0 14 14 7 1582.73/199.57 c 2077 8735 1181040 42778 2 0 14 14 7 1584.33/199.78 c 2069 8531 1143088 41649 2 0 14 14 7 1585.13/199.82 c 2063 8447 1132930 41463 2 0 14 14 7 1585.13/199.82 c 2067 8398 1135548 41556 2 0 14 14 7 1585.93/199.96 c 2078 8749 1182715 42818 2 0 14 14 7 1587.59/200.19 c 2070 8545 1144784 41680 2 0 14 14 7 1589.11/200.35 c 2064 8461 1134626 41494 2 0 14 14 7 1589.11/200.35 c 2079 8763 1184391 42858 2 0 14 14 7 1589.11/200.38 c 2068 8412 1137218 41584 2 0 14 14 7 1590.71/200.58 c 2071 8559 1146474 41711 2 0 14 14 7 1592.30/200.74 c 2080 8777 1186066 42898 2 0 14 14 7 1593.10/200.81 c 29000 100803 13900383 579386 1 0 5 15 13 1593.10/200.84 c 2065 8475 1136316 41525 2 0 14 14 7 1593.90/200.97 c 2069 8426 1138890 41612 2 0 14 14 7 1593.90/201.00 c 2072 8573 1148170 41742 2 0 14 14 7 1595.56/201.13 c 2081 8791 1187742 42938 2 0 14 14 7 1597.09/201.36 c 2066 8489 1138012 41556 2 0 14 14 7 1597.89/201.40 c 2073 8587 1149860 41773 2 0 14 14 7 1597.89/201.43 c 33000 113955 15742255 650645 1 0 5 15 13 1597.89/201.45 c 29000 100807 13900843 579391 2 0 0 0 0 1598.69/201.53 c 2082 8805 1189417 42978 2 0 14 14 7 1598.69/201.53 c 2070 8440 1140560 41640 2 0 14 14 7 1599.49/201.62 c 26388 91383 12670725 521449 2 0 8 15 13 1601.09/201.83 c 2074 8601 1151556 41804 2 0 14 14 7 1601.09/201.86 c 2067 8503 1139702 41587 2 0 14 14 7 1601.88/201.92 c 2083 8819 1191093 43018 2 0 14 14 7 1602.75/202.10 c 2071 8454 1142232 41668 2 0 14 14 7 1604.27/202.22 c 2075 8615 1153246 41835 2 0 14 14 7 1605.07/202.32 c 2084 8833 1192768 43058 2 0 14 14 7 1605.07/202.39 c 2068 8517 1141398 41618 2 0 14 14 7 1605.87/202.44 c 29113 101196 13954810 581632 2 0 9 15 13 1607.47/202.64 c 2072 8468 1143902 41696 2 0 14 14 7 1607.47/202.65 c 2076 8629 1154942 41866 2 0 14 14 7 1608.27/202.71 c 2085 8847 1194444 43098 2 0 14 14 7 1609.07/202.89 c 2069 8531 1143088 41649 2 0 14 14 7 1610.73/203.04 c 2077 8643 1156632 41897 2 0 14 14 7 1610.73/203.10 c 2086 8861 1196119 43138 2 0 14 14 7 1612.26/203.20 c 2073 8482 1145590 41724 2 0 14 14 7 1613.86/203.48 c 2070 8545 1144900 41681 3 0 14 14 7 1614.66/203.52 c 2078 8657 1158444 41929 3 0 14 14 7 1614.66/203.58 c 2087 8875 1197927 43175 3 0 14 14 7 1616.26/203.76 c 2079 8671 1160134 41960 3 0 14 14 7 1616.26/203.77 c 2071 8559 1146590 41712 3 0 14 14 7 1617.05/203.82 c 2088 8889 1199618 43211 3 0 14 14 7 1617.05/203.85 c 2074 8495 1147270 41751 3 0 13 13 6 1618.71/204.01 c 2080 8685 1161830 41991 3 0 14 14 7 1618.71/204.05 c 2089 8903 1201310 43247 3 0 14 14 7 1618.71/204.08 c 2072 8573 1148286 41743 3 0 14 14 7 1620.24/204.22 c 2075 8507 1148767 41773 3 0 12 12 6 1620.24/204.24 c 2081 8699 1163520 42022 3 0 14 14 7 1620.24/204.29 c 2090 8917 1203001 43283 3 0 14 14 7 1621.04/204.36 c 2073 8587 1149976 41774 3 0 14 14 7 1621.04/204.36 c 30000 103681 14102759 595921 3 0 5 15 13 1621.84/204.49 c 2082 8713 1165216 42053 3 0 14 14 7 1622.64/204.52 c 2091 8931 1204693 43319 3 0 14 14 7 1622.64/204.58 c 2076 8519 1150264 41793 3 0 12 12 6 1623.44/204.67 c 2074 8601 1151672 41805 3 0 14 14 7 1624.24/204.72 c 2083 8727 1166906 42084 3 0 14 14 7 1624.24/204.75 c 2092 8945 1206384 43355 3 0 14 14 7 1625.04/204.88 c 27000 93521 12965347 533568 2 0 9 15 13 1625.84/204.93 c 2077 8531 1151761 41815 3 0 12 12 6 1625.84/204.96 c 2075 8615 1153362 41836 3 0 14 14 7 1625.84/204.97 c 2084 8741 1168602 42115 3 0 14 14 7 1625.84/204.98 c 2093 8959 1208076 43391 3 0 14 14 7 1628.23/205.20 c 2085 8755 1170292 42146 3 0 14 14 7 1628.23/205.22 c 2094 8973 1209767 43427 3 0 14 14 7 1628.23/205.28 c 2076 8629 1155058 41867 3 0 14 14 7 1628.23/205.29 c 2078 8543 1153258 41835 3 0 12 12 6 1628.23/205.29 c 27000 93527 12966036 533575 3 0 0 0 0 1629.82/205.45 c 2095 8987 1211459 43463 3 0 14 14 7 1629.82/205.45 c 27000 93529 12966265 533578 4 0 0 0 0 1629.82/205.45 c 2086 8769 1171988 42177 3 0 14 14 7 1630.62/205.52 c 27000 93531 12966381 533580 4 0 0 0 0 1630.62/205.56 c 2077 8643 1156748 41898 3 0 14 14 7 1630.62/205.59 c 27000 93533 12966497 533582 4 0 0 0 0 1631.44/205.64 c 2079 8556 1155019 41866 4 0 13 13 6 1631.44/205.69 c 2096 9000 1213122 43494 4 0 13 13 6 1632.22/205.70 c 2087 8782 1173686 42205 4 0 13 13 6 1633.02/205.83 c 2097 9013 1214637 43517 4 0 13 13 6 1633.02/205.83 c 2080 8569 1156662 41896 4 0 13 13 6 1633.02/205.84 c 2088 8796 1175375 42236 4 0 14 14 7 1633.02/205.87 c 2078 8657 1158656 41938 4 0 14 14 7 1633.82/205.97 c 2098 9026 1216187 43547 4 0 13 13 6 1633.82/205.99 c 2089 8810 1177170 42275 4 0 14 14 7 1634.69/206.02 c 2081 8582 1158310 41926 4 0 13 13 6 1634.69/206.04 c 2079 8671 1160345 41969 4 0 14 14 7 1634.69/206.11 c 2099 9039 1217823 43569 5 0 13 13 6 1635.49/206.13 c 2090 8824 1179001 42310 5 0 14 14 7 1635.49/206.19 c 2100 9052 1219402 43598 5 0 13 13 6 1636.21/206.21 c 2091 8838 1180713 42344 5 0 14 14 7 1636.21/206.22 c 2080 8685 1162153 42006 5 0 14 14 7 1636.21/206.22 c 2082 8596 1160109 41966 5 0 14 14 7 1636.21/206.28 c 2101 9065 1221051 43622 6 0 13 13 6 1637.01/206.31 c 2092 8851 1182409 42377 6 0 13 13 6 1637.01/206.32 c 2081 8698 1163837 42037 6 0 13 13 6 1637.01/206.33 c 2102 9078 1222723 43654 6 0 13 13 6 1637.01/206.35 c 2083 8610 1161913 42006 6 0 14 14 7 1637.01/206.35 c 2093 8864 1183977 42407 6 0 13 13 6 1637.01/206.37 c 2103 9091 1224255 43677 6 0 13 13 6 1637.01/206.38 c 2082 8711 1165405 42067 6 0 13 13 6 1637.81/206.40 c 2094 8877 1185544 42437 6 0 13 13 6 1637.81/206.41 c 2084 8624 1163599 42045 6 0 14 14 7 1637.81/206.42 c 2104 9104 1225927 43709 6 0 13 13 6 1637.81/206.43 c 2083 8724 1166972 42097 6 0 13 13 6 1637.81/206.44 c 2095 8890 1187112 42467 6 0 13 13 6 1637.81/206.46 c 2105 9117 1227586 43730 7 0 13 13 6 1637.81/206.47 c 2085 8638 1165375 42072 7 0 14 14 7 1637.81/206.48 c 2084 8737 1168735 42127 7 0 13 13 6 1637.81/206.49 c 2106 9130 1229136 43751 7 0 13 13 6 1637.81/206.49 c 2096 8903 1189021 42508 7 0 13 13 6 1638.61/206.51 c 2086 8652 1167039 42098 7 0 14 14 7 1638.61/206.51 c 2085 8750 1170390 42156 7 0 13 13 6 1638.61/206.52 c c 2097 2107 8916 1190676 42537 7 0 9143 1230684 43771 7 0 13 13 613 13 6 1638.61/206.52 1638.61/206.54 c 2087 8666 1168704 42124 7 0 14 14 7 1638.61/206.54 c 2086 8763 1172042 42185 7 0 13 13 6 1638.61/206.55 c 2108 9156 1232234 43792 7 0 13 13 6 1638.61/206.55 c 2098 8929 1192329 42566 7 0 13 13 6 1638.61/206.57 c 2087 8776 1173697 42214 7 0 13 13 6 1638.61/206.57 c 2109 9169 1233782 43812 7 0 13 13 6 1638.61/206.58 c 2099 8942 1193984 42595 7 0 13 13 6 1638.61/206.58 c 2088 8680 1170368 42150 7 0 14 14 7 1639.41/206.60 c 2110 9182 1235332 43833 7 0 13 13 6 1639.41/206.60 c 2088 8789 1175349 42243 7 0 13 13 6 1639.41/206.60 c 2100 8955 1195637 42624 7 0 13 13 6 1639.41/206.61 c 2089 8694 1172033 42176 7 0 14 14 7 1639.41/206.62 c 2111 9195 1237011 43856 9 0 13 13 6 1639.41/206.62 c 2089 8802 1177105 42270 9 0 13 13 6 1639.41/206.63 c 2101 8968 1197392 42651 9 0 13 13 6 1639.41/206.63 c 2112 9208 1238814 43905 10 0 13 13 6 1639.41/206.63 c 2090 8815 1178773 42294 10 0 13 13 6 1639.41/206.63 c 2113 9221 1240559 43924 12 0 13 13 6 1639.41/206.63 c [pFactory][Group N°0] concurent mode: thread 0 has won with the task 5. 1639.41/206.63 c [pFactory][Group N°0] Thread N°0 is joined. 1639.41/206.63 c 2102 8981 1199096 42683 10 0 13 13 6 1639.41/206.64 c [pFactory][Group N°0] Thread N°1 is joined. 1639.41/206.64 c [pFactory][Group N°0] Thread N°2 is joined. 1639.41/206.64 c [pFactory][Group N°0] Thread N°3 is joined. 1639.41/206.64 c [pFactory][Group N°0] Thread N°4 is joined. 1639.41/206.64 c [pFactory][Group N°0] Thread N°5 is joined. 1639.41/206.64 c [pFactory][Group N°0] Thread N°6 is joined. 1639.41/206.64 c [pFactory][Group N°0] Thread N°7 is joined. 1639.41/206.64 c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°0) 1639.41/206.64 s UNSATISFIABLE 1639.41/206.64 c restarts : 181 1639.41/206.64 c conflicts : 2102 (1 /sec) 1639.41/206.64 c decisions : 8981 (5 /sec) 1639.41/206.64 c propagations : 42683 (26 /sec) 1639.41/206.64 c root propagations : 0 1639.41/206.64 c filter calls : 1199096 (732 /sec) 1639.41/206.64 c useless filter calls : 1180146 (98 %) 1639.41/206.64 c Memory used : 1090.34 MB 1639.41/206.64 c CPU time : 1638.08 s 1639.41/206.64 c real time : 206.634 s 1639.41/206.64
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 (15382 MiB free)
memory of node 1: 16384 MiB (13415 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398103-1568602397/watcher-4398103-1568602397 -o /tmp/evaluation-result-4398103-1568602397/solver-4398103-1568602397 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568597210-21314 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398103-1568602397.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22002, runsolver pid=21999
Current StackSize limit: 8192 KiB
[startup+0.100151 s]*
/proc/loadavg: 6.77 3.08 2.17 2/191 22003
/proc/meminfo: memFree=29489464/32770624 swapFree=66958308/67108860
[pid=22002] ppid=21999 vsize=28020 memory=4216 CPUtime=0.1 cores=0-7
/proc/22002/stat : 22002 (cosoco) R 21999 22002 21287 0 -1 4202496 1255 0 0 0 10 0 0 0 20 0 1 0 436176166 28692480 1054 33554432000 4194304 6211092 140724449830528 140724449827800 5817164 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
/proc/22002/statm: 7005 1054 806 493 0 310 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28020 KiB
Current children cumulated memory: 4216 KiB
[startup+0.209155 s]*
/proc/loadavg: 6.77 3.08 2.17 2/191 22003
/proc/meminfo: memFree=29488552/32770624 swapFree=66958308/67108860
[pid=22002] ppid=21999 vsize=28872 memory=5028 CPUtime=0.21 cores=0-7
/proc/22002/stat : 22002 (cosoco) R 21999 22002 21287 0 -1 4202496 1493 0 0 0 21 0 0 0 20 0 1 0 436176166 29564928 1257 33554432000 4194304 6211092 140724449830528 140724449827800 5743377 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
/proc/22002/statm: 7218 1257 806 493 0 523 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28872 KiB
Current children cumulated memory: 5028 KiB
[startup+0.308505 s]*
/proc/loadavg: 6.77 3.08 2.17 2/191 22003
/proc/meminfo: memFree=29487808/32770624 swapFree=66958308/67108860
[pid=22002] ppid=21999 vsize=29784 memory=5596 CPUtime=0.3 cores=0-7
/proc/22002/stat : 22002 (cosoco) R 21999 22002 21287 0 -1 4202496 1762 0 0 0 30 0 0 0 20 0 1 0 436176166 30498816 1399 33554432000 4194304 6211092 140724449830528 140724449827800 139810405411813 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
/proc/22002/statm: 7446 1399 806 493 0 751 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 29784 KiB
Current children cumulated memory: 5596 KiB
[startup+0.700325 s]
/proc/loadavg: 6.77 3.08 2.17 2/191 22003
/proc/meminfo: memFree=29486320/32770624 swapFree=66958308/67108860
[pid=22002] ppid=21999 vsize=32532 memory=8316 CPUtime=0.69 cores=0-7
/proc/22002/stat : 22002 (cosoco) R 21999 22002 21287 0 -1 4202496 2622 0 0 0 69 0 0 0 20 0 1 0 436176166 33312768 2079 33554432000 4194304 6211092 140724449830528 140724449827800 5816690 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
/proc/22002/statm: 8133 2079 806 493 0 1438 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32532 KiB
Current children cumulated memory: 8316 KiB
[startup+1.50105 s]
/proc/loadavg: 6.39 3.06 2.17 2/191 22003
/proc/meminfo: memFree=29451920/32770624 swapFree=66958308/67108860
[pid=22002] ppid=21999 vsize=625004 memory=532712 CPUtime=2.05 cores=0-7
/proc/22002/stat : 22002 (cosoco) S 21999 22002 21287 0 -1 1077944320 134308 0 0 0 190 15 0 0 20 0 9 0 436176166 640004096 133178 33554432000 4194304 6211092 140724449830528 140724449828784 139810421452535 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
/proc/22002/statm: 156251 133178 817 493 0 149556 0
Current children cumulated CPU time: 2.05 s
Current children cumulated vsize: 625004 KiB
Current children cumulated memory: 532712 KiB
[startup+3.11004 s]
/proc/loadavg: 6.39 3.06 2.17 9/199 22011
/proc/meminfo: memFree=28957900/32770624 swapFree=66958308/67108860
[pid=22002] ppid=21999 vsize=1149292 memory=533116 CPUtime=14.9 cores=0-7
/proc/22002/stat : 22002 (cosoco) S 21999 22002 21287 0 -1 1077944320 212904 0 0 0 1443 47 0 0 20 0 9 0 436176166 1176875008 133279 33554432000 4194304 6211092 140724449830528 140724449828784 139810421452535 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
/proc/22002/statm: 287323 133279 828 493 0 280628 0
[pid=22002/tid=22004] ppid=21999 vsize=1149292 memory=70 CPUtime=1.68 cores=0-7
/proc/22002/task/22004/stat : 22004 (cosoco) R 21999 22002 21287 0 -1 4202560 6040 0 0 0 163 5 0 0 20 0 9 0 436176308 1176875008 133279 33554432000 4194304 6211092 140724449830528 139810387529080 5039007 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22005] ppid=21999 vsize=1149292 memory=70 CPUtime=1.68 cores=0-7
/proc/22002/task/22005/stat : 22005 (cosoco) R 21999 22002 21287 0 -1 4202560 6467 0 0 0 168 0 0 0 20 0 9 0 436176308 1176875008 133279 33554432000 4194304 6211092 140724449830528 139810379136376 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22006] ppid=21999 vsize=1149292 memory=3612 CPUtime=1.68 cores=0-7
/proc/22002/task/22006/stat : 22006 (cosoco) R 21999 22002 21287 0 -1 4202560 13595 0 0 0 168 0 0 0 20 0 9 0 436176308 1176875008 133279 33554432000 4194304 6211092 140724449830528 139810370743392 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22007] ppid=21999 vsize=1149292 memory=45120 CPUtime=1.68 cores=0-7
/proc/22002/task/22007/stat : 22007 (cosoco) R 21999 22002 21287 0 -1 4202560 8075 0 0 0 162 6 0 0 20 0 9 0 436176308 1176875008 133279 33554432000 4194304 6211092 140724449830528 139810362350968 5038992 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22008] ppid=21999 vsize=1149292 memory=988 CPUtime=1.65 cores=0-7
/proc/22002/task/22008/stat : 22008 (cosoco) R 21999 22002 21287 0 -1 4202560 4446 0 0 0 162 3 0 0 20 0 9 0 436176308 1176875008 133279 33554432000 4194304 6211092 140724449830528 139810353958264 5039026 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22009] ppid=21999 vsize=1149292 memory=33 CPUtime=1.68 cores=0-7
/proc/22002/task/22009/stat : 22009 (cosoco) R 21999 22002 21287 0 -1 4202560 14938 0 0 0 168 0 0 0 20 0 9 0 436176308 1176875008 133279 33554432000 4194304 6211092 140724449830528 139810345565280 5038944 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22010] ppid=21999 vsize=1149292 memory=317785249612562720 CPUtime=1.68 cores=0-7
/proc/22002/task/22010/stat : 22010 (cosoco) R 21999 22002 21287 0 -1 4202560 12688 0 0 0 156 12 0 0 20 0 9 0 436176308 1176875008 133279 33554432000 4194304 6211092 140724449830528 139810337172576 5037821 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22011] ppid=21999 vsize=1149292 memory=288292181687665935 CPUtime=1.68 cores=0-7
/proc/22002/task/22011/stat : 22011 (cosoco) R 21999 22002 21287 0 -1 4202560 12372 0 0 0 167 1 0 0 20 0 9 0 436176308 1176875008 133279 33554432000 4194304 6211092 140724449830528 139810328779872 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
Current children cumulated CPU time: 14.9 s
Current children cumulated vsize: 1149292 KiB
Current children cumulated memory: 533116 KiB
[startup+6.30105 s]
/proc/loadavg: 6.51 3.14 2.20 9/199 22011
/proc/meminfo: memFree=28957676/32770624 swapFree=66958308/67108860
[pid=22002] ppid=21999 vsize=1149292 memory=533136 CPUtime=40.33 cores=0-7
/proc/22002/stat : 22002 (cosoco) S 21999 22002 21287 0 -1 1077944320 506902 0 0 0 3938 95 0 0 20 0 9 0 436176166 1176875008 133284 33554432000 4194304 6211092 140724449830528 140724449828784 139810421452535 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
/proc/22002/statm: 287323 133284 828 493 0 280628 0
[pid=22002/tid=22004] ppid=21999 vsize=1149292 memory=533136 CPUtime=4.82 cores=0-7
/proc/22002/task/22004/stat : 22004 (cosoco) R 21999 22002 21287 0 -1 4202560 45049 0 0 0 466 16 0 0 20 0 9 0 436176308 1176875008 133284 33554432000 4194304 6211092 140724449830528 139810387528800 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22005] ppid=21999 vsize=1149292 memory=140342817519231 CPUtime=4.86 cores=0-7
/proc/22002/task/22005/stat : 22005 (cosoco) R 21999 22002 21287 0 -1 4202560 43381 0 0 0 483 3 0 0 20 0 9 0 436176308 1176875008 133284 33554432000 4194304 6211092 140724449830528 139810379136096 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22006] ppid=21999 vsize=1149292 memory=3612 CPUtime=4.87 cores=0-7
/proc/22002/task/22006/stat : 22006 (cosoco) R 21999 22002 21287 0 -1 4202560 47330 0 0 0 485 2 0 0 20 0 9 0 436176308 1176875008 133284 33554432000 4194304 6211092 140724449830528 139810370743392 5038992 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22007] ppid=21999 vsize=1149292 memory=45120 CPUtime=4.87 cores=0-7
/proc/22002/task/22007/stat : 22007 (cosoco) R 21999 22002 21287 0 -1 4202560 44125 0 0 0 471 16 0 0 20 0 9 0 436176308 1176875008 133284 33554432000 4194304 6211092 140724449830528 139810362350688 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22008] ppid=21999 vsize=1149292 memory=533136 CPUtime=4.83 cores=0-7
/proc/22002/task/22008/stat : 22008 (cosoco) R 21999 22002 21287 0 -1 4202560 48399 0 0 0 468 15 0 0 20 0 9 0 436176308 1176875008 133284 33554432000 4194304 6211092 140724449830528 139810353957984 5039014 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22009] ppid=21999 vsize=1149292 memory=712 CPUtime=4.86 cores=0-7
/proc/22002/task/22009/stat : 22009 (cosoco) R 21999 22002 21287 0 -1 4202560 49469 0 0 0 483 3 0 0 20 0 9 0 436176308 1176875008 133284 33554432000 4194304 6211092 140724449830528 139810345565280 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22010] ppid=21999 vsize=1149292 memory=2832 CPUtime=4.86 cores=0-7
/proc/22002/task/22010/stat : 22010 (cosoco) R 21999 22002 21287 0 -1 4202560 45586 0 0 0 469 17 0 0 20 0 9 0 436176308 1176875008 133284 33554432000 4194304 6211092 140724449830528 139810337172576 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22011] ppid=21999 vsize=1149292 memory=467 CPUtime=4.86 cores=0-7
/proc/22002/task/22011/stat : 22011 (cosoco) R 21999 22002 21287 0 -1 4202560 49259 0 0 0 483 3 0 0 20 0 9 0 436176308 1176875008 133284 33554432000 4194304 6211092 140724449830528 139810328779872 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
Current children cumulated CPU time: 40.33 s
Current children cumulated vsize: 1149292 KiB
Current children cumulated memory: 533136 KiB
[startup+12.701 s]
/proc/loadavg: 6.71 3.24 2.24 9/199 22011
/proc/meminfo: memFree=28958408/32770624 swapFree=66958308/67108860
[pid=22002] ppid=21999 vsize=1149292 memory=533136 CPUtime=91.43 cores=0-7
/proc/22002/stat : 22002 (cosoco) S 21999 22002 21287 0 -1 1077944320 791918 0 0 0 9029 114 0 0 20 0 9 0 436176166 1176875008 133284 33554432000 4194304 6211092 140724449830528 140724449828784 139810421452535 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
/proc/22002/statm: 287323 133284 828 493 0 280628 0
[pid=22002/tid=22004] ppid=21999 vsize=1149292 memory=533136 CPUtime=11.13 cores=0-7
/proc/22002/task/22004/stat : 22004 (cosoco) R 21999 22002 21287 0 -1 4202560 79795 0 0 0 1094 19 0 0 20 0 9 0 436176308 1176875008 133284 33554432000 4194304 6211092 140724449830528 139810387528800 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22005] ppid=21999 vsize=1149292 memory=0 CPUtime=11.27 cores=0-7
/proc/22002/task/22005/stat : 22005 (cosoco) R 21999 22002 21287 0 -1 4202560 77230 0 0 0 1122 5 0 0 20 0 9 0 436176308 1176875008 133284 33554432000 4194304 6211092 140724449830528 139810379136096 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22006] ppid=21999 vsize=1149292 memory=0 CPUtime=11.27 cores=0-7
/proc/22002/task/22006/stat : 22006 (cosoco) R 21999 22002 21287 0 -1 4202560 85084 0 0 0 1122 5 0 0 20 0 9 0 436176308 1176875008 133284 33554432000 4194304 6211092 140724449830528 139810370743392 5038944 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22007] ppid=21999 vsize=1149292 memory=140342817519231 CPUtime=11.27 cores=0-7
/proc/22002/task/22007/stat : 22007 (cosoco) R 21999 22002 21287 0 -1 4202560 77939 0 0 0 1109 18 0 0 20 0 9 0 436176308 1176875008 133284 33554432000 4194304 6211092 140724449830528 139810362350688 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22008] ppid=21999 vsize=1149292 memory=56 CPUtime=11.23 cores=0-7
/proc/22002/task/22008/stat : 22008 (cosoco) R 21999 22002 21287 0 -1 4202560 82420 0 0 0 1106 17 0 0 20 0 9 0 436176308 1176875008 133284 33554432000 4194304 6211092 140724449830528 139810353957984 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22009] ppid=21999 vsize=1149292 memory=4137287014106042739 CPUtime=11.26 cores=0-7
/proc/22002/task/22009/stat : 22009 (cosoco) R 21999 22002 21287 0 -1 4202560 86556 0 0 0 1120 6 0 0 20 0 9 0 436176308 1176875008 133284 33554432000 4194304 6211092 140724449830528 139810345565280 5038944 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22010] ppid=21999 vsize=1149292 memory=533136 CPUtime=11.27 cores=0-7
/proc/22002/task/22010/stat : 22010 (cosoco) R 21999 22002 21287 0 -1 4202560 82232 0 0 0 1107 20 0 0 20 0 9 0 436176308 1176875008 133284 33554432000 4194304 6211092 140724449830528 139810337172576 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22011] ppid=21999 vsize=1149292 memory=0 CPUtime=11.26 cores=0-7
/proc/22002/task/22011/stat : 22011 (cosoco) R 21999 22002 21287 0 -1 4202560 86363 0 0 0 1121 5 0 0 20 0 9 0 436176308 1176875008 133284 33554432000 4194304 6211092 140724449830528 139810328779872 5038944 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
Current children cumulated CPU time: 91.43 s
Current children cumulated vsize: 1149292 KiB
Current children cumulated memory: 533136 KiB
[startup+25.501 s]
/proc/loadavg: 6.99 3.41 2.31 9/199 22011
/proc/meminfo: memFree=28957016/32770624 swapFree=66958308/67108860
[pid=22002] ppid=21999 vsize=1149292 memory=533152 CPUtime=193.61 cores=0-7
/proc/22002/stat : 22002 (cosoco) S 21999 22002 21287 0 -1 1077944320 1018416 0 0 0 19231 130 0 0 20 0 9 0 436176166 1176875008 133288 33554432000 4194304 6211092 140724449830528 140724449828784 139810421452535 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
/proc/22002/statm: 287323 133288 832 493 0 280628 0
[pid=22002/tid=22004] ppid=21999 vsize=1149292 memory=280676783950432 CPUtime=23.77 cores=0-7
/proc/22002/task/22004/stat : 22004 (cosoco) R 21999 22002 21287 0 -1 4202560 111534 0 0 0 2355 22 0 0 20 0 9 0 436176308 1176875008 133288 33554432000 4194304 6211092 140724449830528 139810387528800 5038737 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22005] ppid=21999 vsize=1149292 memory=533152 CPUtime=24.07 cores=0-7
/proc/22002/task/22005/stat : 22005 (cosoco) R 21999 22002 21287 0 -1 4202560 108967 0 0 0 2400 7 0 0 20 0 9 0 436176308 1176875008 133288 33554432000 4194304 6211092 140724449830528 139810379136096 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22006] ppid=21999 vsize=1149292 memory=533136 CPUtime=24.05 cores=0-7
/proc/22002/task/22006/stat : 22006 (cosoco) R 21999 22002 21287 0 -1 4202560 110608 0 0 0 2400 5 0 0 20 0 9 0 436176308 1176875008 133288 33554432000 4194304 6211092 140724449830528 139810370743392 5039038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22007] ppid=21999 vsize=1149292 memory=1398722017469774279 CPUtime=24.06 cores=0-7
/proc/22002/task/22007/stat : 22007 (cosoco) R 21999 22002 21287 0 -1 4202560 109321 0 0 0 2386 20 0 0 20 0 9 0 436176308 1176875008 133288 33554432000 4194304 6211092 140724449830528 139810362350688 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22008] ppid=21999 vsize=1149292 memory=4872558044660077418 CPUtime=24 cores=0-7
/proc/22002/task/22008/stat : 22008 (cosoco) R 21999 22002 21287 0 -1 4202560 114193 0 0 0 2381 19 0 0 20 0 9 0 436176308 1176875008 133288 33554432000 4194304 6211092 140724449830528 139810353957984 5037825 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22009] ppid=21999 vsize=1149292 memory=533136 CPUtime=24.06 cores=0-7
/proc/22002/task/22009/stat : 22009 (cosoco) R 21999 22002 21287 0 -1 4202560 114262 0 0 0 2397 9 0 0 20 0 9 0 436176308 1176875008 133288 33554432000 4194304 6211092 140724449830528 139810345565280 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22010] ppid=21999 vsize=1149292 memory=2496 CPUtime=24.06 cores=0-7
/proc/22002/task/22010/stat : 22010 (cosoco) R 21999 22002 21287 0 -1 4202560 101318 0 0 0 2385 21 0 0 20 0 9 0 436176308 1176875008 133288 33554432000 4194304 6211092 140724449830528 139810337172576 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22011] ppid=21999 vsize=1149292 memory=1760 CPUtime=24.05 cores=0-7
/proc/22002/task/22011/stat : 22011 (cosoco) R 21999 22002 21287 0 -1 4202560 113909 0 0 0 2398 7 0 0 20 0 9 0 436176308 1176875008 133288 33554432000 4194304 6211092 140724449830528 139810328779872 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
Current children cumulated CPU time: 193.61 s
Current children cumulated vsize: 1149292 KiB
Current children cumulated memory: 533152 KiB
[startup+51.11 s]
/proc/loadavg: 7.73 3.93 2.51 9/199 22013
/proc/meminfo: memFree=28958328/32770624 swapFree=66958308/67108860
[pid=22002] ppid=21999 vsize=1149292 memory=533156 CPUtime=398.04 cores=0-7
/proc/22002/stat : 22002 (cosoco) S 21999 22002 21287 0 -1 1077944320 1229232 0 0 0 39661 143 0 0 20 0 9 0 436176166 1176875008 133289 33554432000 4194304 6211092 140724449830528 140724449828784 139810421452535 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
/proc/22002/statm: 287323 133289 832 493 0 280628 0
[pid=22002/tid=22004] ppid=21999 vsize=1149292 memory=533152 CPUtime=49.37 cores=0-7
/proc/22002/task/22004/stat : 22004 (cosoco) R 21999 22002 21287 0 -1 4202560 135831 0 0 0 4913 24 0 0 20 0 9 0 436176308 1176875008 133289 33554432000 4194304 6211092 140724449830528 139810387528800 5038944 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22005] ppid=21999 vsize=1149292 memory=533156 CPUtime=49.66 cores=0-7
/proc/22002/task/22005/stat : 22005 (cosoco) R 21999 22002 21287 0 -1 4202560 130817 0 0 0 4958 8 0 0 20 0 9 0 436176308 1176875008 133289 33554432000 4194304 6211092 140724449830528 139810379136096 5038944 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22006] ppid=21999 vsize=1149292 memory=533156 CPUtime=49.65 cores=0-7
/proc/22002/task/22006/stat : 22006 (cosoco) R 21999 22002 21287 0 -1 4202560 141058 0 0 0 4958 7 0 0 20 0 9 0 436176308 1176875008 133289 33554432000 4194304 6211092 140724449830528 139810370743392 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22007] ppid=21999 vsize=1149292 memory=1712 CPUtime=49.66 cores=0-7
/proc/22002/task/22007/stat : 22007 (cosoco) R 21999 22002 21287 0 -1 4202560 137723 0 0 0 4945 21 0 0 20 0 9 0 436176308 1176875008 133289 33554432000 4194304 6211092 140724449830528 139810362350688 5038947 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22008] ppid=21999 vsize=1149292 memory=4015 CPUtime=49.26 cores=0-7
/proc/22002/task/22008/stat : 22008 (cosoco) R 21999 22002 21287 0 -1 4202560 138061 0 0 0 4905 21 0 0 20 0 9 0 436176308 1176875008 133289 33554432000 4194304 6211092 140724449830528 139810353957984 5038944 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
################
# More data... #
################
Current children cumulated CPU time: 1522.91 s
Current children cumulated vsize: 1149292 KiB
Current children cumulated memory: 533156 KiB
[startup+198.401 s]
/proc/loadavg: 8.06 5.57 3.34 9/199 22023
/proc/meminfo: memFree=28962792/32770624 swapFree=66958308/67108860
[pid=22002] ppid=21999 vsize=1149292 memory=533156 CPUtime=1573.94 cores=0-7
/proc/22002/stat : 22002 (cosoco) S 21999 22002 21287 0 -1 1077944320 1450930 0 0 0 157232 162 0 0 20 0 9 0 436176166 1176875008 133289 33554432000 4194304 6211092 140724449830528 140724449828784 139810421452535 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
/proc/22002/statm: 287323 133289 832 493 0 280628 0
[pid=22002/tid=22004] ppid=21999 vsize=1149292 memory=988 CPUtime=196.62 cores=0-7
/proc/22002/task/22004/stat : 22004 (cosoco) R 21999 22002 21287 0 -1 4202560 173466 0 0 0 19636 26 0 0 20 0 9 0 436176308 1176875008 133289 33554432000 4194304 6211092 140724449830528 139810387528800 5039038 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22005] ppid=21999 vsize=1149292 memory=2020 CPUtime=196.89 cores=0-7
/proc/22002/task/22005/stat : 22005 (cosoco) R 21999 22002 21287 0 -1 4202560 172845 0 0 0 19677 12 0 0 20 0 9 0 436176308 1176875008 133289 33554432000 4194304 6211092 140724449830528 139810379136096 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22006] ppid=21999 vsize=1149292 memory=3612 CPUtime=195.7 cores=0-7
/proc/22002/task/22006/stat : 22006 (cosoco) R 21999 22002 21287 0 -1 4202560 152843 0 0 0 19562 8 0 0 20 0 9 0 436176308 1176875008 133289 33554432000 4194304 6211092 140724449830528 139810370743392 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22007] ppid=21999 vsize=1149292 memory=45120 CPUtime=196.72 cores=0-7
/proc/22002/task/22007/stat : 22007 (cosoco) R 21999 22002 21287 0 -1 4202560 173333 0 0 0 19649 23 0 0 20 0 9 0 436176308 1176875008 133289 33554432000 4194304 6211092 140724449830528 139810362350688 5039121 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22008] ppid=21999 vsize=1149292 memory=6935054825532540783 CPUtime=195.86 cores=0-7
/proc/22002/task/22008/stat : 22008 (cosoco) R 21999 22002 21287 0 -1 4202560 175978 0 0 0 19562 24 0 0 20 0 9 0 436176308 1176875008 133289 33554432000 4194304 6211092 140724449830528 139810353957984 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22009] ppid=21999 vsize=1149292 memory=288230617509003574 CPUtime=196.87 cores=0-7
/proc/22002/task/22009/stat : 22009 (cosoco) R 21999 22002 21287 0 -1 4202560 168352 0 0 0 19675 12 0 0 20 0 9 0 436176308 1176875008 133289 33554432000 4194304 6211092 140724449830528 139810345565280 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22010] ppid=21999 vsize=1149292 memory=15821084104591915 CPUtime=196.91 cores=0-7
/proc/22002/task/22010/stat : 22010 (cosoco) R 21999 22002 21287 0 -1 4202560 123144 0 0 0 19666 25 0 0 20 0 9 0 436176308 1176875008 133289 33554432000 4194304 6211092 140724449830528 139810337172576 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22011] ppid=21999 vsize=1149292 memory=45120 CPUtime=196.86 cores=0-7
/proc/22002/task/22011/stat : 22011 (cosoco) R 21999 22002 21287 0 -1 4202560 176665 0 0 0 19675 11 0 0 20 0 9 0 436176308 1176875008 133289 33554432000 4194304 6211092 140724449830528 139810328779872 5039026 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
Current children cumulated CPU time: 1573.94 s
Current children cumulated vsize: 1149292 KiB
Current children cumulated memory: 533156 KiB
[startup+201.601 s]
/proc/loadavg: 8.14 5.62 3.37 9/199 22023
/proc/meminfo: memFree=28962748/32770624 swapFree=66958308/67108860
[pid=22002] ppid=21999 vsize=1149292 memory=533156 CPUtime=1599.49 cores=0-7
/proc/22002/stat : 22002 (cosoco) S 21999 22002 21287 0 -1 1077944320 1450936 0 0 0 159787 162 0 0 20 0 9 0 436176166 1176875008 133289 33554432000 4194304 6211092 140724449830528 140724449828784 139810421452535 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
/proc/22002/statm: 287323 133289 832 493 0 280628 0
[pid=22002/tid=22004] ppid=21999 vsize=1149292 memory=533156 CPUtime=199.82 cores=0-7
/proc/22002/task/22004/stat : 22004 (cosoco) R 21999 22002 21287 0 -1 4202560 173466 0 0 0 19956 26 0 0 20 0 9 0 436176308 1176875008 133289 33554432000 4194304 6211092 140724449830528 139810387528800 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22005] ppid=21999 vsize=1149292 memory=2020 CPUtime=200.09 cores=0-7
/proc/22002/task/22005/stat : 22005 (cosoco) R 21999 22002 21287 0 -1 4202560 172845 0 0 0 19997 12 0 0 20 0 9 0 436176308 1176875008 133289 33554432000 4194304 6211092 140724449830528 139810379136096 5039038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22006] ppid=21999 vsize=1149292 memory=533156 CPUtime=198.89 cores=0-7
/proc/22002/task/22006/stat : 22006 (cosoco) R 21999 22002 21287 0 -1 4202560 152843 0 0 0 19881 8 0 0 20 0 9 0 436176308 1176875008 133289 33554432000 4194304 6211092 140724449830528 139810370743392 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22007] ppid=21999 vsize=1149292 memory=2772 CPUtime=199.92 cores=0-7
/proc/22002/task/22007/stat : 22007 (cosoco) R 21999 22002 21287 0 -1 4202560 173339 0 0 0 19969 23 0 0 20 0 9 0 436176308 1176875008 133289 33554432000 4194304 6211092 140724449830528 139810362350688 5039029 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22008] ppid=21999 vsize=1149292 memory=3612 CPUtime=199.02 cores=0-7
/proc/22002/task/22008/stat : 22008 (cosoco) R 21999 22002 21287 0 -1 4202560 175978 0 0 0 19878 24 0 0 20 0 9 0 436176308 1176875008 133289 33554432000 4194304 6211092 140724449830528 139810353957984 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22009] ppid=21999 vsize=1149292 memory=45120 CPUtime=200.07 cores=0-7
/proc/22002/task/22009/stat : 22009 (cosoco) R 21999 22002 21287 0 -1 4202560 168352 0 0 0 19995 12 0 0 20 0 9 0 436176308 1176875008 133289 33554432000 4194304 6211092 140724449830528 139810345565280 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22010] ppid=21999 vsize=1149292 memory=533156 CPUtime=200.11 cores=0-7
/proc/22002/task/22010/stat : 22010 (cosoco) R 21999 22002 21287 0 -1 4202560 123144 0 0 0 19986 25 0 0 20 0 9 0 436176308 1176875008 133289 33554432000 4194304 6211092 140724449830528 139810337172576 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22011] ppid=21999 vsize=1149292 memory=7881984770663142507 CPUtime=200.06 cores=0-7
/proc/22002/task/22011/stat : 22011 (cosoco) R 21999 22002 21287 0 -1 4202560 176665 0 0 0 19995 11 0 0 20 0 9 0 436176308 1176875008 133289 33554432000 4194304 6211092 140724449830528 139810328779872 5038947 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
Current children cumulated CPU time: 1599.49 s
Current children cumulated vsize: 1149292 KiB
Current children cumulated memory: 533156 KiB
[startup+204.801 s]
/proc/loadavg: 8.14 5.62 3.37 9/199 22023
/proc/meminfo: memFree=28962768/32770624 swapFree=66958308/67108860
[pid=22002] ppid=21999 vsize=1149292 memory=533160 CPUtime=1625.04 cores=0-7
/proc/22002/stat : 22002 (cosoco) S 21999 22002 21287 0 -1 1077944320 1459056 0 0 0 162341 163 0 0 20 0 9 0 436176166 1176875008 133290 33554432000 4194304 6211092 140724449830528 140724449828784 139810421452535 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
/proc/22002/statm: 287323 133290 833 493 0 280628 0
[pid=22002/tid=22004] ppid=21999 vsize=1149292 memory=533156 CPUtime=203.03 cores=0-7
/proc/22002/task/22004/stat : 22004 (cosoco) R 21999 22002 21287 0 -1 4202560 176339 0 0 0 20276 27 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810387528800 5037823 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22005] ppid=21999 vsize=1149292 memory=932 CPUtime=203.29 cores=0-7
/proc/22002/task/22005/stat : 22005 (cosoco) R 21999 22002 21287 0 -1 4202560 174688 0 0 0 20317 12 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810379136096 5038944 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22006] ppid=21999 vsize=1149292 memory=1560 CPUtime=202.1 cores=0-7
/proc/22002/task/22006/stat : 22006 (cosoco) R 21999 22002 21287 0 -1 4202560 152846 0 0 0 20201 9 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810370743392 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22007] ppid=21999 vsize=1149292 memory=932 CPUtime=203.12 cores=0-7
/proc/22002/task/22007/stat : 22007 (cosoco) R 21999 22002 21287 0 -1 4202560 173806 0 0 0 20289 23 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810362350688 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22008] ppid=21999 vsize=1149292 memory=533156 CPUtime=202.17 cores=0-7
/proc/22002/task/22008/stat : 22008 (cosoco) R 21999 22002 21287 0 -1 4202560 178909 0 0 0 20193 24 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810353957984 5039018 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22009] ppid=21999 vsize=1149292 memory=288230617509003574 CPUtime=203.27 cores=0-7
/proc/22002/task/22009/stat : 22009 (cosoco) R 21999 22002 21287 0 -1 4202560 168355 0 0 0 20315 12 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810345565280 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22010] ppid=21999 vsize=1149292 memory=164 CPUtime=203.31 cores=0-7
/proc/22002/task/22010/stat : 22010 (cosoco) R 21999 22002 21287 0 -1 4202560 123150 0 0 0 20306 25 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810337172576 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22011] ppid=21999 vsize=1149292 memory=8261186656868483443 CPUtime=203.26 cores=0-7
/proc/22002/task/22011/stat : 22011 (cosoco) R 21999 22002 21287 0 -1 4202560 176671 0 0 0 20315 11 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810328779872 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
Current children cumulated CPU time: 1625.04 s
Current children cumulated vsize: 1149292 KiB
Current children cumulated memory: 533160 KiB
[startup+205.604 s]
/proc/loadavg: 8.14 5.62 3.37 9/199 22023
/proc/meminfo: memFree=28962644/32770624 swapFree=66958308/67108860
[pid=22002] ppid=21999 vsize=1149292 memory=533160 CPUtime=1631.44 cores=0-7
/proc/22002/stat : 22002 (cosoco) S 21999 22002 21287 0 -1 1077944320 1470079 0 0 0 162981 163 0 0 20 0 9 0 436176166 1176875008 133290 33554432000 4194304 6211092 140724449830528 140724449828784 139810421452535 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
/proc/22002/statm: 287323 133290 833 493 0 280628 0
[pid=22002/tid=22004] ppid=21999 vsize=1149292 memory=2020 CPUtime=203.83 cores=0-7
/proc/22002/task/22004/stat : 22004 (cosoco) R 21999 22002 21287 0 -1 4202560 180530 0 0 0 20356 27 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810387528800 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22005] ppid=21999 vsize=1149292 memory=533156 CPUtime=204.09 cores=0-7
/proc/22002/task/22005/stat : 22005 (cosoco) R 21999 22002 21287 0 -1 4202560 178089 0 0 0 20397 12 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810379136096 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22006] ppid=21999 vsize=1149292 memory=533156 CPUtime=202.9 cores=0-7
/proc/22002/task/22006/stat : 22006 (cosoco) R 21999 22002 21287 0 -1 4202560 152854 0 0 0 20281 9 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810370743392 5037823 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22007] ppid=21999 vsize=1149292 memory=1432 CPUtime=203.92 cores=0-7
/proc/22002/task/22007/stat : 22007 (cosoco) R 21999 22002 21287 0 -1 4202560 174782 0 0 0 20369 23 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810362350688 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22008] ppid=21999 vsize=1149292 memory=776 CPUtime=202.96 cores=0-7
/proc/22002/task/22008/stat : 22008 (cosoco) R 21999 22002 21287 0 -1 4202560 181325 0 0 0 20272 24 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810353957984 5038947 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22009] ppid=21999 vsize=1149292 memory=1056 CPUtime=204.07 cores=0-7
/proc/22002/task/22009/stat : 22009 (cosoco) R 21999 22002 21287 0 -1 4202560 168359 0 0 0 20395 12 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810345565280 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22010] ppid=21999 vsize=1149292 memory=3952 CPUtime=204.11 cores=0-7
/proc/22002/task/22010/stat : 22010 (cosoco) R 21999 22002 21287 0 -1 4202560 123154 0 0 0 20386 25 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810337172576 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22011] ppid=21999 vsize=1149292 memory=1044 CPUtime=204.06 cores=0-7
/proc/22002/task/22011/stat : 22011 (cosoco) R 21999 22002 21287 0 -1 4202560 176682 0 0 0 20395 11 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810328779872 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
Current children cumulated CPU time: 1631.44 s
Current children cumulated vsize: 1149292 KiB
Current children cumulated memory: 533160 KiB
[startup+206.401 s]
/proc/loadavg: 8.13 5.66 3.39 9/199 22023
/proc/meminfo: memFree=28962776/32770624 swapFree=66958308/67108860
[pid=22002] ppid=21999 vsize=1149292 memory=533160 CPUtime=1637.81 cores=0-7
/proc/22002/stat : 22002 (cosoco) S 21999 22002 21287 0 -1 1077944320 1472515 0 0 0 163617 164 0 0 20 0 9 0 436176166 1176875008 133290 33554432000 4194304 6211092 140724449830528 140724449828784 139810421452535 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
/proc/22002/statm: 287323 133290 833 493 0 280628 0
[pid=22002/tid=22004] ppid=21999 vsize=1149292 memory=2020 CPUtime=204.63 cores=0-7
/proc/22002/task/22004/stat : 22004 (cosoco) R 21999 22002 21287 0 -1 4202560 180530 0 0 0 20436 27 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810387528800 5039038 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22005] ppid=21999 vsize=1149292 memory=8020 CPUtime=204.88 cores=0-7
/proc/22002/task/22005/stat : 22005 (cosoco) R 21999 22002 21287 0 -1 4202560 179899 0 0 0 20476 12 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810379136096 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22006] ppid=21999 vsize=1149292 memory=10428 CPUtime=203.7 cores=0-7
/proc/22002/task/22006/stat : 22006 (cosoco) R 21999 22002 21287 0 -1 4202560 152854 0 0 0 20361 9 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810370743392 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22007] ppid=21999 vsize=1149292 memory=14012 CPUtime=204.72 cores=0-7
/proc/22002/task/22007/stat : 22007 (cosoco) R 21999 22002 21287 0 -1 4202560 174782 0 0 0 20449 23 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810362350688 5039014 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22008] ppid=21999 vsize=1149292 memory=14080 CPUtime=203.75 cores=0-7
/proc/22002/task/22008/stat : 22008 (cosoco) R 21999 22002 21287 0 -1 4202560 181949 0 0 0 20351 24 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810353957984 5039650 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22009] ppid=21999 vsize=1149292 memory=24628 CPUtime=204.87 cores=0-7
/proc/22002/task/22009/stat : 22009 (cosoco) R 21999 22002 21287 0 -1 4202560 168360 0 0 0 20475 12 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810345565280 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22010] ppid=21999 vsize=1149292 memory=2120 CPUtime=204.91 cores=0-7
/proc/22002/task/22010/stat : 22010 (cosoco) R 21999 22002 21287 0 -1 4202560 123154 0 0 0 20466 25 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810337172576 5039029 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22011] ppid=21999 vsize=1149292 memory=280676784324608 CPUtime=204.86 cores=0-7
/proc/22002/task/22011/stat : 22011 (cosoco) R 21999 22002 21287 0 -1 4202560 176683 0 0 0 20475 11 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810328779872 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
Current children cumulated CPU time: 1637.81 s
Current children cumulated vsize: 1149292 KiB
Current children cumulated memory: 533160 KiB
[startup+206.601 s]
/proc/loadavg: 8.13 5.66 3.39 9/199 22023
/proc/meminfo: memFree=28962776/32770624 swapFree=66958308/67108860
[pid=22002] ppid=21999 vsize=1149292 memory=533160 CPUtime=1639.41 cores=0-7
/proc/22002/stat : 22002 (cosoco) S 21999 22002 21287 0 -1 1077944320 1472516 0 0 0 163777 164 0 0 20 0 9 0 436176166 1176875008 133290 33554432000 4194304 6211092 140724449830528 140724449828784 139810421452535 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
/proc/22002/statm: 287323 133290 833 493 0 280628 0
[pid=22002/tid=22004] ppid=21999 vsize=1149292 memory=15255943788058280 CPUtime=204.83 cores=0-7
/proc/22002/task/22004/stat : 22004 (cosoco) R 21999 22002 21287 0 -1 4202560 180530 0 0 0 20456 27 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810387528800 5039014 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22005] ppid=21999 vsize=1149292 memory=1552 CPUtime=205.08 cores=0-7
/proc/22002/task/22005/stat : 22005 (cosoco) R 21999 22002 21287 0 -1 4202560 179900 0 0 0 20496 12 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810379136096 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22006] ppid=21999 vsize=1149292 memory=1712 CPUtime=203.9 cores=0-7
/proc/22002/task/22006/stat : 22006 (cosoco) R 21999 22002 21287 0 -1 4202560 152854 0 0 0 20381 9 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810370743392 5038737 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22007] ppid=21999 vsize=1149292 memory=1196 CPUtime=204.92 cores=0-7
/proc/22002/task/22007/stat : 22007 (cosoco) R 21999 22002 21287 0 -1 4202560 174782 0 0 0 20469 23 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810362350688 5037823 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22008] ppid=21999 vsize=1149292 memory=6935054825532540783 CPUtime=203.94 cores=0-7
/proc/22002/task/22008/stat : 22008 (cosoco) R 21999 22002 21287 0 -1 4202560 181949 0 0 0 20370 24 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810353957984 5037823 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22009] ppid=21999 vsize=1149292 memory=15620 CPUtime=205.07 cores=0-7
/proc/22002/task/22009/stat : 22009 (cosoco) R 21999 22002 21287 0 -1 4202560 168360 0 0 0 20495 12 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810345565280 5039217 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22010] ppid=21999 vsize=1149292 memory=303993199008153897 CPUtime=205.11 cores=0-7
/proc/22002/task/22010/stat : 22010 (cosoco) R 21999 22002 21287 0 -1 4202560 123154 0 0 0 20485 26 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810337172576 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
[pid=22002/tid=22011] ppid=21999 vsize=1149292 memory=15817789847897574 CPUtime=205.06 cores=0-7
/proc/22002/task/22011/stat : 22011 (cosoco) R 21999 22002 21287 0 -1 4202560 176683 0 0 0 20495 11 0 0 20 0 9 0 436176308 1176875008 133290 33554432000 4194304 6211092 140724449830528 139810328779872 5037823 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 22306816 140724449838097 140724449838189 140724449838189 140724449841102 0
Current children cumulated CPU time: 1639.41 s
Current children cumulated vsize: 1149292 KiB
Current children cumulated memory: 533160 KiB
Child status: 0
Real time (s): 206.657
CPU time (s): 1639.74
CPU user time (s): 1638.08
CPU system time (s): 1.65875
CPU usage (%): 793.459
Max. virtual memory (cumulated for all children) (KiB): 1149292
Max. memory (cumulated for all children) (KiB): 533160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1638.08
system time used= 1.65875
maximum resident set size= 533400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1472563
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= 244
involuntary context switches= 14538
# summary of solver processes directly reported to runsolver:
# pid: 22002
# total CPU time (s): 1639.74
# total CPU user time (s): 1638.08
# total CPU system time (s): 1.65875
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.966241 second user time and 1.9831 second system time
The end
Begin job on node145 at 2019-09-16 04:52:35 IDJOB=4398103 IDBENCH=126001 IDSOLVER=2851 FILE ID=node145/4398103-1568602397 RUNJOBID= node145-1568597210-21314 PBS_JOBID= 21703405 Free space on /tmp= 59532 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/QRandom/QRandom-bdd-18-21-2/bdd-18-21-2-133-78-33.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398103-1568602397/watcher-4398103-1568602397 -o /tmp/evaluation-result-4398103-1568602397/solver-4398103-1568602397 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568597210-21314 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398103-1568602397.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 81fb3456c728d6c2b2ee1ab40588047a RANDOM SEED=1698220172 node145.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.59 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.59 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.59 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.59 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: 29488888 kB MemAvailable: 31851636 kB Buffers: 161348 kB Cached: 2493328 kB SwapCached: 41084 kB Active: 1270464 kB Inactive: 1428024 kB Active(anon): 7628 kB Inactive(anon): 85464 kB Active(file): 1262836 kB Inactive(file): 1342560 kB Unevictable: 110680 kB Mlocked: 110680 kB SwapTotal: 67108860 kB SwapFree: 66958308 kB Dirty: 4776 kB Writeback: 0 kB AnonPages: 76164 kB Mapped: 45596 kB Shmem: 40604 kB Slab: 174644 kB SReclaimable: 146376 kB SUnreclaim: 28268 kB KernelStack: 3552 kB PageTables: 5244 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505740 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 30720 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= 59528 MiB End job on node145 at 2019-09-16 04:56:02