| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.0 parallel | UNSAT | 1583.22 | 199.804 |
| Name | QRandom/QRandom-bdd-18-21-2/ bdd-18-21-2-133-78-21.xml |
| MD5SUM | c7982e61e1aa12db31c7a822b635a08f |
| 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 | 7.58339 |
| 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 | 122 |
| Distribution of variable degrees | [{"degree":109,"count":4},{"degree":110,"count":1},{"degree":112,"count":3},{"degree":113,"count":1},{"degree":114,"count":5},{"degree":115,"count":1},{"degree":116,"count":1},{"degree":117,"count":1},{"degree":118,"count":1},{"degree":120,"count":1},{"degree":121,"count":1},{"degree":122,"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 |
0.69/1.91 c root propagations : 0 0.69/1.91 c restarts enabled, print stats at every restarts 0.69/1.91 c 0.69/1.91 c 0.69/1.91 c 0.69/1.91 c This is cosoco 2.00 -- 0.69/1.91 c 0.69/1.91 c command line: cosoco -model -nbcores=8 HOME/instance-4409323-1569823989.xml 0.69/1.91 c ========================================[ Problem Statistics ]=========================================== 0.69/1.91 c | 0.69/1.91 c | Parse time : 1.25 s 0.69/1.91 c | 0.69/1.91 c | Variables: 21 0.69/1.91 c | Domain Sizes: 2..2 0.69/1.91 c | 0.69/1.91 c | Constraints: 133 0.69/1.91 c | Arity: 18..18 0.69/1.91 c | 0.69/1.91 c | Types: 0.69/1.91 c | Extension: 133 (nb tuples: 57971..57971) -- (shared: 1056) 0.69/1.91 c | 0.69/1.91 c ========================================================================================================= 0.69/1.91 c Parallel mode: Portfolio 0.69/1.91 c [pFactory][Group N°0] created (threads:8). 0.69/1.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.69/6.15 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.69/6.15 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.69/6.15 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.69/6.15 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.69/6.15 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.69/6.15 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.69/6.15 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.69/6.15 c [pFactory][Group N°0] concurrent mode: enabled. 0.69/6.15 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.69/6.15 c [pFactory][Group N°0] task 7 launched on thread 1. 0.69/6.15 c [pFactory][Group N°0] task 6 launched on thread 0. 0.69/6.15 c [pFactory][Group N°0] task 5 launched on thread 4. 0.69/6.15 c [pFactory][Group N°0] task 4 launched on thread 2. 0.69/6.15 c [pFactory][Group N°0] task 3 launched on thread 5. 0.69/6.15 c [pFactory][Group N°0] task 2 launched on thread 3. 0.69/6.15 c [pFactory][Group N°0] task 1 launched on thread 6. 0.69/6.15 c [pFactory][Group N°0] task 0 launched on thread 7. 0.69/6.15 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.69/6.15 c root propagations : 0 0.69/6.15 c restarts enabled, print stats at every restarts 0.69/6.15 c 0.69/6.15 c 0.69/6.15 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.69/6.15 c root propagations : 0 0.69/6.15 c restarts enabled, print stats at every restarts 0.69/6.15 c 0.69/6.15 c 0.69/6.15 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.69/6.15 c root propagations : 0 0.69/6.15 c restarts enabled, print stats at every restarts 0.69/6.15 c 0.69/6.15 c 0.69/6.15 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.69/6.15 c root propagations : 0 0.69/6.15 c restarts enabled, print stats at every restarts 0.69/6.15 c 0.69/6.15 c 0.69/6.15 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.69/6.15 c root propagations : 0 0.69/6.15 c restarts enabled, print stats at every restarts 0.69/6.15 c 0.69/6.15 c 0.69/6.15 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.69/6.15 c root propagations : 0 0.69/6.15 c restarts enabled, print stats at every restarts 0.69/6.15 c 0.69/6.15 c 0.69/6.15 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.69/6.15 c root propagations : 0 0.69/6.15 c restarts enabled, print stats at every restarts 0.69/6.15 c 0.69/6.15 c 0.69/6.15 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.69/6.15 c 32 104 14542 623 0 0 10 15 13 0.69/6.15 c 32 110 14647 580 0 0 12 15 13 0.69/6.15 c 32 116 15391 618 0 0 12 15 13 0.69/6.15 c 101 348 47759 1948 0 0 10 15 13 0.69/6.15 c 32 116 15391 618 0 0 12 15 13 0.69/6.15 c 101 361 48399 1916 0 0 9 15 13 0.69/6.15 c 101 349 46089 1939 0 0 11 15 13 0.69/6.15 c 101 361 49972 1998 0 0 10 15 13 0.69/6.15 c 33 118 16204 647 0 0 14 14 7 0.69/6.15 c 33 129 17016 647 0 0 13 13 6 0.69/6.15 c 33 123 16160 612 0 0 13 13 6 0.69/6.15 c 33 129 17016 647 0 0 13 13 6 0.69/6.15 c 211 756 104896 4323 0 0 10 15 13 0.69/6.15 c 64 241 32510 1273 0 0 9 14 12 0.69/6.15 c 64 234 31909 1258 0 0 12 15 13 0.69/6.15 c 211 746 101356 4094 0 0 10 15 13 0.69/6.15 c 211 741 101509 4186 0 0 9 15 13 0.69/6.15 c 64 233 30979 1224 0 0 12 15 13 0.69/6.15 c 211 714 96099 4041 0 0 9 15 13 0.69/6.15 c 64 241 32510 1273 0 0 9 14 12 0.69/6.15 c 332 1173 161048 6726 0 0 11 15 13 0.69/6.15 c 65 254 34130 1305 0 0 13 13 6 0.69/6.21 c 65 247 33533 1290 0 0 13 13 6 40.30/6.30 c 65 246 32488 1247 0 0 13 13 6 41.98/6.52 c 332 1140 154915 6505 0 0 10 14 13 42.70/6.65 c 65 254 34130 1305 0 0 13 13 6 44.29/6.84 c 66 267 35748 1337 0 0 13 13 6 44.29/6.84 c 332 1184 159953 6580 0 0 9 15 13 45.08/6.95 c 332 1144 153511 6423 0 0 10 15 13 46.68/7.17 c 465 1645 225798 9429 0 0 10 15 13 49.14/7.48 c 66 259 34032 1276 0 0 13 13 6 49.94/7.60 c 66 260 35073 1316 0 0 13 13 6 52.26/7.84 c 66 267 35748 1337 0 0 13 13 6 53.05/7.97 c 67 280 37411 1364 0 0 13 13 6 54.65/8.10 c 465 1605 217407 9099 0 0 9 15 13 58.63/8.65 c 67 272 35541 1299 0 0 13 13 6 58.63/8.69 c 465 1645 220882 9155 0 0 7 14 13 59.40/8.75 c 611 2147 294166 12280 0 0 10 15 13 60.20/8.89 c 67 273 36677 1346 0 0 13 13 6 60.94/8.93 c 465 1613 215807 9157 0 0 10 15 13 61.74/9.07 c 67 280 37411 1364 0 0 13 13 6 64.13/9.36 c 128 501 67240 2572 0 0 11 14 13 68.92/9.95 c 611 2104 284167 11861 0 0 9 15 13 68.92/9.96 c 128 493 64060 2547 0 0 11 14 13 72.10/10.34 c 128 478 64871 2504 0 0 10 15 13 72.96/10.42 c 771 2692 365713 15344 0 0 10 15 13 74.34/10.61 c 129 515 68948 2607 0 0 14 14 7 74.34/10.63 c 611 2128 285766 11902 0 0 10 15 13 75.12/10.72 c 128 501 67240 2572 0 0 11 14 13 75.12/10.77 c 611 2132 283867 12031 0 0 9 15 13 77.52/11.01 c 129 507 65708 2581 0 0 14 14 7 80.78/11.49 c 129 491 66743 2544 0 0 13 13 6 83.11/11.72 c 130 529 70647 2642 0 0 14 14 7 85.51/12.06 c 130 521 67352 2615 0 0 14 14 7 85.51/12.07 c 771 2639 356514 14965 0 0 8 14 13 85.51/12.07 c 129 515 68948 2607 0 0 14 14 7 86.31/12.18 c 947 3313 449412 18749 0 0 10 15 13 89.56/12.58 c 771 2649 355582 14851 0 0 8 14 13 90.29/12.60 c 130 504 68403 2574 0 0 13 13 6 90.29/12.64 c 771 2684 357068 15197 0 0 11 15 13 91.89/12.89 c 131 543 72325 2678 0 0 14 14 7 94.25/13.13 c 131 535 69000 2649 0 0 14 14 7 95.05/13.26 c 130 529 70647 2642 0 0 14 14 7 99.03/13.72 c 131 517 70283 2614 0 0 13 13 6 101.42/14.07 c 132 557 74013 2714 0 0 14 14 7 101.42/14.07 c 1140 4012 542949 22607 0 0 10 15 13 102.22/14.12 c 132 549 70678 2686 0 0 14 14 7 102.22/14.16 c 947 3281 441125 18548 0 0 8 15 13 104.69/14.49 c 131 543 72325 2678 0 0 14 14 7 107.01/14.71 c 947 3303 438109 18735 0 0 11 15 13 107.01/14.72 c 947 3259 437543 18329 0 0 8 15 13 108.61/14.93 c 132 530 71943 2644 0 0 13 13 6 111.01/15.27 c 133 571 75691 2750 0 0 14 14 7 111.80/15.35 c 133 563 72361 2723 0 0 14 14 7 114.19/15.70 c 132 557 74013 2714 0 0 14 14 7 117.40/16.04 c 1352 4753 641443 26794 0 0 10 15 13 118.19/16.11 c 1140 3944 529855 22310 0 0 7 15 13 118.19/16.15 c 133 543 73749 2681 0 0 13 13 6 120.66/16.42 c 134 585 77358 2777 0 0 14 14 7 121.46/16.60 c 134 577 74043 2761 0 0 14 14 7 123.78/16.83 c 1140 3980 526215 22578 0 0 8 15 13 123.78/16.85 c 133 571 75691 2750 0 0 14 14 7 123.78/16.87 c 1140 3915 526460 22038 0 0 9 14 13 127.77/17.37 c 134 556 75551 2718 0 0 13 13 6 129.43/17.53 c 135 599 79042 2813 0 0 14 14 7 131.76/17.81 c 135 591 75696 2796 0 0 14 14 7 132.56/17.93 c 134 585 77358 2777 0 0 14 14 7 133.36/18.02 c 1585 5562 752048 31418 0 0 10 15 13 135.76/18.30 c 1352 4695 629794 26440 0 0 9 15 13 137.42/18.54 c 135 569 77357 2755 0 0 13 13 6 140.54/18.94 c 1352 4693 619350 26606 0 0 10 15 13 141.34/19.01 c 135 599 79042 2813 0 0 14 14 7 142.14/19.19 c 1352 4632 623138 26096 0 0 10 14 13 142.94/19.29 c 256 1046 138829 5320 0 0 11 14 13 144.61/19.48 c 256 1012 132238 5165 0 0 10 15 13 150.13/20.10 c 256 987 134389 5194 0 0 11 15 13 150.13/20.12 c 1841 6475 874000 36598 0 0 10 15 13 153.39/20.56 c 1585 5510 740001 30914 0 0 7 15 13 153.39/20.57 c 257 1060 140507 5356 0 0 14 14 7 154.91/20.71 c 256 1046 138829 5320 0 0 11 14 13 154.91/20.77 c 257 1025 133758 5187 0 0 13 13 6 158.11/21.17 c 1585 5498 725355 31118 0 0 6 15 13 159.71/21.41 c 257 1001 136079 5232 0 0 14 14 7 161.36/21.55 c 1585 5403 728083 30512 0 0 9 15 13 163.70/21.81 c 258 1074 142195 5392 0 0 14 14 7 165.30/22.01 c 257 1060 140507 5356 0 0 14 14 7 166.09/22.15 c 258 1038 135292 5216 0 0 13 13 6 166.89/22.25 c 2122 7446 1005662 42076 0 0 9 15 13 170.08/22.68 c 258 1015 137767 5270 0 0 14 14 7 170.88/22.71 c 1841 6399 860868 35971 0 0 8 15 13 172.48/22.98 c 259 1088 143873 5428 0 0 14 14 7 175.66/23.30 c 258 1074 142195 5392 0 0 14 14 7 175.66/23.32 c 1841 6384 840022 35986 0 0 8 15 13 176.52/23.45 c 259 1051 136812 5238 0 0 13 13 6 179.65/23.88 c 1841 6269 843898 35454 0 0 8 14 13 180.45/23.98 c 259 1029 139457 5308 0 0 14 14 7 182.05/24.14 c 260 1102 145540 5455 0 0 14 14 7 185.31/24.55 c 259 1088 143873 5428 0 0 14 14 7 186.03/24.61 c 260 1064 138346 5267 0 0 13 13 6 186.03/24.70 c 2431 8562 1155723 48379 0 0 10 15 13 189.23/25.04 c 2122 7403 998330 41676 0 0 8 15 13 190.03/25.18 c 260 1043 141145 5346 0 0 14 14 7 191.63/25.31 c 261 1116 147218 5491 0 0 14 14 7 194.82/25.73 c 2122 7394 972031 41581 0 0 8 15 13 194.82/25.76 c 260 1102 145540 5455 0 0 14 14 7 194.82/25.79 c 261 1077 139875 5296 0 0 13 13 6 198.81/26.24 c 2122 7262 978631 41022 0 0 8 15 13 200.48/26.45 c 261 1057 142826 5381 0 0 14 14 7 200.48/26.46 c 262 1130 148885 5518 0 0 14 14 7 204.41/26.95 c 262 1090 141409 5325 0 0 13 13 6 205.20/27.01 c 261 1116 147218 5491 0 0 14 14 7 206.80/27.24 c 2770 9750 1319122 55091 0 0 7 15 13 209.27/27.52 c 2431 8459 1140705 47809 0 0 10 15 13 209.99/27.62 c 263 1144 150563 5554 0 0 14 14 7 210.79/27.72 c 262 1071 144509 5416 0 0 14 14 7 213.99/28.12 c 263 1103 142938 5354 0 0 13 13 6 213.99/28.17 c 2431 8441 1109695 47643 0 0 9 15 13 214.79/28.22 c 262 1130 148885 5518 0 0 14 14 7 218.77/28.76 c 2431 8318 1125202 47190 0 0 10 14 13 218.77/28.77 c 264 1157 152113 5575 0 0 13 13 6 220.38/28.99 c 263 1085 146190 5451 0 0 14 14 7 222.78/29.28 c 264 1116 144473 5385 0 0 13 13 6 224.44/29.45 c 263 1144 150563 5554 0 0 14 14 7 229.15/30.03 c 2770 9622 1299193 54346 0 0 6 15 13 229.15/30.07 c 265 1170 153693 5605 0 0 13 13 6 230.75/30.25 c 264 1099 147875 5486 0 0 14 14 7 231.55/30.37 c 3142 11030 1493654 62473 0 0 9 15 13 233.21/30.51 c 265 1129 146003 5416 0 0 13 13 6 233.94/30.66 c 2770 9593 1260847 54106 0 0 7 15 13 233.94/30.67 c 264 1157 152113 5575 0 0 13 13 6 239.54/31.37 c 266 1183 155243 5626 0 0 13 13 6 240.40/31.41 c 2770 9467 1280166 53695 0 0 10 15 13 241.20/31.51 c 265 1113 149556 5521 0 0 14 14 7 242.73/31.70 c 266 1142 147537 5445 0 0 13 13 6 245.12/32.04 c 265 1170 153693 5605 0 0 13 13 6 249.91/32.64 c 267 1196 156823 5656 0 0 13 13 6 250.71/32.70 c 266 1127 151241 5556 0 0 14 14 7 250.71/32.74 c 3142 10915 1472775 61635 0 0 8 15 13 252.31/32.91 c 267 1155 149066 5474 0 0 13 13 6 255.51/33.40 c 266 1183 155243 5626 0 0 13 13 6 257.17/33.53 c 3551 12422 1682713 70406 0 0 7 15 13 257.17/33.58 c 3142 10893 1433123 61444 0 0 9 15 13 259.49/33.86 c 267 1141 152922 5591 0 0 14 14 7 261.08/34.04 c 268 1209 158373 5677 0 0 13 13 6 261.08/34.04 c 268 1168 150601 5505 0 0 13 13 6 263.48/34.35 c 3142 10788 1460086 61109 0 0 8 15 13 269.07/35.02 c 267 1196 156823 5656 0 0 13 13 6 269.07/35.03 c 268 1155 154691 5629 0 0 14 14 7 270.67/35.22 c 269 1181 152131 5536 0 0 13 13 6 274.65/35.75 c 269 1222 159953 5707 0 0 13 13 6 275.45/35.84 c 3551 12331 1662823 69544 0 0 6 15 13 277.85/36.18 c 269 1168 156324 5655 0 0 13 13 6 280.31/36.43 c 270 1194 153666 5567 0 0 13 13 6 281.11/36.53 c 3551 12313 1626496 69515 0 0 9 15 13 281.84/36.63 c 4000 13996 1894106 79349 0 0 5 15 13 281.84/36.68 c 268 1209 158373 5677 0 0 13 13 6 285.84/37.10 c 3551 12155 1646423 69023 0 0 8 15 13 287.44/37.38 c 270 1181 157961 5681 0 0 13 13 6 289.10/37.53 c 270 1235 161503 5728 0 0 13 13 6 289.10/37.59 c 271 1207 155196 5598 0 0 13 13 6 295.42/38.32 c 269 1222 159953 5707 0 0 13 13 6 297.08/38.55 c 271 1194 159594 5707 0 0 13 13 6 298.61/38.79 c 4000 13867 1870065 78200 0 0 9 15 13 302.60/39.26 c 271 1248 163083 5758 0 0 13 13 6 305.79/39.68 c 512 2016 264991 10157 0 0 6 15 13 307.39/39.81 c 4000 13842 1835721 78302 0 0 8 15 13 308.19/39.98 c 4493 15687 2122331 89132 0 0 9 15 13 309.03/40.01 c 270 1235 161503 5728 0 0 13 13 6 309.78/40.17 c 4000 13700 1858158 77801 0 0 9 15 13 313.77/40.67 c 512 2013 271751 10314 0 0 8 15 13 316.97/41.06 c 513 2029 266754 10186 0 0 13 13 6 321.76/41.66 c 271 1248 163083 5758 0 0 13 13 6 324.16/41.95 c 513 2026 273286 10335 0 0 13 13 6 325.75/42.16 c 4493 15556 2099786 87747 0 0 5 15 13 327.35/42.39 c 514 2042 268517 10215 0 0 13 13 6 328.22/42.48 c 512 2102 280743 10617 0 0 8 15 13 333.74/43.19 c 4493 15540 2063759 87911 0 0 9 15 13 334.54/43.25 c 514 2039 274823 10357 0 0 13 13 6 337.00/43.54 c 5035 17519 2369100 99559 0 0 8 15 13 337.73/43.67 c 4493 15394 2089114 87461 0 0 7 15 13 338.53/43.75 c 515 2055 270163 10236 0 0 13 13 6 341.72/44.19 c 513 2115 282298 10640 0 0 13 13 6 344.97/44.52 c 515 2052 276358 10378 0 0 13 13 6 346.50/44.72 c 512 2102 280743 10617 0 0 8 15 13 348.90/45.06 c 516 2068 271926 10265 0 0 13 13 6 352.16/45.42 c 514 2128 283857 10663 0 0 13 13 6 354.48/45.72 c 516 2065 278001 10408 0 0 13 13 6 356.08/45.93 c 5035 17468 2355643 98563 0 0 6 15 13 359.28/46.35 c 513 2115 282298 10640 0 0 13 13 6 359.28/46.39 c 517 2081 273572 10286 0 0 13 13 6 361.67/46.60 c 5035 17395 2314570 98376 0 0 7 15 13 361.67/46.67 c 515 2141 285412 10686 0 0 13 13 6 364.06/46.91 c 517 2078 279536 10429 0 0 13 13 6 368.12/47.46 c 5035 17230 2342526 97978 0 0 8 15 13 369.65/47.68 c 518 2094 275335 10315 0 0 13 13 6 372.05/47.90 c 516 2154 286971 10709 0 0 13 13 6 372.85/48.04 c 514 2128 283857 10663 0 0 13 13 6 373.65/48.11 c 518 2091 281179 10459 0 0 13 13 6 378.44/48.74 c 5631 19628 2659475 111548 0 0 7 15 13 380.84/49.02 c 519 2107 276981 10336 0 0 13 13 6 380.84/49.08 c 517 2167 288526 10732 0 0 13 13 6 383.24/49.31 c 519 2104 282714 10480 0 0 13 13 6 384.10/49.46 c 5631 19527 2636803 110158 0 0 6 15 13 385.62/49.64 c 515 2141 285412 10686 0 0 13 13 6 390.42/50.25 c 5631 19454 2597720 110092 0 0 7 15 13 391.22/50.31 c 518 2180 290085 10755 0 0 13 13 6 391.22/50.32 c 520 2120 278744 10365 0 0 13 13 6 392.88/50.52 c 520 2117 284357 10510 0 0 13 13 6 397.60/51.19 c 5631 19257 2617678 109606 0 0 8 15 13 399.20/51.31 c 516 2154 286971 10709 0 0 13 13 6 400.06/51.50 c 519 2193 291640 10778 0 0 13 13 6 401.59/51.66 c 521 2133 280390 10386 0 0 13 13 6 402.39/51.74 c 521 2130 285892 10531 0 0 13 13 6 410.37/52.73 c 520 2206 293199 10801 0 0 13 13 6 411.17/52.86 c 517 2167 288526 10732 0 0 13 13 6 411.97/52.96 c 522 2143 287535 10561 0 0 13 13 6 411.97/52.98 c 522 2146 282153 10415 0 0 13 13 6 414.37/53.27 c 6286 21809 2947871 122954 0 0 8 15 13 417.56/53.69 c 6286 21695 2894514 122646 0 0 5 15 13 419.96/53.90 c 521 2219 294754 10824 0 0 13 13 6 421.56/54.19 c 523 2156 289070 10582 0 0 13 13 6 423.14/54.37 c 523 2159 283799 10436 0 0 13 13 6 424.00/54.41 c 6286 21870 2962414 124535 0 0 9 15 13 424.00/54.50 c 518 2180 290085 10755 0 0 13 13 6 428.72/55.07 c 6286 21518 2928708 122516 0 0 8 15 13 429.52/55.14 c 522 2232 296313 10847 0 0 13 13 6 434.32/55.72 c 524 2172 285562 10465 0 0 13 13 6 435.12/55.85 c 524 2169 290713 10612 0 0 13 13 6 435.12/55.89 c 519 2193 291640 10778 0 0 13 13 6 439.12/56.32 c 523 2245 297868 10870 0 0 13 13 6 444.70/57.08 c 525 2185 287208 10486 0 0 13 13 6 447.10/57.31 c 7006 24355 3294398 137062 0 0 9 15 13 447.10/57.33 c 520 2206 293199 10801 0 0 13 13 6 447.96/57.46 c 525 2182 292248 10633 0 0 13 13 6 448.76/57.56 c 524 2258 299427 10893 0 0 13 13 6 451.89/57.94 c 7006 24220 3237345 137023 0 0 9 15 13 455.95/58.42 c 526 2198 288971 10515 0 0 13 13 6 457.47/58.69 c 521 2219 294754 10824 0 0 13 13 6 458.26/58.77 c 525 2271 300982 10916 0 0 13 13 6 461.46/59.11 c 526 2195 293891 10663 0 0 13 13 6 462.26/59.23 c 7006 24040 3273679 136861 0 0 8 15 13 462.26/59.29 c 7006 24345 3298856 138765 0 0 8 15 13 466.24/59.77 c 527 2211 290617 10536 0 0 13 13 6 468.64/60.00 c 526 2284 302541 10939 0 0 13 13 6 469.44/60.13 c 522 2232 296313 10847 0 0 13 13 6 474.22/60.78 c 527 2208 295426 10684 0 0 13 13 6 477.42/61.11 c 528 2224 292380 10565 0 0 13 13 6 478.22/61.20 c 527 2297 304096 10962 0 0 13 13 6 479.88/61.48 c 523 2245 297868 10870 0 0 13 13 6 487.87/62.43 c 7798 26974 3603393 152321 0 0 8 15 13 487.87/62.44 c 528 2310 305655 10985 0 0 13 13 6 487.87/62.45 c 528 2221 297069 10714 0 0 13 13 6 487.87/62.48 c 529 2237 294026 10586 0 0 13 13 6 488.67/62.51 c 7798 27116 3668766 152663 0 0 7 15 13 491.79/62.91 c 524 2258 299427 10893 0 0 13 13 6 497.38/63.61 c 529 2323 307210 11008 0 0 13 13 6 498.18/63.79 c 530 2250 295789 10615 0 0 13 13 6 501.38/64.12 c 529 2234 298604 10735 0 0 13 13 6 502.18/64.22 c 7798 27115 3668552 154574 0 0 4 15 13 502.18/64.24 c 525 2271 300982 10916 0 0 13 13 6 502.93/64.30 c 7798 26808 3649922 152557 0 0 8 15 13 506.79/64.84 c 530 2336 308769 11031 0 0 13 13 6 509.18/65.16 c 531 2263 297435 10636 0 0 13 13 6 511.64/65.45 c 530 2247 300247 10765 0 0 13 13 6 514.77/65.84 c 526 2284 302541 10939 0 0 13 13 6 516.37/66.02 c 531 2349 310324 11054 0 0 13 13 6 519.63/66.48 c 532 2276 299198 10665 0 0 13 13 6 521.15/66.67 c 531 2260 301782 10786 0 0 13 13 6 525.95/67.25 c 532 2362 311883 11077 0 0 13 13 6 526.75/67.33 c 527 2297 304096 10962 0 0 13 13 6 529.14/67.67 c 8669 29969 4006460 169342 0 0 7 15 13 529.14/67.68 c 8669 30075 4071052 169568 0 0 8 15 13 530.74/67.84 c 533 2289 300844 10686 0 0 13 13 6 530.74/67.90 c 532 2273 303425 10816 0 0 13 13 6 535.60/68.42 c 533 2375 313438 11100 0 0 13 13 6 538.72/68.89 c 528 2310 305655 10985 0 0 13 13 6 541.12/69.12 c 533 2286 304960 10837 0 0 13 13 6 541.12/69.14 c 534 2302 302607 10715 0 0 13 13 6 542.72/69.41 c 8669 30205 4078139 171948 0 0 8 15 13 543.58/69.46 c 8669 29808 4057631 169682 0 0 4 15 13 545.11/69.64 c 534 2388 314997 11123 0 0 13 13 6 550.70/70.35 c 534 2299 306603 10867 0 0 13 13 6 550.70/70.39 c 529 2323 307210 11008 0 0 13 13 6 552.36/70.51 c 535 2315 304253 10736 0 0 13 13 6 554.69/70.84 c 535 2401 316552 11146 0 0 13 13 6 560.35/71.57 c 535 2312 308138 10888 0 0 13 13 6 562.67/71.81 c 536 2328 306016 10765 0 0 13 13 6 563.47/71.92 c 530 2336 308769 11031 0 0 13 13 6 564.27/72.07 c 536 2414 318111 11169 0 0 13 13 6 569.86/72.79 c 536 2325 309781 10918 0 0 13 13 6 569.86/72.80 c 9627 33283 4463276 188239 0 0 7 15 13 570.73/72.87 c 9627 33368 4512295 188292 0 0 7 15 13 573.06/73.17 c 537 2341 307662 10786 0 0 13 13 6 573.86/73.26 c 537 2427 319666 11192 0 0 13 13 6 574.66/73.39 c 531 2349 310324 11054 0 0 13 13 6 580.24/74.01 c 537 2338 311316 10939 0 0 13 13 6 583.50/74.47 c 538 2354 309425 10815 0 0 13 13 6 583.50/74.50 c 538 2440 321225 11215 0 0 13 13 6 587.42/74.90 c 9627 33068 4500303 188159 0 0 7 15 13 587.42/74.95 c 532 2362 311883 11077 0 0 13 13 6 588.22/75.09 c 9627 33537 4525448 191051 0 0 7 15 13 589.82/75.22 c 538 2351 312959 10969 0 0 13 13 6 593.01/75.68 c 539 2453 322780 11238 0 0 13 13 6 594.60/75.82 c 539 2367 311071 10836 0 0 13 13 6 599.46/76.46 c 539 2364 314494 10990 0 0 13 13 6 599.46/76.47 c 533 2375 313438 11100 0 0 13 13 6 603.39/76.92 c 540 2466 324339 11261 0 0 13 13 6 604.99/77.13 c 540 2380 312834 10865 0 0 13 13 6 608.98/77.67 c 540 2377 316137 11020 0 0 13 13 6 612.17/78.01 c 534 2388 314997 11123 0 0 13 13 6 612.97/78.10 c 541 2479 325894 11284 0 0 13 13 6 615.44/78.48 c 541 2393 314480 10886 0 0 13 13 6 617.76/78.71 c 10680 37006 4968440 209248 0 0 9 15 13 618.56/78.88 c 541 2390 317672 11041 0 0 13 13 6 621.76/79.27 c 10680 37003 5004415 208880 0 0 4 15 13 622.56/79.33 c 542 2492 327453 11307 0 0 13 13 6 624.22/79.51 c 535 2401 316552 11146 0 0 13 13 6 625.74/79.78 c 542 2406 316243 10915 0 0 13 13 6 628.94/80.11 c 542 2403 319315 11071 0 0 13 13 6 631.40/80.50 c 543 2505 329008 11330 0 0 13 13 6 635.32/80.95 c 10680 37060 4998591 211284 0 0 6 15 13 636.12/81.06 c 536 2414 318111 11169 0 0 13 13 6 636.92/81.15 c 543 2419 317889 10936 0 0 13 13 6 637.72/81.27 c 10680 36788 5009499 209058 0 0 9 15 13 638.52/81.32 c 543 2416 320850 11092 0 0 13 13 6 648.17/82.56 c 537 2427 319666 11192 0 0 13 13 6 660.08/84.06 c 538 2440 321225 11215 0 0 13 13 6 660.88/84.15 c 1024 4237 567469 21073 0 0 6 15 13 661.68/84.22 c 1024 4056 542316 20234 0 0 8 15 13 664.86/84.61 c 11838 41067 5522307 232196 0 0 7 15 13 664.86/84.63 c 1024 4149 557821 20906 0 0 7 15 13 671.31/85.44 c 1025 4251 569213 21107 0 0 14 14 7 672.11/85.55 c 539 2453 322780 11238 0 0 13 13 6 672.84/85.61 c 1025 4070 543983 20268 0 0 14 14 7 674.44/85.83 c 11838 40941 5534936 231567 0 0 9 15 13 675.24/85.91 c 1025 4162 559453 20934 0 0 13 13 6 680.83/86.68 c 1026 4265 570954 21141 0 0 14 14 7 684.02/87.10 c 540 2466 324339 11261 0 0 13 13 6 684.82/87.11 c 1026 4084 545650 20302 0 0 14 14 7 685.64/87.21 c 1026 4175 561085 20962 0 0 13 13 6 686.42/87.30 c 11838 40800 5560480 231758 0 0 9 15 13 687.29/87.42 c 11838 41173 5552888 234628 0 0 5 15 13 691.22/87.90 c 1027 4279 572698 21175 0 0 14 14 7 696.07/88.59 c 1027 4188 562717 20990 0 0 13 13 6 696.82/88.65 c 1027 4098 547317 20336 0 0 14 14 7 696.82/88.65 c 541 2479 325894 11284 0 0 13 13 6 699.99/89.08 c 1028 4293 574439 21209 0 0 14 14 7 706.37/89.85 c 1028 4201 564349 21018 0 0 13 13 6 707.17/89.99 c 1028 4112 548983 20370 0 0 14 14 7 709.57/90.25 c 542 2492 327453 11307 0 0 13 13 6 709.57/90.26 c 1029 4307 576183 21243 0 0 14 14 7 716.76/91.11 c 1029 4214 565981 21046 0 0 13 13 6 718.36/91.33 c 13111 45522 6121719 257254 0 0 6 15 13 719.22/91.44 c 1030 4321 577924 21277 0 0 14 14 7 719.22/91.49 c 1029 4126 550650 20404 0 0 14 14 7 721.55/91.79 c 543 2505 329008 11330 0 0 13 13 6 726.35/92.38 c 1030 4227 567613 21074 0 0 13 13 6 728.74/92.61 c 1031 4335 579668 21311 0 0 14 14 7 731.14/92.98 c 1030 4140 552317 20438 0 0 14 14 7 736.00/93.57 c 13111 45469 6145218 257104 0 0 6 15 13 736.72/93.66 c 1031 4240 569245 21102 0 0 13 13 6 737.52/93.79 c 1032 4349 581409 21345 0 0 14 14 7 743.18/94.44 c 1031 4154 553984 20472 0 0 14 14 7 743.98/94.56 c 13111 45179 6158788 256624 0 0 7 15 13 747.11/94.90 c 13111 45587 6143544 259717 0 0 7 15 13 747.11/94.92 c 1032 4253 570877 21130 0 0 13 13 6 747.11/94.97 c 1033 4363 583153 21379 0 0 14 14 7 754.27/95.80 c 1032 4168 555650 20506 0 0 14 14 7 756.66/96.16 c 1034 4377 584894 21413 0 0 14 14 7 757.46/96.21 c 1033 4266 572509 21158 0 0 13 13 6 759.12/96.43 c 1024 4237 567469 21073 0 0 6 15 13 765.45/97.27 c 1033 4182 557351 20540 0 0 14 14 7 766.25/97.32 c 1035 4391 586638 21447 0 0 14 14 7 767.11/97.45 c 1034 4279 574139 21186 0 0 13 13 6 771.83/98.05 c 1025 4251 569213 21107 0 0 14 14 7 772.63/98.11 c 14511 50331 6763507 284462 0 0 6 15 13 775.10/98.47 c 1036 4405 588388 21481 0 0 14 14 7 778.23/98.81 c 1035 4292 575771 21214 0 0 13 13 6 778.23/98.85 c 1034 4196 559045 20574 0 0 14 14 7 783.89/99.57 c 1037 4419 590132 21515 0 0 14 14 7 784.62/99.64 c 1026 4265 570954 21141 0 0 14 14 7 787.81/100.03 c 1036 4305 577401 21242 0 0 13 13 6 790.21/100.33 c 1035 4210 560746 20608 0 0 14 14 7 793.39/100.71 c 1038 4433 591882 21549 0 0 14 14 7 796.58/101.18 c 1027 4279 572698 21175 0 0 14 14 7 797.38/101.29 c 1037 4318 579033 21270 0 0 13 13 6 801.38/101.74 c 1039 4447 593626 21583 0 0 14 14 7 802.97/101.97 c 1036 4224 562439 20642 0 0 14 14 7 807.03/102.47 c 14511 50435 6824000 285150 0 0 3 15 13 807.83/102.53 c 1038 4331 580663 21298 0 0 13 13 6 808.56/102.67 c 1028 4293 574439 21209 0 0 14 14 7 810.16/102.86 c 1040 4461 595376 21617 0 0 14 14 7 817.33/103.78 c 14511 50443 6798556 287156 0 0 5 15 13 818.13/103.84 c 1039 4344 582295 21326 0 0 13 13 6 818.13/103.89 c 1037 4238 564140 20676 0 0 14 14 7 818.93/103.92 c 1041 4475 597120 21651 0 0 14 14 7 820.53/104.16 c 1029 4307 576183 21243 0 0 14 14 7 827.71/105.05 c 1042 4489 598870 21685 0 0 14 14 7 828.51/105.11 c 1040 4357 583925 21354 0 0 13 13 6 832.50/105.65 c 1030 4321 577924 21277 0 0 14 14 7 834.09/105.84 c 1038 4252 565834 20710 0 0 14 14 7 834.09/105.88 c 14511 50039 6828542 284534 0 0 8 15 13 836.49/106.10 c 1043 4503 600614 21719 0 0 14 14 7 836.49/106.11 c 16051 55742 7487756 314488 0 0 3 15 13 838.09/106.39 c 1041 4370 585557 21382 0 0 13 13 6 844.47/107.14 c 1031 4335 579668 21311 0 0 14 14 7 845.27/107.22 c 1044 4517 602364 21753 0 0 14 14 7 848.46/107.65 c 1042 4383 587187 21410 0 0 13 13 6 849.26/107.70 c 1039 4266 567535 20744 0 0 14 14 7 853.26/108.27 c 1045 4531 604108 21787 0 0 14 14 7 856.45/108.62 c 1032 4349 581409 21345 0 0 14 14 7 858.85/108.93 c 1043 4396 588819 21438 0 0 13 13 6 862.04/109.39 c 1046 4545 605858 21821 0 0 14 14 7 862.90/109.43 c 1040 4280 569228 20778 0 0 14 14 7 868.42/110.10 c 1033 4363 583153 21379 0 0 14 14 7 868.42/110.18 c 1044 4409 590449 21466 0 0 13 13 6 870.88/110.45 c 1047 4559 607602 21855 0 0 14 14 7 878.00/111.34 c 1041 4294 570929 20812 0 0 14 14 7 878.87/111.49 c 1045 4422 592081 21494 0 0 13 13 6 879.67/111.58 c 1048 4573 609352 21889 0 0 14 14 7 880.39/111.60 c 1034 4377 584894 21413 0 0 14 14 7 881.19/111.72 c 16051 55806 7552083 315835 0 0 7 15 13 888.38/112.63 c 1049 4587 611096 21923 0 0 14 14 7 888.38/112.66 c 16051 55738 7498944 317257 0 0 7 15 13 889.18/112.74 c 1046 4435 593711 21522 0 0 13 13 6 892.37/113.10 c 1035 4391 586638 21447 0 0 14 14 7 893.17/113.28 c 1042 4308 572623 20846 0 0 14 14 7 897.16/113.77 c 1050 4601 612846 21957 0 0 14 14 7 899.56/114.03 c 1047 4448 595343 21550 0 0 13 13 6 903.62/114.58 c 1036 4405 588388 21481 0 0 14 14 7 905.95/114.81 c 1051 4615 614590 21991 0 0 14 14 7 908.35/115.12 c 1043 4322 574324 20880 0 0 14 14 7 909.14/115.26 c 1048 4461 596973 21578 0 0 13 13 6 910.81/115.44 c 17745 61613 8283042 347770 0 0 4 15 13 914.73/115.93 c 1052 4629 616340 22025 0 0 14 14 7 914.73/115.99 c 1037 4419 590132 21515 0 0 14 14 7 920.31/116.68 c 1044 4336 576017 20914 0 0 14 14 7 921.11/116.72 c 1049 4474 598605 21606 0 0 13 13 6 922.71/116.96 c 1053 4643 618084 22059 0 0 14 14 7 926.77/117.43 c 1038 4433 591882 21549 0 0 14 14 7 932.29/118.10 c 1054 4657 619834 22093 0 0 14 14 7 932.29/118.17 c 1045 4350 577718 20948 0 0 14 14 7 934.75/118.44 c 1050 4487 600235 21634 0 0 13 13 6 936.28/118.62 c 16051 55354 7548899 314505 0 0 6 15 13 937.08/118.79 c 1039 4447 593626 21583 0 0 14 14 7 940.28/119.14 c 1055 4671 621578 22127 0 0 14 14 7 944.26/119.67 c 1046 4364 579412 20982 0 0 14 14 7 948.26/120.19 c 1051 4500 601867 21662 0 0 13 13 6 949.05/120.24 c 1040 4461 595376 21617 0 0 14 14 7 949.05/120.27 c 1056 4685 623328 22161 0 0 14 14 7 956.24/121.14 c 1047 4378 581098 21015 0 0 14 14 7 956.24/121.16 c 17745 61751 8353409 349576 0 0 8 15 13 957.85/121.32 c 1057 4699 625072 22195 0 0 14 14 7 959.51/121.59 c 1041 4475 597120 21651 0 0 14 14 7 962.63/121.92 c 1052 4513 603497 21690 0 0 13 13 6 966.70/122.44 c 1058 4713 626822 22229 0 0 14 14 7 967.49/122.54 c 1048 4392 582776 21046 0 0 14 14 7 969.02/122.77 c 17745 61454 8273532 350031 0 0 7 15 13 971.42/123.02 c 1042 4489 598870 21685 0 0 14 14 7 974.68/123.47 c 1059 4727 628566 22263 0 0 14 14 7 976.21/123.69 c 1053 4526 605129 21718 0 0 13 13 6 979.40/124.02 c 1049 4406 584584 21085 0 0 14 14 7 981.80/124.36 c 1043 4503 600614 21719 0 0 14 14 7 984.19/124.60 c 1060 4741 630316 22297 0 0 14 14 7 984.19/124.63 c 19608 68142 9172489 384860 0 0 7 15 13 990.64/125.41 c 1054 4539 606759 21746 0 0 13 13 6 991.44/125.57 c 1050 4420 586371 21119 0 0 14 14 7 992.17/125.66 c 1061 4755 632060 22331 0 0 14 14 7 993.77/125.82 c 1044 4517 602364 21753 0 0 14 14 7 1000.95/126.78 c 1062 4769 633810 22365 0 0 14 14 7 1003.35/127.04 c 1051 4434 588057 21152 0 0 14 14 7 1004.15/127.20 c 1045 4531 604108 21787 0 0 14 14 7 1004.94/127.21 c 1055 4552 608391 21774 0 0 13 13 6 1009.73/127.82 c 1063 4783 635554 22399 0 0 14 14 7 1014.59/128.42 c 1052 4448 589844 21186 0 0 14 14 7 1016.12/128.64 c 1046 4545 605858 21821 0 0 14 14 7 1018.52/128.93 c 1056 4565 610021 21802 0 0 13 13 6 1018.52/128.95 c 1064 4797 637304 22433 0 0 14 14 7 1024.90/129.79 c 1053 4462 591530 21219 0 0 14 14 7 1026.50/129.98 c 1047 4559 607602 21855 0 0 14 14 7 1026.50/129.99 c 1065 4811 639048 22467 0 0 14 14 7 1030.56/130.50 c 17745 61135 8330095 347147 0 0 6 15 13 1032.09/130.68 c 1057 4578 611653 21830 0 0 13 13 6 1033.68/130.89 c 19608 68219 9231896 386208 0 0 6 15 13 1035.28/131.09 c 1054 4476 593317 21253 0 0 14 14 7 1035.28/131.10 c 1066 4825 640798 22501 0 0 14 14 7 1038.54/131.42 c 1048 4573 609352 21889 0 0 14 14 7 1044.07/132.15 c 1067 4839 642542 22535 0 0 14 14 7 1046.53/132.42 c 1058 4591 613283 21858 0 0 13 13 6 1046.53/132.47 c 1055 4489 594951 21283 0 0 13 13 6 1049.65/132.81 c 1049 4587 611096 21923 0 0 14 14 7 1052.85/133.26 c 1068 4853 644292 22569 0 0 14 14 7 1054.51/133.47 c 19608 67877 9127594 386530 0 0 8 15 13 1056.84/133.78 c 1056 4503 596738 21317 0 0 14 14 7 1060.84/134.21 c 1059 4604 614915 21886 0 0 13 13 6 1060.84/134.28 c 1050 4601 612846 21957 0 0 14 14 7 1061.64/134.30 c 1069 4867 646036 22603 0 0 14 14 7 1068.02/135.17 c 1057 4516 598372 21347 0 0 13 13 6 1070.48/135.42 c 1070 4881 647786 22637 0 0 14 14 7 1071.28/135.53 c 21657 75198 10125806 425001 0 0 5 16 13 1072.01/135.66 c 1051 4615 614590 21991 0 0 14 14 7 1074.41/135.95 c 1060 4617 616515 21909 0 0 13 13 6 1078.47/136.47 c 1071 4895 649530 22671 0 0 14 14 7 1079.27/136.52 c 1058 4529 600169 21379 0 0 13 13 6 1083.99/137.10 c 1052 4629 616340 22025 0 0 14 14 7 1087.25/137.58 c 1072 4909 651280 22705 0 0 14 14 7 1088.77/137.73 c 1061 4630 618147 21937 0 0 13 13 6 1089.57/137.87 c 1059 4543 601985 21422 0 0 14 14 7 1094.43/138.46 c 1053 4643 618084 22059 0 0 14 14 7 1095.96/138.60 c 1073 4923 653024 22739 0 0 14 14 7 1100.75/139.21 c 1060 4556 603720 21453 0 0 13 13 6 1102.41/139.45 c 1062 4643 619747 21960 0 0 13 13 6 1104.74/139.71 c 1074 4937 654774 22773 0 0 14 14 7 1106.34/139.90 c 1054 4657 619834 22093 0 0 14 14 7 1110.40/140.50 c 1061 4569 605354 21483 0 0 13 13 6 1112.72/140.73 c 1075 4951 656518 22807 0 0 14 14 7 1116.72/141.20 c 1063 4656 621379 21988 0 0 13 13 6 1116.72/141.26 c 1055 4671 621578 22127 0 0 14 14 7 1121.51/141.84 c 1062 4582 607151 21515 0 0 13 13 6 1121.51/141.85 c 1076 4965 658268 22841 0 0 14 14 7 1127.90/142.69 c 1056 4685 623328 22161 0 0 14 14 7 1129.49/142.86 c 21657 75360 10214035 427020 0 0 4 15 13 1130.29/142.91 c 1077 4979 660012 22875 0 0 14 14 7 1130.29/142.92 c 1064 4669 622979 22011 0 0 13 13 6 1131.89/143.18 c 1063 4596 608967 21558 0 0 14 14 7 1139.08/144.03 c 1078 4993 661762 22909 0 0 14 14 7 1139.08/144.09 c 1057 4699 625072 22195 0 0 14 14 7 1143.14/144.52 c 1064 4609 610702 21589 0 0 13 13 6 1143.87/144.69 c 1065 4682 624611 22039 0 0 13 13 6 1143.87/144.69 c 19608 67521 9215061 383737 0 0 5 15 13 1147.06/145.07 c 1079 5007 663506 22943 0 0 14 14 7 1148.66/145.20 c 21657 74972 10087647 426926 0 0 6 15 13 1151.12/145.54 c 1058 4713 626822 22229 0 0 14 14 7 1153.45/145.81 c 1065 4622 612336 21619 0 0 13 13 6 1156.65/146.20 c 1080 5021 665256 22977 0 0 14 14 7 1158.31/146.42 c 1066 4695 626211 22062 0 0 13 13 6 1160.64/146.72 c 23910 82939 11169874 468648 0 0 8 15 13 1162.23/146.91 c 1059 4727 628566 22263 0 0 14 14 7 1163.83/147.14 c 1066 4635 614133 21651 0 0 13 13 6 1164.63/147.27 c 1081 5035 667000 23011 0 0 14 14 7 1172.61/148.23 c 1067 4708 627843 22090 0 0 13 13 6 1173.41/148.37 c 1060 4741 630316 22297 0 0 14 14 7 1173.41/148.40 c 1082 5049 668750 23045 0 0 14 14 7 1174.27/148.49 c 1067 4649 615949 21694 0 0 14 14 7 1182.24/149.45 c 1083 5063 670494 23079 0 0 14 14 7 1184.56/149.74 c 1061 4755 632060 22331 0 0 14 14 7 1185.36/149.81 c 1068 4662 617684 21725 0 0 13 13 6 1186.16/149.96 c 1068 4721 629443 22113 0 0 13 13 6 1191.02/150.57 c 1084 5077 672244 23113 0 0 14 14 7 1194.94/151.08 c 1069 4675 619318 21755 0 0 13 13 6 1195.74/151.19 c 1062 4769 633810 22365 0 0 14 14 7 1199.73/151.62 c 1085 5091 673988 23147 0 0 14 14 7 1200.53/151.73 c 1069 4734 631075 22141 0 0 13 13 6 1205.33/152.40 c 1070 4688 621115 21787 0 0 13 13 6 1206.99/152.56 c 1063 4783 635554 22399 0 0 14 14 7 1208.52/152.75 c 1086 5105 675738 23181 0 0 14 14 7 1214.17/153.47 c 1070 4747 632675 22164 0 0 13 13 6 1216.50/153.73 c 1071 4702 622931 21830 0 0 14 14 7 1217.30/153.80 c 1087 5119 677482 23215 0 0 14 14 7 1218.90/154.00 c 1064 4797 637304 22433 0 0 14 14 7 1226.88/155.04 c 1072 4715 624666 21861 0 0 13 13 6 1228.48/155.24 c 1071 4760 634307 22192 0 0 13 13 6 1229.28/155.37 c 1065 4811 639048 22467 0 0 14 14 7 1231.67/155.65 c 23910 83169 11249628 471367 0 0 4 15 13 1237.27/156.30 c 1073 4728 626300 21891 0 0 13 13 6 1241.26/156.83 c 1066 4825 640798 22501 0 0 14 14 7 1242.06/156.98 c 1072 4773 635907 22215 0 0 13 13 6 1247.64/157.61 c 1074 4741 628097 21923 0 0 13 13 6 1251.64/158.14 c 1067 4839 642542 22535 0 0 14 14 7 1256.42/158.71 c 23910 82741 11136261 470947 0 0 6 15 13 1256.42/158.71 c 1073 4786 637539 22243 0 0 13 13 6 1257.22/158.89 c 1075 4755 629792 21956 0 0 14 14 7 1261.22/159.38 c 2048 8426 1127184 41826 0 0 7 15 13 1262.88/159.53 c 21657 74549 10172828 424118 0 0 7 15 13 1262.88/159.55 c 26388 91528 12348698 517520 0 0 5 15 13 1262.88/159.58 c 1068 4853 644292 22569 0 0 14 14 7 1268.40/160.22 c 1076 4768 631589 21988 0 0 13 13 6 1270.06/160.46 c 1074 4799 639139 22266 0 0 13 13 6 1270.86/160.57 c 2049 8440 1128844 41851 0 0 14 14 7 1273.98/160.95 c 1069 4867 646036 22603 0 0 14 14 7 1279.57/161.62 c 1077 4782 633284 22021 0 0 14 14 7 1279.57/161.69 c 2050 8454 1130588 41885 0 0 14 14 7 1284.36/162.22 c 1075 4812 640771 22294 0 0 13 13 6 1285.16/162.40 c 1070 4881 647786 22637 0 0 14 14 7 1289.95/162.91 c 2051 8468 1132338 41919 0 0 14 14 7 1289.95/162.93 c 1078 4796 635035 22058 0 0 14 14 7 1296.34/163.78 c 1071 4895 649530 22671 0 0 14 14 7 1297.93/163.95 c 1076 4825 642371 22317 0 0 13 13 6 1297.93/163.99 c 2052 8482 1134082 41953 0 0 14 14 7 1300.33/164.27 c 1079 4810 636729 22091 0 0 14 14 7 1307.52/165.17 c 2053 8496 1135742 41978 0 0 14 14 7 1308.32/165.22 c 1072 4909 651280 22705 0 0 14 14 7 1311.51/165.61 c 1080 4824 638429 22131 0 0 14 14 7 1312.31/165.71 c 1077 4838 644003 22345 0 0 13 13 6 1316.30/166.24 c 2054 8510 1137486 42012 0 0 14 14 7 1318.76/166.57 c 1073 4923 653024 22739 0 0 14 14 7 1322.69/167.07 c 1081 4838 640120 22164 0 0 14 14 7 1325.09/167.41 c 1078 4851 645603 22368 0 0 13 13 6 1325.95/167.44 c 2055 8524 1139146 42037 0 0 14 14 7 1330.68/168.01 c 26388 91873 12422851 520579 0 0 7 15 13 1330.68/168.02 c 1074 4937 654774 22773 0 0 14 14 7 1334.74/168.53 c 2056 8538 1140890 42071 0 0 14 14 7 1334.74/168.56 c 1082 4852 641778 22195 0 0 14 14 7 1339.46/169.19 c 1079 4864 647235 22396 0 0 13 13 6 1341.06/169.40 c 1075 4951 656518 22807 0 0 14 14 7 1344.23/169.71 c 2057 8552 1142550 42096 0 0 14 14 7 1347.43/170.17 c 1083 4866 643473 22228 0 0 14 14 7 1349.89/170.46 c 1080 4877 648835 22419 0 0 13 13 6 1353.02/170.80 c 2058 8566 1144294 42130 0 0 14 14 7 1353.02/170.85 c 1076 4965 658268 22841 0 0 14 14 7 1360.20/171.76 c 1081 4890 650467 22447 0 0 13 13 6 1361.00/171.83 c 1084 4880 645224 22265 0 0 14 14 7 1361.80/171.99 c 2059 8580 1145954 42155 0 0 14 14 7 1362.60/172.06 c 26388 91181 12272181 519002 0 0 5 15 13 1364.20/172.22 c 1077 4979 660012 22875 0 0 14 14 7 1370.59/173.03 c 1082 4903 652067 22470 0 0 13 13 6 1371.39/173.10 c 2060 8594 1147698 42189 0 0 14 14 7 1374.65/173.51 c 1085 4894 646915 22298 0 0 14 14 7 1375.37/173.69 c 1078 4993 661762 22909 0 0 14 14 7 1376.97/173.87 c 29113 100888 13624920 570585 0 0 7 15 13 1380.17/174.29 c 2061 8608 1149358 42214 0 0 14 14 7 1380.97/174.32 c 1083 4916 653699 22498 0 0 13 13 6 1386.56/175.08 c 1079 5007 663506 22943 0 0 14 14 7 1387.36/175.19 c 1086 4908 648593 22329 0 0 14 14 7 1388.96/175.39 c 2062 8622 1151102 42248 0 0 14 14 7 1390.62/175.55 c 23910 82392 11241266 468485 0 0 7 15 13 1390.62/175.60 c 1084 4929 655299 22521 0 0 13 13 6 1398.60/176.53 c 1080 5021 665256 22977 0 0 14 14 7 1398.60/176.59 c 2063 8636 1152762 42273 0 0 14 14 7 1401.73/176.91 c 1085 4942 656931 22549 0 0 13 13 6 1402.53/177.04 c 1087 4922 650251 22360 0 0 14 14 7 1407.32/177.67 c 2064 8650 1154506 42307 0 0 14 14 7 1408.91/177.90 c 1081 5035 667000 23011 0 0 14 14 7 1411.31/178.15 c 1086 4955 658531 22572 0 0 13 13 6 1416.90/178.84 c 2065 8664 1156166 42332 0 0 14 14 7 1420.90/179.32 c 1082 5049 668750 23045 0 0 14 14 7 1421.76/179.43 c 1087 4968 660163 22600 0 0 13 13 6 1425.67/179.91 c 2066 8678 1157910 42366 0 0 14 14 7 1431.26/180.66 c 1083 5063 670494 23079 0 0 14 14 7 1434.46/181.09 c 2067 8692 1159570 42391 0 0 14 14 7 1442.45/182.09 c 1084 5077 672244 23113 0 0 14 14 7 1443.25/182.18 c 2068 8706 1161314 42425 0 0 14 14 7 1446.51/182.54 c 29113 101191 13688577 574039 0 0 6 15 13 1452.83/183.36 c 2069 8720 1162974 42450 0 0 14 14 7 1453.70/183.46 c 1085 5091 673988 23147 0 0 14 14 7 1456.02/183.75 c 2048 8281 1120517 41756 0 0 7 15 13 1461.68/184.44 c 2070 8734 1164718 42484 0 0 14 14 7 1465.61/184.90 c 1086 5105 675738 23181 0 0 14 14 7 1465.61/184.97 c 2048 8284 1110159 41591 0 0 5 15 13 1469.66/185.44 c 2049 8295 1122182 41787 0 0 14 14 7 1471.19/185.62 c 2071 8748 1166378 42509 0 0 14 14 7 1475.99/186.26 c 1087 5119 677482 23215 0 0 14 14 7 1476.79/186.34 c 2049 8297 1111863 41623 0 0 13 13 6 1479.17/186.62 c 29113 100707 13562576 572970 0 0 6 15 13 1479.97/186.73 c 2072 8762 1168122 42543 0 0 14 14 7 1484.77/187.34 c 2050 8309 1123883 41827 0 0 14 14 7 1486.43/187.56 c 30000 104283 14108237 591567 0 0 5 15 13 1487.16/187.68 c 2050 8310 1113564 41655 0 0 13 13 6 1489.56/187.96 c 2073 8776 1169782 42568 0 0 14 14 7 1491.15/188.16 c 30000 104284 14108355 591569 1 0 0 0 0 1495.14/188.64 c 32110 111350 15030365 628786 1 0 6 15 13 1497.54/188.91 c 2051 8323 1115386 41688 1 0 13 13 6 1498.34/189.08 c 2074 8790 1171597 42608 1 0 14 14 7 1499.14/189.19 c 2051 8323 1125548 41858 0 0 14 14 7 1500.74/189.39 c 26000 89551 12221627 509299 0 0 6 15 13 1503.12/189.61 c 2052 8336 1117087 41720 1 0 13 13 6 1503.93/189.72 c 2075 8804 1173291 42647 1 0 14 14 7 1507.91/190.23 c 2053 8349 1118791 41752 1 0 13 13 6 1508.71/190.39 c 2076 8818 1174988 42686 1 0 14 14 7 1511.90/190.78 c 2052 8337 1127367 41899 1 0 14 14 7 1513.50/190.92 c 2054 8362 1120492 41784 1 0 13 13 6 1514.30/191.02 c 2077 8832 1176682 42725 1 0 14 14 7 1518.36/191.53 c 2055 8375 1122196 41816 1 0 13 13 6 1519.09/191.63 c 2078 8846 1178379 42764 1 0 14 14 7 1519.09/191.65 c 2053 8351 1129032 41930 1 0 14 14 7 1522.28/192.02 c 30000 103778 13968394 590401 0 0 7 15 13 1523.08/192.18 c 2056 8388 1123897 41848 1 0 13 13 6 1523.88/192.24 c 2079 8860 1180073 42803 1 0 14 14 7 1525.55/192.48 c 2054 8365 1130733 41970 1 0 14 14 7 1526.34/192.51 c 2000 8269 1105428 40929 0 0 7 15 13 1527.07/192.64 c 26388 90891 12405120 516926 1 0 8 15 13 1527.07/192.64 c 30000 103779 13968512 590403 1 0 0 0 0 1527.87/192.79 c 2057 8401 1125601 41880 1 0 13 13 6 1528.69/192.85 c 2080 8874 1181770 42842 1 0 14 14 7 1531.07/193.12 c 33000 114433 15450355 646566 1 0 7 15 13 1531.87/193.23 c 31000 107794 14575957 611520 1 0 7 15 13 1531.87/193.27 c 2055 8379 1132398 42001 1 0 14 14 7 1533.53/193.46 c 2058 8414 1127300 41912 1 0 13 13 6 1533.53/193.48 c 2081 8888 1183464 42881 1 0 14 14 7 1538.24/194.08 c 2082 8902 1185161 42920 1 0 14 14 7 1539.04/194.10 c 2048 8451 1130660 41964 1 0 8 14 12 1539.04/194.14 c 2056 8393 1134099 42041 1 0 14 14 7 1539.04/194.15 c 2059 8427 1129004 41944 1 0 13 13 6 1543.03/194.68 c 2083 8916 1186855 42959 1 0 14 14 7 1543.83/194.79 c 2060 8440 1130703 41976 1 0 13 13 6 1544.68/194.89 c 2049 8465 1132357 42003 1 0 14 14 7 1545.43/194.98 c 2057 8407 1135764 42072 1 0 14 14 7 1547.83/195.28 c 2084 8930 1188552 42998 1 0 14 14 7 1549.49/195.44 c 2061 8453 1132407 42008 1 0 13 13 6 1551.01/195.67 c 2050 8479 1134051 42042 1 0 14 14 7 1551.81/195.78 c 2058 8421 1137422 42103 1 0 14 14 7 1552.61/195.89 c 2085 8944 1190246 43037 1 0 14 14 7 1554.21/196.08 c 2062 8466 1134106 42040 1 0 13 13 6 1557.47/196.45 c 2051 8493 1135748 42081 1 0 14 14 7 1557.47/196.49 c 2086 8958 1191938 43075 1 0 14 14 7 1559.00/196.61 c 2059 8435 1139087 42134 1 0 14 14 7 1559.80/196.72 c 2063 8479 1135810 42072 1 0 13 13 6 1562.20/197.09 c 2087 8972 1193627 43113 1 0 14 14 7 1563.80/197.22 c 2052 8507 1137442 42120 1 0 14 14 7 1564.60/197.35 c 2064 8492 1137509 42104 1 0 13 13 6 1565.46/197.42 c 2060 8449 1140745 42165 1 0 14 14 7 1566.98/197.68 c 2088 8986 1195319 43151 1 0 14 14 7 1569.38/197.98 c 2065 8505 1139213 42136 1 0 13 13 6 1569.38/197.99 c 2053 8521 1139139 42159 1 0 14 14 7 1571.78/198.23 c 2061 8463 1142410 42196 1 0 14 14 7 1571.78/198.26 c 2089 9000 1197008 43189 1 0 14 14 7 1573.44/198.44 c 32110 111656 15104821 633207 1 0 6 15 13 1574.97/198.62 c 2066 8518 1140912 42168 1 0 13 13 6 1575.77/198.76 c 2054 8535 1140833 42198 1 0 14 14 7 1576.57/198.86 c 2090 9014 1198700 43227 1 0 14 14 7 1578.17/199.06 c 2062 8477 1144068 42227 1 0 14 14 7 1579.77/199.25 c 2067 8531 1142616 42200 1 0 13 13 6 1581.43/199.44 c 2091 9028 1200389 43265 1 0 14 14 7 1582.22/199.55 c 2055 8549 1142530 42237 1 0 14 14 7 1583.04/199.78 c [pFactory][Group N°0] concurent mode: thread 6 has won with the task 1. 1583.04/199.78 c [pFactory][Group N°0] Thread N°0 is joined. 1583.04/199.78 c [pFactory][Group N°0] Thread N°1 is joined. 1583.04/199.78 c [pFactory][Group N°0] Thread N°2 is joined. 1583.04/199.78 c [pFactory][Group N°0] Thread N°3 is joined. 1583.04/199.78 c [pFactory][Group N°0] Thread N°4 is joined. 1583.04/199.78 c [pFactory][Group N°0] Thread N°5 is joined. 1583.04/199.78 c [pFactory][Group N°0] Thread N°6 is joined. 1583.04/199.78 c [pFactory][Group N°0] Thread N°7 is joined. 1583.04/199.78 c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°6) 1583.04/199.78 s UNSATISFIABLE 1583.04/199.78 c restarts : 170 1583.04/199.78 c conflicts : 2091 (1 /sec) 1583.04/199.78 c decisions : 9029 (6 /sec) 1583.04/199.78 c propagations : 43267 (27 /sec) 1583.04/199.78 c root propagations : 0 1583.04/199.78 c filter calls : 1200503 (759 /sec) 1583.04/199.78 c useless filter calls : 1181376 (98 %) 1583.04/199.78 c Memory used : 1090.59 MB 1583.04/199.78 c CPU time : 1580.9 s 1583.04/199.78 c real time : 199.778 s 1583.04/199.78
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 (14085 MiB free)
memory of node 1: 16384 MiB (15477 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409323-1569823989/watcher-4409323-1569823989 -o /tmp/evaluation-result-4409323-1569823989/solver-4409323-1569823989 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1569818085-14128 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409323-1569823989.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=15159, runsolver pid=15156
Current StackSize limit: 8192 KiB
[startup+0.100149 s]*
/proc/loadavg: 1.08 1.03 1.45 2/193 15160
/proc/meminfo: memFree=30271244/32770624 swapFree=66936012/67108860
[pid=15159] ppid=15156 vsize=28020 memory=4216 CPUtime=0.1 cores=0-7
/proc/15159/stat : 15159 (cosoco) R 15156 15159 14101 0 -1 4202496 1256 0 0 0 10 0 0 0 20 0 1 0 558312716 28692480 1054 33554432000 4194304 6211132 140725753936832 140725753933368 5490037 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
/proc/15159/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.209405 s]*
/proc/loadavg: 1.08 1.03 1.45 2/193 15160
/proc/meminfo: memFree=30270500/32770624 swapFree=66936012/67108860
[pid=15159] ppid=15156 vsize=28872 memory=5024 CPUtime=0.21 cores=0-7
/proc/15159/stat : 15159 (cosoco) R 15156 15159 14101 0 -1 4202496 1495 0 0 0 21 0 0 0 20 0 1 0 558312716 29564928 1256 33554432000 4194304 6211132 140725753936832 140725753933368 5743398 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
/proc/15159/statm: 7218 1256 806 493 0 523 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28872 KiB
Current children cumulated memory: 5024 KiB
[startup+0.309052 s]*
/proc/loadavg: 1.08 1.03 1.45 2/193 15160
/proc/meminfo: memFree=30269460/32770624 swapFree=66936012/67108860
[pid=15159] ppid=15156 vsize=29784 memory=5592 CPUtime=0.31 cores=0-7
/proc/15159/stat : 15159 (cosoco) R 15156 15159 14101 0 -1 4202496 1765 0 0 0 31 0 0 0 20 0 1 0 558312716 30498816 1398 33554432000 4194304 6211132 140725753936832 140725753933368 5818389 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
/proc/15159/statm: 7446 1398 806 493 0 751 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29784 KiB
Current children cumulated memory: 5592 KiB
[startup+0.700276 s]
/proc/loadavg: 1.08 1.03 1.45 2/193 15160
/proc/meminfo: memFree=30267600/32770624 swapFree=66936012/67108860
[pid=15159] ppid=15156 vsize=32532 memory=8312 CPUtime=0.69 cores=0-7
/proc/15159/stat : 15159 (cosoco) R 15156 15159 14101 0 -1 4202496 2626 0 0 0 69 0 0 0 20 0 1 0 558312716 33312768 2078 33554432000 4194304 6211132 140725753936832 140725753933368 5743409 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
/proc/15159/statm: 8133 2078 806 493 0 1438 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32532 KiB
Current children cumulated memory: 8312 KiB
[startup+6.24622 s]
/proc/loadavg: 1.08 1.03 1.45 2/193 15160
/proc/meminfo: memFree=30267600/32770624 swapFree=66936012/67108860
[pid=15159] ppid=15156 vsize=1149544 memory=533404 CPUtime=39.86 cores=0-7
/proc/15159/stat : 15159 (cosoco) S 15156 15159 14101 0 -1 1077944320 535118 0 0 0 3871 115 0 0 20 0 9 0 558312716 1177133056 133351 33554432000 4194304 6211132 140725753936832 140725753935088 140078315462391 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
/proc/15159/statm: 287386 133351 828 493 0 280691 0
Current children cumulated CPU time: 39.86 s
Current children cumulated vsize: 1149544 KiB
Current children cumulated memory: 533404 KiB
[startup+6.30122 s]
/proc/loadavg: 1.08 1.03 1.45 2/193 15160
/proc/meminfo: memFree=30267600/32770624 swapFree=66936012/67108860
[pid=15159] ppid=15156 vsize=1149544 memory=533404 CPUtime=40.3 cores=0-7
/proc/15159/stat : 15159 (cosoco) S 15156 15159 14101 0 -1 1077944320 539007 0 0 0 3915 115 0 0 20 0 9 0 558312716 1177133056 133351 33554432000 4194304 6211132 140725753936832 140725753935088 140078315462391 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
/proc/15159/statm: 287386 133351 828 493 0 280691 0
Current children cumulated CPU time: 40.3 s
Current children cumulated vsize: 1149544 KiB
Current children cumulated memory: 533404 KiB
[startup+6.40122 s]*
/proc/loadavg: 2.20 1.26 1.52 9/201 15168
/proc/meminfo: memFree=29731340/32770624 swapFree=66936012/67108860
[pid=15159] ppid=15156 vsize=1149544 memory=533404 CPUtime=41.17 cores=0-7
/proc/15159/stat : 15159 (cosoco) S 15156 15159 14101 0 -1 1077944320 546393 0 0 0 4001 116 0 0 20 0 9 0 558312716 1177133056 133351 33554432000 4194304 6211132 140725753936832 140725753935088 140078315462391 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
/proc/15159/statm: 287386 133351 828 493 0 280691 0
[pid=15159/tid=15161] ppid=15156 vsize=1149544 memory=6935054825532540783 CPUtime=4.97 cores=0-7
/proc/15159/task/15161/stat : 15161 (cosoco) R 15156 15159 14101 0 -1 4202560 42156 0 0 0 481 16 0 0 20 0 9 0 558312858 1177133056 133351 33554432000 4194304 6211132 140725753936832 140078281538656 5037823 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15162] ppid=15156 vsize=1149544 memory=0 CPUtime=4.93 cores=0-7
/proc/15159/task/15162/stat : 15162 (cosoco) R 15156 15159 14101 0 -1 4202560 50278 0 0 0 481 12 0 0 20 0 9 0 558312858 1177133056 133351 33554432000 4194304 6211132 140725753936832 140078273145952 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15163] ppid=15156 vsize=1149544 memory=0 CPUtime=4.97 cores=0-7
/proc/15159/task/15163/stat : 15163 (cosoco) R 15156 15159 14101 0 -1 4202560 44299 0 0 0 480 17 0 0 20 0 9 0 558312858 1177133056 133351 33554432000 4194304 6211132 140725753936832 140078264753248 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15164] ppid=15156 vsize=1149544 memory=0 CPUtime=4.96 cores=0-7
/proc/15159/task/15164/stat : 15164 (cosoco) R 15156 15159 14101 0 -1 4202560 60891 0 0 0 490 6 0 0 20 0 9 0 558312858 1177133056 133351 33554432000 4194304 6211132 140725753936832 140078256360544 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15165] ppid=15156 vsize=1149544 memory=0 CPUtime=4.98 cores=0-7
/proc/15159/task/15165/stat : 15165 (cosoco) R 15156 15159 14101 0 -1 4202560 45415 0 0 0 481 17 0 0 20 0 9 0 558312858 1177133056 133351 33554432000 4194304 6211132 140725753936832 140078247967840 5039022 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15166] ppid=15156 vsize=1149544 memory=-7457052372387209120 CPUtime=4.96 cores=0-7
/proc/15159/task/15166/stat : 15166 (cosoco) R 15156 15159 14101 0 -1 4202560 57958 0 0 0 489 7 0 0 20 0 9 0 558312858 1177133056 133351 33554432000 4194304 6211132 140725753936832 140078239575136 5038944 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15167] ppid=15156 vsize=1149544 memory=4210416266603221769 CPUtime=4.97 cores=0-7
/proc/15159/task/15167/stat : 15167 (cosoco) R 15156 15159 14101 0 -1 4202560 56990 0 0 0 479 18 0 0 20 0 9 0 558312858 1177133056 133351 33554432000 4194304 6211132 140725753936832 140078231182432 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15168] ppid=15156 vsize=1149544 memory=-8672958532971446211 CPUtime=4.95 cores=0-7
/proc/15159/task/15168/stat : 15168 (cosoco) R 15156 15159 14101 0 -1 4202560 54056 0 0 0 492 3 0 0 20 0 9 0 558312858 1177133056 133351 33554432000 4194304 6211132 140725753936832 140078222789728 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
Current children cumulated CPU time: 41.17 s
Current children cumulated vsize: 1149544 KiB
Current children cumulated memory: 533404 KiB
[startup+12.7012 s]
/proc/loadavg: 2.82 1.41 1.57 9/200 15171
/proc/meminfo: memFree=30862488/32770624 swapFree=66936012/67108860
[pid=15159] ppid=15156 vsize=1149544 memory=533412 CPUtime=91.09 cores=0-7
/proc/15159/stat : 15159 (cosoco) S 15156 15159 14101 0 -1 1077944320 817123 0 0 0 8964 145 0 0 20 0 9 0 558312716 1177133056 133353 33554432000 4194304 6211132 140725753936832 140725753935088 140078315462391 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
/proc/15159/statm: 287386 133353 828 493 0 280691 0
[pid=15159/tid=15161] ppid=15156 vsize=1149544 memory=533412 CPUtime=11.22 cores=0-7
/proc/15159/task/15161/stat : 15161 (cosoco) R 15156 15159 14101 0 -1 4202560 74950 0 0 0 1104 18 0 0 20 0 9 0 558312858 1177133056 133353 33554432000 4194304 6211132 140725753936832 140078281538656 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15162] ppid=15156 vsize=1149544 memory=533404 CPUtime=11.22 cores=0-7
/proc/15159/task/15162/stat : 15162 (cosoco) R 15156 15159 14101 0 -1 4202560 83241 0 0 0 1106 16 0 0 20 0 9 0 558312858 1177133056 133353 33554432000 4194304 6211132 140725753936832 140078273145952 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15163] ppid=15156 vsize=1149544 memory=4420 CPUtime=11.26 cores=0-7
/proc/15159/task/15163/stat : 15163 (cosoco) R 15156 15159 14101 0 -1 4202560 77037 0 0 0 1106 20 0 0 20 0 9 0 558312858 1177133056 133353 33554432000 4194304 6211132 140725753936832 140078264753248 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15164] ppid=15156 vsize=1149544 memory=0 CPUtime=11.13 cores=0-7
/proc/15159/task/15164/stat : 15164 (cosoco) R 15156 15159 14101 0 -1 4202560 97684 0 0 0 1101 12 0 0 20 0 9 0 558312858 1177133056 133353 33554432000 4194304 6211132 140725753936832 140078256360544 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15165] ppid=15156 vsize=1149544 memory=281092859431328 CPUtime=11.26 cores=0-7
/proc/15159/task/15165/stat : 15165 (cosoco) R 15156 15159 14101 0 -1 4202560 78189 0 0 0 1107 19 0 0 20 0 9 0 558312858 1177133056 133353 33554432000 4194304 6211132 140725753936832 140078247967840 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15166] ppid=15156 vsize=1149544 memory=10368 CPUtime=11.22 cores=0-7
/proc/15159/task/15166/stat : 15166 (cosoco) R 15156 15159 14101 0 -1 4202560 92892 0 0 0 1107 15 0 0 20 0 9 0 558312858 1177133056 133353 33554432000 4194304 6211132 140725753936832 140078239575136 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15167] ppid=15156 vsize=1149544 memory=2020 CPUtime=11.14 cores=0-7
/proc/15159/task/15167/stat : 15167 (cosoco) R 15156 15159 14101 0 -1 4202560 92427 0 0 0 1095 19 0 0 20 0 9 0 558312858 1177133056 133353 33554432000 4194304 6211132 140725753936832 140078231182432 5037850 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15168] ppid=15156 vsize=1149544 memory=533412 CPUtime=11.16 cores=0-7
/proc/15159/task/15168/stat : 15168 (cosoco) R 15156 15159 14101 0 -1 4202560 86352 0 0 0 1110 6 0 0 20 0 9 0 558312858 1177133056 133353 33554432000 4194304 6211132 140725753936832 140078222789728 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
Current children cumulated CPU time: 91.09 s
Current children cumulated vsize: 1149544 KiB
Current children cumulated memory: 533412 KiB
[startup+25.5102 s]
/proc/loadavg: 3.97 1.73 1.67 9/200 15173
/proc/meminfo: memFree=30863600/32770624 swapFree=66936012/67108860
[pid=15159] ppid=15156 vsize=1149544 memory=533436 CPUtime=193.29 cores=0-7
/proc/15159/stat : 15159 (cosoco) S 15156 15159 14101 0 -1 1077944320 1069885 0 0 0 19167 162 0 0 20 0 9 0 558312716 1177133056 133359 33554432000 4194304 6211132 140725753936832 140725753935088 140078315462391 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
/proc/15159/statm: 287386 133359 832 493 0 280691 0
[pid=15159/tid=15161] ppid=15156 vsize=1149544 memory=533436 CPUtime=24.01 cores=0-7
/proc/15159/task/15161/stat : 15161 (cosoco) R 15156 15159 14101 0 -1 4202560 107782 0 0 0 2381 20 0 0 20 0 9 0 558312858 1177133056 133359 33554432000 4194304 6211132 140725753936832 140078281538656 5039038 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15162] ppid=15156 vsize=1149544 memory=533436 CPUtime=24.01 cores=0-7
/proc/15159/task/15162/stat : 15162 (cosoco) R 15156 15159 14101 0 -1 4202560 116248 0 0 0 2383 18 0 0 20 0 9 0 558312858 1177133056 133359 33554432000 4194304 6211132 140725753936832 140078273145952 5039193 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15163] ppid=15156 vsize=1149544 memory=164 CPUtime=24.06 cores=0-7
/proc/15159/task/15163/stat : 15163 (cosoco) R 15156 15159 14101 0 -1 4202560 108320 0 0 0 2383 23 0 0 20 0 9 0 558312858 1177133056 133359 33554432000 4194304 6211132 140725753936832 140078264753248 5037823 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15164] ppid=15156 vsize=1149544 memory=533436 CPUtime=23.94 cores=0-7
/proc/15159/task/15164/stat : 15164 (cosoco) R 15156 15159 14101 0 -1 4202560 129090 0 0 0 2380 14 0 0 20 0 9 0 558312858 1177133056 133359 33554432000 4194304 6211132 140725753936832 140078256360544 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15165] ppid=15156 vsize=1149544 memory=533432 CPUtime=24.05 cores=0-7
/proc/15159/task/15165/stat : 15165 (cosoco) R 15156 15159 14101 0 -1 4202560 110994 0 0 0 2383 22 0 0 20 0 9 0 558312858 1177133056 133359 33554432000 4194304 6211132 140725753936832 140078247967840 5039038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15166] ppid=15156 vsize=1149544 memory=2388 CPUtime=24.02 cores=0-7
/proc/15159/task/15166/stat : 15166 (cosoco) R 15156 15159 14101 0 -1 4202560 124166 0 0 0 2384 18 0 0 20 0 9 0 558312858 1177133056 133359 33554432000 4194304 6211132 140725753936832 140078239575136 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15167] ppid=15156 vsize=1149544 memory=0 CPUtime=23.93 cores=0-7
/proc/15159/task/15167/stat : 15167 (cosoco) R 15156 15159 14101 0 -1 4202560 124783 0 0 0 2372 21 0 0 20 0 9 0 558312858 1177133056 133359 33554432000 4194304 6211132 140725753936832 140078231182432 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15168] ppid=15156 vsize=1149544 memory=0 CPUtime=23.78 cores=0-7
/proc/15159/task/15168/stat : 15168 (cosoco) R 15156 15159 14101 0 -1 4202560 114138 0 0 0 2371 7 0 0 20 0 9 0 558312858 1177133056 133359 33554432000 4194304 6211132 140725753936832 140078222789728 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
Current children cumulated CPU time: 193.29 s
Current children cumulated vsize: 1149544 KiB
Current children cumulated memory: 533436 KiB
[startup+51.1012 s]
/proc/loadavg: 5.34 2.23 1.84 9/200 15173
/proc/meminfo: memFree=30864524/32770624 swapFree=66936012/67108860
[pid=15159] ppid=15156 vsize=1149544 memory=533436 CPUtime=397.6 cores=0-7
/proc/15159/stat : 15159 (cosoco) S 15156 15159 14101 0 -1 1077944320 1254181 0 0 0 39584 176 0 0 20 0 9 0 558312716 1177133056 133359 33554432000 4194304 6211132 140725753936832 140725753935088 140078315462391 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
/proc/15159/statm: 287386 133359 832 493 0 280691 0
[pid=15159/tid=15161] ppid=15156 vsize=1149544 memory=533436 CPUtime=49.6 cores=0-7
/proc/15159/task/15161/stat : 15161 (cosoco) R 15156 15159 14101 0 -1 4202560 139074 0 0 0 4938 22 0 0 20 0 9 0 558312858 1177133056 133359 33554432000 4194304 6211132 140725753936832 140078281538656 5037823 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15162] ppid=15156 vsize=1149544 memory=533436 CPUtime=49.59 cores=0-7
/proc/15159/task/15162/stat : 15162 (cosoco) R 15156 15159 14101 0 -1 4202560 147415 0 0 0 4939 20 0 0 20 0 9 0 558312858 1177133056 133359 33554432000 4194304 6211132 140725753936832 140078273145952 5039217 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15163] ppid=15156 vsize=1149544 memory=533436 CPUtime=49.64 cores=0-7
/proc/15159/task/15163/stat : 15163 (cosoco) R 15156 15159 14101 0 -1 4202560 139366 0 0 0 4939 25 0 0 20 0 9 0 558312858 1177133056 133359 33554432000 4194304 6211132 140725753936832 140078264753248 5039549 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15164] ppid=15156 vsize=1149544 memory=11624 CPUtime=49.31 cores=0-7
/proc/15159/task/15164/stat : 15164 (cosoco) R 15156 15159 14101 0 -1 4202560 144789 0 0 0 4917 14 0 0 20 0 9 0 558312858 1177133056 133359 33554432000 4194304 6211132 140725753936832 140078256360544 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15165] ppid=15156 vsize=1149544 memory=1772 CPUtime=49.63 cores=0-7
/proc/15159/task/15165/stat : 15165 (cosoco) R 15156 15159 14101 0 -1 4202560 141872 0 0 0 4939 24 0 0 20 0 9 0 558312858 1177133056 133359 33554432000 4194304 6211132 140725753936832 140078247967840 5037823 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15166] ppid=15156 vsize=1149544 memory=6935054825532540783 CPUtime=49.61 cores=0-7
/proc/15159/task/15166/stat : 15166 (cosoco) R 15156 15159 14101 0 -1 4202560 143915 0 0 0 4942 19 0 0 20 0 9 0 558312858 1177133056 133359 33554432000 4194304 6211132 140725753936832 140078239575136 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15167] ppid=15156 vsize=1149544 memory=1772 CPUtime=49.49 cores=0-7
/proc/15159/task/15167/stat : 15167 (cosoco) R 15156 15159 14101 0 -1 4202560 140342 0 0 0 4926 23 0 0 20 0 9 0 558312858 1177133056 133359 33554432000 4194304 6211132 140725753936832 140078231182432 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15168] ppid=15156 vsize=1149544 memory=533436 CPUtime=49.24 cores=0-7
/proc/15159/task/15168/stat : 15168 (cosoco) R 15156 15159 14101 0 -1 4202560 123044 0 0 0 4916 8 0 0 20 0 9 0 558312858 1177133056 133359 33554432000 4194304 6211132 140725753936832 140078222789728 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
Current children cumulated CPU time: 397.6 s
Current children cumulated vsize: 1149544 KiB
Current children cumulated memory: 533436 KiB
[startup+102.301 s]
/proc/loadavg: 6.93 3.15 2.17 9/200 15176
/proc/meminfo: memFree=30865512/32770624 swapFree=66936012/67108860
[pid=15159] ppid=15156 vsize=1149544 memory=533436 CPUtime=806.17 cores=0-7
/proc/15159/stat : 15159 (cosoco) S 15156 15159 14101 0 -1 1077944320 1490281 0 0 0 80412 205 0 0 20 0 9 0 558312716 1177133056 133359 33554432000 4194304 6211132 140725753936832 140725753935088 140078315462391 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
/proc/15159/statm: 287386 133359 832 493 0 280691 0
################
# More data... #
################
[startup+191.001 s]
/proc/loadavg: 7.82 4.43 2.72 9/199 15182
/proc/meminfo: memFree=30865672/32770624 swapFree=66936012/67108860
[pid=15159] ppid=15156 vsize=1149544 memory=533440 CPUtime=1514.3 cores=0-7
/proc/15159/stat : 15159 (cosoco) S 15156 15159 14101 0 -1 1077944320 1616209 0 0 0 151200 230 0 0 20 0 9 0 558312716 1177133056 133360 33554432000 4194304 6211132 140725753936832 140725753935088 140078315462391 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
/proc/15159/statm: 287386 133360 833 493 0 280691 0
[pid=15159/tid=15161] ppid=15156 vsize=1149544 memory=2020 CPUtime=189.46 cores=0-7
/proc/15159/task/15161/stat : 15161 (cosoco) R 15156 15159 14101 0 -1 4202560 202351 0 0 0 18920 26 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078281538656 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15162] ppid=15156 vsize=1149544 memory=988 CPUtime=189.44 cores=0-7
/proc/15159/task/15162/stat : 15162 (cosoco) R 15156 15159 14101 0 -1 4202560 210691 0 0 0 18919 25 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078273145952 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15163] ppid=15156 vsize=1149544 memory=1432 CPUtime=189.43 cores=0-7
/proc/15159/task/15163/stat : 15163 (cosoco) R 15156 15159 14101 0 -1 4202560 198093 0 0 0 18913 30 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078264753248 5038773 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15164] ppid=15156 vsize=1149544 memory=533440 CPUtime=188.08 cores=0-7
/proc/15159/task/15164/stat : 15164 (cosoco) R 15156 15159 14101 0 -1 4202560 189517 0 0 0 18790 18 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078256360544 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15165] ppid=15156 vsize=1149544 memory=533436 CPUtime=189.42 cores=0-7
/proc/15159/task/15165/stat : 15165 (cosoco) R 15156 15159 14101 0 -1 4202560 203755 0 0 0 18901 41 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078247967840 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15166] ppid=15156 vsize=1149544 memory=988 CPUtime=188.57 cores=0-7
/proc/15159/task/15166/stat : 15166 (cosoco) R 15156 15159 14101 0 -1 4202560 189903 0 0 0 18834 23 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078239575136 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15167] ppid=15156 vsize=1149544 memory=6935054825532540783 CPUtime=189.3 cores=0-7
/proc/15159/task/15167/stat : 15167 (cosoco) R 15156 15159 14101 0 -1 4202560 159051 0 0 0 18892 38 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078231182432 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15168] ppid=15156 vsize=1149544 memory=10368 CPUtime=189.12 cores=0-7
/proc/15159/task/15168/stat : 15168 (cosoco) R 15156 15159 14101 0 -1 4202560 128484 0 0 0 18903 9 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078222789728 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
Current children cumulated CPU time: 1514.3 s
Current children cumulated vsize: 1149544 KiB
Current children cumulated memory: 533440 KiB
[startup+194.201 s]
/proc/loadavg: 7.82 4.43 2.72 9/199 15182
/proc/meminfo: memFree=30865832/32770624 swapFree=66936012/67108860
[pid=15159] ppid=15156 vsize=1149544 memory=533440 CPUtime=1539.84 cores=0-7
/proc/15159/stat : 15159 (cosoco) S 15156 15159 14101 0 -1 1077944320 1616211 0 0 0 153754 230 0 0 20 0 9 0 558312716 1177133056 133360 33554432000 4194304 6211132 140725753936832 140725753935088 140078315462391 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
/proc/15159/statm: 287386 133360 833 493 0 280691 0
[pid=15159/tid=15161] ppid=15156 vsize=1149544 memory=11624 CPUtime=192.66 cores=0-7
/proc/15159/task/15161/stat : 15161 (cosoco) R 15156 15159 14101 0 -1 4202560 202351 0 0 0 19240 26 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078281538656 5039018 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15162] ppid=15156 vsize=1149544 memory=6935054825532540783 CPUtime=192.64 cores=0-7
/proc/15159/task/15162/stat : 15162 (cosoco) R 15156 15159 14101 0 -1 4202560 210692 0 0 0 19239 25 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078273145952 5037843 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15163] ppid=15156 vsize=1149544 memory=393 CPUtime=192.63 cores=0-7
/proc/15159/task/15163/stat : 15163 (cosoco) R 15156 15159 14101 0 -1 4202560 198093 0 0 0 19233 30 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078264753248 5038971 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15164] ppid=15156 vsize=1149544 memory=1970350607106052 CPUtime=191.23 cores=0-7
/proc/15159/task/15164/stat : 15164 (cosoco) R 15156 15159 14101 0 -1 4202560 189517 0 0 0 19105 18 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078256360544 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15165] ppid=15156 vsize=1149544 memory=784 CPUtime=192.61 cores=0-7
/proc/15159/task/15165/stat : 15165 (cosoco) R 15156 15159 14101 0 -1 4202560 203755 0 0 0 19220 41 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078247967840 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15166] ppid=15156 vsize=1149544 memory=776 CPUtime=191.76 cores=0-7
/proc/15159/task/15166/stat : 15166 (cosoco) R 15156 15159 14101 0 -1 4202560 189903 0 0 0 19153 23 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078239575136 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15167] ppid=15156 vsize=1149544 memory=1560 CPUtime=192.5 cores=0-7
/proc/15159/task/15167/stat : 15167 (cosoco) R 15156 15159 14101 0 -1 4202560 159052 0 0 0 19212 38 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078231182432 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15168] ppid=15156 vsize=1149544 memory=4000 CPUtime=192.32 cores=0-7
/proc/15159/task/15168/stat : 15168 (cosoco) R 15156 15159 14101 0 -1 4202560 128484 0 0 0 19223 9 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078222789728 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
Current children cumulated CPU time: 1539.84 s
Current children cumulated vsize: 1149544 KiB
Current children cumulated memory: 533440 KiB
[startup+197.401 s]*
/proc/loadavg: 7.83 4.49 2.74 9/200 15184
/proc/meminfo: memFree=30865940/32770624 swapFree=66936012/67108860
[pid=15159] ppid=15156 vsize=1149544 memory=533440 CPUtime=1565.46 cores=0-7
/proc/15159/stat : 15159 (cosoco) S 15156 15159 14101 0 -1 1077944320 1616211 0 0 0 156316 230 0 0 20 0 9 0 558312716 1177133056 133360 33554432000 4194304 6211132 140725753936832 140725753935088 140078315462391 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
/proc/15159/statm: 287386 133360 833 493 0 280691 0
[pid=15159/tid=15161] ppid=15156 vsize=1149544 memory=6935054825532540783 CPUtime=195.87 cores=0-7
/proc/15159/task/15161/stat : 15161 (cosoco) R 15156 15159 14101 0 -1 4202560 202351 0 0 0 19561 26 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078281538656 5037823 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15162] ppid=15156 vsize=1149544 memory=4126316290023845779 CPUtime=195.85 cores=0-7
/proc/15159/task/15162/stat : 15162 (cosoco) R 15156 15159 14101 0 -1 4202560 210692 0 0 0 19560 25 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078273145952 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15163] ppid=15156 vsize=1149544 memory=1232 CPUtime=195.83 cores=0-7
/proc/15159/task/15163/stat : 15163 (cosoco) R 15156 15159 14101 0 -1 4202560 198093 0 0 0 19553 30 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078264753248 5038848 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15164] ppid=15156 vsize=1149544 memory=14008 CPUtime=194.38 cores=0-7
/proc/15159/task/15164/stat : 15164 (cosoco) R 15156 15159 14101 0 -1 4202560 189517 0 0 0 19420 18 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078256360544 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15165] ppid=15156 vsize=1149544 memory=12040 CPUtime=195.82 cores=0-7
/proc/15159/task/15165/stat : 15165 (cosoco) R 15156 15159 14101 0 -1 4202560 203755 0 0 0 19541 41 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078247967840 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15166] ppid=15156 vsize=1149544 memory=2124 CPUtime=194.97 cores=0-7
/proc/15159/task/15166/stat : 15166 (cosoco) R 15156 15159 14101 0 -1 4202560 189903 0 0 0 19474 23 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078239575136 5038737 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15167] ppid=15156 vsize=1149544 memory=6284 CPUtime=195.71 cores=0-7
/proc/15159/task/15167/stat : 15167 (cosoco) R 15156 15159 14101 0 -1 4202560 159052 0 0 0 19533 38 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078231182432 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15168] ppid=15156 vsize=1149544 memory=11624 CPUtime=195.53 cores=0-7
/proc/15159/task/15168/stat : 15168 (cosoco) R 15156 15159 14101 0 -1 4202560 128484 0 0 0 19544 9 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078222789728 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
Current children cumulated CPU time: 1565.46 s
Current children cumulated vsize: 1149544 KiB
Current children cumulated memory: 533440 KiB
[startup+199.001 s]
/proc/loadavg: 7.83 4.49 2.74 9/200 15184
/proc/meminfo: memFree=30865940/32770624 swapFree=66936012/67108860
[pid=15159] ppid=15156 vsize=1149544 memory=533440 CPUtime=1578.17 cores=0-7
/proc/15159/stat : 15159 (cosoco) S 15156 15159 14101 0 -1 1077944320 1616211 0 0 0 157587 230 0 0 20 0 9 0 558312716 1177133056 133360 33554432000 4194304 6211132 140725753936832 140725753935088 140078315462391 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
/proc/15159/statm: 287386 133360 833 493 0 280691 0
[pid=15159/tid=15161] ppid=15156 vsize=1149544 memory=10368 CPUtime=197.46 cores=0-7
/proc/15159/task/15161/stat : 15161 (cosoco) R 15156 15159 14101 0 -1 4202560 202351 0 0 0 19720 26 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078281538656 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15162] ppid=15156 vsize=1149544 memory=3512 CPUtime=197.44 cores=0-7
/proc/15159/task/15162/stat : 15162 (cosoco) R 15156 15159 14101 0 -1 4202560 210692 0 0 0 19719 25 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078273145952 5039536 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15163] ppid=15156 vsize=1149544 memory=10368 CPUtime=197.43 cores=0-7
/proc/15159/task/15163/stat : 15163 (cosoco) R 15156 15159 14101 0 -1 4202560 198093 0 0 0 19713 30 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078264753248 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15164] ppid=15156 vsize=1149544 memory=6935054825532540783 CPUtime=195.96 cores=0-7
/proc/15159/task/15164/stat : 15164 (cosoco) R 15156 15159 14101 0 -1 4202560 189517 0 0 0 19578 18 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078256360544 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15165] ppid=15156 vsize=1149544 memory=14008 CPUtime=197.41 cores=0-7
/proc/15159/task/15165/stat : 15165 (cosoco) R 15156 15159 14101 0 -1 4202560 203755 0 0 0 19700 41 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078247967840 5039178 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15166] ppid=15156 vsize=1149544 memory=12040 CPUtime=196.56 cores=0-7
/proc/15159/task/15166/stat : 15166 (cosoco) R 15156 15159 14101 0 -1 4202560 189903 0 0 0 19633 23 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078239575136 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15167] ppid=15156 vsize=1149544 memory=6935054825532540783 CPUtime=197.3 cores=0-7
/proc/15159/task/15167/stat : 15167 (cosoco) R 15156 15159 14101 0 -1 4202560 159052 0 0 0 19692 38 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078231182432 5039014 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15168] ppid=15156 vsize=1149544 memory=932 CPUtime=197.12 cores=0-7
/proc/15159/task/15168/stat : 15168 (cosoco) R 15156 15159 14101 0 -1 4202560 128484 0 0 0 19703 9 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078222789728 5039029 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
Current children cumulated CPU time: 1578.17 s
Current children cumulated vsize: 1149544 KiB
Current children cumulated memory: 533440 KiB
[startup+199.401 s]*
/proc/loadavg: 7.85 4.55 2.77 9/200 15184
/proc/meminfo: memFree=30865940/32770624 swapFree=66936012/67108860
[pid=15159] ppid=15156 vsize=1149544 memory=533440 CPUtime=1581.43 cores=0-7
/proc/15159/stat : 15159 (cosoco) S 15156 15159 14101 0 -1 1077944320 1616211 0 0 0 157913 230 0 0 20 0 9 0 558312716 1177133056 133360 33554432000 4194304 6211132 140725753936832 140725753935088 140078315462391 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
/proc/15159/statm: 287386 133360 833 493 0 280691 0
[pid=15159/tid=15161] ppid=15156 vsize=1149544 memory=6935054825532540783 CPUtime=197.87 cores=0-7
/proc/15159/task/15161/stat : 15161 (cosoco) R 15156 15159 14101 0 -1 4202560 202351 0 0 0 19761 26 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078281538656 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15162] ppid=15156 vsize=1149544 memory=4126316290023845779 CPUtime=197.85 cores=0-7
/proc/15159/task/15162/stat : 15162 (cosoco) R 15156 15159 14101 0 -1 4202560 210692 0 0 0 19760 25 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078273145952 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15163] ppid=15156 vsize=1149544 memory=1804 CPUtime=197.83 cores=0-7
/proc/15159/task/15163/stat : 15163 (cosoco) R 15156 15159 14101 0 -1 4202560 198093 0 0 0 19753 30 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078264753248 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15164] ppid=15156 vsize=1149544 memory=916 CPUtime=196.36 cores=0-7
/proc/15159/task/15164/stat : 15164 (cosoco) R 15156 15159 14101 0 -1 4202560 189517 0 0 0 19618 18 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078256360544 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15165] ppid=15156 vsize=1149544 memory=4132 CPUtime=197.82 cores=0-7
/proc/15159/task/15165/stat : 15165 (cosoco) R 15156 15159 14101 0 -1 4202560 203755 0 0 0 19741 41 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078247967840 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15166] ppid=15156 vsize=1149544 memory=4108 CPUtime=196.97 cores=0-7
/proc/15159/task/15166/stat : 15166 (cosoco) R 15156 15159 14101 0 -1 4202560 189903 0 0 0 19674 23 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078239575136 5039038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15167] ppid=15156 vsize=1149544 memory=1408 CPUtime=197.71 cores=0-7
/proc/15159/task/15167/stat : 15167 (cosoco) R 15156 15159 14101 0 -1 4202560 159052 0 0 0 19733 38 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078231182432 5039038 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15168] ppid=15156 vsize=1149544 memory=2784 CPUtime=197.53 cores=0-7
/proc/15159/task/15168/stat : 15168 (cosoco) R 15156 15159 14101 0 -1 4202560 128484 0 0 0 19744 9 0 0 20 0 9 0 558312858 1177133056 133360 33554432000 4194304 6211132 140725753936832 140078222789728 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
Current children cumulated CPU time: 1581.43 s
Current children cumulated vsize: 1149544 KiB
Current children cumulated memory: 533440 KiB
[startup+199.601 s]
/proc/loadavg: 7.85 4.55 2.77 9/200 15184
/proc/meminfo: memFree=30865940/32770624 swapFree=66936012/67108860
[pid=15159] ppid=15156 vsize=1149544 memory=533444 CPUtime=1582.77 cores=0-7
/proc/15159/stat : 15159 (cosoco) S 15156 15159 14101 0 -1 1077944320 1616226 0 0 0 158047 230 0 0 20 0 4 0 558312716 1177133056 133361 33554432000 4194304 6211132 140725753936832 140725753935088 140078315462391 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
/proc/15159/statm: 287386 133361 834 493 0 280691 0
[pid=15159/tid=15162] ppid=15156 vsize=1149544 memory=7740402857394066792 CPUtime=198.04 cores=0-7
/proc/15159/task/15162/stat : 15162 (cosoco) R 15156 15159 14101 0 -1 4202560 210692 0 0 0 19779 25 0 0 20 0 4 0 558312858 1177133056 133361 33554432000 4194304 6211132 140725753936832 140078273145952 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15164] ppid=15156 vsize=1149544 memory=7740402857394066792 CPUtime=196.55 cores=0-7
/proc/15159/task/15164/stat : 15164 (cosoco) R 15156 15159 14101 0 -1 4202560 189517 0 0 0 19637 18 0 0 20 0 4 0 558312858 1177133056 133361 33554432000 4194304 6211132 140725753936832 140078256360544 5039323 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15168] ppid=15156 vsize=1149544 memory=932 CPUtime=197.72 cores=0-7
/proc/15159/task/15168/stat : 15168 (cosoco) R 15156 15159 14101 0 -1 4202560 128484 0 0 0 19763 9 0 0 20 0 4 0 558312858 1177133056 133361 33554432000 4194304 6211132 140725753936832 140078222789728 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
Current children cumulated CPU time: 1582.77 s
Current children cumulated vsize: 1149544 KiB
Current children cumulated memory: 533444 KiB
[startup+199.701 s]
/proc/loadavg: 7.85 4.55 2.77 9/200 15184
/proc/meminfo: memFree=30865940/32770624 swapFree=66936012/67108860
[pid=15159] ppid=15156 vsize=1149544 memory=533444 CPUtime=1583.04 cores=0-7
/proc/15159/stat : 15159 (cosoco) S 15156 15159 14101 0 -1 1077944320 1616226 0 0 0 158074 230 0 0 20 0 3 0 558312716 1177133056 133361 33554432000 4194304 6211132 140725753936832 140725753935088 140078315462391 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
/proc/15159/statm: 287386 133361 834 493 0 280691 0
[pid=15159/tid=15162] ppid=15156 vsize=1149544 memory=533440 CPUtime=198.14 cores=0-7
/proc/15159/task/15162/stat : 15162 (cosoco) R 15156 15159 14101 0 -1 4202560 210692 0 0 0 19789 25 0 0 20 0 3 0 558312858 1177133056 133361 33554432000 4194304 6211132 140725753936832 140078273145952 5038992 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
[pid=15159/tid=15168] ppid=15156 vsize=1149544 memory=533440 CPUtime=197.82 cores=0-7
/proc/15159/task/15168/stat : 15168 (cosoco) R 15156 15159 14101 0 -1 4202560 128484 0 0 0 19773 9 0 0 20 0 3 0 558312858 1177133056 133361 33554432000 4194304 6211132 140725753936832 140078222789728 5038992 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 34504704 140725753938961 140725753939053 140725753939053 140725753941966 0
Current children cumulated CPU time: 1583.04 s
Current children cumulated vsize: 1149544 KiB
Current children cumulated memory: 533444 KiB
Child status: 0
Real time (s): 199.804
CPU time (s): 1583.22
CPU user time (s): 1580.9
CPU system time (s): 2.32436
CPU usage (%): 792.39
Max. virtual memory (cumulated for all children) (KiB): 1149544
Max. memory (cumulated for all children) (KiB): 533444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1580.9
system time used= 2.32436
maximum resident set size= 533644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1616254
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= 228
involuntary context switches= 14346
# summary of solver processes directly reported to runsolver:
# pid: 15159
# total CPU time (s): 1583.22
# total CPU user time (s): 1580.9
# total CPU system time (s): 2.32436
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.14289 second user time and 1.68194 second system time
The end
Begin job on node147 at 2019-09-30 08:12:25 IDJOB=4409323 IDBENCH=125984 IDSOLVER=2877 FILE ID=node147/4409323-1569823989 RUNJOBID= node147-1569818085-14128 PBS_JOBID= 21705926 Free space on /tmp= 61488 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/QRandom/QRandom-bdd-18-21-2/bdd-18-21-2-133-78-21.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409323-1569823989/watcher-4409323-1569823989 -o /tmp/evaluation-result-4409323-1569823989/solver-4409323-1569823989 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1569818085-14128 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409323-1569823989.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c7982e61e1aa12db31c7a822b635a08f RANDOM SEED=1858990070 node147.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30271800 kB MemAvailable: 31786760 kB Buffers: 234472 kB Cached: 1603188 kB SwapCached: 68896 kB Active: 418876 kB Inactive: 1492368 kB Active(anon): 19244 kB Inactive(anon): 136748 kB Active(file): 399632 kB Inactive(file): 1355620 kB Unevictable: 107716 kB Mlocked: 107716 kB SwapTotal: 67108860 kB SwapFree: 66936012 kB Dirty: 728492 kB Writeback: 75864 kB AnonPages: 114656 kB Mapped: 27700 kB Shmem: 73672 kB Slab: 180532 kB SReclaimable: 151084 kB SUnreclaim: 29448 kB KernelStack: 3456 kB PageTables: 5224 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 540840 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 62028 MiB End job on node147 at 2019-09-30 08:15:45