Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 parallel | UNSAT | 1587.98 | 200.271 |
Name | QRandom/QRandom-bdd-18-21-2/ bdd-18-21-2-133-78-33.xml |
MD5SUM | 81fb3456c728d6c2b2ee1ab40588047a |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 9.29758 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 21 |
Number of constraints | 133 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":21}] |
Minimum variable degree | 109 |
Maximum variable degree | 119 |
Distribution of variable degrees | [{"degree":109,"count":1},{"degree":110,"count":1},{"degree":111,"count":3},{"degree":112,"count":2},{"degree":113,"count":3},{"degree":114,"count":2},{"degree":115,"count":1},{"degree":116,"count":3},{"degree":117,"count":3},{"degree":118,"count":1},{"degree":119,"count":1}] |
Minimum constraint arity | 18 |
Maximum constraint arity | 18 |
Distribution of constraint arities | [{"arity":18,"count":133}] |
Number of extensional constraints | 133 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":133}] |
Optimization problem | NO |
Type of objective |
5.17/1.91 c root propagations : 0 5.17/1.91 c restarts enabled, print stats at every restarts 5.17/1.91 c 5.17/1.91 c 5.17/1.91 c 5.17/1.91 c This is cosoco 2.00 -- 5.17/1.91 c 5.17/1.91 c command line: cosoco -model -nbcores=8 HOME/instance-4409363-1569824051.xml 5.17/1.91 c ========================================[ Problem Statistics ]=========================================== 5.17/1.91 c | 5.17/1.91 c | Parse time : 1.25 s 5.17/1.91 c | 5.17/1.91 c | Variables: 21 5.17/1.91 c | Domain Sizes: 2..2 5.17/1.91 c | 5.17/1.91 c | Constraints: 133 5.17/1.91 c | Arity: 18..18 5.17/1.91 c | 5.17/1.91 c | Types: 5.17/1.91 c | Extension: 133 (nb tuples: 57945..57945) -- (shared: 1056) 5.17/1.91 c | 5.17/1.91 c ========================================================================================================= 5.17/1.91 c Parallel mode: Portfolio 5.17/1.91 c [pFactory][Group N°0] created (threads:8). 5.17/1.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 5.17/1.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 5.17/1.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 5.17/1.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 5.17/1.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 5.17/1.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 5.17/1.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 5.17/1.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 5.17/1.91 c [pFactory][Group N°0] concurrent mode: enabled. 5.17/1.91 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 5.17/1.91 c [pFactory][Group N°0] task 7 launched on thread 6. 5.17/1.91 c [pFactory][Group N°0] task 6 launched on thread 0. 5.17/1.91 c [pFactory][Group N°0] task 5 launched on thread 2. 5.17/1.91 c [pFactory][Group N°0] task 4 launched on thread 1. 5.17/1.91 c [pFactory][Group N°0] task 3 launched on thread 7. 5.17/1.91 c [pFactory][Group N°0] task 2 launched on thread 3. 5.17/1.91 c [pFactory][Group N°0] task 1 launched on thread 5. 5.17/1.91 c [pFactory][Group N°0] task 0 launched on thread 4. 5.17/1.91 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.17/1.91 c root propagations : 0 5.17/1.91 c restarts enabled, print stats at every restarts 5.17/1.91 c 5.17/1.91 c 5.17/1.91 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.17/1.91 c root propagations : 0 5.17/1.91 c restarts enabled, print stats at every restarts 5.17/1.91 c 5.17/1.91 c 5.17/1.91 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.17/1.92 c root propagations : 0 5.17/1.92 c restarts enabled, print stats at every restarts 5.17/1.92 c 5.17/1.92 c 5.17/1.92 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.17/1.94 c root propagations : 0 5.17/1.94 c restarts enabled, print stats at every restarts 5.17/1.94 c 5.17/1.94 c 5.17/1.94 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.17/1.94 c root propagations : 0 5.17/1.94 c restarts enabled, print stats at every restarts 5.17/1.94 c 5.17/1.94 c 5.17/1.94 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.17/1.94 c root propagations : 0 5.17/1.94 c restarts enabled, print stats at every restarts 5.17/1.94 c 5.17/1.94 c 5.17/1.94 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.17/1.96 c root propagations : 0 5.17/1.96 c restarts enabled, print stats at every restarts 5.17/1.96 c 5.17/1.96 c 5.17/1.96 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 11.55/2.77 c 32 119 16302 640 0 0 12 15 13 12.35/2.88 c 32 117 16031 643 0 0 11 15 13 13.15/3.01 c 32 115 14870 627 0 0 11 16 13 14.01/3.06 c 32 115 14870 627 0 0 11 16 13 15.54/3.25 c 101 358 49055 2031 0 0 9 15 13 16.33/3.32 c 101 343 45726 1881 0 0 10 16 13 16.33/3.32 c 101 335 46532 1821 0 0 9 15 13 17.93/3.52 c 101 376 51524 2123 0 0 8 15 13 18.73/3.65 c 33 133 17970 670 0 0 14 14 7 20.34/3.82 c 33 132 17830 685 0 0 15 15 7 21.14/3.96 c 33 128 16527 659 0 0 13 13 6 22.00/4.01 c 33 128 16527 659 0 0 13 13 6 25.12/4.49 c 211 722 99668 4176 0 0 9 15 13 27.52/4.71 c 211 707 98165 4015 0 0 10 15 13 29.12/4.94 c 64 237 32455 1302 0 0 12 15 13 29.12/4.95 c 64 245 31544 1249 0 0 11 14 13 29.12/4.96 c 64 233 32978 1229 0 0 11 15 13 29.12/4.97 c 211 742 102654 4260 0 0 9 14 13 29.12/4.98 c 211 713 96161 4091 0 0 9 15 13 29.98/5.06 c 64 245 31544 1249 0 0 11 14 13 34.70/5.64 c 332 1127 155608 6539 0 0 10 15 13 37.09/5.99 c 65 258 33119 1270 0 0 13 13 6 38.77/6.15 c 65 258 33119 1270 0 0 13 13 6 38.77/6.16 c 65 252 34289 1347 0 0 15 15 7 39.48/6.23 c 65 246 34678 1249 0 0 13 13 6 40.28/6.30 c 332 1161 159105 6614 0 0 7 15 13 41.09/6.42 c 332 1124 156258 6386 0 0 10 15 13 41.88/6.58 c 332 1130 153239 6386 0 0 10 15 13 45.08/6.97 c 465 1587 217483 9155 0 0 11 15 13 45.95/7.04 c 66 271 34750 1299 0 0 13 13 6 47.47/7.22 c 66 271 34750 1299 0 0 13 13 6 49.87/7.56 c 66 267 36206 1389 0 0 15 15 7 50.67/7.60 c 66 259 36380 1269 0 0 13 13 6 53.06/7.99 c 465 1626 223200 9286 0 0 10 15 13 55.46/8.23 c 67 284 36325 1320 0 0 13 13 6 55.46/8.25 c 465 1597 216684 9032 0 0 10 15 13 56.25/8.30 c 465 1563 218742 8989 0 0 10 15 13 57.05/8.40 c 67 284 36325 1320 0 0 13 13 6 57.86/8.56 c 611 2095 286759 12122 0 0 10 15 13 61.92/9.01 c 67 282 37999 1425 0 0 15 15 7 61.92/9.10 c 67 272 38080 1289 0 0 13 13 6 66.64/9.67 c 128 495 65164 2483 0 0 11 15 13 67.44/9.75 c 611 2121 290924 12163 0 0 10 15 13 67.44/9.77 c 128 495 65164 2483 0 0 11 15 13 70.73/10.16 c 611 2113 289491 12012 0 0 9 14 13 70.73/10.18 c 611 2087 289410 11902 0 0 8 15 13 71.42/10.29 c 771 2638 360540 15309 0 0 10 15 13 74.62/10.60 c 128 478 64526 2575 0 0 10 15 13 75.42/10.71 c 128 483 68407 2506 0 0 11 15 13 77.02/10.94 c 129 508 66684 2506 0 0 13 13 6 77.02/10.97 c 129 508 66684 2506 0 0 13 13 6 82.60/11.67 c 771 2638 362635 15230 0 0 10 15 13 85.01/11.94 c 129 493 66332 2617 0 0 15 15 7 85.87/12.01 c 771 2664 366315 15156 0 0 7 15 13 85.87/12.07 c 771 2641 364148 14949 0 0 7 15 13 86.68/12.14 c 130 521 68263 2530 0 0 13 13 6 86.68/12.15 c 947 3237 442410 18707 0 0 10 15 13 86.68/12.16 c 130 521 68263 2530 0 0 13 13 6 87.40/12.25 c 129 497 70098 2535 0 0 14 14 7 96.18/13.36 c 130 508 68152 2660 0 0 15 15 7 96.98/13.42 c 131 534 69783 2553 0 0 13 13 6 96.98/13.46 c 131 534 69783 2553 0 0 13 13 6 98.57/13.62 c 947 3240 444868 18683 0 0 10 15 13 99.37/13.74 c 130 511 71837 2570 0 0 14 14 7 101.83/14.02 c 947 3247 447599 18503 0 0 7 15 13 103.41/14.20 c 947 3240 448694 18447 0 0 9 15 13 103.41/14.29 c 1140 3928 535536 22570 0 0 9 15 13 105.77/14.55 c 132 547 71362 2577 0 0 13 13 6 105.77/14.60 c 132 547 71362 2577 0 0 13 13 6 106.56/14.66 c 131 523 70072 2702 0 0 15 15 7 109.82/15.04 c 131 525 73528 2599 0 0 14 14 7 114.55/15.65 c 1140 3912 537352 22595 0 0 10 15 13 115.34/15.73 c 133 560 72882 2600 0 0 13 13 6 116.14/15.81 c 133 560 72882 2600 0 0 13 13 6 116.94/16.00 c 132 538 71878 2742 0 0 15 15 7 119.33/16.25 c 132 539 75268 2634 0 0 14 14 7 120.13/16.36 c 1140 3894 539298 22054 0 0 8 15 13 120.13/16.36 c 1140 3913 539877 22349 0 0 10 15 13 122.52/16.63 c 1352 4631 632457 26762 0 0 7 15 13 124.12/16.84 c 134 573 74461 2624 0 0 13 13 6 124.92/16.93 c 134 573 74461 2624 0 0 13 13 6 128.11/17.38 c 133 553 73687 2782 0 0 15 15 7 129.71/17.51 c 133 553 77048 2672 0 0 14 14 7 131.31/17.71 c 1352 4663 641962 26816 0 0 7 15 13 133.77/18.02 c 135 586 75981 2647 0 0 13 13 6 134.57/18.15 c 135 586 75981 2647 0 0 13 13 6 138.50/18.63 c 134 568 75508 2826 0 0 15 15 7 139.30/18.73 c 1352 4651 645535 26291 0 0 10 15 13 140.10/18.81 c 134 567 78834 2710 0 0 14 14 7 140.89/18.94 c 1352 4648 641651 26494 0 0 10 15 13 140.89/18.97 c 1585 5424 741951 31420 0 0 9 15 13 144.88/19.48 c 256 1014 131978 4955 0 0 9 15 13 146.48/19.61 c 256 1014 131978 4955 0 0 9 15 13 148.08/19.87 c 135 583 77467 2869 0 0 15 15 7 148.88/19.90 c 1585 5446 751092 31369 0 0 8 15 13 149.74/20.02 c 135 581 80614 2748 0 0 14 14 7 154.46/20.67 c 257 1028 133609 4992 0 0 14 14 7 156.07/20.83 c 257 1028 133609 4992 0 0 14 14 7 157.72/21.06 c 1585 5436 754186 30784 0 0 6 15 13 159.25/21.28 c 1841 6310 862976 36464 0 0 10 15 13 161.65/21.53 c 1585 5444 751154 31124 0 0 9 15 13 161.65/21.56 c 256 992 135665 5259 0 0 9 15 13 163.25/21.76 c 256 1014 141522 5144 0 0 11 15 13 164.11/21.89 c 258 1041 135130 5019 0 0 13 13 6 165.70/22.08 c 258 1041 135130 5019 0 0 13 13 6 168.03/22.35 c 1841 6301 870559 36374 0 0 8 15 13 172.82/22.90 c 257 1007 137459 5292 0 0 15 15 7 173.68/23.04 c 259 1055 136761 5056 0 0 14 14 7 174.49/23.11 c 257 1029 143408 5184 0 0 15 15 7 175.21/23.25 c 259 1055 136761 5056 0 0 14 14 7 177.61/23.56 c 1841 6286 872843 35721 0 0 9 15 13 180.00/23.85 c 2122 7291 995257 42147 0 0 10 15 13 183.99/24.36 c 258 1022 139304 5334 0 0 15 15 7 183.99/24.36 c 1841 6333 874924 36209 0 0 9 15 13 183.99/24.37 c 258 1044 145299 5226 0 0 15 15 7 183.99/24.37 c 260 1068 138330 5087 0 0 13 13 6 185.59/24.56 c 260 1068 138330 5087 0 0 13 13 6 187.98/24.82 c 2122 7275 1004244 41936 0 0 10 15 13 195.17/25.71 c 259 1059 147191 5268 0 0 15 15 7 195.17/25.71 c 261 1081 139989 5118 0 0 13 13 6 195.17/25.77 c 259 1037 141098 5367 0 0 15 15 7 196.77/25.91 c 261 1081 139989 5118 0 0 13 13 6 198.43/26.13 c 2122 7238 1004507 41143 0 0 9 15 13 199.95/26.33 c 2431 8371 1142957 48245 0 0 8 15 13 205.61/27.01 c 260 1074 149082 5310 0 0 15 15 7 205.61/27.02 c 262 1094 141644 5149 0 0 13 13 6 205.61/27.06 c 260 1052 142943 5409 0 0 15 15 7 205.61/27.07 c 2122 7303 1010443 41677 0 0 6 15 13 207.14/27.21 c 262 1094 141644 5149 0 0 13 13 6 207.14/27.22 c 2431 8340 1148973 48079 0 0 6 15 13 214.40/28.19 c 263 1108 143275 5186 0 0 14 14 7 215.92/28.32 c 261 1089 150974 5352 0 0 15 15 7 215.92/28.36 c 261 1067 144768 5452 0 0 15 15 7 215.92/28.38 c 263 1108 143275 5186 0 0 14 14 7 218.32/28.69 c 2431 8310 1151055 47232 0 0 7 15 13 222.39/29.17 c 2770 9587 1308395 55110 0 0 8 14 13 225.51/29.50 c 264 1121 144844 5217 0 0 13 13 6 226.31/29.62 c 262 1104 152865 5394 0 0 15 15 7 226.31/29.67 c 264 1121 144844 5217 0 0 13 13 6 227.10/29.75 c 262 1082 146593 5495 0 0 15 15 7 227.90/29.85 c 2431 8379 1160728 47772 0 0 9 15 13 231.10/30.22 c 2770 9538 1313766 54985 0 0 8 15 13 236.70/30.90 c 263 1119 154757 5436 0 0 15 15 7 236.70/30.94 c 265 1134 146503 5248 0 0 13 13 6 237.56/31.09 c 263 1097 148418 5538 0 0 15 15 7 238.37/31.12 c 265 1134 146503 5248 0 0 13 13 6 240.69/31.45 c 2770 9459 1308947 53770 0 0 7 15 13 246.35/32.14 c 3142 10826 1478201 62355 0 0 10 15 13 247.10/32.23 c 264 1134 156648 5478 0 0 15 15 7 247.10/32.25 c 266 1147 148158 5279 0 0 13 13 6 248.66/32.41 c 266 1147 148158 5279 0 0 13 13 6 248.66/32.41 c 264 1112 150243 5581 0 0 15 15 7 255.85/33.32 c 2770 9604 1329407 54637 0 0 8 15 13 256.66/33.41 c 3142 10842 1493207 62416 0 0 8 15 13 256.66/33.47 c 267 1161 149789 5316 0 0 14 14 7 257.45/33.54 c 265 1149 158540 5520 0 0 15 15 7 257.45/33.59 c 267 1161 149789 5316 0 0 14 14 7 259.05/33.73 c 265 1127 152068 5624 0 0 15 15 7 264.64/34.46 c 3142 10748 1490004 61248 0 0 9 15 13 267.83/34.82 c 268 1174 151358 5347 0 0 13 13 6 267.83/34.87 c 266 1164 160320 5554 0 0 15 15 7 267.83/34.89 c 268 1174 151358 5347 0 0 13 13 6 269.49/35.03 c 3551 12219 1668001 70487 0 0 7 15 13 269.49/35.04 c 266 1142 153893 5667 0 0 15 15 7 278.28/36.18 c 269 1187 152930 5378 0 0 13 13 6 279.00/36.23 c 267 1179 162105 5588 0 0 15 15 7 279.00/36.24 c 269 1187 152930 5378 0 0 13 13 6 279.80/36.37 c 267 1157 155718 5710 0 0 15 15 7 280.60/36.48 c 3551 12253 1687447 70543 0 0 7 15 13 285.46/37.08 c 3142 10923 1513106 62160 0 0 10 15 13 289.38/37.52 c 270 1200 154499 5409 0 0 13 13 6 289.38/37.56 c 270 1200 154499 5409 0 0 13 13 6 290.18/37.62 c 268 1193 163758 5613 0 0 14 14 7 290.18/37.63 c 3551 12149 1682882 69327 0 0 6 15 13 290.18/37.68 c 268 1172 157543 5753 0 0 15 15 7 295.77/38.36 c 4000 13752 1879768 79248 0 0 8 15 13 299.77/38.89 c 271 1213 156070 5441 0 0 13 13 6 299.77/38.90 c 271 1213 156070 5441 0 0 13 13 6 301.43/39.02 c 269 1187 159369 5796 0 0 15 15 7 301.43/39.04 c 269 1208 165543 5647 0 0 15 15 7 306.95/39.74 c 4000 13809 1897676 79476 0 0 6 15 13 311.74/40.30 c 270 1202 161194 5839 0 0 15 15 7 312.54/40.43 c 270 1222 167196 5672 0 0 14 14 7 314.94/40.70 c 4000 13638 1886599 77931 0 0 10 15 13 314.94/40.78 c 3551 12364 1709957 70297 0 0 8 15 13 317.40/41.09 c 512 2047 269486 10149 0 0 10 15 13 318.21/41.13 c 512 2047 269486 10149 0 0 10 15 13 320.52/41.43 c 271 1217 163014 5882 0 0 15 15 7 322.12/41.63 c 4493 15456 2111541 88992 0 0 5 15 13 323.72/41.82 c 271 1236 168881 5710 0 0 14 14 7 327.71/42.39 c 513 2060 271099 10171 0 0 13 13 6 328.56/42.45 c 513 2060 271099 10171 0 0 13 13 6 334.18/43.17 c 4493 15470 2127590 89156 0 0 7 15 13 338.10/43.67 c 514 2073 272716 10193 0 0 13 13 6 338.90/43.71 c 514 2073 272716 10193 0 0 13 13 6 338.90/43.79 c 512 2059 278312 10550 0 0 10 15 13 342.16/44.12 c 512 2065 283325 10467 0 0 8 15 13 342.88/44.26 c 4493 15335 2123176 87571 0 0 8 15 13 343.69/44.36 c 4000 13905 1923307 79085 0 0 8 15 13 348.47/44.95 c 515 2086 274329 10215 0 0 13 13 6 348.47/44.98 c 515 2086 274329 10215 0 0 13 13 6 350.14/45.19 c 513 2074 280176 10595 0 0 15 15 7 350.86/45.24 c 5035 17356 2369487 99843 0 0 6 15 13 351.66/45.39 c 513 2078 284907 10499 0 0 13 13 6 358.13/46.16 c 516 2099 275946 10237 0 0 13 13 6 358.85/46.20 c 516 2099 275946 10237 0 0 13 13 6 362.04/46.63 c 514 2089 282046 10640 0 0 15 15 7 362.04/46.69 c 514 2091 286495 10531 0 0 13 13 6 366.11/47.19 c 5035 17324 2383808 99861 0 0 7 15 13 367.63/47.34 c 517 2112 277559 10259 0 0 13 13 6 367.63/47.39 c 517 2112 277559 10259 0 0 13 13 6 372.43/47.91 c 515 2104 283910 10685 0 0 15 15 7 372.43/47.93 c 515 2104 288077 10563 0 0 13 13 6 372.43/47.95 c 5035 17152 2374661 98093 0 0 8 15 13 375.62/48.36 c 4493 15575 2156187 88756 0 0 7 15 13 377.21/48.54 c 518 2125 279176 10281 0 0 13 13 6 377.21/48.58 c 518 2125 279176 10281 0 0 13 13 6 381.28/49.09 c 516 2119 285780 10730 0 0 15 15 7 382.08/49.16 c 516 2117 289665 10595 0 0 13 13 6 384.40/49.48 c 5631 19393 2651132 111649 0 0 8 15 13 386.80/49.71 c 519 2138 280789 10303 0 0 13 13 6 386.80/49.77 c 519 2138 280789 10303 0 0 13 13 6 391.58/50.36 c 517 2130 291247 10627 0 0 13 13 6 391.58/50.39 c 517 2134 287623 10767 0 0 15 15 7 396.38/50.91 c 520 2151 282406 10325 0 0 13 13 6 396.38/50.97 c 520 2151 282406 10325 0 0 13 13 6 398.77/51.30 c 5631 19436 2666166 111869 0 0 8 15 13 401.17/51.57 c 518 2143 292835 10659 0 0 13 13 6 402.77/51.71 c 518 2149 289493 10812 0 0 15 15 7 402.77/51.79 c 5631 19203 2660739 109851 0 0 8 15 13 405.23/52.09 c 521 2164 284019 10347 0 0 13 13 6 406.04/52.15 c 521 2164 284019 10347 0 0 13 13 6 409.15/52.57 c 5035 17408 2411519 99298 0 0 8 15 13 410.76/52.75 c 519 2156 294417 10691 0 0 13 13 6 412.35/52.93 c 519 2164 291336 10849 0 0 15 15 7 415.58/53.31 c 522 2177 285636 10369 0 0 13 13 6 415.58/53.34 c 522 2177 285636 10369 0 0 13 13 6 420.33/53.98 c 6286 21650 2956410 124664 0 0 8 15 13 420.33/53.98 c 520 2169 296005 10723 0 0 13 13 6 422.00/54.12 c 520 2179 293206 10894 0 0 15 15 7 424.32/54.48 c 523 2190 287249 10391 0 0 13 13 6 425.12/54.54 c 523 2190 287249 10391 0 0 13 13 6 429.98/55.17 c 521 2182 297587 10755 0 0 13 13 6 432.30/55.42 c 521 2194 295049 10931 0 0 15 15 7 433.10/55.60 c 6286 21735 2982357 125045 0 0 8 15 13 433.90/55.68 c 524 2203 288866 10413 0 0 13 13 6 434.70/55.75 c 524 2203 288866 10413 0 0 13 13 6 438.69/56.28 c 6286 21554 2981670 123018 0 0 10 15 13 439.49/56.39 c 522 2195 299175 10787 0 0 13 13 6 442.68/56.73 c 522 2209 296919 10976 0 0 15 15 7 443.48/56.87 c 525 2216 290479 10435 0 0 13 13 6 444.28/56.93 c 525 2216 290479 10435 0 0 13 13 6 445.95/57.18 c 5631 19473 2695871 111130 0 0 7 15 13 449.07/57.57 c 523 2208 300757 10819 0 0 13 13 6 452.27/57.96 c 523 2224 298762 11013 0 0 15 15 7 453.13/58.08 c 526 2229 292096 10457 0 0 13 13 6 453.93/58.14 c 526 2229 292096 10457 0 0 13 13 6 459.45/58.80 c 524 2221 302345 10851 0 0 13 13 6 461.92/59.14 c 7006 24176 3300351 139155 0 0 8 15 13 461.92/59.14 c 524 2239 300632 11058 0 0 15 15 7 462.64/59.25 c 527 2242 293709 10479 0 0 13 13 6 463.44/59.33 c 527 2242 293709 10479 0 0 13 13 6 468.24/59.98 c 525 2234 303927 10883 0 0 13 13 6 472.23/60.43 c 525 2254 302475 11095 0 0 15 15 7 472.23/60.47 c 528 2255 295326 10501 0 0 13 13 6 473.03/60.53 c 528 2255 295326 10501 0 0 13 13 6 477.09/61.07 c 7006 24067 3331071 137221 0 0 7 15 13 477.89/61.15 c 7006 24235 3320889 139351 0 0 7 15 13 477.89/61.19 c 526 2247 305515 10915 0 0 13 13 6 481.81/61.65 c 529 2268 296939 10523 0 0 13 13 6 482.61/61.73 c 529 2268 296939 10523 0 0 13 13 6 482.61/61.76 c 526 2269 304347 11140 0 0 15 15 7 485.88/62.14 c 6286 21742 3010769 123978 0 0 5 15 13 487.40/62.38 c 527 2260 307097 10947 0 0 13 13 6 491.39/62.87 c 530 2281 298556 10545 0 0 13 13 6 492.19/62.93 c 530 2281 298556 10545 0 0 13 13 6 492.19/62.99 c 527 2284 306192 11177 0 0 15 15 7 497.78/63.60 c 528 2273 308685 10979 0 0 13 13 6 501.04/64.06 c 531 2294 300169 10567 0 0 13 13 6 501.85/64.12 c 531 2294 300169 10567 0 0 13 13 6 501.85/64.17 c 528 2299 308065 11222 0 0 15 15 7 504.17/64.44 c 7798 26924 3671026 154917 0 0 7 15 13 506.57/64.78 c 529 2286 310267 11011 0 0 13 13 6 510.55/65.27 c 532 2307 301786 10589 0 0 13 13 6 511.35/65.33 c 532 2307 301786 10589 0 0 13 13 6 512.15/65.47 c 529 2314 309910 11259 0 0 15 15 7 516.15/65.99 c 530 2299 311855 11043 0 0 13 13 6 520.14/66.46 c 533 2320 303399 10611 0 0 13 13 6 520.14/66.47 c 7798 26852 3715130 153148 0 0 7 15 13 520.93/66.51 c 533 2320 303399 10611 0 0 13 13 6 521.73/66.67 c 530 2328 311624 11282 0 0 14 14 7 524.18/66.95 c 7798 27031 3706437 155369 0 0 8 15 13 525.79/67.16 c 531 2312 313437 11075 0 0 13 13 6 529.71/67.66 c 534 2333 305016 10633 0 0 13 13 6 530.50/67.70 c 534 2333 305016 10633 0 0 13 13 6 531.30/67.83 c 7006 24240 3357766 138205 0 0 8 15 13 532.10/68.00 c 531 2342 313431 11320 0 0 14 14 7 535.29/68.37 c 532 2325 315025 11107 0 0 13 13 6 539.29/68.83 c 535 2346 306629 10655 0 0 13 13 6 539.29/68.88 c 535 2346 306629 10655 0 0 13 13 6 543.35/69.34 c 532 2357 315276 11357 0 0 15 15 7 544.88/69.55 c 533 2338 316607 11139 0 0 13 13 6 548.94/70.01 c 536 2359 308246 10677 0 0 13 13 6 548.94/70.07 c 536 2359 308246 10677 0 0 13 13 6 552.06/70.48 c 8669 29954 4081669 172412 0 0 8 15 13 553.66/70.62 c 533 2371 316990 11380 0 0 14 14 7 554.46/70.76 c 534 2351 318195 11171 0 0 13 13 6 557.73/71.16 c 537 2372 309859 10699 0 0 13 13 6 558.45/71.24 c 537 2372 309859 10699 0 0 13 13 6 564.04/71.92 c 534 2385 318793 11418 0 0 14 14 7 564.04/71.94 c 535 2364 319777 11203 0 0 13 13 6 567.23/72.35 c 538 2385 311476 10721 0 0 13 13 6 567.23/72.39 c 8669 29903 4134490 170633 0 0 6 15 13 568.03/72.43 c 538 2385 311476 10721 0 0 13 13 6 573.70/73.15 c 536 2377 321365 11235 0 0 13 13 6 574.42/73.22 c 8669 30095 4130742 172876 0 0 5 15 13 575.22/73.34 c 535 2399 320507 11441 0 0 14 14 7 576.81/73.52 c 539 2398 313089 10743 0 0 13 13 6 577.61/73.61 c 539 2398 313089 10743 0 0 13 13 6 577.61/73.62 c 7798 26989 3740910 153824 0 0 8 15 13 583.20/74.32 c 537 2390 322947 11267 0 0 13 13 6 585.60/74.69 c 540 2411 314706 10765 0 0 13 13 6 586.40/74.74 c 536 2413 322310 11479 0 0 14 14 7 587.20/74.82 c 540 2411 314706 10765 0 0 13 13 6 592.78/75.53 c 538 2403 324535 11299 0 0 13 13 6 595.18/75.82 c 541 2424 316319 10787 0 0 13 13 6 595.98/76.00 c 541 2424 316319 10787 0 0 13 13 6 597.64/76.12 c 537 2427 324024 11502 0 0 14 14 7 602.36/76.71 c 539 2416 326117 11331 0 0 13 13 6 603.16/76.81 c 9627 33241 4533826 191377 0 0 7 15 13 603.96/76.99 c 542 2437 317936 10809 0 0 13 13 6 605.63/77.19 c 542 2437 317936 10809 0 0 13 13 6 608.02/77.48 c 538 2441 325827 11540 0 0 14 14 7 611.94/77.91 c 540 2429 327705 11363 0 0 13 13 6 613.61/78.15 c 543 2450 319549 10831 0 0 13 13 6 614.33/78.27 c 9627 33206 4587250 189770 0 0 7 15 13 615.13/78.36 c 543 2450 319549 10831 0 0 13 13 6 619.13/78.86 c 539 2455 327541 11563 0 0 14 14 7 620.79/79.09 c 541 2442 329287 11395 0 0 13 13 6 621.60/79.14 c 9627 33381 4585249 192077 0 0 4 15 13 625.52/79.66 c 8669 29957 4149159 170829 0 0 6 15 13 630.30/80.23 c 540 2469 329341 11602 0 0 14 14 7 631.10/80.30 c 542 2455 330875 11427 0 0 13 13 6 639.89/81.48 c 543 2468 332457 11459 0 0 13 13 6 640.69/81.54 c 1024 4121 550353 20332 0 0 7 15 13 641.49/81.67 c 541 2483 331055 11625 0 0 14 14 7 643.08/81.81 c 1024 4121 550353 20332 0 0 7 15 13 651.07/82.82 c 1025 4135 552037 20363 0 0 14 14 7 652.73/83.04 c 542 2497 332855 11664 0 0 14 14 7 653.54/83.11 c 1025 4135 552037 20363 0 0 14 14 7 658.26/83.75 c 10680 36838 5017864 212125 0 0 4 15 13 660.72/84.07 c 1026 4149 553781 20402 0 0 14 14 7 663.04/84.37 c 1026 4149 553781 20402 0 0 14 14 7 663.04/84.39 c 543 2511 334569 11687 0 0 14 14 7 668.70/85.02 c 1024 4069 558837 20815 0 0 8 15 13 668.70/85.06 c 10680 36841 5085182 210497 0 0 6 15 13 671.02/85.36 c 1027 4163 555526 20441 0 0 14 14 7 673.43/85.66 c 1027 4163 555526 20441 0 0 14 14 7 675.03/85.88 c 10680 37057 5092101 213197 0 0 4 15 13 678.21/86.28 c 1025 4082 560427 20838 0 0 13 13 6 679.01/86.37 c 9627 33307 4616758 189988 0 0 6 15 13 680.61/86.54 c 1028 4177 557270 20480 0 0 14 14 7 683.00/86.84 c 1028 4177 557270 20480 0 0 14 14 7 688.60/87.53 c 1026 4095 562021 20861 0 0 13 13 6 690.20/87.71 c 1029 4191 559015 20519 0 0 14 14 7 692.66/88.01 c 1024 4175 562997 21107 0 0 9 15 13 692.66/88.06 c 1029 4191 559015 20519 0 0 14 14 7 697.38/88.69 c 1027 4108 563611 20884 0 0 13 13 6 698.98/88.88 c 1030 4205 560759 20558 0 0 14 14 7 702.17/89.28 c 1030 4205 560759 20558 0 0 14 14 7 702.97/89.36 c 1025 4189 564711 21130 0 0 14 14 7 706.96/89.83 c 1028 4121 565204 20907 0 0 13 13 6 708.63/90.06 c 1031 4219 562504 20597 0 0 14 14 7 711.74/90.49 c 1031 4219 562504 20597 0 0 14 14 7 714.94/90.87 c 11838 40833 5562117 235253 0 0 7 15 13 714.94/90.88 c 1026 4203 566534 21170 0 0 14 14 7 716.63/91.10 c 1029 4134 566794 20930 0 0 13 13 6 721.32/91.68 c 1032 4233 564248 20636 0 0 14 14 7 721.32/91.69 c 11838 40780 5629001 233122 0 0 6 15 13 722.12/91.75 c 1032 4233 564248 20636 0 0 14 14 7 726.91/92.36 c 1030 4147 568388 20953 0 0 13 13 6 730.91/92.88 c 1033 4247 565993 20675 0 0 14 14 7 730.91/92.88 c 1027 4217 568248 21193 0 0 14 14 7 731.71/92.96 c 11838 41142 5649749 236402 0 0 6 15 13 735.70/93.47 c 1033 4247 565993 20675 0 0 14 14 7 736.50/93.52 c 1031 4160 569978 20976 0 0 13 13 6 738.89/93.82 c 10680 36995 5126269 211034 0 0 7 15 13 740.55/94.05 c 1034 4261 567737 20714 0 0 14 14 7 745.28/94.64 c 1032 4173 571571 20999 0 0 13 13 6 746.08/94.79 c 1028 4231 570071 21233 0 0 14 14 7 749.33/95.19 c 1034 4261 567737 20714 0 0 14 14 7 750.06/95.26 c 1035 4275 569482 20753 0 0 14 14 7 754.86/95.86 c 1033 4186 573161 21022 0 0 13 13 6 759.65/96.45 c 1036 4289 571226 20792 0 0 14 14 7 762.04/96.70 c 1029 4245 571785 21256 0 0 14 14 7 763.64/96.93 c 1035 4275 569482 20753 0 0 14 14 7 765.30/97.13 c 1034 4199 574755 21045 0 0 13 13 6 769.23/97.64 c 1037 4303 572971 20831 0 0 14 14 7 774.02/98.29 c 1035 4212 576345 21068 0 0 13 13 6 774.82/98.31 c 13111 45228 6162390 260460 0 0 4 15 13 775.62/98.47 c 13111 45204 6239412 258477 0 0 6 15 13 777.21/98.62 c 1036 4289 571226 20792 0 0 14 14 7 777.21/98.66 c 1030 4259 573608 21296 0 0 14 14 7 778.81/98.82 c 1038 4317 574712 20870 0 0 14 14 7 783.60/99.40 c 1036 4225 577938 21091 0 0 13 13 6 788.46/100.05 c 1039 4331 576457 20909 0 0 14 14 7 789.99/100.21 c 13111 45662 6272095 262050 0 0 6 15 13 790.79/100.35 c 1037 4303 572971 20831 0 0 14 14 7 793.18/100.63 c 1031 4273 575322 21319 0 0 14 14 7 793.18/100.64 c 1037 4238 579528 21114 0 0 13 13 6 797.95/101.22 c 1040 4345 578198 20948 0 0 14 14 7 802.74/101.86 c 1038 4251 581122 21137 0 0 13 13 6 803.54/101.93 c 11838 40944 5673482 233804 0 0 7 15 13 804.40/102.06 c 1038 4317 574712 20870 0 0 14 14 7 806.73/102.33 c 1041 4359 579943 20987 0 0 14 14 7 807.53/102.47 c 1032 4287 577145 21359 0 0 14 14 7 811.53/102.95 c 1039 4264 582712 21160 0 0 13 13 6 815.51/103.45 c 1042 4373 581684 21026 0 0 14 14 7 817.91/103.79 c 1039 4331 576457 20909 0 0 14 14 7 820.37/104.02 c 1040 4277 584305 21183 0 0 13 13 6 821.90/104.29 c 1033 4301 578859 21382 0 0 14 14 7 824.30/104.56 c 1043 4387 583429 21065 0 0 14 14 7 829.15/105.17 c 1041 4290 585895 21206 0 0 13 13 6 831.48/105.50 c 1040 4345 578198 20948 0 0 14 14 7 833.08/105.68 c 1044 4401 585170 21104 0 0 14 14 7 837.14/106.12 c 1034 4315 580681 21422 0 0 14 14 7 837.14/106.17 c 14511 50048 6906912 286189 0 0 7 15 13 838.66/106.37 c 1042 4303 587489 21229 0 0 13 13 6 841.86/106.78 c 1045 4415 586915 21143 0 0 14 14 7 845.12/107.18 c 1041 4359 579943 20987 0 0 14 14 7 847.45/107.46 c 14511 50086 6818845 288447 0 0 6 15 13 847.45/107.46 c 1043 4316 589079 21252 0 0 13 13 6 850.64/107.87 c 1035 4329 582395 21445 0 0 14 14 7 850.64/107.89 c 1046 4429 588656 21182 0 0 14 14 7 856.23/108.52 c 1044 4329 590672 21275 0 0 13 13 6 858.63/108.87 c 1042 4373 581684 21026 0 0 14 14 7 859.43/108.98 c 1047 4443 590401 21221 0 0 14 14 7 863.42/109.49 c 1036 4343 584217 21485 0 0 14 14 7 864.22/109.54 c 14511 50502 6935629 289673 0 0 5 15 13 865.01/109.66 c 1045 4342 592262 21298 0 0 13 13 6 868.27/110.09 c 1048 4457 592142 21260 0 0 14 14 7 872.20/110.54 c 1043 4387 583429 21065 0 0 14 14 7 872.20/110.58 c 13111 45401 6296997 259015 0 0 7 15 13 874.59/110.86 c 1046 4355 593856 21321 0 0 13 13 6 875.38/110.95 c 1037 4357 585931 21508 0 0 14 14 7 877.75/111.21 c 1049 4470 593663 21283 0 0 13 13 6 883.34/111.97 c 1047 4368 595446 21344 0 0 13 13 6 884.20/112.08 c 1038 4371 587753 21548 0 0 14 14 7 885.72/112.25 c 1044 4401 585170 21104 0 0 14 14 7 887.32/112.40 c 1050 4483 595180 21305 0 0 13 13 6 892.18/113.03 c 1048 4381 597039 21367 0 0 13 13 6 892.99/113.12 c 1039 4385 589467 21571 0 0 14 14 7 896.11/113.53 c 1051 4497 596921 21344 0 0 14 14 7 899.31/113.90 c 1045 4415 586915 21143 0 0 14 14 7 900.97/114.19 c 1049 4394 598629 21390 0 0 13 13 6 901.69/114.24 c 1040 4399 591289 21611 0 0 14 14 7 904.89/114.64 c 1052 4510 598438 21366 0 0 13 13 6 906.48/114.80 c 16051 55328 7636166 316604 0 0 5 15 13 910.47/115.30 c 1041 4413 593003 21634 0 0 14 14 7 911.27/115.40 c 1050 4407 600223 21413 0 0 13 13 6 912.07/115.60 c 1046 4429 588656 21182 0 0 14 14 7 913.67/115.75 c 1053 4523 599959 21389 0 0 13 13 6 918.45/116.35 c 16051 55336 7530358 318847 0 0 5 15 13 919.25/116.41 c 1042 4427 594825 21674 0 0 14 14 7 919.25/116.49 c 1051 4420 601813 21436 0 0 13 13 6 922.45/116.88 c 1054 4536 601476 21411 0 0 13 13 6 925.64/117.25 c 1047 4443 590401 21221 0 0 14 14 7 927.24/117.46 c 1043 4441 596539 21697 0 0 14 14 7 928.04/117.55 c 1052 4433 603406 21459 0 0 13 13 6 931.24/117.98 c 1055 4549 602997 21434 0 0 13 13 6 933.63/118.27 c 16051 55811 7662416 320275 0 0 6 15 13 936.02/118.57 c 1044 4455 598361 21737 0 0 14 14 7 937.62/118.72 c 1053 4446 604996 21482 0 0 13 13 6 939.22/118.93 c 1048 4457 592142 21260 0 0 14 14 7 940.88/119.11 c 1056 4562 604514 21456 0 0 13 13 6 944.81/119.61 c 1045 4469 600075 21760 0 0 14 14 7 947.21/119.91 c 1054 4459 606590 21505 0 0 13 13 6 949.60/120.22 c 1057 4575 606035 21479 0 0 13 13 6 951.99/120.59 c 1049 4470 593663 21283 0 0 13 13 6 953.59/120.72 c 1046 4483 601897 21800 0 0 14 14 7 956.05/121.02 c 1055 4472 608180 21528 0 0 13 13 6 958.37/121.36 c 1058 4588 607552 21501 0 0 13 13 6 961.57/121.77 c 1047 4497 603611 21823 0 0 14 14 7 964.03/122.07 c 1056 4485 609773 21551 0 0 13 13 6 966.35/122.36 c 1050 4483 595180 21305 0 0 13 13 6 967.15/122.47 c 1059 4601 609073 21524 0 0 13 13 6 969.55/122.79 c 14511 50246 6969923 286786 0 0 7 15 13 970.35/122.88 c 1048 4511 605433 21863 0 0 14 14 7 973.54/123.22 c 1057 4498 611363 21574 0 0 13 13 6 975.94/123.60 c 1060 4614 610590 21546 0 0 13 13 6 979.14/123.92 c 1049 4525 607147 21886 0 0 14 14 7 980.00/124.04 c 17745 61233 8452417 349979 0 0 7 15 13 980.00/124.07 c 1051 4497 596921 21344 0 0 14 14 7 983.12/124.42 c 1058 4511 612957 21597 0 0 13 13 6 985.52/124.71 c 1061 4627 612111 21569 0 0 13 13 6 988.02/125.04 c 1050 4539 608969 21926 0 0 14 14 7 991.91/125.52 c 1059 4524 614547 21620 0 0 13 13 6 993.51/125.74 c 1052 4510 598438 21366 0 0 13 13 6 994.31/125.85 c 1062 4640 613628 21591 0 0 13 13 6 995.97/126.08 c 1051 4553 610683 21949 0 0 14 14 7 999.10/126.45 c 17745 61257 8333825 352838 0 0 7 15 13 999.89/126.57 c 1060 4537 616140 21643 0 0 13 13 6 1003.09/126.95 c 1063 4653 615149 21614 0 0 13 13 6 1004.75/127.20 c 1052 4567 612505 21989 0 0 14 14 7 1007.08/127.41 c 1053 4523 599959 21389 0 0 13 13 6 1009.48/127.73 c 1061 4550 617730 21666 0 0 13 13 6 1011.94/128.08 c 1064 4666 616666 21636 0 0 13 13 6 1013.47/128.24 c 1053 4581 614219 22012 0 0 14 14 7 1019.06/128.91 c 17745 61803 8485355 354557 0 0 7 15 13 1019.06/128.93 c 1062 4563 619324 21689 0 0 13 13 6 1020.72/129.13 c 1054 4536 601476 21411 0 0 13 13 6 1020.72/129.20 c 1065 4679 618187 21659 0 0 13 13 6 1022.25/129.36 c 1054 4595 615960 22043 0 0 14 14 7 1027.91/130.02 c 1063 4576 620914 21712 0 0 13 13 6 1030.24/130.32 c 1066 4692 619704 21681 0 0 13 13 6 1030.24/130.39 c 1055 4609 617674 22066 0 0 14 14 7 1033.43/130.79 c 1055 4549 602997 21434 0 0 13 13 6 1035.89/131.07 c 1064 4589 622507 21735 0 0 13 13 6 1039.02/131.42 c 1067 4705 621225 21704 0 0 13 13 6 1039.82/131.50 c 1056 4622 619400 22096 0 0 13 13 6 1045.40/132.23 c 1065 4602 624097 21758 0 0 13 13 6 1047.00/132.49 c 1056 4562 604514 21456 0 0 13 13 6 1047.80/132.57 c 1068 4718 622742 21726 0 0 13 13 6 1049.40/132.72 c 1057 4636 621114 22119 0 0 14 14 7 1054.98/133.42 c 1066 4615 625691 21781 0 0 13 13 6 1056.58/133.61 c 19608 67555 9324066 386387 0 0 8 15 13 1056.58/133.67 c 1069 4731 624263 21749 0 0 13 13 6 1058.18/133.88 c 1058 4649 622840 22149 0 0 13 13 6 1060.64/134.17 c 1057 4575 606035 21479 0 0 13 13 6 1063.77/134.51 c 1067 4628 627281 21804 0 0 13 13 6 1066.16/134.80 c 1070 4744 625780 21771 0 0 13 13 6 1067.82/135.06 c 1059 4663 624554 22172 0 0 14 14 7 1070.15/135.35 c 16051 55560 7705730 317251 0 0 8 15 13 1071.75/135.58 c 1068 4641 628874 21827 0 0 13 13 6 1074.14/135.87 c 1058 4588 607552 21501 0 0 13 13 6 1074.94/135.91 c 1071 4757 627301 21794 0 0 13 13 6 1077.33/136.20 c 1060 4676 626280 22202 0 0 13 13 6 1081.33/136.73 c 1069 4654 630464 21850 0 0 13 13 6 1083.79/137.04 c 1072 4770 628818 21816 0 0 13 13 6 1086.12/137.38 c 1061 4690 627994 22225 0 0 14 14 7 1087.71/137.54 c 1059 4601 609073 21524 0 0 13 13 6 1089.31/137.72 c 19608 67695 9209272 389941 0 0 6 15 13 1090.91/137.93 c 1070 4667 632058 21873 0 0 13 13 6 1092.57/138.15 c 1073 4783 630339 21839 0 0 13 13 6 1095.70/138.53 c 1062 4703 629720 22255 0 0 13 13 6 1099.76/139.03 c 1071 4680 633648 21896 0 0 13 13 6 1101.29/139.24 c 1060 4614 610590 21546 0 0 13 13 6 1101.29/139.28 c 1074 4796 631856 21861 0 0 13 13 6 1105.28/139.70 c 1063 4717 631434 22278 0 0 14 14 7 1107.74/140.09 c 1072 4693 635241 21919 0 0 13 13 6 1108.54/140.19 c 19608 68266 9376477 391792 0 0 7 15 13 1110.07/140.38 c 1075 4809 633377 21884 0 0 13 13 6 1114.07/140.86 c 1064 4730 633160 22308 0 0 13 13 6 1114.87/140.91 c 1061 4627 612111 21569 0 0 13 13 6 1117.26/141.25 c 1073 4706 636831 21942 0 0 13 13 6 1119.65/141.50 c 1076 4822 634894 21906 0 0 13 13 6 1123.71/142.03 c 1065 4744 634874 22331 0 0 14 14 7 1126.84/142.46 c 1074 4719 638425 21965 0 0 13 13 6 1128.43/142.60 c 1062 4640 613628 21591 0 0 13 13 6 1128.43/142.64 c 1077 4835 636415 21929 0 0 13 13 6 1132.49/143.19 c 1066 4757 636600 22361 0 0 13 13 6 1135.62/143.55 c 1075 4732 640015 21988 0 0 13 13 6 1137.21/143.75 c 1078 4848 637932 21951 0 0 13 13 6 1138.01/143.87 c 21657 74669 10310922 426974 0 0 5 15 13 1141.20/144.26 c 1063 4653 615149 21614 0 0 13 13 6 1142.00/144.36 c 1067 4771 638314 22384 0 0 14 14 7 1144.40/144.62 c 1076 4745 641608 22011 0 0 13 13 6 1146.00/144.87 c 1079 4861 639453 21974 0 0 13 13 6 1151.58/145.52 c 1068 4784 640040 22414 0 0 13 13 6 1153.22/145.79 c 1077 4758 643198 22034 0 0 13 13 6 1154.78/145.96 c 1064 4666 616666 21636 0 0 13 13 6 1154.78/146.01 c 1080 4874 640970 21996 0 0 13 13 6 1160.37/146.69 c 1069 4798 641754 22437 0 0 14 14 7 1162.77/147.00 c 1078 4771 644792 22057 0 0 13 13 6 1164.43/147.11 c 1081 4887 642491 22019 0 0 13 13 6 1168.35/147.61 c 1065 4679 618187 21659 0 0 13 13 6 1169.95/147.86 c 1070 4811 643480 22467 0 0 13 13 6 1171.61/148.09 c 1079 4784 646382 22080 0 0 13 13 6 1173.13/148.23 c 1082 4900 644008 22041 0 0 13 13 6 1179.59/149.03 c 1071 4825 645194 22490 0 0 14 14 7 1180.39/149.17 c 1080 4797 647975 22103 0 0 13 13 6 1181.12/149.30 c 1066 4692 619704 21681 0 0 13 13 6 1181.92/149.35 c 1083 4913 645529 22064 0 0 13 13 6 1186.71/149.99 c 21657 74705 10184958 429947 0 0 7 15 13 1187.61/150.02 c 17745 61419 8520971 350634 0 0 6 15 13 1188.38/150.18 c 1072 4838 646920 22520 0 0 13 13 6 1189.90/150.33 c 1081 4810 649565 22126 0 0 13 13 6 1190.71/150.47 c 1084 4926 647046 22086 0 0 13 13 6 1194.70/150.95 c 1067 4705 621225 21704 0 0 13 13 6 1197.89/151.36 c 1073 4852 648634 22543 0 0 14 14 7 1199.49/151.54 c 1082 4823 651159 22149 0 0 13 13 6 1199.49/151.59 c 1085 4939 648567 22109 0 0 13 13 6 1201.88/151.84 c 21657 75356 10357612 432673 0 0 6 15 13 1207.48/152.53 c 1074 4865 650360 22573 0 0 13 13 6 1208.28/152.64 c 1068 4718 622742 21726 0 0 13 13 6 1208.28/152.65 c 1083 4836 652749 22172 0 0 13 13 6 1209.08/152.73 c 1086 4952 650084 22131 0 0 13 13 6 1217.05/153.71 c 1075 4879 652074 22596 0 0 14 14 7 1217.05/153.72 c 1084 4849 654342 22195 0 0 13 13 6 1217.85/153.85 c 1087 4965 651605 22154 0 0 13 13 6 1221.04/154.28 c 1069 4731 624263 21749 0 0 13 13 6 1225.83/154.89 c 1076 4892 653800 22626 0 0 13 13 6 1225.83/154.89 c 1085 4862 655932 22218 0 0 13 13 6 1226.63/154.94 c 23910 82308 11360542 470887 0 0 3 15 13 1234.62/155.96 c 1070 4744 625780 21771 0 0 13 13 6 1235.48/156.06 c 1077 4906 655514 22649 0 0 14 14 7 1235.48/156.09 c 1086 4875 657526 22241 0 0 13 13 6 1244.26/157.17 c 1087 4888 659116 22264 0 0 13 13 6 1244.98/157.21 c 1078 4919 657240 22679 0 0 13 13 6 1247.38/157.58 c 1071 4757 627301 21794 0 0 13 13 6 1253.76/158.36 c 1079 4933 658954 22702 0 0 14 14 7 1260.95/159.22 c 1072 4770 628818 21816 0 0 13 13 6 1262.55/159.45 c 2048 8237 1106989 40972 0 0 7 15 13 1262.55/159.48 c 1080 4946 660680 22732 0 0 13 13 6 1272.13/160.64 c 1081 4960 662394 22755 0 0 14 14 7 1272.13/160.69 c 2049 8251 1108759 41009 0 0 14 14 7 1273.73/160.86 c 1073 4783 630339 21839 0 0 13 13 6 1280.92/161.79 c 1082 4973 664120 22785 0 0 13 13 6 1283.38/162.02 c 2050 8265 1110535 41046 0 0 14 14 7 1286.50/162.41 c 2048 8148 1103619 40958 0 0 4 15 13 1287.30/162.52 c 1074 4796 631856 21861 0 0 13 13 6 1287.30/162.59 c 23910 82509 11244410 474559 0 0 7 15 13 1290.50/162.95 c 1083 4987 665834 22808 0 0 14 14 7 1292.89/163.22 c 2051 8279 1112305 41083 0 0 14 14 7 1295.29/163.51 c 2049 8161 1105291 40990 0 0 13 13 6 1299.34/164.10 c 1084 5000 667560 22838 0 0 13 13 6 1300.15/164.18 c 1075 4809 633377 21884 0 0 13 13 6 1302.47/164.41 c 2052 8293 1114001 41114 0 0 14 14 7 1303.27/164.58 c 2050 8174 1106957 41022 0 0 13 13 6 1304.07/164.69 c 23910 83139 11429774 477566 0 0 3 15 13 1308.84/165.28 c 1085 5014 669274 22861 0 0 14 14 7 1310.44/165.48 c 19608 67849 9408244 387305 0 0 3 15 13 1311.24/165.56 c 2053 8307 1115771 41151 0 0 14 14 7 1312.04/165.68 c 2051 8187 1108629 41054 0 0 13 13 6 1312.84/165.76 c 1076 4822 634894 21906 0 0 13 13 6 1318.43/166.44 c 1086 5027 671000 22891 0 0 13 13 6 1320.82/166.74 c 2054 8321 1117467 41182 0 0 14 14 7 1320.82/166.74 c 2052 8200 1110296 41086 0 0 13 13 6 1324.81/167.24 c 1077 4835 636415 21929 0 0 13 13 6 1326.41/167.41 c 26388 91004 12566412 519724 0 0 6 15 13 1328.01/167.62 c 1087 5041 672714 22914 0 0 14 14 7 1329.62/167.86 c 2053 8213 1111968 41118 0 0 13 13 6 1329.62/167.89 c 2055 8335 1119157 41213 0 0 14 14 7 1336.79/168.76 c 1078 4848 637932 21951 0 0 13 13 6 1338.39/168.93 c 2054 8226 1113634 41150 0 0 13 13 6 1339.25/169.07 c 2056 8349 1120853 41244 0 0 14 14 7 1347.24/170.01 c 2055 8239 1115306 41182 0 0 13 13 6 1348.04/170.19 c 2057 8363 1122543 41275 0 0 14 14 7 1348.77/170.25 c 1079 4861 639453 21974 0 0 13 13 6 1355.22/171.06 c 2056 8252 1116973 41214 0 0 13 13 6 1357.55/171.36 c 2058 8377 1124239 41306 0 0 14 14 7 1360.75/171.74 c 1080 4874 640970 21996 0 0 13 13 6 1364.01/172.16 c 2057 8265 1118639 41246 0 0 13 13 6 1366.34/172.48 c 2059 8391 1125929 41337 0 0 14 14 7 1372.72/173.23 c 1081 4887 642491 22019 0 0 13 13 6 1372.72/173.25 c 2058 8278 1120306 41278 0 0 13 13 6 1374.32/173.42 c 2048 8314 1128139 41620 0 0 9 15 13 1375.92/173.64 c 2060 8405 1127625 41368 0 0 14 14 7 1381.50/174.35 c 2059 8291 1121972 41310 0 0 13 13 6 1383.90/174.64 c 2049 8329 1130010 41662 0 0 15 15 7 1384.70/174.75 c 1082 4900 644008 22041 0 0 13 13 6 1385.49/174.81 c 2061 8419 1129315 41399 0 0 14 14 7 1390.28/175.44 c 2060 8304 1123639 41342 0 0 13 13 6 1392.68/175.77 c 2050 8344 1131877 41707 0 0 15 15 7 1394.28/175.98 c 2062 8433 1131011 41430 0 0 14 14 7 1396.67/176.24 c 1083 4913 645529 22064 0 0 13 13 6 1399.06/176.54 c 2061 8317 1125305 41374 0 0 13 13 6 1402.26/176.91 c 26388 91021 12396436 523626 0 0 3 15 13 1403.12/177.01 c 2051 8359 1133747 41752 0 0 15 15 7 1403.92/177.11 c 2063 8447 1132701 41461 0 0 14 14 7 1407.85/177.63 c 2062 8330 1126972 41406 0 0 13 13 6 1408.65/177.75 c 1084 4926 647046 22086 0 0 13 13 6 1411.91/178.14 c 2052 8374 1135616 41797 0 0 15 15 7 1412.63/178.29 c 2064 8461 1134397 41492 0 0 14 14 7 1416.63/178.72 c 2063 8343 1128638 41438 0 0 13 13 6 1420.62/179.25 c 1085 4939 648567 22109 0 0 13 13 6 1420.62/179.29 c 26388 91660 12639133 526783 0 0 7 15 13 1421.42/179.33 c 2053 8389 1137486 41842 0 0 15 15 7 1422.26/179.43 c 2065 8475 1136087 41523 0 0 14 14 7 1425.42/179.81 c 2064 8356 1130305 41470 0 0 13 13 6 1430.20/180.46 c 2054 8404 1139355 41887 0 0 15 15 7 1431.80/180.61 c 29113 100436 13870538 573787 0 0 4 15 13 1431.80/180.61 c 2066 8489 1137783 41554 0 0 14 14 7 1432.60/180.77 c 1086 4952 650084 22131 0 0 13 13 6 1434.20/180.90 c 2065 8369 1131971 41502 0 0 13 13 6 1439.79/181.65 c 2055 8419 1141225 41932 0 0 15 15 7 1440.59/181.75 c 2067 8503 1139473 41585 0 0 14 14 7 1442.19/182.01 c 2066 8382 1133638 41534 0 0 13 13 6 1444.57/182.27 c 1087 4965 651605 22154 0 0 13 13 6 1447.77/182.61 c 21657 74939 10393010 427752 0 0 7 15 13 1448.57/182.77 c 2056 8434 1143094 41977 0 0 15 15 7 1450.17/182.92 c 2068 8517 1141169 41616 0 0 14 14 7 1451.03/183.09 c 2067 8395 1135188 41557 0 0 13 13 6 1458.16/183.97 c 2057 8449 1144964 42022 0 0 15 15 7 1459.02/184.07 c 2069 8531 1142859 41647 0 0 14 14 7 1459.82/184.19 c 2068 8408 1136770 41589 0 0 13 13 6 1467.79/185.11 c 2058 8464 1146833 42067 0 0 15 15 7 1468.52/185.26 c 2070 8545 1144555 41678 0 0 14 14 7 1469.32/185.36 c 2069 8421 1138350 41621 0 0 13 13 6 1477.30/186.32 c 2059 8479 1148703 42112 0 0 15 15 7 1478.10/186.41 c 2071 8559 1146245 41709 0 0 14 14 7 1478.10/186.46 c 2070 8434 1139932 41653 0 0 13 13 6 1486.09/187.46 c 2060 8494 1150572 42154 0 0 15 15 7 1486.89/187.56 c 2071 8447 1141512 41685 0 0 13 13 6 1487.69/187.60 c 2072 8573 1147941 41740 0 0 14 14 7 1495.67/188.65 c 2072 8460 1143094 41717 0 0 13 13 6 1495.67/188.69 c 2061 8509 1152445 42196 0 0 15 15 7 1496.47/188.75 c 2073 8587 1149631 41771 0 0 14 14 7 1496.47/188.75 c 2048 8237 1106989 40972 0 0 7 15 13 1504.45/189.76 c 2073 8473 1144674 41749 0 0 13 13 6 1505.25/189.81 c 2062 8524 1154314 42238 0 0 15 15 7 1506.05/189.95 c 2074 8601 1151327 41802 0 0 14 14 7 1506.91/190.06 c 2049 8251 1108759 41009 0 0 14 14 7 1513.24/190.86 c 2074 8486 1146256 41781 0 0 13 13 6 1514.90/191.02 c 2063 8539 1156187 42280 0 0 15 15 7 1515.70/191.12 c 2075 8615 1153017 41833 0 0 14 14 7 1518.03/191.48 c 2050 8265 1110535 41046 0 0 14 14 7 1522.06/191.97 c 2075 8499 1147836 41813 0 0 13 13 6 1523.68/192.14 c 2064 8554 1158056 42322 0 0 15 15 7 1525.21/192.31 c 2076 8629 1154713 41864 0 0 14 14 7 1528.41/192.74 c 2051 8279 1112305 41083 0 0 14 14 7 1530.87/193.05 c 2076 8512 1149418 41845 0 0 13 13 6 1534.00/193.45 c 23000 79650 11048200 454629 0 0 7 15 13 1534.80/193.51 c 29000 100153 13627357 575708 1 0 7 15 13 1535.59/193.64 c 2065 8567 1159689 42344 1 0 13 13 6 1535.59/193.65 c 29000 100816 13894720 579513 0 0 4 15 13 1537.19/193.81 c 2077 8643 1156517 41896 1 0 14 14 7 1537.19/193.88 c 29000 100155 13627470 575710 1 0 0 0 0 1541.18/194.31 c 2052 8293 1114115 41115 1 0 14 14 7 1541.18/194.34 c 29000 100157 13627584 575712 1 0 0 0 0 1541.98/194.42 c 2066 8580 1161204 42365 1 0 13 13 6 1542.78/194.51 c 2077 8526 1151241 41882 1 0 14 14 7 1542.78/194.59 c 29000 100817 13894834 579515 1 0 0 0 0 1543.58/194.60 c 23000 79651 11048314 454631 1 0 0 0 0 1543.58/194.63 c 2078 8657 1158213 41927 1 0 14 14 7 1544.38/194.72 c 29000 100158 13627699 575714 2 0 0 0 0 1545.97/194.91 c 29000 100160 13627814 575716 2 0 0 0 0 1545.97/194.98 c 29000 100818 13894949 579517 2 0 0 0 0 1546.83/195.05 c 2053 8307 1116000 41153 2 0 14 14 7 1547.64/195.12 c 2067 8594 1163017 42396 2 0 14 14 7 1547.64/195.18 c 23000 79652 11048429 454633 2 0 0 0 0 1548.35/195.21 c 2078 8540 1153028 41911 2 0 14 14 7 1549.15/195.33 c 2079 8671 1160018 41959 2 0 14 14 7 1549.95/195.48 c 2054 8321 1117696 41184 2 0 14 14 7 1550.75/195.55 c 2068 8608 1164735 42435 2 0 14 14 7 1551.55/195.61 c 2079 8554 1154698 41939 2 0 14 14 7 1552.35/195.74 c 2080 8685 1161714 41990 2 0 14 14 7 1553.15/195.85 c 29113 101216 13950056 581839 2 0 10 15 13 1553.15/195.87 c 29113 100567 13683653 578084 2 0 11 15 13 1553.15/195.88 c 2055 8335 1119386 41215 2 0 14 14 7 1553.95/195.97 c 2069 8622 1166452 42474 2 0 14 14 7 1553.95/196.00 c 2080 8568 1156370 41967 2 0 14 14 7 1554.81/196.05 c 32110 110842 15310735 632823 2 0 7 15 13 1555.62/196.12 c 2081 8699 1163404 42021 2 0 14 14 7 1557.14/196.30 c 2056 8349 1121082 41246 2 0 14 14 7 1557.14/196.37 c 2070 8636 1168170 42513 2 0 14 14 7 1557.14/196.39 c 2081 8582 1158040 41995 2 0 14 14 7 1558.74/196.53 c 2082 8713 1165100 42052 2 0 14 14 7 1560.33/196.70 c 2057 8363 1122772 41277 2 0 14 14 7 1560.33/196.78 c 2071 8650 1169887 42552 2 0 14 14 7 1560.33/196.79 c 2082 8596 1159712 42023 2 0 14 14 7 1561.93/196.91 c 2083 8727 1166790 42083 2 0 14 14 7 1563.59/197.13 c 2058 8377 1124468 41308 2 0 14 14 7 1563.59/197.18 c 2072 8664 1171605 42591 2 0 14 14 7 1563.59/197.18 c 2083 8610 1161382 42051 2 0 14 14 7 1565.12/197.31 c 2084 8741 1168486 42114 2 0 14 14 7 1566.72/197.52 c 2059 8391 1126158 41339 2 0 14 14 7 1566.72/197.57 c 2084 8624 1163054 42079 2 0 14 14 7 1566.72/197.58 c 2073 8678 1173322 42630 2 0 14 14 7 1567.52/197.69 c 2085 8755 1170176 42145 2 0 14 14 7 1569.92/197.95 c 2060 8405 1127854 41370 2 0 14 14 7 1569.92/197.96 c 2085 8638 1164724 42107 2 0 14 14 7 1569.92/197.98 c 2074 8692 1175040 42669 2 0 14 14 7 1570.78/198.10 c 2086 8769 1171872 42176 2 0 14 14 7 1573.11/198.34 c 2061 8419 1129544 41401 2 0 14 14 7 1573.11/198.35 c 2086 8652 1166396 42135 2 0 14 14 7 1573.11/198.39 c 2075 8706 1176715 42709 2 0 14 14 7 1573.91/198.47 c 2087 8783 1173562 42207 2 0 14 14 7 1576.30/198.74 c 2087 8666 1168066 42163 2 0 14 14 7 1576.30/198.77 c 2062 8433 1131240 41432 2 0 14 14 7 1576.30/198.78 c 2076 8720 1178391 42749 2 0 14 14 7 1577.10/198.88 c 2088 8797 1175258 42238 2 0 14 14 7 1579.56/199.13 c 2088 8680 1169738 42191 2 0 14 14 7 1579.56/199.16 c 2063 8447 1132930 41463 2 0 14 14 7 1579.56/199.19 c 2077 8734 1180066 42789 2 0 14 14 7 1580.29/199.26 c 2089 8811 1176948 42269 2 0 14 14 7 1581.89/199.50 c 2089 8694 1171584 42229 4 0 14 14 7 1582.69/199.57 c 2064 8461 1134765 41489 4 0 14 14 7 1582.69/199.59 c 2078 8747 1181719 42813 4 0 13 13 6 1583.49/199.64 c 2090 8708 1173403 42267 5 0 14 14 7 1583.49/199.65 c 2090 8825 1178783 42295 4 0 14 14 7 1584.30/199.73 c 2091 8722 1175110 42304 5 0 14 14 7 1584.30/199.73 c 2065 8477 1137033 41534 5 0 16 16 8 1584.30/199.73 c 2079 8760 1183482 42840 5 0 13 13 6 1584.30/199.79 c 2091 8841 1181051 42340 5 0 16 16 8 1585.10/199.81 c 2092 8736 1176812 42341 5 0 14 14 7 1585.10/199.81 c 2080 8773 1185004 42862 5 0 13 13 6 1585.10/199.81 c 2066 8493 1139187 41578 5 0 16 16 8 1585.10/199.87 c 2093 8750 1178519 42378 5 0 14 14 7 1585.10/199.87 c 2092 8857 1183209 42384 5 0 16 16 8 1585.10/199.89 c 2067 8509 1141338 41622 5 0 16 16 8 1585.10/199.89 c 2081 8786 1186650 42888 5 0 13 13 6 1585.90/199.95 c 2094 8764 1180221 42415 5 0 14 14 7 1585.90/199.95 c 2093 8873 1185360 42428 5 0 16 16 8 1585.90/199.97 c 2082 8799 1188172 42910 5 0 13 13 6 1585.90/199.97 c 2068 8525 1143492 41666 5 0 16 16 8 1586.76/200.02 c 2095 8778 1181928 42452 5 0 14 14 7 1586.76/200.03 c 2094 8889 1187518 42472 5 0 16 16 8 1586.76/200.05 c 2069 8541 1145643 41710 5 0 16 16 8 1586.76/200.06 c 2083 8812 1189818 42936 5 0 13 13 6 1586.76/200.10 c 2096 8792 1183630 42489 5 0 14 14 7 1586.76/200.11 c 2095 8905 1189669 42516 5 0 16 16 8 1587.57/200.12 c 2084 8825 1191340 42958 5 0 13 13 6 1587.57/200.13 c 2070 8557 1147801 41754 5 0 16 16 8 1587.90/200.24 c [pFactory][Group N°0] concurent mode: thread 0 has won with the task 6. 1587.90/200.24 c [pFactory][Group N°0] Thread N°0 is joined. 1587.90/200.24 c [pFactory][Group N°0] Thread N°1 is joined. 1587.90/200.24 c [pFactory][Group N°0] Thread N°2 is joined. 1587.90/200.24 c [pFactory][Group N°0] Thread N°3 is joined. 1587.90/200.24 c [pFactory][Group N°0] Thread N°4 is joined. 1587.90/200.24 c [pFactory][Group N°0] Thread N°5 is joined. 1587.90/200.24 c [pFactory][Group N°0] Thread N°6 is joined. 1587.90/200.24 c [pFactory][Group N°0] Thread N°7 is joined. 1587.90/200.24 c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°0) 1587.90/200.24 s UNSATISFIABLE 1587.90/200.24 c restarts : 149 1587.90/200.24 c conflicts : 2070 (1 /sec) 1587.90/200.24 c decisions : 8558 (5 /sec) 1587.90/200.24 c propagations : 41756 (26 /sec) 1587.90/200.24 c root propagations : 0 1587.90/200.24 c filter calls : 1147913 (724 /sec) 1587.90/200.24 c useless filter calls : 1129232 (98 %) 1587.90/200.24 c Memory used : 1090.34 MB 1587.90/200.24 c CPU time : 1586.15 s 1587.90/200.24 c real time : 200.236 s 1587.90/200.24
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (14992 MiB free) memory of node 1: 16384 MiB (15228 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409363-1569824051/watcher-4409363-1569824051 -o /tmp/evaluation-result-4409363-1569824051/solver-4409363-1569824051 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1569816334-14422 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409363-1569824051.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=15384, runsolver pid=15381 Current StackSize limit: 8192 KiB [startup+0.100151 s]* /proc/loadavg: 7.32 3.36 2.29 2/193 15385 /proc/meminfo: memFree=30946716/32770624 swapFree=66976580/67108860 [pid=15384] ppid=15381 vsize=28020 memory=4216 CPUtime=0.1 cores=0-7 /proc/15384/stat : 15384 (cosoco) R 15381 15384 14394 0 -1 4202496 1254 0 0 0 10 0 0 0 20 0 1 0 558345070 28692480 1054 33554432000 4194304 6211132 140729763034720 140729763031992 5707973 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 /proc/15384/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.209166 s]* /proc/loadavg: 7.32 3.36 2.29 2/193 15385 /proc/meminfo: memFree=30945400/32770624 swapFree=66976580/67108860 [pid=15384] ppid=15381 vsize=28872 memory=5028 CPUtime=0.21 cores=0-7 /proc/15384/stat : 15384 (cosoco) R 15381 15384 14394 0 -1 4202496 1492 0 0 0 21 0 0 0 20 0 1 0 558345070 29564928 1257 33554432000 4194304 6211132 140729763034720 140729763031992 5743409 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 /proc/15384/statm: 7218 1257 806 493 0 523 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 28872 KiB Current children cumulated memory: 5028 KiB [startup+0.314302 s]* /proc/loadavg: 7.32 3.36 2.29 2/193 15385 /proc/meminfo: memFree=30944936/32770624 swapFree=66976580/67108860 [pid=15384] ppid=15381 vsize=29784 memory=5596 CPUtime=0.31 cores=0-7 /proc/15384/stat : 15384 (cosoco) R 15381 15384 14394 0 -1 4202496 1771 0 0 0 31 0 0 0 20 0 1 0 558345070 30498816 1399 33554432000 4194304 6211132 140729763034720 140729763031992 5743409 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 /proc/15384/statm: 7446 1399 806 493 0 751 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 29784 KiB Current children cumulated memory: 5596 KiB [startup+0.700329 s] /proc/loadavg: 7.32 3.36 2.29 2/193 15385 /proc/meminfo: memFree=30943076/32770624 swapFree=66976580/67108860 [pid=15384] ppid=15381 vsize=32532 memory=8316 CPUtime=0.69 cores=0-7 /proc/15384/stat : 15384 (cosoco) R 15381 15384 14394 0 -1 4202496 2618 0 0 0 69 0 0 0 20 0 1 0 558345070 33312768 2079 33554432000 4194304 6211132 140729763034720 140729763031992 5743398 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 /proc/15384/statm: 8133 2079 806 493 0 1438 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 32532 KiB Current children cumulated memory: 8316 KiB [startup+1.50105 s] /proc/loadavg: 6.81 3.32 2.28 2/193 15385 /proc/meminfo: memFree=30908000/32770624 swapFree=66976580/67108860 [pid=15384] ppid=15381 vsize=625004 memory=532712 CPUtime=1.97 cores=0-7 /proc/15384/stat : 15384 (cosoco) S 15381 15384 14394 0 -1 1077944320 134306 0 0 0 180 17 0 0 20 0 9 0 558345070 640004096 133178 33554432000 4194304 6211132 140729763034720 140729763032976 139857807625975 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 /proc/15384/statm: 156251 133178 817 493 0 149556 0 Current children cumulated CPU time: 1.97 s Current children cumulated vsize: 625004 KiB Current children cumulated memory: 532712 KiB [startup+3.11105 s] /proc/loadavg: 6.81 3.32 2.28 10/201 15393 /proc/meminfo: memFree=30415472/32770624 swapFree=66976580/67108860 [pid=15384] ppid=15381 vsize=1149292 memory=533120 CPUtime=14.82 cores=0-7 /proc/15384/stat : 15384 (cosoco) S 15381 15384 14394 0 -1 1077944320 211812 0 0 0 1432 50 0 0 20 0 9 0 558345070 1176875008 133280 33554432000 4194304 6211132 140729763034720 140729763032976 139857807625975 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 /proc/15384/statm: 287323 133280 828 493 0 280628 0 [pid=15384/tid=15386] ppid=15381 vsize=1149292 memory=988 CPUtime=1.67 cores=0-7 /proc/15384/task/15386/stat : 15386 (cosoco) R 15381 15384 14394 0 -1 4202560 7261 0 0 0 161 6 0 0 20 0 9 0 558345213 1176875008 133280 33554432000 4194304 6211132 140729763034720 139857773702520 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15387] ppid=15381 vsize=1149292 memory=0 CPUtime=1.67 cores=0-7 /proc/15384/task/15387/stat : 15387 (cosoco) R 15381 15384 14394 0 -1 4202560 7042 0 0 0 167 0 0 0 20 0 9 0 558345213 1176875008 133280 33554432000 4194304 6211132 140729763034720 139857765309816 5039038 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15388] ppid=15381 vsize=1149292 memory=0 CPUtime=1.67 cores=0-7 /proc/15384/task/15388/stat : 15388 (cosoco) R 15381 15384 14394 0 -1 4202560 6057 0 0 0 161 6 0 0 20 0 9 0 558345213 1176875008 133280 33554432000 4194304 6211132 140729763034720 139857756917112 5037825 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15389] ppid=15381 vsize=1149292 memory=0 CPUtime=1.67 cores=0-7 /proc/15384/task/15389/stat : 15389 (cosoco) R 15381 15384 14394 0 -1 4202560 14752 0 0 0 166 1 0 0 20 0 9 0 558345213 1176875008 133280 33554432000 4194304 6211132 140729763034720 139857748524128 5038944 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15390] ppid=15381 vsize=1149292 memory=66060892010548 CPUtime=1.62 cores=0-7 /proc/15384/task/15390/stat : 15390 (cosoco) R 15381 15384 14394 0 -1 4202560 12631 0 0 0 151 11 0 0 20 0 9 0 558345213 1176875008 133280 33554432000 4194304 6211132 140729763034720 139857740131424 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15391] ppid=15381 vsize=1149292 memory=205776178134040 CPUtime=1.67 cores=0-7 /proc/15384/task/15391/stat : 15391 (cosoco) R 15381 15384 14394 0 -1 4202560 13264 0 0 0 166 1 0 0 20 0 9 0 558345213 1176875008 133280 33554432000 4194304 6211132 140729763034720 139857731738720 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15392] ppid=15381 vsize=1149292 memory=205776178149426 CPUtime=1.67 cores=0-7 /proc/15384/task/15392/stat : 15392 (cosoco) R 15381 15384 14394 0 -1 4202560 4438 0 0 0 163 4 0 0 20 0 9 0 558345213 1176875008 133280 33554432000 4194304 6211132 140729763034720 139857723346296 5037854 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15393] ppid=15381 vsize=1149292 memory=205776178149427 CPUtime=1.66 cores=0-7 /proc/15384/task/15393/stat : 15393 (cosoco) R 15381 15384 14394 0 -1 4202560 12077 0 0 0 166 0 0 0 20 0 9 0 558345213 1176875008 133280 33554432000 4194304 6211132 140729763034720 139857714953312 5038944 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 Current children cumulated CPU time: 14.82 s Current children cumulated vsize: 1149292 KiB Current children cumulated memory: 533120 KiB [startup+6.30105 s] /proc/loadavg: 6.43 3.30 2.28 10/201 15393 /proc/meminfo: memFree=30415576/32770624 swapFree=66976580/67108860 [pid=15384] ppid=15381 vsize=1149292 memory=533136 CPUtime=40.28 cores=0-7 /proc/15384/stat : 15384 (cosoco) S 15381 15384 14394 0 -1 1077944320 500004 0 0 0 3931 97 0 0 20 0 9 0 558345070 1176875008 133284 33554432000 4194304 6211132 140729763034720 140729763032976 139857807625975 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 /proc/15384/statm: 287323 133284 828 493 0 280628 0 [pid=15384/tid=15386] ppid=15381 vsize=1149292 memory=533136 CPUtime=4.86 cores=0-7 /proc/15384/task/15386/stat : 15386 (cosoco) R 15381 15384 14394 0 -1 4202560 36744 0 0 0 472 14 0 0 20 0 9 0 558345213 1176875008 133284 33554432000 4194304 6211132 140729763034720 139857773702240 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15387] ppid=15381 vsize=1149292 memory=533136 CPUtime=4.86 cores=0-7 /proc/15384/task/15387/stat : 15387 (cosoco) R 15381 15384 14394 0 -1 4202560 43094 0 0 0 484 2 0 0 20 0 9 0 558345213 1176875008 133284 33554432000 4194304 6211132 140729763034720 139857765309536 5037823 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15388] ppid=15381 vsize=1149292 memory=467 CPUtime=4.86 cores=0-7 /proc/15384/task/15388/stat : 15388 (cosoco) R 15381 15384 14394 0 -1 4202560 42339 0 0 0 470 16 0 0 20 0 9 0 558345213 1176875008 133284 33554432000 4194304 6211132 140729763034720 139857756916832 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15389] ppid=15381 vsize=1149292 memory=0 CPUtime=4.86 cores=0-7 /proc/15384/task/15389/stat : 15389 (cosoco) R 15381 15384 14394 0 -1 4202560 49838 0 0 0 482 4 0 0 20 0 9 0 558345213 1176875008 133284 33554432000 4194304 6211132 140729763034720 139857748524128 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15390] ppid=15381 vsize=1149292 memory=0 CPUtime=4.77 cores=0-7 /proc/15384/task/15390/stat : 15390 (cosoco) R 15381 15384 14394 0 -1 4202560 48694 0 0 0 461 16 0 0 20 0 9 0 558345213 1176875008 133284 33554432000 4194304 6211132 140729763034720 139857740131424 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15391] ppid=15381 vsize=1149292 memory=533136 CPUtime=4.86 cores=0-7 /proc/15384/task/15391/stat : 15391 (cosoco) R 15381 15384 14394 0 -1 4202560 47982 0 0 0 483 3 0 0 20 0 9 0 558345213 1176875008 133284 33554432000 4194304 6211132 140729763034720 139857731738720 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15392] ppid=15381 vsize=1149292 memory=8187704045996132563 CPUtime=4.86 cores=0-7 /proc/15384/task/15392/stat : 15392 (cosoco) R 15381 15384 14394 0 -1 4202560 48454 0 0 0 469 17 0 0 20 0 9 0 558345213 1176875008 133284 33554432000 4194304 6211132 140729763034720 139857723346016 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15393] ppid=15381 vsize=1149292 memory=56 CPUtime=4.86 cores=0-7 /proc/15384/task/15393/stat : 15393 (cosoco) R 15381 15384 14394 0 -1 4202560 48556 0 0 0 483 3 0 0 20 0 9 0 558345213 1176875008 133284 33554432000 4194304 6211132 140729763034720 139857714953312 5037880 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 Current children cumulated CPU time: 40.28 s Current children cumulated vsize: 1149292 KiB Current children cumulated memory: 533136 KiB [startup+12.7011 s] /proc/loadavg: 6.55 3.37 2.31 9/201 15393 /proc/meminfo: memFree=30416320/32770624 swapFree=66976580/67108860 [pid=15384] ppid=15381 vsize=1149292 memory=533136 CPUtime=91.39 cores=0-7 /proc/15384/stat : 15384 (cosoco) S 15381 15384 14394 0 -1 1077944320 816384 0 0 0 9018 121 0 0 20 0 9 0 558345070 1176875008 133284 33554432000 4194304 6211132 140729763034720 140729763032976 139857807625975 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 /proc/15384/statm: 287323 133284 828 493 0 280628 0 [pid=15384/tid=15386] ppid=15381 vsize=1149292 memory=533136 CPUtime=11.26 cores=0-7 /proc/15384/task/15386/stat : 15386 (cosoco) R 15381 15384 14394 0 -1 4202560 78376 0 0 0 1108 18 0 0 20 0 9 0 558345213 1176875008 133284 33554432000 4194304 6211132 140729763034720 139857773702240 5038964 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15387] ppid=15381 vsize=1149292 memory=8668 CPUtime=11.26 cores=0-7 /proc/15384/task/15387/stat : 15387 (cosoco) R 15381 15384 14394 0 -1 4202560 80757 0 0 0 1122 4 0 0 20 0 9 0 558345213 1176875008 133284 33554432000 4194304 6211132 140729763034720 139857765309536 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15388] ppid=15381 vsize=1149292 memory=533136 CPUtime=11.26 cores=0-7 /proc/15384/task/15388/stat : 15388 (cosoco) R 15381 15384 14394 0 -1 4202560 81656 0 0 0 1106 20 0 0 20 0 9 0 558345213 1176875008 133284 33554432000 4194304 6211132 140729763034720 139857756916832 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15389] ppid=15381 vsize=1149292 memory=533136 CPUtime=11.25 cores=0-7 /proc/15384/task/15389/stat : 15389 (cosoco) R 15381 15384 14394 0 -1 4202560 90433 0 0 0 1119 6 0 0 20 0 9 0 558345213 1176875008 133284 33554432000 4194304 6211132 140729763034720 139857748524128 5038944 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15390] ppid=15381 vsize=1149292 memory=3620 CPUtime=11.08 cores=0-7 /proc/15384/task/15390/stat : 15390 (cosoco) R 15381 15384 14394 0 -1 4202560 90279 0 0 0 1089 19 0 0 20 0 9 0 558345213 1176875008 133284 33554432000 4194304 6211132 140729763034720 139857740131424 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15391] ppid=15381 vsize=1149292 memory=533136 CPUtime=11.26 cores=0-7 /proc/15384/task/15391/stat : 15391 (cosoco) R 15381 15384 14394 0 -1 4202560 89991 0 0 0 1119 7 0 0 20 0 9 0 558345213 1176875008 133284 33554432000 4194304 6211132 140729763034720 139857731738720 5038944 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15392] ppid=15381 vsize=1149292 memory=984 CPUtime=11.26 cores=0-7 /proc/15384/task/15392/stat : 15392 (cosoco) R 15381 15384 14394 0 -1 4202560 82796 0 0 0 1106 20 0 0 20 0 9 0 558345213 1176875008 133284 33554432000 4194304 6211132 140729763034720 139857723346016 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15393] ppid=15381 vsize=1149292 memory=6935054825532540783 CPUtime=11.26 cores=0-7 /proc/15384/task/15393/stat : 15393 (cosoco) R 15381 15384 14394 0 -1 4202560 87797 0 0 0 1120 6 0 0 20 0 9 0 558345213 1176875008 133284 33554432000 4194304 6211132 140729763034720 139857714953312 5039038 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 Current children cumulated CPU time: 91.39 s Current children cumulated vsize: 1149292 KiB Current children cumulated memory: 533136 KiB [startup+25.501 s] /proc/loadavg: 6.78 3.53 2.37 9/201 15395 /proc/meminfo: memFree=30418716/32770624 swapFree=66976580/67108860 [pid=15384] ppid=15381 vsize=1149292 memory=533152 CPUtime=193.57 cores=0-7 /proc/15384/stat : 15384 (cosoco) S 15381 15384 14394 0 -1 1077944320 1046153 0 0 0 19220 137 0 0 20 0 9 0 558345070 1176875008 133288 33554432000 4194304 6211132 140729763034720 140729763032976 139857807625975 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 /proc/15384/statm: 287323 133288 832 493 0 280628 0 [pid=15384/tid=15386] ppid=15381 vsize=1149292 memory=2385 CPUtime=24.06 cores=0-7 /proc/15384/task/15386/stat : 15386 (cosoco) R 15381 15384 14394 0 -1 4202560 110249 0 0 0 2386 20 0 0 20 0 9 0 558345213 1176875008 133288 33554432000 4194304 6211132 140729763034720 139857773702240 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15387] ppid=15381 vsize=1149292 memory=533136 CPUtime=24.06 cores=0-7 /proc/15384/task/15387/stat : 15387 (cosoco) R 15381 15384 14394 0 -1 4202560 112680 0 0 0 2399 7 0 0 20 0 9 0 558345213 1176875008 133288 33554432000 4194304 6211132 140729763034720 139857765309536 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15388] ppid=15381 vsize=1149292 memory=57 CPUtime=24.05 cores=0-7 /proc/15384/task/15388/stat : 15388 (cosoco) R 15381 15384 14394 0 -1 4202560 113633 0 0 0 2383 22 0 0 20 0 9 0 558345213 1176875008 133288 33554432000 4194304 6211132 140729763034720 139857756916832 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15389] ppid=15381 vsize=1149292 memory=0 CPUtime=24.05 cores=0-7 /proc/15384/task/15389/stat : 15389 (cosoco) R 15381 15384 14394 0 -1 4202560 116063 0 0 0 2398 7 0 0 20 0 9 0 558345213 1176875008 133288 33554432000 4194304 6211132 140729763034720 139857748524128 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15390] ppid=15381 vsize=1149292 memory=279435941072576 CPUtime=23.68 cores=0-7 /proc/15384/task/15390/stat : 15390 (cosoco) R 15381 15384 14394 0 -1 4202560 114746 0 0 0 2346 22 0 0 20 0 9 0 558345213 1176875008 133288 33554432000 4194304 6211132 140729763034720 139857740131424 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15391] ppid=15381 vsize=1149292 memory=590024537935931182 CPUtime=24.06 cores=0-7 /proc/15384/task/15391/stat : 15391 (cosoco) R 15381 15384 14394 0 -1 4202560 114200 0 0 0 2397 9 0 0 20 0 9 0 558345213 1176875008 133288 33554432000 4194304 6211132 140729763034720 139857731738720 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15392] ppid=15381 vsize=1149292 memory=288283364035920582 CPUtime=24.06 cores=0-7 /proc/15384/task/15392/stat : 15392 (cosoco) R 15381 15384 14394 0 -1 4202560 114794 0 0 0 2384 22 0 0 20 0 9 0 558345213 1176875008 133288 33554432000 4194304 6211132 140729763034720 139857723346016 5039026 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15393] ppid=15381 vsize=1149292 memory=2008 CPUtime=24.05 cores=0-7 /proc/15384/task/15393/stat : 15393 (cosoco) R 15381 15384 14394 0 -1 4202560 115485 0 0 0 2398 7 0 0 20 0 9 0 558345213 1176875008 133288 33554432000 4194304 6211132 140729763034720 139857714953312 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 Current children cumulated CPU time: 193.57 s Current children cumulated vsize: 1149292 KiB Current children cumulated memory: 533152 KiB [startup+51.111 s] /proc/loadavg: 7.26 3.95 2.55 9/201 15396 /proc/meminfo: memFree=30421364/32770624 swapFree=66976580/67108860 [pid=15384] ppid=15381 vsize=1149292 memory=533156 CPUtime=398.05 cores=0-7 /proc/15384/stat : 15384 (cosoco) S 15381 15384 14394 0 -1 1077944320 1287969 0 0 0 39651 154 0 0 20 0 9 0 558345070 1176875008 133289 33554432000 4194304 6211132 140729763034720 140729763032976 139857807625975 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 /proc/15384/statm: 287323 133289 832 493 0 280628 0 [pid=15384/tid=15386] ppid=15381 vsize=1149292 memory=928 CPUtime=49.67 cores=0-7 /proc/15384/task/15386/stat : 15386 (cosoco) R 15381 15384 14394 0 -1 4202560 134135 0 0 0 4945 22 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857773702240 5037823 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15387] ppid=15381 vsize=1149292 memory=533156 CPUtime=49.66 cores=0-7 /proc/15384/task/15387/stat : 15387 (cosoco) R 15381 15384 14394 0 -1 4202560 139443 0 0 0 4957 9 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857765309536 5037825 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15388] ppid=15381 vsize=1149292 memory=3620 CPUtime=49.66 cores=0-7 /proc/15384/task/15388/stat : 15388 (cosoco) R 15381 15384 14394 0 -1 4202560 140472 0 0 0 4941 25 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857756916832 5039014 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15389] ppid=15381 vsize=1149292 memory=533156 CPUtime=49.66 cores=0-7 /proc/15384/task/15389/stat : 15389 (cosoco) R 15381 15384 14394 0 -1 4202560 148857 0 0 0 4956 10 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857748524128 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15390] ppid=15381 vsize=1149292 memory=279435941485984 CPUtime=48.92 cores=0-7 /proc/15384/task/15390/stat : 15390 (cosoco) R 15381 15384 14394 0 -1 4202560 147513 0 0 0 4868 24 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857740131424 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 ################ # More data... # ################ [pid=15384/tid=15387] ppid=15381 vsize=1149292 memory=1660 CPUtime=177.72 cores=0-7 /proc/15384/task/15387/stat : 15387 (cosoco) R 15381 15384 14394 0 -1 4202560 177620 0 0 0 17759 13 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857765309536 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15388] ppid=15381 vsize=1149292 memory=10456 CPUtime=177.71 cores=0-7 /proc/15384/task/15388/stat : 15388 (cosoco) R 15381 15384 14394 0 -1 4202560 178747 0 0 0 17743 28 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857756916832 5038866 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15389] ppid=15381 vsize=1149292 memory=988 CPUtime=177.71 cores=0-7 /proc/15384/task/15389/stat : 15389 (cosoco) R 15381 15384 14394 0 -1 4202560 180937 0 0 0 17759 12 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857748524128 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15390] ppid=15381 vsize=1149292 memory=533156 CPUtime=176.74 cores=0-7 /proc/15384/task/15390/stat : 15390 (cosoco) R 15381 15384 14394 0 -1 4202560 174391 0 0 0 17648 26 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857740131424 5037882 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15391] ppid=15381 vsize=1149292 memory=533156 CPUtime=177.67 cores=0-7 /proc/15384/task/15391/stat : 15391 (cosoco) R 15381 15384 14394 0 -1 4202560 179096 0 0 0 17755 12 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857731738720 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15392] ppid=15381 vsize=1149292 memory=533156 CPUtime=176.92 cores=0-7 /proc/15384/task/15392/stat : 15392 (cosoco) R 15381 15384 14394 0 -1 4202560 180019 0 0 0 17663 29 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857723346016 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15393] ppid=15381 vsize=1149292 memory=6935054825532540783 CPUtime=177.67 cores=0-7 /proc/15384/task/15393/stat : 15393 (cosoco) R 15381 15384 14394 0 -1 4202560 180509 0 0 0 17756 11 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857714953312 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 Current children cumulated CPU time: 1420.62 s Current children cumulated vsize: 1149292 KiB Current children cumulated memory: 533156 KiB [startup+192.001 s]* /proc/loadavg: 8.17 5.53 3.34 9/200 15404 /proc/meminfo: memFree=30419576/32770624 swapFree=66976580/67108860 [pid=15384] ppid=15381 vsize=1149292 memory=533156 CPUtime=1522.88 cores=0-7 /proc/15384/stat : 15384 (cosoco) S 15381 15384 14394 0 -1 1077944320 1587520 0 0 0 152109 179 0 0 20 0 9 0 558345070 1176875008 133289 33554432000 4194304 6211132 140729763034720 140729763032976 139857807625975 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 /proc/15384/statm: 287323 133289 832 493 0 280628 0 [pid=15384/tid=15386] ppid=15381 vsize=1149292 memory=10456 CPUtime=189.79 cores=0-7 /proc/15384/task/15386/stat : 15386 (cosoco) R 15381 15384 14394 0 -1 4202560 175337 0 0 0 18954 25 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857773702240 5037823 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15387] ppid=15381 vsize=1149292 memory=988 CPUtime=190.52 cores=0-7 /proc/15384/task/15387/stat : 15387 (cosoco) R 15381 15384 14394 0 -1 4202560 177623 0 0 0 19039 13 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857765309536 5039026 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15388] ppid=15381 vsize=1149292 memory=4126316290023845779 CPUtime=190.52 cores=0-7 /proc/15384/task/15388/stat : 15388 (cosoco) R 15381 15384 14394 0 -1 4202560 178766 0 0 0 19024 28 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857756916832 5038992 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15389] ppid=15381 vsize=1149292 memory=984 CPUtime=190.52 cores=0-7 /proc/15384/task/15389/stat : 15389 (cosoco) R 15381 15384 14394 0 -1 4202560 196016 0 0 0 19039 13 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857748524128 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15390] ppid=15381 vsize=1149292 memory=14004 CPUtime=189.55 cores=0-7 /proc/15384/task/15390/stat : 15390 (cosoco) R 15381 15384 14394 0 -1 4202560 174741 0 0 0 18928 27 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857740131424 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15391] ppid=15381 vsize=1149292 memory=6464 CPUtime=190.47 cores=0-7 /proc/15384/task/15391/stat : 15391 (cosoco) R 15381 15384 14394 0 -1 4202560 179156 0 0 0 19035 12 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857731738720 5037858 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15392] ppid=15381 vsize=1149292 memory=14048 CPUtime=189.55 cores=0-7 /proc/15384/task/15392/stat : 15392 (cosoco) R 15381 15384 14394 0 -1 4202560 180031 0 0 0 18926 29 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857723346016 5038848 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15393] ppid=15381 vsize=1149292 memory=2124 CPUtime=190.48 cores=0-7 /proc/15384/task/15393/stat : 15393 (cosoco) R 15381 15384 14394 0 -1 4202560 191547 0 0 0 19036 12 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857714953312 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 Current children cumulated CPU time: 1522.88 s Current children cumulated vsize: 1149292 KiB Current children cumulated memory: 533156 KiB [startup+195.201 s] /proc/loadavg: 8.17 5.53 3.34 10/200 15404 /proc/meminfo: memFree=30418504/32770624 swapFree=66976580/67108860 [pid=15384] ppid=15381 vsize=1149292 memory=533156 CPUtime=1548.35 cores=0-7 /proc/15384/stat : 15384 (cosoco) S 15381 15384 14394 0 -1 1077944320 1587533 0 0 0 154656 179 0 0 20 0 9 0 558345070 1176875008 133289 33554432000 4194304 6211132 140729763034720 140729763032976 139857807625975 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 /proc/15384/statm: 287323 133289 832 493 0 280628 0 [pid=15384/tid=15386] ppid=15381 vsize=1149292 memory=533156 CPUtime=192.98 cores=0-7 /proc/15384/task/15386/stat : 15386 (cosoco) R 15381 15384 14394 0 -1 4202560 175339 0 0 0 19273 25 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857773702240 5039029 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15387] ppid=15381 vsize=1149292 memory=800 CPUtime=193.7 cores=0-7 /proc/15384/task/15387/stat : 15387 (cosoco) R 15381 15384 14394 0 -1 4202560 177625 0 0 0 19357 13 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857765309536 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15388] ppid=15381 vsize=1149292 memory=1808 CPUtime=193.71 cores=0-7 /proc/15384/task/15388/stat : 15388 (cosoco) R 15381 15384 14394 0 -1 4202560 178768 0 0 0 19343 28 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857756916832 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15389] ppid=15381 vsize=1149292 memory=6935054825532540783 CPUtime=193.71 cores=0-7 /proc/15384/task/15389/stat : 15389 (cosoco) R 15381 15384 14394 0 -1 4202560 196018 0 0 0 19358 13 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857748524128 5037783 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15390] ppid=15381 vsize=1149292 memory=1440 CPUtime=192.74 cores=0-7 /proc/15384/task/15390/stat : 15390 (cosoco) R 15381 15384 14394 0 -1 4202560 174741 0 0 0 19247 27 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857740131424 5039038 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15391] ppid=15381 vsize=1149292 memory=580 CPUtime=193.66 cores=0-7 /proc/15384/task/15391/stat : 15391 (cosoco) R 15381 15384 14394 0 -1 4202560 179156 0 0 0 19354 12 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857731738720 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15392] ppid=15381 vsize=1149292 memory=533156 CPUtime=192.69 cores=0-7 /proc/15384/task/15392/stat : 15392 (cosoco) R 15381 15384 14394 0 -1 4202560 180034 0 0 0 19240 29 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857723346016 5039561 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15393] ppid=15381 vsize=1149292 memory=533156 CPUtime=193.67 cores=0-7 /proc/15384/task/15393/stat : 15393 (cosoco) R 15381 15384 14394 0 -1 4202560 191549 0 0 0 19355 12 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857714953312 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 Current children cumulated CPU time: 1548.35 s Current children cumulated vsize: 1149292 KiB Current children cumulated memory: 533156 KiB [startup+198.401 s] /proc/loadavg: 8.15 5.57 3.36 9/200 15404 /proc/meminfo: memFree=30418000/32770624 swapFree=66976580/67108860 [pid=15384] ppid=15381 vsize=1149292 memory=533156 CPUtime=1573.91 cores=0-7 /proc/15384/stat : 15384 (cosoco) S 15381 15384 14394 0 -1 1077944320 1587533 0 0 0 157212 179 0 0 20 0 9 0 558345070 1176875008 133289 33554432000 4194304 6211132 140729763034720 140729763032976 139857807625975 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 /proc/15384/statm: 287323 133289 832 493 0 280628 0 [pid=15384/tid=15386] ppid=15381 vsize=1149292 memory=4132 CPUtime=196.18 cores=0-7 /proc/15384/task/15386/stat : 15386 (cosoco) R 15381 15384 14394 0 -1 4202560 175339 0 0 0 19593 25 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857773702240 5038992 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15387] ppid=15381 vsize=1149292 memory=4104 CPUtime=196.9 cores=0-7 /proc/15384/task/15387/stat : 15387 (cosoco) R 15381 15384 14394 0 -1 4202560 177625 0 0 0 19677 13 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857765309536 5039295 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15388] ppid=15381 vsize=1149292 memory=533156 CPUtime=196.91 cores=0-7 /proc/15384/task/15388/stat : 15388 (cosoco) R 15381 15384 14394 0 -1 4202560 178768 0 0 0 19663 28 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857756916832 5039536 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15389] ppid=15381 vsize=1149292 memory=533156 CPUtime=196.9 cores=0-7 /proc/15384/task/15389/stat : 15389 (cosoco) R 15381 15384 14394 0 -1 4202560 196018 0 0 0 19677 13 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857748524128 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15390] ppid=15381 vsize=1149292 memory=988 CPUtime=195.94 cores=0-7 /proc/15384/task/15390/stat : 15390 (cosoco) R 15381 15384 14394 0 -1 4202560 174741 0 0 0 19567 27 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857740131424 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15391] ppid=15381 vsize=1149292 memory=2008 CPUtime=196.86 cores=0-7 /proc/15384/task/15391/stat : 15391 (cosoco) R 15381 15384 14394 0 -1 4202560 179156 0 0 0 19674 12 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857731738720 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15392] ppid=15381 vsize=1149292 memory=1440 CPUtime=195.85 cores=0-7 /proc/15384/task/15392/stat : 15392 (cosoco) R 15381 15384 14394 0 -1 4202560 180034 0 0 0 19556 29 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857723346016 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15393] ppid=15381 vsize=1149292 memory=3620 CPUtime=196.87 cores=0-7 /proc/15384/task/15393/stat : 15393 (cosoco) R 15381 15384 14394 0 -1 4202560 191549 0 0 0 19675 12 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857714953312 5039014 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 Current children cumulated CPU time: 1573.91 s Current children cumulated vsize: 1149292 KiB Current children cumulated memory: 533156 KiB [startup+199.201 s] /proc/loadavg: 8.15 5.57 3.36 9/200 15404 /proc/meminfo: memFree=30418000/32770624 swapFree=66976580/67108860 [pid=15384] ppid=15381 vsize=1149292 memory=533156 CPUtime=1580.29 cores=0-7 /proc/15384/stat : 15384 (cosoco) S 15381 15384 14394 0 -1 1077944320 1587533 0 0 0 157850 179 0 0 20 0 9 0 558345070 1176875008 133289 33554432000 4194304 6211132 140729763034720 140729763032976 139857807625975 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 /proc/15384/statm: 287323 133289 832 493 0 280628 0 [pid=15384/tid=15386] ppid=15381 vsize=1149292 memory=2828 CPUtime=196.98 cores=0-7 /proc/15384/task/15386/stat : 15386 (cosoco) R 15381 15384 14394 0 -1 4202560 175339 0 0 0 19673 25 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857773702240 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15387] ppid=15381 vsize=1149292 memory=533156 CPUtime=197.7 cores=0-7 /proc/15384/task/15387/stat : 15387 (cosoco) R 15381 15384 14394 0 -1 4202560 177625 0 0 0 19757 13 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857765309536 5039536 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15388] ppid=15381 vsize=1149292 memory=10456 CPUtime=197.71 cores=0-7 /proc/15384/task/15388/stat : 15388 (cosoco) R 15381 15384 14394 0 -1 4202560 178768 0 0 0 19743 28 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857756916832 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15389] ppid=15381 vsize=1149292 memory=6935054825532540783 CPUtime=197.7 cores=0-7 /proc/15384/task/15389/stat : 15389 (cosoco) R 15381 15384 14394 0 -1 4202560 196018 0 0 0 19757 13 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857748524128 5039038 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15390] ppid=15381 vsize=1149292 memory=10604 CPUtime=196.74 cores=0-7 /proc/15384/task/15390/stat : 15390 (cosoco) R 15381 15384 14394 0 -1 4202560 174741 0 0 0 19647 27 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857740131424 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15391] ppid=15381 vsize=1149292 memory=4024 CPUtime=197.66 cores=0-7 /proc/15384/task/15391/stat : 15391 (cosoco) R 15381 15384 14394 0 -1 4202560 179156 0 0 0 19754 12 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857731738720 5037823 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15392] ppid=15381 vsize=1149292 memory=776 CPUtime=196.64 cores=0-7 /proc/15384/task/15392/stat : 15392 (cosoco) R 15381 15384 14394 0 -1 4202560 180034 0 0 0 19635 29 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857723346016 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15393] ppid=15381 vsize=1149292 memory=533156 CPUtime=197.67 cores=0-7 /proc/15384/task/15393/stat : 15393 (cosoco) R 15381 15384 14394 0 -1 4202560 191549 0 0 0 19755 12 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857714953312 5037825 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 Current children cumulated CPU time: 1580.29 s Current children cumulated vsize: 1149292 KiB Current children cumulated memory: 533156 KiB [startup+200.001 s]* /proc/loadavg: 8.15 5.57 3.36 9/200 15404 /proc/meminfo: memFree=30418124/32770624 swapFree=66976580/67108860 [pid=15384] ppid=15381 vsize=1149292 memory=533156 CPUtime=1586.76 cores=0-7 /proc/15384/stat : 15384 (cosoco) S 15381 15384 14394 0 -1 1077944320 1587533 0 0 0 158496 180 0 0 20 0 9 0 558345070 1176875008 133289 33554432000 4194304 6211132 140729763034720 140729763032976 139857807625975 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 /proc/15384/statm: 287323 133289 832 493 0 280628 0 [pid=15384/tid=15386] ppid=15381 vsize=1149292 memory=6935054825532540783 CPUtime=197.79 cores=0-7 /proc/15384/task/15386/stat : 15386 (cosoco) R 15381 15384 14394 0 -1 4202560 175339 0 0 0 19754 25 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857773702240 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15387] ppid=15381 vsize=1149292 memory=4126316290023845779 CPUtime=198.51 cores=0-7 /proc/15384/task/15387/stat : 15387 (cosoco) R 15381 15384 14394 0 -1 4202560 177625 0 0 0 19838 13 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857765309536 5037823 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15388] ppid=15381 vsize=1149292 memory=1760 CPUtime=198.52 cores=0-7 /proc/15384/task/15388/stat : 15388 (cosoco) R 15381 15384 14394 0 -1 4202560 178768 0 0 0 19824 28 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857756916832 5037823 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15389] ppid=15381 vsize=1149292 memory=111636 CPUtime=198.51 cores=0-7 /proc/15384/task/15389/stat : 15389 (cosoco) R 15381 15384 14394 0 -1 4202560 196018 0 0 0 19838 13 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857748524128 5038737 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15390] ppid=15381 vsize=1149292 memory=800 CPUtime=197.55 cores=0-7 /proc/15384/task/15390/stat : 15390 (cosoco) R 15381 15384 14394 0 -1 4202560 174741 0 0 0 19728 27 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857740131424 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15391] ppid=15381 vsize=1149292 memory=1808 CPUtime=198.46 cores=0-7 /proc/15384/task/15391/stat : 15391 (cosoco) R 15381 15384 14394 0 -1 4202560 179156 0 0 0 19834 12 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857731738720 5039240 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15392] ppid=15381 vsize=1149292 memory=924 CPUtime=197.44 cores=0-7 /proc/15384/task/15392/stat : 15392 (cosoco) R 15381 15384 14394 0 -1 4202560 180034 0 0 0 19715 29 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857723346016 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 [pid=15384/tid=15393] ppid=15381 vsize=1149292 memory=4132 CPUtime=198.48 cores=0-7 /proc/15384/task/15393/stat : 15393 (cosoco) R 15381 15384 14394 0 -1 4202560 191549 0 0 0 19836 12 0 0 20 0 9 0 558345213 1176875008 133289 33554432000 4194304 6211132 140729763034720 139857714953312 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 Current children cumulated CPU time: 1586.76 s Current children cumulated vsize: 1149292 KiB Current children cumulated memory: 533156 KiB [startup+200.201 s] /proc/loadavg: 8.15 5.57 3.36 9/200 15404 /proc/meminfo: memFree=30418124/32770624 swapFree=66976580/67108860 [pid=15384] ppid=15381 vsize=1149292 memory=533164 CPUtime=1587.9 cores=0-7 /proc/15384/stat : 15384 (cosoco) S 15381 15384 14394 0 -1 1077944320 1587549 0 0 0 158610 180 0 0 20 0 2 0 558345070 1176875008 133291 33554432000 4194304 6211132 140729763034720 140729763032976 139857807625975 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 /proc/15384/statm: 287323 133291 834 493 0 280628 0 [pid=15384/tid=15387] ppid=15381 vsize=1149292 memory=2744 CPUtime=198.7 cores=0-7 /proc/15384/task/15387/stat : 15387 (cosoco) R 15381 15384 14394 0 -1 4202560 177625 0 0 0 19857 13 0 0 20 0 2 0 558345213 1176875008 133291 33554432000 4194304 6211132 140729763034720 139857765309536 5038992 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13144064 140729763042321 140729763042413 140729763042413 140729763045326 0 Current children cumulated CPU time: 1587.9 s Current children cumulated vsize: 1149292 KiB Current children cumulated memory: 533164 KiB Child status: 0 Real time (s): 200.271 CPU time (s): 1587.98 CPU user time (s): 1586.15 CPU system time (s): 1.83068 CPU usage (%): 792.916 Max. virtual memory (cumulated for all children) (KiB): 1149292 Max. memory (cumulated for all children) (KiB): 533164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1586.15 system time used= 1.83068 maximum resident set size= 533400 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1587579 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 109 involuntary context switches= 15169 # summary of solver processes directly reported to runsolver: # pid: 15384 # total CPU time (s): 1587.98 # total CPU user time (s): 1586.15 # total CPU system time (s): 1.83068 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.10189 second user time and 1.81145 second system time The end
Begin job on node124 at 2019-09-30 08:13:29 IDJOB=4409363 IDBENCH=126001 IDSOLVER=2877 FILE ID=node124/4409363-1569824051 RUNJOBID= node124-1569816334-14422 PBS_JOBID= 21705906 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/QRandom/QRandom-bdd-18-21-2/bdd-18-21-2-133-78-33.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409363-1569824051/watcher-4409363-1569824051 -o /tmp/evaluation-result-4409363-1569824051/solver-4409363-1569824051 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1569816334-14422 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409363-1569824051.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 81fb3456c728d6c2b2ee1ab40588047a RANDOM SEED=1738106520 node124.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30946160 kB MemAvailable: 31842820 kB Buffers: 117396 kB Cached: 1119176 kB SwapCached: 29128 kB Active: 881920 kB Inactive: 389724 kB Active(anon): 5308 kB Inactive(anon): 111220 kB Active(file): 876612 kB Inactive(file): 278504 kB Unevictable: 109524 kB Mlocked: 109524 kB SwapTotal: 67108860 kB SwapFree: 66976580 kB Dirty: 4496 kB Writeback: 0 kB AnonPages: 142148 kB Mapped: 26916 kB Shmem: 73488 kB Slab: 143848 kB SReclaimable: 114756 kB SUnreclaim: 29092 kB KernelStack: 3584 kB PageTables: 4996 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 538980 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 96256 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 62028 MiB End job on node124 at 2019-09-30 08:16:49