| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.O parallel | UNSAT | 1476.77 | 186.455 |
| Name | QRandom/QRandom-bdd-18-21-2/ bdd-18-21-2-133-78-06.xml |
| MD5SUM | c11db23a97f48af6ae936ba62121dffc |
| 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 | 8.61259 |
| 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 | 106 |
| Maximum variable degree | 123 |
| Distribution of variable degrees | [{"degree":106,"count":1},{"degree":107,"count":1},{"degree":108,"count":1},{"degree":111,"count":2},{"degree":112,"count":4},{"degree":113,"count":2},{"degree":114,"count":1},{"degree":116,"count":1},{"degree":117,"count":4},{"degree":118,"count":2},{"degree":120,"count":1},{"degree":123,"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.57/2.14 c root propagations : 0 5.57/2.14 c restarts enabled, print stats at every restarts 5.57/2.14 c 5.57/2.14 c 5.57/2.14 c 5.57/2.14 c This is cosoco 2.00 -- 5.57/2.14 c 5.57/2.14 c command line: cosoco -model -nbcores=8 HOME/instance-4398092-1568602374.xml 5.57/2.14 c ========================================[ Problem Statistics ]=========================================== 5.57/2.14 c | 5.57/2.14 c | Parse time : 1.42 s 5.57/2.14 c | 5.57/2.14 c | Variables: 21 5.57/2.14 c | Domain Sizes: 2..2 5.57/2.14 c | 5.57/2.14 c | Constraints: 133 5.57/2.14 c | Arity: 18..18 5.57/2.14 c | 5.57/2.14 c | Types: 5.57/2.14 c | Extension: 133 (nb tuples: 57819..57819) -- (shared: 1056) 5.57/2.14 c | 5.57/2.14 c ========================================================================================================= 5.57/2.14 c Parallel mode: Portfolio 5.57/2.14 c [pFactory][Group N°0] created (threads:8). 5.57/2.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 5.57/2.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 5.57/2.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 5.57/2.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 5.57/2.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 5.57/2.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 5.57/2.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 5.57/2.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 5.57/2.14 c [pFactory][Group N°0] concurrent mode: enabled. 5.57/2.14 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 5.57/2.14 c [pFactory][Group N°0] task 7 launched on thread 1. 5.57/2.14 c [pFactory][Group N°0] task 6 launched on thread 2. 5.57/2.14 c [pFactory][Group N°0] task 5 launched on thread 0. 5.57/2.14 c [pFactory][Group N°0] task 4 launched on thread 5. 5.57/2.14 c [pFactory][Group N°0] task 3 launched on thread 6. 5.57/2.14 c [pFactory][Group N°0] task 2 launched on thread 3. 5.57/2.14 c [pFactory][Group N°0] task 1 launched on thread 7. 5.57/2.14 c [pFactory][Group N°0] task 0 launched on thread 4. 5.57/2.14 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.57/2.14 c root propagations : 0 5.57/2.14 c restarts enabled, print stats at every restarts 5.57/2.14 c 5.57/2.14 c 5.57/2.14 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.57/2.14 c root propagations : 0 5.57/2.14 c restarts enabled, print stats at every restarts 5.57/2.14 c 5.57/2.14 c 5.57/2.14 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.57/2.15 c root propagations : 0 5.57/2.15 c restarts enabled, print stats at every restarts 5.57/2.15 c 5.57/2.15 c 5.57/2.15 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.57/2.16 c root propagations : 0 5.57/2.16 c restarts enabled, print stats at every restarts 5.57/2.16 c 5.57/2.16 c 5.57/2.17 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.57/2.17 c root propagations : 0 5.57/2.17 c restarts enabled, print stats at every restarts 5.57/2.17 c 5.57/2.17 c 5.57/2.17 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.57/2.17 c root propagations : 0 5.57/2.17 c restarts enabled, print stats at every restarts 5.57/2.17 c 5.57/2.17 c 5.57/2.17 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.57/2.17 c root propagations : 0 5.57/2.17 c restarts enabled, print stats at every restarts 5.57/2.17 c 5.57/2.17 c 5.57/2.17 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 11.89/2.99 c 32 114 15050 607 0 0 9 15 13 13.56/3.14 c 32 121 17269 640 0 0 12 15 13 14.27/3.23 c 32 121 17269 640 0 0 12 15 13 14.27/3.29 c 32 118 16127 607 0 0 12 15 13 15.07/3.37 c 101 359 49932 1984 0 0 11 15 13 16.67/3.59 c 101 355 50730 2031 0 0 9 15 13 17.46/3.68 c 101 345 46124 1926 0 0 8 16 13 18.26/3.77 c 101 363 53650 2017 0 0 8 16 13 19.06/3.82 c 33 127 16686 632 0 0 13 13 6 20.72/4.06 c 33 134 18880 665 0 0 13 13 6 22.25/4.22 c 33 134 18880 665 0 0 13 13 6 22.25/4.26 c 33 131 17711 636 0 0 13 13 6 23.91/4.45 c 211 745 107301 4170 0 0 10 15 13 26.25/4.73 c 211 711 99557 4074 0 0 8 15 13 27.11/4.85 c 64 235 31054 1222 0 0 12 14 13 28.69/5.08 c 64 244 34380 1305 0 0 9 16 13 30.22/5.25 c 64 242 33799 1293 0 0 10 16 13 30.22/5.27 c 211 716 98991 4114 0 0 9 15 13 31.03/5.30 c 211 751 104391 4085 0 0 8 15 13 31.03/5.36 c 64 232 31093 1199 0 0 10 15 13 35.03/5.81 c 65 248 32584 1254 0 0 13 13 6 35.03/5.82 c 332 1161 165442 6558 0 0 10 15 13 35.83/5.97 c 65 257 35930 1335 0 0 13 13 6 36.68/6.01 c 332 1144 157442 6414 0 0 11 15 13 39.02/6.32 c 65 256 35587 1320 0 0 14 14 7 39.02/6.39 c 65 246 32755 1227 0 0 14 14 7 43.01/6.83 c 66 261 34109 1286 0 0 13 13 6 44.66/7.04 c 332 1165 158060 6411 0 0 10 14 13 44.66/7.06 c 332 1124 154326 6357 0 0 10 14 13 44.66/7.10 c 66 270 37486 1365 0 0 13 13 6 46.99/7.38 c 465 1607 224988 9042 0 0 9 15 13 46.99/7.40 c 66 260 34472 1267 0 0 14 14 7 48.60/7.58 c 465 1597 218444 8973 0 0 9 15 13 49.40/7.61 c 66 268 37102 1343 0 0 12 12 6 51.79/7.98 c 67 275 35763 1319 0 0 14 14 7 55.78/8.43 c 67 283 39036 1395 0 0 13 13 6 55.78/8.46 c 67 274 36168 1298 0 0 14 14 7 58.18/8.78 c 465 1565 213919 8904 0 0 10 15 13 58.98/8.88 c 465 1640 219868 8973 0 0 10 15 13 60.63/9.02 c 67 281 38688 1374 0 0 13 13 6 61.45/9.14 c 611 2124 293869 11845 0 0 9 15 13 61.45/9.18 c 611 2099 285673 11726 0 0 8 15 13 63.76/9.43 c 128 468 61384 2388 0 0 11 15 13 65.36/9.60 c 128 489 64489 2456 0 0 8 15 13 67.75/10.00 c 128 496 66737 2616 0 0 11 15 13 73.34/10.60 c 129 503 66257 2492 0 0 14 14 7 73.34/10.60 c 128 492 68168 2570 0 0 10 14 13 73.34/10.63 c 611 2042 278637 11621 0 0 11 15 13 73.34/10.67 c 129 482 63030 2415 0 0 14 14 7 74.94/10.82 c 611 2135 285601 11854 0 0 10 15 13 74.94/10.87 c 771 2658 365278 14840 0 0 8 15 13 75.74/10.95 c 771 2667 361609 14847 0 0 11 15 13 78.93/11.35 c 129 509 68370 2648 0 0 13 13 6 80.54/11.56 c 130 517 68022 2528 0 0 14 14 7 82.93/11.90 c 129 505 69793 2601 0 0 13 13 6 84.58/12.08 c 130 496 64665 2442 0 0 14 14 7 87.72/12.46 c 771 2600 353923 14776 0 0 8 15 13 88.51/12.54 c 131 531 69792 2564 0 0 14 14 7 89.31/12.65 c 947 3278 450287 18384 0 0 10 15 13 89.31/12.68 c 130 522 70008 2680 0 0 13 13 6 90.12/12.76 c 771 2684 358031 14897 0 0 11 15 13 90.92/12.89 c 947 3265 440658 18138 0 0 8 15 13 94.10/13.23 c 130 518 71424 2632 0 0 13 13 6 95.69/13.41 c 131 510 66311 2469 0 0 14 14 7 97.30/13.69 c 132 545 71560 2600 0 0 14 14 7 99.70/13.98 c 131 535 71641 2712 0 0 13 13 6 102.08/14.29 c 947 3193 433094 18165 0 0 9 15 13 103.68/14.42 c 1140 3965 542420 22255 0 0 6 15 13 105.28/14.63 c 131 531 73049 2663 0 0 13 13 6 105.28/14.68 c 947 3264 435188 18094 0 0 9 15 13 106.08/14.73 c 132 524 67946 2496 0 0 14 14 7 106.08/14.76 c 1140 3932 528449 21790 0 0 9 15 13 106.87/14.89 c 133 559 73203 2627 0 0 14 14 7 110.07/15.23 c 132 548 73282 2744 0 0 13 13 6 115.66/15.90 c 132 544 74679 2694 0 0 13 13 6 116.52/16.05 c 133 538 69570 2517 0 0 14 14 7 116.52/16.07 c 134 573 74968 2663 0 0 14 14 7 118.05/16.27 c 1352 4692 641247 26450 0 0 10 15 13 118.85/16.33 c 1140 3877 524540 21964 0 0 11 15 13 120.44/16.59 c 133 561 74920 2776 0 0 13 13 6 120.44/16.60 c 1140 3926 522021 21701 0 0 6 15 13 122.84/16.83 c 1352 4667 627625 25905 0 0 11 15 13 126.03/17.26 c 135 587 76611 2690 0 0 14 14 7 126.83/17.34 c 133 557 76304 2725 0 0 13 13 6 126.83/17.39 c 134 552 71205 2544 0 0 14 14 7 130.82/17.82 c 134 574 76638 2806 0 0 13 13 6 134.01/18.21 c 1585 5514 750797 31051 0 0 8 15 13 136.41/18.52 c 1352 4607 627594 26111 0 0 10 15 13 137.21/18.66 c 134 570 77934 2756 0 0 13 13 6 138.02/18.70 c 135 566 72829 2565 0 0 14 14 7 138.81/18.80 c 256 989 129612 4887 0 0 9 15 13 138.81/18.83 c 1352 4669 619315 25796 0 0 9 15 13 139.61/18.98 c 1585 5447 731122 30381 0 0 7 15 13 140.46/19.06 c 135 587 78351 2836 0 0 13 13 6 148.46/20.05 c 257 1002 131142 4918 0 0 13 13 6 148.46/20.05 c 135 583 79559 2787 0 0 13 13 6 149.27/20.18 c 1841 6381 866634 35923 0 0 8 15 13 151.57/20.40 c 256 996 128943 4890 0 0 10 15 13 153.18/20.68 c 1585 5421 734889 30530 0 0 6 15 13 154.78/20.81 c 256 1027 137279 5282 0 0 8 15 13 156.43/21.07 c 1841 6318 848197 35231 0 0 7 15 13 157.25/21.12 c 258 1015 132761 4948 0 0 13 13 6 157.25/21.16 c 1585 5482 726180 30297 0 0 7 15 13 162.75/21.81 c 256 1011 140282 5192 0 0 9 15 13 162.75/21.83 c 257 1010 130569 4913 0 0 14 14 7 165.93/22.22 c 257 1039 138884 5305 0 0 12 12 6 166.74/22.35 c 259 1028 134375 4978 0 0 13 13 6 167.54/22.42 c 2122 7342 997637 41369 0 0 10 15 13 173.93/23.22 c 1841 6306 855082 35434 0 0 6 15 13 173.93/23.22 c 257 1024 141917 5221 0 0 13 13 6 173.93/23.28 c 258 1024 132216 4944 0 0 14 14 7 175.52/23.45 c 260 1041 135927 5009 0 0 13 13 6 176.32/23.58 c 258 1051 140489 5328 0 0 12 12 6 176.32/23.59 c 2122 7280 980512 40589 0 0 9 15 13 177.11/23.61 c 1841 6348 840723 35082 0 0 10 15 13 184.29/24.57 c 258 1037 143627 5251 0 0 13 13 6 185.09/24.65 c 259 1038 133842 4967 0 0 14 14 7 185.09/24.66 c 261 1054 137495 5036 0 0 13 13 6 185.09/24.66 c 2431 8411 1141733 47343 0 0 10 15 13 186.69/24.86 c 259 1063 142094 5351 0 0 12 12 6 193.08/25.63 c 2122 7251 983323 40689 0 0 8 15 13 193.88/25.78 c 259 1050 145342 5281 0 0 13 13 6 194.67/25.81 c 262 1067 139109 5066 0 0 13 13 6 194.67/25.89 c 260 1052 135489 4998 0 0 14 14 7 195.53/25.97 c 2431 8343 1121111 46514 0 0 9 15 13 196.33/26.03 c 2122 7302 965653 40434 0 0 11 15 13 197.15/26.12 c 260 1075 143699 5374 0 0 12 12 6 202.66/26.89 c 260 1063 147052 5311 0 0 13 13 6 203.46/26.96 c 2770 9569 1298605 53869 0 0 8 15 13 203.46/26.97 c 263 1080 140728 5096 0 0 13 13 6 205.13/27.12 c 261 1066 137115 5021 0 0 14 14 7 206.64/27.36 c 261 1087 145304 5397 0 0 12 12 6 211.44/27.98 c 2431 8273 1123644 46362 0 0 7 15 13 211.44/27.99 c 261 1076 148767 5341 0 0 13 13 6 212.29/28.10 c 264 1093 142290 5123 0 0 13 13 6 214.64/28.35 c 262 1080 138757 5052 0 0 14 14 7 215.43/28.40 c 2770 9515 1275651 53030 0 0 8 15 13 215.43/28.49 c 2431 8403 1108551 46406 0 0 9 15 13 217.03/28.62 c 262 1099 146841 5418 0 0 12 12 6 220.28/29.09 c 262 1089 150479 5371 0 0 13 13 6 222.61/29.30 c 265 1106 143858 5150 0 0 13 13 6 223.41/29.46 c 3142 10874 1475332 61230 0 0 10 15 13 225.01/29.66 c 263 1094 140383 5075 0 0 14 14 7 226.61/29.88 c 263 1111 148446 5441 0 0 12 12 6 230.60/30.31 c 263 1102 152189 5401 0 0 13 13 6 230.60/30.36 c 2770 9438 1285700 52844 0 0 10 15 13 231.40/30.43 c 266 1119 145420 5177 0 0 13 13 6 234.59/30.86 c 3142 10788 1445449 60179 0 0 9 15 13 236.24/31.02 c 264 1108 142044 5107 0 0 14 14 7 236.24/31.02 c 264 1123 149983 5462 0 0 12 12 6 236.24/31.04 c 2770 9558 1260089 52864 0 0 8 15 13 239.38/31.41 c 264 1115 153821 5424 0 0 13 13 6 240.19/31.58 c 267 1132 146988 5204 0 0 13 13 6 245.06/32.15 c 265 1135 151588 5485 0 0 12 12 6 246.57/32.30 c 3551 12308 1673117 69444 0 0 5 15 13 246.57/32.32 c 265 1122 143670 5130 0 0 14 14 7 248.16/32.53 c 265 1128 155536 5454 0 0 13 13 6 249.77/32.72 c 268 1145 148550 5231 0 0 13 13 6 251.36/32.98 c 3142 10694 1457546 59893 0 0 6 15 13 253.75/33.28 c 266 1147 153125 5506 0 0 12 12 6 256.15/33.59 c 3551 12182 1638056 68167 0 0 9 15 13 256.94/33.66 c 266 1136 145334 5167 0 0 14 14 7 256.94/33.68 c 266 1141 157168 5477 0 0 13 13 6 258.58/33.84 c 3142 10842 1427228 60003 0 0 8 15 13 258.58/33.87 c 269 1158 150118 5258 0 0 13 13 6 263.33/34.41 c 267 1159 154730 5529 0 0 12 12 6 265.74/34.79 c 267 1154 158878 5507 0 0 13 13 6 267.33/34.96 c 267 1150 146960 5190 0 0 14 14 7 268.18/35.05 c 270 1171 151680 5285 0 0 13 13 6 268.18/35.10 c 4000 13881 1884397 78131 0 0 9 15 13 272.12/35.53 c 268 1171 156267 5550 0 0 12 12 6 273.71/35.76 c 3551 12092 1650245 67764 0 0 6 15 13 274.51/35.89 c 268 1167 160510 5530 0 0 13 13 6 276.99/36.17 c 271 1184 153248 5312 0 0 13 13 6 278.51/36.34 c 268 1164 148621 5222 0 0 14 14 7 280.11/36.54 c 4000 13679 1838508 76442 0 0 7 15 13 280.90/36.66 c 269 1183 157872 5573 0 0 12 12 6 283.30/36.93 c 3551 12301 1615876 67956 0 0 6 15 13 283.30/37.00 c 269 1180 162225 5560 0 0 13 13 6 288.88/37.67 c 269 1178 150247 5245 0 0 14 14 7 290.48/37.81 c 270 1196 159519 5596 0 0 13 13 6 292.95/38.12 c 4493 15619 2119740 87985 0 0 8 15 13 292.95/38.14 c 270 1193 163857 5583 0 0 13 13 6 292.95/38.18 c 512 2013 262375 9908 0 0 6 15 13 296.86/38.67 c 4000 13622 1861851 76367 0 0 7 15 13 299.26/38.94 c 271 1208 161124 5619 0 0 12 12 6 300.11/39.03 c 270 1192 151911 5282 0 0 14 14 7 301.69/39.27 c 271 1206 165567 5613 0 0 13 13 6 301.69/39.28 c 513 2026 263923 9932 0 0 13 13 6 304.84/39.60 c 4493 15404 2064976 85975 0 0 8 15 13 308.09/40.07 c 4000 13833 1816688 76587 0 0 7 15 13 310.44/40.34 c 271 1206 153537 5305 0 0 14 14 7 311.23/40.43 c 514 2039 265452 9963 0 0 13 13 6 316.08/41.02 c 512 2035 270168 10260 0 0 9 15 13 316.90/41.13 c 512 2018 273945 10168 0 0 9 15 13 316.90/41.18 c 5035 17469 2368866 98262 0 0 9 15 13 320.02/41.53 c 515 2052 267000 9987 0 0 13 13 6 320.02/41.56 c 4493 15369 2101799 86071 0 0 10 15 13 325.64/42.25 c 513 2048 271806 10292 0 0 13 13 6 326.41/42.33 c 513 2031 275561 10191 0 0 13 13 6 328.00/42.59 c 516 2065 268529 10018 0 0 13 13 6 328.80/42.64 c 512 2040 264179 9870 0 0 7 15 13 329.61/42.73 c 5035 17193 2306974 96173 0 0 8 15 13 334.39/43.36 c 4493 15577 2043335 86260 0 0 9 15 13 335.99/43.54 c 514 2061 273451 10324 0 0 13 13 6 335.99/43.55 c 514 2044 277177 10214 0 0 13 13 6 336.78/43.65 c 517 2078 270077 10042 0 0 13 13 6 339.21/43.92 c 513 2054 266044 9904 0 0 14 14 7 343.96/44.54 c 5631 19517 2647448 109878 0 0 8 15 13 345.57/44.72 c 518 2091 271606 10073 0 0 13 13 6 345.57/44.74 c 515 2074 275089 10356 0 0 13 13 6 345.57/44.77 c 515 2057 278776 10237 0 0 13 13 6 345.57/44.79 c 5035 17230 2353303 96508 0 0 7 15 13 348.84/45.16 c 514 2068 267909 9938 0 0 14 14 7 354.35/45.80 c 519 2104 273154 10097 0 0 13 13 6 355.15/45.96 c 516 2087 276730 10388 0 0 13 13 6 356.00/46.02 c 516 2070 280383 10260 0 0 13 13 6 358.34/46.34 c 515 2082 269774 9972 0 0 14 14 7 359.94/46.56 c 5631 19219 2578505 107568 0 0 9 15 13 362.33/46.84 c 520 2117 274683 10128 0 0 13 13 6 363.13/46.90 c 5035 17485 2292033 96963 0 0 5 15 13 364.81/47.12 c 517 2083 281999 10283 0 0 13 13 6 364.81/47.17 c 517 2100 278368 10420 0 0 13 13 6 367.11/47.44 c 516 2096 271639 10006 0 0 14 14 7 371.12/47.92 c 521 2130 276231 10152 0 0 13 13 6 373.54/48.29 c 5631 19326 2639498 108057 0 0 6 15 13 374.30/48.31 c 518 2096 283615 10306 0 0 13 13 6 374.30/48.32 c 518 2113 280009 10452 0 0 13 13 6 375.10/48.47 c 6286 21805 2954399 122570 0 0 8 15 13 375.90/48.54 c 517 2110 273504 10040 0 0 14 14 7 379.10/48.95 c 522 2143 277865 10184 0 0 13 13 6 383.08/49.46 c 519 2126 281647 10484 0 0 13 13 6 383.89/49.50 c 519 2109 285214 10329 0 0 13 13 6 384.68/49.67 c 518 2124 275369 10074 0 0 14 14 7 387.93/50.05 c 6286 21498 2883878 120179 0 0 9 15 13 387.93/50.07 c 523 2156 279413 10208 0 0 13 13 6 392.67/50.61 c 520 2139 283288 10516 0 0 13 13 6 392.67/50.65 c 5631 19557 2564934 108469 0 0 9 15 13 392.67/50.66 c 520 2122 286821 10352 0 0 13 13 6 393.46/50.75 c 519 2138 277234 10108 0 0 14 14 7 396.74/51.15 c 524 2169 281047 10240 0 0 13 13 6 401.45/51.75 c 521 2152 284926 10548 0 0 13 13 6 401.45/51.75 c 521 2135 288437 10375 0 0 13 13 6 402.25/51.84 c 520 2152 279109 10145 0 0 14 14 7 403.90/52.10 c 7006 24262 3285345 136367 0 0 8 15 13 404.72/52.19 c 525 2182 282595 10264 0 0 13 13 6 406.24/52.31 c 6286 21612 2955319 120766 0 0 5 15 13 410.23/52.89 c 522 2165 286644 10578 0 0 13 13 6 411.03/52.95 c 522 2148 290053 10398 0 0 13 13 6 411.03/52.96 c 521 2166 280974 10179 0 0 14 14 7 413.46/53.24 c 526 2195 284229 10296 0 0 13 13 6 418.22/53.86 c 7006 23944 3207381 133935 0 0 8 15 13 419.86/54.07 c 522 2180 282833 10213 0 0 14 14 7 420.69/54.12 c 523 2161 291652 10421 0 0 13 13 6 420.69/54.12 c 523 2178 288362 10608 0 0 13 13 6 421.44/54.27 c 527 2208 285777 10320 0 0 13 13 6 427.85/55.07 c 6286 21825 2861255 121189 0 0 9 15 13 429.42/55.24 c 523 2194 284708 10250 0 0 14 14 7 429.42/55.27 c 524 2191 290003 10640 0 0 13 13 6 429.42/55.27 c 524 2174 293259 10444 0 0 13 13 6 430.18/55.31 c 528 2221 287411 10352 0 0 13 13 6 436.66/56.14 c 7798 26983 3646678 151620 0 0 7 15 13 438.16/56.36 c 529 2234 288959 10376 0 0 13 13 6 438.16/56.37 c 524 2208 286567 10284 0 0 14 14 7 438.16/56.38 c 525 2187 294875 10467 0 0 13 13 6 438.96/56.45 c 525 2204 291641 10672 0 0 13 13 6 439.76/56.50 c 7006 24064 3295299 134624 0 0 8 15 13 446.95/57.42 c 530 2247 290593 10408 0 0 13 13 6 447.76/57.51 c 525 2222 288432 10318 0 0 14 14 7 447.76/57.60 c 526 2200 296491 10490 0 0 13 13 6 448.56/57.60 c 526 2217 293359 10702 0 0 13 13 6 454.14/58.30 c 7798 26710 3576078 149174 0 0 6 15 13 454.93/58.43 c 531 2260 292141 10432 0 0 13 13 6 456.53/58.62 c 526 2236 290301 10355 0 0 14 14 7 457.34/58.76 c 527 2213 298090 10513 0 0 13 13 6 457.34/58.79 c 527 2230 295077 10732 0 0 13 13 6 462.12/59.35 c 7006 24273 3179617 135058 0 0 9 15 13 462.92/59.47 c 532 2273 293775 10464 0 0 13 13 6 465.31/59.71 c 527 2250 292166 10389 0 0 14 14 7 466.92/59.92 c 528 2226 299697 10536 0 0 13 13 6 466.92/59.94 c 528 2243 296718 10764 0 0 13 13 6 471.70/60.51 c 533 2286 295323 10488 0 0 13 13 6 474.10/60.80 c 528 2264 294025 10423 0 0 14 14 7 474.90/60.94 c 8669 29945 4044524 168231 0 0 6 15 13 475.75/61.02 c 529 2239 301313 10559 0 0 13 13 6 475.75/61.04 c 7798 26811 3673230 150045 0 0 7 15 13 476.57/61.13 c 529 2256 298356 10796 0 0 13 13 6 479.69/61.52 c 534 2299 296957 10520 0 0 13 13 6 482.88/61.91 c 529 2278 295900 10460 0 0 14 14 7 485.31/62.22 c 530 2252 302929 10582 0 0 13 13 6 485.31/62.29 c 530 2269 300074 10826 0 0 13 13 6 487.67/62.54 c 535 2312 298505 10544 0 0 13 13 6 489.27/62.73 c 8669 29674 3976660 165723 0 0 8 15 13 490.87/62.99 c 530 2292 297759 10494 0 0 14 14 7 494.05/63.37 c 531 2265 304528 10605 0 0 13 13 6 494.85/63.47 c 531 2282 301792 10856 0 0 13 13 6 495.66/63.58 c 536 2325 300139 10576 0 0 13 13 6 499.70/64.07 c 531 2306 299624 10528 0 0 14 14 7 500.52/64.20 c 7798 27002 3537419 150284 0 0 4 15 13 503.64/64.52 c 532 2278 306135 10628 0 0 13 13 6 504.43/64.60 c 537 2338 301687 10600 0 0 13 13 6 504.43/64.62 c 532 2295 303510 10886 0 0 13 13 6 508.50/65.13 c 532 2320 301493 10565 0 0 14 14 7 512.41/65.60 c 533 2291 307751 10651 0 0 13 13 6 512.41/65.63 c 538 2351 303321 10632 0 0 13 13 6 512.41/65.67 c 9627 33248 4482251 186701 0 0 7 15 13 513.21/65.74 c 8669 29809 4085439 166900 0 0 9 15 13 513.21/65.76 c 533 2308 305228 10916 0 0 13 13 6 517.23/66.22 c 533 2334 303358 10599 0 0 14 14 7 520.39/66.67 c 539 2364 304869 10656 0 0 13 13 6 521.99/66.80 c 534 2304 309367 10674 0 0 13 13 6 522.79/66.92 c 534 2321 306869 10948 0 0 13 13 6 525.97/67.31 c 534 2348 305217 10633 0 0 14 14 7 528.37/67.69 c 540 2377 306503 10688 0 0 13 13 6 529.97/67.86 c 9627 32949 4408490 183929 0 0 7 15 13 530.78/67.96 c 535 2317 310966 10697 0 0 13 13 6 532.45/68.12 c 535 2334 308507 10980 0 0 13 13 6 533.96/68.39 c 535 2362 307092 10670 0 0 14 14 7 537.16/68.72 c 541 2390 308051 10712 0 0 13 13 6 539.60/69.10 c 536 2330 312573 10720 0 0 13 13 6 541.18/69.26 c 536 2347 310225 11010 0 0 13 13 6 542.74/69.43 c 8669 30057 3935154 167126 0 0 7 15 13 542.74/69.46 c 536 2376 308951 10704 0 0 14 14 7 545.13/69.74 c 542 2403 309685 10744 0 0 13 13 6 548.42/70.19 c 537 2343 314189 10743 0 0 13 13 6 550.73/70.44 c 537 2360 311943 11040 0 0 13 13 6 551.53/70.53 c 537 2390 310816 10738 0 0 14 14 7 552.33/70.69 c 9627 33126 4538785 185582 0 0 8 15 13 553.13/70.75 c 543 2416 311233 10768 0 0 13 13 6 553.92/70.80 c 10680 36844 4956699 206791 0 0 7 15 13 557.91/71.37 c 538 2356 315805 10766 0 0 13 13 6 559.52/71.59 c 538 2373 313661 11070 0 0 13 13 6 560.37/71.64 c 538 2404 312685 10775 0 0 14 14 7 567.49/72.56 c 539 2369 317404 10789 0 0 13 13 6 569.09/72.75 c 539 2418 314550 10809 0 0 14 14 7 569.09/72.76 c 539 2386 315379 11100 0 0 13 13 6 571.54/73.03 c 10680 36550 4886204 204004 0 0 7 15 13 574.68/73.40 c 1024 4015 525732 19660 0 0 9 15 13 577.08/73.72 c 540 2382 319011 10812 0 0 13 13 6 577.88/73.85 c 540 2432 316409 10843 0 0 14 14 7 578.68/73.91 c 540 2399 317020 11132 0 0 13 13 6 582.65/74.47 c 1025 4028 527400 19685 0 0 13 13 6 584.25/74.62 c 9627 33376 4368795 185652 0 0 7 15 13 585.85/74.81 c 541 2395 320627 10835 0 0 13 13 6 586.65/74.94 c 541 2446 318284 10880 0 0 14 14 7 587.50/75.09 c 541 2412 318658 11164 0 0 13 13 6 592.24/75.65 c 1026 4041 529062 19710 0 0 13 13 6 594.64/76.00 c 542 2408 322323 10865 0 0 13 13 6 595.49/76.06 c 542 2460 320143 10914 0 0 14 14 7 596.31/76.12 c 10680 36759 5043068 205973 0 0 8 15 13 597.06/76.25 c 542 2425 320376 11194 0 0 13 13 6 601.03/76.77 c 1027 4054 530730 19735 0 0 13 13 6 604.30/77.17 c 543 2474 322008 10948 0 0 14 14 7 604.30/77.18 c 543 2421 323922 10888 0 0 13 13 6 605.05/77.22 c 11838 40762 5508225 228980 0 0 8 15 13 606.61/77.43 c 543 2438 322094 11224 0 0 13 13 6 609.80/77.88 c 1028 4067 532392 19760 0 0 13 13 6 618.59/78.92 c 11838 40520 5422358 226081 0 0 5 15 13 618.59/79.00 c 1029 4080 534060 19785 0 0 13 13 6 627.42/80.08 c 1024 4057 540667 20052 0 0 10 15 13 628.25/80.14 c 1030 4093 535722 19810 0 0 13 13 6 629.00/80.22 c 1024 4204 550452 20348 0 0 8 15 13 629.76/80.37 c 10680 36972 4839387 205653 0 0 8 15 13 632.16/80.64 c 1024 4060 535580 20470 0 0 10 15 13 636.23/81.17 c 1025 4070 542283 20075 0 0 13 13 6 636.99/81.27 c 1031 4106 537390 19835 0 0 13 13 6 638.54/81.42 c 1025 4219 552240 20388 0 0 15 15 7 641.74/81.88 c 1025 4073 537237 20502 0 0 13 13 6 641.74/81.89 c 11838 40744 5591028 228461 0 0 6 15 13 645.73/82.39 c 1026 4083 544005 20101 0 0 13 13 6 646.53/82.41 c 1032 4119 539052 19860 0 0 13 13 6 648.12/82.69 c 1026 4234 553992 20419 0 0 15 15 7 652.20/83.16 c 1026 4086 538897 20534 0 0 13 13 6 654.51/83.45 c 13111 45138 6089035 253602 0 0 7 15 13 655.32/83.55 c 1033 4132 540720 19885 0 0 13 13 6 655.32/83.56 c 1027 4096 545621 20124 0 0 13 13 6 657.71/83.89 c 1027 4249 555780 20459 0 0 15 15 7 661.69/84.38 c 1027 4099 540554 20566 0 0 13 13 6 664.09/84.67 c 1034 4145 542382 19910 0 0 13 13 6 664.90/84.77 c 1028 4109 547343 20150 0 0 13 13 6 666.49/84.99 c 13111 44900 6003035 250417 0 0 6 15 13 667.34/85.08 c 1028 4264 557532 20490 0 0 15 15 7 671.28/85.53 c 1028 4112 542214 20598 0 0 13 13 6 673.67/85.81 c 1035 4158 544050 19935 0 0 13 13 6 674.48/85.92 c 1029 4122 548959 20173 0 0 13 13 6 676.90/86.25 c 1029 4279 559320 20530 0 0 15 15 7 680.06/86.68 c 1029 4125 543871 20630 0 0 13 13 6 682.46/86.90 c 11838 40957 5358125 228007 0 0 7 15 13 682.46/86.94 c 1036 4171 545712 19960 0 0 13 13 6 683.31/87.09 c 1030 4135 550681 20199 0 0 13 13 6 686.44/87.41 c 1030 4294 561079 20560 0 0 15 15 7 689.64/87.83 c 1030 4138 545531 20662 0 0 13 13 6 691.29/88.07 c 1037 4184 547380 19985 0 0 13 13 6 692.87/88.25 c 1031 4148 552297 20222 0 0 13 13 6 694.43/88.46 c 13111 45188 6205096 253497 0 0 8 15 13 695.23/88.58 c 1031 4309 562867 20600 0 0 15 15 7 698.43/88.97 c 1031 4151 547188 20694 0 0 13 13 6 700.85/89.21 c 1038 4197 549079 20020 0 0 13 13 6 702.41/89.41 c 1032 4161 554019 20248 0 0 13 13 6 704.81/89.74 c 1032 4324 564626 20630 0 0 15 15 7 708.09/90.12 c 1032 4164 548848 20726 0 0 13 13 6 708.09/90.18 c 14511 49974 6734315 280680 0 0 8 15 13 709.60/90.33 c 1039 4210 550747 20045 0 0 13 13 6 711.19/90.57 c 1033 4174 555635 20271 0 0 13 13 6 714.39/90.94 c 1033 4339 566421 20669 0 0 15 15 7 716.82/91.27 c 1033 4177 550505 20758 0 0 13 13 6 718.37/91.46 c 1040 4223 552446 20080 0 0 13 13 6 720.77/91.70 c 14511 49686 6643559 277096 0 0 7 15 13 720.77/91.75 c 1034 4187 557357 20297 0 0 13 13 6 723.22/92.10 c 1034 4354 568180 20699 0 0 15 15 7 726.36/92.41 c 1034 4190 552165 20790 0 0 13 13 6 727.16/92.58 c 1041 4236 554114 20105 0 0 13 13 6 729.56/92.89 c 1035 4200 558973 20320 0 0 13 13 6 732.78/93.27 c 1035 4369 569981 20735 0 0 15 15 7 735.15/93.55 c 1035 4203 553822 20822 0 0 13 13 6 735.15/93.58 c 13111 45339 5928272 252610 0 0 7 15 13 735.94/93.70 c 1042 4249 555813 20140 0 0 13 13 6 739.19/94.04 c 1036 4213 560695 20346 0 0 13 13 6 743.12/94.52 c 1036 4384 571740 20765 0 0 15 15 7 743.92/94.69 c 1036 4216 555469 20845 0 0 13 13 6 745.52/94.85 c 1043 4262 557481 20165 0 0 13 13 6 748.00/95.19 c 1037 4226 562311 20369 0 0 13 13 6 751.90/95.63 c 14511 50048 6876898 280808 0 0 6 15 13 751.90/95.69 c 1037 4399 573541 20801 0 0 15 15 7 753.50/95.83 c 1037 4229 557126 20877 0 0 13 13 6 754.31/95.97 c 1044 4275 559180 20200 0 0 13 13 6 757.49/96.35 c 1038 4239 564033 20395 0 0 13 13 6 761.49/96.87 c 1038 4414 575300 20831 0 0 15 15 7 762.29/96.98 c 1038 4242 558773 20900 0 0 13 13 6 763.96/97.12 c 1045 4288 560848 20225 0 0 13 13 6 767.08/97.50 c 1039 4252 565649 20418 0 0 13 13 6 769.47/97.85 c 16051 55324 7448321 310590 0 0 6 15 13 771.12/98.06 c 1039 4429 577101 20867 0 0 15 15 7 771.95/98.13 c 1039 4255 560430 20932 0 0 13 13 6 772.70/98.23 c 1046 4301 562547 20260 0 0 13 13 6 775.86/98.67 c 1040 4265 567371 20444 0 0 13 13 6 780.68/99.26 c 1040 4444 578860 20897 0 0 15 15 7 780.68/99.28 c 1040 4268 562077 20955 0 0 13 13 6 781.44/99.33 c 1047 4314 564215 20285 0 0 13 13 6 783.05/99.58 c 16051 54998 7352673 306566 0 0 7 15 13 785.44/99.82 c 1041 4278 568987 20467 0 0 13 13 6 790.22/100.42 c 1041 4281 563734 20987 0 0 13 13 6 790.22/100.43 c 1041 4459 580661 20933 0 0 15 15 7 790.22/100.49 c 1048 4327 565914 20320 0 0 13 13 6 794.20/100.96 c 1042 4291 570709 20493 0 0 13 13 6 794.20/101.00 c 14511 50171 6561683 279421 0 0 6 15 13 798.19/101.47 c 1042 4294 565381 21010 0 0 13 13 6 799.79/101.63 c 1049 4340 567619 20355 0 0 13 13 6 799.79/101.64 c 1042 4474 582420 20963 0 0 15 15 7 803.04/102.04 c 1043 4304 572325 20516 0 0 13 13 6 806.98/102.51 c 1043 4307 567038 21042 0 0 13 13 6 808.58/102.74 c 1050 4353 569318 20390 0 0 13 13 6 809.37/102.81 c 1043 4489 584221 20999 0 0 15 15 7 811.84/103.14 c 1044 4317 574047 20542 0 0 13 13 6 814.97/103.55 c 1044 4320 568685 21065 0 0 13 13 6 817.36/103.88 c 1051 4366 571023 20425 0 0 13 13 6 818.17/103.96 c 16051 55329 7607092 310503 0 0 6 15 13 819.00/104.01 c 1044 4504 585980 21029 0 0 15 15 7 820.54/104.23 c 1045 4330 575663 20565 0 0 13 13 6 822.93/104.59 c 1045 4333 570342 21097 0 0 13 13 6 826.98/105.04 c 1052 4379 572722 20460 0 0 13 13 6 827.81/105.18 c 1045 4519 587781 21065 0 0 15 15 7 829.32/105.33 c 1046 4343 577385 20591 0 0 13 13 6 831.72/105.64 c 1046 4346 571989 21120 0 0 13 13 6 835.79/106.15 c 1053 4392 574427 20495 0 0 13 13 6 837.31/106.34 c 17745 61182 8221782 343569 0 0 4 15 13 837.31/106.38 c 1046 4534 589540 21095 0 0 15 15 7 838.11/106.43 c 1047 4356 579001 20614 0 0 13 13 6 839.71/106.67 c 1047 4359 573646 21152 0 0 13 13 6 844.50/107.27 c 1054 4405 576126 20530 0 0 13 13 6 846.89/107.55 c 1048 4369 580723 20640 0 0 13 13 6 846.89/107.58 c 1047 4549 591336 21131 0 0 15 15 7 848.49/107.72 c 1048 4372 575293 21175 0 0 13 13 6 849.28/107.88 c 17745 60814 8132283 338937 0 0 3 15 13 854.07/108.41 c 1055 4418 577831 20565 0 0 13 13 6 855.67/108.65 c 1049 4382 582339 20663 0 0 13 13 6 856.48/108.78 c 1049 4385 576950 21207 0 0 13 13 6 858.07/108.93 c 1048 4564 593154 21172 0 0 15 15 7 862.86/109.54 c 1056 4431 579530 20600 0 0 13 13 6 864.46/109.76 c 1050 4395 584061 20689 0 0 13 13 6 865.26/109.83 c 1050 4398 578597 21230 0 0 13 13 6 868.45/110.20 c 1049 4579 594972 21213 0 0 15 15 7 870.85/110.56 c 16051 55540 7272299 309235 0 0 6 15 13 871.64/110.68 c 1057 4444 581235 20635 0 0 13 13 6 873.24/110.86 c 1051 4408 585677 20712 0 0 13 13 6 873.24/110.87 c 1051 4411 580254 21262 0 0 13 13 6 877.99/111.42 c 1050 4594 596790 21254 0 0 15 15 7 881.19/111.83 c 1058 4457 582941 20670 0 0 13 13 6 882.00/111.92 c 1052 4424 581901 21285 0 0 13 13 6 882.00/111.96 c 1052 4421 587399 20738 0 0 13 13 6 887.58/112.65 c 1051 4609 598608 21295 0 0 15 15 7 889.17/112.83 c 17745 61176 8411601 343330 0 0 6 15 13 889.97/112.96 c 1053 4437 583558 21317 0 0 13 13 6 890.82/113.04 c 1059 4470 584646 20705 0 0 13 13 6 890.82/113.04 c 1053 4434 589015 20761 0 0 13 13 6 897.16/113.89 c 1052 4624 600426 21336 0 0 15 15 7 898.80/114.02 c 1054 4450 585205 21340 0 0 13 13 6 899.62/114.15 c 1054 4447 590737 20787 0 0 13 13 6 899.62/114.19 c 1060 4483 586352 20740 0 0 13 13 6 906.78/115.05 c 1055 4463 586862 21372 0 0 13 13 6 907.61/115.14 c 1053 4639 602244 21377 0 0 15 15 7 908.36/115.23 c 1055 4460 592353 20810 0 0 13 13 6 909.12/115.33 c 19608 67582 9067456 379154 0 0 7 15 13 909.12/115.35 c 1061 4496 588057 20775 0 0 13 13 6 914.77/116.10 c 1056 4476 588509 21395 0 0 13 13 6 917.11/116.35 c 1056 4473 594075 20836 0 0 13 13 6 917.11/116.39 c 1054 4654 604062 21418 0 0 15 15 7 917.90/116.49 c 1062 4509 589763 20810 0 0 13 13 6 923.58/117.12 c 1057 4489 590166 21427 0 0 13 13 6 925.89/117.43 c 1057 4486 595691 20859 0 0 13 13 6 927.49/117.62 c 1055 4669 605880 21459 0 0 15 15 7 927.49/117.63 c 1063 4522 591468 20845 0 0 13 13 6 929.08/117.87 c 19608 67126 8988540 374088 0 0 6 15 13 931.56/118.16 c 1058 4502 591813 21450 0 0 13 13 6 934.67/118.53 c 1058 4499 597413 20885 0 0 13 13 6 936.27/118.79 c 1064 4535 593174 20880 0 0 13 13 6 937.07/118.87 c 1056 4684 607698 21500 0 0 15 15 7 940.26/119.20 c 1059 4515 593470 21482 0 0 13 13 6 943.45/119.61 c 1059 4512 599029 20908 0 0 13 13 6 945.86/119.94 c 1065 4548 594879 20915 0 0 13 13 6 947.53/120.11 c 1057 4699 609516 21541 0 0 15 15 7 948.28/120.24 c 1060 4528 595117 21505 0 0 13 13 6 948.28/120.24 c 17745 61487 8046051 342140 0 0 6 15 13 952.24/120.70 c 1060 4525 600751 20934 0 0 13 13 6 954.75/121.10 c 1066 4561 596585 20950 0 0 13 13 6 957.01/121.31 c 1061 4541 596774 21537 0 0 13 13 6 957.01/121.38 c 1058 4714 611334 21582 0 0 15 15 7 960.21/121.79 c 1061 4538 602367 20957 0 0 13 13 6 961.81/121.99 c 19608 67588 9295725 379379 0 0 8 15 13 964.19/122.27 c 1067 4574 598290 20985 0 0 13 13 6 964.99/122.36 c 1062 4554 598421 21560 0 0 13 13 6 967.39/122.63 c 1059 4729 613152 21623 0 0 15 15 7 968.99/122.87 c 1062 4551 604089 20983 0 0 13 13 6 973.78/123.41 c 1063 4567 600078 21592 0 0 13 13 6 973.78/123.42 c 1068 4587 599996 21020 0 0 13 13 6 976.97/123.88 c 1060 4744 614970 21664 0 0 15 15 7 977.77/123.96 c 1063 4564 605705 21006 0 0 13 13 6 981.75/124.46 c 1064 4580 601725 21615 0 0 13 13 6 982.55/124.57 c 1069 4600 601701 21055 0 0 13 13 6 986.60/125.01 c 21657 74752 10012843 418801 0 0 7 15 13 986.60/125.05 c 1064 4577 607427 21032 0 0 13 13 6 987.43/125.13 c 1061 4759 616788 21705 0 0 15 15 7 990.55/125.51 c 1065 4593 603382 21647 0 0 13 13 6 992.14/125.70 c 1070 4613 603407 21090 0 0 13 13 6 995.41/126.15 c 1065 4590 609043 21055 0 0 13 13 6 996.93/126.39 c 1062 4774 618606 21746 0 0 15 15 7 998.52/126.56 c 1066 4606 605029 21670 0 0 13 13 6 1000.92/126.85 c 1071 4626 605112 21125 0 0 13 13 6 1003.39/127.13 c 21657 74301 9930865 413645 0 0 4 15 13 1004.11/127.24 c 1066 4603 610762 21081 0 0 13 13 6 1007.30/127.61 c 1067 4619 606686 21702 0 0 13 13 6 1007.30/127.64 c 1063 4789 620424 21787 0 0 15 15 7 1010.55/128.01 c 1072 4639 606818 21160 0 0 13 13 6 1013.68/128.40 c 1067 4616 612378 21104 0 0 13 13 6 1015.28/128.66 c 1068 4632 608333 21725 0 0 13 13 6 1016.88/128.89 c 1064 4804 622242 21828 0 0 15 15 7 1019.36/129.20 c 1073 4652 608523 21195 0 0 13 13 6 1022.47/129.51 c 1068 4629 614193 21143 0 0 13 13 6 1024.06/129.70 c 1069 4645 609990 21757 0 0 13 13 6 1027.34/130.12 c 1065 4819 624060 21869 0 0 15 15 7 1028.85/130.32 c 1074 4665 610229 21230 0 0 13 13 6 1031.25/130.65 c 1069 4642 615809 21166 0 0 13 13 6 1032.05/130.74 c 1070 4658 611637 21780 0 0 13 13 6 1033.65/130.94 c 19608 68030 8906569 378329 0 0 6 15 13 1036.83/131.36 c 1066 4834 625878 21910 0 0 15 15 7 1037.63/131.48 c 1075 4678 611934 21265 0 0 13 13 6 1039.23/131.69 c 21657 74591 10260972 418863 0 0 6 15 13 1040.03/131.77 c 1070 4655 617624 21205 0 0 13 13 6 1040.03/131.77 c 1071 4671 613294 21812 0 0 13 13 6 1047.21/132.61 c 1067 4849 627696 21951 0 0 15 15 7 1047.21/132.65 c 1076 4691 613640 21300 0 0 13 13 6 1048.81/132.82 c 1072 4684 614941 21835 0 0 13 13 6 1048.81/132.89 c 1071 4668 619240 21228 0 0 13 13 6 1055.99/133.77 c 1077 4704 615169 21321 0 0 13 13 6 1056.79/133.86 c 1073 4697 616598 21867 0 0 13 13 6 1056.79/133.88 c 1068 4864 629514 21992 0 0 15 15 7 1058.44/134.03 c 1072 4681 621055 21267 0 0 13 13 6 1065.57/134.90 c 1074 4710 618245 21890 0 0 13 13 6 1065.57/134.93 c 1078 4716 616647 21343 0 0 12 12 6 1067.25/135.13 c 1073 4694 622671 21290 0 0 13 13 6 1067.25/135.13 c 1069 4879 631332 22033 0 0 15 15 7 1068.76/135.36 c 23910 82543 11050678 461939 0 0 8 15 13 1073.57/135.92 c 1075 4723 619902 21922 0 0 13 13 6 1073.57/136.01 c 1079 4729 618352 21378 0 0 13 13 6 1075.99/136.26 c 1074 4707 624486 21329 0 0 13 13 6 1077.55/136.40 c 1070 4894 633150 22074 0 0 15 15 7 1081.55/136.96 c 1076 4736 621549 21945 0 0 13 13 6 1083.22/137.15 c 1080 4742 619881 21399 0 0 13 13 6 1084.73/137.35 c 1075 4720 626102 21352 0 0 13 13 6 1087.13/137.63 c 1071 4909 634968 22115 0 0 15 15 7 1087.93/137.71 c 23910 82045 10960279 456301 0 0 6 15 13 1089.53/137.97 c 1077 4749 623206 21977 0 0 13 13 6 1092.73/138.30 c 1081 4754 621359 21421 0 0 12 12 6 1093.52/138.46 c 1076 4733 627917 21391 0 0 13 13 6 1096.72/138.89 c 1072 4924 636786 22156 0 0 15 15 7 1098.37/139.01 c 1078 4762 624853 22000 0 0 13 13 6 1101.50/139.43 c 1082 4767 622888 21442 0 0 13 13 6 1102.31/139.56 c 1077 4746 629533 21414 0 0 13 13 6 1106.35/140.04 c 1079 4775 626510 22032 0 0 13 13 6 1107.18/140.14 c 1073 4939 638604 22197 0 0 15 15 7 1110.29/140.50 c 1083 4779 624366 21464 0 0 12 12 6 1111.08/140.66 c 1078 4759 631348 21453 0 0 13 13 6 1114.33/141.08 c 1080 4788 628157 22055 0 0 13 13 6 1115.16/141.14 c 21657 75072 9817360 417662 0 0 6 15 13 1116.67/141.39 c 1074 4954 640422 22238 0 0 15 15 7 1118.28/141.57 c 1084 4792 625895 21485 0 0 13 13 6 1119.87/141.76 c 1079 4772 632964 21476 0 0 13 13 6 1123.14/142.11 c 1081 4801 629814 22087 0 0 13 13 6 1125.45/142.46 c 23910 82286 11326268 462275 0 0 7 15 13 1127.04/142.63 c 1075 4969 642240 22279 0 0 15 15 7 1127.04/142.65 c 1085 4804 627373 21507 0 0 12 12 6 1128.64/142.89 c 1080 4785 634779 21515 0 0 13 13 6 1131.12/143.16 c 1082 4814 631461 22110 0 0 13 13 6 1135.83/143.76 c 1086 4817 628902 21528 0 0 13 13 6 1137.43/143.91 c 1076 4984 644058 22320 0 0 15 15 7 1138.27/144.03 c 1081 4798 636395 21538 0 0 13 13 6 1139.80/144.21 c 1083 4827 633118 22142 0 0 13 13 6 1144.60/144.83 c 1087 4829 630380 21550 0 0 12 12 6 1147.07/145.16 c 1082 4811 638210 21577 0 0 13 13 6 1147.07/145.17 c 1077 4999 645876 22361 0 0 15 15 7 1147.79/145.24 c 1084 4840 634765 22165 0 0 13 13 6 1155.77/146.27 c 1083 4824 639826 21600 0 0 13 13 6 1155.77/146.28 c 1085 4853 636422 22197 0 0 13 13 6 1157.37/146.42 c 1078 5014 647694 22402 0 0 15 15 7 1158.17/146.50 c 26388 91118 12193517 509271 0 0 6 15 13 1164.55/147.34 c 1086 4866 638069 22220 0 0 13 13 6 1165.35/147.41 c 1084 4837 641641 21639 0 0 13 13 6 1166.95/147.69 c 1079 5029 649512 22443 0 0 15 15 7 1172.54/148.37 c 1087 4879 639726 22252 0 0 13 13 6 1174.13/148.52 c 1085 4850 643257 21662 0 0 13 13 6 1177.33/148.94 c 1080 5044 651330 22484 0 0 15 15 7 1182.13/149.55 c 2048 8124 1071114 39943 0 0 5 15 13 1182.92/149.63 c 1086 4863 645072 21701 0 0 13 13 6 1186.99/150.16 c 1081 5059 653148 22525 0 0 15 15 7 1188.51/150.33 c 26388 90567 12142010 504144 0 0 7 15 13 1190.90/150.66 c 2049 8137 1072782 39968 0 0 13 13 6 1191.70/150.71 c 1087 4876 646688 21724 0 0 13 13 6 1196.49/151.38 c 1082 5074 654966 22566 0 0 15 15 7 1199.69/151.79 c 2050 8150 1074481 40003 0 0 13 13 6 1206.07/152.59 c 1083 5089 656784 22607 0 0 15 15 7 1209.27/152.93 c 2051 8163 1076010 40024 0 0 13 13 6 1209.27/152.98 c 23910 83057 10853315 461837 0 0 6 15 13 1214.85/153.63 c 2048 8277 1094863 41315 0 0 9 15 13 1216.44/153.81 c 1084 5104 658602 22648 0 0 15 15 7 1218.09/154.06 c 2052 8176 1077600 40065 0 0 13 13 6 1222.02/154.57 c 26388 90866 12515713 510768 0 0 6 15 13 1223.62/154.77 c 2049 8290 1096446 41338 0 0 13 13 6 1226.07/155.06 c 1085 5119 660420 22689 0 0 15 15 7 1226.07/155.09 c 2053 8189 1079129 40086 0 0 13 13 6 1231.61/155.76 c 2048 8225 1095704 40369 0 0 9 15 13 1233.21/155.98 c 2050 8302 1097983 41359 0 0 12 12 6 1234.87/156.11 c 2054 8202 1080719 40127 0 0 13 13 6 1236.39/156.32 c 1086 5134 662238 22730 0 0 15 15 7 1241.18/156.97 c 2049 8238 1097303 40392 0 0 13 13 6 1242.04/157.10 c 2051 8315 1099566 41382 0 0 13 13 6 1242.86/157.12 c 2055 8215 1082248 40148 0 0 13 13 6 1245.98/157.55 c 1087 5149 664056 22771 0 0 15 15 7 1250.84/158.13 c 2050 8251 1098910 40415 0 0 13 13 6 1250.84/158.14 c 2052 8327 1101103 41403 0 0 12 12 6 1250.84/158.15 c 2056 8228 1083838 40189 0 0 13 13 6 1258.83/159.15 c 2057 8241 1085367 40210 0 0 13 13 6 1258.83/159.17 c 2053 8340 1102686 41426 0 0 13 13 6 1259.54/159.22 c 2051 8264 1100509 40438 0 0 13 13 6 1263.54/159.70 c 29113 100523 13451037 561958 0 0 3 15 13 1266.81/160.17 c 2058 8254 1086957 40251 0 0 13 13 6 1267.52/160.21 c 2054 8352 1104223 41447 0 0 12 12 6 1267.52/160.26 c 2052 8277 1102116 40461 0 0 13 13 6 1274.80/161.18 c 2059 8267 1088486 40272 0 0 13 13 6 1275.51/161.24 c 2055 8365 1105806 41470 0 0 13 13 6 1275.51/161.28 c 2053 8290 1103715 40484 0 0 13 13 6 1282.78/162.18 c 2060 8280 1090038 40303 0 0 13 13 6 1283.49/162.26 c 2056 8377 1107343 41491 0 0 12 12 6 1284.30/162.31 c 2054 8303 1105322 40507 0 0 13 13 6 1288.29/162.88 c 29113 99962 13386928 556263 0 0 4 15 13 1289.09/162.98 c 2048 8496 1108422 41286 0 0 7 15 13 1290.76/163.19 c 2061 8293 1091567 40324 0 0 13 13 6 1291.47/163.29 c 2057 8390 1108926 41514 0 0 13 13 6 1292.27/163.32 c 2055 8316 1106921 40530 0 0 13 13 6 1299.44/164.24 c 2062 8306 1093119 40355 0 0 13 13 6 1300.24/164.35 c 2058 8402 1110463 41535 0 0 12 12 6 1300.24/164.39 c 2056 8329 1108528 40553 0 0 13 13 6 1301.05/164.43 c 2049 8509 1109945 41308 0 0 13 13 6 1307.46/165.24 c 2063 8319 1094648 40376 0 0 13 13 6 1307.46/165.29 c 26388 91653 11967572 509513 0 0 6 15 13 1308.22/165.39 c 2059 8415 1112046 41558 0 0 13 13 6 1309.02/165.42 c 2057 8342 1110127 40576 0 0 13 13 6 1311.41/165.78 c 2050 8522 1111468 41330 0 0 13 13 6 1315.44/166.26 c 2064 8332 1096200 40407 0 0 13 13 6 1317.00/166.42 c 2060 8427 1113583 41579 0 0 12 12 6 1317.00/166.44 c 2058 8355 1111734 40599 0 0 13 13 6 1321.85/167.03 c 2051 8535 1112991 41352 0 0 13 13 6 1323.43/167.28 c 2065 8345 1097729 40428 0 0 13 13 6 1324.19/167.32 c 29113 100284 13815056 563632 0 0 6 15 13 1324.99/167.47 c 2061 8440 1115166 41602 0 0 13 13 6 1324.99/167.48 c 2059 8368 1113333 40622 0 0 13 13 6 1331.41/168.28 c 2052 8548 1114514 41374 0 0 13 13 6 1332.17/168.32 c 2066 8358 1099281 40459 0 0 13 13 6 1333.77/168.50 c 2062 8452 1116703 41623 0 0 12 12 6 1333.77/168.52 c 2060 8381 1114940 40645 0 0 13 13 6 1340.16/169.31 c 2067 8371 1100810 40480 0 0 13 13 6 1341.76/169.52 c 2053 8561 1116037 41396 0 0 13 13 6 1341.76/169.54 c 2063 8465 1118286 41646 0 0 13 13 6 1341.76/169.55 c 2061 8394 1116539 40668 0 0 13 13 6 1348.15/170.32 c 2068 8384 1102362 40511 0 0 13 13 6 1349.74/170.58 c 2064 8478 1119898 41669 0 0 13 13 6 1349.74/170.59 c 2062 8407 1118146 40691 0 0 13 13 6 1351.35/170.77 c 2054 8574 1117560 41418 0 0 13 13 6 1356.13/171.33 c 2069 8397 1103891 40532 0 0 13 13 6 1358.52/171.61 c 2063 8420 1119745 40714 0 0 13 13 6 1358.52/171.61 c 2065 8491 1121481 41692 0 0 13 13 6 1360.93/171.97 c 2055 8587 1119083 41440 0 0 13 13 6 1364.11/172.33 c 2070 8410 1105443 40563 0 0 13 13 6 1366.51/172.65 c 2064 8433 1121352 40737 0 0 13 13 6 1366.51/172.65 c 2066 8504 1123093 41715 0 0 13 13 6 1371.33/173.21 c 2056 8600 1120606 41462 0 0 13 13 6 1372.09/173.34 c 2071 8423 1106972 40584 0 0 13 13 6 1372.09/173.37 c 32110 110863 14820542 619607 0 0 3 15 13 1374.49/173.66 c 2065 8446 1122951 40760 0 0 13 13 6 1374.49/173.68 c 2067 8517 1124676 41738 0 0 13 13 6 1380.07/174.37 c 2072 8436 1108524 40615 0 0 13 13 6 1380.86/174.47 c 2057 8613 1122129 41484 0 0 13 13 6 1383.27/174.73 c 2066 8459 1124558 40783 0 0 13 13 6 1383.27/174.73 c 2068 8530 1126288 41761 0 0 13 13 6 1388.04/175.37 c 2073 8449 1110053 40636 0 0 13 13 6 1391.24/175.73 c 2058 8626 1123652 41506 0 0 13 13 6 1391.24/175.75 c 2067 8472 1126157 40806 0 0 13 13 6 1391.24/175.77 c 2069 8543 1127871 41784 0 0 13 13 6 1396.03/176.36 c 2074 8462 1111605 40667 0 0 13 13 6 1399.23/176.79 c 2068 8485 1127764 40829 0 0 13 13 6 1400.10/176.82 c 2070 8556 1129483 41807 0 0 13 13 6 1400.82/176.95 c 2059 8639 1125175 41528 0 0 13 13 6 1407.21/177.74 c 2075 8475 1113251 40689 1 0 13 13 6 1408.01/177.86 c 32110 110243 14760464 613810 1 0 2 15 13 1410.48/178.18 c 2069 8499 1129553 40859 1 0 14 14 7 1411.24/178.23 c 2071 8569 1131158 41832 1 0 13 13 6 1412.00/178.36 c 33000 113978 15244722 636753 0 0 5 15 13 1412.79/178.48 c 2076 8488 1114908 40720 1 0 13 13 6 1414.39/178.68 c 2060 8652 1126802 41552 1 0 13 13 6 1416.79/178.94 c 2070 8513 1131255 40892 1 0 14 14 7 1417.64/179.01 c 2072 8582 1132719 41856 1 0 13 13 6 1418.47/179.14 c 29000 100720 13151313 559493 0 0 8 15 13 1419.22/179.20 c 2077 8501 1116437 40741 1 0 13 13 6 1419.98/179.34 c 33000 113979 15244839 636755 1 0 0 0 0 1421.59/179.55 c 2061 8665 1128336 41582 1 0 13 13 6 1422.38/179.67 c 2071 8527 1132956 40925 1 0 14 14 7 1423.18/179.74 c 2073 8595 1134277 41880 1 0 13 13 6 1424.78/179.90 c 2078 8514 1118094 40772 1 0 13 13 6 1424.78/179.99 c 33000 113983 15245196 636759 1 0 0 0 0 1425.63/180.10 c 29000 100721 13151430 559495 1 0 0 0 0 1428.76/180.42 c 2072 8541 1134658 40958 1 0 14 14 7 1428.76/180.44 c 33000 113984 15245313 636761 2 0 0 0 0 1428.76/180.49 c 2074 8608 1135838 41904 1 0 13 13 6 1429.56/180.50 c 2062 8678 1129876 41612 1 0 13 13 6 1430.36/180.60 c 29000 100722 13151547 559497 2 0 0 0 0 1430.36/180.67 c 2079 8528 1119956 40804 2 0 14 14 7 1430.36/180.67 c 33000 113986 15245430 636763 2 0 0 0 0 1434.44/181.12 c 2080 8542 1121651 40841 2 0 14 14 7 1434.44/181.16 c 2073 8554 1136348 40983 2 0 13 13 6 1435.95/181.30 c 2075 8621 1137561 41931 2 0 13 13 6 1435.95/181.37 c 29113 101128 13205286 561745 2 0 8 15 13 1436.75/181.44 c 2063 8692 1131621 41639 2 0 14 14 7 1436.75/181.49 c 2081 8556 1123425 40881 2 0 14 14 7 1437.55/181.55 c 32110 110601 15236498 621412 2 0 7 15 13 1437.55/181.58 c 2074 8567 1137916 41007 2 0 13 13 6 1439.14/181.76 c 2076 8634 1139165 41961 2 0 13 13 6 1440.75/181.90 c 2082 8570 1125205 40921 2 0 14 14 7 1440.75/181.94 c 2064 8706 1133290 41674 2 0 14 14 7 1440.75/181.95 c 2075 8580 1139489 41031 2 0 13 13 6 1442.42/182.19 c 2077 8647 1140764 41991 2 0 13 13 6 1443.17/182.26 c 2083 8584 1126979 40961 2 0 14 14 7 1443.17/182.29 c 33000 113334 15168322 630888 1 0 9 15 13 1443.94/182.34 c 2076 8593 1141057 41055 2 0 13 13 6 1444.73/182.43 c 2065 8720 1134954 41709 2 0 14 14 7 1446.33/182.62 c 2084 8598 1128759 41001 2 0 14 14 7 1446.33/182.63 c 2078 8660 1142368 42021 2 0 13 13 6 1447.13/182.71 c 2077 8606 1142630 41079 2 0 13 13 6 1448.73/182.90 c 2066 8734 1136623 41744 2 0 14 14 7 1448.73/183.01 c 2085 8612 1130533 41041 2 0 14 14 7 1449.58/183.05 c 2079 8673 1143967 42051 2 0 13 13 6 1450.40/183.12 c 2078 8619 1144198 41103 2 0 13 13 6 1451.91/183.36 c 2067 8748 1138287 41779 2 0 14 14 7 1451.91/183.37 c 2086 8626 1132313 41081 2 0 14 14 7 1452.71/183.48 c 2079 8632 1145771 41127 2 0 13 13 6 1452.71/183.49 c 2080 8686 1145571 42081 2 0 13 13 6 1455.11/183.73 c 2087 8640 1134087 41121 2 0 14 14 7 1455.91/183.84 c 2068 8762 1139956 41814 2 0 14 14 7 1455.91/183.87 c 2080 8645 1147339 41151 2 0 13 13 6 1456.72/183.91 c 2081 8699 1147170 42111 2 0 13 13 6 1457.56/184.08 c 2088 8654 1135867 41161 2 0 14 14 7 1459.13/184.25 c 2081 8658 1148912 41175 2 0 13 13 6 1459.90/184.31 c 2069 8776 1141620 41849 2 0 14 14 7 1459.90/184.35 c 2082 8712 1148774 42141 2 0 13 13 6 1460.69/184.46 c 2089 8668 1137641 41201 2 0 14 14 7 1462.29/184.64 c 2082 8671 1150480 41199 2 0 13 13 6 1463.09/184.77 c 2083 8725 1150374 42171 2 0 13 13 6 1463.09/184.78 c 2070 8790 1143289 41884 2 0 14 14 7 1463.88/184.82 c 2090 8682 1139421 41241 2 0 14 14 7 1465.53/185.03 c 2083 8684 1152171 41224 3 0 13 13 6 1467.11/185.20 c 2084 8738 1152029 42202 3 0 13 13 6 1467.11/185.24 c 2091 8694 1140964 41264 3 0 12 12 6 1467.11/185.26 c 2071 8803 1144917 41905 3 0 13 13 6 1467.11/185.28 c 2084 8697 1153852 41249 4 0 13 13 6 1467.87/185.39 c 34000 117493 15722440 656142 2 0 6 15 13 1468.67/185.42 c 2085 8710 1155426 41273 4 0 13 13 6 1468.67/185.46 c 2085 8751 1153681 42233 4 0 13 13 6 1468.67/185.48 c 2092 8708 1142718 41291 4 0 14 14 7 1469.47/185.54 c 2072 8816 1146605 41928 4 0 13 13 6 1469.47/185.55 c 2086 8723 1156994 41297 4 0 13 13 6 1470.27/185.60 c 2086 8764 1155219 42263 4 0 13 13 6 1470.27/185.61 c 33000 113696 15663173 638713 3 0 6 15 13 1470.27/185.62 c 2093 8722 1144406 41318 4 0 14 14 7 1470.27/185.67 c 2087 8736 1158568 41321 4 0 13 13 6 1470.27/185.68 c 34000 117494 15722573 656145 4 0 0 0 0 1471.06/185.70 c 2073 8829 1148217 41959 4 0 13 13 6 1471.06/185.73 c 33000 113697 15663301 638716 5 0 0 0 0 1471.06/185.73 c 2087 8777 1156870 42294 5 0 13 13 6 1471.06/185.73 c 2094 8736 1146226 41352 5 0 14 14 7 1471.06/185.74 c 34000 117495 15722685 656147 5 0 0 0 0 1471.06/185.76 c 33000 113701 15663648 638720 5 0 0 0 0 1471.06/185.77 c 34000 117497 15722802 656149 5 0 0 0 0 1471.06/185.78 c 2088 8749 1160250 41346 5 0 13 13 6 1471.86/185.80 c 2088 8790 1158408 42324 5 0 13 13 6 1471.86/185.80 c 2095 8750 1147934 41385 5 0 14 14 7 1471.86/185.83 c 2074 8843 1150130 41992 5 0 14 14 7 1471.86/185.85 c 30000 104214 13615690 578721 4 0 7 15 13 1471.86/185.85 c 33000 113708 15664347 638727 5 0 0 0 0 1471.86/185.85 c 34000 117504 15723501 656156 5 0 0 0 0 1471.86/185.86 c 2089 8762 1161824 41370 5 0 13 13 6 1471.86/185.87 c 2096 8764 1149642 41418 5 0 14 14 7 1471.86/185.88 c 2089 8803 1159947 42354 5 0 13 13 6 1472.67/185.91 c 2075 8857 1151938 42024 5 0 14 14 7 1472.67/185.94 c 2090 8775 1163394 41394 5 0 13 13 6 1472.67/185.94 c 2097 8778 1151350 41451 5 0 14 14 7 1472.67/185.95 c 2090 8816 1161485 42384 5 0 13 13 6 1472.67/186.00 c 2076 8871 1153739 42056 5 0 14 14 7 1473.51/186.01 c 2098 8792 1153058 41484 5 0 14 14 7 1473.51/186.02 c 2091 8788 1164968 41418 5 0 13 13 6 1473.51/186.02 c 2091 8829 1163024 42414 5 0 13 13 6 1473.51/186.07 c 2077 8885 1155547 42088 5 0 14 14 7 1473.51/186.08 c 2099 8806 1154766 41517 5 0 14 14 7 1473.51/186.08 c 2092 8801 1166538 41442 5 0 13 13 6 1473.51/186.09 c 2092 8842 1164562 42444 5 0 13 13 6 1474.34/186.14 c 2100 8820 1156474 41550 5 0 14 14 7 1474.34/186.15 c 2078 8899 1157348 42120 5 0 14 14 7 1474.34/186.15 c 2093 8814 1168112 41466 5 0 13 13 6 1474.34/186.17 c 2093 8855 1166101 42474 5 0 13 13 6 1475.09/186.22 c 2101 8834 1158182 41583 5 0 14 14 7 1475.09/186.23 c 2094 8827 1169802 41491 6 0 13 13 6 1475.09/186.23 c 2079 8913 1159276 42153 6 0 14 14 7 1475.09/186.24 c 2094 8868 1167759 42505 6 0 13 13 6 1475.09/186.27 c 2095 8840 1171376 41515 6 0 13 13 6 1475.09/186.28 c 2080 8927 1161077 42185 6 0 14 14 7 1475.09/186.28 c 2095 8881 1169423 42534 7 0 13 13 6 1475.09/186.29 c 2102 8847 1159869 41612 6 0 13 13 6 1475.85/186.30 c 2096 8894 1170969 42562 7 0 13 13 6 1475.85/186.32 c 2096 8853 1173061 41541 7 0 13 13 6 1475.85/186.32 c 2081 8940 1162766 42208 7 0 13 13 6 1475.85/186.32 c 2103 8860 1161519 41639 7 0 13 13 6 1475.85/186.33 c 2097 8907 1172522 42590 7 0 13 13 6 1475.85/186.34 c 2097 8866 1174609 41567 7 0 13 13 6 1475.85/186.35 c 2082 8953 1164314 42230 7 0 13 13 6 1475.85/186.35 c 2104 8873 1163069 41665 7 0 13 13 6 1475.85/186.35 c 2098 8920 1174068 42618 7 0 13 13 6 1475.85/186.35 c 2098 8879 1176161 41593 7 0 13 13 6 1475.85/186.37 c 2105 8886 1164714 41689 8 0 13 13 6 1475.85/186.37 c 2083 8967 1166110 42263 8 0 14 14 7 1475.85/186.37 c 2099 8934 1175822 42646 8 0 14 14 7 1475.85/186.38 c 2099 8893 1177969 41632 8 0 14 14 7 1475.85/186.38 c 2106 8899 1166253 41715 8 0 13 13 6 1475.85/186.39 c 2084 8981 1167795 42295 8 0 14 14 7 1475.85/186.39 c 2100 8948 1177500 42680 8 0 14 14 7 1475.85/186.39 c 2100 8907 1179652 41670 8 0 14 14 7 1475.85/186.39 c 2107 8912 1167785 41741 8 0 13 13 6 1475.85/186.40 c 2101 8962 1179266 42707 9 0 14 14 7 1475.85/186.40 c 2085 8995 1169473 42327 8 0 14 14 7 1476.69/186.40 c 2101 8921 1181459 41709 9 0 14 14 7 1476.69/186.40 c 2108 8925 1169508 41764 10 0 13 13 6 1476.69/186.42 c [pFactory][Group N°0] concurent mode: thread 0 has won with the task 5. 1476.69/186.42 c [pFactory][Group N°0] Thread N°0 is joined. 1476.69/186.42 c [pFactory][Group N°0] Thread N°1 is joined. 1476.69/186.42 c [pFactory][Group N°0] Thread N°2 is joined. 1476.69/186.42 c [pFactory][Group N°0] Thread N°3 is joined. 1476.69/186.42 c [pFactory][Group N°0] Thread N°4 is joined. 1476.69/186.42 c [pFactory][Group N°0] Thread N°5 is joined. 1476.69/186.42 c [pFactory][Group N°0] Thread N°6 is joined. 1476.69/186.42 c [pFactory][Group N°0] Thread N°7 is joined. 1476.69/186.42 c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°0) 1476.69/186.42 s UNSATISFIABLE 1476.69/186.42 c restarts : 180 1476.69/186.42 c conflicts : 2101 (1 /sec) 1476.69/186.42 c decisions : 8975 (6 /sec) 1476.69/186.42 c propagations : 42721 (29 /sec) 1476.69/186.42 c root propagations : 0 1476.69/186.42 c filter calls : 1180748 (801 /sec) 1476.69/186.42 c useless filter calls : 1161867 (98 %) 1476.69/186.42 c Memory used : 1089.27 MB 1476.69/186.42 c CPU time : 1474.86 s 1476.69/186.42 c real time : 186.415 s 1476.69/186.42
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: 16375 MiB (14122 MiB free)
memory of node 1: 16384 MiB (14340 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398092-1568602374/watcher-4398092-1568602374 -o /tmp/evaluation-result-4398092-1568602374/solver-4398092-1568602374 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324111741-488 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398092-1568602374.xml
running on 8 cores: 0-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
Current StackSize limit: 8192 KiB
solver pid=1128, runsolver pid=1125
[startup+0.100149 s]*
/proc/loadavg: 1.44 1.11 1.48 2/194 1129
/proc/meminfo: memFree=29145016/32770688 swapFree=66919992/67108860
[pid=1128] ppid=1125 vsize=28020 memory=4216 CPUtime=0.1 cores=0-7
/proc/1128/stat : 1128 (cosoco) R 1125 1128 460 0 -1 4202496 1228 0 1 0 10 0 0 0 20 0 1 0 436243748 28692480 1054 33554432000 4194304 6211092 140728650187344 140728650186536 140288687389669 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
/proc/1128/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.210608 s]*
/proc/loadavg: 1.44 1.11 1.48 2/194 1129
/proc/meminfo: memFree=29144580/32770688 swapFree=66919992/67108860
[pid=1128] ppid=1125 vsize=28740 memory=4764 CPUtime=0.21 cores=0-7
/proc/1128/stat : 1128 (cosoco) R 1125 1128 460 0 -1 4202496 1441 0 1 0 21 0 0 0 20 0 1 0 436243748 29429760 1191 33554432000 4194304 6211092 140728650187344 140728650184616 5817606 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
/proc/1128/statm: 7185 1191 806 493 0 490 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28740 KiB
Current children cumulated memory: 4764 KiB
[startup+0.309912 s]*
/proc/loadavg: 1.44 1.11 1.48 2/194 1129
/proc/meminfo: memFree=29143836/32770688 swapFree=66919992/67108860
[pid=1128] ppid=1125 vsize=29520 memory=5336 CPUtime=0.31 cores=0-7
/proc/1128/stat : 1128 (cosoco) R 1125 1128 460 0 -1 4202496 1688 0 1 0 31 0 0 0 20 0 1 0 436243748 30228480 1334 33554432000 4194304 6211092 140728650187344 140728650184616 5817129 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
/proc/1128/statm: 7380 1334 806 493 0 685 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29520 KiB
Current children cumulated memory: 5336 KiB
[startup+0.700269 s]
/proc/loadavg: 1.44 1.11 1.48 3/194 1129
/proc/meminfo: memFree=29143820/32770688 swapFree=66919992/67108860
[pid=1128] ppid=1125 vsize=32136 memory=7788 CPUtime=0.69 cores=0-7
/proc/1128/stat : 1128 (cosoco) R 1125 1128 460 0 -1 4202496 2459 0 1 0 69 0 0 0 20 0 1 0 436243748 32907264 1947 33554432000 4194304 6211092 140728650187344 140728650184616 140288703452288 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
/proc/1128/statm: 8034 1947 806 493 0 1339 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32136 KiB
Current children cumulated memory: 7788 KiB
[startup+1.50042 s]
/proc/loadavg: 1.44 1.11 1.48 3/196 1132
/proc/meminfo: memFree=29133588/32770688 swapFree=66919992/67108860
[pid=1128] ppid=1125 vsize=421660 memory=395044 CPUtime=1.49 cores=0-7
/proc/1128/stat : 1128 (cosoco) R 1125 1128 460 0 -1 4202496 99800 0 1 0 135 14 0 0 20 0 1 0 436243748 431779840 98695 33554432000 4194304 6211092 140728650187344 140728650184616 5037221 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
/proc/1128/statm: 105472 98695 817 493 0 98777 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 421660 KiB
Current children cumulated memory: 395044 KiB
[startup+3.11153 s]
/proc/loadavg: 1.44 1.11 1.48 9/201 1140
/proc/meminfo: memFree=29085272/32770688 swapFree=66919992/67108860
[pid=1128] ppid=1125 vsize=1148188 memory=532080 CPUtime=13.56 cores=0-7
/proc/1128/stat : 1128 (cosoco) S 1125 1128 460 0 -1 1077944320 200734 0 1 0 1303 53 0 0 20 0 9 0 436243748 1175744512 133020 33554432000 4194304 6211092 140728650187344 140728650185600 140288703430391 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
/proc/1128/statm: 287047 133020 857 493 0 280352 0
[pid=1128/tid=1133] ppid=1125 vsize=1148188 memory=3624 CPUtime=1.49 cores=0-7
/proc/1128/task/1133/stat : 1133 (cosoco) R 1125 1128 460 0 -1 4202560 6072 0 0 0 144 5 0 0 20 0 9 0 436243910 1175744512 133020 33554432000 4194304 6211092 140728650187344 140288669506936 5038259 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1134] ppid=1125 vsize=1148188 memory=0 CPUtime=1.49 cores=0-7
/proc/1128/task/1134/stat : 1134 (cosoco) R 1125 1128 460 0 -1 4202560 4454 0 0 0 149 0 0 0 20 0 9 0 436243910 1175744512 133020 33554432000 4194304 6211092 140728650187344 140288661114232 5039135 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1135] ppid=1125 vsize=1148188 memory=0 CPUtime=1.49 cores=0-7
/proc/1128/task/1135/stat : 1135 (cosoco) R 1125 1128 460 0 -1 4202560 6865 0 0 0 143 6 0 0 20 0 9 0 436243910 1175744512 133020 33554432000 4194304 6211092 140728650187344 140288652721528 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1136] ppid=1125 vsize=1148188 memory=0 CPUtime=1.46 cores=0-7
/proc/1128/task/1136/stat : 1136 (cosoco) R 1125 1128 460 0 -1 4202560 10251 0 0 0 146 0 0 0 20 0 9 0 436243910 1175744512 133020 33554432000 4194304 6211092 140728650187344 140288644328544 5039026 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1137] ppid=1125 vsize=1148188 memory=0 CPUtime=1.48 cores=0-7
/proc/1128/task/1137/stat : 1137 (cosoco) R 1125 1128 460 0 -1 4202560 8825 0 0 0 148 0 0 0 20 0 9 0 436243910 1175744512 133020 33554432000 4194304 6211092 140728650187344 140288635936120 5037823 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1138] ppid=1125 vsize=1148188 memory=138172 CPUtime=1.49 cores=0-7
/proc/1128/task/1138/stat : 1138 (cosoco) R 1125 1128 460 0 -1 4202560 6403 0 0 0 143 6 0 0 20 0 9 0 436243910 1175744512 133020 33554432000 4194304 6211092 140728650187344 140288627543416 5038944 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1139] ppid=1125 vsize=1148188 memory=1560 CPUtime=1.49 cores=0-7
/proc/1128/task/1139/stat : 1139 (cosoco) R 1125 1128 460 0 -1 4202560 12027 0 0 0 137 12 0 0 20 0 9 0 436243910 1175744512 133020 33554432000 4194304 6211092 140728650187344 140288619150712 5038982 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1140] ppid=1125 vsize=1148188 memory=1404 CPUtime=1.49 cores=0-7
/proc/1128/task/1140/stat : 1140 (cosoco) R 1125 1128 460 0 -1 4202560 11830 0 0 0 148 1 0 0 20 0 9 0 436243910 1175744512 133020 33554432000 4194304 6211092 140728650187344 140288610758008 5038656 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
Current children cumulated CPU time: 13.56 s
Current children cumulated vsize: 1148188 KiB
Current children cumulated memory: 532080 KiB
[startup+6.30153 s]
/proc/loadavg: 2.05 1.24 1.52 9/201 1140
/proc/meminfo: memFree=29083900/32770688 swapFree=66919992/67108860
[pid=1128] ppid=1125 vsize=1148188 memory=532220 CPUtime=39.02 cores=0-7
/proc/1128/stat : 1128 (cosoco) S 1125 1128 460 0 -1 1077944320 506610 0 1 0 3799 103 0 0 20 0 9 0 436243748 1175744512 133055 33554432000 4194304 6211092 140728650187344 140728650185600 140288703430391 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
/proc/1128/statm: 287047 133055 857 493 0 280352 0
[pid=1128/tid=1133] ppid=1125 vsize=1148188 memory=532220 CPUtime=4.68 cores=0-7
/proc/1128/task/1133/stat : 1133 (cosoco) R 1125 1128 460 0 -1 4202560 45413 0 0 0 452 16 0 0 20 0 9 0 436243910 1175744512 133055 33554432000 4194304 6211092 140728650187344 140288669506656 5038944 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1134] ppid=1125 vsize=1148188 memory=924 CPUtime=4.68 cores=0-7
/proc/1128/task/1134/stat : 1134 (cosoco) R 1125 1128 460 0 -1 4202560 47137 0 0 0 465 3 0 0 20 0 9 0 436243910 1175744512 133055 33554432000 4194304 6211092 140728650187344 140288661113952 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1135] ppid=1125 vsize=1148188 memory=4148 CPUtime=4.68 cores=0-7
/proc/1128/task/1135/stat : 1135 (cosoco) R 1125 1128 460 0 -1 4202560 42343 0 0 0 452 16 0 0 20 0 9 0 436243910 1175744512 133055 33554432000 4194304 6211092 140728650187344 140288652721248 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1136] ppid=1125 vsize=1148188 memory=0 CPUtime=4.6 cores=0-7
/proc/1128/task/1136/stat : 1136 (cosoco) R 1125 1128 460 0 -1 4202560 49630 0 0 0 457 3 0 0 20 0 9 0 436243910 1175744512 133055 33554432000 4194304 6211092 140728650187344 140288644328544 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1137] ppid=1125 vsize=1148188 memory=0 CPUtime=4.68 cores=0-7
/proc/1128/task/1137/stat : 1137 (cosoco) R 1125 1128 460 0 -1 4202560 48407 0 0 0 464 4 0 0 20 0 9 0 436243910 1175744512 133055 33554432000 4194304 6211092 140728650187344 140288635935840 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1138] ppid=1125 vsize=1148188 memory=0 CPUtime=4.67 cores=0-7
/proc/1128/task/1138/stat : 1138 (cosoco) R 1125 1128 460 0 -1 4202560 43548 0 0 0 450 17 0 0 20 0 9 0 436243910 1175744512 133055 33554432000 4194304 6211092 140728650187344 140288627543136 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1139] ppid=1125 vsize=1148188 memory=3624 CPUtime=4.67 cores=0-7
/proc/1128/task/1139/stat : 1139 (cosoco) R 1125 1128 460 0 -1 4202560 48531 0 0 0 449 18 0 0 20 0 9 0 436243910 1175744512 133055 33554432000 4194304 6211092 140728650187344 140288619150432 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1140] ppid=1125 vsize=1148188 memory=4104 CPUtime=4.67 cores=0-7
/proc/1128/task/1140/stat : 1140 (cosoco) R 1125 1128 460 0 -1 4202560 47587 0 0 0 465 2 0 0 20 0 9 0 436243910 1175744512 133055 33554432000 4194304 6211092 140728650187344 140288610757728 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
Current children cumulated CPU time: 39.02 s
Current children cumulated vsize: 1148188 KiB
Current children cumulated memory: 532220 KiB
[startup+12.7015 s]
/proc/loadavg: 2.53 1.36 1.56 9/201 1140
/proc/meminfo: memFree=29085104/32770688 swapFree=66919992/67108860
[pid=1128] ppid=1125 vsize=1148188 memory=532224 CPUtime=90.12 cores=0-7
/proc/1128/stat : 1128 (cosoco) S 1125 1128 460 0 -1 1077944320 773716 0 1 0 8890 122 0 0 20 0 9 0 436243748 1175744512 133056 33554432000 4194304 6211092 140728650187344 140728650185600 140288703430391 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
/proc/1128/statm: 287047 133056 857 493 0 280352 0
[pid=1128/tid=1133] ppid=1125 vsize=1148188 memory=532224 CPUtime=11.08 cores=0-7
/proc/1128/task/1133/stat : 1133 (cosoco) R 1125 1128 460 0 -1 4202560 79682 0 0 0 1089 19 0 0 20 0 9 0 436243910 1175744512 133056 33554432000 4194304 6211092 140728650187344 140288669506656 5039549 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1134] ppid=1125 vsize=1148188 memory=532224 CPUtime=11.08 cores=0-7
/proc/1128/task/1134/stat : 1134 (cosoco) R 1125 1128 460 0 -1 4202560 82286 0 0 0 1103 5 0 0 20 0 9 0 436243910 1175744512 133056 33554432000 4194304 6211092 140728650187344 140288661113952 5039029 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1135] ppid=1125 vsize=1148188 memory=55 CPUtime=11.08 cores=0-7
/proc/1128/task/1135/stat : 1135 (cosoco) R 1125 1128 460 0 -1 4202560 75178 0 0 0 1089 19 0 0 20 0 9 0 436243910 1175744512 133056 33554432000 4194304 6211092 140728650187344 140288652721248 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1136] ppid=1125 vsize=1148188 memory=4104 CPUtime=10.91 cores=0-7
/proc/1128/task/1136/stat : 1136 (cosoco) R 1125 1128 460 0 -1 4202560 82643 0 0 0 1086 5 0 0 20 0 9 0 436243910 1175744512 133056 33554432000 4194304 6211092 140728650187344 140288644328544 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1137] ppid=1125 vsize=1148188 memory=53260 CPUtime=11.07 cores=0-7
/proc/1128/task/1137/stat : 1137 (cosoco) R 1125 1128 460 0 -1 4202560 81218 0 0 0 1101 6 0 0 20 0 9 0 436243910 1175744512 133056 33554432000 4194304 6211092 140728650187344 140288635935840 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1138] ppid=1125 vsize=1148188 memory=984 CPUtime=11.08 cores=0-7
/proc/1128/task/1138/stat : 1138 (cosoco) R 1125 1128 460 0 -1 4202560 76583 0 0 0 1088 20 0 0 20 0 9 0 436243910 1175744512 133056 33554432000 4194304 6211092 140728650187344 140288627543136 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1139] ppid=1125 vsize=1148188 memory=2020 CPUtime=11.07 cores=0-7
/proc/1128/task/1139/stat : 1139 (cosoco) R 1125 1128 460 0 -1 4202560 81551 0 0 0 1086 21 0 0 20 0 9 0 436243910 1175744512 133056 33554432000 4194304 6211092 140728650187344 140288619150432 5037823 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1140] ppid=1125 vsize=1148188 memory=1808 CPUtime=11.07 cores=0-7
/proc/1128/task/1140/stat : 1140 (cosoco) R 1125 1128 460 0 -1 4202560 80559 0 0 0 1103 4 0 0 20 0 9 0 436243910 1175744512 133056 33554432000 4194304 6211092 140728650187344 140288610757728 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
Current children cumulated CPU time: 90.12 s
Current children cumulated vsize: 1148188 KiB
Current children cumulated memory: 532224 KiB
[startup+25.5015 s]
/proc/loadavg: 3.89 1.71 1.67 9/201 1142
/proc/meminfo: memFree=29084312/32770688 swapFree=66919992/67108860
[pid=1128] ppid=1125 vsize=1148188 memory=532240 CPUtime=192.28 cores=0-7
/proc/1128/stat : 1128 (cosoco) S 1125 1128 460 0 -1 1077944320 1037973 0 1 0 19088 140 0 0 20 0 9 0 436243748 1175744512 133060 33554432000 4194304 6211092 140728650187344 140728650185600 140288703430391 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
/proc/1128/statm: 287047 133060 861 493 0 280352 0
[pid=1128/tid=1133] ppid=1125 vsize=1148188 memory=532220 CPUtime=23.87 cores=0-7
/proc/1128/task/1133/stat : 1133 (cosoco) R 1125 1128 460 0 -1 4202560 112622 0 0 0 2366 21 0 0 20 0 9 0 436243910 1175744512 133060 33554432000 4194304 6211092 140728650187344 140288669506656 5038971 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1134] ppid=1125 vsize=1148188 memory=3624 CPUtime=23.87 cores=0-7
/proc/1128/task/1134/stat : 1134 (cosoco) R 1125 1128 460 0 -1 4202560 115515 0 0 0 2380 7 0 0 20 0 9 0 436243910 1175744512 133060 33554432000 4194304 6211092 140728650187344 140288661113952 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1135] ppid=1125 vsize=1148188 memory=532240 CPUtime=23.88 cores=0-7
/proc/1128/task/1135/stat : 1135 (cosoco) R 1125 1128 460 0 -1 4202560 108170 0 0 0 2367 21 0 0 20 0 9 0 436243910 1175744512 133060 33554432000 4194304 6211092 140728650187344 140288652721248 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1136] ppid=1125 vsize=1148188 memory=0 CPUtime=23.5 cores=0-7
/proc/1128/task/1136/stat : 1136 (cosoco) R 1125 1128 460 0 -1 4202560 115755 0 0 0 2343 7 0 0 20 0 9 0 436243910 1175744512 133060 33554432000 4194304 6211092 140728650187344 140288644328544 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1137] ppid=1125 vsize=1148188 memory=3472328296227679313 CPUtime=23.88 cores=0-7
/proc/1128/task/1137/stat : 1137 (cosoco) R 1125 1128 460 0 -1 4202560 114150 0 0 0 2379 9 0 0 20 0 9 0 436243910 1175744512 133060 33554432000 4194304 6211092 140728650187344 140288635935840 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1138] ppid=1125 vsize=1148188 memory=532224 CPUtime=23.86 cores=0-7
/proc/1128/task/1138/stat : 1138 (cosoco) R 1125 1128 460 0 -1 4202560 109688 0 0 0 2364 22 0 0 20 0 9 0 436243910 1175744512 133060 33554432000 4194304 6211092 140728650187344 140288627543136 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1139] ppid=1125 vsize=1148188 memory=776 CPUtime=23.87 cores=0-7
/proc/1128/task/1139/stat : 1139 (cosoco) R 1125 1128 460 0 -1 4202560 114537 0 0 0 2363 24 0 0 20 0 9 0 436243910 1175744512 133060 33554432000 4194304 6211092 140728650187344 140288619150432 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1140] ppid=1125 vsize=1148188 memory=3624 CPUtime=23.87 cores=0-7
/proc/1128/task/1140/stat : 1140 (cosoco) R 1125 1128 460 0 -1 4202560 113520 0 0 0 2381 6 0 0 20 0 9 0 436243910 1175744512 133060 33554432000 4194304 6211092 140728650187344 140288610757728 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
Current children cumulated CPU time: 192.28 s
Current children cumulated vsize: 1148188 KiB
Current children cumulated memory: 532240 KiB
[startup+51.1115 s]
/proc/loadavg: 5.58 2.28 1.86 9/201 1143
/proc/meminfo: memFree=29085272/32770688 swapFree=66919992/67108860
[pid=1128] ppid=1125 vsize=1148188 memory=532240 CPUtime=396.74 cores=0-7
/proc/1128/stat : 1128 (cosoco) S 1125 1128 460 0 -1 1077944320 1302183 0 1 0 39516 158 0 0 20 0 9 0 436243748 1175744512 133060 33554432000 4194304 6211092 140728650187344 140728650185600 140288703430391 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
/proc/1128/statm: 287047 133060 861 493 0 280352 0
[pid=1128/tid=1133] ppid=1125 vsize=1148188 memory=532240 CPUtime=49.48 cores=0-7
/proc/1128/task/1133/stat : 1133 (cosoco) R 1125 1128 460 0 -1 4202560 145634 0 0 0 4923 25 0 0 20 0 9 0 436243910 1175744512 133060 33554432000 4194304 6211092 140728650187344 140288669506656 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1134] ppid=1125 vsize=1148188 memory=0 CPUtime=49.47 cores=0-7
/proc/1128/task/1134/stat : 1134 (cosoco) R 1125 1128 460 0 -1 4202560 148620 0 0 0 4938 9 0 0 20 0 9 0 436243910 1175744512 133060 33554432000 4194304 6211092 140728650187344 140288661113952 5039540 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1135] ppid=1125 vsize=1148188 memory=532240 CPUtime=49.48 cores=0-7
/proc/1128/task/1135/stat : 1135 (cosoco) R 1125 1128 460 0 -1 4202560 141122 0 0 0 4924 24 0 0 20 0 9 0 436243910 1175744512 133060 33554432000 4194304 6211092 140728650187344 140288652721248 5039104 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1136] ppid=1125 vsize=1148188 memory=30169 CPUtime=48.72 cores=0-7
/proc/1128/task/1136/stat : 1136 (cosoco) R 1125 1128 460 0 -1 4202560 148864 0 0 0 4863 9 0 0 20 0 9 0 436243910 1175744512 133060 33554432000 4194304 6211092 140728650187344 140288644328544 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1137] ppid=1125 vsize=1148188 memory=532240 CPUtime=49.48 cores=0-7
/proc/1128/task/1137/stat : 1137 (cosoco) R 1125 1128 460 0 -1 4202560 147111 0 0 0 4938 10 0 0 20 0 9 0 436243910 1175744512 133060 33554432000 4194304 6211092 140728650187344 140288635935840 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
################
# More data... #
################
Current children cumulated CPU time: 1317 s
Current children cumulated vsize: 1148188 KiB
Current children cumulated memory: 532240 KiB
[startup+179.206 s]
/proc/loadavg: 7.71 4.25 2.64 9/200 1153
/proc/meminfo: memFree=29080932/32770688 swapFree=66919992/67108860
[pid=1128] ppid=1125 vsize=1148188 memory=532244 CPUtime=1419.22 cores=0-7
/proc/1128/stat : 1128 (cosoco) S 1125 1128 460 0 -1 1077944320 1674764 0 1 0 141735 187 0 0 20 0 9 0 436243748 1175744512 133061 33554432000 4194304 6211092 140728650187344 140728650185600 140288703430391 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
/proc/1128/statm: 287047 133061 862 493 0 280352 0
[pid=1128/tid=1133] ppid=1125 vsize=1148188 memory=532240 CPUtime=177.51 cores=0-7
/proc/1128/task/1133/stat : 1133 (cosoco) R 1125 1128 460 0 -1 4202560 193960 0 0 0 17722 29 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288669506656 5039026 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1134] ppid=1125 vsize=1148188 memory=532244 CPUtime=177.5 cores=0-7
/proc/1128/task/1134/stat : 1134 (cosoco) R 1125 1128 460 0 -1 4202560 196754 0 0 0 17736 14 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288661113952 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1135] ppid=1125 vsize=1148188 memory=532240 CPUtime=177.51 cores=0-7
/proc/1128/task/1135/stat : 1135 (cosoco) R 1125 1128 460 0 -1 4202560 189333 0 0 0 17723 28 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288652721248 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1136] ppid=1125 vsize=1148188 memory=532244 CPUtime=176.64 cores=0-7
/proc/1128/task/1136/stat : 1136 (cosoco) R 1125 1128 460 0 -1 4202560 196924 0 0 0 17652 12 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288644328544 5039026 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1137] ppid=1125 vsize=1148188 memory=532240 CPUtime=176.5 cores=0-7
/proc/1128/task/1137/stat : 1137 (cosoco) R 1125 1128 460 0 -1 4202560 182740 0 0 0 17637 13 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288635935840 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1138] ppid=1125 vsize=1148188 memory=279723704104544 CPUtime=177.55 cores=0-7
/proc/1128/task/1138/stat : 1138 (cosoco) R 1125 1128 460 0 -1 4202560 190979 0 0 0 17727 28 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288627543136 5038947 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1139] ppid=1125 vsize=1148188 memory=7018513434858 CPUtime=177.55 cores=0-7
/proc/1128/task/1139/stat : 1139 (cosoco) R 1125 1128 460 0 -1 4202560 195531 0 0 0 17725 30 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288619150432 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1140] ppid=1125 vsize=1148188 memory=1556 CPUtime=176.8 cores=0-7
/proc/1128/task/1140/stat : 1140 (cosoco) R 1125 1128 460 0 -1 4202560 194527 0 0 0 17668 12 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288610757728 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
Current children cumulated CPU time: 1419.22 s
Current children cumulated vsize: 1148188 KiB
Current children cumulated memory: 532244 KiB
[startup+182.401 s]
/proc/loadavg: 7.73 4.31 2.67 9/200 1153
/proc/meminfo: memFree=29080932/32770688 swapFree=66919992/67108860
[pid=1128] ppid=1125 vsize=1148188 memory=532244 CPUtime=1444.73 cores=0-7
/proc/1128/stat : 1128 (cosoco) S 1125 1128 460 0 -1 1077944320 1674766 0 1 0 144286 187 0 0 20 0 9 0 436243748 1175744512 133061 33554432000 4194304 6211092 140728650187344 140728650185600 140288703430391 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
/proc/1128/statm: 287047 133061 862 493 0 280352 0
[pid=1128/tid=1133] ppid=1125 vsize=1148188 memory=53260 CPUtime=180.7 cores=0-7
/proc/1128/task/1133/stat : 1133 (cosoco) R 1125 1128 460 0 -1 4202560 193960 0 0 0 18041 29 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288669506656 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1134] ppid=1125 vsize=1148188 memory=984 CPUtime=180.7 cores=0-7
/proc/1128/task/1134/stat : 1134 (cosoco) R 1125 1128 460 0 -1 4202560 196754 0 0 0 18056 14 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288661113952 5039029 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1135] ppid=1125 vsize=1148188 memory=532244 CPUtime=180.7 cores=0-7
/proc/1128/task/1135/stat : 1135 (cosoco) R 1125 1128 460 0 -1 4202560 189333 0 0 0 18042 28 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288652721248 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1136] ppid=1125 vsize=1148188 memory=1560 CPUtime=179.84 cores=0-7
/proc/1128/task/1136/stat : 1136 (cosoco) R 1125 1128 460 0 -1 4202560 196924 0 0 0 17972 12 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288644328544 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1137] ppid=1125 vsize=1148188 memory=2020 CPUtime=179.69 cores=0-7
/proc/1128/task/1137/stat : 1137 (cosoco) R 1125 1128 460 0 -1 4202560 182740 0 0 0 17956 13 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288635935840 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1138] ppid=1125 vsize=1148188 memory=1808 CPUtime=180.74 cores=0-7
/proc/1128/task/1138/stat : 1138 (cosoco) R 1125 1128 460 0 -1 4202560 190981 0 0 0 18046 28 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288627543136 5038700 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1139] ppid=1125 vsize=1148188 memory=924 CPUtime=180.74 cores=0-7
/proc/1128/task/1139/stat : 1139 (cosoco) R 1125 1128 460 0 -1 4202560 195531 0 0 0 18044 30 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288619150432 5039014 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1140] ppid=1125 vsize=1148188 memory=4148 CPUtime=179.95 cores=0-7
/proc/1128/task/1140/stat : 1140 (cosoco) R 1125 1128 460 0 -1 4202560 194527 0 0 0 17983 12 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288610757728 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
Current children cumulated CPU time: 1444.73 s
Current children cumulated vsize: 1148188 KiB
Current children cumulated memory: 532244 KiB
[startup+184.001 s]*
/proc/loadavg: 7.73 4.31 2.67 9/200 1153
/proc/meminfo: memFree=29080932/32770688 swapFree=66919992/67108860
[pid=1128] ppid=1125 vsize=1148188 memory=532244 CPUtime=1457.56 cores=0-7
/proc/1128/stat : 1128 (cosoco) S 1125 1128 460 0 -1 1077944320 1676593 0 1 0 145569 187 0 0 20 0 9 0 436243748 1175744512 133061 33554432000 4194304 6211092 140728650187344 140728650185600 140288703430391 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
/proc/1128/statm: 287047 133061 862 493 0 280352 0
[pid=1128/tid=1133] ppid=1125 vsize=1148188 memory=1398722017469774279 CPUtime=182.31 cores=0-7
/proc/1128/task/1133/stat : 1133 (cosoco) R 1125 1128 460 0 -1 4202560 194187 0 0 0 18202 29 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288669506656 5039210 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1134] ppid=1125 vsize=1148188 memory=4872558044660077418 CPUtime=182.31 cores=0-7
/proc/1128/task/1134/stat : 1134 (cosoco) R 1125 1128 460 0 -1 4202560 196981 0 0 0 18217 14 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288661113952 5009426 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1135] ppid=1125 vsize=1148188 memory=496 CPUtime=182.31 cores=0-7
/proc/1128/task/1135/stat : 1135 (cosoco) R 1125 1128 460 0 -1 4202560 189560 0 0 0 18203 28 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288652721248 5039132 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1136] ppid=1125 vsize=1148188 memory=1560 CPUtime=181.45 cores=0-7
/proc/1128/task/1136/stat : 1136 (cosoco) R 1125 1128 460 0 -1 4202560 197163 0 0 0 18133 12 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288644328544 5037841 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1137] ppid=1125 vsize=1148188 memory=1404 CPUtime=181.3 cores=0-7
/proc/1128/task/1137/stat : 1137 (cosoco) R 1125 1128 460 0 -1 4202560 182968 0 0 0 18117 13 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288635935840 5039038 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1138] ppid=1125 vsize=1148188 memory=2728 CPUtime=182.35 cores=0-7
/proc/1128/task/1138/stat : 1138 (cosoco) R 1125 1128 460 0 -1 4202560 191208 0 0 0 18207 28 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288627543136 5038759 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1139] ppid=1125 vsize=1148188 memory=532244 CPUtime=182.35 cores=0-7
/proc/1128/task/1139/stat : 1139 (cosoco) R 1125 1128 460 0 -1 4202560 195757 0 0 0 18205 30 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288619150432 5037825 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1140] ppid=1125 vsize=1148188 memory=928 CPUtime=181.53 cores=0-7
/proc/1128/task/1140/stat : 1140 (cosoco) R 1125 1128 460 0 -1 4202560 194753 0 0 0 18141 12 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288610757728 5039014 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
Current children cumulated CPU time: 1457.56 s
Current children cumulated vsize: 1148188 KiB
Current children cumulated memory: 532244 KiB
[startup+185.602 s]
/proc/loadavg: 7.83 4.39 2.70 10/200 1153
/proc/meminfo: memFree=29080724/32770688 swapFree=66919992/67108860
[pid=1128] ppid=1125 vsize=1148188 memory=532244 CPUtime=1470.27 cores=0-7
/proc/1128/stat : 1128 (cosoco) S 1125 1128 460 0 -1 1077944320 1676598 0 1 0 146840 187 0 0 20 0 9 0 436243748 1175744512 133061 33554432000 4194304 6211092 140728650187344 140728650185600 140288703430391 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
/proc/1128/statm: 287047 133061 862 493 0 280352 0
[pid=1128/tid=1133] ppid=1125 vsize=1148188 memory=776 CPUtime=183.89 cores=0-7
/proc/1128/task/1133/stat : 1133 (cosoco) R 1125 1128 460 0 -1 4202560 194188 0 0 0 18360 29 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288669506656 5039014 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1134] ppid=1125 vsize=1148188 memory=660 CPUtime=183.9 cores=0-7
/proc/1128/task/1134/stat : 1134 (cosoco) R 1125 1128 460 0 -1 4202560 196982 0 0 0 18376 14 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288661113952 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1135] ppid=1125 vsize=1148188 memory=532244 CPUtime=183.91 cores=0-7
/proc/1128/task/1135/stat : 1135 (cosoco) R 1125 1128 460 0 -1 4202560 189562 0 0 0 18363 28 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288652721248 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1136] ppid=1125 vsize=1148188 memory=532244 CPUtime=183.04 cores=0-7
/proc/1128/task/1136/stat : 1136 (cosoco) R 1125 1128 460 0 -1 4202560 197163 0 0 0 18292 12 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288644328544 5038992 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1137] ppid=1125 vsize=1148188 memory=660 CPUtime=182.89 cores=0-7
/proc/1128/task/1137/stat : 1137 (cosoco) R 1125 1128 460 0 -1 4202560 182968 0 0 0 18276 13 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288635935840 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1138] ppid=1125 vsize=1148188 memory=53260 CPUtime=183.94 cores=0-7
/proc/1128/task/1138/stat : 1138 (cosoco) R 1125 1128 460 0 -1 4202560 191209 0 0 0 18366 28 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288627543136 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1139] ppid=1125 vsize=1148188 memory=53260 CPUtime=183.94 cores=0-7
/proc/1128/task/1139/stat : 1139 (cosoco) R 1125 1128 460 0 -1 4202560 195757 0 0 0 18364 30 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288619150432 5037823 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1140] ppid=1125 vsize=1148188 memory=984 CPUtime=183.1 cores=0-7
/proc/1128/task/1140/stat : 1140 (cosoco) R 1125 1128 460 0 -1 4202560 194753 0 0 0 18298 12 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288610757728 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
Current children cumulated CPU time: 1470.27 s
Current children cumulated vsize: 1148188 KiB
Current children cumulated memory: 532244 KiB
[startup+186.001 s]*
/proc/loadavg: 7.83 4.39 2.70 9/200 1153
/proc/meminfo: memFree=29080884/32770688 swapFree=66919992/67108860
[pid=1128] ppid=1125 vsize=1148188 memory=532244 CPUtime=1473.51 cores=0-7
/proc/1128/stat : 1128 (cosoco) S 1125 1128 460 0 -1 1077944320 1676598 0 1 0 147164 187 0 0 20 0 9 0 436243748 1175744512 133061 33554432000 4194304 6211092 140728650187344 140728650185600 140288703430391 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
/proc/1128/statm: 287047 133061 862 493 0 280352 0
[pid=1128/tid=1133] ppid=1125 vsize=1148188 memory=1398722017469774279 CPUtime=184.3 cores=0-7
/proc/1128/task/1133/stat : 1133 (cosoco) R 1125 1128 460 0 -1 4202560 194188 0 0 0 18401 29 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288669506656 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1134] ppid=1125 vsize=1148188 memory=4872558044660077418 CPUtime=184.31 cores=0-7
/proc/1128/task/1134/stat : 1134 (cosoco) R 1125 1128 460 0 -1 4202560 196982 0 0 0 18417 14 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288661113952 5039007 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1135] ppid=1125 vsize=1148188 memory=1560 CPUtime=184.31 cores=0-7
/proc/1128/task/1135/stat : 1135 (cosoco) R 1125 1128 460 0 -1 4202560 189562 0 0 0 18403 28 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288652721248 5039132 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1136] ppid=1125 vsize=1148188 memory=1404 CPUtime=183.45 cores=0-7
/proc/1128/task/1136/stat : 1136 (cosoco) R 1125 1128 460 0 -1 4202560 197163 0 0 0 18333 12 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288644328544 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1137] ppid=1125 vsize=1148188 memory=2668 CPUtime=183.3 cores=0-7
/proc/1128/task/1137/stat : 1137 (cosoco) R 1125 1128 460 0 -1 4202560 182968 0 0 0 18317 13 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288635935840 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1138] ppid=1125 vsize=1148188 memory=532240 CPUtime=184.34 cores=0-7
/proc/1128/task/1138/stat : 1138 (cosoco) R 1125 1128 460 0 -1 4202560 191209 0 0 0 18406 28 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288627543136 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1139] ppid=1125 vsize=1148188 memory=928 CPUtime=184.35 cores=0-7
/proc/1128/task/1139/stat : 1139 (cosoco) R 1125 1128 460 0 -1 4202560 195757 0 0 0 18405 30 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288619150432 5037823 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1140] ppid=1125 vsize=1148188 memory=4104 CPUtime=183.5 cores=0-7
/proc/1128/task/1140/stat : 1140 (cosoco) R 1125 1128 460 0 -1 4202560 194753 0 0 0 18338 12 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288610757728 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
Current children cumulated CPU time: 1473.51 s
Current children cumulated vsize: 1148188 KiB
Current children cumulated memory: 532244 KiB
[startup+186.406 s]
/proc/loadavg: 7.83 4.39 2.70 9/200 1153
/proc/meminfo: memFree=29080884/32770688 swapFree=66919992/67108860
[pid=1128] ppid=1125 vsize=1148188 memory=532244 CPUtime=1476.69 cores=0-7
/proc/1128/stat : 1128 (cosoco) S 1125 1128 460 0 -1 1077944320 1676598 0 1 0 147482 187 0 0 20 0 9 0 436243748 1175744512 133061 33554432000 4194304 6211092 140728650187344 140728650185600 140288703430391 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
/proc/1128/statm: 287047 133061 862 493 0 280352 0
[pid=1128/tid=1133] ppid=1125 vsize=1148188 memory=5996 CPUtime=184.7 cores=0-7
/proc/1128/task/1133/stat : 1133 (cosoco) R 1125 1128 460 0 -1 4202560 194188 0 0 0 18441 29 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288669506656 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1134] ppid=1125 vsize=1148188 memory=532244 CPUtime=184.7 cores=0-7
/proc/1128/task/1134/stat : 1134 (cosoco) R 1125 1128 460 0 -1 4202560 196982 0 0 0 18456 14 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288661113952 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1135] ppid=1125 vsize=1148188 memory=924 CPUtime=184.71 cores=0-7
/proc/1128/task/1135/stat : 1135 (cosoco) R 1125 1128 460 0 -1 4202560 189562 0 0 0 18443 28 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288652721248 5038697 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1136] ppid=1125 vsize=1148188 memory=532244 CPUtime=183.84 cores=0-7
/proc/1128/task/1136/stat : 1136 (cosoco) R 1125 1128 460 0 -1 4202560 197163 0 0 0 18372 12 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288644328544 5037825 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1137] ppid=1125 vsize=1148188 memory=-7035114785800479027 CPUtime=183.7 cores=0-7
/proc/1128/task/1137/stat : 1137 (cosoco) R 1125 1128 460 0 -1 4202560 182968 0 0 0 18357 13 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288635935840 5038964 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1138] ppid=1125 vsize=1148188 memory=1428 CPUtime=184.74 cores=0-7
/proc/1128/task/1138/stat : 1138 (cosoco) R 1125 1128 460 0 -1 4202560 191209 0 0 0 18446 28 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288627543136 5039038 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1139] ppid=1125 vsize=1148188 memory=776 CPUtime=184.74 cores=0-7
/proc/1128/task/1139/stat : 1139 (cosoco) R 1125 1128 460 0 -1 4202560 195757 0 0 0 18444 30 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288619150432 5009426 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
[pid=1128/tid=1140] ppid=1125 vsize=1148188 memory=660 CPUtime=183.89 cores=0-7
/proc/1128/task/1140/stat : 1140 (cosoco) R 1125 1128 460 0 -1 4202560 194753 0 0 0 18377 12 0 0 20 0 9 0 436243910 1175744512 133061 33554432000 4194304 6211092 140728650187344 140288610757728 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30244864 140728650191889 140728650191981 140728650191981 140728650194894 0
Current children cumulated CPU time: 1476.69 s
Current children cumulated vsize: 1148188 KiB
Current children cumulated memory: 532244 KiB
Child status: 0
Real time (s): 186.455
CPU time (s): 1476.77
CPU user time (s): 1474.86
CPU system time (s): 1.90952
CPU usage (%): 792.028
Max. virtual memory (cumulated for all children) (KiB): 1148188
Max. memory (cumulated for all children) (KiB): 532244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1474.86
system time used= 1.90952
maximum resident set size= 532264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1676649
page faults= 1
swaps= 0
block input operations= 1296
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112
involuntary context switches= 14023
# summary of solver processes directly reported to runsolver:
# pid: 1128
# total CPU time (s): 1476.77
# total CPU user time (s): 1474.86
# total CPU system time (s): 1.90952
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.915986 second user time and 1.96855 second system time
The end
Begin job on node120 at 2011-12-17 11:13:17 IDJOB=4398092 IDBENCH=125996 IDSOLVER=2851 FILE ID=node120/4398092-1568602374 RUNJOBID= node120-1324111741-488 PBS_JOBID= 21703407 Free space on /tmp= 61212 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/QRandom/QRandom-bdd-18-21-2/bdd-18-21-2-133-78-06.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398092-1568602374/watcher-4398092-1568602374 -o /tmp/evaluation-result-4398092-1568602374/solver-4398092-1568602374 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324111741-488 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398092-1568602374.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c11db23a97f48af6ae936ba62121dffc RANDOM SEED=2017318829 node120.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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 29146612 kB MemAvailable: 31817808 kB Buffers: 159456 kB Cached: 2809404 kB SwapCached: 77548 kB Active: 1340508 kB Inactive: 1713388 kB Active(anon): 3572 kB Inactive(anon): 130432 kB Active(file): 1336936 kB Inactive(file): 1582956 kB Unevictable: 107500 kB Mlocked: 107500 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 5096 kB Writeback: 60368 kB AnonPages: 123432 kB Mapped: 52460 kB Shmem: 41008 kB Slab: 163912 kB SReclaimable: 134280 kB SUnreclaim: 29632 kB KernelStack: 3760 kB PageTables: 5476 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 516984 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 61648 MiB End job on node120 at 2011-12-17 11:16:23