Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
toysat 2016-05-02 | ? (TO) | 1800.09 | 1800.52 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_3_80.opb |
MD5SUM | d27101fec2f8e3dc322d79bbc996c69e |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 1000 |
Total number of constraints | 1502 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 80 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 74920 |
Sum of products size (including duplicates) | 149840 |
Number of different products | 37460 |
Sum of products size | 74920 |
0.00/0.00 c 2016-06-18T21:56:49+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106877-1466279808.opb"] 0.00/0.01 c use --random-gen="3107402754 514058836 970014279 3672336416 257509170 1064867920 1501401612 3002193536 594290244 3095588658 2813423843 1409546061 1704376771 815399013 2419242156 1556768584 4179250258 202481255 2136180745 3790203657 4037807017 1016452628 2795718968 3608873744 4190707585 3991059368 2734290459 681870560 2737425879 1081608384 1607519056 3952924679 4023653686 313243042 3714821602 2678095949 1391536979 3827390712 3017387551 194237253 3556378870 3524342860 3349237806 4232834155 2637211081 775294204 1466441170 1516016511 4213263492 2682584322 965570021 1392595350 2336426610 4068176786 3736886043 3376853771 2205968981 2327755005 1427024739 3223033814 3656012532 1100733150 2236994318 1333218134 1876413907 1049990476 546996475 322738175 1186206339 2588385154 3022471572 1261241253 3823720431 248341788 682643906 401289631 1639814008 4056184609 2581871159 3415832438 2344036184 1775568804 2168844416 4205845526 3404064420 3196397477 3197222748 3017688120 2683806830 324964001 2730008779 589350686 1818832562 1531050034 2841045265 1593404469 3417112234 1837584749 1696359418 1155972138 4112261292 2414263212 3980238198 2772211069 783777263 1334698465 1947782502 1138092144 1310195207 1057340450 2458869237 2872904521 3570794350 4258583520 4067356565 2982319909 3030199317 1972180371 2511893454 3679085327 1200872507 4202464498 2243279711 2997402919 4075015079 1027934483 1393567672 3937390392 3258843029 1289886104 1127866227 2416068165 1759982130 1190859430 146002441 1233795316 2575068145 3326811806 3584491620 3675116152 3497065897 1379851323 82024739 2028285845 593695464 181347174 836602006 3303191220 2530192333 2400487306 4226177553 1503481959 2349880306 3630229492 712803893 2518340088 1431999483 2381496028 1623915573 1022999645 3830895660 2193370711 419157396 1493402146 2318597315 4158805001 4146822741 1531469297 3010443747 3349719203 1909085047 1949013308 2438458379 2211916779 1704171641 294437260 1607363710 4024127920 2086379216 3240991827 2013586891 2372255951 1243888585 2158448928 776798472 289703478 2692896257 3946066730 2291107195 2287769417 4195101945 2587975686 3923367183 399183844 2927698508 4064454824 1305340473 999390040 3931662893 1678670300 4184382896 1340902214 9126402 2964006895 3839182545 1872445239 635303982 2658801351 3733468826 1711501458 2775728760 4175272676 2964709291 253753908 3319196833 996525935 1333285353 2963771820 3429273793 529354333 3048598542 1069927122 3074933542 2253785865 4189315648 1842208876 4065483670 4201011629 2864944736 2022465651 1741192832 1170464703 866913964 2650215062 492170618 3912776373 2793232157 3356973545 4059011412 2927589134 3013727338 3684979663 3456238431 134184837 1270806922 2437666545 4130490927 3492556567 1392881091 3151826891 4189365720 1968620336 3450458508 1610197249 1596855744 3549727335 255 362436" option to reproduce the execution 0.19/0.22 c #vars 1000 0.19/0.22 c #constraints 1502 1.29/1.30 c Solving starts ... 1.29/1.30 c ============================[ Search Statistics ]============================ 1.29/1.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.30 c | | | | Limit GC | Var | Constra 1.29/1.30 c ============================================================================= 1.29/1.30 c 0.0s | 0 | 0 | 0 | 25807 0 | 0 | 0 1.59/1.69 c 0.4s | 1 | 652 | 100 | 25807 0 | 0 | 0 1.89/1.98 c 0.7s | 2 | 48305 | 250 | 28388 0 | 0 | 0 3.49/3.52 c 2.2s | 3 | 63094 | 475 | 31227 0 | 0 | 0 5.38/5.41 c 4.1s | 4 | 116819 | 813 | 34350 0 | 0 | 0 8.08/8.20 c 6.9s | 4 | 156373 | 1313 | 37785 0 | 0 | 0 8.18/8.25 c 6.9s | 5 | 157037 | 1320 | 37785 0 | 0 | 0 10.28/10.38 c 9.1s | 5 | 181309 | 1720 | 41564 0 | 0 | 0 12.58/12.63 c 11.3s | 5 | 188102 | 2020 | 41564 0 | 0 | 0 12.88/12.92 c 11.6s | 6 | 189176 | 2081 | 45721 0 | 0 | 0 14.88/14.96 c 13.7s | 6 | 193921 | 2281 | 45721 0 | 0 | 0 18.18/18.21 c 16.9s | 6 | 202905 | 2681 | 45721 0 | 0 | 0 20.58/20.69 c 19.4s | 6 | 206592 | 2981 | 45721 0 | 0 | 0 22.78/22.84 c 21.5s | 7 | 207161 | 3223 | 50294 0 | 0 | 0 24.98/25.09 c 23.8s | 7 | 211795 | 3523 | 50294 0 | 0 | 0 27.98/28.07 c 26.8s | 7 | 215201 | 3823 | 50294 0 | 0 | 0 30.78/30.90 c 29.6s | 7 | 217333 | 4023 | 50294 0 | 0 | 0 33.78/33.83 c 32.5s | 7 | 220610 | 4223 | 50294 0 | 0 | 0 36.28/36.37 c 35.1s | 7 | 227597 | 4523 | 50294 0 | 0 | 0 40.08/40.14 c 38.8s | 7 | 228128 | 4823 | 50294 0 | 0 | 0 40.78/40.85 c 39.5s | 8 | 232905 | 4936 | 55324 0 | 0 | 0 42.88/42.94 c 41.6s | 8 | 240757 | 5236 | 55324 0 | 0 | 0 45.08/45.17 c 43.9s | 8 | 241280 | 5436 | 55324 0 | 0 | 0 47.07/47.19 c 45.9s | 8 | 246851 | 5636 | 55324 0 | 0 | 0 49.17/49.27 c 48.0s | 8 | 247839 | 5836 | 55324 0 | 0 | 0 51.17/51.29 c 50.0s | 8 | 255567 | 6136 | 55324 0 | 0 | 0 54.17/54.25 c 52.9s | 8 | 259248 | 6436 | 55324 0 | 0 | 0 57.47/57.51 c 56.2s | 8 | 259961 | 6636 | 55324 0 | 0 | 0 59.57/59.63 c 58.3s | 8 | 263485 | 6736 | 55324 0 | 0 | 0 62.07/62.20 c 60.9s | 8 | 269944 | 7036 | 55324 0 | 0 | 0 64.57/64.66 c 63.4s | 8 | 270992 | 7236 | 55324 0 | 0 | 0 66.09/66.17 c 64.9s | 9 | 277297 | 7506 | 60857 0 | 0 | 0 68.78/68.83 c 67.5s | 9 | 284265 | 7806 | 60857 0 | 0 | 0 71.68/71.75 c 70.4s | 9 | 284621 | 8006 | 60857 0 | 0 | 0 74.18/74.23 c 72.9s | 9 | 287713 | 8306 | 60857 0 | 0 | 0 76.68/76.77 c 75.5s | 9 | 291771 | 8606 | 60857 0 | 0 | 0 79.68/79.72 c 78.4s | 9 | 293132 | 8806 | 60857 0 | 0 | 0 82.08/82.13 c 80.8s | 9 | 296050 | 9006 | 60857 0 | 0 | 0 84.68/84.79 c 83.5s | 9 | 296143 | 9206 | 60857 0 | 0 | 0 87.27/87.39 c 86.1s | 9 | 304430 | 9606 | 60857 0 | 0 | 0 91.38/91.45 c 90.2s | 9 | 304473 | 9806 | 60857 0 | 0 | 0 93.58/93.67 c 92.4s | 9 | 314379 | 10106 | 60857 0 | 0 | 0 95.97/96.04 c 94.7s | 9 | 316379 | 10306 | 60857 0 | 0 | 0 97.98/98.05 c 96.8s | 9 | 316401 | 10406 | 60857 0 | 0 | 0 101.28/101.32 c 100s | 9 | 323076 | 10706 | 60857 0 | 0 | 0 103.57/103.61 c 102s | 9 | 323700 | 10906 | 60857 0 | 0 | 0 105.77/105.85 c 104s | 9 | 327285 | 11206 | 60857 0 | 0 | 0 107.47/107.52 c 106s | 10 | 330808 | 11361 | 66943 0 | 0 | 0 109.67/109.71 c 108s | 10 | 339227 | 11661 | 66943 0 | 0 | 0 112.87/112.95 c 111s | 10 | 339512 | 11861 | 66943 0 | 0 | 0 115.67/115.79 c 114s | 10 | 343362 | 12261 | 66943 0 | 0 | 0 117.78/117.84 c 116s | 10 | 343430 | 12361 | 66943 0 | 0 | 0 120.27/120.35 c 119s | 10 | 346400 | 12661 | 66943 0 | 0 | 0 123.67/123.74 c 122s | 10 | 347028 | 12861 | 66943 0 | 0 | 0 127.17/127.25 c 125s | 10 | 349413 | 13161 | 66943 0 | 0 | 0 129.27/129.33 c 128s | 10 | 359532 | 13561 | 66943 0 | 0 | 0 132.67/132.72 c 131s | 10 | 359777 | 13761 | 66943 0 | 0 | 0 135.37/135.41 c 134s | 10 | 365560 | 14161 | 66943 0 | 0 | 0 138.76/138.85 c 137s | 10 | 367490 | 14361 | 66943 0 | 0 | 0 140.77/140.88 c 139s | 10 | 370432 | 14561 | 66943 0 | 0 | 0 142.86/142.90 c 141s | 10 | 370987 | 14761 | 66943 0 | 0 | 0 146.06/146.11 c 144s | 10 | 376759 | 15061 | 66943 0 | 0 | 0 148.57/148.62 c 147s | 10 | 386625 | 15361 | 66943 0 | 0 | 0 150.67/150.76 c 149s | 10 | 386625 | 15461 | 66943 0 | 0 | 0 153.16/153.28 c 151s | 10 | 386789 | 15561 | 66943 0 | 0 | 0 156.06/156.19 c 154s | 10 | 386906 | 15661 | 66943 0 | 0 | 0 158.56/158.61 c 157s | 10 | 403040 | 15961 | 66943 0 | 0 | 0 160.67/160.71 c 159s | 10 | 403040 | 16061 | 66943 0 | 0 | 0 162.77/162.82 c 161s | 10 | 405333 | 16161 | 66943 0 | 0 | 0 165.16/165.26 c 163s | 10 | 410086 | 16461 | 66943 0 | 0 | 0 167.46/167.51 c 166s | 10 | 431688 | 16761 | 66943 0 | 0 | 0 169.56/169.65 c 168s | 10 | 432253 | 16961 | 66943 0 | 0 | 0 172.26/172.32 c 171s | 11 | 433906 | 17144 | 73638 0 | 0 | 0 175.86/175.91 c 174s | 11 | 442453 | 17444 | 73638 0 | 0 | 0 177.86/177.97 c 176s | 11 | 442546 | 17544 | 73638 0 | 0 | 0 180.36/180.41 c 179s | 11 | 455464 | 17944 | 73638 0 | 0 | 0 184.05/184.10 c 182s | 11 | 455665 | 18144 | 73638 0 | 0 | 0 186.75/186.80 c 185s | 11 | 466336 | 18444 | 73638 0 | 0 | 0 189.35/189.49 c 188s | 11 | 466922 | 18644 | 73638 0 | 0 | 0 192.65/192.75 c 191s | 11 | 477141 | 19044 | 73638 0 | 0 | 0 195.76/195.83 c 194s | 11 | 485864 | 19244 | 73638 0 | 0 | 0 198.65/198.76 c 197s | 11 | 489884 | 19544 | 73638 0 | 0 | 0 201.36/201.47 c 200s | 11 | 490474 | 19744 | 73638 0 | 0 | 0 204.06/204.17 c 202s | 11 | 502889 | 20144 | 73638 0 | 0 | 0 206.66/206.72 c 205s | 11 | 504159 | 20444 | 73638 0 | 0 | 0 208.96/209.05 c 207s | 11 | 514991 | 20944 | 73638 0 | 0 | 0 211.86/211.94 c 210s | 11 | 527598 | 21344 | 73638 0 | 0 | 0 214.76/214.80 c 213s | 11 | 528329 | 21544 | 73638 0 | 0 | 0 216.76/216.88 c 215s | 11 | 528631 | 21644 | 73638 0 | 0 | 0 219.46/219.59 c 218s | 11 | 529425 | 21844 | 73638 0 | 0 | 0 221.66/221.80 c 220s | 11 | 540987 | 22244 | 73638 0 | 0 | 0 223.86/223.93 c 222s | 11 | 544379 | 22444 | 73638 0 | 0 | 0 227.85/227.99 c 226s | 11 | 547894 | 22744 | 73638 0 | 0 | 0 229.96/230.06 c 228s | 11 | 548441 | 22944 | 73638 0 | 0 | 0 233.05/233.15 c 231s | 11 | 565978 | 23344 | 73638 0 | 0 | 0 235.36/235.47 c 234s | 11 | 569467 | 23744 | 73638 0 | 0 | 0 238.05/238.13 c 236s | 11 | 570094 | 23944 | 73638 0 | 0 | 0 241.15/241.22 c 239s | 11 | 576955 | 24344 | 73638 0 | 0 | 0 243.75/243.87 c 242s | 11 | 579516 | 24544 | 73638 0 | 0 | 0 246.55/246.66 c 245s | 11 | 588073 | 24944 | 73638 0 | 0 | 0 249.45/249.54 c 248s | 11 | 591379 | 25144 | 73638 0 | 0 | 0 252.15/252.20 c 250s | 11 | 592431 | 25344 | 73638 0 | 0 | 0 254.55/254.67 c 253s | 11 | 594054 | 25644 | 73638 0 | 0 | 0 256.15/256.24 c 254s | 12 | 602574 | 25819 | 81002 0 | 0 | 0 258.25/258.39 c 257s | 12 | 607762 | 26019 | 81002 0 | 0 | 0 261.55/261.60 c 260s | 12 | 611170 | 26319 | 81002 0 | 0 | 0 263.75/263.84 c 262s | 12 | 617077 | 26519 | 81002 0 | 0 | 0 266.35/266.47 c 265s | 12 | 620655 | 26819 | 81002 0 | 0 | 0 269.25/269.33 c 268s | 12 | 630296 | 27219 | 81002 0 | 0 | 0 271.84/271.93 c 270s | 12 | 631456 | 27519 | 81002 0 | 0 | 0 274.54/274.62 c 273s | 12 | 644607 | 28019 | 81002 0 | 0 | 0 276.74/276.82 c 275s | 12 | 645414 | 28319 | 81002 0 | 0 | 0 279.04/279.12 c 277s | 12 | 652066 | 28719 | 81002 0 | 0 | 0 281.74/281.83 c 280s | 12 | 659465 | 29119 | 81002 0 | 0 | 0 284.24/284.30 c 282s | 12 | 670262 | 29519 | 81002 0 | 0 | 0 286.44/286.52 c 285s | 12 | 679931 | 29919 | 81002 0 | 0 | 0 288.84/288.95 c 287s | 12 | 685048 | 30319 | 81002 0 | 0 | 0 291.34/291.50 c 290s | 12 | 694790 | 30719 | 81002 0 | 0 | 0 293.54/293.65 c 292s | 12 | 702413 | 31119 | 81002 0 | 0 | 0 296.04/296.18 c 294s | 12 | 710007 | 31519 | 81002 0 | 0 | 0 298.34/298.40 c 297s | 12 | 717438 | 31919 | 81002 0 | 0 | 0 300.35/300.46 c 299s | 12 | 724888 | 32319 | 81002 0 | 0 | 0 302.34/302.47 c 301s | 12 | 728819 | 32619 | 81002 0 | 0 | 0 304.44/304.56 c 303s | 12 | 734887 | 33019 | 81002 0 | 0 | 0 307.14/307.21 c 305s | 12 | 741043 | 33419 | 81002 0 | 0 | 0 309.24/309.31 c 308s | 12 | 747291 | 33819 | 81002 0 | 0 | 0 311.44/311.51 c 310s | 12 | 752596 | 34219 | 81002 0 | 0 | 0 313.74/313.87 c 312s | 12 | 758231 | 34619 | 81002 0 | 0 | 0 316.14/316.27 c 314s | 12 | 762626 | 35019 | 81002 0 | 0 | 0 318.33/318.47 c 317s | 12 | 767159 | 35419 | 81002 0 | 0 | 0 320.83/320.95 c 319s | 12 | 771018 | 35819 | 81002 0 | 0 | 0 323.03/323.12 c 321s | 12 | 776286 | 36119 | 81002 0 | 0 | 0 326.23/326.37 c 325s | 12 | 778424 | 36319 | 81002 0 | 0 | 0 328.53/328.60 c 327s | 12 | 781308 | 36519 | 81002 0 | 0 | 0 332.53/332.62 c 331s | 12 | 782642 | 36719 | 81002 0 | 0 | 0 334.53/334.63 c 333s | 12 | 801546 | 37019 | 81002 0 | 0 | 0 337.13/337.22 c 335s | 12 | 806366 | 37319 | 81002 0 | 0 | 0 340.73/340.85 c 339s | 12 | 807736 | 37619 | 81002 0 | 0 | 0 343.53/343.64 c 342s | 12 | 826061 | 38019 | 81002 0 | 0 | 0 345.53/345.65 c 344s | 12 | 827373 | 38219 | 81002 0 | 0 | 0 347.93/348.01 c 346s | 12 | 828221 | 38419 | 81002 0 | 0 | 0 350.43/350.53 c 349s | 12 | 828392 | 38519 | 81002 0 | 0 | 0 352.43/352.54 c 351s | 12 | 846921 | 38819 | 89103 0 | 0 | 0 352.53/352.63 c 351s | 13 | 847154 | 38832 | 89103 0 | 0 | 0 355.13/355.30 c 353s | 13 | 851443 | 39032 | 89103 0 | 0 | 0 358.63/358.75 c 357s | 13 | 852185 | 39232 | 89103 0 | 0 | 0 361.43/361.54 c 360s | 13 | 852185 | 39332 | 89103 0 | 0 | 0 363.73/363.81 c 362s | 13 | 870783 | 39632 | 89103 0 | 0 | 0 366.43/366.54 c 365s | 13 | 874695 | 39932 | 89103 0 | 0 | 0 368.93/369.02 c 367s | 13 | 877695 | 40132 | 89103 0 | 0 | 0 371.13/371.21 c 369s | 13 | 887013 | 40432 | 89103 0 | 0 | 0 373.53/373.64 c 372s | 13 | 891280 | 40732 | 89103 0 | 0 | 0 375.82/375.96 c 374s | 13 | 904309 | 41032 | 89103 0 | 0 | 0 378.02/378.11 c 376s | 13 | 908071 | 41232 | 89103 0 | 0 | 0 380.63/380.79 c 379s | 13 | 917913 | 41732 | 89103 0 | 0 | 0 383.32/383.45 c 382s | 13 | 920691 | 42032 | 89103 0 | 0 | 0 386.22/386.36 c 385s | 13 | 922242 | 42232 | 89103 0 | 0 | 0 388.42/388.56 c 387s | 13 | 927597 | 42432 | 89103 0 | 0 | 0 391.02/391.18 c 389s | 13 | 939161 | 42732 | 89103 0 | 0 | 0 393.22/393.39 c 392s | 13 | 948450 | 43032 | 89103 0 | 0 | 0 396.22/396.36 c 395s | 13 | 953587 | 43332 | 89103 0 | 0 | 0 398.32/398.47 c 397s | 13 | 962921 | 43632 | 89103 0 | 0 | 0 400.43/400.53 c 399s | 13 | 969998 | 43932 | 89103 0 | 0 | 0 403.22/403.32 c 402s | 13 | 975059 | 44232 | 89103 0 | 0 | 0 405.42/405.55 c 404s | 13 | 977668 | 44532 | 89103 0 | 0 | 0 407.72/407.88 c 406s | 13 | 979824 | 44732 | 89103 0 | 0 | 0 409.92/410.10 c 408s | 13 | 989695 | 45032 | 89103 0 | 0 | 0 412.32/412.43 c 411s | 13 | 993172 | 45332 | 89103 0 | 0 | 0 414.82/414.92 c 413s | 13 | 997483 | 45732 | 89103 0 | 0 | 0 417.22/417.35 c 416s | 13 | 1001087 | 46132 | 89103 0 | 0 | 0 420.12/420.20 c 418s | 13 | 1005635 | 46432 | 89103 0 | 0 | 0 422.52/422.62 c 421s | 13 | 1010855 | 46732 | 89103 0 | 0 | 0 425.02/425.15 c 423s | 13 | 1012570 | 47032 | 89103 0 | 0 | 0 427.42/427.53 c 426s | 13 | 1016789 | 47332 | 89103 0 | 0 | 0 429.52/429.69 c 428s | 13 | 1018928 | 47632 | 89103 0 | 0 | 0 431.72/431.88 c 430s | 13 | 1024601 | 47932 | 89103 0 | 0 | 0 433.82/433.98 c 432s | 13 | 1028035 | 48232 | 89103 0 | 0 | 0 435.81/435.99 c 434s | 13 | 1033801 | 48532 | 89103 0 | 0 | 0 437.91/438.02 c 436s | 13 | 1038950 | 48832 | 89103 0 | 0 | 0 440.31/440.41 c 439s | 13 | 1040951 | 49132 | 89103 0 | 0 | 0 442.31/442.48 c 441s | 13 | 1048996 | 49432 | 89103 0 | 0 | 0 444.43/444.52 c 443s | 13 | 1055221 | 49832 | 89103 0 | 0 | 0 446.82/446.97 c 445s | 13 | 1063748 | 50332 | 89103 0 | 0 | 0 449.02/449.14 c 447s | 13 | 1069503 | 50732 | 89103 0 | 0 | 0 451.52/451.69 c 450s | 13 | 1071757 | 51032 | 89103 0 | 0 | 0 453.82/453.91 c 452s | 13 | 1072818 | 51232 | 89103 0 | 0 | 0 456.42/456.56 c 455s | 13 | 1075236 | 51532 | 89103 0 | 0 | 0 459.22/459.34 c 458s | 13 | 1076875 | 51832 | 89103 0 | 0 | 0 461.32/461.47 c 460s | 13 | 1077740 | 52032 | 89103 0 | 0 | 0 464.32/464.49 c 463s | 13 | 1082240 | 52432 | 89103 0 | 0 | 0 466.82/466.97 c 465s | 13 | 1083648 | 52732 | 89103 0 | 0 | 0 469.62/469.71 c 468s | 13 | 1084905 | 53032 | 89103 0 | 0 | 0 472.12/472.21 c 470s | 13 | 1087971 | 53332 | 89103 0 | 0 | 0 474.51/474.63 c 473s | 13 | 1088994 | 53632 | 89103 0 | 0 | 0 476.61/476.70 c 475s | 13 | 1090429 | 53832 | 89103 0 | 0 | 0 479.31/479.40 c 478s | 13 | 1093168 | 54132 | 89103 0 | 0 | 0 481.41/481.51 c 480s | 13 | 1094454 | 54432 | 89103 0 | 0 | 0 483.51/483.63 c 482s | 13 | 1095719 | 54732 | 89103 0 | 0 | 0 485.61/485.72 c 484s | 13 | 1104624 | 55032 | 89103 0 | 0 | 0 488.21/488.35 c 487s | 13 | 1146085 | 55432 | 89103 0 | 0 | 0 491.41/491.50 c 490s | 13 | 1147162 | 55632 | 89103 0 | 0 | 0 493.51/493.64 c 492s | 13 | 1147925 | 55732 | 89103 0 | 0 | 0 496.31/496.46 c 495s | 13 | 1147925 | 55832 | 89103 0 | 0 | 0 498.81/498.97 c 497s | 13 | 1149139 | 56232 | 89103 0 | 0 | 0 501.61/501.71 c 500s | 13 | 1165841 | 56532 | 89103 0 | 0 | 0 504.61/504.72 c 503s | 13 | 1171340 | 56732 | 89103 0 | 0 | 0 507.61/507.73 c 506s | 13 | 1172623 | 57032 | 89103 0 | 0 | 0 510.81/510.90 c 509s | 13 | 1189109 | 57332 | 89103 0 | 0 | 0 514.01/514.11 c 512s | 13 | 1189892 | 57532 | 89103 0 | 0 | 0 516.41/516.51 c 515s | 13 | 1205893 | 57832 | 89103 0 | 0 | 0 518.91/519.08 c 517s | 13 | 1207286 | 58032 | 98014 0 | 0 | 0 522.10/522.29 c 520s | 13 | 1218999 | 58332 | 98014 0 | 0 | 0 522.41/522.54 c 521s | 14 | 1219027 | 58352 | 98014 0 | 0 | 0 525.00/525.12 c 523s | 14 | 1219416 | 58452 | 98014 0 | 0 | 0 527.80/527.91 c 526s | 14 | 1234940 | 58652 | 98014 0 | 0 | 0 530.21/530.32 c 529s | 14 | 1238671 | 58852 | 98014 0 | 0 | 0 532.80/532.90 c 531s | 14 | 1249120 | 59152 | 98014 0 | 0 | 0 535.00/535.16 c 533s | 14 | 1258678 | 59352 | 98014 0 | 0 | 0 538.30/538.41 c 537s | 14 | 1259099 | 59552 | 98014 0 | 0 | 0 540.40/540.59 c 539s | 14 | 1260268 | 59852 | 98014 0 | 0 | 0 543.10/543.23 c 541s | 14 | 1266128 | 60252 | 98014 0 | 0 | 0 545.51/545.66 c 544s | 14 | 1278101 | 60552 | 98014 0 | 0 | 0 548.50/548.61 c 547s | 14 | 1288242 | 60952 | 98014 0 | 0 | 0 550.90/551.07 c 549s | 14 | 1299433 | 61352 | 98014 0 | 0 | 0 553.40/553.50 c 552s | 14 | 1304819 | 61752 | 98014 0 | 0 | 0 555.50/555.62 c 554s | 14 | 1312413 | 62152 | 98014 0 | 0 | 0 557.80/557.92 c 556s | 14 | 1316791 | 62452 | 98014 0 | 0 | 0 560.30/560.41 c 559s | 14 | 1324530 | 62852 | 98014 0 | 0 | 0 562.60/562.70 c 561s | 14 | 1330569 | 63152 | 98014 0 | 0 | 0 565.10/565.28 c 563s | 14 | 1338200 | 63552 | 98014 0 | 0 | 0 567.20/567.39 c 566s | 14 | 1350018 | 63852 | 98014 0 | 0 | 0 569.40/569.53 c 568s | 14 | 1353052 | 64152 | 98014 0 | 0 | 0 571.79/571.91 c 570s | 14 | 1363096 | 64552 | 98014 0 | 0 | 0 573.89/574.02 c 572s | 14 | 1367797 | 64952 | 98014 0 | 0 | 0 576.09/576.30 c 574s | 14 | 1371671 | 65352 | 98014 0 | 0 | 0 578.50/578.66 c 577s | 14 | 1382638 | 65652 | 98014 0 | 0 | 0 580.80/580.92 c 579s | 14 | 1393610 | 65952 | 98014 0 | 0 | 0 583.39/583.54 c 582s | 14 | 1399567 | 66252 | 98014 0 | 0 | 0 585.89/586.03 c 584s | 14 | 1411151 | 66552 | 98014 0 | 0 | 0 588.99/589.15 c 587s | 14 | 1416763 | 66852 | 98014 0 | 0 | 0 591.99/592.12 c 590s | 14 | 1422024 | 67152 | 98014 0 | 0 | 0 594.00/594.13 c 592s | 14 | 1423773 | 67352 | 98014 0 | 0 | 0 596.69/596.86 c 595s | 14 | 1435777 | 67652 | 98014 0 | 0 | 0 599.29/599.40 c 598s | 14 | 1437175 | 67852 | 98014 0 | 0 | 0 602.19/602.35 c 601s | 14 | 1448641 | 68152 | 98014 0 | 0 | 0 604.19/604.35 c 603s | 14 | 1452666 | 68352 | 98014 0 | 0 | 0 606.50/606.61 c 605s | 14 | 1461992 | 68652 | 98014 0 | 0 | 0 609.00/609.12 c 607s | 14 | 1473774 | 68952 | 98014 0 | 0 | 0 611.70/611.88 c 610s | 14 | 1477956 | 69252 | 98014 0 | 0 | 0 614.60/614.76 c 613s | 14 | 1481975 | 69552 | 98014 0 | 0 | 0 616.90/617.06 c 615s | 14 | 1486903 | 69852 | 98014 0 | 0 | 0 619.49/619.68 c 618s | 14 | 1495322 | 70152 | 98014 0 | 0 | 0 622.09/622.21 c 620s | 14 | 1501450 | 70452 | 98014 0 | 0 | 0 624.99/625.14 c 623s | 14 | 1505752 | 70752 | 98014 0 | 0 | 0 627.29/627.44 c 626s | 14 | 1509184 | 70952 | 98014 0 | 0 | 0 629.79/629.98 c 628s | 14 | 1513172 | 71152 | 98014 0 | 0 | 0 632.19/632.33 c 631s | 14 | 1516608 | 71452 | 98014 0 | 0 | 0 634.49/634.70 c 633s | 14 | 1521176 | 71752 | 98014 0 | 0 | 0 636.80/636.93 c 635s | 14 | 1525667 | 72052 | 98014 0 | 0 | 0 639.39/639.55 c 638s | 14 | 1530377 | 72452 | 98014 0 | 0 | 0 642.09/642.22 c 640s | 14 | 1533975 | 72752 | 98014 0 | 0 | 0 645.19/645.30 c 643s | 14 | 1540079 | 73052 | 98014 0 | 0 | 0 648.09/648.23 c 646s | 14 | 1544314 | 73352 | 98014 0 | 0 | 0 650.59/650.78 c 649s | 14 | 1553039 | 73652 | 98014 0 | 0 | 0 653.49/653.63 c 652s | 14 | 1580192 | 73952 | 98014 0 | 0 | 0 657.59/657.73 c 656s | 14 | 1583429 | 74152 | 98014 0 | 0 | 0 660.19/660.37 c 659s | 14 | 1584465 | 74252 | 98014 0 | 0 | 0 662.39/662.58 c 661s | 14 | 1584573 | 74352 | 98014 0 | 0 | 0 665.39/665.51 c 664s | 14 | 1610381 | 74652 | 98014 0 | 0 | 0 667.89/668.01 c 666s | 14 | 1613473 | 74852 | 98014 0 | 0 | 0 670.68/670.80 c 669s | 14 | 1615763 | 75152 | 98014 0 | 0 | 0 672.78/672.99 c 671s | 14 | 1669190 | 75452 | 98014 0 | 0 | 0 675.48/675.65 c 674s | 14 | 1673640 | 75652 | 98014 0 | 0 | 0 678.88/679.08 c 677s | 14 | 1675435 | 75852 | 98014 0 | 0 | 0 681.58/681.70 c 680s | 14 | 1675715 | 75952 | 98014 0 | 0 | 0 684.28/684.45 c 683s | 14 | 1695594 | 76252 | 98014 0 | 0 | 0 687.28/687.47 c 686s | 14 | 1699832 | 76452 | 98014 0 | 0 | 0 691.28/691.47 c 690s | 14 | 1701027 | 76652 | 98014 0 | 0 | 0 693.58/693.71 c 692s | 14 | 1701338 | 76852 | 98014 0 | 0 | 0 695.88/696.00 c 694s | 14 | 1733900 | 77152 | 98014 0 | 0 | 0 697.98/698.15 c 696s | 14 | 1738477 | 77352 | 98014 0 | 0 | 0 700.38/700.51 c 699s | 14 | 1739658 | 77652 | 98014 0 | 0 | 0 703.18/703.37 c 702s | 14 | 1749804 | 77952 | 98014 0 | 0 | 0 706.08/706.24 c 704s | 14 | 1767776 | 78352 | 98014 0 | 0 | 0 708.08/708.26 c 706s | 14 | 1776655 | 78652 | 98014 0 | 0 | 0 710.58/710.71 c 709s | 14 | 1788065 | 79052 | 98014 0 | 0 | 0 712.98/713.15 c 711s | 14 | 1799140 | 79452 | 98014 0 | 0 | 0 715.18/715.39 c 714s | 14 | 1810763 | 79852 | 98014 0 | 0 | 0 717.47/717.65 c 716s | 14 | 1817727 | 80252 | 98014 0 | 0 | 0 719.77/720.00 c 718s | 14 | 1835451 | 80552 | 98014 0 | 0 | 0 722.68/722.89 c 721s | 14 | 1837892 | 80752 | 98014 0 | 0 | 0 724.78/724.95 c 723s | 14 | 1841702 | 80952 | 98014 0 | 0 | 0 726.77/726.97 c 725s | 14 | 1841753 | 81052 | 98014 0 | 0 | 0 729.67/729.84 c 728s | 14 | 1852859 | 81352 | 98014 0 | 0 | 0 732.07/732.24 c 730s | 14 | 1868246 | 81652 | 98014 0 | 0 | 0 734.97/735.18 c 733s | 14 | 1872610 | 81852 | 98014 0 | 0 | 0 738.57/738.75 c 737s | 14 | 1892349 | 82252 | 98014 0 | 0 | 0 740.67/740.85 c 739s | 14 | 1908072 | 82552 | 98014 0 | 0 | 0 742.87/743.02 c 741s | 14 | 1915359 | 82852 | 98014 0 | 0 | 0 744.97/745.16 c 743s | 14 | 1925549 | 83052 | 98014 0 | 0 | 0 747.17/747.35 c 746s | 14 | 1941239 | 83352 | 98014 0 | 0 | 0 749.57/749.79 c 748s | 14 | 1952262 | 83652 | 98014 0 | 0 | 0 752.17/752.36 c 751s | 14 | 1968692 | 83952 | 98014 0 | 0 | 0 754.67/754.85 c 753s | 14 | 1982595 | 84252 | 98014 0 | 0 | 0 757.17/757.37 c 756s | 14 | 1995480 | 84552 | 98014 0 | 0 | 0 760.07/760.29 c 758s | 14 | 2001213 | 84852 | 98014 0 | 0 | 0 763.17/763.33 c 762s | 14 | 2010394 | 85152 | 98014 0 | 0 | 0 765.26/765.45 c 764s | 14 | 2017050 | 85352 | 98014 0 | 0 | 0 767.77/767.95 c 766s | 14 | 2020271 | 85652 | 98014 0 | 0 | 0 770.26/770.44 c 769s | 14 | 2031468 | 85952 | 98014 0 | 0 | 0 773.17/773.38 c 772s | 14 | 2037893 | 86252 | 98014 0 | 0 | 0 775.76/775.90 c 774s | 14 | 2045453 | 86552 | 98014 0 | 0 | 0 778.36/778.51 c 777s | 14 | 2048242 | 86852 | 98014 0 | 0 | 0 780.97/781.19 c 779s | 14 | 2050884 | 87152 | 107816 0 | 0 | 0 783.56/783.79 c 782s | 14 | 2070271 | 87452 | 107816 0 | 0 | 0 786.06/786.27 c 784s | 15 | 2071659 | 87632 | 107816 0 | 0 | 0 789.06/789.21 c 787s | 15 | 2075361 | 87732 | 107816 0 | 0 | 0 791.46/791.63 c 790s | 15 | 2091105 | 88032 | 107816 0 | 0 | 0 793.86/794.07 c 792s | 15 | 2106943 | 88332 | 107816 0 | 0 | 0 796.27/796.49 c 795s | 15 | 2117659 | 88632 | 107816 0 | 0 | 0 798.65/798.87 c 797s | 15 | 2121684 | 88832 | 107816 0 | 0 | 0 801.65/801.82 c 800s | 15 | 2126057 | 89132 | 107816 0 | 0 | 0 803.85/804.03 c 802s | 15 | 2147756 | 89432 | 107816 0 | 0 | 0 806.55/806.76 c 805s | 15 | 2156064 | 89732 | 107816 0 | 0 | 0 808.65/808.83 c 807s | 15 | 2177423 | 89932 | 107816 0 | 0 | 0 811.75/811.91 c 810s | 15 | 2181037 | 90132 | 107816 0 | 0 | 0 814.04/814.24 c 812s | 15 | 2181354 | 90232 | 107816 0 | 0 | 0 816.64/816.84 c 815s | 15 | 2216586 | 90532 | 107816 0 | 0 | 0 818.94/819.15 c 817s | 15 | 2220254 | 90732 | 107816 0 | 0 | 0 821.74/821.92 c 820s | 15 | 2232096 | 91132 | 107816 0 | 0 | 0 824.04/824.23 c 822s | 15 | 2239603 | 91432 | 107816 0 | 0 | 0 826.05/826.25 c 824s | 15 | 2251428 | 91732 | 107816 0 | 0 | 0 828.74/828.92 c 827s | 15 | 2261625 | 92132 | 107816 0 | 0 | 0 830.94/831.17 c 829s | 15 | 2269773 | 92532 | 107816 0 | 0 | 0 833.44/833.65 c 832s | 15 | 2272418 | 92932 | 107816 0 | 0 | 0 835.64/835.85 c 834s | 15 | 2277723 | 93332 | 107816 0 | 0 | 0 838.83/839.03 c 837s | 15 | 2282741 | 93732 | 107816 0 | 0 | 0 843.03/843.20 c 841s | 15 | 2284619 | 93932 | 107816 0 | 0 | 0 845.93/846.15 c 844s | 15 | 2303601 | 94232 | 107816 0 | 0 | 0 848.63/848.83 c 847s | 15 | 2317396 | 94532 | 107816 0 | 0 | 0 851.73/851.95 c 850s | 15 | 2318489 | 94732 | 107816 0 | 0 | 0 853.93/854.12 c 852s | 15 | 2349427 | 95032 | 107816 0 | 0 | 0 856.93/857.14 c 855s | 15 | 2357699 | 95332 | 107816 0 | 0 | 0 859.32/859.51 c 858s | 15 | 2363161 | 95632 | 107816 0 | 0 | 0 862.12/862.34 c 861s | 15 | 2366406 | 95832 | 107816 0 | 0 | 0 865.12/865.37 c 864s | 15 | 2377431 | 96132 | 107816 0 | 0 | 0 867.22/867.44 c 866s | 15 | 2382007 | 96332 | 107816 0 | 0 | 0 870.12/870.37 c 869s | 15 | 2391660 | 96632 | 107816 0 | 0 | 0 872.92/873.14 c 871s | 15 | 2404015 | 96932 | 107816 0 | 0 | 0 875.62/875.84 c 874s | 15 | 2410623 | 97232 | 107816 0 | 0 | 0 878.51/878.73 c 877s | 15 | 2412815 | 97432 | 107816 0 | 0 | 0 880.92/881.14 c 879s | 15 | 2415608 | 97632 | 107816 0 | 0 | 0 883.31/883.58 c 882s | 15 | 2420381 | 98032 | 107816 0 | 0 | 0 885.42/885.67 c 884s | 15 | 2421266 | 98332 | 107816 0 | 0 | 0 887.52/887.80 c 886s | 15 | 2423545 | 98532 | 107816 0 | 0 | 0 890.01/890.29 c 888s | 15 | 2431504 | 98832 | 107816 0 | 0 | 0 892.41/892.65 c 891s | 15 | 2432425 | 99132 | 107816 0 | 0 | 0 895.01/895.21 c 893s | 15 | 2437378 | 99432 | 107816 0 | 0 | 0 897.20/897.47 c 896s | 15 | 2440878 | 99732 | 107816 0 | 0 | 0 900.20/900.41 c 899s | 15 | 2445693 | 100032 | 107816 0 | 0 | 0 902.80/903.02 c 901s | 15 | 2454776 | 100332 | 107816 0 | 0 | 0 905.21/905.43 c 904s | 15 | 2469672 | 100632 | 107816 0 | 0 | 0 907.70/907.95 c 906s | 15 | 2505343 | 100932 | 107816 0 | 0 | 0 910.50/910.80 c 909s | 15 | 2507777 | 101132 | 107816 0 | 0 | 0 912.80/913.04 c 911s | 15 | 2510189 | 101232 | 107816 0 | 0 | 0 915.10/915.36 c 914s | 15 | 2552281 | 101532 | 107816 0 | 0 | 0 917.59/917.84 c 916s | 15 | 2559256 | 101832 | 107816 0 | 0 | 0 919.89/920.19 c 918s | 15 | 2587388 | 102132 | 107816 0 | 0 | 0 921.99/922.26 c 920s | 15 | 2590758 | 102332 | 107816 0 | 0 | 0 924.29/924.56 c 923s | 15 | 2592909 | 102532 | 107816 0 | 0 | 0 926.50/926.71 c 925s | 15 | 2614094 | 102832 | 107816 0 | 0 | 0 929.10/929.37 c 928s | 15 | 2625801 | 103232 | 107816 0 | 0 | 0 931.60/931.84 c 930s | 15 | 2638592 | 103632 | 107816 0 | 0 | 0 934.40/934.67 c 933s | 15 | 2648216 | 104032 | 107816 0 | 0 | 0 937.00/937.27 c 935s | 15 | 2662735 | 104432 | 107816 0 | 0 | 0 939.69/939.98 c 938s | 15 | 2673353 | 104732 | 107816 0 | 0 | 0 942.29/942.51 c 941s | 15 | 2677383 | 104932 | 107816 0 | 0 | 0 944.59/944.86 c 943s | 15 | 2680071 | 105132 | 107816 0 | 0 | 0 947.49/947.74 c 946s | 15 | 2700998 | 105432 | 107816 0 | 0 | 0 949.99/950.23 c 948s | 15 | 2714773 | 105632 | 107816 0 | 0 | 0 952.09/952.37 c 951s | 15 | 2718570 | 105832 | 107816 0 | 0 | 0 954.49/954.76 c 953s | 15 | 2743952 | 106132 | 107816 0 | 0 | 0 956.49/956.78 c 955s | 15 | 2747913 | 106332 | 107816 0 | 0 | 0 959.19/959.41 c 958s | 15 | 2754836 | 106632 | 107816 0 | 0 | 0 961.38/961.67 c 960s | 15 | 2760583 | 106932 | 107816 0 | 0 | 0 963.78/964.01 c 962s | 15 | 2765042 | 107332 | 107816 0 | 0 | 0 966.18/966.42 c 965s | 15 | 2771437 | 107632 | 107816 0 | 0 | 0 968.48/968.77 c 967s | 15 | 2780485 | 107832 | 107816 0 | 0 | 0 970.48/970.77 c 969s | 15 | 2793166 | 108032 | 107816 0 | 0 | 0 972.98/973.26 c 971s | 15 | 2797129 | 108232 | 107816 0 | 0 | 0 974.98/975.27 c 973s | 15 | 2802134 | 108432 | 107816 0 | 0 | 0 977.79/978.04 c 976s | 15 | 2810832 | 108732 | 107816 0 | 0 | 0 980.28/980.51 c 979s | 15 | 2818284 | 109032 | 107816 0 | 0 | 0 985.17/985.40 c 984s | 15 | 2820228 | 109232 | 107816 1 | 0 | 0 987.58/987.86 c 986s | 15 | 2822669 | 109532 | 107816 1 | 0 | 0 989.97/990.29 c 988s | 15 | 2826323 | 109832 | 107816 1 | 0 | 0 992.67/992.98 c 991s | 15 | 2844170 | 110232 | 107816 1 | 0 | 0 995.38/995.65 c 994s | 15 | 2861810 | 110632 | 107816 1 | 0 | 0 997.67/997.95 c 996s | 15 | 2866641 | 110932 | 107816 1 | 0 | 0 1000.17/1000.45 c 999s | 15 | 2868539 | 111232 | 107816 1 | 0 | 0 1002.57/1002.85 c 1001s | 15 | 2870716 | 111532 | 107816 1 | 0 | 0 1004.57/1004.88 c 1003s | 15 | 2909732 | 111932 | 107816 1 | 0 | 0 1006.87/1007.17 c 1005s | 15 | 2915570 | 112232 | 107816 1 | 0 | 0 1009.27/1009.51 c 1008s | 15 | 2955399 | 112732 | 107816 1 | 0 | 0 1011.36/1011.69 c 1010s | 15 | 2972417 | 113132 | 107816 1 | 0 | 0 1013.56/1013.89 c 1012s | 15 | 3003232 | 113632 | 107816 1 | 0 | 0 1016.27/1016.59 c 1015s | 15 | 3009541 | 113932 | 107816 1 | 0 | 0 1018.76/1019.08 c 1017s | 15 | 3058034 | 114332 | 107816 1 | 0 | 0 1021.26/1021.55 c 1020s | 15 | 3095865 | 114732 | 107816 1 | 0 | 0 1023.87/1024.15 c 1022s | 15 | 3105917 | 115032 | 107816 1 | 0 | 0 1026.26/1026.56 c 1025s | 15 | 3153548 | 115432 | 107816 1 | 0 | 0 1028.85/1029.11 c 1027s | 15 | 3174438 | 115732 | 107816 1 | 0 | 0 1031.05/1031.38 c 1030s | 15 | 3176939 | 115932 | 107816 1 | 0 | 0 1033.15/1033.46 c 1032s | 15 | 3213212 | 116332 | 107816 1 | 0 | 0 1035.45/1035.74 c 1034s | 15 | 3225596 | 116732 | 107816 1 | 0 | 0 1037.55/1037.82 c 1036s | 15 | 3234001 | 117032 | 107816 1 | 0 | 0 1039.95/1040.29 c 1038s | 15 | 3243938 | 117332 | 107816 1 | 0 | 0 1042.05/1042.31 c 1041s | 15 | 3261442 | 117632 | 107816 1 | 0 | 0 1044.15/1044.40 c 1043s | 15 | 3283486 | 118032 | 107816 1 | 0 | 0 1046.15/1046.41 c 1045s | 15 | 3295850 | 118432 | 107816 1 | 0 | 0 1048.25/1048.56 c 1047s | 15 | 3300278 | 118732 | 107816 1 | 0 | 0 1050.44/1050.78 c 1049s | 15 | 3307734 | 119032 | 107816 1 | 0 | 0 1052.55/1052.89 c 1051s | 15 | 3322796 | 119432 | 107816 1 | 0 | 0 1054.75/1055.06 c 1053s | 15 | 3335157 | 119832 | 107816 1 | 0 | 0 1056.95/1057.25 c 1055s | 15 | 3342702 | 120232 | 107816 1 | 0 | 0 1059.44/1059.73 c 1058s | 15 | 3362496 | 120732 | 107816 1 | 0 | 0 1061.64/1061.97 c 1060s | 15 | 3373211 | 121032 | 107816 1 | 0 | 0 1063.84/1064.10 c 1062s | 15 | 3382362 | 121332 | 107816 1 | 0 | 0 1066.14/1066.43 c 1065s | 15 | 3397077 | 121632 | 107816 1 | 0 | 0 1068.34/1068.63 c 1067s | 15 | 3412886 | 122032 | 107816 1 | 0 | 0 1070.43/1070.70 c 1069s | 15 | 3440947 | 122432 | 107816 1 | 0 | 0 1072.73/1073.00 c 1071s | 15 | 3456012 | 122832 | 107816 1 | 0 | 0 1074.73/1075.06 c 1073s | 15 | 3473073 | 123232 | 107816 1 | 0 | 0 1076.74/1077.09 c 1075s | 15 | 3487851 | 123632 | 107816 1 | 0 | 0 1079.04/1079.38 c 1078s | 15 | 3501197 | 124332 | 107816 1 | 0 | 0 1081.63/1081.97 c 1080s | 15 | 3508907 | 124932 | 107816 1 | 0 | 0 1083.73/1084.06 c 1082s | 15 | 3523420 | 125232 | 107816 1 | 0 | 0 1085.83/1086.15 c 1084s | 15 | 3530935 | 125532 | 107816 1 | 0 | 0 1088.43/1088.70 c 1087s | 15 | 3542919 | 125932 | 107816 1 | 0 | 0 1090.53/1090.83 c 1089s | 15 | 3547007 | 126432 | 107816 1 | 0 | 0 1093.43/1093.72 c 1092s | 15 | 3553665 | 127032 | 107816 1 | 0 | 0 1095.73/1096.09 c 1094s | 15 | 3559425 | 127332 | 107816 1 | 0 | 0 1098.13/1098.50 c 1097s | 15 | 3566643 | 127732 | 107816 1 | 0 | 0 1100.43/1100.79 c 1099s | 15 | 3572863 | 128032 | 107816 1 | 0 | 0 1102.73/1103.08 c 1101s | 15 | 3574390 | 128332 | 107816 1 | 0 | 0 1105.03/1105.34 c 1104s | 15 | 3590028 | 128732 | 107816 1 | 0 | 0 1107.12/1107.41 c 1106s | 15 | 3600808 | 129232 | 107816 1 | 0 | 0 1109.32/1109.63 c 1108s | 15 | 3606560 | 129832 | 107816 1 | 0 | 0 1111.82/1112.12 c 1110s | 15 | 3629704 | 130232 | 107816 1 | 0 | 0 1114.12/1114.49 c 1113s | 15 | 3646313 | 130632 | 107816 1 | 0 | 0 1116.32/1116.66 c 1115s | 15 | 3656112 | 131032 | 118598 1 | 0 | 0 1118.81/1119.14 c 1117s | 15 | 3662411 | 131432 | 118598 1 | 0 | 0 1119.52/1119.82 c 1118s | 16 | 3664912 | 131552 | 118598 1 | 0 | 0 1121.61/1121.96 c 1120s | 16 | 3665885 | 131652 | 118598 1 | 0 | 0 1124.02/1124.34 c 1123s | 16 | 3681061 | 131952 | 118598 1 | 0 | 0 1126.12/1126.48 c 1125s | 16 | 3682644 | 132052 | 118598 1 | 0 | 0 1128.50/1128.81 c 1127s | 16 | 3717469 | 132352 | 118598 1 | 0 | 0 1130.51/1130.85 c 1129s | 16 | 3751495 | 132652 | 118598 1 | 0 | 0 1132.60/1132.95 c 1131s | 16 | 3757026 | 132852 | 118598 1 | 0 | 0 1134.91/1135.25 c 1133s | 16 | 3778412 | 133252 | 118598 1 | 0 | 0 1137.11/1137.45 c 1136s | 16 | 3797546 | 133552 | 118598 1 | 0 | 0 1139.40/1139.79 c 1138s | 16 | 3814224 | 133852 | 118598 1 | 0 | 0 1142.30/1142.62 c 1141s | 16 | 3831632 | 134252 | 118598 1 | 0 | 0 1144.70/1145.02 c 1143s | 16 | 3872644 | 134652 | 118598 1 | 0 | 0 1146.70/1147.03 c 1145s | 16 | 3882108 | 134952 | 118598 1 | 0 | 0 1148.69/1149.04 c 1147s | 16 | 3890777 | 135252 | 118598 1 | 0 | 0 1151.50/1151.89 c 1150s | 16 | 3893107 | 135552 | 118598 1 | 0 | 0 1153.89/1154.25 c 1152s | 16 | 3906040 | 135852 | 118598 1 | 0 | 0 1156.69/1157.08 c 1155s | 16 | 3918310 | 136152 | 118598 1 | 0 | 0 1159.20/1159.59 c 1158s | 16 | 3950342 | 136352 | 118598 1 | 0 | 0 1162.29/1162.60 c 1161s | 16 | 3970291 | 136652 | 118598 1 | 0 | 0 1165.59/1165.99 c 1164s | 16 | 3971782 | 136852 | 118598 1 | 0 | 0 1167.90/1168.27 c 1166s | 16 | 4025232 | 137252 | 118598 1 | 0 | 0 1170.29/1170.69 c 1169s | 16 | 4048324 | 137552 | 118598 1 | 0 | 0 1172.29/1172.69 c 1171s | 16 | 4116312 | 137952 | 118598 1 | 0 | 0 1174.69/1175.03 c 1173s | 16 | 4125939 | 138152 | 118598 1 | 0 | 0 1178.58/1178.94 c 1177s | 16 | 4126993 | 138352 | 118598 1 | 0 | 0 1181.28/1181.61 c 1180s | 16 | 4170384 | 138752 | 118598 1 | 0 | 0 1183.68/1184.09 c 1182s | 16 | 4185064 | 139052 | 118598 1 | 0 | 0 1186.48/1186.84 c 1185s | 16 | 4276108 | 139552 | 118598 1 | 0 | 0 1188.78/1189.12 c 1187s | 16 | 4284540 | 139752 | 118598 1 | 0 | 0 1191.08/1191.42 c 1190s | 16 | 4312291 | 140152 | 118598 1 | 0 | 0 1193.48/1193.88 c 1192s | 16 | 4328382 | 140452 | 118598 1 | 0 | 0 1195.68/1196.05 c 1194s | 16 | 4344884 | 140652 | 118598 1 | 0 | 0 1197.68/1198.07 c 1196s | 16 | 4364974 | 140952 | 118598 1 | 0 | 0 1199.67/1200.10 c 1198s | 16 | 4413354 | 141352 | 118598 1 | 0 | 0 1202.27/1202.67 c 1201s | 16 | 4423725 | 141652 | 118598 1 | 0 | 0 1204.97/1205.34 c 1204s | 16 | 4452070 | 142052 | 118598 1 | 0 | 0 1206.97/1207.38 c 1206s | 16 | 4473623 | 142352 | 118598 1 | 0 | 0 1209.17/1209.54 c 1208s | 16 | 4489793 | 142652 | 118598 1 | 0 | 0 1211.56/1211.93 c 1210s | 16 | 4530730 | 143052 | 118598 1 | 0 | 0 1213.76/1214.11 c 1212s | 16 | 4538158 | 143352 | 118598 1 | 0 | 0 1216.16/1216.54 c 1215s | 16 | 4563826 | 143752 | 118598 1 | 0 | 0 1218.66/1219.01 c 1217s | 16 | 4585853 | 144152 | 118598 1 | 0 | 0 1222.16/1222.52 c 1221s | 16 | 4595299 | 144652 | 118598 1 | 0 | 0 1224.16/1224.58 c 1223s | 16 | 4600636 | 144852 | 118598 1 | 0 | 0 1226.46/1226.87 c 1225s | 16 | 4606651 | 145152 | 118598 1 | 0 | 0 1228.75/1229.19 c 1227s | 16 | 4609147 | 145352 | 118598 1 | 0 | 0 1230.85/1231.25 c 1229s | 16 | 4613612 | 145552 | 118598 1 | 0 | 0 1233.45/1233.80 c 1232s | 16 | 4626018 | 145852 | 118598 1 | 0 | 0 1235.85/1236.29 c 1234s | 16 | 4655755 | 146252 | 118598 1 | 0 | 0 1238.36/1238.72 c 1237s | 16 | 4679935 | 146652 | 118598 1 | 0 | 0 1240.35/1240.77 c 1239s | 16 | 4695109 | 146952 | 118598 1 | 0 | 0 1242.45/1242.89 c 1241s | 16 | 4708640 | 147252 | 118598 1 | 0 | 0 1244.55/1244.91 c 1243s | 16 | 4713846 | 147452 | 118598 1 | 0 | 0 1246.75/1247.11 c 1245s | 16 | 4725765 | 147752 | 118598 1 | 0 | 0 1249.05/1249.48 c 1248s | 16 | 4732366 | 148052 | 118598 1 | 0 | 0 1251.25/1251.60 c 1250s | 16 | 4739793 | 148352 | 118598 1 | 0 | 0 1253.44/1253.87 c 1252s | 16 | 4744653 | 148752 | 118598 1 | 0 | 0 1255.85/1256.30 c 1254s | 16 | 4749742 | 149052 | 118598 1 | 0 | 0 1258.34/1258.71 c 1257s | 16 | 4789140 | 149352 | 118598 1 | 0 | 0 1261.74/1262.13 c 1260s | 16 | 4790882 | 149652 | 118598 1 | 0 | 0 1263.94/1264.39 c 1263s | 16 | 4848698 | 150052 | 118598 1 | 0 | 0 1266.34/1266.74 c 1265s | 16 | 4856128 | 150252 | 118598 1 | 0 | 0 1268.44/1268.85 c 1267s | 16 | 4872634 | 150452 | 118598 1 | 0 | 0 1270.44/1270.88 c 1269s | 16 | 4876621 | 150652 | 118598 1 | 0 | 0 1272.64/1273.04 c 1271s | 16 | 4914405 | 151052 | 118598 1 | 0 | 0 1274.74/1275.14 c 1273s | 16 | 4932365 | 151352 | 118598 1 | 0 | 0 1277.44/1277.84 c 1276s | 16 | 4984962 | 151852 | 118598 1 | 0 | 0 1279.44/1279.89 c 1278s | 16 | 4990903 | 152052 | 118598 1 | 0 | 0 1281.54/1281.99 c 1280s | 16 | 5001851 | 152352 | 118598 1 | 0 | 0 1283.73/1284.11 c 1282s | 16 | 5016137 | 152752 | 118598 1 | 0 | 0 1285.73/1286.13 c 1284s | 16 | 5031321 | 153152 | 118598 1 | 0 | 0 1288.03/1288.42 c 1287s | 16 | 5040598 | 153552 | 118598 1 | 0 | 0 1290.14/1290.53 c 1289s | 16 | 5051473 | 154052 | 118598 1 | 0 | 0 1292.84/1293.23 c 1291s | 16 | 5061188 | 154352 | 118598 1 | 0 | 0 1295.04/1295.40 c 1294s | 16 | 5088111 | 154652 | 118598 1 | 0 | 0 1297.75/1298.14 c 1296s | 16 | 5110065 | 155052 | 118598 1 | 0 | 0 1300.04/1300.45 c 1299s | 16 | 5121454 | 155352 | 118598 1 | 0 | 0 1302.74/1303.14 c 1301s | 16 | 5149835 | 155752 | 118598 1 | 0 | 0 1305.04/1305.47 c 1304s | 16 | 5154924 | 156052 | 118598 1 | 0 | 0 1307.34/1307.78 c 1306s | 16 | 5160627 | 156352 | 118598 1 | 0 | 0 1309.54/1309.97 c 1308s | 16 | 5168512 | 156652 | 118598 1 | 0 | 0 1311.74/1312.17 c 1310s | 16 | 5173782 | 156952 | 118598 1 | 0 | 0 1314.14/1314.54 c 1313s | 16 | 5177940 | 157352 | 118598 1 | 0 | 0 1316.54/1316.98 c 1315s | 16 | 5206028 | 157752 | 118598 1 | 0 | 0 1318.94/1319.39 c 1318s | 16 | 5207614 | 157952 | 118598 1 | 0 | 0 1321.04/1321.41 c 1320s | 16 | 5229551 | 158252 | 118598 1 | 0 | 0 1323.23/1323.61 c 1322s | 16 | 5262133 | 158552 | 118598 1 | 0 | 0 1325.53/1325.95 c 1324s | 16 | 5280478 | 158852 | 118598 1 | 0 | 0 1327.93/1328.32 c 1327s | 16 | 5293162 | 159152 | 118598 1 | 0 | 0 1330.33/1330.71 c 1329s | 16 | 5305688 | 159452 | 118598 1 | 0 | 0 1332.43/1332.82 c 1331s | 16 | 5325974 | 159852 | 118598 1 | 0 | 0 1334.83/1335.27 c 1333s | 16 | 5344903 | 160252 | 118598 1 | 0 | 0 1337.03/1337.49 c 1336s | 16 | 5359776 | 160652 | 118598 1 | 0 | 0 1339.54/1339.96 c 1338s | 16 | 5377652 | 161152 | 118598 1 | 0 | 0 1341.53/1341.97 c 1340s | 16 | 5392555 | 161552 | 118598 1 | 0 | 0 1343.73/1344.14 c 1342s | 16 | 5401969 | 161952 | 118598 1 | 0 | 0 1346.33/1346.76 c 1345s | 16 | 5408795 | 162352 | 118598 1 | 0 | 0 1348.73/1349.19 c 1347s | 16 | 5420399 | 162652 | 118598 1 | 0 | 0 1351.03/1351.49 c 1350s | 16 | 5431361 | 163052 | 118598 1 | 0 | 0 1353.43/1353.83 c 1352s | 16 | 5465176 | 163452 | 118598 1 | 0 | 0 1355.73/1356.11 c 1354s | 16 | 5476521 | 163752 | 118598 1 | 0 | 0 1358.03/1358.41 c 1357s | 16 | 5477124 | 163952 | 118598 1 | 0 | 0 1360.63/1361.05 c 1359s | 16 | 5498258 | 164352 | 118598 1 | 0 | 0 1362.83/1363.29 c 1361s | 16 | 5512240 | 164652 | 118598 1 | 0 | 0 1365.63/1366.02 c 1364s | 16 | 5532105 | 165052 | 118598 1 | 0 | 0 1367.73/1368.11 c 1366s | 16 | 5541277 | 165352 | 118598 1 | 0 | 0 1369.72/1370.18 c 1368s | 16 | 5547668 | 165652 | 118598 1 | 0 | 0 1371.92/1372.36 c 1371s | 16 | 5564004 | 166052 | 118598 1 | 0 | 0 1374.22/1374.68 c 1373s | 16 | 5576844 | 166452 | 118598 1 | 0 | 0 1376.42/1376.89 c 1375s | 16 | 5589601 | 166952 | 118598 1 | 0 | 0 1378.72/1379.19 c 1377s | 16 | 5595801 | 167352 | 118598 1 | 0 | 0 1381.62/1382.04 c 1380s | 16 | 5611099 | 167752 | 118598 1 | 0 | 0 1384.32/1384.72 c 1383s | 16 | 5619393 | 168052 | 118598 1 | 0 | 0 1386.73/1387.16 c 1385s | 16 | 5632376 | 168452 | 118598 1 | 0 | 0 1389.32/1389.70 c 1388s | 16 | 5643935 | 168852 | 118598 1 | 0 | 0 1391.62/1392.09 c 1390s | 16 | 5652194 | 169252 | 118598 1 | 0 | 0 1394.32/1394.77 c 1393s | 16 | 5661175 | 169652 | 118598 1 | 0 | 0 1396.42/1396.84 c 1395s | 16 | 5688999 | 169952 | 118598 1 | 0 | 0 1398.52/1398.90 c 1397s | 16 | 5694191 | 170152 | 118598 1 | 0 | 0 1401.03/1401.46 c 1400s | 16 | 5730189 | 170552 | 118598 1 | 0 | 0 1403.42/1403.87 c 1402s | 16 | 5744048 | 170852 | 118598 1 | 0 | 0 1405.52/1405.96 c 1404s | 16 | 5754827 | 171152 | 118598 1 | 0 | 0 1407.72/1408.13 c 1406s | 16 | 5769500 | 171552 | 118598 1 | 0 | 0 1410.12/1410.54 c 1409s | 16 | 5791779 | 172152 | 118598 1 | 0 | 0 1412.42/1412.80 c 1411s | 16 | 5799514 | 172552 | 118598 1 | 0 | 0 1415.11/1415.58 c 1414s | 16 | 5808555 | 172852 | 118598 1 | 0 | 0 1418.11/1418.56 c 1417s | 16 | 5817523 | 173152 | 118598 1 | 0 | 0 1421.01/1421.46 c 1420s | 16 | 5828188 | 173552 | 118598 1 | 0 | 0 1423.12/1423.52 c 1422s | 16 | 5836968 | 173852 | 118598 1 | 0 | 0 1425.71/1426.14 c 1424s | 16 | 5845045 | 174252 | 118598 1 | 0 | 0 1431.92/1432.33 c 1431s | 16 | 5853776 | 174652 | 118598 2 | 0 | 0 1434.42/1434.88 c 1433s | 16 | 5858807 | 174952 | 118598 2 | 0 | 0 1437.01/1437.40 c 1436s | 16 | 5865238 | 175352 | 118598 2 | 0 | 0 1439.31/1439.75 c 1438s | 16 | 5872621 | 175752 | 118598 2 | 0 | 0 1441.61/1442.04 c 1440s | 16 | 5878181 | 176052 | 118598 2 | 0 | 0 1443.71/1444.10 c 1442s | 16 | 5882488 | 176352 | 118598 2 | 0 | 0 1446.01/1446.50 c 1445s | 16 | 5894787 | 176752 | 118598 2 | 0 | 0 1448.61/1449.03 c 1447s | 16 | 5922687 | 177152 | 118598 2 | 0 | 0 1450.91/1451.36 c 1450s | 16 | 5952849 | 177552 | 118598 2 | 0 | 0 1453.21/1453.60 c 1452s | 16 | 5976162 | 177952 | 118598 2 | 0 | 0 1456.02/1456.43 c 1455s | 16 | 6002094 | 178352 | 118598 2 | 0 | 0 1458.01/1458.47 c 1457s | 16 | 6023889 | 178552 | 118598 2 | 0 | 0 1460.42/1460.86 c 1459s | 16 | 6044835 | 178952 | 118598 2 | 0 | 0 1462.72/1463.11 c 1461s | 16 | 6063805 | 179252 | 118598 2 | 0 | 0 1464.82/1465.22 c 1463s | 16 | 6085402 | 179652 | 118598 2 | 0 | 0 1467.12/1467.58 c 1466s | 16 | 6103022 | 180152 | 118598 2 | 0 | 0 1469.21/1469.63 c 1468s | 16 | 6107723 | 180452 | 118598 2 | 0 | 0 1471.31/1471.77 c 1470s | 16 | 6111945 | 180852 | 118598 2 | 0 | 0 1473.61/1474.00 c 1472s | 16 | 6137170 | 181252 | 118598 2 | 0 | 0 1476.01/1476.41 c 1475s | 16 | 6165438 | 181652 | 118598 2 | 0 | 0 1478.81/1479.28 c 1477s | 16 | 6191505 | 182052 | 118598 2 | 0 | 0 1481.11/1481.53 c 1480s | 16 | 6211569 | 182352 | 118598 2 | 0 | 0 1483.11/1483.56 c 1482s | 16 | 6230294 | 182752 | 118598 2 | 0 | 0 1485.21/1485.65 c 1484s | 16 | 6245718 | 183152 | 118598 2 | 0 | 0 1487.40/1487.88 c 1486s | 16 | 6262483 | 183652 | 118598 2 | 0 | 0 1489.51/1489.99 c 1488s | 16 | 6272587 | 184052 | 118598 2 | 0 | 0 1492.01/1492.45 c 1491s | 16 | 6286663 | 184452 | 118598 2 | 0 | 0 1494.21/1494.67 c 1493s | 16 | 6294037 | 184752 | 118598 2 | 0 | 0 1496.31/1496.78 c 1495s | 16 | 6300178 | 184952 | 118598 2 | 0 | 0 1498.61/1499.02 c 1497s | 16 | 6325156 | 185352 | 118598 2 | 0 | 0 1501.12/1501.54 c 1500s | 16 | 6350786 | 185852 | 118598 2 | 0 | 0 1503.42/1503.83 c 1502s | 16 | 6366495 | 186352 | 118598 2 | 0 | 0 1505.71/1506.12 c 1504s | 16 | 6370213 | 186652 | 118598 2 | 0 | 0 1507.82/1508.24 c 1506s | 16 | 6380844 | 187052 | 118598 2 | 0 | 0 1510.21/1510.65 c 1509s | 16 | 6397859 | 187552 | 118598 2 | 0 | 0 1512.41/1512.86 c 1511s | 16 | 6417743 | 187952 | 118598 2 | 0 | 0 1515.01/1515.44 c 1514s | 16 | 6430818 | 188452 | 118598 2 | 0 | 0 1517.01/1517.49 c 1516s | 16 | 6440194 | 188852 | 118598 2 | 0 | 0 1519.21/1519.69 c 1518s | 16 | 6467781 | 189352 | 118598 2 | 0 | 0 1521.51/1521.98 c 1520s | 16 | 6475717 | 189852 | 118598 2 | 0 | 0 1523.61/1524.06 c 1522s | 16 | 6481491 | 190252 | 118598 2 | 0 | 0 1525.91/1526.31 c 1525s | 16 | 6491577 | 190652 | 118598 2 | 0 | 0 1528.10/1528.54 c 1527s | 16 | 6506404 | 191152 | 118598 2 | 0 | 0 1530.10/1530.55 c 1529s | 16 | 6518314 | 191552 | 118598 2 | 0 | 0 1532.40/1532.83 c 1531s | 16 | 6539033 | 192052 | 118598 2 | 0 | 0 1534.90/1535.31 c 1534s | 16 | 6545867 | 192552 | 118598 2 | 0 | 0 1537.20/1537.60 c 1536s | 16 | 6554320 | 193052 | 118598 2 | 0 | 0 1539.30/1539.79 c 1538s | 16 | 6561662 | 193552 | 118598 2 | 0 | 0 1541.50/1541.95 c 1540s | 16 | 6565652 | 193952 | 118598 2 | 0 | 0 1543.60/1544.02 c 1542s | 16 | 6570230 | 194352 | 118598 2 | 0 | 0 1546.00/1546.43 c 1545s | 16 | 6573941 | 194752 | 118598 2 | 0 | 0 1548.30/1548.77 c 1547s | 16 | 6578516 | 195152 | 118598 2 | 0 | 0 1550.40/1550.86 c 1549s | 16 | 6580108 | 195452 | 118598 2 | 0 | 0 1553.70/1554.17 c 1552s | 16 | 6583586 | 195852 | 118598 2 | 0 | 0 1556.00/1556.40 c 1555s | 16 | 6630392 | 196252 | 130458 2 | 0 | 0 1558.60/1559.08 c 1557s | 16 | 6659458 | 196652 | 130458 2 | 0 | 0 1560.80/1561.21 c 1559s | 16 | 6689916 | 196952 | 130458 2 | 0 | 0 1562.90/1563.30 c 1561s | 16 | 6708693 | 197252 | 130458 2 | 0 | 0 1564.10/1564.51 c 1563s | 17 | 6714912 | 197432 | 130458 2 | 0 | 0 1566.80/1567.28 c 1565s | 17 | 6717536 | 197532 | 130458 2 | 0 | 0 1569.50/1569.99 c 1568s | 17 | 6741077 | 198132 | 130458 2 | 0 | 0 1585.49/1585.95 c 1584s | 17 | 6755928 | 198232 | 130458 2 | 0 | 0 1587.79/1588.22 c 1586s | 17 | 6786967 | 198632 | 130458 2 | 0 | 0 1590.30/1590.79 c 1589s | 17 | 6821097 | 199032 | 130458 2 | 0 | 0 1592.59/1593.07 c 1591s | 17 | 6863654 | 199332 | 130458 2 | 0 | 0 1594.89/1595.30 c 1593s | 17 | 6883372 | 199632 | 130458 2 | 0 | 0 1597.09/1597.59 c 1596s | 17 | 6936456 | 200232 | 130458 2 | 0 | 0 1599.59/1600.04 c 1598s | 17 | 6970989 | 200632 | 130458 2 | 0 | 0 1601.59/1602.08 c 1600s | 17 | 6989799 | 200932 | 130458 2 | 0 | 0 1604.39/1604.89 c 1603s | 17 | 7050953 | 201432 | 130458 2 | 0 | 0 1607.29/1607.77 c 1606s | 17 | 7067407 | 201832 | 130458 2 | 0 | 0 1609.39/1609.80 c 1608s | 17 | 7099156 | 202232 | 130458 2 | 0 | 0 1611.49/1611.92 c 1610s | 17 | 7129643 | 202632 | 130458 2 | 0 | 0 1613.59/1614.07 c 1612s | 17 | 7152118 | 203032 | 130458 2 | 0 | 0 1616.49/1616.92 c 1615s | 17 | 7174058 | 203432 | 130458 2 | 0 | 0 1618.69/1619.17 c 1617s | 17 | 7175550 | 203632 | 130458 2 | 0 | 0 1621.09/1621.58 c 1620s | 17 | 7186452 | 204032 | 130458 2 | 0 | 0 1623.88/1624.35 c 1623s | 17 | 7201463 | 204432 | 130458 2 | 0 | 0 1625.98/1626.43 c 1625s | 17 | 7205684 | 204832 | 130458 2 | 0 | 0 1628.08/1628.54 c 1627s | 17 | 7211982 | 205132 | 130458 2 | 0 | 0 1630.28/1630.79 c 1629s | 17 | 7216016 | 205432 | 130458 2 | 0 | 0 1632.78/1633.22 c 1631s | 17 | 7290169 | 205932 | 130458 2 | 0 | 0 1635.08/1635.56 c 1634s | 17 | 7300486 | 206232 | 130458 2 | 0 | 0 1637.78/1638.24 c 1636s | 17 | 7361075 | 206632 | 130458 2 | 0 | 0 1640.38/1640.83 c 1639s | 17 | 7362295 | 206832 | 130458 2 | 0 | 0 1642.68/1643.15 c 1641s | 17 | 7397051 | 207232 | 130458 2 | 0 | 0 1644.88/1645.39 c 1644s | 17 | 7406193 | 207432 | 130458 2 | 0 | 0 1647.08/1647.56 c 1646s | 17 | 7425459 | 207732 | 130458 2 | 0 | 0 1649.18/1649.68 c 1648s | 17 | 7449076 | 208132 | 130458 2 | 0 | 0 1651.48/1651.99 c 1650s | 17 | 7465559 | 208632 | 130458 2 | 0 | 0 1653.88/1654.38 c 1653s | 17 | 7482502 | 209132 | 130458 2 | 0 | 0 1656.08/1656.53 c 1655s | 17 | 7487740 | 209632 | 130458 2 | 0 | 0 1659.18/1659.69 c 1658s | 17 | 7497121 | 210032 | 130458 2 | 0 | 0 1661.38/1661.87 c 1660s | 17 | 7510525 | 210332 | 130458 2 | 0 | 0 1663.68/1664.11 c 1662s | 17 | 7567386 | 210732 | 130458 2 | 0 | 0 1665.78/1666.21 c 1664s | 17 | 7609793 | 211132 | 130458 2 | 0 | 0 1667.78/1668.24 c 1666s | 17 | 7637374 | 211532 | 130458 2 | 0 | 0 1670.38/1670.83 c 1669s | 17 | 7665605 | 211932 | 130458 2 | 0 | 0 1672.48/1672.94 c 1671s | 17 | 7700318 | 212432 | 130458 2 | 0 | 0 1674.78/1675.26 c 1673s | 17 | 7724811 | 212932 | 130458 2 | 0 | 0 1676.88/1677.36 c 1676s | 17 | 7742350 | 213432 | 130458 2 | 0 | 0 1678.98/1679.48 c 1678s | 17 | 7752608 | 213932 | 130458 2 | 0 | 0 1681.58/1682.01 c 1680s | 17 | 7771509 | 214432 | 130458 2 | 0 | 0 1683.97/1684.49 c 1683s | 17 | 7812947 | 214832 | 130458 2 | 0 | 0 1686.17/1686.65 c 1685s | 17 | 7840442 | 215132 | 130458 2 | 0 | 0 1689.07/1689.54 c 1688s | 17 | 7897133 | 215532 | 130458 2 | 0 | 0 1691.48/1691.97 c 1690s | 17 | 7925409 | 215932 | 130458 2 | 0 | 0 1693.87/1694.38 c 1693s | 17 | 7969914 | 216332 | 130458 2 | 0 | 0 1696.07/1696.57 c 1695s | 17 | 8001038 | 216732 | 130458 2 | 0 | 0 1698.67/1699.14 c 1697s | 17 | 8038000 | 217232 | 130458 2 | 0 | 0 1701.18/1701.62 c 1700s | 17 | 8057784 | 217632 | 130458 2 | 0 | 0 1703.59/1704.03 c 1702s | 17 | 8070893 | 218132 | 130458 2 | 0 | 0 1705.69/1706.20 c 1704s | 17 | 8074413 | 218432 | 130458 2 | 0 | 0 1708.18/1708.64 c 1707s | 17 | 8084015 | 218832 | 130458 2 | 0 | 0 1710.78/1711.20 c 1709s | 17 | 8119387 | 219332 | 130458 2 | 0 | 0 1712.98/1713.44 c 1712s | 17 | 8135336 | 219632 | 130458 2 | 0 | 0 1715.08/1715.55 c 1714s | 17 | 8182311 | 220132 | 130458 2 | 0 | 0 1717.38/1717.85 c 1716s | 17 | 8209256 | 220532 | 130458 2 | 0 | 0 1719.68/1720.19 c 1718s | 17 | 8255207 | 221032 | 130458 2 | 0 | 0 1722.08/1722.56 c 1721s | 17 | 8269470 | 221432 | 130458 2 | 0 | 0 1724.38/1724.89 c 1723s | 17 | 8293465 | 221932 | 130458 2 | 0 | 0 1726.58/1727.06 c 1725s | 17 | 8309953 | 222432 | 130458 2 | 0 | 0 1728.88/1729.36 c 1728s | 17 | 8325046 | 222932 | 130458 2 | 0 | 0 1730.98/1731.46 c 1730s | 17 | 8338691 | 223532 | 130458 2 | 0 | 0 1733.18/1733.66 c 1732s | 17 | 8360468 | 223932 | 130458 2 | 0 | 0 1735.28/1735.79 c 1734s | 17 | 8403023 | 224332 | 130458 2 | 0 | 0 1737.37/1737.88 c 1736s | 17 | 8424236 | 224632 | 130458 2 | 0 | 0 1739.97/1740.45 c 1739s | 17 | 8432956 | 225032 | 130458 2 | 0 | 0 1742.17/1742.61 c 1741s | 17 | 8459336 | 225532 | 130458 2 | 0 | 0 1744.37/1744.82 c 1743s | 17 | 8472784 | 226032 | 130458 2 | 0 | 0 1746.48/1746.96 c 1745s | 17 | 8486187 | 226432 | 130458 2 | 0 | 0 1748.97/1749.45 c 1748s | 17 | 8504179 | 226932 | 130458 2 | 0 | 0 1750.97/1751.46 c 1750s | 17 | 8528562 | 227332 | 130458 2 | 0 | 0 1753.27/1753.73 c 1752s | 17 | 8551289 | 227832 | 130458 2 | 0 | 0 1755.37/1755.80 c 1754s | 17 | 8564517 | 228232 | 130458 2 | 0 | 0 1757.67/1758.19 c 1756s | 17 | 8568561 | 228632 | 130458 2 | 0 | 0 1760.27/1760.75 c 1759s | 17 | 8585034 | 229232 | 130458 2 | 0 | 0 1762.47/1762.91 c 1761s | 17 | 8608267 | 229732 | 130458 2 | 0 | 0 1764.47/1764.97 c 1763s | 17 | 8622674 | 230232 | 130458 2 | 0 | 0 1766.57/1767.05 c 1765s | 17 | 8630263 | 230632 | 130458 2 | 0 | 0 1768.77/1769.20 c 1767s | 17 | 8631253 | 230932 | 130458 2 | 0 | 0 1770.87/1771.36 c 1770s | 17 | 8645165 | 231332 | 130458 2 | 0 | 0 1773.07/1773.54 c 1772s | 17 | 8650865 | 231732 | 130458 2 | 0 | 0 1775.17/1775.67 c 1774s | 17 | 8664461 | 232132 | 130458 2 | 0 | 0 1777.67/1778.12 c 1776s | 17 | 8674058 | 232532 | 130458 2 | 0 | 0 1779.67/1780.18 c 1778s | 17 | 8678636 | 232832 | 130458 2 | 0 | 0 1781.77/1782.25 c 1780s | 17 | 8685092 | 233232 | 130458 2 | 0 | 0 1784.26/1784.74 c 1783s | 17 | 8691564 | 233632 | 130458 2 | 0 | 0 1786.46/1786.98 c 1785s | 17 | 8696474 | 233932 | 130458 2 | 0 | 0 1788.66/1789.19 c 1787s | 17 | 8700293 | 234232 | 130458 2 | 0 | 0 1791.06/1791.54 c 1790s | 17 | 8701887 | 234532 | 130458 2 | 0 | 0 1793.67/1794.18 c 1792s | 17 | 8703785 | 234832 | 130458 2 | 0 | 0 1795.76/1796.22 c 1794s | 17 | 8720081 | 235132 | 130458 2 | 0 | 0 1797.86/1798.31 c 1797s | 17 | 8757544 | 235532 | 130458 2 | 0 | 0
ERROR: no interpretation found !
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-4106877-1466279808/watcher-4106877-1466279808 -o /tmp/evaluation-result-4106877-1466279808/solver-4106877-1466279808 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26753 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106877-1466279808.opb pid=29675 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB [startup+0 s] /proc/loadavg: 2.05 2.13 2.16 3/179 29678 /proc/meminfo: memFree=29335812/32872528 swapFree=1191052/1305516 [pid=29678] ppid=29675 vsize=782780 CPUtime=0 cores=1,3,5,7 /proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 2935 0 0 0 0 0 0 0 20 0 4 0 30027469 801566720 2784 33554432000 4194304 16246674 140736068515264 140736068514688 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/29678/statm: 196463 2794 441 2943 0 193357 0 [pid=29678/tid=29679] ppid=29675 vsize=802236 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 821489664 2857 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=29678/tid=29680] ppid=29675 vsize=806332 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 825683968 2874 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=29678/tid=29681] ppid=29675 vsize=810428 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30027469 829878272 2891 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.100215 s] /proc/loadavg: 2.05 2.13 2.16 3/179 29678 /proc/meminfo: memFree=29335812/32872528 swapFree=1191052/1305516 [pid=29678] ppid=29675 vsize=1222212 CPUtime=0.09 cores=1,3,5,7 /proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 28074 0 0 0 5 4 0 0 20 0 4 0 30027469 1251545088 27861 33554432000 4194304 16246674 140736068515264 140736068514576 4221016 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/29678/statm: 305553 27865 801 2943 0 302447 0 [pid=29678/tid=29679] ppid=29675 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1251545088 27868 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=29678/tid=29680] ppid=29675 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1251545088 27870 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=29678/tid=29681] ppid=29675 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1251545088 27872 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1222212 [startup+0.200544 s] /proc/loadavg: 2.05 2.13 2.16 3/179 29678 /proc/meminfo: memFree=29335812/32872528 swapFree=1191052/1305516 [pid=29678] ppid=29675 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 50452 0 0 0 12 7 0 0 20 0 4 0 30027469 1344868352 50750 33554432000 4194304 16246674 140736068515264 140736068514576 7368989 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/29678/statm: 328337 50750 801 2943 0 325231 0 [pid=29678/tid=29679] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 50750 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=29678/tid=29680] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 50750 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=29678/tid=29681] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 50750 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300527 s] /proc/loadavg: 2.05 2.13 2.16 3/179 29678 /proc/meminfo: memFree=29335812/32872528 swapFree=1191052/1305516 [pid=29678] ppid=29675 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 50584 0 0 0 21 8 0 0 20 0 4 0 30027469 1344868352 50882 33554432000 4194304 16246674 140736068515264 140736068514576 12481397 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/29678/statm: 328337 50882 837 2943 0 325231 0 [pid=29678/tid=29679] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 50882 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=29678/tid=29680] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 50882 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=29678/tid=29681] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 50882 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700421 s] /proc/loadavg: 2.05 2.13 2.16 3/179 29678 /proc/meminfo: memFree=29335812/32872528 swapFree=1191052/1305516 [pid=29678] ppid=29675 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 61579 0 0 0 56 13 0 0 20 0 4 0 30027469 1344868352 61877 33554432000 4194304 16246674 140736068515264 140736068514576 13892866 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/29678/statm: 328337 61877 839 2943 0 325231 0 [pid=29678/tid=29679] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 61877 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=29678/tid=29680] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 61877 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=29678/tid=29681] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 61877 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50042 s] /proc/loadavg: 2.05 2.13 2.16 3/183 29682 /proc/meminfo: memFree=28903444/32872528 swapFree=1191052/1305516 [pid=29678] ppid=29675 vsize=1313348 CPUtime=1.49 cores=1,3,5,7 /proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 128014 0 0 0 123 26 0 0 20 0 4 0 30027469 1344868352 128312 33554432000 4194304 16246674 140736068515264 140736068497152 5553672 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/29678/statm: 328337 128312 881 2943 0 325231 0 [pid=29678/tid=29679] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 128312 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=29678/tid=29680] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 128312 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=29678/tid=29681] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 128312 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10043 s] /proc/loadavg: 2.05 2.13 2.16 3/183 29682 /proc/meminfo: memFree=28824076/32872528 swapFree=1191052/1305516 [pid=29678] ppid=29675 vsize=1313348 CPUtime=3.09 cores=1,3,5,7 /proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 128014 0 0 0 283 26 0 0 20 0 4 0 30027469 1344868352 128312 33554432000 4194304 16246674 140736068515264 140736068497152 8224815 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/29678/statm: 328337 128312 881 2943 0 325231 0 [pid=29678/tid=29679] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 128312 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=29678/tid=29680] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 128312 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=29678/tid=29681] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 128312 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1313348 [startup+6.30043 s] /proc/loadavg: 2.04 2.13 2.16 3/183 29682 /proc/meminfo: memFree=28280480/32872528 swapFree=1191052/1305516 [pid=29678] ppid=29675 vsize=1313348 CPUtime=6.28 cores=1,3,5,7 /proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 269009 0 0 0 585 43 0 0 20 0 4 0 30027469 1344868352 269307 33554432000 4194304 16246674 140736068515264 140736068497152 5754801 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/29678/statm: 328337 269307 881 2943 0 325231 0 [pid=29678/tid=29679] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269307 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=29678/tid=29680] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269307 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=29678/tid=29681] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269307 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1313348 [startup+12.7004 s] /proc/loadavg: 2.04 2.12 2.15 4/183 29682 /proc/meminfo: memFree=28260552/32872528 swapFree=1191052/1305516 [pid=29678] ppid=29675 vsize=1313348 CPUtime=12.68 cores=1,3,5,7 /proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 269009 0 0 0 1225 43 0 0 20 0 4 0 30027469 1344868352 269307 33554432000 4194304 16246674 140736068515264 140736068497152 6861768 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/29678/statm: 328337 269307 881 2943 0 325231 0 [pid=29678/tid=29679] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269307 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=29678/tid=29680] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269307 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=29678/tid=29681] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269307 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1313348 [startup+25.5005 s] /proc/loadavg: 2.03 2.12 2.15 3/183 29682 /proc/meminfo: memFree=28260800/32872528 swapFree=1191052/1305516 [pid=29678] ppid=29675 vsize=1313348 CPUtime=25.48 cores=1,3,5,7 /proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 269012 0 0 0 2505 43 0 0 20 0 4 0 30027469 1344868352 269310 33554432000 4194304 16246674 140736068515264 140736068497152 5722908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/29678/statm: 328337 269310 884 2943 0 325231 0 [pid=29678/tid=29679] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269310 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=29678/tid=29680] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269310 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=29678/tid=29681] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269310 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1313348 [startup+51.1005 s] /proc/loadavg: 2.02 2.11 2.15 3/183 29682 /proc/meminfo: memFree=28260380/32872528 swapFree=1191052/1305516 [pid=29678] ppid=29675 vsize=1313348 CPUtime=51.07 cores=1,3,5,7 /proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 269012 0 0 0 5064 43 0 0 20 0 4 0 30027469 1344868352 269310 33554432000 4194304 16246674 140736068515264 140736068497152 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/29678/statm: 328337 269310 884 2943 0 325231 0 [pid=29678/tid=29679] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269310 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=29678/tid=29680] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269310 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=29678/tid=29681] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269310 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1313348 [startup+102.301 s] /proc/loadavg: 2.01 2.09 2.14 3/183 29683 /proc/meminfo: memFree=28252700/32872528 swapFree=1191052/1305516 [pid=29678] ppid=29675 vsize=1313348 CPUtime=102.28 cores=1,3,5,7 /proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 269012 0 0 0 10184 44 0 0 20 0 4 0 30027469 1344868352 269310 33554432000 4194304 16246674 140736068515264 140736068497152 12477813 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/29678/statm: 328337 269310 884 2943 0 325231 0 [pid=29678/tid=29679] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269310 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=29678/tid=29680] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269310 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=29678/tid=29681] ppid=29675 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1344868352 269310 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1313348 ################ # More data... # ################ /proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1399394304 282628 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1366596 [startup+1362.3 s] /proc/loadavg: 2.08 2.10 2.09 3/183 29785 /proc/meminfo: memFree=28243656/32872528 swapFree=1191052/1305516 [pid=29678] ppid=29675 vsize=1366596 CPUtime=1361.93 cores=1,3,5,7 /proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 282608 0 0 0 136140 53 0 0 20 0 4 0 30027469 1399394304 282628 33554432000 4194304 16246674 140736068515264 140736068497152 6836224 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/29678/statm: 341649 282628 890 2943 0 338543 0 [pid=29678/tid=29679] ppid=29675 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1399394304 282628 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=29678/tid=29680] ppid=29675 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1399394304 282628 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=29678/tid=29681] ppid=29675 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1399394304 282628 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1366596 [startup+1422.3 s] /proc/loadavg: 2.10 2.11 2.09 4/184 29789 /proc/meminfo: memFree=28241132/32872528 swapFree=1191052/1305516 [pid=29678] ppid=29675 vsize=1366596 CPUtime=1421.92 cores=1,3,5,7 /proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 282608 0 0 0 142139 53 0 0 20 0 4 0 30027469 1399394304 282628 33554432000 4194304 16246674 140736068515264 140736068497152 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/29678/statm: 341649 282628 890 2943 0 338543 0 [pid=29678/tid=29679] ppid=29675 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1399394304 282628 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=29678/tid=29680] ppid=29675 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1399394304 282628 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=29678/tid=29681] ppid=29675 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1399394304 282628 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1366596 [startup+1482.3 s] /proc/loadavg: 2.13 2.11 2.09 3/183 29790 /proc/meminfo: memFree=28052376/32872528 swapFree=1191052/1305516 [pid=29678] ppid=29675 vsize=1555012 CPUtime=1481.91 cores=1,3,5,7 /proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 329660 0 0 0 148131 60 0 0 20 0 4 0 30027469 1592332288 329680 33554432000 4194304 16246674 140736068515264 140736068497152 5721456 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/29678/statm: 388753 329680 890 2943 0 385647 0 [pid=29678/tid=29679] ppid=29675 vsize=1555012 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1592332288 329680 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=29678/tid=29680] ppid=29675 vsize=1555012 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1592332288 329680 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=29678/tid=29681] ppid=29675 vsize=1555012 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1592332288 329680 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1555012 [startup+1542.31 s] /proc/loadavg: 2.16 2.12 2.09 3/183 29792 /proc/meminfo: memFree=28051836/32872528 swapFree=1191052/1305516 [pid=29678] ppid=29675 vsize=1555012 CPUtime=1541.91 cores=1,3,5,7 /proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 329712 0 0 0 154130 61 0 0 20 0 4 0 30027469 1592332288 329732 33554432000 4194304 16246674 140736068515264 140736068497152 5707830 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/29678/statm: 388753 329732 890 2943 0 385647 0 [pid=29678/tid=29679] ppid=29675 vsize=1555012 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1592332288 329732 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=29678/tid=29680] ppid=29675 vsize=1555012 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1592332288 329732 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=29678/tid=29681] ppid=29675 vsize=1555012 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1592332288 329732 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1555012 [startup+1602.3 s] /proc/loadavg: 2.30 2.17 2.11 3/183 29793 /proc/meminfo: memFree=28039992/32872528 swapFree=1191052/1305516 [pid=29678] ppid=29675 vsize=1566276 CPUtime=1601.89 cores=1,3,5,7 /proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 332528 0 0 0 160126 63 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140736068497152 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/29678/statm: 391569 332548 890 2943 0 388463 0 [pid=29678/tid=29679] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=29678/tid=29680] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=29678/tid=29681] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1566276 [startup+1662.3 s] /proc/loadavg: 2.24 2.17 2.11 3/183 29794 /proc/meminfo: memFree=28040256/32872528 swapFree=1191052/1305516 [pid=29678] ppid=29675 vsize=1566276 CPUtime=1661.88 cores=1,3,5,7 /proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 332528 0 0 0 166125 63 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140736068497152 6012147 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/29678/statm: 391569 332548 890 2943 0 388463 0 [pid=29678/tid=29679] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=29678/tid=29680] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=29678/tid=29681] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1566276 [startup+1722.3 s] /proc/loadavg: 2.20 2.17 2.11 3/183 29795 /proc/meminfo: memFree=28040236/32872528 swapFree=1191052/1305516 [pid=29678] ppid=29675 vsize=1566276 CPUtime=1721.88 cores=1,3,5,7 /proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 332528 0 0 0 172124 64 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140736068497152 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/29678/statm: 391569 332548 890 2943 0 388463 0 [pid=29678/tid=29679] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=29678/tid=29680] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=29678/tid=29681] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1566276 [startup+1782.3 s] /proc/loadavg: 2.32 2.21 2.12 3/183 29796 /proc/meminfo: memFree=28040008/32872528 swapFree=1191052/1305516 [pid=29678] ppid=29675 vsize=1566276 CPUtime=1781.87 cores=1,3,5,7 /proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 332528 0 0 0 178123 64 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140736068497152 5721677 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/29678/statm: 391569 332548 890 2943 0 388463 0 [pid=29678/tid=29679] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=29678/tid=29680] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=29678/tid=29681] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 1566276 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.25 2.20 2.12 3/183 29797 /proc/meminfo: memFree=28039852/32872528 swapFree=1191052/1305516 [pid=29678] ppid=29675 vsize=1566276 CPUtime=1800.06 cores=1,3,5,7 /proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 332528 0 0 0 179942 64 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140736068497152 6011884 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/29678/statm: 391569 332548 890 2943 0 388463 0 [pid=29678/tid=29679] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=29678/tid=29680] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=29678/tid=29681] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1566276 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 29678 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.25 2.20 2.12 3/183 29797 /proc/meminfo: memFree=28039852/32872528 swapFree=1191052/1305516 [pid=29678] ppid=29675 vsize=1566276 CPUtime=1800.06 cores=1,3,5,7 /proc/29678/stat : 29678 (toysat) R 29675 29678 26736 0 -1 4202496 332528 0 0 0 179942 64 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140736068497152 6011884 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/29678/statm: 391569 332548 890 2943 0 388463 0 [pid=29678/tid=29679] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29679/stat : 29679 (toysat) S 29675 29678 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050667908336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=29678/tid=29680] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29680/stat : 29680 (toysat) S 29675 29678 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050657418480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=29678/tid=29681] ppid=29675 vsize=1566276 CPUtime=0 cores=1,3,5,7 /proc/29678/task/29681/stat : 29681 (toysat) S 29675 29678 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30027469 1603866624 332548 33554432000 4194304 16246674 140736068515264 140050646944944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1566276 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.52 CPU time (s): 1800.09 CPU user time (s): 1799.43 CPU system time (s): 0.6549 CPU usage (%): 99.9759 Max. virtual memory (cumulated for all children) (KiB): 1566276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.43 system time used= 0.6549 maximum resident set size= 1330192 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 332528 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= 297 involuntary context switches= 1851 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.52831 second user time and 6.98394 second system time The end
Begin job on node127 at 2016-06-18 21:56:48 IDJOB=4106877 IDBENCH=48303 IDSOLVER=2542 FILE ID=node127/4106877-1466279808 RUNJOBID= node127-1466265123-26753 PBS_JOBID= 19918231 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_60_3_80.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106877-1466279808/watcher-4106877-1466279808 -o /tmp/evaluation-result-4106877-1466279808/solver-4106877-1466279808 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26753 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106877-1466279808.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d27101fec2f8e3dc322d79bbc996c69e RANDOM SEED=1506043797 node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29337332 kB Buffers: 101248 kB Cached: 265452 kB SwapCached: 516 kB Active: 1218408 kB Inactive: 271284 kB Active(anon): 1123064 kB Inactive(anon): 2184 kB Active(file): 95344 kB Inactive(file): 269100 kB Unevictable: 1305516 kB Mlocked: 1191052 kB SwapTotal: 67108856 kB SwapFree: 67100260 kB Dirty: 17108 kB Writeback: 0 kB AnonPages: 2432124 kB Mapped: 10876 kB Shmem: 0 kB Slab: 604816 kB SReclaimable: 48920 kB SUnreclaim: 555896 kB KernelStack: 1520 kB PageTables: 8828 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2572872 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 368640 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71704 MiB End job on node127 at 2016-06-18 22:26:49