| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.51 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb |
| MD5SUM | 8c486f10dc9ea0956b38d79189648654 |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 40.5208 |
| Has Objective Function | NO |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 109757 |
| Total number of constraints | 313451 |
| Number of constraints which are clauses | 295929 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 17522 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 15 |
| 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 | 130 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 512 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T01:29:24+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-4099711-1466206163.opb"] 0.00/0.01 c use --random-gen="695829109 1906575804 2481138362 3457920224 407089495 3713988798 2129573185 1881588568 2230178175 3714055333 3288154665 2946528443 3271135996 581886127 2699935486 643161870 4227286966 2862534412 1714182205 4183842872 4112077256 3813094017 3764185604 671707766 3530498258 3733716081 2415715912 2242313553 3580805699 2890728986 3972821437 755931646 3660561470 154500197 3329717093 4077155649 4143748655 1340613116 2238841871 2803359746 62455025 2213502507 3902701435 3612010340 1843345337 1263134649 1862956416 814139909 2617612826 1560820213 2077923778 108045744 1823807904 3592352629 4270494580 3409752160 2037756229 730003539 3755072316 1079624783 3699129707 2614140126 3608881936 481851856 1307714661 2629171709 1959439304 2133423480 147419188 3119756875 2356675242 1565163192 2486833448 2009143659 2132707239 3242509415 871665090 2719475370 789802190 4125736184 2727802214 4275850210 2791779527 2299538372 365126461 1980509142 861230614 1501305682 2342829688 2361521367 444124773 87212212 185250902 2033047019 3927933370 2930743285 2493188578 2910747302 2796076417 1849584907 3396310716 944388999 961307957 3568568300 225520804 3354345606 3154742183 415777817 3281447555 417834491 1872610630 3108784399 3947393037 390366405 3145815622 1289142085 3912013380 2605986003 3365927895 160333827 3922880593 169363238 1193824333 3046177924 3008781022 4257367346 325182573 4241051093 1355259471 509244208 3460503904 1913325843 364540076 595851362 36553254 2028267050 750147499 43794224 1010620318 3221008009 3187714112 1964925483 3747936363 2710716900 3837127027 1457545703 990784956 223689521 3313854415 2563964231 348950814 4257412827 532059746 2844667941 947569679 2877727970 1463088072 74648393 747805602 3525929973 4059160568 1418063245 1037987769 5761677 3025767686 3052890522 3587403862 2850703556 2552868235 438750367 3925691947 912357017 1195582671 4203742577 3641680050 1329691824 740338725 1498224080 2949537884 1530018055 2028387022 2855828821 3738228980 1444633342 1760040409 752640258 3913584656 945231138 1003736656 1860988201 3991557902 3256231719 1306469721 3263959040 125101664 147055068 1256242045 937914184 69423945 228228388 3793650917 3304092635 187018234 4046213644 21943575 536357820 3479392663 2858418764 3605106374 3166839915 3971673698 106186982 1647285531 2122832408 3941707268 3118871182 1642420017 3033096616 3426509872 757133924 1133328512 1356392582 2325184255 2768694166 2685317762 3766283301 2081003426 1795737159 3233445140 1711255061 804319492 4201865378 3385530999 3640412875 1012316075 196247526 4285863707 2144662010 1146222855 913767860 894301258 2083870471 544745339 2872364382 2587062929 2486650183 247608481 3316830342 1699836271 22463043 1594033896 2932326291 998869681 3054372362 3403276568 2012428095 255 362436" option to reproduce the execution 1.89/1.99 c #vars 109757 1.89/1.99 c #constraints 313451 7.09/7.14 c Solving starts ... 7.09/7.14 c ============================[ Search Statistics ]============================ 7.09/7.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.09/7.14 c | | | | Limit GC | Var | Constra 7.09/7.14 c ============================================================================= 7.29/7.31 c 0.0s | 0 | 0 | 0 | 141069 0 | 2006 | 0 8.99/9.06 c 1.7s | 1 | 5375 | 100 | 141069 0 | 2006 | 5753 11.09/11.13 c 3.8s | 1 | 10036 | 200 | 155176 0 | 2008 | 5761 12.69/12.78 c 5.5s | 2 | 10080 | 250 | 155176 0 | 2008 | 5761 15.89/15.91 c 8.6s | 2 | 11240 | 450 | 170694 0 | 2008 | 5761 16.29/16.38 c 9.1s | 3 | 11277 | 475 | 170694 0 | 2008 | 5761 18.49/18.55 c 11.2s | 3 | 12547 | 775 | 187764 0 | 2008 | 5761 18.69/18.73 c 11.4s | 4 | 12625 | 813 | 187764 0 | 2008 | 5761 20.78/20.80 c 13.5s | 4 | 14279 | 1013 | 206541 0 | 2008 | 5761 23.08/23.11 c 15.8s | 4 | 15203 | 1313 | 206541 0 | 2008 | 5761 23.08/23.15 c 15.8s | 5 | 15215 | 1320 | 206541 0 | 2008 | 5761 25.08/25.16 c 17.9s | 5 | 17066 | 2020 | 227196 0 | 2008 | 5761 25.18/25.25 c 17.9s | 6 | 17152 | 2081 | 249916 0 | 2008 | 5761 27.58/27.61 c 20.3s | 6 | 17840 | 2281 | 249916 0 | 2009 | 5765 31.58/31.60 c 24.3s | 6 | 18190 | 2481 | 249916 0 | 2009 | 5765 33.68/33.73 c 26.4s | 6 | 18423 | 2581 | 249916 0 | 2009 | 5765 36.08/36.10 c 28.8s | 6 | 18871 | 2781 | 249916 0 | 2009 | 5765 38.58/38.70 c 31.4s | 6 | 19270 | 2981 | 249916 0 | 2009 | 5765 40.48/40.55 c 33.2s | 7 | 19979 | 3223 | 274908 0 | 2009 | 5765 42.68/42.75 c 35.4s | 7 | 21030 | 3523 | 274908 0 | 2010 | 5769 44.88/44.95 c 37.6s | 7 | 22172 | 3923 | 274908 0 | 2010 | 5769 46.88/46.98 c 39.7s | 7 | 23833 | 4523 | 274908 0 | 2010 | 5769 48.38/48.43 c 41.1s | 8 | 25313 | 4936 | 302399 0 | 2010 | 5769 50.79/50.81 c 43.5s | 8 | 27686 | 5236 | 302399 0 | 2010 | 5769 52.78/52.89 c 45.6s | 8 | 28806 | 5636 | 302399 0 | 2010 | 5769 55.48/55.50 c 48.2s | 8 | 29263 | 5836 | 302399 0 | 2012 | 5775 57.48/57.58 c 50.3s | 8 | 29972 | 6236 | 302399 0 | 2012 | 5775 59.58/59.62 c 52.3s | 8 | 31783 | 7336 | 302399 0 | 2012 | 5775 59.78/59.89 c 52.6s | 9 | 32006 | 7506 | 332639 0 | 2012 | 5775 62.08/62.18 c 54.9s | 9 | 33837 | 8206 | 332639 0 | 2012 | 5775 64.38/64.41 c 57.1s | 9 | 34577 | 8506 | 332639 0 | 2012 | 5775 67.17/67.22 c 59.9s | 9 | 35509 | 8806 | 332639 0 | 2012 | 5775 69.17/69.24 c 61.9s | 9 | 36266 | 9106 | 332639 0 | 2012 | 5775 71.27/71.30 c 64.0s | 9 | 37605 | 9606 | 332639 0 | 2012 | 5775 73.47/73.51 c 66.2s | 9 | 39210 | 10106 | 332639 0 | 2012 | 5775 75.57/75.61 c 68.3s | 9 | 39988 | 10506 | 332639 0 | 2012 | 5775 78.28/78.39 c 71.1s | 9 | 40925 | 10906 | 332639 0 | 2012 | 5775 80.97/81.08 c 73.8s | 9 | 41824 | 11206 | 332639 0 | 2012 | 5775 82.57/82.63 c 75.3s | 10 | 42119 | 11361 | 365903 0 | 2012 | 5775 84.77/84.86 c 77.5s | 10 | 42889 | 11761 | 365903 0 | 2012 | 5775 86.77/86.87 c 79.6s | 10 | 43600 | 12061 | 365903 0 | 2012 | 5775 88.97/89.09 c 81.8s | 10 | 44650 | 12461 | 365903 0 | 2012 | 5775 91.17/91.23 c 83.9s | 10 | 45205 | 12861 | 365903 0 | 2012 | 5775 94.87/94.96 c 87.6s | 10 | 46148 | 13361 | 365903 0 | 2012 | 5775 97.37/97.44 c 90.1s | 10 | 46342 | 13461 | 365903 0 | 2012 | 5775 100.56/100.63 c 93.3s | 10 | 46781 | 13661 | 365903 0 | 2012 | 5775 102.86/102.95 c 95.6s | 10 | 47063 | 13761 | 365903 0 | 2012 | 5775 105.16/105.30 c 98.0s | 10 | 47262 | 13861 | 365903 0 | 2012 | 5775 107.97/108.08 c 100s | 10 | 47611 | 14061 | 365903 0 | 2012 | 5775 110.76/110.87 c 103s | 10 | 48673 | 14761 | 365903 0 | 2012 | 5775 114.16/114.24 c 106s | 10 | 48927 | 14961 | 365903 0 | 2012 | 5775 116.26/116.31 c 109s | 10 | 49075 | 15061 | 365903 0 | 2012 | 5775 119.46/119.54 c 112s | 10 | 49305 | 15261 | 365903 0 | 2012 | 5775 122.16/122.24 c 114s | 10 | 49742 | 15461 | 365903 0 | 2012 | 5775 125.36/125.49 c 118s | 10 | 50181 | 15761 | 365903 0 | 2012 | 5775 127.46/127.50 c 120s | 10 | 50498 | 15961 | 365903 0 | 2012 | 5775 130.76/130.80 c 123s | 10 | 51175 | 16461 | 365903 0 | 2012 | 5775 132.96/133.02 c 125s | 10 | 51336 | 16561 | 365903 0 | 2012 | 5775 136.36/136.43 c 129s | 10 | 51864 | 16761 | 365903 0 | 2012 | 5775 138.66/138.74 c 131s | 10 | 52041 | 16861 | 365903 0 | 2012 | 5775 142.76/142.80 c 135s | 10 | 52434 | 17061 | 402494 0 | 2012 | 5775 143.96/144.04 c 136s | 11 | 52573 | 17144 | 402494 0 | 2012 | 5775 146.26/146.33 c 139s | 11 | 53805 | 17444 | 402494 0 | 2012 | 5775 148.46/148.53 c 141s | 11 | 56003 | 18244 | 402494 0 | 2012 | 5775 150.56/150.62 c 143s | 11 | 57781 | 19044 | 402494 0 | 2012 | 5775 152.56/152.69 c 145s | 11 | 59043 | 19744 | 402494 0 | 2012 | 5775 154.66/154.78 c 147s | 11 | 59851 | 20444 | 402494 0 | 2012 | 5775 156.76/156.80 c 149s | 11 | 61668 | 21144 | 402494 0 | 2012 | 5775 158.85/158.97 c 151s | 11 | 63853 | 21944 | 402494 0 | 2012 | 5775 161.35/161.44 c 154s | 11 | 65792 | 22544 | 402494 0 | 2012 | 5775 163.65/163.74 c 156s | 11 | 67285 | 23044 | 402494 0 | 2012 | 5775 166.05/166.17 c 158s | 11 | 68973 | 23544 | 402494 0 | 2012 | 5775 168.35/168.49 c 161s | 11 | 70300 | 24044 | 402494 0 | 2012 | 5775 170.45/170.59 c 163s | 11 | 71488 | 24344 | 402494 0 | 2012 | 5775 172.75/172.88 c 165s | 11 | 73754 | 24744 | 402494 0 | 2012 | 5775 174.85/174.92 c 167s | 11 | 76730 | 25244 | 402494 0 | 2012 | 5775 176.95/177.03 c 169s | 11 | 80456 | 25744 | 442744 0 | 2012 | 5775 177.26/177.37 c 170s | 12 | 80973 | 25819 | 442744 0 | 2012 | 5775 179.35/179.48 c 172s | 12 | 82242 | 26619 | 442744 0 | 2012 | 5775 182.05/182.12 c 174s | 12 | 83950 | 27519 | 442744 0 | 2012 | 5775 184.15/184.28 c 176s | 12 | 85325 | 27919 | 442744 0 | 2012 | 5775 186.25/186.39 c 179s | 12 | 87062 | 28519 | 442744 0 | 2012 | 5775 188.45/188.56 c 181s | 12 | 88854 | 29119 | 442744 0 | 2012 | 5775 190.55/190.69 c 183s | 12 | 90407 | 29719 | 442744 0 | 2012 | 5775 192.75/192.88 c 185s | 12 | 91556 | 30219 | 442744 0 | 2012 | 5775 195.04/195.12 c 187s | 12 | 92638 | 30719 | 442744 0 | 2012 | 5775 198.15/198.26 c 190s | 12 | 93502 | 30919 | 442744 0 | 2012 | 5775 201.45/201.52 c 194s | 12 | 94120 | 31119 | 442744 0 | 2012 | 5775 204.44/204.55 c 197s | 12 | 94703 | 31319 | 442744 0 | 2012 | 5775 206.74/206.85 c 199s | 12 | 94991 | 31419 | 442744 0 | 2012 | 5775 210.54/210.69 c 203s | 12 | 95466 | 31619 | 442744 0 | 2012 | 5775 213.84/213.97 c 206s | 12 | 95954 | 31819 | 442744 0 | 2012 | 5775 216.14/216.28 c 208s | 12 | 96500 | 32019 | 442744 0 | 2012 | 5775 218.33/218.46 c 211s | 12 | 97616 | 32319 | 442744 0 | 2012 | 5775 220.84/220.98 c 213s | 12 | 99261 | 32719 | 442744 0 | 2012 | 5775 223.14/223.26 c 215s | 12 | 99939 | 32919 | 442744 0 | 2012 | 5775 225.54/225.69 c 218s | 12 | 100721 | 33119 | 442744 0 | 2012 | 5775 228.34/228.48 c 221s | 12 | 101218 | 33319 | 442744 0 | 2012 | 5775 230.34/230.48 c 223s | 12 | 101985 | 33519 | 442744 0 | 2012 | 5775 232.84/232.97 c 225s | 12 | 102932 | 33819 | 442744 0 | 2012 | 5775 235.24/235.38 c 228s | 12 | 104105 | 34119 | 442744 0 | 2012 | 5775 237.44/237.51 c 230s | 12 | 105332 | 34419 | 442744 0 | 2012 | 5775 240.33/240.47 c 233s | 12 | 106486 | 34719 | 442744 0 | 2012 | 5775 242.63/242.75 c 235s | 12 | 107036 | 35019 | 442744 0 | 2012 | 5775 245.13/245.22 c 237s | 12 | 107589 | 35319 | 442744 0 | 2012 | 5775 248.63/248.75 c 241s | 12 | 107808 | 35519 | 442744 0 | 2012 | 5775 251.93/252.09 c 244s | 12 | 108057 | 35719 | 442744 0 | 2012 | 5775 254.03/254.16 c 246s | 12 | 108615 | 36119 | 442744 0 | 2012 | 5775 256.44/256.56 c 249s | 12 | 108849 | 36319 | 442744 0 | 2012 | 5775 258.53/258.60 c 251s | 12 | 109101 | 36519 | 442744 0 | 2012 | 5775 260.73/260.86 c 253s | 12 | 110414 | 37219 | 442744 0 | 2012 | 5775 262.93/263.04 c 255s | 12 | 111031 | 37619 | 442744 0 | 2012 | 5775 265.23/265.39 c 258s | 12 | 111974 | 38019 | 442744 0 | 2012 | 5775 267.32/267.44 c 260s | 12 | 112761 | 38419 | 442744 0 | 2012 | 5775 269.02/269.17 c 261s | 13 | 113475 | 38832 | 487019 0 | 2012 | 5775 271.22/271.38 c 264s | 13 | 115061 | 39232 | 487019 0 | 2012 | 5775 273.62/273.78 c 266s | 13 | 116774 | 39832 | 487019 0 | 2012 | 5775 276.02/276.10 c 268s | 13 | 117760 | 40332 | 487019 0 | 2012 | 5775 278.32/278.44 c 271s | 13 | 118528 | 40732 | 487019 0 | 2012 | 5775 280.31/280.44 c 273s | 13 | 118986 | 41032 | 487019 0 | 2012 | 5775 282.61/282.78 c 275s | 13 | 119771 | 41532 | 487019 0 | 2012 | 5775 284.91/285.06 c 277s | 13 | 120559 | 42032 | 487019 0 | 2012 | 5775 287.32/287.46 c 280s | 13 | 121374 | 42532 | 487019 0 | 2012 | 5775 289.42/289.58 c 282s | 13 | 122045 | 42932 | 487019 0 | 2012 | 5775 291.51/291.62 c 284s | 13 | 122752 | 43332 | 487019 0 | 2012 | 5775 293.61/293.78 c 286s | 13 | 123657 | 43832 | 487019 0 | 2012 | 5775 295.71/295.80 c 288s | 13 | 124476 | 44332 | 487019 0 | 2012 | 5775 297.81/297.91 c 290s | 13 | 125327 | 44832 | 487019 0 | 2012 | 5775 300.21/300.32 c 293s | 13 | 125912 | 45232 | 487019 0 | 2012 | 5775 302.61/302.76 c 295s | 13 | 126391 | 45532 | 487019 0 | 2012 | 5775 305.11/305.22 c 297s | 13 | 126836 | 45832 | 487019 0 | 2012 | 5775 307.11/307.23 c 299s | 13 | 127239 | 46132 | 487019 0 | 2012 | 5775 309.31/309.44 c 302s | 13 | 127707 | 46432 | 487019 0 | 2012 | 5775 311.41/311.60 c 304s | 13 | 128089 | 46732 | 487019 0 | 2012 | 5775 313.71/313.85 c 306s | 13 | 128661 | 47132 | 487019 0 | 2012 | 5775 316.20/316.33 c 309s | 13 | 129090 | 47432 | 487019 0 | 2012 | 5775 318.40/318.50 c 311s | 13 | 129915 | 47732 | 487019 0 | 2012 | 5775 320.60/320.78 c 313s | 13 | 130748 | 48232 | 487019 0 | 2012 | 5775 322.90/323.09 c 315s | 13 | 131532 | 48632 | 487019 0 | 2012 | 5775 325.00/325.16 c 317s | 13 | 132211 | 49032 | 487019 0 | 2012 | 5775 327.20/327.36 c 320s | 13 | 132929 | 49432 | 487019 0 | 2012 | 5775 329.39/329.57 c 322s | 13 | 133614 | 49832 | 487019 0 | 2012 | 5775 331.49/331.68 c 324s | 13 | 134254 | 50232 | 487019 0 | 2012 | 5775 333.89/334.06 c 326s | 13 | 134941 | 50632 | 487019 0 | 2012 | 5775 336.39/336.56 c 329s | 13 | 135503 | 51032 | 487019 0 | 2012 | 5775 338.79/338.98 c 331s | 13 | 136254 | 51432 | 487019 0 | 2012 | 5775 341.29/341.48 c 334s | 13 | 136871 | 51832 | 487019 0 | 2012 | 5775 344.09/344.20 c 336s | 13 | 137439 | 52232 | 487019 0 | 2012 | 5775 346.39/346.58 c 339s | 13 | 138031 | 52632 | 487019 0 | 2012 | 5775 348.80/348.91 c 341s | 13 | 139591 | 53432 | 487019 0 | 2012 | 5775 350.89/351.08 c 343s | 13 | 140969 | 54132 | 487019 0 | 2012 | 5775 353.19/353.39 c 346s | 13 | 142436 | 54832 | 487019 0 | 2012 | 5775 355.59/355.76 c 348s | 13 | 143760 | 55632 | 487019 0 | 2012 | 5775 357.69/357.81 c 350s | 13 | 144958 | 56332 | 487019 0 | 2012 | 5775 359.89/360.05 c 352s | 13 | 145745 | 56832 | 487019 0 | 2012 | 5775 362.18/362.36 c 355s | 13 | 146496 | 57332 | 487019 0 | 2012 | 5775 364.78/364.90 c 357s | 13 | 147225 | 57832 | 487019 0 | 2012 | 5775 366.98/367.11 c 359s | 13 | 148027 | 58332 | 535721 0 | 2012 | 5775 367.08/367.21 c 359s | 14 | 148055 | 58352 | 535721 0 | 2012 | 5775 369.08/369.21 c 361s | 14 | 149425 | 58952 | 535721 0 | 2012 | 5775 371.08/371.23 c 363s | 14 | 150690 | 59552 | 535721 0 | 2012 | 5775 373.28/373.45 c 366s | 14 | 152015 | 60152 | 535721 0 | 2012 | 5775 375.48/375.60 c 368s | 14 | 153112 | 60652 | 535721 0 | 2012 | 5775 377.88/378.05 c 370s | 14 | 154306 | 61152 | 535721 0 | 2012 | 5775 380.08/380.23 c 372s | 14 | 155889 | 61752 | 535721 0 | 2012 | 5775 382.18/382.33 c 375s | 14 | 157588 | 62352 | 535721 0 | 2012 | 5775 384.18/384.35 c 377s | 14 | 158910 | 62752 | 535721 0 | 2012 | 5775 386.88/387.01 c 379s | 14 | 159637 | 63052 | 535721 0 | 2012 | 5775 389.07/389.20 c 381s | 14 | 160053 | 63252 | 535721 0 | 2012 | 5775 391.78/391.96 c 384s | 14 | 160714 | 63552 | 535721 0 | 2012 | 5775 394.27/394.47 c 387s | 14 | 161369 | 63852 | 535721 0 | 2012 | 5775 396.37/396.50 c 389s | 14 | 161788 | 64052 | 535721 0 | 2012 | 5775 398.87/399.09 c 391s | 14 | 162412 | 64352 | 535721 0 | 2012 | 5775 401.77/401.95 c 394s | 14 | 163060 | 64652 | 535721 0 | 2012 | 5775 404.07/404.20 c 396s | 14 | 163683 | 64952 | 535721 0 | 2012 | 5775 406.67/406.85 c 399s | 14 | 164126 | 65252 | 535721 0 | 2012 | 5775 408.87/409.04 c 401s | 14 | 164862 | 65552 | 535721 0 | 2012 | 5775 411.06/411.23 c 403s | 14 | 166488 | 66152 | 535721 0 | 2012 | 5775 413.26/413.44 c 406s | 14 | 167023 | 66352 | 535721 0 | 2012 | 5775 415.76/415.95 c 408s | 14 | 167503 | 66552 | 535721 0 | 2012 | 5775 417.86/418.06 c 410s | 14 | 167909 | 66752 | 535721 0 | 2012 | 5775 420.27/420.43 c 413s | 14 | 168625 | 67052 | 535721 0 | 2012 | 5775 422.96/423.19 c 415s | 14 | 169105 | 67252 | 535721 0 | 2012 | 5775 425.26/425.43 c 418s | 14 | 169615 | 67452 | 535721 0 | 2012 | 5775 427.76/427.90 c 420s | 14 | 170213 | 67652 | 535721 0 | 2012 | 5775 429.75/429.94 c 422s | 14 | 170659 | 67852 | 535721 0 | 2012 | 5775 432.36/432.57 c 425s | 14 | 171194 | 68152 | 535721 0 | 2012 | 5775 434.45/434.69 c 427s | 14 | 171632 | 68352 | 535721 0 | 2012 | 5775 436.86/437.08 c 429s | 14 | 172200 | 68552 | 535721 0 | 2012 | 5775 440.25/440.43 c 433s | 14 | 172904 | 68852 | 535721 0 | 2012 | 5775 442.45/442.67 c 435s | 14 | 173312 | 69152 | 535721 0 | 2012 | 5775 444.85/445.05 c 437s | 14 | 173855 | 69452 | 535721 0 | 2012 | 5775 448.35/448.50 c 441s | 14 | 174332 | 69652 | 535721 0 | 2012 | 5775 451.16/451.37 c 444s | 14 | 174772 | 69852 | 535721 0 | 2012 | 5775 453.45/453.64 c 446s | 14 | 175878 | 70452 | 535721 0 | 2012 | 5775 455.56/455.79 c 448s | 14 | 177104 | 71152 | 535721 0 | 2012 | 5775 457.76/457.97 c 450s | 14 | 178140 | 71752 | 535721 0 | 2012 | 5775 459.95/460.16 c 452s | 14 | 181375 | 72652 | 535721 0 | 2012 | 5775 462.15/462.37 c 455s | 14 | 183039 | 73352 | 535721 0 | 2012 | 5775 464.54/464.73 c 457s | 14 | 184622 | 74252 | 535721 0 | 2012 | 5775 466.74/466.99 c 459s | 14 | 185981 | 75052 | 535721 0 | 2012 | 5775 469.14/469.34 c 462s | 14 | 187476 | 75652 | 535721 0 | 2012 | 5775 471.14/471.36 c 464s | 14 | 188602 | 76152 | 535721 0 | 2012 | 5775 473.34/473.52 c 466s | 14 | 189733 | 76652 | 535721 0 | 2012 | 5775 475.34/475.59 c 468s | 14 | 190375 | 77152 | 535721 0 | 2012 | 5775 477.34/477.60 c 470s | 14 | 190976 | 77652 | 535721 0 | 2012 | 5775 479.43/479.62 c 472s | 14 | 191297 | 77852 | 535721 0 | 2012 | 5775 481.84/482.07 c 474s | 14 | 191820 | 78152 | 535721 0 | 2012 | 5775 484.23/484.45 c 477s | 14 | 192698 | 78552 | 535721 0 | 2012 | 5775 486.53/486.73 c 479s | 14 | 193664 | 78952 | 535721 0 | 2012 | 5775 488.73/488.94 c 481s | 14 | 194767 | 79352 | 535721 0 | 2012 | 5775 491.13/491.30 c 483s | 14 | 196355 | 79852 | 535721 0 | 2012 | 5775 493.13/493.31 c 485s | 14 | 197708 | 80252 | 535721 0 | 2012 | 5775 495.62/495.81 c 488s | 14 | 198919 | 80752 | 535721 0 | 2012 | 5775 497.62/497.86 c 490s | 14 | 199968 | 81152 | 535721 0 | 2012 | 5775 499.82/500.08 c 492s | 14 | 201411 | 81552 | 535721 0 | 2012 | 5775 502.22/502.40 c 495s | 14 | 202422 | 81952 | 535721 0 | 2012 | 5775 504.42/504.66 c 497s | 14 | 203942 | 82452 | 535721 0 | 2012 | 5775 506.42/506.69 c 499s | 14 | 204924 | 83052 | 535721 0 | 2012 | 5775 508.52/508.75 c 501s | 14 | 205853 | 83552 | 535721 0 | 2012 | 5775 510.92/511.16 c 503s | 14 | 206565 | 83952 | 535721 0 | 2012 | 5775 513.12/513.30 c 505s | 14 | 207343 | 84352 | 535721 0 | 2012 | 5775 515.22/515.43 c 508s | 14 | 208277 | 84852 | 535721 0 | 2012 | 5775 517.32/517.57 c 510s | 14 | 209605 | 85452 | 535721 0 | 2012 | 5775 519.41/519.69 c 512s | 14 | 212258 | 86052 | 535721 0 | 2012 | 5775 521.91/522.14 c 514s | 14 | 215510 | 86652 | 535721 0 | 2012 | 5775 524.11/524.33 c 517s | 14 | 219089 | 87252 | 589294 0 | 2012 | 5775 525.51/525.76 c 518s | 15 | 221267 | 87632 | 589294 0 | 2012 | 5775 528.31/528.53 c 521s | 15 | 222785 | 87932 | 589294 0 | 2012 | 5775 530.81/531.02 c 523s | 15 | 223543 | 88232 | 589294 0 | 2012 | 5775 533.41/533.66 c 526s | 15 | 224990 | 88632 | 589294 0 | 2012 | 5775 535.51/535.76 c 528s | 15 | 226044 | 88932 | 589294 0 | 2012 | 5775 537.91/538.19 c 530s | 15 | 227498 | 89232 | 589294 0 | 2012 | 5775 540.61/540.80 c 533s | 15 | 229334 | 89532 | 589294 0 | 2012 | 5775 542.61/542.83 c 535s | 15 | 230691 | 89832 | 589294 0 | 2012 | 5775 545.01/545.22 c 537s | 15 | 231857 | 90132 | 589294 0 | 2012 | 5775 547.82/548.04 c 540s | 15 | 232871 | 90432 | 589294 0 | 2012 | 5775 550.71/550.91 c 543s | 15 | 233889 | 90732 | 589294 0 | 2012 | 5775 553.11/553.32 c 546s | 15 | 234747 | 90932 | 589294 0 | 2014 | 5781 555.31/555.55 c 548s | 15 | 235762 | 91332 | 589294 0 | 2014 | 5781 558.41/558.68 c 551s | 15 | 236509 | 91732 | 589294 0 | 2014 | 5781 560.91/561.11 c 553s | 15 | 237577 | 92032 | 589294 0 | 2014 | 5781 563.01/563.28 c 555s | 15 | 238952 | 92232 | 589294 0 | 2014 | 5781 565.71/565.95 c 558s | 15 | 239934 | 92532 | 589294 0 | 2014 | 5781 567.81/568.09 c 560s | 15 | 240806 | 92932 | 589294 0 | 2014 | 5781 570.00/570.26 c 562s | 15 | 241971 | 93232 | 589294 0 | 2014 | 5781 572.70/572.90 c 565s | 15 | 243056 | 93632 | 589294 0 | 2014 | 5781 575.00/575.25 c 567s | 15 | 244371 | 94032 | 589294 0 | 2014 | 5781 577.30/577.50 c 570s | 15 | 245473 | 94432 | 589294 0 | 2014 | 5781 579.30/579.54 c 572s | 15 | 246391 | 94832 | 589294 0 | 2014 | 5781 581.40/581.60 c 574s | 15 | 247602 | 95132 | 589294 0 | 2014 | 5781 583.60/583.83 c 576s | 15 | 248674 | 95532 | 589294 0 | 2014 | 5781 585.70/585.90 c 578s | 15 | 249734 | 95832 | 589294 0 | 2014 | 5781 587.99/588.23 c 580s | 15 | 250804 | 96232 | 589294 0 | 2014 | 5781 590.09/590.30 c 582s | 15 | 252051 | 96532 | 589294 0 | 2014 | 5781 592.59/592.83 c 585s | 15 | 253575 | 96932 | 589294 0 | 2014 | 5781 594.89/595.12 c 587s | 15 | 254658 | 97332 | 589294 0 | 2014 | 5781 597.40/597.68 c 590s | 15 | 256196 | 97732 | 589294 0 | 2014 | 5781 599.49/599.76 c 592s | 15 | 257728 | 98032 | 589294 0 | 2014 | 5781 601.99/602.23 c 594s | 15 | 259136 | 98332 | 589294 0 | 2014 | 5781 603.99/604.29 c 596s | 15 | 259886 | 98832 | 589294 0 | 2014 | 5781 606.19/606.43 c 599s | 15 | 260459 | 99232 | 589294 0 | 2014 | 5781 608.88/609.15 c 601s | 15 | 260916 | 99532 | 589294 0 | 2014 | 5781 611.18/611.44 c 604s | 15 | 261411 | 99832 | 589294 0 | 2014 | 5781 613.48/613.71 c 606s | 15 | 262986 | 100732 | 589294 0 | 2014 | 5781 615.48/615.73 c 608s | 15 | 265321 | 101532 | 589294 0 | 2014 | 5781 617.58/617.81 c 610s | 15 | 267517 | 102332 | 589294 0 | 2014 | 5781 619.58/619.84 c 612s | 15 | 268935 | 102632 | 589294 0 | 2014 | 5781 621.98/622.25 c 614s | 15 | 270829 | 103032 | 589294 0 | 2014 | 5781 624.48/624.71 c 617s | 15 | 272736 | 103432 | 589294 0 | 2014 | 5781 626.68/626.97 c 619s | 15 | 274656 | 103832 | 589294 0 | 2014 | 5781 629.08/629.38 c 622s | 15 | 276377 | 104232 | 589294 0 | 2014 | 5781 631.28/631.58 c 624s | 15 | 277165 | 104532 | 589294 0 | 2014 | 5781 633.69/633.97 c 626s | 15 | 277565 | 104832 | 589294 0 | 2014 | 5781 636.38/636.64 c 629s | 15 | 278222 | 105132 | 589294 0 | 2014 | 5781 639.58/639.82 c 632s | 15 | 278717 | 105332 | 589294 0 | 2014 | 5781 642.88/643.17 c 635s | 15 | 279245 | 105632 | 589294 0 | 2014 | 5781 645.18/645.48 c 638s | 15 | 279494 | 105832 | 589294 0 | 2014 | 5781 647.28/647.57 c 640s | 15 | 281783 | 106932 | 589294 0 | 2014 | 5781 649.37/649.62 c 642s | 15 | 284295 | 108332 | 589294 0 | 2014 | 5781 651.47/651.76 c 644s | 15 | 286774 | 109032 | 589294 0 | 2014 | 5781 653.77/654.03 c 646s | 15 | 289414 | 109632 | 589294 0 | 2014 | 5781 656.17/656.40 c 649s | 15 | 292202 | 110332 | 589294 0 | 2014 | 5781 658.37/658.65 c 651s | 15 | 294635 | 111032 | 589294 0 | 2014 | 5781 660.57/660.89 c 653s | 15 | 296849 | 111632 | 589294 0 | 2014 | 5781 662.77/663.02 c 655s | 15 | 299257 | 112332 | 589294 0 | 2014 | 5781 664.96/665.27 c 657s | 15 | 301954 | 112932 | 589294 0 | 2014 | 5781 667.16/667.47 c 660s | 15 | 304490 | 113532 | 589294 0 | 2014 | 5781 669.26/669.51 c 662s | 15 | 306249 | 114032 | 589294 0 | 2014 | 5781 671.46/671.71 c 664s | 15 | 307807 | 114832 | 589294 0 | 2014 | 5781 673.66/673.90 c 666s | 15 | 309797 | 115532 | 589294 0 | 2014 | 5781 675.76/676.04 c 668s | 15 | 312140 | 116332 | 589294 0 | 2014 | 5781 677.86/678.13 c 670s | 15 | 314242 | 117132 | 589294 0 | 2014 | 5781 679.96/680.27 c 672s | 15 | 315847 | 117832 | 589294 0 | 2014 | 5781 682.16/682.48 c 675s | 15 | 317747 | 118532 | 589294 0 | 2014 | 5781 684.26/684.59 c 677s | 15 | 320011 | 119232 | 589294 0 | 2014 | 5781 686.46/686.74 c 679s | 15 | 321113 | 119832 | 589294 0 | 2014 | 5781 688.76/689.09 c 681s | 15 | 322097 | 120332 | 589294 0 | 2014 | 5781 691.06/691.36 c 684s | 15 | 322779 | 120732 | 589294 0 | 2014 | 5781 693.35/693.69 c 686s | 15 | 324515 | 121132 | 589294 0 | 2014 | 5781 695.85/696.15 c 688s | 15 | 326716 | 121532 | 589294 0 | 2014 | 5781 697.85/698.16 c 690s | 15 | 328171 | 121832 | 589294 0 | 2014 | 5781 700.15/700.40 c 693s | 15 | 329907 | 122632 | 589294 0 | 2014 | 5781 702.25/702.58 c 695s | 15 | 331637 | 123132 | 589294 0 | 2014 | 5781 704.45/704.74 c 697s | 15 | 333036 | 123632 | 589294 0 | 2014 | 5781 706.65/706.94 c 699s | 15 | 334809 | 124232 | 589294 0 | 2014 | 5781 708.75/709.05 c 701s | 15 | 336263 | 124732 | 589294 0 | 2014 | 5781 711.25/711.50 c 704s | 15 | 337264 | 125132 | 589294 0 | 2014 | 5781 713.55/713.87 c 706s | 15 | 338423 | 125532 | 589294 0 | 2014 | 5781 715.55/715.88 c 708s | 15 | 339395 | 125832 | 589294 0 | 2014 | 5781 717.95/718.29 c 710s | 15 | 340531 | 126232 | 589294 0 | 2014 | 5781 720.25/720.54 c 713s | 15 | 341633 | 126632 | 589294 0 | 2014 | 5781 722.55/722.90 c 715s | 15 | 342795 | 127032 | 589294 0 | 2014 | 5781 724.96/725.26 c 717s | 15 | 343920 | 127432 | 589294 0 | 2014 | 5781 727.55/727.81 c 720s | 15 | 345142 | 127832 | 589294 0 | 2014 | 5781 730.05/730.34 c 723s | 15 | 346568 | 128332 | 589294 0 | 2014 | 5781 732.45/732.79 c 725s | 15 | 347687 | 128732 | 589294 0 | 2014 | 5781 734.95/735.29 c 727s | 15 | 348811 | 129132 | 589294 0 | 2014 | 5781 737.35/737.61 c 730s | 15 | 349557 | 129432 | 589294 0 | 2014 | 5781 739.35/739.65 c 732s | 15 | 351253 | 130032 | 589294 0 | 2014 | 5781 742.05/742.39 c 735s | 15 | 352884 | 130632 | 589294 0 | 2014 | 5781 744.65/744.94 c 737s | 15 | 353732 | 131032 | 648224 0 | 2014 | 5781 746.74/747.08 c 739s | 15 | 354456 | 131332 | 648224 0 | 2014 | 5781 748.24/748.56 c 741s | 16 | 354963 | 131552 | 648224 0 | 2014 | 5781 750.44/750.78 c 743s | 16 | 355805 | 131752 | 648224 0 | 2014 | 5781 752.64/752.93 c 745s | 16 | 356443 | 131952 | 648224 0 | 2014 | 5781 755.65/755.97 c 748s | 16 | 357539 | 132252 | 648224 0 | 2014 | 5781 758.14/758.46 c 751s | 16 | 358840 | 132452 | 648224 0 | 2014 | 5781 760.24/760.56 c 753s | 16 | 359648 | 132652 | 648224 0 | 2014 | 5781 762.35/762.65 c 755s | 16 | 360301 | 132852 | 648224 0 | 2014 | 5781 764.45/764.72 c 757s | 16 | 360829 | 133052 | 648224 0 | 2014 | 5781 766.54/766.85 c 759s | 16 | 361628 | 133252 | 648224 0 | 2014 | 5781 768.54/768.88 c 761s | 16 | 362295 | 133452 | 648224 0 | 2014 | 5781 770.94/771.20 c 763s | 16 | 362681 | 133652 | 648224 0 | 2014 | 5781 772.94/773.26 c 765s | 16 | 363035 | 133852 | 648224 0 | 2014 | 5781 775.14/775.41 c 768s | 16 | 363847 | 134052 | 648224 0 | 2014 | 5781 777.34/777.60 c 770s | 16 | 364486 | 134252 | 648224 0 | 2014 | 5781 779.44/779.71 c 772s | 16 | 365184 | 134452 | 648224 0 | 2014 | 5781 782.34/782.65 c 775s | 16 | 366096 | 134752 | 648224 0 | 2014 | 5781 784.64/784.94 c 777s | 16 | 366729 | 134952 | 648224 0 | 2014 | 5781 787.64/787.95 c 780s | 16 | 367608 | 135252 | 648224 0 | 2014 | 5781 789.94/790.23 c 782s | 16 | 368139 | 135452 | 648224 0 | 2014 | 5781 792.04/792.31 c 784s | 16 | 368973 | 135652 | 648224 0 | 2014 | 5781 794.04/794.33 c 787s | 16 | 369750 | 135852 | 648224 0 | 2014 | 5781 796.14/796.43 c 789s | 16 | 370352 | 136052 | 648224 0 | 2014 | 5781 798.34/798.60 c 791s | 16 | 371131 | 136252 | 648224 0 | 2014 | 5781 800.74/801.01 c 793s | 16 | 371506 | 136452 | 648224 0 | 2014 | 5781 803.43/803.75 c 796s | 16 | 372204 | 136752 | 648224 0 | 2014 | 5781 805.63/805.94 c 798s | 16 | 372802 | 136952 | 648224 0 | 2014 | 5781 808.44/808.74 c 801s | 16 | 373637 | 137152 | 648224 0 | 2014 | 5781 810.43/810.77 c 803s | 16 | 374231 | 137352 | 648224 0 | 2014 | 5781 812.63/812.98 c 805s | 16 | 374923 | 137552 | 648224 0 | 2014 | 5781 815.43/815.73 c 808s | 16 | 375776 | 137852 | 648224 0 | 2014 | 5781 817.63/817.96 c 810s | 16 | 376392 | 138052 | 648224 0 | 2014 | 5781 819.64/819.99 c 812s | 16 | 377205 | 138252 | 648224 0 | 2014 | 5781 821.65/821.99 c 814s | 16 | 377876 | 138452 | 648224 0 | 2014 | 5781 823.95/824.21 c 816s | 16 | 378369 | 138652 | 648224 0 | 2014 | 5781 827.04/827.34 c 820s | 16 | 379008 | 138952 | 648224 0 | 2014 | 5781 829.94/830.27 c 822s | 16 | 380177 | 139252 | 648224 0 | 2014 | 5781 832.24/832.59 c 825s | 16 | 381006 | 139452 | 648224 0 | 2014 | 5781 834.64/834.92 c 827s | 16 | 381867 | 139652 | 648224 0 | 2014 | 5781 837.04/837.40 c 830s | 16 | 382656 | 139852 | 648224 0 | 2014 | 5781 839.34/839.69 c 832s | 16 | 383201 | 140052 | 648224 0 | 2014 | 5781 841.54/841.82 c 834s | 16 | 383690 | 140252 | 648224 0 | 2014 | 5781 843.74/844.07 c 836s | 16 | 384459 | 140452 | 648224 0 | 2014 | 5781 846.14/846.40 c 839s | 16 | 385063 | 140652 | 648224 0 | 2014 | 5781 848.54/848.86 c 841s | 16 | 385413 | 140852 | 648224 0 | 2014 | 5781 851.83/852.19 c 844s | 16 | 386398 | 141152 | 648224 0 | 2014 | 5781 854.33/854.65 c 847s | 16 | 387002 | 141352 | 648224 0 | 2014 | 5781 856.53/856.81 c 849s | 16 | 387594 | 141552 | 648224 0 | 2014 | 5781 858.83/859.18 c 851s | 16 | 388339 | 141752 | 648224 0 | 2014 | 5781 861.24/861.52 c 854s | 16 | 388828 | 141952 | 648224 0 | 2014 | 5781 863.33/863.65 c 856s | 16 | 389529 | 142152 | 648224 0 | 2014 | 5781 865.43/865.76 c 858s | 16 | 390270 | 142352 | 648224 0 | 2014 | 5781 867.73/868.10 c 860s | 16 | 390984 | 142552 | 648224 0 | 2014 | 5781 870.04/870.35 c 863s | 16 | 391601 | 142752 | 648224 0 | 2014 | 5781 872.13/872.43 c 865s | 16 | 392141 | 142952 | 648224 0 | 2014 | 5781 874.54/874.89 c 867s | 16 | 392505 | 143152 | 648224 0 | 2014 | 5781 877.13/877.44 c 870s | 16 | 393353 | 143352 | 648224 0 | 2014 | 5781 879.13/879.45 c 872s | 16 | 393974 | 143552 | 648224 0 | 2014 | 5781 881.14/881.48 c 874s | 16 | 394550 | 143752 | 648224 0 | 2014 | 5781 883.34/883.63 c 876s | 16 | 395309 | 143952 | 648224 0 | 2014 | 5781 885.73/886.09 c 878s | 16 | 396232 | 144152 | 648224 0 | 2014 | 5781 888.23/888.55 c 881s | 16 | 396883 | 144352 | 648224 0 | 2014 | 5781 891.53/891.81 c 884s | 16 | 397622 | 144652 | 648224 0 | 2014 | 5781 894.53/894.86 c 887s | 16 | 398095 | 144852 | 648224 0 | 2014 | 5781 897.53/897.81 c 890s | 16 | 399110 | 145152 | 648224 0 | 2014 | 5781 900.13/900.49 c 893s | 16 | 399451 | 145352 | 648224 0 | 2014 | 5781 902.33/902.65 c 895s | 16 | 399977 | 145552 | 648224 0 | 2014 | 5781 904.43/904.74 c 897s | 16 | 400712 | 145752 | 648224 0 | 2014 | 5781 907.43/907.72 c 900s | 16 | 401632 | 146052 | 648224 0 | 2014 | 5781 909.63/909.97 c 902s | 16 | 402234 | 146252 | 648224 0 | 2014 | 5781 912.02/912.30 c 904s | 16 | 402769 | 146452 | 648224 0 | 2014 | 5781 914.62/914.91 c 907s | 16 | 403368 | 146652 | 648224 0 | 2014 | 5781 916.62/916.93 c 909s | 16 | 404220 | 146852 | 648224 0 | 2014 | 5781 919.12/919.40 c 912s | 16 | 404974 | 147052 | 648224 0 | 2014 | 5781 921.52/921.82 c 914s | 16 | 405674 | 147252 | 648224 0 | 2014 | 5781 923.62/923.94 c 916s | 16 | 406192 | 147452 | 648224 0 | 2014 | 5781 926.23/926.55 c 919s | 16 | 407113 | 147652 | 648224 0 | 2014 | 5781 929.22/929.52 c 922s | 16 | 408303 | 147952 | 648224 0 | 2014 | 5781 931.73/932.05 c 924s | 16 | 409280 | 148152 | 648224 0 | 2014 | 5781 934.12/934.41 c 927s | 16 | 410123 | 148352 | 648224 0 | 2014 | 5781 936.82/937.11 c 929s | 16 | 410808 | 148552 | 648224 0 | 2014 | 5781 939.12/939.47 c 932s | 16 | 411401 | 148752 | 648224 0 | 2014 | 5781 941.42/941.75 c 934s | 16 | 412427 | 148952 | 648224 0 | 2014 | 5781 944.52/944.82 c 937s | 16 | 413573 | 149252 | 648224 0 | 2014 | 5781 947.13/947.43 c 940s | 16 | 413993 | 149452 | 648224 0 | 2014 | 5781 949.52/949.81 c 942s | 16 | 414955 | 149652 | 648224 0 | 2014 | 5781 951.82/952.13 c 944s | 16 | 415592 | 149852 | 648224 0 | 2014 | 5781 954.22/954.53 c 947s | 16 | 415976 | 150052 | 648224 0 | 2014 | 5781 956.42/956.70 c 949s | 16 | 416989 | 150252 | 648224 0 | 2014 | 5781 958.62/958.99 c 951s | 16 | 417529 | 150452 | 648224 0 | 2014 | 5781 961.02/961.36 c 954s | 16 | 418397 | 150652 | 648224 0 | 2014 | 5781 963.92/964.28 c 956s | 16 | 419226 | 150852 | 648224 0 | 2014 | 5781 966.32/966.69 c 959s | 16 | 419801 | 151052 | 648224 0 | 2014 | 5781 969.42/969.72 c 962s | 16 | 420792 | 151352 | 648224 0 | 2014 | 5781 971.82/972.19 c 964s | 16 | 421102 | 151552 | 648224 0 | 2014 | 5781 974.31/974.60 c 967s | 16 | 421956 | 151752 | 648224 0 | 2014 | 5781 976.82/977.17 c 969s | 16 | 422826 | 151952 | 648224 0 | 2014 | 5781 979.41/979.73 c 972s | 16 | 423682 | 152152 | 648224 0 | 2014 | 5781 981.81/982.13 c 974s | 16 | 424302 | 152352 | 648224 0 | 2014 | 5781 984.01/984.38 c 977s | 16 | 424779 | 152552 | 648224 0 | 2014 | 5781 986.51/986.88 c 979s | 16 | 425609 | 152752 | 648224 0 | 2014 | 5781 989.01/989.33 c 982s | 16 | 426127 | 152952 | 648224 0 | 2014 | 5781 991.71/992.06 c 984s | 16 | 427018 | 153252 | 648224 0 | 2014 | 5781 994.01/994.31 c 987s | 16 | 427670 | 153452 | 648224 0 | 2014 | 5781 996.01/996.36 c 989s | 16 | 428465 | 153652 | 648224 0 | 2014 | 5781 998.01/998.37 c 991s | 16 | 429053 | 153852 | 648224 0 | 2014 | 5781 1000.41/1000.79 c 993s | 16 | 429753 | 154052 | 648224 0 | 2014 | 5781 1002.91/1003.28 c 995s | 16 | 430810 | 154252 | 648224 0 | 2014 | 5781 1005.81/1006.18 c 998s | 16 | 431136 | 154452 | 648224 0 | 2014 | 5781 1009.11/1009.47 c 1002s | 16 | 431621 | 154652 | 648224 0 | 2014 | 5781 1011.21/1011.54 c 1004s | 16 | 432346 | 154852 | 648224 0 | 2014 | 5781 1014.31/1014.66 c 1007s | 16 | 433539 | 155152 | 648224 0 | 2014 | 5781 1016.61/1016.92 c 1009s | 16 | 434319 | 155352 | 648224 0 | 2014 | 5781 1019.21/1019.50 c 1012s | 16 | 435025 | 155552 | 648224 0 | 2014 | 5781 1021.81/1022.20 c 1014s | 16 | 435651 | 155752 | 648224 0 | 2014 | 5781 1024.90/1025.21 c 1017s | 16 | 436291 | 155952 | 648224 0 | 2014 | 5781 1027.31/1027.61 c 1020s | 16 | 437222 | 156152 | 648224 0 | 2014 | 5781 1030.30/1030.70 c 1023s | 16 | 438435 | 156452 | 648224 0 | 2014 | 5781 1032.50/1032.83 c 1025s | 16 | 439134 | 156652 | 648224 0 | 2014 | 5781 1034.60/1034.93 c 1027s | 16 | 439871 | 156852 | 648224 0 | 2014 | 5781 1037.10/1037.42 c 1030s | 16 | 440821 | 157052 | 648224 0 | 2014 | 5781 1039.51/1039.83 c 1032s | 16 | 441929 | 157252 | 648224 0 | 2014 | 5781 1041.71/1042.07 c 1034s | 16 | 442717 | 157452 | 648224 0 | 2014 | 5781 1044.70/1045.06 c 1037s | 16 | 443727 | 157752 | 648224 0 | 2014 | 5781 1047.30/1047.64 c 1040s | 16 | 444439 | 157952 | 648224 0 | 2014 | 5781 1049.50/1049.88 c 1042s | 16 | 445031 | 158152 | 648224 0 | 2014 | 5781 1052.30/1052.65 c 1045s | 16 | 445323 | 158352 | 648224 0 | 2014 | 5781 1054.50/1054.80 c 1047s | 16 | 445678 | 158552 | 648224 0 | 2014 | 5781 1057.60/1057.94 c 1050s | 16 | 446374 | 158852 | 648224 0 | 2014 | 5781 1059.90/1060.23 c 1052s | 16 | 447190 | 159052 | 648224 0 | 2014 | 5781 1062.80/1063.12 c 1055s | 16 | 448152 | 159352 | 648224 0 | 2014 | 5781 1065.20/1065.56 c 1058s | 16 | 448667 | 159552 | 648224 0 | 2014 | 5781 1067.30/1067.69 c 1060s | 16 | 449327 | 159752 | 648224 0 | 2014 | 5781 1069.90/1070.23 c 1062s | 16 | 450170 | 159952 | 648224 0 | 2014 | 5781 1072.40/1072.78 c 1065s | 16 | 450915 | 160152 | 648224 0 | 2014 | 5781 1074.70/1075.01 c 1067s | 16 | 451727 | 160352 | 648224 0 | 2014 | 5781 1076.80/1077.18 c 1069s | 16 | 452261 | 160552 | 648224 0 | 2014 | 5781 1079.39/1079.75 c 1072s | 16 | 452888 | 160752 | 648224 0 | 2014 | 5781 1081.69/1082.06 c 1074s | 16 | 453583 | 160952 | 648224 0 | 2014 | 5781 1083.99/1084.39 c 1077s | 16 | 453958 | 161152 | 648224 0 | 2014 | 5781 1086.39/1086.76 c 1079s | 16 | 454768 | 161352 | 648224 0 | 2014 | 5781 1089.09/1089.47 c 1082s | 16 | 455562 | 161552 | 648224 0 | 2014 | 5781 1091.59/1091.94 c 1084s | 16 | 456257 | 161752 | 648224 0 | 2014 | 5781 1094.29/1094.66 c 1087s | 16 | 457041 | 161952 | 648224 0 | 2014 | 5781 1096.70/1097.06 c 1089s | 16 | 457900 | 162152 | 648224 0 | 2014 | 5781 1098.99/1099.32 c 1092s | 16 | 458461 | 162352 | 648224 0 | 2014 | 5781 1101.29/1101.65 c 1094s | 16 | 459032 | 162552 | 648224 0 | 2014 | 5781 1104.40/1104.72 c 1097s | 16 | 459346 | 162752 | 648224 0 | 2014 | 5781 1107.60/1107.91 c 1100s | 16 | 459589 | 162952 | 648224 0 | 2014 | 5781 1110.09/1110.44 c 1103s | 16 | 460075 | 163152 | 648224 0 | 2014 | 5781 1112.69/1113.02 c 1105s | 16 | 461036 | 163452 | 648224 0 | 2014 | 5781 1114.79/1115.10 c 1107s | 16 | 461421 | 163652 | 648224 0 | 2014 | 5781 1116.89/1117.29 c 1109s | 16 | 461729 | 163852 | 648224 0 | 2014 | 5781 1119.69/1120.06 c 1112s | 16 | 462042 | 164052 | 648224 0 | 2014 | 5781 1121.99/1122.35 c 1115s | 16 | 462405 | 164252 | 648224 0 | 2014 | 5781 1124.09/1124.50 c 1117s | 16 | 462723 | 164452 | 648224 0 | 2014 | 5781 1126.39/1126.76 c 1119s | 16 | 463113 | 164652 | 648224 0 | 2014 | 5781 1128.69/1129.06 c 1121s | 16 | 463425 | 164852 | 648224 0 | 2014 | 5781 1131.09/1131.42 c 1124s | 16 | 463979 | 165052 | 648224 0 | 2014 | 5781 1133.79/1134.19 c 1126s | 16 | 464280 | 165252 | 648224 0 | 2014 | 5781 1135.89/1136.28 c 1128s | 16 | 464627 | 165452 | 648224 0 | 2014 | 5781 1138.29/1138.62 c 1131s | 16 | 465035 | 165652 | 648224 0 | 2014 | 5781 1140.48/1140.89 c 1133s | 16 | 465434 | 165852 | 648224 0 | 2014 | 5781 1142.79/1143.16 c 1135s | 16 | 465912 | 166052 | 648224 0 | 2014 | 5781 1145.78/1146.18 c 1138s | 16 | 466425 | 166352 | 648224 0 | 2014 | 5781 1148.88/1149.25 c 1141s | 16 | 466735 | 166552 | 648224 0 | 2014 | 5781 1151.18/1151.56 c 1144s | 16 | 467115 | 166752 | 648224 0 | 2014 | 5781 1153.89/1154.21 c 1146s | 16 | 467399 | 166952 | 648224 0 | 2014 | 5781 1156.58/1156.93 c 1149s | 16 | 467666 | 167152 | 648224 0 | 2014 | 5781 1158.88/1159.27 c 1151s | 16 | 468061 | 167352 | 648224 0 | 2014 | 5781 1161.18/1161.50 c 1154s | 16 | 468396 | 167552 | 648224 0 | 2014 | 5781 1163.18/1163.58 c 1156s | 16 | 468779 | 167752 | 648224 0 | 2014 | 5781 1165.59/1165.94 c 1158s | 16 | 469098 | 167952 | 648224 0 | 2014 | 5781 1167.79/1168.10 c 1160s | 16 | 469395 | 168152 | 648224 0 | 2014 | 5781 1170.09/1170.46 c 1163s | 16 | 469743 | 168352 | 648224 0 | 2014 | 5781 1172.29/1172.63 c 1165s | 16 | 470170 | 168552 | 648224 0 | 2014 | 5781 1174.79/1175.14 c 1167s | 16 | 470473 | 168752 | 648224 0 | 2014 | 5781 1177.29/1177.65 c 1170s | 16 | 470768 | 168952 | 648224 0 | 2014 | 5781 1179.79/1180.15 c 1172s | 16 | 471113 | 169152 | 648224 0 | 2014 | 5781 1181.99/1182.34 c 1175s | 16 | 471472 | 169352 | 648224 0 | 2014 | 5781 1183.99/1184.35 c 1177s | 16 | 471795 | 169552 | 648224 0 | 2014 | 5781 1186.18/1186.51 c 1179s | 16 | 472165 | 169752 | 648224 0 | 2014 | 5781 1188.38/1188.79 c 1181s | 16 | 472465 | 169952 | 648224 0 | 2014 | 5781 1190.58/1190.97 c 1183s | 16 | 472806 | 170152 | 648224 0 | 2014 | 5781 1192.88/1193.30 c 1185s | 16 | 473102 | 170352 | 648224 0 | 2014 | 5781 1195.18/1195.52 c 1188s | 16 | 473424 | 170552 | 648224 0 | 2014 | 5781 1197.38/1197.70 c 1190s | 16 | 473698 | 170752 | 648224 0 | 2014 | 5781 1199.68/1200.05 c 1192s | 16 | 473995 | 170952 | 648224 0 | 2014 | 5781 1202.38/1202.71 c 1195s | 16 | 474374 | 171252 | 648224 0 | 2014 | 5781 1205.38/1205.75 c 1198s | 16 | 474813 | 171552 | 648224 0 | 2014 | 5781 1207.58/1208.00 c 1200s | 16 | 475161 | 171752 | 648224 0 | 2014 | 5781 1209.89/1210.30 c 1202s | 16 | 475513 | 171952 | 648224 0 | 2014 | 5781 1212.09/1212.50 c 1205s | 16 | 475848 | 172152 | 648224 0 | 2014 | 5781 1215.08/1215.41 c 1208s | 16 | 476275 | 172452 | 648224 0 | 2014 | 5781 1217.28/1217.65 c 1210s | 16 | 476589 | 172652 | 648224 0 | 2014 | 5781 1219.28/1219.70 c 1212s | 16 | 476914 | 172852 | 648224 0 | 2014 | 5781 1221.48/1221.88 c 1214s | 16 | 477272 | 173052 | 648224 0 | 2014 | 5781 1223.98/1224.34 c 1217s | 16 | 477605 | 173252 | 648224 0 | 2014 | 5781 1226.38/1226.77 c 1219s | 16 | 478066 | 173452 | 648224 0 | 2014 | 5781 1228.88/1229.22 c 1221s | 16 | 478387 | 173652 | 648224 0 | 2014 | 5781 1231.28/1231.65 c 1224s | 16 | 478846 | 173852 | 648224 0 | 2014 | 5781 1233.38/1233.73 c 1226s | 16 | 479166 | 174052 | 648224 0 | 2014 | 5781 1235.78/1236.11 c 1228s | 16 | 479478 | 174252 | 648224 0 | 2014 | 5781 1238.17/1238.52 c 1231s | 16 | 479743 | 174452 | 648224 0 | 2014 | 5781 1240.78/1241.12 c 1233s | 16 | 480055 | 174652 | 648224 0 | 2014 | 5781 1242.77/1243.20 c 1235s | 16 | 480344 | 174852 | 648224 0 | 2014 | 5781 1245.08/1245.44 c 1238s | 16 | 480643 | 175052 | 648224 0 | 2014 | 5781 1247.87/1248.25 c 1240s | 16 | 480971 | 175252 | 648224 0 | 2014 | 5781 1250.37/1250.72 c 1243s | 16 | 481280 | 175452 | 648224 0 | 2014 | 5781 1252.97/1253.31 c 1246s | 16 | 481600 | 175652 | 648224 0 | 2014 | 5781 1255.87/1256.21 c 1248s | 16 | 481906 | 175852 | 648224 0 | 2014 | 5781 1258.17/1258.50 c 1251s | 16 | 482217 | 176052 | 648224 0 | 2014 | 5781 1260.37/1260.80 c 1253s | 16 | 482520 | 176252 | 648224 0 | 2014 | 5781 1262.57/1262.95 c 1255s | 16 | 482831 | 176452 | 648224 0 | 2014 | 5781 1265.67/1266.01 c 1258s | 16 | 483273 | 176752 | 648224 0 | 2014 | 5781 1267.67/1268.03 c 1260s | 16 | 483565 | 176952 | 648224 0 | 2014 | 5781 1269.97/1270.34 c 1263s | 16 | 483874 | 177152 | 648224 0 | 2014 | 5781 1272.37/1272.71 c 1265s | 16 | 484132 | 177352 | 648224 0 | 2014 | 5781 1274.78/1275.20 c 1267s | 16 | 484434 | 177552 | 648224 0 | 2014 | 5781 1277.37/1277.79 c 1270s | 16 | 484751 | 177752 | 648224 0 | 2014 | 5781 1279.77/1280.11 c 1272s | 16 | 485044 | 177952 | 648224 0 | 2014 | 5781 1282.07/1282.47 c 1275s | 16 | 485388 | 178152 | 648224 0 | 2014 | 5781 1284.57/1284.94 c 1277s | 16 | 485671 | 178352 | 648224 0 | 2014 | 5781 1287.17/1287.59 c 1280s | 16 | 485952 | 178552 | 648224 0 | 2014 | 5781 1289.67/1290.03 c 1282s | 16 | 486337 | 178752 | 648224 0 | 2014 | 5781 1292.06/1292.40 c 1285s | 16 | 486612 | 178952 | 648224 0 | 2014 | 5781 1294.36/1294.79 c 1287s | 16 | 486986 | 179152 | 648224 0 | 2014 | 5781 1296.87/1297.22 c 1289s | 16 | 487275 | 179352 | 648224 0 | 2014 | 5781 1299.36/1299.78 c 1292s | 16 | 487686 | 179552 | 648224 0 | 2014 | 5781 1301.56/1301.95 c 1294s | 16 | 488006 | 179752 | 648224 0 | 2014 | 5781 1303.76/1304.16 c 1296s | 16 | 488369 | 179952 | 648224 0 | 2014 | 5781 1306.26/1306.60 c 1299s | 16 | 488716 | 180152 | 648224 0 | 2014 | 5781 1308.36/1308.73 c 1301s | 16 | 489061 | 180352 | 648224 0 | 2014 | 5781 1310.76/1311.12 c 1303s | 16 | 489440 | 180552 | 648224 0 | 2014 | 5781 1313.56/1313.90 c 1306s | 16 | 489838 | 180752 | 648224 0 | 2014 | 5781 1315.86/1316.28 c 1308s | 16 | 490218 | 180952 | 648224 0 | 2014 | 5781 1318.06/1318.47 c 1311s | 16 | 491134 | 181152 | 648224 0 | 2014 | 5781 1320.16/1320.56 c 1313s | 16 | 491550 | 181352 | 648224 0 | 2014 | 5781 1322.56/1322.96 c 1315s | 16 | 491927 | 181552 | 648224 0 | 2014 | 5781 1324.96/1325.36 c 1318s | 16 | 492272 | 181752 | 648224 0 | 2014 | 5781 1327.16/1327.55 c 1320s | 16 | 492644 | 181952 | 648224 0 | 2014 | 5781 1329.46/1329.86 c 1322s | 16 | 493022 | 182152 | 648224 0 | 2014 | 5781 1331.86/1332.20 c 1324s | 16 | 493456 | 182352 | 648224 0 | 2014 | 5781 1333.86/1334.28 c 1326s | 16 | 493772 | 182552 | 648224 0 | 2014 | 5781 1336.86/1337.29 c 1329s | 16 | 494446 | 182852 | 648224 0 | 2014 | 5781 1339.16/1339.54 c 1332s | 16 | 494892 | 183052 | 648224 0 | 2014 | 5781 1341.66/1342.07 c 1334s | 16 | 495328 | 183252 | 648224 0 | 2014 | 5781 1343.96/1344.32 c 1337s | 16 | 495852 | 183452 | 648224 0 | 2014 | 5781 1346.36/1346.71 c 1339s | 16 | 496380 | 183652 | 648224 0 | 2014 | 5781 1348.85/1349.22 c 1341s | 16 | 496795 | 183852 | 648224 0 | 2014 | 5781 1351.05/1351.47 c 1344s | 16 | 497230 | 184052 | 648224 0 | 2014 | 5781 1353.25/1353.61 c 1346s | 16 | 497576 | 184252 | 648224 0 | 2014 | 5781 1355.45/1355.88 c 1348s | 16 | 497983 | 184452 | 648224 0 | 2014 | 5781 1357.75/1358.10 c 1350s | 16 | 498288 | 184652 | 648224 0 | 2014 | 5781 1359.95/1360.30 c 1352s | 16 | 498718 | 184852 | 648224 0 | 2014 | 5781 1362.25/1362.60 c 1355s | 16 | 499078 | 185052 | 648224 0 | 2014 | 5781 1364.35/1364.73 c 1357s | 16 | 499496 | 185252 | 648224 0 | 2014 | 5781 1366.65/1367.01 c 1359s | 16 | 499804 | 185452 | 648224 0 | 2014 | 5781 1369.36/1369.72 c 1362s | 16 | 500312 | 185752 | 648224 0 | 2014 | 5781 1371.75/1372.15 c 1364s | 16 | 500613 | 185952 | 648224 0 | 2014 | 5781 1374.65/1375.01 c 1367s | 16 | 501049 | 186252 | 648224 0 | 2014 | 5781 1376.75/1377.12 c 1369s | 16 | 501362 | 186452 | 648224 0 | 2014 | 5781 1378.95/1379.36 c 1372s | 16 | 501699 | 186652 | 648224 0 | 2014 | 5781 1381.15/1381.55 c 1374s | 16 | 501962 | 186852 | 648224 0 | 2014 | 5781 1383.35/1383.79 c 1376s | 16 | 502276 | 187052 | 648224 0 | 2014 | 5781 1385.65/1386.08 c 1378s | 16 | 502636 | 187252 | 648224 0 | 2014 | 5781 1387.85/1388.23 c 1380s | 16 | 502962 | 187452 | 648224 0 | 2014 | 5781 1390.75/1391.10 c 1383s | 16 | 503411 | 187752 | 648224 0 | 2014 | 5781 1393.95/1394.38 c 1387s | 16 | 503794 | 188052 | 648224 0 | 2014 | 5781 1396.25/1396.67 c 1389s | 16 | 504132 | 188252 | 648224 0 | 2014 | 5781 1398.75/1399.13 c 1391s | 16 | 504491 | 188452 | 648224 0 | 2014 | 5781 1400.95/1401.39 c 1394s | 16 | 504896 | 188652 | 648224 0 | 2014 | 5781 1403.24/1403.63 c 1396s | 16 | 505256 | 188852 | 648224 0 | 2014 | 5781 1405.54/1405.94 c 1398s | 16 | 505624 | 189052 | 648224 0 | 2014 | 5781 1407.64/1408.04 c 1400s | 16 | 506004 | 189252 | 648224 0 | 2014 | 5781 1409.74/1410.11 c 1402s | 16 | 506396 | 189452 | 648224 0 | 2014 | 5781 1411.84/1412.21 c 1404s | 16 | 506731 | 189652 | 648224 0 | 2014 | 5781 1414.24/1414.65 c 1407s | 16 | 507143 | 189952 | 648224 0 | 2014 | 5781 1417.34/1417.74 c 1410s | 16 | 507617 | 190252 | 648224 0 | 2014 | 5781 1419.44/1419.82 c 1412s | 16 | 508717 | 190852 | 648224 0 | 2014 | 5781 1421.44/1421.83 c 1414s | 16 | 510187 | 191552 | 648224 0 | 2014 | 5781 1423.54/1423.95 c 1416s | 16 | 511403 | 192252 | 648224 0 | 2014 | 5781 1425.64/1426.02 c 1418s | 16 | 512881 | 192952 | 648224 0 | 2014 | 5781 1427.94/1428.31 c 1421s | 16 | 514600 | 193652 | 648224 0 | 2014 | 5781 1430.44/1430.81 c 1423s | 16 | 515998 | 194352 | 648224 0 | 2014 | 5781 1432.54/1432.96 c 1425s | 16 | 516973 | 194852 | 648224 0 | 2014 | 5781 1434.64/1435.04 c 1427s | 16 | 517893 | 195352 | 648224 0 | 2014 | 5781 1436.94/1437.32 c 1430s | 16 | 519246 | 195852 | 648224 0 | 2014 | 5781 1439.04/1439.45 c 1432s | 16 | 521155 | 196252 | 713047 0 | 2014 | 5781 1441.64/1442.03 c 1434s | 16 | 523048 | 196652 | 713047 0 | 2014 | 5781 1444.14/1444.59 c 1437s | 16 | 524145 | 197152 | 713047 0 | 2014 | 5781 1445.44/1445.84 c 1438s | 17 | 524759 | 197432 | 713047 0 | 2014 | 5781 1448.54/1448.92 c 1441s | 17 | 525532 | 197632 | 713047 0 | 2014 | 5781 1450.74/1451.17 c 1443s | 17 | 526355 | 197832 | 713047 0 | 2014 | 5781 1452.94/1453.38 c 1446s | 17 | 527019 | 198032 | 713047 0 | 2014 | 5781 1456.04/1456.41 c 1449s | 17 | 527970 | 198332 | 713047 0 | 2014 | 5781 1458.94/1459.32 c 1452s | 17 | 528769 | 198632 | 713047 0 | 2014 | 5781 1461.64/1462.08 c 1454s | 17 | 529468 | 198932 | 713047 0 | 2014 | 5781 1463.95/1464.32 c 1457s | 17 | 530009 | 199132 | 713047 0 | 2014 | 5781 1466.04/1466.42 c 1459s | 17 | 530512 | 199332 | 713047 0 | 2014 | 5781 1468.04/1468.44 c 1461s | 17 | 531083 | 199532 | 713047 0 | 2014 | 5781 1470.24/1470.68 c 1463s | 17 | 531569 | 199732 | 713047 0 | 2014 | 5781 1472.85/1473.23 c 1465s | 17 | 532411 | 200032 | 713047 0 | 2014 | 5781 1475.54/1475.93 c 1468s | 17 | 533275 | 200332 | 713047 0 | 2014 | 5781 1478.25/1478.69 c 1471s | 17 | 534061 | 200632 | 713047 0 | 2014 | 5781 1480.34/1480.72 c 1473s | 17 | 534715 | 200832 | 713047 0 | 2014 | 5781 1482.44/1482.83 c 1475s | 17 | 535220 | 201032 | 713047 0 | 2014 | 5781 1484.44/1484.86 c 1477s | 17 | 535836 | 201232 | 713047 0 | 2014 | 5781 1487.34/1487.77 c 1480s | 17 | 536720 | 201532 | 713047 0 | 2014 | 5781 1489.54/1489.93 c 1482s | 17 | 537309 | 201732 | 713047 0 | 2014 | 5781 1491.74/1492.13 c 1484s | 17 | 537691 | 201932 | 713047 0 | 2014 | 5781 1493.75/1494.18 c 1486s | 17 | 538005 | 202132 | 713047 0 | 2014 | 5781 1496.64/1497.07 c 1489s | 17 | 538688 | 202432 | 713047 0 | 2014 | 5781 1499.74/1500.11 c 1492s | 17 | 539320 | 202732 | 713047 0 | 2014 | 5781 1502.64/1503.00 c 1495s | 17 | 539916 | 203032 | 713047 0 | 2014 | 5781 1504.94/1505.40 c 1498s | 17 | 540324 | 203232 | 713047 0 | 2014 | 5781 1507.04/1507.44 c 1500s | 17 | 540772 | 203432 | 713047 0 | 2014 | 5781 1509.14/1509.55 c 1502s | 17 | 541199 | 203632 | 713047 0 | 2014 | 5781 1512.14/1512.55 c 1505s | 17 | 541763 | 203932 | 713047 0 | 2014 | 5781 1515.14/1515.58 c 1508s | 17 | 542312 | 204232 | 713047 0 | 2014 | 5781 1517.34/1517.73 c 1510s | 17 | 542740 | 204432 | 713047 0 | 2014 | 5781 1519.44/1519.89 c 1512s | 17 | 543125 | 204632 | 713047 0 | 2014 | 5781 1522.43/1522.85 c 1515s | 17 | 543623 | 204932 | 713047 0 | 2014 | 5781 1524.54/1524.94 c 1517s | 17 | 544206 | 205132 | 713047 0 | 2014 | 5781 1527.23/1527.68 c 1520s | 17 | 544778 | 205432 | 713047 0 | 2014 | 5781 1530.13/1530.57 c 1523s | 17 | 545275 | 205732 | 713047 0 | 2014 | 5781 1533.13/1533.53 c 1526s | 17 | 545768 | 206032 | 713047 0 | 2014 | 5781 1535.73/1536.15 c 1528s | 17 | 546087 | 206232 | 713047 0 | 2014 | 5781 1538.03/1538.41 c 1531s | 17 | 546439 | 206432 | 713047 0 | 2014 | 5781 1540.22/1540.63 c 1533s | 17 | 546761 | 206632 | 713047 0 | 2014 | 5781 1542.62/1543.02 c 1535s | 17 | 547099 | 206832 | 713047 0 | 2014 | 5781 1544.62/1545.03 c 1537s | 17 | 547400 | 207032 | 713047 0 | 2014 | 5781 1547.02/1547.40 c 1540s | 17 | 547752 | 207232 | 713047 0 | 2014 | 5781 1549.42/1549.83 c 1542s | 17 | 548079 | 207432 | 713047 0 | 2014 | 5781 1551.82/1552.26 c 1544s | 17 | 548410 | 207632 | 713047 0 | 2014 | 5781 1554.13/1554.57 c 1547s | 17 | 548707 | 207832 | 713047 0 | 2014 | 5781 1557.02/1557.49 c 1550s | 17 | 549176 | 208132 | 713047 0 | 2014 | 5781 1559.82/1560.29 c 1552s | 17 | 549635 | 208432 | 713047 0 | 2014 | 5781 1562.52/1562.97 c 1555s | 17 | 550140 | 208732 | 713047 0 | 2014 | 5781 1564.52/1564.99 c 1557s | 17 | 550461 | 208932 | 713047 0 | 2014 | 5781 1567.22/1567.68 c 1560s | 17 | 550891 | 209232 | 713047 0 | 2014 | 5781 1570.12/1570.54 c 1563s | 17 | 551344 | 209532 | 713047 0 | 2014 | 5781 1572.62/1573.04 c 1565s | 17 | 551812 | 209832 | 713047 0 | 2014 | 5781 1575.22/1575.64 c 1568s | 17 | 552309 | 210132 | 713047 0 | 2014 | 5781 1577.72/1578.19 c 1570s | 17 | 552765 | 210432 | 713047 0 | 2014 | 5781 1580.32/1580.73 c 1573s | 17 | 553275 | 210732 | 713047 0 | 2014 | 5781 1582.92/1583.31 c 1576s | 17 | 553727 | 211032 | 713047 0 | 2014 | 5781 1585.22/1585.66 c 1578s | 17 | 554199 | 211332 | 713047 0 | 2014 | 5781 1587.82/1588.20 c 1580s | 17 | 554681 | 211632 | 713047 0 | 2014 | 5781 1590.22/1590.69 c 1583s | 17 | 555114 | 211932 | 713047 0 | 2014 | 5781 1592.91/1593.34 c 1586s | 17 | 555598 | 212232 | 713047 0 | 2014 | 5781 1595.31/1595.72 c 1588s | 17 | 556060 | 212532 | 713047 0 | 2014 | 5781 1598.13/1598.59 c 1591s | 17 | 557005 | 212832 | 713047 0 | 2014 | 5781 1600.22/1600.65 c 1593s | 17 | 557696 | 213032 | 713047 0 | 2014 | 5781 1602.42/1602.83 c 1595s | 17 | 558103 | 213232 | 713047 0 | 2014 | 5781 1604.52/1604.92 c 1597s | 17 | 558501 | 213432 | 713047 0 | 2014 | 5781 1606.52/1606.95 c 1599s | 17 | 558835 | 213632 | 713047 0 | 2014 | 5781 1608.92/1609.33 c 1602s | 17 | 559127 | 213832 | 713047 0 | 2014 | 5781 1611.92/1612.34 c 1605s | 17 | 559601 | 214132 | 713047 0 | 2014 | 5781 1614.82/1615.25 c 1607s | 17 | 560135 | 214432 | 713047 0 | 2014 | 5781 1617.52/1617.95 c 1610s | 17 | 560652 | 214732 | 713047 0 | 2014 | 5781 1620.23/1620.67 c 1613s | 17 | 561211 | 215032 | 713047 0 | 2014 | 5781 1622.82/1623.28 c 1615s | 17 | 561775 | 215332 | 713047 0 | 2014 | 5781 1625.73/1626.11 c 1618s | 17 | 562243 | 215632 | 713047 0 | 2014 | 5781 1628.32/1628.75 c 1621s | 17 | 562651 | 215932 | 713047 0 | 2014 | 5781 1630.92/1631.35 c 1624s | 17 | 563089 | 216232 | 713047 0 | 2014 | 5781 1633.52/1633.90 c 1626s | 17 | 563523 | 216532 | 713047 0 | 2014 | 5781 1636.32/1636.78 c 1629s | 17 | 563972 | 216832 | 713047 0 | 2014 | 5781 1639.12/1639.56 c 1632s | 17 | 564478 | 217132 | 713047 0 | 2014 | 5781 1641.62/1642.01 c 1634s | 17 | 564933 | 217432 | 713047 0 | 2014 | 5781 1643.62/1644.06 c 1636s | 17 | 565197 | 217632 | 713047 0 | 2014 | 5781 1646.12/1646.51 c 1639s | 17 | 565672 | 217932 | 713047 0 | 2014 | 5781 1648.82/1649.27 c 1641s | 17 | 566149 | 218232 | 713047 0 | 2014 | 5781 1652.02/1652.47 c 1645s | 17 | 566660 | 218532 | 713047 0 | 2014 | 5781 1654.71/1655.14 c 1647s | 17 | 567163 | 218832 | 713047 0 | 2014 | 5781 1657.62/1658.01 c 1650s | 17 | 567620 | 219132 | 713047 0 | 2014 | 5781 1660.51/1660.91 c 1653s | 17 | 568125 | 219432 | 713047 0 | 2014 | 5781 1662.91/1663.39 c 1656s | 17 | 568620 | 219732 | 713047 0 | 2014 | 5781 1665.41/1665.81 c 1658s | 17 | 569213 | 220032 | 713047 0 | 2014 | 5781 1667.81/1668.20 c 1660s | 17 | 569731 | 220332 | 713047 0 | 2014 | 5781 1670.41/1670.80 c 1663s | 17 | 570283 | 220632 | 713047 0 | 2014 | 5781 1673.61/1674.09 c 1666s | 17 | 570785 | 220932 | 713047 0 | 2014 | 5781 1676.11/1676.50 c 1669s | 17 | 571357 | 221232 | 713047 0 | 2014 | 5781 1678.42/1678.87 c 1671s | 17 | 571871 | 221532 | 713047 0 | 2014 | 5781 1680.91/1681.33 c 1674s | 17 | 572370 | 221832 | 713047 0 | 2014 | 5781 1683.21/1683.64 c 1676s | 17 | 572884 | 222132 | 713047 0 | 2014 | 5781 1685.51/1685.94 c 1678s | 17 | 573398 | 222432 | 713047 0 | 2014 | 5781 1687.81/1688.24 c 1680s | 17 | 573913 | 222732 | 713047 0 | 2014 | 5781 1690.31/1690.73 c 1683s | 17 | 574411 | 223032 | 713047 0 | 2014 | 5781 1692.61/1693.05 c 1685s | 17 | 574912 | 223332 | 713047 0 | 2014 | 5781 1695.02/1695.43 c 1688s | 17 | 575430 | 223632 | 713047 0 | 2014 | 5781 1697.12/1697.58 c 1690s | 17 | 576194 | 223932 | 713047 0 | 2014 | 5781 1699.81/1700.21 c 1692s | 17 | 577120 | 224232 | 713047 0 | 2014 | 5781 1701.81/1702.23 c 1694s | 17 | 577562 | 224432 | 713047 0 | 2014 | 5781 1704.61/1705.08 c 1697s | 17 | 578147 | 224732 | 713047 0 | 2014 | 5781 1707.41/1707.88 c 1700s | 17 | 578698 | 225032 | 713047 0 | 2014 | 5781 1710.31/1710.71 c 1703s | 17 | 579191 | 225332 | 713047 0 | 2014 | 5781 1713.00/1713.45 c 1706s | 17 | 579697 | 225632 | 713047 0 | 2014 | 5781 1715.60/1716.01 c 1708s | 17 | 580176 | 225932 | 713047 0 | 2014 | 5781 1718.30/1718.75 c 1711s | 17 | 580622 | 226232 | 713047 0 | 2014 | 5781 1721.10/1721.58 c 1714s | 17 | 581036 | 226532 | 713047 0 | 2014 | 5781 1723.70/1724.19 c 1716s | 17 | 581464 | 226832 | 713047 0 | 2014 | 5781 1726.20/1726.62 c 1719s | 17 | 581962 | 227132 | 713047 0 | 2014 | 5781 1728.90/1729.37 c 1722s | 17 | 582548 | 227432 | 713047 0 | 2014 | 5781 1731.31/1731.71 c 1724s | 17 | 583045 | 227732 | 713047 0 | 2014 | 5781 1733.60/1734.00 c 1726s | 17 | 583549 | 228032 | 713047 0 | 2014 | 5781 1736.00/1736.49 c 1729s | 17 | 583995 | 228332 | 713047 0 | 2014 | 5781 1738.20/1738.60 c 1731s | 17 | 584256 | 228532 | 713047 0 | 2014 | 5781 1740.60/1741.08 c 1733s | 17 | 584784 | 228832 | 713047 0 | 2014 | 5781 1743.10/1743.58 c 1736s | 17 | 585283 | 229132 | 713047 0 | 2014 | 5781 1745.51/1745.98 c 1738s | 17 | 585729 | 229432 | 713047 0 | 2014 | 5781 1748.00/1748.46 c 1741s | 17 | 586187 | 229732 | 713047 0 | 2014 | 5781 1750.30/1750.76 c 1743s | 17 | 586707 | 230032 | 713047 0 | 2014 | 5781 1752.80/1753.30 c 1745s | 17 | 587207 | 230332 | 713047 0 | 2014 | 5781 1755.51/1755.94 c 1748s | 17 | 587706 | 230632 | 713047 0 | 2014 | 5781 1757.90/1758.34 c 1751s | 17 | 588199 | 230932 | 713047 0 | 2014 | 5781 1759.90/1760.38 c 1753s | 17 | 588466 | 231132 | 713047 0 | 2014 | 5781 1763.00/1763.44 c 1756s | 17 | 588992 | 231432 | 713047 0 | 2014 | 5781 1765.70/1766.12 c 1758s | 17 | 589505 | 231732 | 713047 0 | 2014 | 5781 1768.10/1768.55 c 1761s | 17 | 589957 | 232032 | 713047 0 | 2014 | 5781 1770.69/1771.15 c 1763s | 17 | 590412 | 232332 | 713047 0 | 2014 | 5781 1773.10/1773.59 c 1766s | 17 | 590895 | 232632 | 713047 0 | 2014 | 5781 1775.49/1775.94 c 1768s | 17 | 591390 | 232932 | 713047 0 | 2014 | 5781 1777.99/1778.49 c 1771s | 17 | 591853 | 233232 | 713047 0 | 2014 | 5781 1780.59/1781.04 c 1773s | 17 | 592308 | 233532 | 713047 0 | 2014 | 5781 1783.19/1783.61 c 1776s | 17 | 592705 | 233832 | 713047 0 | 2014 | 5781 1785.69/1786.11 c 1778s | 17 | 593250 | 234132 | 713047 0 | 2014 | 5781 1788.59/1789.00 c 1781s | 17 | 593683 | 234432 | 713047 0 | 2014 | 5781 1790.89/1791.30 c 1783s | 17 | 594130 | 234732 | 713047 0 | 2014 | 5781 1793.39/1793.89 c 1786s | 17 | 594588 | 235032 | 713047 0 | 2014 | 5781 1795.69/1796.19 c 1788s | 17 | 594894 | 235232 | 713047 0 | 2014 | 5781 1798.89/1799.38 c 1792s | 17 | 595410 | 235532 | 713047 0 | 2014 | 5781
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-4099711-1466206163/watcher-4099711-1466206163 -o /tmp/evaluation-result-4099711-1466206163/solver-4099711-1466206163 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11341 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099711-1466206163.opb pid=11713 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: 1.10 0.30 0.10 3/179 11716 /proc/meminfo: memFree=30651240/32872528 swapFree=249320/249320 [pid=11716] ppid=11713 vsize=783804 CPUtime=0 cores=1,3,5,7 /proc/11716/stat : 11716 (toysat) R 11713 11716 11324 0 -1 4202496 2937 0 0 0 0 0 0 0 20 0 4 0 22666770 802615296 2786 33554432000 4194304 16246674 140735521799184 140735521798608 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11716/statm: 196719 2796 441 2943 0 193613 0 [pid=11716/tid=11717] ppid=11713 vsize=802236 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11717/stat : 11717 (toysat) S 11713 11716 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22666770 821489664 2857 33554432000 4194304 16246674 140735521799184 139845314784496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11716/tid=11718] ppid=11713 vsize=806332 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11718/stat : 11718 (toysat) S 11713 11716 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22666770 825683968 2874 33554432000 4194304 16246674 140735521799184 139845304294640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11716/tid=11719] ppid=11713 vsize=810428 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11719/stat : 11719 (toysat) S 11713 11716 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22666770 829878272 2890 33554432000 4194304 16246674 140735521799184 139845293821104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100179 s] /proc/loadavg: 1.10 0.30 0.10 3/179 11716 /proc/meminfo: memFree=30651240/32872528 swapFree=249320/249320 [pid=11716] ppid=11713 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/11716/stat : 11716 (toysat) R 11713 11716 11324 0 -1 4202496 28781 0 0 0 5 4 0 0 20 0 4 0 22666770 1333334016 28569 33554432000 4194304 16246674 140735521799184 140735521798496 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11716/statm: 325521 28584 801 2943 0 322415 0 [pid=11716/tid=11717] ppid=11713 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11717/stat : 11717 (toysat) S 11713 11716 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22666770 1333334016 28596 33554432000 4194304 16246674 140735521799184 139845314784496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11716/tid=11718] ppid=11713 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11718/stat : 11718 (toysat) S 11713 11716 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22666770 1333334016 28607 33554432000 4194304 16246674 140735521799184 139845304294640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11716/tid=11719] ppid=11713 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11719/stat : 11719 (toysat) S 11713 11716 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22666770 1333334016 28618 33554432000 4194304 16246674 140735521799184 139845293821104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200545 s] /proc/loadavg: 1.10 0.30 0.10 3/179 11716 /proc/meminfo: memFree=30651240/32872528 swapFree=249320/249320 [pid=11716] ppid=11713 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/11716/stat : 11716 (toysat) R 11713 11716 11324 0 -1 4202496 46189 0 0 0 13 6 0 0 20 0 4 0 22666770 1344868352 46487 33554432000 4194304 16246674 140735521799184 140735521798496 7852851 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11716/statm: 328337 46487 801 2943 0 325231 0 [pid=11716/tid=11717] ppid=11713 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11717/stat : 11717 (toysat) S 11713 11716 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22666770 1344868352 46487 33554432000 4194304 16246674 140735521799184 139845314784496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11716/tid=11718] ppid=11713 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11718/stat : 11718 (toysat) S 11713 11716 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22666770 1344868352 46487 33554432000 4194304 16246674 140735521799184 139845304294640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11716/tid=11719] ppid=11713 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11719/stat : 11719 (toysat) S 11713 11716 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22666770 1344868352 46487 33554432000 4194304 16246674 140735521799184 139845293821104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.30051 s] /proc/loadavg: 1.10 0.30 0.10 3/179 11716 /proc/meminfo: memFree=30651240/32872528 swapFree=249320/249320 [pid=11716] ppid=11713 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/11716/stat : 11716 (toysat) R 11713 11716 11324 0 -1 4202496 55932 0 0 0 22 7 0 0 20 0 4 0 22666770 1344868352 56230 33554432000 4194304 16246674 140735521799184 140735521798496 13892702 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11716/statm: 328337 56230 801 2943 0 325231 0 [pid=11716/tid=11717] ppid=11713 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11717/stat : 11717 (toysat) S 11713 11716 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22666770 1344868352 56230 33554432000 4194304 16246674 140735521799184 139845314784496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11716/tid=11718] ppid=11713 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11718/stat : 11718 (toysat) S 11713 11716 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22666770 1344868352 56230 33554432000 4194304 16246674 140735521799184 139845304294640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11716/tid=11719] ppid=11713 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11719/stat : 11719 (toysat) S 11713 11716 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22666770 1344868352 56230 33554432000 4194304 16246674 140735521799184 139845293821104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700325 s] /proc/loadavg: 1.10 0.30 0.10 3/179 11716 /proc/meminfo: memFree=30651240/32872528 swapFree=249320/249320 [pid=11716] ppid=11713 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/11716/stat : 11716 (toysat) R 11713 11716 11324 0 -1 4202496 65483 0 0 0 61 8 0 0 20 0 4 0 22666770 1344868352 65781 33554432000 4194304 16246674 140735521799184 140735521798496 7383571 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11716/statm: 328337 65781 802 2943 0 325231 0 [pid=11716/tid=11717] ppid=11713 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11717/stat : 11717 (toysat) S 11713 11716 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22666770 1344868352 65781 33554432000 4194304 16246674 140735521799184 139845314784496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11716/tid=11718] ppid=11713 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11718/stat : 11718 (toysat) S 11713 11716 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22666770 1344868352 65781 33554432000 4194304 16246674 140735521799184 139845304294640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11716/tid=11719] ppid=11713 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11719/stat : 11719 (toysat) S 11713 11716 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22666770 1344868352 65781 33554432000 4194304 16246674 140735521799184 139845293821104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50035 s] /proc/loadavg: 1.10 0.30 0.10 3/183 11720 /proc/meminfo: memFree=30356760/32872528 swapFree=249320/249320 [pid=11716] ppid=11713 vsize=1313348 CPUtime=1.49 cores=1,3,5,7 /proc/11716/stat : 11716 (toysat) R 11713 11716 11324 0 -1 4202496 84082 0 0 0 138 11 0 0 20 0 4 0 22666770 1344868352 84380 33554432000 4194304 16246674 140735521799184 140735521796992 8058568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11716/statm: 328337 84380 802 2943 0 325231 0 [pid=11716/tid=11717] ppid=11713 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11717/stat : 11717 (toysat) S 11713 11716 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22666770 1344868352 84380 33554432000 4194304 16246674 140735521799184 139845314784496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11716/tid=11718] ppid=11713 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11718/stat : 11718 (toysat) S 11713 11716 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22666770 1344868352 84380 33554432000 4194304 16246674 140735521799184 139845304294640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11716/tid=11719] ppid=11713 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11719/stat : 11719 (toysat) S 11713 11716 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22666770 1344868352 84380 33554432000 4194304 16246674 140735521799184 139845293821104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.1004 s] /proc/loadavg: 1.10 0.30 0.10 3/183 11769 /proc/meminfo: memFree=31123488/32872528 swapFree=249320/249320 [pid=11716] ppid=11713 vsize=1349188 CPUtime=3.09 cores=1,3,5,7 /proc/11716/stat : 11716 (toysat) R 11713 11716 11324 0 -1 4202496 227835 0 0 0 278 31 0 0 20 0 4 0 22666770 1381568512 228134 33554432000 4194304 16246674 140735521799184 140735521781056 6740077 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11716/statm: 337297 228143 836 2943 0 334191 0 [pid=11716/tid=11717] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11717/stat : 11717 (toysat) S 11713 11716 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 228148 33554432000 4194304 16246674 140735521799184 139845314784496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11716/tid=11718] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11718/stat : 11718 (toysat) S 11713 11716 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 228154 33554432000 4194304 16246674 140735521799184 139845304294640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11716/tid=11719] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11719/stat : 11719 (toysat) S 11713 11716 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 228159 33554432000 4194304 16246674 140735521799184 139845293821104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1349188 [startup+6.30039 s] /proc/loadavg: 1.17 0.33 0.11 3/183 11769 /proc/meminfo: memFree=29515332/32872528 swapFree=249320/249320 [pid=11716] ppid=11713 vsize=1349188 CPUtime=6.29 cores=1,3,5,7 /proc/11716/stat : 11716 (toysat) R 11713 11716 11324 0 -1 4202496 277926 0 0 0 590 39 0 0 20 0 4 0 22666770 1381568512 278224 33554432000 4194304 16246674 140735521799184 140735521781056 4206664 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11716/statm: 337297 278224 847 2943 0 334191 0 [pid=11716/tid=11717] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11717/stat : 11717 (toysat) S 11713 11716 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 278224 33554432000 4194304 16246674 140735521799184 139845314784496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11716/tid=11718] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11718/stat : 11718 (toysat) S 11713 11716 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 278224 33554432000 4194304 16246674 140735521799184 139845304294640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11716/tid=11719] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11719/stat : 11719 (toysat) S 11713 11716 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 278224 33554432000 4194304 16246674 140735521799184 139845293821104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1349188 [startup+12.7004 s] /proc/loadavg: 1.24 0.36 0.12 3/183 11769 /proc/meminfo: memFree=29515312/32872528 swapFree=249320/249320 [pid=11716] ppid=11713 vsize=1349188 CPUtime=12.69 cores=1,3,5,7 /proc/11716/stat : 11716 (toysat) R 11713 11716 11324 0 -1 4202496 277969 0 0 0 1230 39 0 0 20 0 4 0 22666770 1381568512 278267 33554432000 4194304 16246674 140735521799184 140735521781056 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11716/statm: 337297 278267 888 2943 0 334191 0 [pid=11716/tid=11717] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11717/stat : 11717 (toysat) S 11713 11716 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 278267 33554432000 4194304 16246674 140735521799184 139845314784496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11716/tid=11718] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11718/stat : 11718 (toysat) S 11713 11716 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 278267 33554432000 4194304 16246674 140735521799184 139845304294640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11716/tid=11719] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11719/stat : 11719 (toysat) S 11713 11716 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 278267 33554432000 4194304 16246674 140735521799184 139845293821104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1349188 [startup+25.5004 s] /proc/loadavg: 1.41 0.44 0.15 3/176 11789 /proc/meminfo: memFree=30651400/32872528 swapFree=249320/249320 [pid=11716] ppid=11713 vsize=1349188 CPUtime=25.49 cores=1,3,5,7 /proc/11716/stat : 11716 (toysat) R 11713 11716 11324 0 -1 4202496 277970 0 0 0 2510 39 0 0 20 0 4 0 22666770 1381568512 278268 33554432000 4194304 16246674 140735521799184 140735521781056 13006100 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11716/statm: 337297 278268 888 2943 0 334191 0 [pid=11716/tid=11717] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11717/stat : 11717 (toysat) S 11713 11716 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 278268 33554432000 4194304 16246674 140735521799184 139845314784496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11716/tid=11718] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11718/stat : 11718 (toysat) S 11713 11716 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 278268 33554432000 4194304 16246674 140735521799184 139845304294640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11716/tid=11719] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11719/stat : 11719 (toysat) S 11713 11716 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 278268 33554432000 4194304 16246674 140735521799184 139845293821104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1349188 [startup+51.1004 s] /proc/loadavg: 1.61 0.56 0.20 3/184 11822 /proc/meminfo: memFree=28434664/32872528 swapFree=249320/249320 [pid=11716] ppid=11713 vsize=1349188 CPUtime=51.08 cores=1,3,5,7 /proc/11716/stat : 11716 (toysat) R 11713 11716 11324 0 -1 4202496 277973 0 0 0 5069 39 0 0 20 0 4 0 22666770 1381568512 278270 33554432000 4194304 16246674 140735521799184 140735521781056 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11716/statm: 337297 278270 888 2943 0 334191 0 [pid=11716/tid=11717] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11717/stat : 11717 (toysat) S 11713 11716 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 278270 33554432000 4194304 16246674 140735521799184 139845314784496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11716/tid=11718] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11718/stat : 11718 (toysat) S 11713 11716 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 278270 33554432000 4194304 16246674 140735521799184 139845304294640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11716/tid=11719] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11719/stat : 11719 (toysat) S 11713 11716 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 278270 33554432000 4194304 16246674 140735521799184 139845293821104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1349188 [startup+102.3 s] /proc/loadavg: 1.83 0.78 0.29 3/183 11823 /proc/meminfo: memFree=21312100/32872528 swapFree=249320/249320 [pid=11716] ppid=11713 vsize=1349188 CPUtime=102.26 cores=1,3,5,7 /proc/11716/stat : 11716 (toysat) R 11713 11716 11324 0 -1 4202496 277984 0 0 0 10187 39 0 0 20 0 4 0 22666770 1381568512 278271 33554432000 4194304 16246674 140735521799184 140735521781056 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11716/statm: 337297 278271 888 2943 0 334191 0 [pid=11716/tid=11717] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11717/stat : 11717 (toysat) S 11713 11716 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 278271 33554432000 4194304 16246674 140735521799184 139845314784496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11716/tid=11718] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11718/stat : 11718 (toysat) S 11713 11716 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 278271 33554432000 4194304 16246674 140735521799184 139845304294640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11716/tid=11719] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11719/stat : 11719 (toysat) S 11713 11716 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 278271 33554432000 4194304 16246674 140735521799184 139845293821104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1349188 ################ # More data... # ################ /proc/11716/task/11719/stat : 11719 (toysat) S 11713 11716 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 278276 33554432000 4194304 16246674 140735521799184 139845293821104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1349188 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.55 3/183 11854 /proc/meminfo: memFree=17698948/32872528 swapFree=249320/249320 [pid=11716] ppid=11713 vsize=1349188 CPUtime=1361.95 cores=1,3,5,7 /proc/11716/stat : 11716 (toysat) R 11713 11716 11324 0 -1 4202496 278225 0 0 0 136152 43 0 0 20 0 4 0 22666770 1381568512 278276 33554432000 4194304 16246674 140735521799184 140735521781056 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11716/statm: 337297 278276 892 2943 0 334191 0 [pid=11716/tid=11717] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11717/stat : 11717 (toysat) S 11713 11716 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 278276 33554432000 4194304 16246674 140735521799184 139845314784496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11716/tid=11718] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11718/stat : 11718 (toysat) S 11713 11716 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 278276 33554432000 4194304 16246674 140735521799184 139845304294640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11716/tid=11719] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11719/stat : 11719 (toysat) S 11713 11716 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 278276 33554432000 4194304 16246674 140735521799184 139845293821104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1349188 [startup+1422.3 s] /proc/loadavg: 2.04 2.01 1.58 3/182 11855 /proc/meminfo: memFree=17700352/32872528 swapFree=249320/249320 [pid=11716] ppid=11713 vsize=1349188 CPUtime=1421.94 cores=1,3,5,7 /proc/11716/stat : 11716 (toysat) R 11713 11716 11324 0 -1 4202496 278225 0 0 0 142151 43 0 0 20 0 4 0 22666770 1381568512 278276 33554432000 4194304 16246674 140735521799184 140735521781056 5823496 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11716/statm: 337297 278276 892 2943 0 334191 0 [pid=11716/tid=11717] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11717/stat : 11717 (toysat) S 11713 11716 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 278276 33554432000 4194304 16246674 140735521799184 139845314784496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11716/tid=11718] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11718/stat : 11718 (toysat) S 11713 11716 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 278276 33554432000 4194304 16246674 140735521799184 139845304294640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11716/tid=11719] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11719/stat : 11719 (toysat) S 11713 11716 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 278276 33554432000 4194304 16246674 140735521799184 139845293821104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1349188 [startup+1482.3 s] /proc/loadavg: 2.01 2.01 1.61 3/183 11857 /proc/meminfo: memFree=17699008/32872528 swapFree=249320/249320 [pid=11716] ppid=11713 vsize=1349188 CPUtime=1481.94 cores=1,3,5,7 /proc/11716/stat : 11716 (toysat) R 11713 11716 11324 0 -1 4202496 278225 0 0 0 148150 44 0 0 20 0 4 0 22666770 1381568512 278276 33554432000 4194304 16246674 140735521799184 140735521781056 6022640 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11716/statm: 337297 278276 892 2943 0 334191 0 [pid=11716/tid=11717] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11717/stat : 11717 (toysat) S 11713 11716 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 278276 33554432000 4194304 16246674 140735521799184 139845314784496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11716/tid=11718] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11718/stat : 11718 (toysat) S 11713 11716 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 278276 33554432000 4194304 16246674 140735521799184 139845304294640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11716/tid=11719] ppid=11713 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11719/stat : 11719 (toysat) S 11713 11716 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22666770 1381568512 278276 33554432000 4194304 16246674 140735521799184 139845293821104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 1349188 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.63 3/183 11858 /proc/meminfo: memFree=17681672/32872528 swapFree=249320/249320 [pid=11716] ppid=11713 vsize=1366596 CPUtime=1541.92 cores=1,3,5,7 /proc/11716/stat : 11716 (toysat) R 11713 11716 11324 0 -1 4202496 282577 0 0 0 154148 44 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 140735521781056 5677720 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11716/statm: 341649 282628 892 2943 0 338543 0 [pid=11716/tid=11717] ppid=11713 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11717/stat : 11717 (toysat) S 11713 11716 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 139845314784496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11716/tid=11718] ppid=11713 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11718/stat : 11718 (toysat) S 11713 11716 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 139845304294640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11716/tid=11719] ppid=11713 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11719/stat : 11719 (toysat) S 11713 11716 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 139845293821104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1366596 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.65 3/183 11860 /proc/meminfo: memFree=17681520/32872528 swapFree=249320/249320 [pid=11716] ppid=11713 vsize=1366596 CPUtime=1601.92 cores=1,3,5,7 /proc/11716/stat : 11716 (toysat) R 11713 11716 11324 0 -1 4202496 282577 0 0 0 160147 45 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 140735521781056 6837238 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11716/statm: 341649 282628 892 2943 0 338543 0 [pid=11716/tid=11717] ppid=11713 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11717/stat : 11717 (toysat) S 11713 11716 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 139845314784496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11716/tid=11718] ppid=11713 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11718/stat : 11718 (toysat) S 11713 11716 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 139845304294640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11716/tid=11719] ppid=11713 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11719/stat : 11719 (toysat) S 11713 11716 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 139845293821104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 1366596 [startup+1662.3 s] /proc/loadavg: 2.06 2.02 1.67 3/183 11861 /proc/meminfo: memFree=17680892/32872528 swapFree=249320/249320 [pid=11716] ppid=11713 vsize=1366596 CPUtime=1661.92 cores=1,3,5,7 /proc/11716/stat : 11716 (toysat) R 11713 11716 11324 0 -1 4202496 282577 0 0 0 166147 45 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 140735521781056 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11716/statm: 341649 282628 892 2943 0 338543 0 [pid=11716/tid=11717] ppid=11713 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11717/stat : 11717 (toysat) S 11713 11716 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 139845314784496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11716/tid=11718] ppid=11713 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11718/stat : 11718 (toysat) S 11713 11716 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 139845304294640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11716/tid=11719] ppid=11713 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11719/stat : 11719 (toysat) S 11713 11716 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 139845293821104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 1366596 [startup+1722.3 s] /proc/loadavg: 2.02 2.01 1.69 3/183 11862 /proc/meminfo: memFree=17680796/32872528 swapFree=249320/249320 [pid=11716] ppid=11713 vsize=1366596 CPUtime=1721.9 cores=1,3,5,7 /proc/11716/stat : 11716 (toysat) R 11713 11716 11324 0 -1 4202496 282577 0 0 0 172145 45 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 140735521781056 5659404 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11716/statm: 341649 282628 892 2943 0 338543 0 [pid=11716/tid=11717] ppid=11713 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11717/stat : 11717 (toysat) S 11713 11716 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 139845314784496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11716/tid=11718] ppid=11713 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11718/stat : 11718 (toysat) S 11713 11716 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 139845304294640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11716/tid=11719] ppid=11713 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11719/stat : 11719 (toysat) S 11713 11716 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 139845293821104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 1366596 [startup+1782.31 s] /proc/loadavg: 2.01 2.00 1.71 3/183 11863 /proc/meminfo: memFree=17680208/32872528 swapFree=249320/249320 [pid=11716] ppid=11713 vsize=1366596 CPUtime=1781.9 cores=1,3,5,7 /proc/11716/stat : 11716 (toysat) R 11713 11716 11324 0 -1 4202496 282577 0 0 0 178145 45 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 140735521781056 5717656 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11716/statm: 341649 282628 892 2943 0 338543 0 [pid=11716/tid=11717] ppid=11713 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11717/stat : 11717 (toysat) S 11713 11716 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 139845314784496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11716/tid=11718] ppid=11713 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11718/stat : 11718 (toysat) S 11713 11716 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 139845304294640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11716/tid=11719] ppid=11713 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11719/stat : 11719 (toysat) S 11713 11716 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 139845293821104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 1366596 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.00 2.00 1.71 3/183 11863 /proc/meminfo: memFree=17680428/32872528 swapFree=249320/249320 [pid=11716] ppid=11713 vsize=1366596 CPUtime=1800.09 cores=1,3,5,7 /proc/11716/stat : 11716 (toysat) R 11713 11716 11324 0 -1 4202496 282577 0 0 0 179964 45 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 140735521781056 5824735 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11716/statm: 341649 282628 892 2943 0 338543 0 [pid=11716/tid=11717] ppid=11713 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11717/stat : 11717 (toysat) S 11713 11716 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 139845314784496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11716/tid=11718] ppid=11713 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11718/stat : 11718 (toysat) S 11713 11716 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 139845304294640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11716/tid=11719] ppid=11713 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11719/stat : 11719 (toysat) S 11713 11716 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 139845293821104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1366596 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 11716 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.00 2.00 1.71 3/183 11863 /proc/meminfo: memFree=17680428/32872528 swapFree=249320/249320 [pid=11716] ppid=11713 vsize=1366596 CPUtime=1800.09 cores=1,3,5,7 /proc/11716/stat : 11716 (toysat) R 11713 11716 11324 0 -1 4202496 282577 0 0 0 179964 45 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 140735521781056 5824735 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11716/statm: 341649 282628 892 2943 0 338543 0 [pid=11716/tid=11717] ppid=11713 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11717/stat : 11717 (toysat) S 11713 11716 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 139845314784496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11716/tid=11718] ppid=11713 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11718/stat : 11718 (toysat) S 11713 11716 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 139845304294640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11716/tid=11719] ppid=11713 vsize=1366596 CPUtime=0 cores=1,3,5,7 /proc/11716/task/11719/stat : 11719 (toysat) S 11713 11716 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22666770 1399394304 282628 33554432000 4194304 16246674 140735521799184 139845293821104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1366596 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.1 CPU user time (s): 1799.65 CPU system time (s): 0.45393 CPU usage (%): 99.9775 Max. virtual memory (cumulated for all children) (KiB): 1366596 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.65 system time used= 0.45393 maximum resident set size= 1130512 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 282577 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= 278 involuntary context switches= 1838 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.46832 second user time and 7.07492 second system time The end
Begin job on node103 at 2016-06-18 01:29:24 IDJOB=4099711 IDBENCH=1489 IDSOLVER=2542 FILE ID=node103/4099711-1466206163 RUNJOBID= node103-1466206104-11341 PBS_JOBID= 19918169 Free space on /tmp= 71704 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099711-1466206163/watcher-4099711-1466206163 -o /tmp/evaluation-result-4099711-1466206163/solver-4099711-1466206163 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11341 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099711-1466206163.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8c486f10dc9ea0956b38d79189648654 RANDOM SEED=626764123 node103.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 : 2667.278 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 : 5334.55 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 : 2667.278 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 : 2667.278 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.55 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 : 2667.278 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 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 : 2667.278 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 : 2667.278 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.55 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 : 2667.278 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: 30651480 kB Buffers: 35800 kB Cached: 113924 kB SwapCached: 2456 kB Active: 1209616 kB Inactive: 57792 kB Active(anon): 1117836 kB Inactive(anon): 2272 kB Active(file): 91780 kB Inactive(file): 55520 kB Unevictable: 249320 kB Mlocked: 249320 kB SwapTotal: 67108856 kB SwapFree: 67099368 kB Dirty: 46660 kB Writeback: 0 kB AnonPages: 1369808 kB Mapped: 10704 kB Shmem: 0 kB Slab: 571156 kB SReclaimable: 14752 kB SUnreclaim: 556404 kB KernelStack: 1520 kB PageTables: 7144 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1506596 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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= 71572 MiB End job on node103 at 2016-06-18 01:59:24