0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.06 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.06 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.09 c
0.00/0.09 c intension hd[0]<ad[0] using generic constraint
0.00/0.09 c intension hd[1]<ad[1] using generic constraint
0.00/0.09 c intension hd[2]<ad[2] using generic constraint
0.00/0.09 c intension hd[3]<ad[3] using generic constraint
0.00/0.10 c intension hd[4]<ad[4] using generic constraint
0.00/0.10 c intension hd[5]<ad[5] using generic constraint
0.09/0.10 c intension hd[6]<ad[6] using generic constraint
0.09/0.10 c intension hd[7]<ad[7] using generic constraint
0.09/0.10 c intension hd[8]<ad[8] using generic constraint
0.09/0.10 c intension hd[9]<ad[9] using generic constraint
0.09/0.10 c intension hd[10]<ad[10] using generic constraint
0.09/0.10 c intension hd[11]<ad[11] using generic constraint
0.09/0.10 c intension hd[12]<ad[12] using generic constraint
0.09/0.10 c intension hd[13]<ad[13] using generic constraint
0.09/0.10 c intension hd[14]<ad[14] using generic constraint
0.09/0.10 c intension hd[15]<ad[15] using generic constraint
0.09/0.10 c intension hd[16]<ad[16] using generic constraint
6.09/6.19 c SAT : Variables: 354025 -- Clauses: 88772113
6.19/6.28 c root propagations : 13973
6.19/6.28 c restarts enabled, print stats at every restarts
6.19/6.28 c
6.19/6.28 c
6.19/6.28 c
6.19/6.28 c This is cosoco 1.0 --
6.19/6.28 c
6.19/6.28 c ========================================[ Problem Statistics ]===========================================
6.19/6.28 c |
6.19/6.28 c | Parse time : 5.42 s
6.19/6.28 c |
6.19/6.28 c | Variables: 1717
6.19/6.28 c | Domain Sizes: 34..561
6.19/6.28 c |
6.19/6.28 c | Constraints: 2397
6.19/6.28 c | Arity: 1..561 -- Unary: 17 -- Binary: 17 -- Ternary: 561
6.19/6.28 c |
6.19/6.28 c | Types:
6.19/6.28 c | (X - Y < k): 17
6.19/6.28 c | All Different: 35
6.19/6.28 c | At least: 578
6.19/6.28 c | At most: 578
6.19/6.28 c | Exactly K: 611
6.19/6.28 c | Extension: 561 (nb tuples: 561..561) -- (shared: 560)
6.19/6.28 c | Intension: 17
6.19/6.28 c |
6.19/6.28 c =========================================================================================================
6.19/6.28 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
6.29/6.31 c 10 111 141983 32442 1717 10 96 102 90
6.29/6.39 c 20 406 239204 85337 1717 15 1 272 204
6.49/6.55 c 30 713 436780 155647 1717 24 19 294 123
6.60/6.68 c 40 1008 597141 216652 1717 32 1 281 152
6.70/6.77 c 50 1288 683402 269632 1717 42 146 269 199
6.79/6.88 c 60 1541 808779 315321 1717 51 21 241 165
6.89/6.99 c 70 1794 945906 374517 1717 57 55 240 157
6.99/7.08 c 80 2044 1019675 422122 1717 67 19 239 123
7.19/7.23 c 90 2299 1210860 479509 1717 74 59 241 177
7.29/7.32 c 100 2556 1333423 528508 1717 84 53 248 156
7.29/7.35 c 101 2614 1341719 530505 1717 85 58 58 29
7.39/7.45 c 110 2873 1467583 581769 1717 94 19 251 133
7.49/7.56 c 120 3142 1577777 630756 1717 101 56 245 162
7.59/7.69 c 130 3438 1728596 690090 1717 110 1 287 152
7.80/7.80 c 140 3737 1884281 746441 1717 117 53 287 178
7.80/7.90 c 150 3993 1961374 794097 1717 124 21 246 153
7.99/8.01 c 160 4249 2107420 846455 1717 133 1 242 149
8.09/8.11 c 170 4545 2213144 905587 1717 142 21 287 149
8.19/8.23 c 180 4842 2360579 963174 1717 148 21 287 199
8.29/8.33 c 190 5102 2457589 1012105 1717 154 1 242 141
8.39/8.45 c 200 5401 2609049 1069659 1717 162 23 287 181
8.49/8.57 c 210 5702 2770005 1133060 1717 168 21 287 191
8.49/8.59 c 211 5721 2773701 1134240 1717 169 19 19 9
8.59/8.69 c 220 6016 2925864 1192174 1717 176 1 287 154
8.69/8.80 c 230 6275 3063524 1241569 1717 183 23 241 159
8.79/8.89 c 240 6532 3140320 1290146 1717 193 21 248 120
8.89/8.97 c 250 6831 3234617 1346793 1717 200 29 287 220
8.98/9.07 c 260 7127 3329307 1404705 1717 209 21 287 159
9.08/9.16 c 270 7425 3427891 1462054 1717 218 21 287 176
9.18/9.27 c 280 7679 3579686 1515018 1717 225 21 242 153
9.28/9.39 c 290 7978 3731755 1573672 1717 230 1 287 176
9.38/9.49 c 300 8277 3880475 1632832 1717 236 31 287 202
9.58/9.61 c 310 8543 4043955 1688531 1717 242 34 243 174
9.69/9.73 c 320 8839 4195330 1748815 1717 249 23 287 158
9.79/9.83 c 330 9140 4304975 1806802 1717 259 23 287 140
9.79/9.86 c 332 9172 4319652 1811000 1717 261 23 31 18
9.90/9.96 c 340 9466 4472744 1864075 1717 269 19 287 122
10.00/10.03 c 350 9690 4551930 1910086 1717 277 32 215 160
10.09/10.13 c 360 9986 4648679 1967985 1717 286 19 287 147
10.19/10.24 c 370 10285 4799188 2028523 1717 293 19 287 178
10.29/10.35 c 380 10581 4949229 2087401 1717 302 19 287 143
10.39/10.45 c 390 10802 5075880 2133759 1717 309 23 211 120
10.49/10.57 c 400 11098 5227641 2193880 1717 319 23 287 113
10.69/10.70 c 410 11330 5405208 2249165 1717 327 31 215 137
10.69/10.79 c 420 11629 5510913 2307635 1717 336 23 287 144
10.79/10.87 c 430 11928 5603978 2367971 1717 342 130 287 232
10.89/10.98 c 440 12224 5750413 2425631 1717 351 32 287 168
10.99/11.09 c 450 12452 5877087 2481064 1717 357 31 215 130
11.19/11.21 c 460 12748 6033003 2539825 1717 366 23 287 154
11.19/11.28 c 465 12964 6101810 2582934 1717 371 31 212 93
11.29/11.35 c 470 13176 6214741 2624157 1717 376 32 208 142
11.39/11.43 c 480 13398 6289594 2670889 1717 386 23 213 107
11.49/11.54 c 490 13706 6444963 2730641 1717 394 19 287 125
11.59/11.66 c 500 13931 6560194 2782666 1717 401 23 212 118
11.69/11.77 c 510 14227 6711420 2841124 1717 410 1 287 123
11.79/11.87 c 520 14462 6840978 2890268 1717 415 38 215 169
11.89/11.97 c 530 14693 6962534 2937645 1717 420 25 210 164
11.99/12.09 c 540 14992 7111170 2996590 1717 428 23 287 162
12.09/12.18 c 550 15288 7210671 3059246 1717 434 31 287 197
12.19/12.28 c 560 15590 7353993 3118102 1717 438 32 287 237
12.39/12.41 c 570 15892 7503159 3180313 1717 443 31 287 202
12.49/12.52 c 580 16191 7652976 3236391 1717 449 19 287 206
12.59/12.63 c 590 16487 7805025 3297118 1717 459 19 287 123
12.69/12.74 c 600 16718 7904101 3350533 1717 465 23 215 136
12.78/12.86 c 610 17014 8053526 3409712 1717 474 23 287 128
12.78/12.87 c 611 17037 8057633 3410863 1717 475 23 23 11
12.88/12.95 c 620 17263 8139834 3459347 1717 483 1 214 100
12.98/13.08 c 630 17490 8321318 3514424 1717 491 23 211 148
13.08/13.18 c 640 17712 8447292 3559560 1717 498 19 210 146
13.19/13.28 c 650 18007 8552345 3615664 1717 508 23 281 110
13.29/13.37 c 660 18308 8650527 3678820 1717 514 31 287 201
13.38/13.45 c 670 18607 8748484 3738778 1717 520 32 287 222
13.48/13.56 c 680 18906 8897169 3799085 1717 526 126 287 221
13.58/13.65 c 690 19202 9041832 3855258 1717 533 130 287 187
13.68/13.75 c 700 19435 9135454 3904351 1717 538 31 215 153
13.78/13.85 c 710 19734 9279203 3959370 1717 544 25 287 207
13.89/13.94 c 720 20030 9377810 4016727 1717 551 19 287 175
13.99/14.06 c 730 20326 9529298 4074062 1717 560 19 287 165
14.19/14.20 c 740 20554 9722609 4131518 1717 566 31 214 136
14.29/14.31 c 750 20850 9874740 4189777 1717 575 23 287 144
14.39/14.42 c 760 21081 9995692 4246065 1717 581 31 215 145
14.49/14.51 c 770 21346 10119576 4290953 1717 588 127 248 185
14.49/14.53 c 771 21374 10125965 4293994 1717 589 28 28 14
14.59/14.62 c 780 21595 10228361 4345661 1717 597 19 211 98
14.69/14.70 c 790 21891 10325589 4401959 1717 604 19 287 176
14.69/14.79 c 800 22190 10424667 4459991 1717 611 28 287 200
14.79/14.89 c 810 22489 10575867 4518081 1717 617 29 287 203
14.99/15.00 c 820 22791 10729596 4576017 1717 622 28 287 199
14.99/15.08 c 830 23087 10827877 4632291 1717 630 29 287 200
15.19/15.21 c 840 23388 10985951 4696051 1717 636 28 287 184
15.29/15.32 c 850 23695 11147314 4755949 1717 643 19 287 164
15.29/15.40 c 860 23991 11246541 4815080 1717 648 144 287 227
15.39/15.49 c 870 24295 11351208 4876470 1717 654 32 287 216
15.49/15.56 c 880 24594 11450663 4935366 1717 658 147 287 247
15.59/15.67 c 890 24863 11596076 4993861 1717 664 130 257 216
15.79/15.81 c 900 25096 11783794 5054277 1717 668 35 215 153
15.89/15.92 c 910 25394 11931537 5114283 1717 677 25 287 155
15.99/16.05 c 920 25698 12081188 5172208 1717 682 212 287 253
16.09/16.16 c 930 25929 12224062 5221394 1717 689 1 215 140
16.18/16.28 c 940 26225 12377731 5280883 1717 697 1 287 129
16.28/16.36 c 947 26442 12450986 5326605 1717 704 23 211 76
16.28/16.39 c 950 26475 12464982 5332049 1717 707 19 31 18
16.38/16.49 c 960 26745 12611269 5391206 1717 715 32 257 189
16.49/16.60 c 970 27019 12758023 5456243 1717 720 133 257 217
16.59/16.67 c 980 27290 12850728 5509504 1717 730 144 257 185
16.68/16.74 c 990 27559 12943663 5567844 1717 735 199 257 226
16.78/16.87 c 1000 27833 13091257 5625634 1717 740 254 257 232
16.88/16.98 c 1010 28104 13243075 5683958 1717 746 1 257 186
16.98/17.08 c 1020 28373 13389419 5740665 1717 753 38 257 200
17.08/17.17 c 1030 28602 13512754 5785678 1717 759 130 211 184
17.18/17.26 c 1040 28829 13632849 5835820 1717 768 1 218 89
17.28/17.34 c 1050 29100 13726554 5893044 1717 777 34 257 188
17.38/17.46 c 1060 29374 13869988 5952535 1717 782 130 257 208
17.48/17.57 c 1070 29646 14022696 6011427 1717 786 1 257 149
17.59/17.66 c 1080 29915 14163356 6067066 1717 792 208 257 220
17.69/17.76 c 1090 30187 14308717 6126144 1717 796 144 257 222
17.78/17.87 c 1100 30456 14450779 6186064 1717 800 126 257 209
17.88/17.97 c 1110 30725 14592764 6242873 1717 805 212 257 227
17.98/18.09 c 1120 30950 14765393 6295018 1717 810 35 215 154
18.08/18.18 c 1130 31171 14854030 6343362 1717 817 1 212 117
18.18/18.28 c 1140 31443 14996128 6402099 1717 823 26 257 176
18.28/18.35 c 1141 31700 15088177 6449346 1717 824 257 257 128
18.38/18.42 c 1150 31968 15183032 6504364 1717 828 251 257 229
18.48/18.52 c 1160 32240 15329444 6565623 1717 833 32 257 205
18.58/18.62 c 1170 32509 15473321 6623053 1717 842 31 257 156
18.69/18.74 c 1180 32786 15620577 6683596 1717 846 130 257 221
18.79/18.84 c 1190 33017 15728784 6732791 1717 851 31 215 137
18.88/18.94 c 1200 33289 15870467 6791362 1717 857 25 257 206
18.98/19.05 c 1210 33520 15988894 6841726 1717 865 31 215 143
19.08/19.14 c 1220 33742 16106485 6885314 1717 870 1 208 146
19.18/19.25 c 1230 34011 16253293 6943902 1717 875 1 257 165
19.28/19.34 c 1240 34280 16395063 7001990 1717 881 126 257 208
19.38/19.43 c 1250 34549 16486291 7064351 1717 885 126 257 209
19.48/19.54 c 1260 34821 16635825 7123051 1717 890 129 257 203
19.58/19.61 c 1270 35049 16712692 7169337 1717 898 126 216 169
19.68/19.71 c 1280 35318 16858101 7227245 1717 904 26 257 176
19.79/19.81 c 1290 35587 17005136 7285178 1717 911 31 257 174
19.89/19.91 c 1300 35864 17146518 7344730 1717 915 37 257 201
19.98/20.01 c 1310 36133 17293672 7400308 1717 921 126 257 206
19.98/20.08 c 1320 36364 17374245 7446585 1717 926 37 212 169
20.08/20.19 c 1330 36630 17517727 7505533 1717 933 25 257 182
20.18/20.29 c 1340 36863 17642773 7551763 1717 940 37 215 163
20.28/20.37 c 1350 37102 17735488 7606951 1717 944 206 212 190
20.28/20.39 c 1352 37129 17743457 7609307 1717 946 19 26 15
20.39/20.48 c 1360 37348 17861327 7653789 1717 951 1 210 132
20.49/20.59 c 1370 37614 18011223 7712428 1717 960 19 257 134
20.59/20.66 c 1380 37880 18097584 7771587 1717 966 126 257 187
20.69/20.74 c 1390 38150 18192939 7828695 1717 975 126 257 203
20.79/20.83 c 1400 38419 18330238 7885668 1717 981 126 257 199
20.89/20.94 c 1410 38693 18475983 7946583 1717 986 37 257 193
20.99/21.01 c 1420 38959 18560921 8002117 1717 995 126 257 179
20.99/21.08 c 1430 39228 18648076 8058614 1717 1000 126 257 207
21.09/21.16 c 1440 39461 18740223 8105324 1717 1005 126 212 183
21.19/21.25 c 1450 39689 18834211 8155649 1717 1011 28 211 169
21.29/21.35 c 1460 39955 18978858 8208356 1717 1021 19 257 171
21.38/21.45 c 1470 40224 19127431 8261508 1717 1027 211 257 204
21.48/21.53 c 1480 40449 19228338 8310185 1717 1033 126 215 166
21.58/21.63 c 1490 40718 19368920 8368940 1717 1038 1 257 164
21.68/21.74 c 1500 40942 19498242 8418441 1717 1047 23 215 126
21.78/21.84 c 1510 41211 19642406 8477456 1717 1054 124 257 198
21.88/21.94 c 1520 41480 19785350 8535952 1717 1060 126 257 205
21.99/22.03 c 1530 41707 19869553 8585966 1717 1066 35 215 163
22.09/22.12 c 1540 41931 19984648 8632755 1717 1071 28 212 174
22.18/22.23 c 1550 42200 20133011 8692455 1717 1076 23 257 198
22.28/22.33 c 1560 42466 20281241 8752740 1717 1083 31 257 160
22.38/22.46 c 1570 42732 20436753 8813621 1717 1090 23 257 151
22.48/22.56 c 1580 43005 20585611 8874308 1717 1095 211 257 220
22.58/22.67 c 1585 43266 20733256 8927734 1717 1099 130 257 176
22.68/22.76 c 1590 43527 20872662 8980915 1717 1103 126 257 166
22.78/22.85 c 1600 43796 21013979 9038458 1717 1109 126 257 192
22.88/22.97 c 1610 44033 21188479 9097997 1717 1114 38 215 169
22.98/23.06 c 1620 44249 21304483 9141425 1717 1120 23 207 155
23.09/23.16 c 1630 44466 21421399 9194783 1717 1125 19 208 131
23.19/23.25 c 1640 44735 21562514 9252415 1717 1132 37 257 188
23.28/23.34 c 1650 45001 21697120 9309700 1717 1141 126 257 178
23.38/23.44 c 1660 45270 21836415 9367035 1717 1148 126 257 184
23.48/23.54 c 1670 45547 21985078 9426638 1717 1152 153 257 220
23.58/23.65 c 1680 45813 22134436 9485458 1717 1161 23 257 119
23.68/23.78 c 1690 46094 22338165 9546968 1717 1167 38 257 178
23.78/23.88 c 1700 46363 22483255 9605867 1717 1173 34 257 210
23.99/24.01 c 1710 46591 22671842 9661123 1717 1180 41 214 171
24.09/24.10 c 1720 46821 22797432 9707440 1717 1185 25 210 165
24.19/24.21 c 1730 47090 22943445 9765558 1717 1190 1 257 187
24.29/24.31 c 1740 47359 23091965 9824238 1717 1195 130 257 210
24.39/24.40 c 1750 47628 23230081 9880843 1717 1199 150 257 216
24.49/24.50 c 1760 47860 23339786 9937413 1717 1206 34 215 154
24.59/24.61 c 1770 48128 23485318 9994266 1717 1215 23 257 173
24.69/24.70 c 1780 48394 23624377 10052083 1717 1224 126 257 171
24.79/24.85 c 1790 48624 23871309 10106269 1717 1230 35 215 173
24.89/24.95 c 1800 48896 24013218 10164977 1717 1233 255 257 232
24.99/25.05 c 1810 49165 24158037 10222714 1717 1237 144 257 212
25.09/25.14 c 1820 49434 24297772 10278340 1717 1243 126 257 207
25.18/25.24 c 1830 49703 24435191 10336293 1717 1250 126 257 185
25.29/25.33 c 1840 49972 24579523 10394303 1717 1253 150 257 223
25.29/25.37 c 1841 50098 24612059 10415467 1717 1254 126 126 63
25.39/25.48 c 1850 50371 24751631 10473953 1717 1258 147 257 214
25.58/25.60 c 1860 50640 24946286 10531345 1717 1265 38 257 189
25.68/25.70 c 1870 50863 25063447 10580308 1717 1274 38 212 150
25.78/25.82 c 1880 51138 25252988 10638043 1717 1281 19 257 170
25.88/25.92 c 1890 51366 25376924 10689754 1717 1288 31 212 128
25.98/26.03 c 1900 51635 25519100 10749507 1717 1295 19 257 176
26.08/26.13 c 1910 51904 25655392 10807740 1717 1299 126 257 209
26.18/26.23 c 1920 52173 25799404 10866352 1717 1304 32 257 202
26.28/26.35 c 1930 52399 25955405 10918423 1717 1312 38 215 159
26.39/26.45 c 1940 52630 26074554 10964289 1717 1316 1 210 162
26.49/26.55 c 1950 52899 26222291 11021902 1717 1320 23 257 203
26.58/26.63 c 1960 53168 26363035 11077382 1717 1324 144 257 218
26.68/26.73 c 1970 53437 26506746 11133405 1717 1330 144 257 209
26.78/26.81 c 1980 53665 26600942 11182341 1717 1338 35 215 155
26.88/26.92 c 1990 53933 26740520 11240869 1717 1346 19 257 152
26.98/27.03 c 2000 54210 26888679 11302224 1717 1352 126 257 205
27.08/27.17 c 2010 54445 27084479 11360175 1717 1358 38 215 170
27.18/27.30 c 2020 54671 27258969 11410931 1717 1362 31 211 150
27.28/27.38 c 2030 54901 27384096 11457075 1717 1367 204 210 188
27.49/27.51 c 2040 55173 27539433 11516446 1717 1371 1 257 173
27.49/27.60 c 2050 55445 27683109 11574899 1717 1375 144 257 222
27.68/27.72 c 2060 55722 27830358 11634544 1717 1379 144 257 213
27.78/27.81 c 2070 55991 27975491 11690209 1717 1385 144 257 213
27.78/27.89 c 2080 56221 28057831 11738505 1717 1393 38 214 161
27.88/27.99 c 2090 56490 28208125 11796910 1717 1399 1 257 161
28.08/28.11 c 2100 56723 28385814 11849435 1717 1404 35 215 162
28.18/28.21 c 2110 56992 28527349 11907789 1717 1410 19 257 182
28.28/28.33 c 2120 57265 28718923 11965085 1717 1416 35 257 189
28.28/28.38 c 2122 57440 28774786 11996838 1717 1418 150 174 108
28.38/28.49 c 2130 57707 28916646 12052065 1717 1425 19 257 171
28.48/28.58 c 2140 57976 29057874 12108909 1717 1429 217 257 227
28.59/28.69 c 2150 58255 29206767 12173352 1717 1432 254 257 233
28.69/28.77 c 2160 58483 29294627 12226781 1717 1438 34 214 176
28.78/28.85 c 2170 58710 29417753 12274483 1717 1446 19 210 164
28.88/28.97 c 2180 58933 29593886 12332592 1717 1452 19 211 123
29.08/29.10 c 2190 59205 29784487 12390882 1717 1457 26 257 182
29.18/29.21 c 2200 59446 29929742 12444621 1717 1463 35 214 169
29.28/29.30 c 2210 59712 30070937 12501196 1717 1469 25 257 168
29.38/29.42 c 2220 59983 30225417 12565188 1717 1477 35 257 166
29.48/29.54 c 2230 60218 30395223 12620136 1717 1479 38 214 176
29.58/29.62 c 2240 60442 30508390 12661429 1717 1483 208 208 189
29.69/29.71 c 2250 60724 30666089 12719982 1717 1487 123 257 196
29.79/29.81 c 2260 61009 30822191 12779645 1717 1491 126 257 188
29.88/29.92 c 2270 61244 30952923 12836616 1717 1497 34 215 153
29.98/30.03 c 2280 61513 31103543 12895835 1717 1503 23 257 168
30.08/30.12 c 2290 61779 31246241 12952967 1717 1512 126 257 171
30.18/30.24 c 2300 62053 31396528 13014950 1717 1517 38 257 194
30.28/30.34 c 2310 62322 31537196 13072531 1717 1523 126 257 219
30.38/30.44 c 2320 62591 31684277 13132111 1717 1529 129 257 213
30.48/30.57 c 2330 62828 31890476 13184487 1717 1531 135 214 185
30.58/30.67 c 2340 63057 32014936 13231687 1717 1536 23 210 157
30.68/30.78 c 2350 63326 32161310 13290220 1717 1544 23 257 174
30.79/30.87 c 2360 63557 32260752 13341485 1717 1549 209 215 192
30.89/30.95 c 2370 63784 32375516 13385838 1717 1551 25 210 172
30.98/31.06 c 2380 64053 32530091 13446227 1717 1557 19 257 166
31.08/31.15 c 2390 64322 32668818 13504001 1717 1563 126 257 198
31.18/31.26 c 2400 64599 32809318 13563563 1717 1568 126 257 206
31.28/31.38 c 2410 64873 32950816 13622821 1717 1573 126 257 198
31.48/31.50 c 2420 65112 33112392 13677612 1717 1580 35 215 152
31.48/31.59 c 2430 65378 33252868 13732900 1717 1587 19 257 145
31.58/31.62 c 2431 65504 33285413 13754096 1717 1588 126 126 63
31.68/31.71 c 2440 65772 33424807 13809266 1717 1593 31 257 195
31.78/31.81 c 2450 66041 33562938 13867140 1717 1599 126 257 188
31.78/31.90 c 2460 66326 33720362 13925915 1717 1603 126 257 182
31.89/31.99 c 2470 66554 33832636 13973956 1717 1611 35 215 148
31.99/32.08 c 2480 66783 33954184 14021043 1717 1617 127 210 181
32.08/32.18 c 2490 67049 34103929 14078701 1717 1626 19 257 142
32.18/32.29 c 2500 67290 34264553 14128147 1717 1630 207 215 191
32.28/32.36 c 2510 67562 34350737 14187352 1717 1638 28 257 189
32.38/32.46 c 2520 67831 34495317 14245745 1717 1642 126 257 209
32.48/32.54 c 2530 68100 34587231 14305170 1717 1648 129 257 200
32.58/32.64 c 2540 68369 34731431 14363540 1717 1654 129 257 206
32.68/32.74 c 2550 68640 34877119 14418429 1717 1660 210 257 220
32.78/32.84 c 2560 68875 35009171 14471910 1717 1668 31 215 135
32.88/32.95 c 2570 69147 35157754 14531941 1717 1673 38 257 209
32.99/33.04 c 2580 69416 35296206 14589334 1717 1680 126 257 183
33.09/33.13 c 2590 69685 35434165 14646529 1717 1686 126 257 195
33.18/33.28 c 2600 69919 35683905 14703554 1717 1692 37 215 170
33.28/33.36 c 2610 70141 35804299 14748933 1717 1696 124 208 180
33.38/33.47 c 2620 70370 35941352 14813865 1717 1701 124 211 182
33.48/33.56 c 2630 70636 36081544 14870161 1717 1708 19 257 150
33.58/33.67 c 2640 70902 36227904 14929270 1717 1715 31 257 162
33.68/33.76 c 2650 71173 36382820 14987821 1717 1718 208 257 224
33.78/33.86 c 2660 71442 36524821 15045454 1717 1723 150 257 215
33.98/34.02 c 2670 71668 36830938 15108986 1717 1725 208 211 190
34.08/34.13 c 2680 71937 36977800 15168435 1717 1731 23 257 177
34.18/34.26 c 2690 72210 37169760 15228487 1717 1738 31 257 173
34.28/34.36 c 2700 72481 37320043 15288904 1717 1744 37 257 194
34.38/34.46 c 2710 72750 37462923 15345764 1717 1749 144 257 218
34.48/34.55 c 2720 73019 37602935 15403811 1717 1756 126 257 186
34.58/34.65 c 2730 73296 37753624 15460323 1717 1760 213 257 225
34.69/34.75 c 2740 73565 37897153 15517335 1717 1764 177 257 221
34.79/34.84 c 2750 73834 38036449 15576342 1717 1770 126 257 199
34.89/34.93 c 2760 74065 38149416 15634363 1717 1776 193 214 191
34.99/35.01 c 2770 74287 38262079 15675656 1717 1781 208 208 189
34.99/35.03 c 2771 74316 38269275 15678174 1717 1782 29 29 14
34.99/35.09 c 2780 74535 38338497 15724625 1717 1785 1 211 167
35.09/35.18 c 2790 74804 38474677 15781628 1717 1789 31 257 208
35.19/35.29 c 2800 75039 38619968 15834911 1717 1795 34 214 153
35.29/35.38 c 2810 75265 38735519 15876885 1717 1802 1 209 163
35.49/35.51 c 2820 75489 38952260 15937237 1717 1808 1 211 148
35.59/35.61 c 2830 75761 39095310 15996111 1717 1812 28 257 212
35.69/35.72 c 2840 76031 39237253 16056148 1717 1820 126 257 177
35.78/35.84 c 2850 76263 39432727 16111656 1717 1826 37 215 156
35.88/35.94 c 2860 76532 39575027 16167870 1717 1833 19 257 164
35.98/36.02 c 2870 76801 39715485 16224329 1717 1839 126 257 187
36.08/36.10 c 2880 77033 39804113 16278534 1717 1846 126 214 184
36.08/36.18 c 2890 77262 39889910 16325142 1717 1851 171 211 183
36.18/36.27 c 2900 77528 40031880 16380439 1717 1858 19 257 156
36.29/36.38 c 2910 77802 40180731 16447016 1717 1865 132 257 214
36.39/36.48 c 2920 78071 40327360 16504342 1717 1870 144 257 214
36.58/36.60 c 2930 78307 40508114 16552045 1717 1875 126 215 184
36.58/36.69 c 2940 78536 40627829 16595560 1717 1879 204 210 188
36.68/36.79 c 2950 78805 40773207 16653961 1717 1884 1 257 193
36.78/36.88 c 2960 79077 40913720 16712168 1717 1889 126 257 209
36.88/36.98 c 2970 79303 41038141 16770787 1717 1897 126 213 159
36.98/37.07 c 2980 79572 41179151 16827122 1717 1901 141 257 218
37.08/37.16 c 2990 79838 41313226 16882907 1717 1908 126 257 172
37.18/37.26 c 3000 80107 41451418 16941233 1717 1913 126 257 199
37.28/37.34 c 3010 80376 41589399 16997033 1717 1920 126 257 182
37.39/37.44 c 3020 80658 41737568 17053895 1717 1924 213 257 229
37.49/37.54 c 3030 80927 41874796 17111173 1717 1930 126 257 195
37.58/37.63 c 3040 81197 42017740 17168747 1717 1939 126 257 161
37.68/37.74 c 3050 81430 42197320 17220487 1717 1945 34 215 153
37.78/37.83 c 3060 81699 42337071 17276490 1717 1951 141 257 208
37.88/37.93 c 3070 81972 42485269 17331807 1717 1960 34 257 166
37.98/38.03 c 3080 82241 42630840 17388501 1717 1965 212 257 228
38.08/38.13 c 3090 82473 42739837 17442208 1717 1970 34 215 153
38.18/38.23 c 3100 82706 42864262 17491392 1717 1975 127 210 181
38.28/38.30 c 3110 82928 42944998 17545696 1717 1981 28 210 164
38.28/38.39 c 3120 83200 43082987 17602706 1717 1984 255 257 232
38.38/38.46 c 3130 83430 43163332 17649257 1717 1991 34 212 146
38.49/38.56 c 3140 83663 43285761 17694121 1717 1998 1 218 163
38.49/38.60 c 3142 83790 43318316 17715891 1717 2000 31 126 52
38.59/38.68 c 3150 84057 43457063 17771777 1717 2004 209 257 222
38.68/38.78 c 3160 84326 43594032 17829566 1717 2010 126 257 199
38.78/38.87 c 3170 84595 43731306 17887204 1717 2017 126 257 183
38.88/38.98 c 3180 84864 43869066 17944944 1717 2022 126 257 205
38.98/39.07 c 3190 85107 43967734 18005735 1717 2025 208 216 192
39.08/39.16 c 3200 85376 44107097 18063087 1717 2031 141 257 213
39.18/39.24 c 3210 85642 44244056 18119297 1717 2038 126 257 172
39.28/39.34 c 3220 85876 44376276 18170190 1717 2042 209 215 192
39.38/39.48 c 3230 86153 44526104 18232306 1717 2045 242 257 231
39.48/39.56 c 3240 86381 44625975 18281988 1717 2051 34 212 153
39.59/39.66 c 3250 86605 44743558 18324874 1717 2057 23 210 163
39.69/39.75 c 3260 86829 44855599 18384145 1717 2060 1 211 161
39.78/39.84 c 3270 87095 44994053 18439346 1717 2069 19 257 145
39.88/39.93 c 3280 87367 45131131 18495962 1717 2073 144 257 222
39.98/40.03 c 3290 87639 45276336 18556589 1717 2077 144 257 222
40.08/40.12 c 3300 87908 45416444 18614621 1717 2084 126 257 191
40.18/40.22 c 3310 88177 45554983 18671625 1717 2090 144 257 209
40.28/40.31 c 3320 88443 45691628 18727801 1717 2099 126 257 165
40.38/40.41 c 3330 88712 45831092 18785790 1717 2103 144 257 218
40.48/40.50 c 3340 88981 45973088 18843258 1717 2109 144 257 211
40.58/40.60 c 3350 89253 46123686 18900675 1717 2117 34 257 165
40.68/40.71 c 3360 89523 46263659 18960048 1717 2125 126 257 181
40.78/40.81 c 3370 89754 46380190 19012088 1717 2131 34 214 160
40.88/40.92 c 3380 90028 46517690 19069800 1717 2136 254 257 232
40.98/41.02 c 3390 90251 46646736 19122566 1717 2139 1 212 165
41.08/41.10 c 3400 90472 46762769 19164997 1717 2145 204 208 187
41.18/41.21 c 3410 90744 46906965 19223753 1717 2150 120 257 193
41.28/41.31 c 3420 91016 47050922 19282300 1717 2155 31 257 211
41.38/41.43 c 3430 91290 47203640 19341689 1717 2160 126 257 213
41.48/41.53 c 3440 91560 47351905 19395983 1717 2169 34 257 160
41.58/41.64 c 3450 91834 47489069 19456530 1717 2173 144 257 206
41.68/41.75 c 3460 92103 47634460 19516297 1717 2177 183 257 222
41.78/41.84 c 3470 92372 47776998 19573731 1717 2181 129 257 211
41.88/41.94 c 3480 92641 47921620 19631001 1717 2186 202 257 226
41.98/42.04 c 3490 92912 48070584 19687230 1717 2193 135 257 200
42.08/42.13 c 3500 93181 48213289 19743322 1717 2199 129 257 197
42.18/42.23 c 3510 93453 48349970 19801847 1717 2203 144 257 222
42.28/42.32 c 3520 93725 48492824 19859636 1717 2207 144 257 222
42.38/42.42 c 3530 93994 48634497 19920139 1717 2211 126 257 209
42.48/42.52 c 3540 94263 48772646 19977831 1717 2215 144 257 221
42.58/42.62 c 3550 94535 48918037 20036231 1717 2218 255 257 232
42.58/42.65 c 3551 94661 48950386 20057426 1717 2219 126 126 63
42.67/42.75 c 3560 94940 49097979 20116251 1717 2225 127 257 193
42.77/42.86 c 3570 95211 49240786 20174770 1717 2233 126 257 185
42.88/42.96 c 3580 95480 49384985 20232034 1717 2239 144 257 202
42.98/43.03 c 3590 95749 49475692 20290582 1717 2245 144 257 205
43.07/43.12 c 3600 96018 49618062 20348270 1717 2251 126 257 199
43.17/43.24 c 3610 96294 49763555 20408335 1717 2255 150 257 219
43.27/43.33 c 3620 96523 49866045 20453304 1717 2264 31 215 129
43.37/43.42 c 3630 96792 50011955 20509899 1717 2270 193 257 219
43.47/43.52 c 3640 97061 50153696 20567462 1717 2274 129 257 216
43.57/43.62 c 3650 97330 50287463 20624720 1717 2280 144 257 202
43.68/43.71 c 3660 97599 50428200 20682341 1717 2286 129 257 202
43.78/43.81 c 3670 97868 50565272 20740047 1717 2292 144 257 208
43.78/43.89 c 3680 98134 50702154 20795701 1717 2301 126 257 154
43.88/43.99 c 3690 98406 50850978 20855500 1717 2306 209 257 224
43.99/44.07 c 3700 98639 50933288 20904491 1717 2311 135 215 181
44.09/44.17 c 3710 98858 51046352 20947623 1717 2319 19 208 162
44.18/44.29 c 3720 99133 51192526 21007587 1717 2322 1 257 206
44.28/44.39 c 3730 99362 51319256 21057901 1717 2329 129 214 183
44.38/44.48 c 3740 99631 51461430 21115107 1717 2335 37 257 205
44.48/44.59 c 3750 99903 51598565 21173618 1717 2343 126 257 189
44.58/44.67 c 3760 100169 51683454 21230707 1717 2352 126 257 151
44.68/44.76 c 3770 100441 51826931 21289484 1717 2356 129 257 221
44.78/44.86 c 3780 100710 51969391 21348385 1717 2363 126 257 190
44.88/44.96 c 3790 100944 52086341 21402008 1717 2368 162 214 185
44.98/45.05 c 3800 101215 52228109 21455317 1717 2375 1 257 195
45.09/45.17 c 3810 101492 52378052 21515127 1717 2379 31 257 192
45.19/45.27 c 3820 101760 52516421 21573013 1717 2388 126 257 164
45.28/45.38 c 3830 102031 52661648 21632790 1717 2395 126 257 199
45.38/45.48 c 3840 102302 52812825 21689920 1717 2403 34 257 174
45.48/45.58 c 3850 102568 52950381 21748399 1717 2412 126 257 166
45.58/45.65 c 3860 102834 53040354 21803049 1717 2418 126 257 199
45.68/45.74 c 3870 103061 53160307 21858399 1717 2427 126 214 153
45.78/45.84 c 3880 103330 53302842 21922204 1717 2431 209 257 228
45.88/45.97 c 3890 103604 53447665 21984505 1717 2435 126 257 200
45.98/46.07 c 3900 103873 53586420 22043682 1717 2443 126 257 171
46.08/46.14 c 3910 104142 53675373 22099511 1717 2452 126 257 198
46.19/46.24 c 3920 104411 53819759 22158511 1717 2458 126 257 196
46.29/46.33 c 3930 104680 53961140 22214358 1717 2464 126 257 199
46.38/46.43 c 3940 104949 54106429 22272088 1717 2470 168 257 216
46.48/46.53 c 3950 105218 54248830 22331730 1717 2476 126 257 203
46.58/46.63 c 3960 105487 54387731 22389310 1717 2480 126 257 213
46.68/46.72 c 3970 105759 54532645 22447927 1717 2484 177 257 225
46.78/46.82 c 3980 106028 54673288 22506584 1717 2490 126 257 198
46.88/46.91 c 3990 106257 54801619 22555617 1717 2497 37 213 169
46.88/46.99 c 4000 106488 54917379 22598713 1717 2500 204 210 189
46.98/47.00 c 4001 106511 54921504 22599840 1717 2501 23 23 11
46.98/47.09 c 4010 106776 55059421 22655095 1717 2508 1 257 141
47.08/47.19 c 4020 107047 55212890 22708045 1717 2515 199 257 195
47.18/47.29 c 4030 107316 55354695 22766761 1717 2522 126 257 199
47.29/47.38 c 4040 107582 55493134 22823045 1717 2529 126 257 180
47.39/47.47 c 4050 107851 55630428 22880704 1717 2536 126 257 189
47.48/47.55 c 4060 108080 55722624 22937240 1717 2545 126 213 173
47.58/47.67 c 4070 108302 55937148 22993936 1717 2551 126 210 166
47.68/47.78 c 4080 108573 56082625 23053188 1717 2559 25 257 180
47.78/47.86 c 4090 108806 56177482 23100717 1717 2564 34 215 160
47.88/47.96 c 4100 109029 56296410 23146600 1717 2569 23 209 158
47.98/48.06 c 4110 109301 56441944 23205057 1717 2573 181 257 226
48.08/48.16 c 4120 109570 56587797 23264230 1717 2577 126 257 209
48.18/48.24 c 4130 109804 56681709 23314695 1717 2582 37 214 169
48.28/48.35 c 4140 110073 56824959 23375196 1717 2589 1 257 166
48.39/48.47 c 4150 110347 56971923 23435418 1717 2593 171 257 215
48.49/48.57 c 4160 110617 57110787 23495594 1717 2600 126 257 200
48.58/48.66 c 4170 110886 57247232 23551525 1717 2606 135 257 201
48.68/48.76 c 4180 111155 57392671 23609332 1717 2612 180 257 216
48.78/48.86 c 4190 111424 57538493 23666137 1717 2618 180 257 208
48.88/48.96 c 4200 111696 57684834 23727248 1717 2621 255 257 232
48.98/49.04 c 4210 111923 57816166 23770650 1717 2624 37 213 175
49.08/49.13 c 4220 112192 57961629 23822945 1717 2631 28 257 193
49.18/49.23 c 4230 112464 58108173 23881680 1717 2635 255 257 232
49.28/49.32 c 4240 112733 58244679 23937519 1717 2641 147 257 211
49.38/49.42 c 4250 113003 58396654 23994159 1717 2647 180 257 208
49.38/49.49 c 4260 113234 58475255 24039514 1717 2653 144 216 177
49.49/49.57 c 4270 113456 58593902 24082387 1717 2657 204 208 187
49.59/49.66 c 4280 113722 58737768 24137353 1717 2666 1 257 145
49.68/49.76 c 4290 113991 58883369 24194990 1717 2673 144 257 196
49.78/49.88 c 4300 114265 59028054 24252876 1717 2678 254 257 232
49.88/49.98 c 4310 114493 59148954 24303197 1717 2688 126 215 168
49.98/50.07 c 4320 114720 59278444 24361723 1717 2693 208 210 190
50.08/50.16 c 4330 114943 59396124 24407369 1717 2700 25 210 171
50.18/50.25 c 4340 115170 59498261 24467863 1717 2705 123 211 167
50.28/50.35 c 4350 115442 59644235 24530082 1717 2708 1 257 209
50.38/50.46 c 4360 115710 59788940 24588721 1717 2716 126 257 180
50.48/50.55 c 4370 115979 59925525 24646883 1717 2719 211 257 228
50.59/50.67 c 4380 116226 60103519 24702534 1717 2723 207 215 192
50.69/50.76 c 4390 116495 60245878 24758797 1717 2729 126 257 210
50.78/50.85 c 4400 116764 60389763 24814785 1717 2733 202 257 222
50.88/50.95 c 4410 117033 60532152 24874939 1717 2739 126 257 194
50.98/51.05 c 4420 117308 60678305 24931670 1717 2743 197 257 219
51.08/51.16 c 4430 117577 60820613 24990661 1717 2749 126 257 199
51.18/51.26 c 4440 117807 60957733 25041362 1717 2756 126 214 175
51.28/51.35 c 4450 118078 61102805 25098333 1717 2760 209 257 228
51.38/51.45 c 4460 118347 61246176 25155441 1717 2766 126 257 203
51.48/51.53 c 4470 118617 61334340 25213264 1717 2775 126 257 163
51.58/51.61 c 4480 118886 61471766 25269376 1717 2779 208 257 224
51.69/51.71 c 4490 119155 61608978 25329177 1717 2786 126 257 183
51.69/51.75 c 4493 119286 61645820 25353877 1717 2789 126 129 95
51.79/51.85 c 4500 119552 61785319 25407015 1717 2795 19 257 164
51.88/51.95 c 4510 119821 61928405 25465563 1717 2798 212 257 228
51.98/52.05 c 4520 120044 62051639 25515906 1717 2806 37 214 154
52.08/52.15 c 4530 120313 62196256 25573012 1717 2810 150 257 218
52.18/52.25 c 4540 120582 62336313 25633203 1717 2817 126 257 183
52.28/52.35 c 4550 120851 62479890 25693564 1717 2824 126 257 186
52.38/52.45 c 4560 121123 62626856 25752344 1717 2827 255 257 232
52.48/52.55 c 4570 121392 62769126 25811633 1717 2831 126 257 211
52.58/52.65 c 4580 121661 62908554 25870884 1717 2837 126 257 190
52.68/52.75 c 4590 121930 63051621 25928674 1717 2843 177 257 214
52.79/52.85 c 4600 122196 63194370 25988245 1717 2852 126 257 175
52.88/52.95 c 4610 122465 63341118 26045549 1717 2855 212 257 228
53.08/53.10 c 4620 122698 63604936 26101154 1717 2862 197 215 189
53.08/53.18 c 4630 122920 63721888 26144658 1717 2868 127 208 180
53.18/53.27 c 4640 123186 63865269 26201433 1717 2876 1 257 134
53.28/53.36 c 4650 123410 63955868 26252729 1717 2881 126 212 168
53.38/53.45 c 4660 123679 64096748 26309775 1717 2885 31 257 205
53.48/53.55 c 4670 123948 64235914 26368515 1717 2892 126 257 183
53.58/53.64 c 4680 124220 64378074 26427936 1717 2896 156 257 223
53.68/53.73 c 4690 124447 64463961 26487389 1717 2903 126 213 169
53.78/53.82 c 4700 124716 64604832 26544739 1717 2908 174 257 216
53.88/53.94 c 4710 124988 64754861 26609608 1717 2914 126 257 205
53.98/54.04 c 4720 125260 64900647 26670515 1717 2918 183 257 226
54.08/54.13 c 4730 125526 65036579 26728671 1717 2925 126 257 182
54.18/54.21 c 4740 125764 65121895 26774299 1717 2932 203 215 191
54.28/54.37 c 4750 126047 65401247 26840769 1717 2937 204 257 193
54.38/54.48 c 4760 126319 65541124 26900913 1717 2945 126 257 183
54.58/54.60 c 4770 126593 65682572 26959140 1717 2950 150 257 223
54.68/54.70 c 4780 126860 65827656 27014996 1717 2956 37 257 199
54.78/54.81 c 4790 127083 65963719 27064968 1717 2960 1 212 139
54.87/54.91 c 4800 127361 66123390 27128516 1717 2965 208 257 203
54.98/55.03 c 4810 127638 66267508 27188168 1717 2970 144 257 207
55.08/55.13 c 4820 127907 66408074 27247417 1717 2976 126 257 194
55.17/55.21 c 4830 128176 66496805 27303562 1717 2985 126 257 176
55.27/55.30 c 4840 128448 66643077 27362418 1717 2988 255 257 232
55.27/55.38 c 4850 128714 66728073 27417954 1717 2997 126 257 170
55.47/55.50 c 4860 128987 66870551 27478401 1717 3001 144 257 209
55.47/55.59 c 4870 129253 67005452 27536338 1717 3008 126 257 177
55.57/55.69 c 4880 129522 67149176 27596725 1717 3013 144 257 208
55.67/55.79 c 4890 129788 67283758 27654566 1717 3020 126 257 177
55.77/55.86 c 4900 130012 67360265 27706488 1717 3026 211 213 192
55.87/55.97 c 4910 130251 67488267 27756916 1717 3031 204 210 188
55.97/56.08 c 4920 130474 67665097 27813593 1717 3038 23 210 148
56.08/56.20 c 4930 130752 67810988 27873862 1717 3041 209 257 228
56.18/56.29 c 4940 131023 67951502 27933313 1717 3050 126 257 169
56.27/56.39 c 4950 131292 68091262 27992399 1717 3054 126 257 209
56.37/56.49 c 4960 131558 68228436 28050258 1717 3063 126 257 172
56.47/56.59 c 4970 131827 68371169 28110216 1717 3069 150 257 212
56.67/56.71 c 4980 132099 68517708 28168801 1717 3074 150 257 206
56.77/56.82 c 4990 132368 68658185 28228235 1717 3080 126 257 202
56.97/57.01 c 5035 132706 68823403 28316723 1717 3088 126 257 239
57.37/57.44 c 5631 133886 69148001 28622264 1717 3367 144 257 251
57.87/57.91 c 6286 134985 69630286 28880522 1717 3378 1 257 251
58.38/58.48 c 7006 136631 70160350 29461803 1717 3386 37 257 252
58.87/58.97 c 7798 137953 70446521 29706408 1717 3482 40 257 250
59.38/59.45 c 8669 139465 70867930 30063211 1717 3498 37 257 249
59.77/59.82 c 9627 141236 71342778 30700883 1717 3511 60 67 64
60.17/60.27 c 10680 143084 71859819 31399448 1717 3528 60 67 64
60.78/60.80 c 11838 145136 72412844 32173603 1717 3535 61 67 64
61.28/61.32 c 13111 147377 73017272 33019205 1717 3543 1 67 64
61.88/61.92 c 14511 149908 73688632 33978823 1717 3549 58 67 64
62.48/62.57 c 16051 152571 74398504 34965012 1717 3559 61 67 64
63.18/63.22 c 17745 155567 75181403 36101740 1717 3573 60 67 64
63.89/63.99 c 19608 158794 76050275 37336004 1717 3586 60 67 64
64.89/64.91 c 21657 162338 77026420 38734871 1717 3598 60 67 64
65.57/65.68 c 23910 166280 78051209 40246064 1717 3609 61 67 64
66.47/66.55 c 26388 170711 79257193 42009615 1717 3619 58 67 64
67.37/67.49 c 29113 175386 80504559 43831648 1717 3629 61 67 64
68.57/68.65 c 32110 180579 81919412 45933918 1717 3643 58 67 64
69.77/69.86 c 35406 186369 83500334 48269998 1717 3652 58 67 64
71.07/71.19 c 39031 192604 85206792 50829629 1717 3670 58 67 64
72.47/72.55 c 43018 199347 87046829 53639800 1717 3679 58 67 63
74.17/74.20 c 47403 206882 89155668 56769240 1717 3698 58 67 64
75.77/75.88 c 52226 215098 91400336 60202939 1717 3714 58 67 63
77.57/77.67 c 57531 224390 93871435 64044890 1717 3726 57 67 63
79.67/79.70 c 63366 234116 96572042 68208641 1717 3738 58 67 63
82.07/82.19 c 69784 244979 99652938 72877779 1717 3748 58 67 63
84.56/84.60 c 76843 257121 102967154 77965450 1717 3758 1 67 63
87.16/87.23 c 84607 270092 106515342 83505515 1717 3768 23 67 62
90.46/90.53 c 93147 284338 110572039 89727211 1717 3775 58 67 63
93.76/93.86 c 102541 300406 114959043 96573419 1717 3783 57 67 63
97.36/97.49 c 112874 317624 119747189 103990683 1717 3805 57 67 62
101.76/101.82 c 124240 336465 125059396 112304403 1717 3812 57 67 62
106.26/106.33 c 136742 357221 130791337 121395301 1717 3828 56 67 62
111.17/111.21 c 150494 380043 137087948 131374335 1717 3841 56 67 62
117.06/117.12 c 165621 405314 144150799 142494335 1717 3863 56 67 62
123.96/124.00 c 182260 433235 152169921 154808013 1717 3871 56 67 62
130.65/130.71 c 200562 464483 160719317 168393338 1717 3887 56 67 62
138.56/138.63 c 220694 498569 170190939 183408473 1717 3903 56 67 62
146.75/146.84 c 242839 535465 180433142 199714228 1717 3918 54 65 60
157.05/157.18 c 267198 575998 192084631 217879079 1717 3934 52 63 57
168.25/168.38 c 293992 621512 204855186 237895291 1717 3946 53 63 58
179.74/179.87 c 323465 670586 218745062 259712407 1717 3962 52 63 58
193.45/193.58 c 355885 724990 234213209 283958381 1717 3981 52 63 57
207.34/207.42 c 391547 784541 250806400 310609360 1717 3998 52 63 57
223.44/223.50 c 430775 850666 269604693 340008906 1717 4014 52 63 58
241.43/241.53 c 473925 922993 290121716 372369165 1717 4040 52 63 57
260.23/260.38 c 521390 1002643 312729043 407699596 1717 4059 52 63 57
280.03/280.15 c 573601 1089435 337049611 446825206 1717 4074 52 63 58
304.82/304.98 c 631033 1187112 364456934 489902103 1717 4092 52 63 57
332.02/332.11 c 694208 1293599 395206956 538101340 1717 4113 52 63 58
361.31/361.46 c 763700 1412029 428377809 590510286 1717 4120 52 63 57
393.21/393.38 c 840141 1539570 464632734 647873381 1717 4144 50 63 57
428.20/428.31 c 924226 1681003 505271643 710844429 1717 4161 50 63 57
464.79/464.95 c 1016719 1835168 548812866 779787252 1717 4180 50 63 57
509.99/510.13 c 1118461 2002658 598540561 855805798 1717 4203 50 63 56
553.58/553.72 c 1230377 2187690 650979884 938949207 1717 4224 50 63 56
604.88/605.06 c 1353484 2391889 710083181 1030978077 1717 4249 50 63 57
660.97/661.16 c 1488901 2615780 774571223 1132837518 1717 4280 50 63 56
722.76/722.97 c 1637859 2861754 846367124 1242632048 1717 4302 50 63 56
790.24/790.46 c 1801712 3131108 924667081 1364195577 1717 4317 50 63 56
867.03/867.20 c 1981950 3430513 1012956169 1498061913 1717 4338 50 63 56
943.63/943.89 c 2180211 3755524 1106554883 1643759599 1717 4366 49 63 56
1035.02/1035.28 c 2398298 4120359 1212748797 1806161533 1717 4399 49 63 56
1136.48/1136.72 c 2638193 4521448 1331058901 1984752366 1717 4428 49 63 56
1227.58/1227.88 c 2902077 4936211 1453452802 2172342219 1717 4449 47 63 54
1330.66/1330.91 c 3192349 5387902 1588808511 2378900238 1717 4476 47 63 54
1447.03/1447.33 c 3511648 5884455 1742070803 2605696624 1717 4515 47 63 54
1576.92/1577.20 c 3862876 6438438 1907574064 2858320223 1717 4540 47 63 54
1720.89/1721.27 c 4249226 7053845 2090124121 3137853984 1717 4573 47 63 54
1890.17/1890.51 c 4674211 7726997 2298035751 3445014894 1717 4609 47 63 54
2059.44/2059.87 c 5141694 8466791 2519622494 3780050733 1717 4641 47 63 54
2277.71/2278.13 c 5655925 9295324 2777932750 4156116886 1717 4655 47 63 54
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242337-1500657774/watcher-4242337-1500657774 -o /tmp/evaluation-result-4242337-1500657774/solver-4242337-1500657774 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500648173-9850 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242337-1500657774.xml
pid=11119
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 11122
/proc/meminfo: memFree=32005036/32770624 swapFree=5680/194680
[pid=11122] ppid=11119 vsize=27784 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 1163 0 0 0 1 0 0 0 20 0 1 0 1043804 28450816 971 33554432000 4194304 5970956 140725529103072 140725529099720 139915440962533 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 6978 1004 703 434 0 342 0
[startup+0.1001 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 11122
/proc/meminfo: memFree=32005036/32770624 swapFree=5680/194680
[pid=11122] ppid=11119 vsize=50720 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 6984 0 0 0 8 1 0 0 20 0 1 0 1043804 51937280 6762 33554432000 4194304 5970956 140725529103072 140725529096648 139915440954939 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 12680 6762 804 434 0 6044 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 50720
[startup+0.200396 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 11122
/proc/meminfo: memFree=32005036/32770624 swapFree=5680/194680
[pid=11122] ppid=11119 vsize=100360 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 16396 0 0 0 17 2 0 0 20 0 1 0 1043804 102768640 17724 33554432000 4194304 5970956 140725529103072 140725529099896 139915440962533 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 25090 17724 837 434 0 18454 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 100360
[startup+0.300363 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 11122
/proc/meminfo: memFree=32005036/32770624 swapFree=5680/194680
[pid=11122] ppid=11119 vsize=169184 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 25914 0 0 0 26 3 0 0 20 0 1 0 1043804 173244416 32361 33554432000 4194304 5970956 140725529103072 140725529099896 5279833 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 42296 32361 837 434 0 35660 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 169184
[startup+0.700288 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 11122
/proc/meminfo: memFree=32005036/32770624 swapFree=5680/194680
[pid=11122] ppid=11119 vsize=472272 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 56218 0 0 0 61 8 0 0 20 0 1 0 1043804 483606528 89727 33554432000 4194304 5970956 140725529103072 140725529099896 139915440962533 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 118068 89727 837 434 0 111432 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 472272
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11123
/proc/meminfo: memFree=31417476/32770624 swapFree=5680/194696
[pid=11122] ppid=11119 vsize=874544 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 112616 0 0 0 131 18 0 0 20 0 1 0 1043804 895533056 202855 33554432000 4194304 5970956 140725529103072 140725529099896 139915440958270 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 218636 202855 837 434 0 212000 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 874544
[startup+3.10035 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11123
/proc/meminfo: memFree=30801076/32770624 swapFree=5680/194696
[pid=11122] ppid=11119 vsize=1981756 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 222616 0 0 0 269 40 0 0 20 0 1 0 1043804 2029318144 424210 33554432000 4194304 5970956 140725529103072 140725529099896 139915440962533 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 495439 424210 837 434 0 488803 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1981756
[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11123
/proc/meminfo: memFree=28997752/32770624 swapFree=5680/194700
[pid=11122] ppid=11119 vsize=3632464 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 438464 0 0 0 550 79 0 0 20 0 1 0 1043804 3719643136 846948 33554432000 4194304 5970956 140725529103072 140725529100680 4934527 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 908116 846948 853 434 0 901480 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3632464
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11123
/proc/meminfo: memFree=28609064/32770624 swapFree=5680/194700
[pid=11122] ppid=11119 vsize=3636400 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 461033 0 0 0 1189 80 0 0 20 0 1 0 1043804 3723673600 847952 33554432000 4194304 5970956 140725529103072 140725529100408 4977344 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909100 847952 854 434 0 902464 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3636400
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11123
/proc/meminfo: memFree=28608800/32770624 swapFree=5680/194700
[pid=11122] ppid=11119 vsize=3636400 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 501946 0 0 0 2465 83 0 0 20 0 1 0 1043804 3723673600 847966 33554432000 4194304 5970956 140725529103072 140725529100408 5273320 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909100 847966 854 434 0 902464 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3636400
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11123
/proc/meminfo: memFree=28606504/32770624 swapFree=5680/194700
[pid=11122] ppid=11119 vsize=3636592 CPUtime=51.08 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 560591 0 0 0 5021 87 0 0 20 0 1 0 1043804 3723870208 848500 33554432000 4194304 5970956 140725529103072 140725529100408 4976701 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909148 848500 854 434 0 902512 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3636592
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11124
/proc/meminfo: memFree=28603064/32770624 swapFree=5680/194832
[pid=11122] ppid=11119 vsize=3636592 CPUtime=102.27 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 582880 0 0 0 10139 88 0 0 20 0 1 0 1043804 3723870208 848511 33554432000 4194304 5970956 140725529103072 140725529100408 4969913 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909148 848511 854 434 0 902512 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 3636592
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11126
/proc/meminfo: memFree=28603104/32770624 swapFree=5680/194896
[pid=11122] ppid=11119 vsize=3636592 CPUtime=162.25 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 593572 0 0 0 16137 88 0 0 20 0 1 0 1043804 3723870208 848512 33554432000 4194304 5970956 140725529103072 140725529100408 4970651 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909148 848512 854 434 0 902512 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 3636592
[startup+222.308 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 11127
/proc/meminfo: memFree=28603440/32770624 swapFree=5680/194896
[pid=11122] ppid=11119 vsize=3636592 CPUtime=222.24 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 604302 0 0 0 22135 89 0 0 20 0 1 0 1043804 3723870208 848513 33554432000 4194304 5970956 140725529103072 140725529100408 4970613 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909148 848513 854 434 0 902512 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 3636592
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11128
/proc/meminfo: memFree=28603596/32770624 swapFree=5680/195032
[pid=11122] ppid=11119 vsize=3636592 CPUtime=282.23 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 615007 0 0 0 28133 90 0 0 20 0 1 0 1043804 3723870208 848514 33554432000 4194304 5970956 140725529103072 140725529100408 4934460 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909148 848514 854 434 0 902512 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 3636592
[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 11130
/proc/meminfo: memFree=28603628/32770624 swapFree=5680/195032
[pid=11122] ppid=11119 vsize=3636592 CPUtime=342.22 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 624878 0 0 0 34131 91 0 0 20 0 1 0 1043804 3723870208 848515 33554432000 4194304 5970956 140725529103072 140725529100408 5242679 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909148 848515 854 434 0 902512 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 3636592
[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 11131
/proc/meminfo: memFree=28604240/32770624 swapFree=5680/195168
[pid=11122] ppid=11119 vsize=3636592 CPUtime=402.2 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 634878 0 0 0 40129 91 0 0 20 0 1 0 1043804 3723870208 848515 33554432000 4194304 5970956 140725529103072 140725529100408 4934366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909148 848515 854 434 0 902512 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 3636592
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/245 11141
/proc/meminfo: memFree=28602352/32770624 swapFree=5680/195212
[pid=11122] ppid=11119 vsize=3636592 CPUtime=462.19 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 644736 0 0 0 46127 92 0 0 20 0 1 0 1043804 3723870208 848515 33554432000 4194304 5970956 140725529103072 140725529100408 4908215 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909148 848515 854 434 0 902512 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 3636592
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 11142
/proc/meminfo: memFree=28602104/32770624 swapFree=5680/195240
[pid=11122] ppid=11119 vsize=3636592 CPUtime=522.19 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 653905 0 0 0 52126 93 0 0 20 0 1 0 1043804 3723870208 848516 33554432000 4194304 5970956 140725529103072 140725529100408 5239872 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909148 848516 854 434 0 902512 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 3636592
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 11143
/proc/meminfo: memFree=28602092/32770624 swapFree=5680/195240
[pid=11122] ppid=11119 vsize=3636592 CPUtime=582.18 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 663267 0 0 0 58125 93 0 0 20 0 1 0 1043804 3723870208 848516 33554432000 4194304 5970956 140725529103072 140725529100408 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909148 848516 854 434 0 902512 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 3636592
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.04 2.03 2.05 3/242 11233
/proc/meminfo: memFree=26221936/32770624 swapFree=5680/196600
[pid=11122] ppid=11119 vsize=3636592 CPUtime=1542.03 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 763251 0 0 0 154105 98 0 0 20 0 1 0 1043804 3723870208 848519 33554432000 4194304 5970956 140725529103072 140725529100408 5025405 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909148 848519 854 434 0 902512 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 3636592
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/242 11234
/proc/meminfo: memFree=26222436/32770624 swapFree=5680/196572
[pid=11122] ppid=11119 vsize=3636592 CPUtime=1602.02 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 767045 0 0 0 160104 98 0 0 20 0 1 0 1043804 3723870208 848520 33554432000 4194304 5970956 140725529103072 140725529100408 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909148 848520 854 434 0 902512 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 3636592
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11243
/proc/meminfo: memFree=26219288/32770624 swapFree=5680/196676
[pid=11122] ppid=11119 vsize=3636592 CPUtime=1662 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 772147 0 0 0 166102 98 0 0 20 0 1 0 1043804 3723870208 848520 33554432000 4194304 5970956 140725529103072 140725529100408 4930544 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909148 848520 854 434 0 902512 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 3636592
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11244
/proc/meminfo: memFree=26219224/32770624 swapFree=5680/196684
[pid=11122] ppid=11119 vsize=3636592 CPUtime=1721.99 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 775934 0 0 0 172101 98 0 0 20 0 1 0 1043804 3723870208 848520 33554432000 4194304 5970956 140725529103072 140725529100408 5031440 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909148 848520 854 434 0 902512 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 3636592
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11245
/proc/meminfo: memFree=26220256/32770624 swapFree=5680/196736
[pid=11122] ppid=11119 vsize=3636592 CPUtime=1781.98 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 778805 0 0 0 178100 98 0 0 20 0 1 0 1043804 3723870208 848520 33554432000 4194304 5970956 140725529103072 140725529100408 5031474 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909148 848520 854 434 0 902512 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 3636592
[startup+1842.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 11246
/proc/meminfo: memFree=26220240/32770624 swapFree=5680/196788
[pid=11122] ppid=11119 vsize=3636592 CPUtime=1841.97 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 781690 0 0 0 184099 98 0 0 20 0 1 0 1043804 3723870208 848520 33554432000 4194304 5970956 140725529103072 140725529100408 5327850 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909148 848520 854 434 0 902512 0
Current children cumulated CPU time (s) 1841.97
Current children cumulated vsize (KiB) 3636592
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11247
/proc/meminfo: memFree=26221736/32770624 swapFree=5680/196832
[pid=11122] ppid=11119 vsize=3636592 CPUtime=1901.97 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 784893 0 0 0 190098 99 0 0 20 0 1 0 1043804 3723870208 848520 33554432000 4194304 5970956 140725529103072 140725529100408 4974704 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909148 848520 854 434 0 902512 0
Current children cumulated CPU time (s) 1901.97
Current children cumulated vsize (KiB) 3636592
[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 11249
/proc/meminfo: memFree=26219020/32770624 swapFree=5680/196876
[pid=11122] ppid=11119 vsize=3636592 CPUtime=1961.95 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 787668 0 0 0 196096 99 0 0 20 0 1 0 1043804 3723870208 848520 33554432000 4194304 5970956 140725529103072 140725529100408 4977138 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909148 848520 854 434 0 902512 0
Current children cumulated CPU time (s) 1961.95
Current children cumulated vsize (KiB) 3636592
[startup+2022.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 11250
/proc/meminfo: memFree=26218792/32770624 swapFree=5680/196916
[pid=11122] ppid=11119 vsize=3636592 CPUtime=2021.94 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 790440 0 0 0 202095 99 0 0 20 0 1 0 1043804 3723870208 848520 33554432000 4194304 5970956 140725529103072 140725529100408 4974400 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909148 848520 854 434 0 902512 0
Current children cumulated CPU time (s) 2021.94
Current children cumulated vsize (KiB) 3636592
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11251
/proc/meminfo: memFree=26219540/32770624 swapFree=5680/196988
[pid=11122] ppid=11119 vsize=3636592 CPUtime=2081.94 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 793688 0 0 0 208095 99 0 0 20 0 1 0 1043804 3723870208 848520 33554432000 4194304 5970956 140725529103072 140725529100408 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909148 848520 854 434 0 902512 0
Current children cumulated CPU time (s) 2081.94
Current children cumulated vsize (KiB) 3636592
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11253
/proc/meminfo: memFree=26219752/32770624 swapFree=5680/196996
[pid=11122] ppid=11119 vsize=3636592 CPUtime=2141.92 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 796671 0 0 0 214093 99 0 0 20 0 1 0 1043804 3723870208 848520 33554432000 4194304 5970956 140725529103072 140725529100408 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909148 848520 854 434 0 902512 0
Current children cumulated CPU time (s) 2141.92
Current children cumulated vsize (KiB) 3636592
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11254
/proc/meminfo: memFree=26219860/32770624 swapFree=5680/197036
[pid=11122] ppid=11119 vsize=3636592 CPUtime=2201.92 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 799586 0 0 0 220093 99 0 0 20 0 1 0 1043804 3723870208 848520 33554432000 4194304 5970956 140725529103072 140725529100408 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909148 848520 854 434 0 902512 0
Current children cumulated CPU time (s) 2201.92
Current children cumulated vsize (KiB) 3636592
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11262
/proc/meminfo: memFree=26217584/32770624 swapFree=5680/197084
[pid=11122] ppid=11119 vsize=3636592 CPUtime=2261.9 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 802787 0 0 0 226090 100 0 0 20 0 1 0 1043804 3723870208 848635 33554432000 4194304 5970956 140725529103072 140725529100408 4908737 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909148 848635 854 434 0 902512 0
Current children cumulated CPU time (s) 2261.9
Current children cumulated vsize (KiB) 3636592
[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 11285
/proc/meminfo: memFree=26216704/32770624 swapFree=5680/197136
[pid=11122] ppid=11119 vsize=3636856 CPUtime=2321.89 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 805330 0 0 0 232089 100 0 0 20 0 1 0 1043804 3724140544 848681 33554432000 4194304 5970956 140725529103072 140725529100088 4974228 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909214 848681 854 434 0 902578 0
Current children cumulated CPU time (s) 2321.89
Current children cumulated vsize (KiB) 3636856
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11286
/proc/meminfo: memFree=26217440/32770624 swapFree=5680/197176
[pid=11122] ppid=11119 vsize=3636856 CPUtime=2381.88 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 807654 0 0 0 238088 100 0 0 20 0 1 0 1043804 3724140544 848682 33554432000 4194304 5970956 140725529103072 140725529100088 5031479 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909214 848682 854 434 0 902578 0
Current children cumulated CPU time (s) 2381.88
Current children cumulated vsize (KiB) 3636856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.5 s]
/proc/loadavg: 2.10 2.04 2.05 3/243 11286
/proc/meminfo: memFree=26218636/32770624 swapFree=5680/197216
[pid=11122] ppid=11119 vsize=3636856 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 808027 0 0 0 239908 100 0 0 20 0 1 0 1043804 3724140544 848682 33554432000 4194304 5970956 140725529103072 140725529100088 4908175 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909214 848682 854 434 0 902578 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 3636856
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11122 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.5 s]
/proc/loadavg: 2.10 2.04 2.05 3/243 11286
/proc/meminfo: memFree=26218636/32770624 swapFree=5680/197216
[pid=11122] ppid=11119 vsize=3636856 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9818 0 -1 4202496 808027 0 0 0 239908 100 0 0 20 0 1 0 1043804 3724140544 848682 33554432000 4194304 5970956 140725529103072 140725529100088 4908175 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 23728128 140725529109692 140725529109827 140725529109827 140725529112526 0
/proc/11122/statm: 909214 848682 854 434 0 902578 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 3636856
Child status: 1
Real time (s): 2400.51
CPU time (s): 2400.1
CPU user time (s): 2399.08
CPU system time (s): 1.01984
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 3636856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.08
system time used= 1.01984
maximum resident set size= 3394776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 808049
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= 58
involuntary context switches= 120647
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.28581 second user time and 11.6406 second system time
The end