0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 66 Exactly/AtMost.. constraint
0.00/0.03 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c Create Cardinality(vars,values,occurs) constraint using 68 Exactly/AtMost.. constraint
0.00/0.05 c
0.00/0.05 c intension hd[0]<ad[0] using generic constraint
0.00/0.05 c intension hd[1]<ad[1] using generic constraint
0.00/0.06 c intension hd[2]<ad[2] using generic constraint
0.00/0.06 c intension hd[3]<ad[3] using generic constraint
0.00/0.06 c intension hd[4]<ad[4] using generic constraint
0.00/0.06 c intension hd[5]<ad[5] using generic constraint
0.00/0.06 c intension hd[6]<ad[6] using generic constraint
0.00/0.06 c intension hd[7]<ad[7] using generic constraint
0.00/0.06 c intension hd[8]<ad[8] using generic constraint
0.00/0.06 c intension hd[9]<ad[9] using generic constraint
0.00/0.06 c intension hd[10]<ad[10] using generic constraint
0.00/0.06 c intension hd[11]<ad[11] using generic constraint
0.00/0.06 c intension hd[12]<ad[12] using generic constraint
0.00/0.06 c intension hd[13]<ad[13] using generic constraint
0.00/0.06 c intension hd[14]<ad[14] using generic constraint
0.00/0.06 c intension hd[15]<ad[15] using generic constraint
0.00/0.06 c intension hd[16]<ad[16] using generic constraint
6.10/6.11 c SAT : Variables: 354025 -- Clauses: 88772113
6.19/6.21 c root propagations : 13973
6.19/6.21 c restarts enabled, print stats at every restarts
6.19/6.21 c
6.19/6.21 c
6.19/6.21 c
6.19/6.21 c This is cosoco 1.12 --
6.19/6.21 c
6.19/6.21 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266413-1502583623.xml
6.19/6.21 c ========================================[ Problem Statistics ]===========================================
6.19/6.21 c |
6.19/6.21 c | Parse time : 5.30 s
6.19/6.21 c |
6.19/6.21 c | Variables: 1717
6.19/6.21 c | Domain Sizes: 34..561
6.19/6.21 c |
6.19/6.21 c | Constraints: 2397
6.19/6.21 c | Arity: 1..561 -- Unary: 17 -- Binary: 17 -- Ternary: 561
6.19/6.21 c |
6.19/6.21 c | Types:
6.19/6.21 c | (X - Y < k): 17
6.19/6.21 c | All Different: 35
6.19/6.21 c | At least: 578
6.19/6.21 c | At most: 578
6.19/6.21 c | Exactly K: 611
6.19/6.21 c | Extension: 561 (nb tuples: 561..561) -- (shared: 560)
6.19/6.21 c | Intension: 17
6.19/6.21 c |
6.19/6.21 c =========================================================================================================
6.19/6.21 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
6.19/6.23 c 10 111 141983 32442 1717 10 96 102 90
6.29/6.32 c 20 406 239204 85337 1717 15 1 272 204
6.39/6.47 c 30 713 436780 155647 1717 24 19 294 123
6.59/6.60 c 40 1008 597141 216652 1717 32 1 281 152
6.59/6.69 c 50 1288 683402 269632 1717 42 146 269 199
6.69/6.79 c 60 1541 808779 315321 1717 51 21 241 165
6.89/6.91 c 70 1794 945906 374517 1717 57 55 240 157
6.89/7.00 c 80 2044 1019675 422122 1717 67 19 239 123
7.10/7.14 c 90 2299 1210860 479509 1717 74 59 241 177
7.19/7.24 c 100 2556 1333423 528508 1717 84 53 248 156
7.19/7.26 c 101 2614 1341719 530505 1717 85 58 58 29
7.29/7.37 c 110 2873 1467583 581769 1717 94 19 251 133
7.39/7.48 c 120 3142 1577777 630756 1717 101 56 245 162
7.59/7.60 c 130 3438 1728596 690090 1717 110 1 287 152
7.69/7.72 c 140 3737 1884281 746441 1717 117 53 287 178
7.79/7.81 c 150 3993 1961374 794097 1717 124 21 246 153
7.89/7.93 c 160 4249 2107420 846455 1717 133 1 242 149
8.00/8.03 c 170 4545 2213144 905587 1717 142 21 287 149
8.10/8.14 c 180 4842 2360579 963174 1717 148 21 287 199
8.19/8.24 c 190 5102 2457589 1012105 1717 154 1 242 141
8.29/8.36 c 200 5401 2609049 1069659 1717 162 23 287 181
8.39/8.48 c 210 5702 2770005 1133060 1717 168 21 287 191
8.39/8.50 c 211 5721 2773701 1134240 1717 169 19 19 9
8.59/8.60 c 220 6016 2925864 1192174 1717 176 1 287 154
8.69/8.70 c 230 6275 3063524 1241569 1717 183 23 241 159
8.69/8.80 c 240 6532 3140320 1290146 1717 193 21 248 120
8.79/8.88 c 250 6831 3234617 1346793 1717 200 29 287 220
8.89/8.97 c 260 7127 3329307 1404705 1717 209 21 287 159
9.00/9.06 c 270 7425 3427891 1462054 1717 218 21 287 176
9.10/9.18 c 280 7679 3579686 1515018 1717 225 21 242 153
9.19/9.29 c 290 7978 3731755 1573672 1717 230 1 287 176
9.29/9.40 c 300 8277 3880475 1632832 1717 236 31 287 202
9.49/9.51 c 310 8543 4043955 1688531 1717 242 34 243 174
9.59/9.63 c 320 8839 4195330 1748815 1717 249 23 287 158
9.69/9.74 c 330 9140 4304975 1806802 1717 259 23 287 140
9.69/9.76 c 332 9172 4319652 1811000 1717 261 23 31 18
9.79/9.86 c 340 9466 4472744 1864075 1717 269 19 287 122
9.89/9.93 c 350 9690 4551930 1910086 1717 277 32 215 160
9.99/10.02 c 360 9986 4648679 1967985 1717 286 19 287 147
10.09/10.14 c 370 10285 4799188 2028523 1717 293 19 287 178
10.19/10.25 c 380 10581 4949229 2087401 1717 302 19 287 143
10.28/10.35 c 390 10802 5075880 2133759 1717 309 23 211 120
10.39/10.47 c 400 11098 5227641 2193880 1717 319 23 287 113
10.59/10.60 c 410 11330 5405208 2249165 1717 327 31 215 137
10.59/10.69 c 420 11629 5510913 2307635 1717 336 23 287 144
10.69/10.77 c 430 11928 5603978 2367971 1717 342 130 287 232
10.79/10.87 c 440 12224 5750413 2425631 1717 351 32 287 168
10.89/10.99 c 450 12452 5877087 2481064 1717 357 31 215 130
11.00/11.10 c 460 12748 6033003 2539825 1717 366 23 287 154
11.10/11.17 c 465 12964 6101810 2582934 1717 371 31 212 93
11.19/11.25 c 470 13176 6214741 2624157 1717 376 32 208 142
11.29/11.32 c 480 13398 6289594 2670889 1717 386 23 213 107
11.39/11.44 c 490 13706 6444963 2730641 1717 394 19 287 125
11.49/11.55 c 500 13931 6560194 2782666 1717 401 23 212 118
11.59/11.66 c 510 14227 6711420 2841124 1717 410 1 287 123
11.69/11.76 c 520 14462 6840978 2890268 1717 415 38 215 169
11.79/11.86 c 530 14693 6962534 2937645 1717 420 25 210 164
11.89/11.98 c 540 14992 7111170 2996590 1717 428 23 287 162
12.00/12.07 c 550 15288 7210671 3059246 1717 434 31 287 197
12.10/12.17 c 560 15590 7353993 3118102 1717 438 32 287 237
12.29/12.30 c 570 15892 7503159 3180313 1717 443 31 287 202
12.39/12.40 c 580 16191 7652976 3236391 1717 449 19 287 206
12.49/12.52 c 590 16487 7805025 3297118 1717 459 19 287 123
12.59/12.62 c 600 16718 7904101 3350533 1717 465 23 215 136
12.69/12.74 c 610 17014 8053526 3409712 1717 474 23 287 128
12.69/12.76 c 611 17037 8057633 3410863 1717 475 23 23 11
12.78/12.84 c 620 17263 8139834 3459347 1717 483 1 214 100
12.88/12.97 c 630 17490 8321318 3514424 1717 491 23 211 148
12.99/13.07 c 640 17712 8447292 3559560 1717 498 19 210 146
13.09/13.16 c 650 18007 8552345 3615664 1717 508 23 281 110
13.18/13.25 c 660 18308 8650527 3678820 1717 514 31 287 201
13.28/13.33 c 670 18607 8748484 3738778 1717 520 32 287 222
13.38/13.44 c 680 18906 8897169 3799085 1717 526 126 287 221
13.48/13.54 c 690 19202 9041832 3855258 1717 533 130 287 187
13.59/13.64 c 700 19435 9135454 3904351 1717 538 31 215 153
13.69/13.74 c 710 19734 9279203 3959370 1717 544 25 287 207
13.79/13.82 c 720 20030 9377810 4016727 1717 551 19 287 175
13.89/13.94 c 730 20326 9529298 4074062 1717 560 19 287 165
14.00/14.08 c 740 20554 9722609 4131518 1717 566 31 214 136
14.10/14.19 c 750 20850 9874740 4189777 1717 575 23 287 144
14.29/14.30 c 760 21081 9995692 4246065 1717 581 31 215 145
14.29/14.39 c 770 21346 10119576 4290953 1717 588 127 248 185
14.39/14.41 c 771 21374 10125965 4293994 1717 589 28 28 14
14.49/14.50 c 780 21595 10228361 4345661 1717 597 19 211 98
14.49/14.58 c 790 21891 10325589 4401959 1717 604 19 287 176
14.58/14.67 c 800 22190 10424667 4459991 1717 611 28 287 200
14.68/14.77 c 810 22489 10575867 4518081 1717 617 29 287 203
14.78/14.88 c 820 22791 10729596 4576017 1717 622 28 287 199
14.89/14.96 c 830 23087 10827877 4632291 1717 630 29 287 200
15.00/15.08 c 840 23388 10985951 4696051 1717 636 28 287 184
15.10/15.20 c 850 23695 11147314 4755949 1717 643 19 287 164
15.19/15.27 c 860 23991 11246541 4815080 1717 648 144 287 227
15.29/15.36 c 870 24295 11351208 4876470 1717 654 32 287 216
15.39/15.44 c 880 24594 11450663 4935366 1717 658 147 287 247
15.49/15.54 c 890 24863 11596076 4993861 1717 664 130 257 216
15.59/15.68 c 900 25096 11783794 5054277 1717 668 35 215 153
15.79/15.80 c 910 25394 11931537 5114283 1717 677 25 287 155
15.89/15.92 c 920 25698 12081188 5172208 1717 682 212 287 253
16.00/16.04 c 930 25929 12224062 5221394 1717 689 1 215 140
16.10/16.15 c 940 26225 12377731 5280883 1717 697 1 287 129
16.19/16.24 c 947 26442 12450986 5326605 1717 704 23 211 76
16.19/16.26 c 950 26475 12464982 5332049 1717 707 19 31 18
16.29/16.36 c 960 26745 12611269 5391206 1717 715 32 257 189
16.39/16.48 c 970 27019 12758023 5456243 1717 720 133 257 217
16.49/16.55 c 980 27290 12850728 5509504 1717 730 144 257 185
16.59/16.62 c 990 27559 12943663 5567844 1717 735 199 257 226
16.69/16.74 c 1000 27833 13091257 5625634 1717 740 254 257 232
16.79/16.85 c 1010 28104 13243075 5683958 1717 746 1 257 186
16.89/16.96 c 1020 28373 13389419 5740665 1717 753 38 257 200
17.00/17.04 c 1030 28602 13512754 5785678 1717 759 130 211 184
17.10/17.14 c 1040 28829 13632849 5835820 1717 768 1 218 89
17.19/17.21 c 1050 29100 13726554 5893044 1717 777 34 257 188
17.29/17.33 c 1060 29374 13869988 5952535 1717 782 130 257 208
17.39/17.44 c 1070 29646 14022696 6011427 1717 786 1 257 149
17.49/17.53 c 1080 29915 14163356 6067066 1717 792 208 257 220
17.59/17.63 c 1090 30187 14308717 6126144 1717 796 144 257 222
17.69/17.74 c 1100 30456 14450779 6186064 1717 800 126 257 209
17.79/17.84 c 1110 30725 14592764 6242873 1717 805 212 257 227
17.89/17.96 c 1120 30950 14765393 6295018 1717 810 35 215 154
18.00/18.05 c 1130 31171 14854030 6343362 1717 817 1 212 117
18.10/18.15 c 1140 31443 14996128 6402099 1717 823 26 257 176
18.19/18.22 c 1141 31700 15088177 6449346 1717 824 257 257 128
18.19/18.29 c 1150 31968 15183032 6504364 1717 828 251 257 229
18.29/18.39 c 1160 32240 15329444 6565623 1717 833 32 257 205
18.39/18.49 c 1170 32509 15473321 6623053 1717 842 31 257 156
18.59/18.61 c 1180 32786 15620577 6683596 1717 846 130 257 221
18.69/18.71 c 1190 33017 15728784 6732791 1717 851 31 215 137
18.79/18.81 c 1200 33289 15870467 6791362 1717 857 25 257 206
18.89/18.91 c 1210 33520 15988894 6841726 1717 865 31 215 143
18.99/19.01 c 1220 33742 16106485 6885314 1717 870 1 208 146
19.09/19.11 c 1230 34011 16253293 6943902 1717 875 1 257 165
19.19/19.21 c 1240 34280 16395063 7001990 1717 881 126 257 208
19.19/19.29 c 1250 34549 16486291 7064351 1717 885 126 257 209
19.39/19.41 c 1260 34821 16635825 7123051 1717 890 129 257 203
19.39/19.47 c 1270 35049 16712692 7169337 1717 898 126 216 169
19.49/19.57 c 1280 35318 16858101 7227245 1717 904 26 257 176
19.58/19.67 c 1290 35587 17005136 7285178 1717 911 31 257 174
19.68/19.77 c 1300 35864 17146518 7344730 1717 915 37 257 201
19.78/19.87 c 1310 36133 17293672 7400308 1717 921 126 257 206
19.88/19.95 c 1320 36364 17374245 7446585 1717 926 37 212 169
19.99/20.06 c 1330 36630 17517727 7505533 1717 933 25 257 182
20.09/20.15 c 1340 36863 17642773 7551763 1717 940 37 215 163
20.18/20.24 c 1350 37102 17735488 7606951 1717 944 206 212 190
20.18/20.26 c 1352 37129 17743457 7609307 1717 946 19 26 15
20.28/20.35 c 1360 37348 17861327 7653789 1717 951 1 210 132
20.38/20.45 c 1370 37614 18011223 7712428 1717 960 19 257 134
20.49/20.53 c 1380 37880 18097584 7771587 1717 966 126 257 187
20.59/20.60 c 1390 38150 18192939 7828695 1717 975 126 257 203
20.59/20.70 c 1400 38419 18330238 7885668 1717 981 126 257 199
20.79/20.80 c 1410 38693 18475983 7946583 1717 986 37 257 193
20.79/20.87 c 1420 38959 18560921 8002117 1717 995 126 257 179
20.89/20.94 c 1430 39228 18648076 8058614 1717 1000 126 257 207
21.00/21.03 c 1440 39461 18740223 8105324 1717 1005 126 212 183
21.10/21.11 c 1450 39689 18834211 8155649 1717 1011 28 211 169
21.19/21.21 c 1460 39955 18978858 8208356 1717 1021 19 257 171
21.29/21.31 c 1470 40224 19127431 8261508 1717 1027 211 257 204
21.29/21.39 c 1480 40449 19228338 8310185 1717 1033 126 215 166
21.39/21.50 c 1490 40718 19368920 8368940 1717 1038 1 257 164
21.59/21.60 c 1500 40942 19498242 8418441 1717 1047 23 215 126
21.69/21.71 c 1510 41211 19642406 8477456 1717 1054 124 257 198
21.79/21.80 c 1520 41480 19785350 8535952 1717 1060 126 257 205
21.79/21.89 c 1530 41707 19869553 8585966 1717 1066 35 215 163
21.89/21.98 c 1540 41931 19984648 8632755 1717 1071 28 212 174
22.00/22.09 c 1550 42200 20133011 8692455 1717 1076 23 257 198
22.10/22.20 c 1560 42466 20281241 8752740 1717 1083 31 257 160
22.29/22.32 c 1570 42732 20436753 8813621 1717 1090 23 257 151
22.39/22.42 c 1580 43005 20585611 8874308 1717 1095 211 257 220
22.49/22.53 c 1585 43266 20733256 8927734 1717 1099 130 257 176
22.59/22.62 c 1590 43527 20872662 8980915 1717 1103 126 257 166
22.69/22.71 c 1600 43796 21013979 9038458 1717 1109 126 257 192
22.79/22.83 c 1610 44033 21188479 9097997 1717 1114 38 215 169
22.89/22.92 c 1620 44249 21304483 9141425 1717 1120 23 207 155
23.00/23.02 c 1630 44466 21421399 9194783 1717 1125 19 208 131
23.10/23.11 c 1640 44735 21562514 9252415 1717 1132 37 257 188
23.19/23.20 c 1650 45001 21697120 9309700 1717 1141 126 257 178
23.19/23.29 c 1660 45270 21836415 9367035 1717 1148 126 257 184
23.39/23.40 c 1670 45547 21985078 9426638 1717 1152 153 257 220
23.49/23.50 c 1680 45813 22134436 9485458 1717 1161 23 257 119
23.59/23.64 c 1690 46094 22338165 9546968 1717 1167 38 257 178
23.69/23.74 c 1700 46363 22483255 9605867 1717 1173 34 257 210
23.79/23.87 c 1710 46591 22671842 9661123 1717 1180 41 214 171
23.89/23.96 c 1720 46821 22797432 9707440 1717 1185 25 210 165
24.00/24.07 c 1730 47090 22943445 9765558 1717 1190 1 257 187
24.10/24.17 c 1740 47359 23091965 9824238 1717 1195 130 257 210
24.19/24.26 c 1750 47628 23230081 9880843 1717 1199 150 257 216
24.29/24.36 c 1760 47860 23339786 9937413 1717 1206 34 215 154
24.39/24.47 c 1770 48128 23485318 9994266 1717 1215 23 257 173
24.49/24.56 c 1780 48394 23624377 10052083 1717 1224 126 257 171
24.69/24.71 c 1790 48624 23871309 10106269 1717 1230 35 215 173
24.79/24.81 c 1800 48896 24013218 10164977 1717 1233 255 257 232
24.89/24.91 c 1810 49165 24158037 10222714 1717 1237 144 257 212
24.89/25.00 c 1820 49434 24297772 10278340 1717 1243 126 257 207
25.00/25.09 c 1830 49703 24435191 10336293 1717 1250 126 257 185
25.10/25.19 c 1840 49972 24579523 10394303 1717 1253 150 257 223
25.19/25.22 c 1841 50098 24612059 10415467 1717 1254 126 126 63
25.29/25.34 c 1850 50371 24751631 10473953 1717 1258 147 257 214
25.39/25.46 c 1860 50640 24946286 10531345 1717 1265 38 257 189
25.49/25.56 c 1870 50863 25063447 10580308 1717 1274 38 212 150
25.59/25.68 c 1880 51138 25252988 10638043 1717 1281 19 257 170
25.69/25.78 c 1890 51366 25376924 10689754 1717 1288 31 212 128
25.79/25.89 c 1900 51635 25519100 10749507 1717 1295 19 257 176
25.89/25.98 c 1910 51904 25655392 10807740 1717 1299 126 257 209
25.99/26.09 c 1920 52173 25799404 10866352 1717 1304 32 257 202
26.19/26.20 c 1930 52399 25955405 10918423 1717 1312 38 215 159
26.29/26.30 c 1940 52630 26074554 10964289 1717 1316 1 210 162
26.39/26.40 c 1950 52899 26222291 11021902 1717 1320 23 257 203
26.39/26.49 c 1960 53168 26363035 11077382 1717 1324 144 257 218
26.49/26.58 c 1970 53437 26506746 11133405 1717 1330 144 257 209
26.59/26.67 c 1980 53665 26600942 11182341 1717 1338 35 215 155
26.69/26.78 c 1990 53933 26740520 11240869 1717 1346 19 257 152
26.79/26.89 c 2000 54210 26888679 11302224 1717 1352 126 257 205
26.99/27.03 c 2010 54445 27084479 11360175 1717 1358 38 215 170
27.10/27.15 c 2020 54671 27258969 11410931 1717 1362 31 211 150
27.19/27.24 c 2030 54901 27384096 11457075 1717 1367 204 210 188
27.29/27.36 c 2040 55173 27539433 11516446 1717 1371 1 257 173
27.39/27.46 c 2050 55445 27683109 11574899 1717 1375 144 257 222
27.49/27.57 c 2060 55722 27830358 11634544 1717 1379 144 257 213
27.59/27.66 c 2070 55991 27975491 11690209 1717 1385 144 257 213
27.69/27.74 c 2080 56221 28057831 11738505 1717 1393 38 214 161
27.79/27.85 c 2090 56490 28208125 11796910 1717 1399 1 257 161
27.89/27.97 c 2100 56723 28385814 11849435 1717 1404 35 215 162
28.00/28.06 c 2110 56992 28527349 11907789 1717 1410 19 257 182
28.10/28.19 c 2120 57265 28718923 11965085 1717 1416 35 257 189
28.19/28.24 c 2122 57440 28774786 11996838 1717 1418 150 174 108
28.29/28.34 c 2130 57707 28916646 12052065 1717 1425 19 257 171
28.39/28.43 c 2140 57976 29057874 12108909 1717 1429 217 257 227
28.49/28.54 c 2150 58255 29206767 12173352 1717 1432 254 257 233
28.59/28.62 c 2160 58483 29294627 12226781 1717 1438 34 214 176
28.69/28.70 c 2170 58710 29417753 12274483 1717 1446 19 210 164
28.79/28.82 c 2180 58933 29593886 12332592 1717 1452 19 211 123
28.89/28.95 c 2190 59205 29784487 12390882 1717 1457 26 257 182
29.00/29.06 c 2200 59446 29929742 12444621 1717 1463 35 214 169
29.10/29.15 c 2210 59712 30070937 12501196 1717 1469 25 257 168
29.19/29.27 c 2220 59983 30225417 12565188 1717 1477 35 257 166
29.29/29.39 c 2230 60218 30395223 12620136 1717 1479 38 214 176
29.39/29.47 c 2240 60442 30508390 12661429 1717 1483 208 208 189
29.49/29.56 c 2250 60724 30666089 12719982 1717 1487 123 257 196
29.59/29.66 c 2260 61009 30822191 12779645 1717 1491 126 257 188
29.69/29.77 c 2270 61244 30952923 12836616 1717 1497 34 215 153
29.78/29.88 c 2280 61513 31103543 12895835 1717 1503 23 257 168
29.88/29.97 c 2290 61779 31246241 12952967 1717 1512 126 257 171
29.99/30.09 c 2300 62053 31396528 13014950 1717 1517 38 257 194
30.09/30.18 c 2310 62322 31537196 13072531 1717 1523 126 257 219
30.18/30.29 c 2320 62591 31684277 13132111 1717 1529 129 257 213
30.38/30.42 c 2330 62828 31890476 13184487 1717 1531 135 214 185
30.48/30.52 c 2340 63057 32014936 13231687 1717 1536 23 210 157
30.58/30.63 c 2350 63326 32161310 13290220 1717 1544 23 257 174
30.68/30.72 c 2360 63557 32260752 13341485 1717 1549 209 215 192
30.68/30.79 c 2370 63784 32375516 13385838 1717 1551 25 210 172
30.88/30.90 c 2380 64053 32530091 13446227 1717 1557 19 257 166
30.88/31.00 c 2390 64322 32668818 13504001 1717 1563 126 257 198
31.09/31.11 c 2400 64599 32809318 13563563 1717 1568 126 257 206
31.18/31.23 c 2410 64873 32950816 13622821 1717 1573 126 257 198
31.28/31.35 c 2420 65112 33112392 13677612 1717 1580 35 215 152
31.38/31.44 c 2430 65378 33252868 13732900 1717 1587 19 257 145
31.38/31.47 c 2431 65504 33285413 13754096 1717 1588 126 126 63
31.48/31.55 c 2440 65772 33424807 13809266 1717 1593 31 257 195
31.58/31.65 c 2450 66041 33562938 13867140 1717 1599 126 257 188
31.69/31.75 c 2460 66326 33720362 13925915 1717 1603 126 257 182
31.79/31.84 c 2470 66554 33832636 13973956 1717 1611 35 215 148
31.89/31.92 c 2480 66783 33954184 14021043 1717 1617 127 210 181
32.00/32.02 c 2490 67049 34103929 14078701 1717 1626 19 257 142
32.10/32.13 c 2500 67290 34264553 14128147 1717 1630 207 215 191
32.19/32.21 c 2510 67562 34350737 14187352 1717 1638 28 257 189
32.29/32.31 c 2520 67831 34495317 14245745 1717 1642 126 257 209
32.29/32.39 c 2530 68100 34587231 14305170 1717 1648 129 257 200
32.39/32.48 c 2540 68369 34731431 14363540 1717 1654 129 257 206
32.49/32.58 c 2550 68640 34877119 14418429 1717 1660 210 257 220
32.59/32.69 c 2560 68875 35009171 14471910 1717 1668 31 215 135
32.69/32.79 c 2570 69147 35157754 14531941 1717 1673 38 257 209
32.79/32.88 c 2580 69416 35296206 14589334 1717 1680 126 257 183
32.89/32.98 c 2590 69685 35434165 14646529 1717 1686 126 257 195
33.10/33.13 c 2600 69919 35683905 14703554 1717 1692 37 215 170
33.19/33.21 c 2610 70141 35804299 14748933 1717 1696 124 208 180
33.29/33.31 c 2620 70370 35941352 14813865 1717 1701 124 211 182
33.39/33.41 c 2630 70636 36081544 14870161 1717 1708 19 257 150
33.49/33.51 c 2640 70902 36227904 14929270 1717 1715 31 257 162
33.59/33.60 c 2650 71173 36382820 14987821 1717 1718 208 257 224
33.69/33.70 c 2660 71442 36524821 15045454 1717 1723 150 257 215
33.79/33.86 c 2670 71668 36830938 15108986 1717 1725 208 211 190
33.89/33.97 c 2680 71937 36977800 15168435 1717 1731 23 257 177
34.00/34.10 c 2690 72210 37169760 15228487 1717 1738 31 257 173
34.19/34.21 c 2700 72481 37320043 15288904 1717 1744 37 257 194
34.29/34.30 c 2710 72750 37462923 15345764 1717 1749 144 257 218
34.29/34.40 c 2720 73019 37602935 15403811 1717 1756 126 257 186
34.39/34.50 c 2730 73296 37753624 15460323 1717 1760 213 257 225
34.49/34.59 c 2740 73565 37897153 15517335 1717 1764 177 257 221
34.59/34.68 c 2750 73834 38036449 15576342 1717 1770 126 257 199
34.69/34.77 c 2760 74065 38149416 15634363 1717 1776 193 214 191
34.79/34.85 c 2770 74287 38262079 15675656 1717 1781 208 208 189
34.79/34.87 c 2771 74316 38269275 15678174 1717 1782 29 29 14
34.89/34.93 c 2780 74535 38338497 15724625 1717 1785 1 211 167
35.00/35.03 c 2790 74804 38474677 15781628 1717 1789 31 257 208
35.10/35.13 c 2800 75039 38619968 15834911 1717 1795 34 214 153
35.19/35.22 c 2810 75265 38735519 15876885 1717 1802 1 209 163
35.29/35.35 c 2820 75489 38952260 15937237 1717 1808 1 211 148
35.39/35.45 c 2830 75761 39095310 15996111 1717 1812 28 257 212
35.49/35.56 c 2840 76031 39237253 16056148 1717 1820 126 257 177
35.59/35.68 c 2850 76263 39432727 16111656 1717 1826 37 215 156
35.69/35.77 c 2860 76532 39575027 16167870 1717 1833 19 257 164
35.79/35.86 c 2870 76801 39715485 16224329 1717 1839 126 257 187
35.89/35.94 c 2880 77033 39804113 16278534 1717 1846 126 214 184
36.00/36.02 c 2890 77262 39889910 16325142 1717 1851 171 211 183
36.10/36.11 c 2900 77528 40031880 16380439 1717 1858 19 257 156
36.19/36.22 c 2910 77802 40180731 16447016 1717 1865 132 257 214
36.29/36.32 c 2920 78071 40327360 16504342 1717 1870 144 257 214
36.39/36.44 c 2930 78307 40508114 16552045 1717 1875 126 215 184
36.49/36.53 c 2940 78536 40627829 16595560 1717 1879 204 210 188
36.59/36.63 c 2950 78805 40773207 16653961 1717 1884 1 257 193
36.69/36.72 c 2960 79077 40913720 16712168 1717 1889 126 257 209
36.79/36.82 c 2970 79303 41038141 16770787 1717 1897 126 213 159
36.89/36.91 c 2980 79572 41179151 16827122 1717 1901 141 257 218
36.89/37.00 c 2990 79838 41313226 16882907 1717 1908 126 257 172
37.00/37.09 c 3000 80107 41451418 16941233 1717 1913 126 257 199
37.10/37.18 c 3010 80376 41589399 16997033 1717 1920 126 257 182
37.19/37.28 c 3020 80658 41737568 17053895 1717 1924 213 257 229
37.29/37.37 c 3030 80927 41874796 17111173 1717 1930 126 257 195
37.39/37.47 c 3040 81197 42017740 17168747 1717 1939 126 257 161
37.49/37.58 c 3050 81430 42197320 17220487 1717 1945 34 215 153
37.59/37.67 c 3060 81699 42337071 17276490 1717 1951 141 257 208
37.69/37.77 c 3070 81972 42485269 17331807 1717 1960 34 257 166
37.79/37.87 c 3080 82241 42630840 17388501 1717 1965 212 257 228
37.89/37.96 c 3090 82473 42739837 17442208 1717 1970 34 215 153
38.00/38.06 c 3100 82706 42864262 17491392 1717 1975 127 210 181
38.10/38.14 c 3110 82928 42944998 17545696 1717 1981 28 210 164
38.19/38.22 c 3120 83200 43082987 17602706 1717 1984 255 257 232
38.29/38.30 c 3130 83430 43163332 17649257 1717 1991 34 212 146
38.39/38.40 c 3140 83663 43285761 17694121 1717 1998 1 218 163
38.39/38.43 c 3142 83790 43318316 17715891 1717 2000 31 126 52
38.49/38.52 c 3150 84057 43457063 17771777 1717 2004 209 257 222
38.59/38.61 c 3160 84326 43594032 17829566 1717 2010 126 257 199
38.69/38.71 c 3170 84595 43731306 17887204 1717 2017 126 257 183
38.79/38.81 c 3180 84864 43869066 17944944 1717 2022 126 257 205
38.89/38.90 c 3190 85107 43967734 18005735 1717 2025 208 216 192
38.89/38.99 c 3200 85376 44107097 18063087 1717 2031 141 257 213
38.99/39.08 c 3210 85642 44244056 18119297 1717 2038 126 257 172
39.09/39.18 c 3220 85876 44376276 18170190 1717 2042 209 215 192
39.29/39.31 c 3230 86153 44526104 18232306 1717 2045 242 257 231
39.39/39.40 c 3240 86381 44625975 18281988 1717 2051 34 212 153
39.39/39.49 c 3250 86605 44743558 18324874 1717 2057 23 210 163
39.49/39.59 c 3260 86829 44855599 18384145 1717 2060 1 211 161
39.59/39.68 c 3270 87095 44994053 18439346 1717 2069 19 257 145
39.69/39.76 c 3280 87367 45131131 18495962 1717 2073 144 257 222
39.79/39.86 c 3290 87639 45276336 18556589 1717 2077 144 257 222
39.89/39.95 c 3300 87908 45416444 18614621 1717 2084 126 257 191
39.99/40.06 c 3310 88177 45554983 18671625 1717 2090 144 257 209
40.09/40.15 c 3320 88443 45691628 18727801 1717 2099 126 257 165
40.19/40.24 c 3330 88712 45831092 18785790 1717 2103 144 257 218
40.29/40.33 c 3340 88981 45973088 18843258 1717 2109 144 257 211
40.38/40.44 c 3350 89253 46123686 18900675 1717 2117 34 257 165
40.48/40.54 c 3360 89523 46263659 18960048 1717 2125 126 257 181
40.58/40.64 c 3370 89754 46380190 19012088 1717 2131 34 214 160
40.68/40.75 c 3380 90028 46517690 19069800 1717 2136 254 257 232
40.78/40.86 c 3390 90251 46646736 19122566 1717 2139 1 212 165
40.88/40.93 c 3400 90472 46762769 19164997 1717 2145 204 208 187
40.99/41.04 c 3410 90744 46906965 19223753 1717 2150 120 257 193
41.09/41.14 c 3420 91016 47050922 19282300 1717 2155 31 257 211
41.18/41.26 c 3430 91290 47203640 19341689 1717 2160 126 257 213
41.28/41.36 c 3440 91560 47351905 19395983 1717 2169 34 257 160
41.38/41.48 c 3450 91834 47489069 19456530 1717 2173 144 257 206
41.48/41.58 c 3460 92103 47634460 19516297 1717 2177 183 257 222
41.58/41.67 c 3470 92372 47776998 19573731 1717 2181 129 257 211
41.68/41.77 c 3480 92641 47921620 19631001 1717 2186 202 257 226
41.78/41.87 c 3490 92912 48070584 19687230 1717 2193 135 257 200
41.88/41.96 c 3500 93181 48213289 19743322 1717 2199 129 257 197
41.99/42.06 c 3510 93453 48349970 19801847 1717 2203 144 257 222
42.09/42.15 c 3520 93725 48492824 19859636 1717 2207 144 257 222
42.18/42.26 c 3530 93994 48634497 19920139 1717 2211 126 257 209
42.28/42.35 c 3540 94263 48772646 19977831 1717 2215 144 257 221
42.38/42.45 c 3550 94535 48918037 20036231 1717 2218 255 257 232
42.38/42.48 c 3551 94661 48950386 20057426 1717 2219 126 126 63
42.48/42.58 c 3560 94940 49097979 20116251 1717 2225 127 257 193
42.58/42.69 c 3570 95211 49240786 20174770 1717 2233 126 257 185
42.68/42.79 c 3580 95480 49384985 20232034 1717 2239 144 257 202
42.78/42.86 c 3590 95749 49475692 20290582 1717 2245 144 257 205
42.88/42.96 c 3600 96018 49618062 20348270 1717 2251 126 257 199
42.99/43.08 c 3610 96294 49763555 20408335 1717 2255 150 257 219
43.09/43.16 c 3620 96523 49866045 20453304 1717 2264 31 215 129
43.18/43.25 c 3630 96792 50011955 20509899 1717 2270 193 257 219
43.28/43.35 c 3640 97061 50153696 20567462 1717 2274 129 257 216
43.38/43.45 c 3650 97330 50287463 20624720 1717 2280 144 257 202
43.48/43.54 c 3660 97599 50428200 20682341 1717 2286 129 257 202
43.58/43.64 c 3670 97868 50565272 20740047 1717 2292 144 257 208
43.68/43.72 c 3680 98134 50702154 20795701 1717 2301 126 257 154
43.78/43.82 c 3690 98406 50850978 20855500 1717 2306 209 257 224
43.88/43.91 c 3700 98639 50933288 20904491 1717 2311 135 215 181
43.88/44.00 c 3710 98858 51046352 20947623 1717 2319 19 208 162
44.09/44.12 c 3720 99133 51192526 21007587 1717 2322 1 257 206
44.18/44.22 c 3730 99362 51319256 21057901 1717 2329 129 214 183
44.28/44.31 c 3740 99631 51461430 21115107 1717 2335 37 257 205
44.38/44.42 c 3750 99903 51598565 21173618 1717 2343 126 257 189
44.48/44.50 c 3760 100169 51683454 21230707 1717 2352 126 257 151
44.48/44.59 c 3770 100441 51826931 21289484 1717 2356 129 257 221
44.58/44.69 c 3780 100710 51969391 21348385 1717 2363 126 257 190
44.69/44.79 c 3790 100944 52086341 21402008 1717 2368 162 214 185
44.79/44.88 c 3800 101215 52228109 21455317 1717 2375 1 257 195
44.89/45.00 c 3810 101492 52378052 21515127 1717 2379 31 257 192
45.00/45.10 c 3820 101760 52516421 21573013 1717 2388 126 257 164
45.19/45.21 c 3830 102031 52661648 21632790 1717 2395 126 257 199
45.29/45.31 c 3840 102302 52812825 21689920 1717 2403 34 257 174
45.39/45.41 c 3850 102568 52950381 21748399 1717 2412 126 257 166
45.39/45.48 c 3860 102834 53040354 21803049 1717 2418 126 257 199
45.49/45.56 c 3870 103061 53160307 21858399 1717 2427 126 214 153
45.59/45.66 c 3880 103330 53302842 21922204 1717 2431 209 257 228
45.69/45.79 c 3890 103604 53447665 21984505 1717 2435 126 257 200
45.89/45.90 c 3900 103873 53586420 22043682 1717 2443 126 257 171
45.89/45.97 c 3910 104142 53675373 22099511 1717 2452 126 257 198
46.00/46.07 c 3920 104411 53819759 22158511 1717 2458 126 257 196
46.10/46.16 c 3930 104680 53961140 22214358 1717 2464 126 257 199
46.19/46.25 c 3940 104949 54106429 22272088 1717 2470 168 257 216
46.29/46.36 c 3950 105218 54248830 22331730 1717 2476 126 257 203
46.39/46.45 c 3960 105487 54387731 22389310 1717 2480 126 257 213
46.49/46.55 c 3970 105759 54532645 22447927 1717 2484 177 257 225
46.59/46.65 c 3980 106028 54673288 22506584 1717 2490 126 257 198
46.69/46.74 c 3990 106257 54801619 22555617 1717 2497 37 213 169
46.79/46.81 c 4000 106488 54917379 22598713 1717 2500 204 210 189
46.79/46.83 c 4001 106511 54921504 22599840 1717 2501 23 23 11
46.89/46.91 c 4010 106776 55059421 22655095 1717 2508 1 257 141
47.00/47.01 c 4020 107047 55212890 22708045 1717 2515 199 257 195
47.10/47.11 c 4030 107316 55354695 22766761 1717 2522 126 257 199
47.19/47.20 c 4040 107582 55493134 22823045 1717 2529 126 257 180
47.19/47.29 c 4050 107851 55630428 22880704 1717 2536 126 257 189
47.29/47.38 c 4060 108080 55722624 22937240 1717 2545 126 213 173
47.49/47.50 c 4070 108302 55937148 22993936 1717 2551 126 210 166
47.59/47.60 c 4080 108573 56082625 23053188 1717 2559 25 257 180
47.59/47.69 c 4090 108806 56177482 23100717 1717 2564 34 215 160
47.69/47.78 c 4100 109029 56296410 23146600 1717 2569 23 209 158
47.79/47.88 c 4110 109301 56441944 23205057 1717 2573 181 257 226
47.89/47.98 c 4120 109570 56587797 23264230 1717 2577 126 257 209
48.00/48.07 c 4130 109804 56681709 23314695 1717 2582 37 214 169
48.10/48.17 c 4140 110073 56824959 23375196 1717 2589 1 257 166
48.19/48.29 c 4150 110347 56971923 23435418 1717 2593 171 257 215
48.39/48.40 c 4160 110617 57110787 23495594 1717 2600 126 257 200
48.39/48.49 c 4170 110886 57247232 23551525 1717 2606 135 257 201
48.49/48.58 c 4180 111155 57392671 23609332 1717 2612 180 257 216
48.59/48.68 c 4190 111424 57538493 23666137 1717 2618 180 257 208
48.69/48.78 c 4200 111696 57684834 23727248 1717 2621 255 257 232
48.79/48.86 c 4210 111923 57816166 23770650 1717 2624 37 213 175
48.89/48.96 c 4220 112192 57961629 23822945 1717 2631 28 257 193
49.00/49.06 c 4230 112464 58108173 23881680 1717 2635 255 257 232
49.10/49.15 c 4240 112733 58244679 23937519 1717 2641 147 257 211
49.19/49.25 c 4250 113003 58396654 23994159 1717 2647 180 257 208
49.29/49.31 c 4260 113234 58475255 24039514 1717 2653 144 216 177
49.29/49.39 c 4270 113456 58593902 24082387 1717 2657 204 208 187
49.39/49.49 c 4280 113722 58737768 24137353 1717 2666 1 257 145
49.49/49.58 c 4290 113991 58883369 24194990 1717 2673 144 257 196
49.69/49.70 c 4300 114265 59028054 24252876 1717 2678 254 257 232
49.69/49.79 c 4310 114493 59148954 24303197 1717 2688 126 215 168
49.79/49.89 c 4320 114720 59278444 24361723 1717 2693 208 210 190
49.88/49.98 c 4330 114943 59396124 24407369 1717 2700 25 210 171
50.00/50.08 c 4340 115170 59498261 24467863 1717 2705 123 211 167
50.10/50.18 c 4350 115442 59644235 24530082 1717 2708 1 257 209
50.19/50.28 c 4360 115710 59788940 24588721 1717 2716 126 257 180
50.29/50.38 c 4370 115979 59925525 24646883 1717 2719 211 257 228
50.39/50.49 c 4380 116226 60103519 24702534 1717 2723 207 215 192
50.49/50.58 c 4390 116495 60245878 24758797 1717 2729 126 257 210
50.59/50.67 c 4400 116764 60389763 24814785 1717 2733 202 257 222
50.69/50.77 c 4410 117033 60532152 24874939 1717 2739 126 257 194
50.79/50.87 c 4420 117308 60678305 24931670 1717 2743 197 257 219
50.89/50.97 c 4430 117577 60820613 24990661 1717 2749 126 257 199
51.00/51.07 c 4440 117807 60957733 25041362 1717 2756 126 214 175
51.10/51.16 c 4450 118078 61102805 25098333 1717 2760 209 257 228
51.19/51.25 c 4460 118347 61246176 25155441 1717 2766 126 257 203
51.29/51.32 c 4470 118617 61334340 25213264 1717 2775 126 257 163
51.39/51.40 c 4480 118886 61471766 25269376 1717 2779 208 257 224
51.49/51.50 c 4490 119155 61608978 25329177 1717 2786 126 257 183
51.49/51.53 c 4493 119286 61645820 25353877 1717 2789 126 129 95
51.59/51.63 c 4500 119552 61785319 25407015 1717 2795 19 257 164
51.69/51.72 c 4510 119821 61928405 25465563 1717 2798 212 257 228
51.79/51.82 c 4520 120044 62051639 25515906 1717 2806 37 214 154
51.89/51.91 c 4530 120313 62196256 25573012 1717 2810 150 257 218
51.89/52.00 c 4540 120582 62336313 25633203 1717 2817 126 257 183
52.00/52.10 c 4550 120851 62479890 25693564 1717 2824 126 257 186
52.10/52.20 c 4560 121123 62626856 25752344 1717 2827 255 257 232
52.19/52.29 c 4570 121392 62769126 25811633 1717 2831 126 257 211
52.29/52.38 c 4580 121661 62908554 25870884 1717 2837 126 257 190
52.39/52.48 c 4590 121930 63051621 25928674 1717 2843 177 257 214
52.49/52.57 c 4600 122196 63194370 25988245 1717 2852 126 257 175
52.59/52.67 c 4610 122465 63341118 26045549 1717 2855 212 257 228
52.79/52.81 c 4620 122698 63604936 26101154 1717 2862 197 215 189
52.79/52.89 c 4630 122920 63721888 26144658 1717 2868 127 208 180
52.88/52.98 c 4640 123186 63865269 26201433 1717 2876 1 257 134
52.99/53.06 c 4650 123410 63955868 26252729 1717 2881 126 212 168
53.09/53.15 c 4660 123679 64096748 26309775 1717 2885 31 257 205
53.18/53.24 c 4670 123948 64235914 26368515 1717 2892 126 257 183
53.28/53.33 c 4680 124220 64378074 26427936 1717 2896 156 257 223
53.38/53.41 c 4690 124447 64463961 26487389 1717 2903 126 213 169
53.48/53.50 c 4700 124716 64604832 26544739 1717 2908 174 257 216
53.58/53.61 c 4710 124988 64754861 26609608 1717 2914 126 257 205
53.68/53.70 c 4720 125260 64900647 26670515 1717 2918 183 257 226
53.68/53.79 c 4730 125526 65036579 26728671 1717 2925 126 257 182
53.78/53.87 c 4740 125764 65121895 26774299 1717 2932 203 215 191
53.99/54.02 c 4750 126047 65401247 26840769 1717 2937 204 257 193
54.09/54.13 c 4760 126319 65541124 26900913 1717 2945 126 257 183
54.18/54.24 c 4770 126593 65682572 26959140 1717 2950 150 257 223
54.28/54.34 c 4780 126860 65827656 27014996 1717 2956 37 257 199
54.38/54.43 c 4790 127083 65963719 27064968 1717 2960 1 212 139
54.48/54.54 c 4800 127361 66123390 27128516 1717 2965 208 257 203
54.58/54.65 c 4810 127638 66267508 27188168 1717 2970 144 257 207
54.68/54.74 c 4820 127907 66408074 27247417 1717 2976 126 257 194
54.78/54.81 c 4830 128176 66496805 27303562 1717 2985 126 257 176
54.88/54.91 c 4840 128448 66643077 27362418 1717 2988 255 257 232
54.88/54.98 c 4850 128714 66728073 27417954 1717 2997 126 257 170
54.99/55.09 c 4860 128987 66870551 27478401 1717 3001 144 257 209
55.09/55.18 c 4870 129253 67005452 27536338 1717 3008 126 257 177
55.18/55.27 c 4880 129522 67149176 27596725 1717 3013 144 257 208
55.28/55.36 c 4890 129788 67283758 27654566 1717 3020 126 257 177
55.38/55.43 c 4900 130012 67360265 27706488 1717 3026 211 213 192
55.48/55.54 c 4910 130251 67488267 27756916 1717 3031 204 210 188
55.58/55.64 c 4920 130474 67665097 27813593 1717 3038 23 210 148
55.68/55.76 c 4930 130752 67810988 27873862 1717 3041 209 257 228
55.78/55.85 c 4940 131023 67951502 27933313 1717 3050 126 257 169
55.88/55.94 c 4950 131292 68091262 27992399 1717 3054 126 257 209
55.99/56.03 c 4960 131558 68228436 28050258 1717 3063 126 257 172
56.09/56.13 c 4970 131827 68371169 28110216 1717 3069 150 257 212
56.18/56.25 c 4980 132099 68517708 28168801 1717 3074 150 257 206
56.28/56.34 c 4990 132368 68658185 28228235 1717 3080 126 257 202
56.48/56.53 c 5035 132706 68823403 28316723 1717 3088 126 257 239
56.88/56.94 c 5631 133886 69148001 28622264 1717 3367 144 257 251
57.28/57.39 c 6286 134985 69630286 28880522 1717 3378 1 257 251
57.88/57.93 c 7006 136631 70160350 29461803 1717 3386 37 257 252
58.38/58.40 c 7798 137953 70446521 29706408 1717 3482 40 257 250
58.78/58.85 c 8669 139465 70867930 30063211 1717 3498 37 257 249
59.10/59.19 c 9627 141236 71342778 30700883 1717 3511 60 67 64
59.59/59.62 c 10680 143084 71859819 31399448 1717 3528 60 67 64
60.10/60.12 c 11838 145136 72412844 32173603 1717 3535 61 67 64
60.49/60.59 c 13111 147377 73017272 33019205 1717 3543 1 67 64
61.09/61.12 c 14511 149908 73688632 33978823 1717 3549 58 67 64
61.58/61.67 c 16051 152571 74398504 34965012 1717 3559 61 67 64
62.18/62.20 c 17745 155567 75181403 36101740 1717 3573 60 67 64
62.78/62.85 c 19608 158794 76050275 37336004 1717 3586 60 67 64
63.58/63.64 c 21657 162338 77026420 38734871 1717 3598 60 67 64
64.28/64.38 c 23910 166280 78051209 40246064 1717 3609 61 67 64
65.18/65.24 c 26388 170711 79257193 42009615 1717 3619 58 67 64
66.09/66.18 c 29113 175386 80504559 43831648 1717 3629 61 67 64
67.28/67.33 c 32110 180579 81919412 45933918 1717 3643 58 67 64
68.48/68.54 c 35406 186369 83500334 48269998 1717 3652 58 67 64
69.78/69.86 c 39031 192604 85206792 50829629 1717 3670 58 67 64
71.18/71.21 c 43018 199347 87046829 53639800 1717 3679 58 67 63
72.78/72.85 c 47403 206882 89155668 56769240 1717 3698 58 67 64
74.48/74.51 c 52226 215098 91400336 60202939 1717 3714 58 67 63
76.28/76.30 c 57531 224390 93871435 64044890 1717 3726 57 67 63
78.27/78.34 c 63366 234116 96572042 68208641 1717 3738 58 67 63
80.77/80.83 c 69784 244979 99652938 72877779 1717 3748 58 67 63
83.17/83.24 c 76843 257121 102967154 77965450 1717 3758 1 67 63
85.77/85.88 c 84607 270092 106515342 83505515 1717 3768 23 67 62
89.08/89.18 c 93147 284338 110572039 89727211 1717 3775 58 67 63
92.47/92.54 c 102541 300406 114959043 96573419 1717 3783 57 67 63
96.08/96.17 c 112874 317624 119747189 103990683 1717 3805 57 67 62
100.47/100.52 c 124240 336465 125059396 112304403 1717 3812 57 67 62
104.97/105.03 c 136742 357221 130791337 121395301 1717 3828 56 67 62
109.86/109.92 c 150494 380043 137087948 131374335 1717 3841 56 67 62
115.76/115.86 c 165621 405314 144150799 142494335 1717 3863 56 67 62
122.67/122.77 c 182260 433235 152169921 154808013 1717 3871 56 67 62
129.37/129.48 c 200562 464483 160719317 168393338 1717 3887 56 67 62
137.36/137.47 c 220694 498569 170190939 183408473 1717 3903 56 67 62
145.56/145.69 c 242839 535465 180433142 199714228 1717 3918 54 65 60
155.97/156.07 c 267198 575998 192084631 217879079 1717 3934 52 63 57
167.26/167.31 c 293992 621512 204855186 237895291 1717 3946 53 63 58
178.76/178.83 c 323465 670586 218745062 259712407 1717 3962 52 63 58
192.46/192.58 c 355885 724990 234213209 283958381 1717 3981 52 63 57
206.36/206.46 c 391547 784541 250806400 310609360 1717 3998 52 63 57
222.55/222.60 c 430775 850666 269604693 340008906 1717 4014 52 63 58
240.56/240.65 c 473925 922993 290121716 372369165 1717 4040 52 63 57
259.56/259.60 c 521390 1002643 312729043 407699596 1717 4059 52 63 57
279.35/279.44 c 573601 1089435 337049611 446825206 1717 4074 52 63 58
304.25/304.34 c 631033 1187112 364456934 489902103 1717 4092 52 63 57
331.45/331.56 c 694208 1293599 395206956 538101340 1717 4113 52 63 58
360.96/361.03 c 763700 1412029 428377809 590510286 1717 4120 52 63 57
392.95/393.04 c 840141 1539570 464632734 647873381 1717 4144 50 63 57
428.05/428.12 c 924226 1681003 505271643 710844429 1717 4161 50 63 57
464.74/464.88 c 1016719 1835168 548812866 779787252 1717 4180 50 63 57
510.14/510.22 c 1118461 2002658 598540561 855805798 1717 4203 50 63 56
553.94/554.01 c 1230377 2187690 650979884 938949207 1717 4224 50 63 56
605.33/605.49 c 1353484 2391889 710083181 1030978077 1717 4249 50 63 57
661.62/661.76 c 1488901 2615780 774571223 1132837518 1717 4280 50 63 56
723.82/723.90 c 1637859 2861754 846367124 1242632048 1717 4302 50 63 56
791.41/791.55 c 1801712 3131108 924667081 1364195577 1717 4317 50 63 56
868.52/868.61 c 1981950 3430513 1012956169 1498061913 1717 4338 50 63 56
945.71/945.82 c 2180211 3755524 1106554883 1643759599 1717 4366 49 63 56
1037.50/1037.62 c 2398298 4120359 1212748797 1806161533 1717 4399 49 63 56
1139.40/1139.50 c 2638193 4521448 1331058901 1984752366 1717 4428 49 63 56
1230.99/1231.19 c 2902077 4936211 1453452802 2172342219 1717 4449 47 63 54
1334.28/1334.41 c 3192349 5387902 1588808511 2378900238 1717 4476 47 63 54
1451.28/1451.46 c 3511648 5884455 1742070803 2605696624 1717 4515 47 63 54
1581.77/1581.96 c 3862876 6438438 1907574064 2858320223 1717 4540 47 63 54
1726.15/1726.34 c 4249226 7053845 2090124121 3137853984 1717 4573 47 63 54
1896.45/1896.67 c 4674211 7726997 2298035751 3445014894 1717 4609 47 63 54
2066.63/2066.81 c 5141694 8466791 2519622494 3780050733 1717 4641 47 63 54
2285.52/2285.74 c 5655925 9295324 2777932750 4156116886 1717 4655 47 63 54
2519.82/2520.01
2519.82/2520.01 c *** INTERRUPTED ***
2519.82/2520.01 c restarts : 590
2519.82/2520.01 c conflicts : 6048358 (2401 /sec)
2519.82/2520.01 c decisions : 9912752 (3936 /sec)
2519.82/2520.01 c propagations : 4395653556 (1745150 /sec)
2519.82/2520.01 c root propagations : 13973
2519.82/2520.01 c filter calls : 3087756563 (1225893 /sec)
2519.82/2520.01 c useless filter calls : 3049328171 (98 %)
2519.82/2520.01 c
2519.82/2520.01 c clauses : 88778485
2519.82/2520.01 c SAT propagations : 4649
2519.82/2520.01 c SAT conflicts : 0 (0 learnts)
2519.82/2520.01 c Memory used : 3551.62 MB
2519.82/2520.01 c CPU time : 2518.78 s
2519.82/2520.01
2519.82/2520.01 s UNKNOWN
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 (15453 MiB free)
memory of node 1: 16384 MiB (15602 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266413-1502583623/watcher-4266413-1502583623 -o /tmp/evaluation-result-4266413-1502583623/solver-4266413-1502583623 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node115-1502567253-24060 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266413-1502583623.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26932, runsolver pid=26929
[startup+0.100203 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 26933
/proc/meminfo: memFree=31757496/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=77528 memory=52892 CPUtime=0.1 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 12888 0 0 0 9 1 0 0 20 0 1 0 91450036 79388672 13223 33554432000 4194304 5972588 140730432449856 140730432446504 5280335 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 19382 13223 835 435 0 12745 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 77528 KiB
Current children cumulated memory: 52892 KiB
[startup+0.209812 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 26933
/proc/meminfo: memFree=31695164/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=158708 memory=115184 CPUtime=0.21 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 22834 0 0 0 18 3 0 0 20 0 1 0 91450036 162516992 28796 33554432000 4194304 5972588 140730432449856 140730432446504 140520880655333 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 39677 28796 835 435 0 33040 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 158708 KiB
Current children cumulated memory: 115184 KiB
[startup+0.309549 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 26933
/proc/meminfo: memFree=31637668/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=226144 memory=174596 CPUtime=0.3 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 31074 0 0 0 26 4 0 0 20 0 1 0 91450036 231571456 43649 33554432000 4194304 5972588 140730432449856 140730432446504 140520880655333 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 56536 43649 835 435 0 49899 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 226144 KiB
Current children cumulated memory: 174596 KiB
[startup+0.700445 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26933
/proc/meminfo: memFree=31522924/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=487112 memory=392152 CPUtime=0.69 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 59390 0 0 0 59 10 0 0 20 0 1 0 91450036 498802688 98038 33554432000 4194304 5972588 140730432449856 140730432446648 140520880724523 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 121778 98038 835 435 0 115141 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 487112 KiB
Current children cumulated memory: 392152 KiB
[startup+1.50045 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26933
/proc/meminfo: memFree=31242116/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=889116 memory=844296 CPUtime=1.49 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 115729 0 0 0 129 20 0 0 20 0 1 0 91450036 910454784 211074 33554432000 4194304 5972588 140730432449856 140730432446648 140520880655333 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 222279 211074 835 435 0 215642 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 889116 KiB
Current children cumulated memory: 844296 KiB
[startup+3.10943 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 26933
/proc/meminfo: memFree=30129896/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=1998944 memory=1731928 CPUtime=3.1 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 226753 0 0 0 267 43 0 0 20 0 1 0 91450036 2046918656 432982 33554432000 4194304 5972588 140730432449856 140730432446648 140520880655333 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 499769 432982 835 435 0 493132 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 1998944 KiB
Current children cumulated memory: 1731928 KiB
[startup+6.30045 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 26933
/proc/meminfo: memFree=28478592/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=3633400 memory=3389280 CPUtime=6.29 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 440376 0 0 0 546 83 0 0 20 0 1 0 91450036 3720601600 847320 33554432000 4194304 5972588 140730432449856 140730432446648 5273280 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 908350 847320 851 435 0 901713 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 3633400 KiB
Current children cumulated memory: 3389280 KiB
[startup+12.7004 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 26933
/proc/meminfo: memFree=28407008/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=3636444 memory=3392388 CPUtime=12.69 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 462639 0 0 0 1185 84 0 0 20 0 1 0 91450036 3723718656 848097 33554432000 4194304 5972588 140730432449856 140730432447160 5273430 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 909111 848097 851 435 0 902474 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 3636444 KiB
Current children cumulated memory: 3392388 KiB
[startup+25.5005 s]
/proc/loadavg: 1.95 2.00 2.04 3/187 26933
/proc/meminfo: memFree=28405124/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=3636596 memory=3394552 CPUtime=25.49 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 502318 0 0 0 2462 87 0 0 20 0 1 0 91450036 3723874304 848638 33554432000 4194304 5972588 140730432449856 140730432447160 5244099 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 909149 848638 851 435 0 902512 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 3636596 KiB
Current children cumulated memory: 3394552 KiB
[startup+51.1095 s]
/proc/loadavg: 1.96 2.00 2.04 3/187 26933
/proc/meminfo: memFree=28404168/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=3636596 memory=3394584 CPUtime=51.1 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 559184 0 0 0 5019 91 0 0 20 0 1 0 91450036 3723874304 848646 33554432000 4194304 5972588 140730432449856 140730432447160 4972625 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 909149 848646 851 435 0 902512 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 3636596 KiB
Current children cumulated memory: 3394584 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/187 26934
/proc/meminfo: memFree=28404164/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=3636596 memory=3394624 CPUtime=102.26 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 580953 0 0 0 10134 92 0 0 20 0 1 0 91450036 3723874304 848656 33554432000 4194304 5972588 140730432449856 140730432447160 5099648 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 909149 848656 851 435 0 902512 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 3636596 KiB
Current children cumulated memory: 3394624 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 26935
/proc/meminfo: memFree=28404056/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=3636596 memory=3394628 CPUtime=162.26 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 591659 0 0 0 16133 93 0 0 20 0 1 0 91450036 3723874304 848657 33554432000 4194304 5972588 140730432449856 140730432447160 4977689 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 909149 848657 851 435 0 902512 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 3636596 KiB
Current children cumulated memory: 3394628 KiB
[startup+222.3 s]
/proc/loadavg: 2.08 2.01 2.05 3/187 26936
/proc/meminfo: memFree=28403596/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=3636596 memory=3394632 CPUtime=222.25 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 602398 0 0 0 22131 94 0 0 20 0 1 0 91450036 3723874304 848658 33554432000 4194304 5972588 140730432449856 140730432447160 4931766 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 909149 848658 851 435 0 902512 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 3636596 KiB
Current children cumulated memory: 3394632 KiB
[startup+282.3 s]
/proc/loadavg: 2.43 2.14 2.09 3/188 26945
/proc/meminfo: memFree=28403056/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=3636596 memory=3394636 CPUtime=282.25 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 613156 0 0 0 28130 95 0 0 20 0 1 0 91450036 3723874304 848659 33554432000 4194304 5972588 140730432449856 140730432447160 4975388 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 909149 848659 851 435 0 902512 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 3636596 KiB
Current children cumulated memory: 3394636 KiB
[startup+342.3 s]
/proc/loadavg: 2.16 2.12 2.08 3/188 26946
/proc/meminfo: memFree=28402844/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=3636596 memory=3394640 CPUtime=342.25 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 623045 0 0 0 34129 96 0 0 20 0 1 0 91450036 3723874304 848660 33554432000 4194304 5972588 140730432449856 140730432447160 4978834 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 909149 848660 851 435 0 902512 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 3636596 KiB
Current children cumulated memory: 3394640 KiB
[startup+402.3 s]
/proc/loadavg: 2.06 2.10 2.08 3/188 26947
/proc/meminfo: memFree=28403004/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=3636596 memory=3394640 CPUtime=402.24 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 632618 0 0 0 40128 96 0 0 20 0 1 0 91450036 3723874304 848660 33554432000 4194304 5972588 140730432449856 140730432447160 4935446 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 909149 848660 851 435 0 902512 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 3636596 KiB
Current children cumulated memory: 3394640 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/188 26948
/proc/meminfo: memFree=28403188/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=3636596 memory=3394640 CPUtime=462.24 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 642545 0 0 0 46128 96 0 0 20 0 1 0 91450036 3723874304 848660 33554432000 4194304 5972588 140730432449856 140730432447160 5273324 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 909149 848660 851 435 0 902512 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 3636596 KiB
Current children cumulated memory: 3394640 KiB
################
# More data... #
################
/proc/26932/statm: 909149 848665 851 435 0 902512 0
Current children cumulated CPU time: 1722.16 s
Current children cumulated vsize: 3636596 KiB
Current children cumulated memory: 3394660 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 27134
/proc/meminfo: memFree=28468708/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=3636596 memory=3394660 CPUtime=1782.16 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 776554 0 0 0 178113 103 0 0 20 0 1 0 91450036 3723874304 848665 33554432000 4194304 5972588 140730432449856 140730432447160 4935649 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 909149 848665 851 435 0 902512 0
Current children cumulated CPU time: 1782.16 s
Current children cumulated vsize: 3636596 KiB
Current children cumulated memory: 3394660 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27135
/proc/meminfo: memFree=28468460/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=3636596 memory=3394660 CPUtime=1842.15 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 779465 0 0 0 184112 103 0 0 20 0 1 0 91450036 3723874304 848665 33554432000 4194304 5972588 140730432449856 140730432447160 5099648 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 909149 848665 851 435 0 902512 0
Current children cumulated CPU time: 1842.15 s
Current children cumulated vsize: 3636596 KiB
Current children cumulated memory: 3394660 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27136
/proc/meminfo: memFree=28468800/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=3636596 memory=3394660 CPUtime=1902.15 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 782646 0 0 0 190112 103 0 0 20 0 1 0 91450036 3723874304 848665 33554432000 4194304 5972588 140730432449856 140730432447160 4970778 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 909149 848665 851 435 0 902512 0
Current children cumulated CPU time: 1902.15 s
Current children cumulated vsize: 3636596 KiB
Current children cumulated memory: 3394660 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27137
/proc/meminfo: memFree=28467708/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=3636596 memory=3394660 CPUtime=1962.14 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 785391 0 0 0 196111 103 0 0 20 0 1 0 91450036 3723874304 848665 33554432000 4194304 5972588 140730432449856 140730432447160 4972835 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 909149 848665 851 435 0 902512 0
Current children cumulated CPU time: 1962.14 s
Current children cumulated vsize: 3636596 KiB
Current children cumulated memory: 3394660 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27138
/proc/meminfo: memFree=28467456/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=3636596 memory=3394660 CPUtime=2022.14 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 788134 0 0 0 202111 103 0 0 20 0 1 0 91450036 3723874304 848665 33554432000 4194304 5972588 140730432449856 140730432447160 4975114 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 909149 848665 851 435 0 902512 0
Current children cumulated CPU time: 2022.14 s
Current children cumulated vsize: 3636596 KiB
Current children cumulated memory: 3394660 KiB
[startup+2082.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 27147
/proc/meminfo: memFree=28468492/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=3636596 memory=3394660 CPUtime=2082.13 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 791360 0 0 0 208110 103 0 0 20 0 1 0 91450036 3723874304 848665 33554432000 4194304 5972588 140730432449856 140730432447160 5032450 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 909149 848665 851 435 0 902512 0
Current children cumulated CPU time: 2082.13 s
Current children cumulated vsize: 3636596 KiB
Current children cumulated memory: 3394660 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 27148
/proc/meminfo: memFree=28467824/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=3636596 memory=3394660 CPUtime=2142.13 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 794293 0 0 0 214110 103 0 0 20 0 1 0 91450036 3723874304 848665 33554432000 4194304 5972588 140730432449856 140730432447160 4935692 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 909149 848665 851 435 0 902512 0
Current children cumulated CPU time: 2142.13 s
Current children cumulated vsize: 3636596 KiB
Current children cumulated memory: 3394660 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 27149
/proc/meminfo: memFree=28468164/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=3636596 memory=3394660 CPUtime=2202.13 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 797160 0 0 0 220109 104 0 0 20 0 1 0 91450036 3723874304 848665 33554432000 4194304 5972588 140730432449856 140730432447160 5032431 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 909149 848665 851 435 0 902512 0
Current children cumulated CPU time: 2202.13 s
Current children cumulated vsize: 3636596 KiB
Current children cumulated memory: 3394660 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27150
/proc/meminfo: memFree=28467412/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=3636596 memory=3394828 CPUtime=2262.13 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 799658 0 0 0 226109 104 0 0 20 0 1 0 91450036 3723874304 848707 33554432000 4194304 5972588 140730432449856 140730432447160 4935502 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 909149 848707 851 435 0 902512 0
Current children cumulated CPU time: 2262.13 s
Current children cumulated vsize: 3636596 KiB
Current children cumulated memory: 3394828 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27151
/proc/meminfo: memFree=28467644/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=3636860 memory=3395012 CPUtime=2322.12 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 802438 0 0 0 232108 104 0 0 20 0 1 0 91450036 3724144640 848753 33554432000 4194304 5972588 140730432449856 140730432446840 4971912 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 909215 848753 851 435 0 902578 0
Current children cumulated CPU time: 2322.12 s
Current children cumulated vsize: 3636860 KiB
Current children cumulated memory: 3395012 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27152
/proc/meminfo: memFree=28467668/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=3636860 memory=3395012 CPUtime=2382.12 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 804018 0 0 0 238108 104 0 0 20 0 1 0 91450036 3724144640 848753 33554432000 4194304 5972588 140730432449856 140730432446840 5328649 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 909215 848753 851 435 0 902578 0
Current children cumulated CPU time: 2382.12 s
Current children cumulated vsize: 3636860 KiB
Current children cumulated memory: 3395012 KiB
[startup+2442.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 27153
/proc/meminfo: memFree=28467296/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=3636860 memory=3395016 CPUtime=2442.11 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 806880 0 0 0 244107 104 0 0 20 0 1 0 91450036 3724144640 848754 33554432000 4194304 5972588 140730432449856 140730432446840 5328649 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 909215 848754 851 435 0 902578 0
Current children cumulated CPU time: 2442.11 s
Current children cumulated vsize: 3636860 KiB
Current children cumulated memory: 3395016 KiB
[startup+2502.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/187 27154
/proc/meminfo: memFree=28467768/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=3636860 memory=3395016 CPUtime=2502.11 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 808469 0 0 0 250107 104 0 0 20 0 1 0 91450036 3724144640 848754 33554432000 4194304 5972588 140730432449856 140730432446840 5099648 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 909215 848754 851 435 0 902578 0
Current children cumulated CPU time: 2502.11 s
Current children cumulated vsize: 3636860 KiB
Current children cumulated memory: 3395016 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.36 2.10 2.07 3/187 27154
/proc/meminfo: memFree=28467916/32770624 swapFree=67108860/67108860
[pid=26932] ppid=26929 vsize=3636860 memory=3395016 CPUtime=2519.82 cores=0,2,4,6
/proc/26932/stat : 26932 (cosoco) R 26929 26932 23976 0 -1 4202496 808671 0 0 0 251878 104 0 0 20 0 1 0 91450036 3724144640 848754 33554432000 4194304 5972588 140730432449856 140730432446840 4972786 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 21336064 140730432455866 140730432455966 140730432455966 140730432458702 0
/proc/26932/statm: 909215 848754 851 435 0 902578 0
Current children cumulated CPU time: 2519.82 s
Current children cumulated vsize: 3636860 KiB
Current children cumulated memory: 3395016 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 26932 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.78 s, system=1.05993 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.02
CPU time (s): 2519.84
CPU user time (s): 2518.78
CPU system time (s): 1.05993
CPU usage (%): 99.9928
Max. virtual memory (cumulated for all children) (KiB): 3636860
Max. memory (cumulated for all children) (KiB): 3395016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.78
system time used= 1.05993
maximum resident set size= 3395092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 808717
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= 61
involuntary context switches= 3159
# summary of solver processes directly reported to runsolver:
# pid: 26932
# total CPU time (s): 2519.84
# total CPU user time (s): 2518.78
# total CPU system time (s): 1.05993
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.2098 second user time and 15.4535 second system time
The end