Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.01 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_10_3.opb |
| MD5SUM | 8decd85a4aebca069c2c72faa547de31 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 11 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 11 |
| Optimality of the best value was proved | NO |
| Number of variables | 100 |
| Total number of constraints | 100 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 100 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 19 |
| Number of terms in the objective function | 100 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 100 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 1244 |
| Sum of products size (including duplicates) | 2488 |
| Number of different products | 1244 |
| Sum of products size | 2488 |
0.00/0.00 c 2016-06-18T20:35:02+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-4106631-1466274902.opb"] 0.00/0.01 c use --random-gen="2267380174 971607267 832814599 2825668447 4045791809 900128877 716622833 1093877816 610194031 3145148331 3604702152 2596448882 3805084639 872885995 2330034993 3319375545 1393985532 4158483938 676404276 1722919707 2731069396 3449245690 915859348 2485740882 691020079 1562076843 331198427 3433382018 2911715586 1393075164 47913344 2659182807 2730157832 719700837 1410265719 1886925460 693224241 3488412340 1822843359 3242260911 1820858967 1177764649 1207490556 240218602 3066342000 77849343 494034007 2344965379 1727236601 461012095 2758089070 2866779613 3949365090 1635796268 1184217004 1622249066 11919011 769765130 2922670449 2344693828 788362802 1884235894 56015161 4167563915 1145107213 2972318746 1807240270 2310004380 2673114994 819372016 1733931810 1804240994 1199692541 1251998037 28103849 1932546036 762465530 1465158483 1230926522 2229650187 1086774904 2455121928 2341314362 260687779 2140633631 1917112502 296490891 3683903038 1326791263 645647698 1988361068 4136303165 1677950625 2497170112 2736863130 3710570128 2439778775 206622463 2974603062 3391975905 2241315522 2925221778 3829114184 3325143207 1155774382 2894973006 1276410371 284937108 3294933359 646687612 3813600438 247127007 192958767 2633952771 1091491577 269319738 3767792186 2663628161 1319656527 3052290459 3659714643 3289063654 716853479 2736850992 2451643622 3718573212 2331279604 894158865 3374041342 2872103236 3795009193 2084230988 3016058132 2041684548 2445539170 3969617216 2407321624 785766287 823949249 2518596079 1062836589 2775550802 2554585402 105387416 3676949345 1293239279 1774867078 712874770 3418511161 412726159 534019351 968550369 829743055 3258302497 1784309524 3973682808 1573186662 2916812211 1827432970 1277445702 1981216263 4072426632 3130384480 1353207593 3641326185 2720468097 554107119 1724318689 522018551 1007321738 4234539950 2102299686 3285686309 1828003239 1781025464 4197125875 2938268261 3319316379 4194203263 698984557 3097204872 789145971 3908440869 2030608531 3664344381 957227500 2151043498 2003254308 1581471866 469411667 2106068336 4074169322 1839859941 920947941 3133647884 1952260012 2117259730 4033886261 593282670 2582229727 3203985727 944272363 1573405702 707423113 899448946 2533795029 2259664882 2560817539 3071886489 3604142987 1576795870 1851337216 1306188771 2092765104 3868345785 2069776431 647365738 1907806646 3934521175 4293835193 1747736125 88920322 2395428898 583102149 1212419746 2687096836 3267075305 890905341 454833754 4204409001 2559598481 3225598158 695544717 3100033620 3774794856 3047192833 188631486 2985517752 4111047899 2449212471 1201648877 115610827 771621489 3088993114 1871253092 870781384 1341278031 687103439 1585431457 531337929 2746159597 1270422626 2214495084 413070153 1791620931 3073064263 255 362436" option to reproduce the execution 0.00/0.01 c #vars 100 0.00/0.01 c #constraints 100 0.00/0.04 c BCD2: Hardening is enabled. 0.00/0.04 c BCD2: BiasedSearch is enabled. 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 1310 0 | 0 | 0 0.00/0.04 c 0.0s | 0 | 234 | 0 | 1310 0 | 0 | 0 0.00/0.04 c #cpu_time = 0.004s 0.00/0.04 c #wall_clock_time = 0.004s 0.00/0.04 c #decision = 234 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 o 78 0.00/0.04 c BCD2: updating upper bound: 100 -> 77 0.00/0.04 c BCD2: 0 <= obj <= 77 0.00/0.04 c BCD2: #cores=0, #unrelaxed=100, #relaxed=0, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 1310 0 | 0 | 0 0.00/0.04 c 0.0s | 0 | 76 | 0 | 1310 0 | 0 | 0 0.00/0.04 c #cpu_time = 0.002s 0.00/0.04 c #wall_clock_time = 0.002s 0.00/0.04 c #decision = 76 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 11: cost of the new core is >=1 0.00/0.04 c lower bound updated to 1 0.00/0.04 c BCD2: 1 <= obj <= 77 0.00/0.04 c BCD2: #cores=1, #unrelaxed=89, #relaxed=11, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 1310 0 | 0 | 0 0.00/0.05 c 0.0s | 0 | 73 | 0 | 1310 0 | 0 | 0 0.00/0.05 c #cpu_time = 0.002s 0.00/0.05 c #wall_clock_time = 0.002s 0.00/0.05 c #decision = 73 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 11: cost of the new core is >=1 0.00/0.05 c lower bound updated to 2 0.00/0.05 c BCD2: 2 <= obj <= 77 0.00/0.05 c BCD2: #cores=2, #unrelaxed=78, #relaxed=22, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 1310 0 | 0 | 0 0.00/0.05 c 0.0s | 0 | 74 | 0 | 1310 0 | 0 | 0 0.00/0.05 c #cpu_time = 0.002s 0.00/0.05 c #wall_clock_time = 0.002s 0.00/0.05 c #decision = 74 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 12: cost of the new core is >=1 0.00/0.05 c lower bound updated to 3 0.00/0.05 c BCD2: 3 <= obj <= 77 0.00/0.05 c BCD2: #cores=3, #unrelaxed=66, #relaxed=34, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 1310 0 | 0 | 0 0.00/0.05 c 0.0s | 0 | 213 | 0 | 1310 0 | 0 | 0 0.00/0.05 c #cpu_time = 0.003s 0.00/0.05 c #wall_clock_time = 0.003s 0.00/0.05 c #decision = 213 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 o 19 0.00/0.05 c BCD2: updating upper bound: 77 -> 18 0.00/0.05 c BCD2: 3 <= obj <= 18 0.00/0.05 c BCD2: #cores=3, #unrelaxed=66, #relaxed=34, #hardened=0 0.00/0.05 c BCD2: #sat=2 #unsat=4 bias=4/6 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 1310 0 | 0 | 1 0.00/0.06 c 0.0s | 0 | 75 | 4 | 1310 0 | 0 | 1 0.00/0.06 c #cpu_time = 0.004s 0.00/0.06 c #wall_clock_time = 0.004s 0.00/0.06 c #decision = 75 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 4 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: relaxing 49 and merging with 2 cores into a new core of size 71: cost of the new core is >=3 0.00/0.06 c lower bound updated to 4 0.00/0.06 c BCD2: 4 <= obj <= 18 0.00/0.06 c BCD2: #cores=2, #unrelaxed=17, #relaxed=83, #hardened=0 0.00/0.06 c BCD2: #sat=2 #unsat=5 bias=5/7 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 1310 0 | 5 | 1 0.09/0.12 c 0.1s | 1 | 376 | 100 | 1442 0 | 5 | 9 0.19/0.21 c 0.2s | 2 | 804 | 250 | 1587 0 | 5 | 9 0.29/0.30 c 0.2s | 2 | 1243 | 389 | 1587 0 | 5 | 9 0.29/0.30 c #cpu_time = 0.241s 0.29/0.30 c #wall_clock_time = 0.241s 0.29/0.30 c #decision = 1243 0.29/0.30 c #random_decision = 3 0.29/0.30 c #conflict = 389 0.29/0.30 c #restart = 2 0.29/0.30 o 14 0.29/0.30 c BCD2: updating upper bound: 18 -> 13 0.29/0.30 c BCD2: 4 <= obj <= 13 0.29/0.30 c BCD2: #cores=2, #unrelaxed=17, #relaxed=83, #hardened=0 0.29/0.30 c BCD2: #sat=3 #unsat=5 bias=5/8 0.29/0.30 c Solving starts ... 0.29/0.30 c ============================[ Search Statistics ]============================ 0.29/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.30 c | | | | Limit GC | Var | Constra 0.29/0.30 c ============================================================================= 0.29/0.30 c 0.0s | 0 | 0 | 0 | 1587 0 | 5 | 10 0.29/0.37 c 0.1s | 1 | 349 | 100 | 1746 0 | 5 | 10 0.39/0.46 c 0.2s | 2 | 742 | 250 | 1746 0 | 5 | 10 0.59/0.60 c 0.3s | 3 | 1597 | 475 | 1921 0 | 5 | 10 0.69/0.80 c 0.5s | 4 | 2607 | 813 | 1921 0 | 5 | 10 1.09/1.13 c 0.8s | 5 | 3998 | 1320 | 2114 0 | 5 | 10 1.40/1.49 c 1.2s | 6 | 6127 | 2081 | 2326 0 | 5 | 10 1.99/2.07 c 1.8s | 7 | 9179 | 3223 | 2559 1 | 5 | 10 2.89/2.93 c 2.6s | 8 | 13795 | 4936 | 2815 2 | 5 | 10 4.19/4.21 c 3.9s | 9 | 19707 | 7506 | 3097 4 | 5 | 10 6.09/6.11 c 5.8s | 10 | 29288 | 11361 | 3407 6 | 5 | 10 8.09/8.15 c 7.8s | 10 | 39983 | 15461 | 3407 8 | 5 | 10 8.89/8.94 c 8.6s | 11 | 44380 | 17144 | 3748 8 | 5 | 10 10.89/10.95 c 10.6s | 11 | 54563 | 21044 | 3748 10 | 5 | 10 12.89/12.97 c 12.7s | 11 | 65452 | 25244 | 3748 12 | 5 | 10 13.29/13.32 c 13.0s | 12 | 67001 | 25819 | 4123 12 | 5 | 10 15.29/15.35 c 15.0s | 12 | 76839 | 29819 | 4123 14 | 5 | 10 17.29/17.35 c 17.1s | 12 | 86044 | 33719 | 4123 16 | 5 | 10 19.29/19.36 c 19.1s | 12 | 96130 | 37719 | 4123 18 | 5 | 10 19.89/19.90 c 19.6s | 13 | 98994 | 38832 | 4536 18 | 5 | 10 21.89/21.92 c 21.6s | 13 | 109021 | 42932 | 4536 20 | 5 | 10 23.89/24.00 c 23.7s | 13 | 118499 | 47032 | 4536 21 | 5 | 10 25.99/26.00 c 25.7s | 13 | 128653 | 50932 | 4536 23 | 5 | 10 27.98/28.03 c 27.7s | 13 | 138173 | 55032 | 4536 25 | 5 | 10 29.58/29.65 c 29.3s | 14 | 146665 | 58352 | 4990 26 | 5 | 10 31.58/31.68 c 31.4s | 14 | 155840 | 62252 | 4990 27 | 5 | 10 33.68/33.72 c 33.4s | 14 | 165461 | 66052 | 4990 29 | 5 | 10 35.68/35.74 c 35.4s | 14 | 175850 | 70152 | 4990 30 | 5 | 10 37.69/37.78 c 37.5s | 14 | 185782 | 74052 | 4990 32 | 5 | 10 39.79/39.83 c 39.5s | 14 | 195057 | 77852 | 4990 33 | 5 | 10 41.78/41.85 c 41.5s | 14 | 205036 | 81752 | 4990 34 | 5 | 10 43.78/43.87 c 43.6s | 14 | 214575 | 85652 | 4990 36 | 5 | 10 44.78/44.89 c 44.6s | 15 | 219274 | 87632 | 5489 36 | 5 | 10 46.88/46.92 c 46.6s | 15 | 228160 | 91132 | 5489 38 | 5 | 10 48.88/48.95 c 48.6s | 15 | 236917 | 94832 | 5489 39 | 5 | 10 50.98/51.00 c 50.7s | 15 | 247098 | 98732 | 5489 40 | 5 | 10 52.98/53.01 c 52.7s | 15 | 255375 | 102132 | 5489 41 | 5 | 10 54.98/55.06 c 54.8s | 15 | 266073 | 106132 | 5489 43 | 5 | 10 56.98/57.09 c 56.8s | 15 | 276713 | 110032 | 5489 44 | 5 | 10 59.09/59.13 c 58.8s | 15 | 287371 | 113932 | 5489 45 | 5 | 10 61.09/61.17 c 60.9s | 15 | 297839 | 117632 | 5489 47 | 5 | 10 63.19/63.28 c 63.0s | 15 | 308125 | 121732 | 5489 48 | 5 | 10 65.29/65.31 c 65.0s | 15 | 317672 | 125432 | 5489 49 | 5 | 10 67.29/67.34 c 67.0s | 15 | 326657 | 129032 | 5489 50 | 5 | 10 68.68/68.71 c 68.4s | 16 | 333202 | 131552 | 6038 51 | 5 | 10 70.69/70.72 c 70.4s | 16 | 342464 | 135052 | 6038 52 | 5 | 10 72.68/72.74 c 72.4s | 16 | 352489 | 139052 | 6038 53 | 5 | 10 74.68/74.79 c 74.5s | 16 | 362766 | 142852 | 6038 55 | 5 | 10 76.78/76.86 c 76.6s | 16 | 372497 | 146752 | 6038 56 | 5 | 10 78.78/78.88 c 78.6s | 16 | 381835 | 150552 | 6038 57 | 5 | 10 80.88/80.91 c 80.6s | 16 | 391227 | 154552 | 6038 58 | 5 | 10 82.88/82.93 c 82.6s | 16 | 401748 | 158452 | 6038 59 | 5 | 10 84.89/84.95 c 84.6s | 16 | 410667 | 162152 | 6038 61 | 5 | 10 86.88/86.95 c 86.6s | 16 | 418733 | 165452 | 6038 62 | 5 | 10 88.88/88.98 c 88.7s | 16 | 427137 | 169152 | 6038 63 | 5 | 10 90.98/91.00 c 90.7s | 16 | 436251 | 172852 | 6038 64 | 5 | 10 92.98/93.00 c 92.7s | 16 | 445825 | 176352 | 6038 65 | 5 | 10 94.98/95.02 c 94.7s | 16 | 456042 | 180352 | 6038 66 | 5 | 10 96.99/97.04 c 96.7s | 16 | 466457 | 184452 | 6038 67 | 5 | 10 98.98/99.06 c 98.8s | 16 | 476259 | 188252 | 6038 69 | 5 | 10 101.08/101.10 c 100s | 16 | 486331 | 192052 | 6038 70 | 5 | 10 103.08/103.11 c 102s | 16 | 495839 | 195652 | 6038 71 | 5 | 10 103.98/104.08 c 103s | 17 | 500406 | 197432 | 6642 71 | 5 | 10 106.08/106.14 c 105s | 17 | 508855 | 200832 | 6642 72 | 5 | 10 108.08/108.18 c 107s | 17 | 517602 | 204432 | 6642 73 | 5 | 10 110.18/110.23 c 109s | 17 | 525357 | 208032 | 6642 74 | 5 | 10 112.17/112.26 c 111s | 17 | 534258 | 211532 | 6642 75 | 5 | 10 114.27/114.30 c 113s | 17 | 542515 | 215232 | 6642 76 | 5 | 10 116.27/116.33 c 116s | 17 | 551525 | 218832 | 6642 77 | 5 | 10 118.27/118.37 c 118s | 17 | 561227 | 222632 | 6642 78 | 5 | 10 120.27/120.39 c 120s | 17 | 570458 | 226432 | 6642 79 | 5 | 10 122.28/122.40 c 122s | 17 | 579107 | 230232 | 6642 81 | 5 | 10 124.37/124.41 c 124s | 17 | 587449 | 234032 | 6642 82 | 5 | 10 126.37/126.42 c 126s | 17 | 596296 | 237632 | 6642 83 | 5 | 10 128.37/128.46 c 128s | 17 | 604836 | 241332 | 6642 84 | 5 | 10 130.37/130.47 c 130s | 17 | 613983 | 244832 | 6642 85 | 5 | 10 132.37/132.48 c 132s | 17 | 621473 | 247832 | 6642 86 | 5 | 10 134.37/134.50 c 134s | 17 | 631086 | 251732 | 6642 87 | 5 | 10 136.47/136.50 c 136s | 17 | 640233 | 255632 | 6642 88 | 5 | 10 138.47/138.51 c 138s | 17 | 648874 | 259132 | 6642 89 | 5 | 10 140.47/140.53 c 140s | 17 | 658277 | 262832 | 6642 90 | 5 | 10 142.47/142.56 c 142s | 17 | 667232 | 266632 | 6642 91 | 5 | 10 144.47/144.56 c 144s | 17 | 675753 | 270232 | 6642 92 | 5 | 10 146.57/146.60 c 146s | 17 | 685217 | 274032 | 6642 93 | 5 | 10 148.57/148.68 c 148s | 17 | 693920 | 277732 | 6642 94 | 5 | 10 150.56/150.69 c 150s | 17 | 703841 | 281432 | 6642 95 | 5 | 10 152.66/152.74 c 152s | 17 | 713105 | 285132 | 6642 96 | 5 | 10 154.66/154.74 c 154s | 17 | 721164 | 288632 | 6642 97 | 5 | 10 156.66/156.77 c 156s | 17 | 730066 | 292332 | 6642 98 | 5 | 10 158.76/158.80 c 158s | 17 | 739735 | 296132 | 7307 99 | 5 | 10 158.76/158.87 c 158s | 18 | 740045 | 296252 | 7307 99 | 5 | 10 160.87/160.91 c 160s | 18 | 747404 | 299552 | 7307 100 | 5 | 10 162.87/162.95 c 162s | 18 | 756015 | 303352 | 7307 101 | 5 | 10 164.87/164.98 c 164s | 18 | 765215 | 307152 | 7307 102 | 5 | 10 166.97/167.02 c 166s | 18 | 773321 | 310352 | 7307 103 | 5 | 10 168.97/169.04 c 168s | 18 | 782397 | 314252 | 7307 104 | 5 | 10 171.07/171.10 c 170s | 18 | 790815 | 318052 | 7307 105 | 5 | 10 173.07/173.10 c 172s | 18 | 800033 | 321552 | 7307 105 | 5 | 10 175.07/175.11 c 174s | 18 | 809220 | 325352 | 7307 106 | 5 | 10 177.07/177.13 c 176s | 18 | 818276 | 329252 | 7307 107 | 5 | 10 179.07/179.15 c 178s | 18 | 828003 | 333352 | 7307 108 | 5 | 10 181.06/181.19 c 180s | 18 | 836604 | 336952 | 7307 109 | 5 | 10 183.16/183.24 c 182s | 18 | 846020 | 340752 | 7307 110 | 5 | 10 185.16/185.29 c 184s | 18 | 853669 | 344252 | 7307 111 | 5 | 10 187.27/187.35 c 187s | 18 | 861321 | 347752 | 7307 112 | 5 | 10 189.26/189.35 c 189s | 18 | 869357 | 351352 | 7307 113 | 5 | 10 191.26/191.37 c 191s | 18 | 877238 | 354752 | 7307 114 | 5 | 10 193.36/193.42 c 193s | 18 | 884445 | 357852 | 7307 115 | 5 | 10 195.36/195.48 c 195s | 18 | 891627 | 361152 | 7307 116 | 5 | 10 197.46/197.50 c 197s | 18 | 899953 | 364652 | 7307 116 | 5 | 10 199.46/199.56 c 199s | 18 | 908785 | 368452 | 7307 117 | 5 | 10 201.46/201.58 c 201s | 18 | 916469 | 371552 | 7307 118 | 5 | 10 203.56/203.62 c 203s | 18 | 925109 | 375152 | 7307 119 | 5 | 10 205.56/205.63 c 205s | 18 | 933515 | 378852 | 7307 120 | 5 | 10 207.56/207.65 c 207s | 18 | 941558 | 382152 | 7307 121 | 5 | 10 209.56/209.69 c 209s | 18 | 951111 | 385752 | 7307 122 | 5 | 10 211.66/211.72 c 211s | 18 | 959031 | 389152 | 7307 123 | 5 | 10 213.66/213.73 c 213s | 18 | 968178 | 392752 | 7307 124 | 5 | 10 215.65/215.75 c 215s | 18 | 976866 | 396152 | 7307 125 | 5 | 10 217.75/217.82 c 217s | 18 | 985274 | 399752 | 7307 126 | 5 | 10 219.75/219.88 c 219s | 18 | 993538 | 403352 | 7307 126 | 5 | 10 221.85/221.91 c 221s | 18 | 1001606 | 406752 | 7307 127 | 5 | 10 223.85/223.96 c 223s | 18 | 1010514 | 410352 | 7307 128 | 5 | 10 225.85/225.96 c 225s | 18 | 1019194 | 413852 | 7307 129 | 5 | 10 227.86/227.97 c 227s | 18 | 1027232 | 417252 | 7307 130 | 5 | 10 229.85/229.99 c 229s | 18 | 1034354 | 420252 | 7307 131 | 5 | 10 231.95/232.00 c 231s | 18 | 1042498 | 423752 | 7307 132 | 5 | 10 233.95/234.04 c 233s | 18 | 1051847 | 427552 | 7307 133 | 5 | 10 235.95/236.06 c 235s | 18 | 1062405 | 431752 | 7307 134 | 5 | 10 238.05/238.11 c 237s | 18 | 1071339 | 435452 | 7307 135 | 5 | 10 240.06/240.13 c 239s | 18 | 1079624 | 438852 | 7307 136 | 5 | 10 242.06/242.15 c 241s | 18 | 1088840 | 442752 | 8038 136 | 5 | 10 242.96/243.07 c 242s | 19 | 1093214 | 444482 | 8038 137 | 5 | 10 245.06/245.14 c 244s | 19 | 1100442 | 447382 | 8038 137 | 5 | 10 247.16/247.21 c 246s | 19 | 1109836 | 450882 | 8038 138 | 5 | 10 249.16/249.21 c 248s | 19 | 1119288 | 454482 | 8038 139 | 5 | 10 251.16/251.25 c 250s | 19 | 1128596 | 458282 | 8038 140 | 5 | 10 253.16/253.28 c 252s | 19 | 1136675 | 461582 | 8038 141 | 5 | 10 255.26/255.34 c 255s | 19 | 1144376 | 464882 | 8038 142 | 5 | 10 257.26/257.38 c 257s | 19 | 1152597 | 468282 | 8038 142 | 5 | 10 259.36/259.43 c 259s | 19 | 1161567 | 471782 | 8038 143 | 5 | 10 261.36/261.47 c 261s | 19 | 1170707 | 475382 | 8038 144 | 5 | 10 263.46/263.51 c 263s | 19 | 1178653 | 478882 | 8038 145 | 5 | 10 265.45/265.53 c 265s | 19 | 1187017 | 482282 | 8038 146 | 5 | 10 267.46/267.56 c 267s | 19 | 1194314 | 484982 | 8038 146 | 5 | 10 269.55/269.60 c 269s | 19 | 1202511 | 488282 | 8038 147 | 5 | 10 271.55/271.62 c 271s | 19 | 1211931 | 491982 | 8038 148 | 5 | 10 273.55/273.62 c 273s | 19 | 1220469 | 495182 | 8038 149 | 5 | 10 275.55/275.64 c 275s | 19 | 1228667 | 498582 | 8038 149 | 5 | 10 277.55/277.69 c 277s | 19 | 1236607 | 501782 | 8038 150 | 5 | 10 279.66/279.73 c 279s | 19 | 1244518 | 505082 | 8038 151 | 5 | 10 281.65/281.78 c 281s | 19 | 1252884 | 508682 | 8038 152 | 5 | 10 283.75/283.83 c 283s | 19 | 1260326 | 512082 | 8038 153 | 5 | 10 285.75/285.89 c 285s | 19 | 1268841 | 515382 | 8038 153 | 5 | 10 287.85/287.92 c 287s | 19 | 1277388 | 518782 | 8038 154 | 5 | 10 289.85/289.93 c 289s | 19 | 1285135 | 522082 | 8038 155 | 5 | 10 291.85/291.97 c 291s | 19 | 1292487 | 525482 | 8038 156 | 5 | 10 293.96/294.06 c 293s | 19 | 1299965 | 528782 | 8038 157 | 5 | 10 295.95/296.10 c 295s | 19 | 1307197 | 531782 | 8038 157 | 5 | 10 298.05/298.15 c 297s | 19 | 1315458 | 535182 | 8038 158 | 5 | 10 300.05/300.19 c 299s | 19 | 1323457 | 538782 | 8038 159 | 5 | 10 302.15/302.23 c 301s | 19 | 1330703 | 541782 | 8038 160 | 5 | 10 304.15/304.24 c 303s | 19 | 1339247 | 545182 | 8038 160 | 5 | 10 306.15/306.24 c 305s | 19 | 1347944 | 548582 | 8038 161 | 5 | 10 308.15/308.26 c 307s | 19 | 1355995 | 551982 | 8038 162 | 5 | 10 310.15/310.29 c 309s | 19 | 1364137 | 555382 | 8038 163 | 5 | 10 312.25/312.33 c 312s | 19 | 1371812 | 558782 | 8038 164 | 5 | 10 314.25/314.33 c 314s | 19 | 1379969 | 562182 | 8038 164 | 5 | 10 316.24/316.36 c 316s | 19 | 1388692 | 565782 | 8038 165 | 5 | 10 318.34/318.40 c 318s | 19 | 1397237 | 569282 | 8038 166 | 5 | 10 320.35/320.45 c 320s | 19 | 1405011 | 572782 | 8038 167 | 5 | 10 322.34/322.47 c 322s | 19 | 1411766 | 575682 | 8038 168 | 5 | 10 324.34/324.48 c 324s | 19 | 1420441 | 579282 | 8038 168 | 5 | 10 326.34/326.48 c 326s | 19 | 1428272 | 582682 | 8038 169 | 5 | 10 328.34/328.49 c 328s | 19 | 1437024 | 586382 | 8038 170 | 5 | 10 330.44/330.52 c 330s | 19 | 1446334 | 590182 | 8038 171 | 5 | 10 332.45/332.54 c 332s | 19 | 1454735 | 593782 | 8038 172 | 5 | 10 334.44/334.58 c 334s | 19 | 1462923 | 597282 | 8038 173 | 5 | 10 336.54/336.62 c 336s | 19 | 1471008 | 600682 | 8038 173 | 5 | 10 338.54/338.63 c 338s | 19 | 1479192 | 604182 | 8038 174 | 5 | 10 340.54/340.68 c 340s | 19 | 1488040 | 607882 | 8038 175 | 5 | 10 342.64/342.75 c 342s | 19 | 1495990 | 611382 | 8038 176 | 5 | 10 344.64/344.79 c 344s | 19 | 1504964 | 615082 | 8038 177 | 5 | 10 346.75/346.81 c 346s | 19 | 1513956 | 618682 | 8038 178 | 5 | 10 348.74/348.82 c 348s | 19 | 1522363 | 622282 | 8038 178 | 5 | 10 350.74/350.83 c 350s | 19 | 1530565 | 625982 | 8038 179 | 5 | 10 352.73/352.89 c 352s | 19 | 1536787 | 628682 | 8038 180 | 5 | 10 354.83/354.94 c 354s | 19 | 1544445 | 631982 | 8038 181 | 5 | 10 356.83/356.98 c 356s | 19 | 1552892 | 635582 | 8038 182 | 5 | 10 358.84/358.98 c 358s | 19 | 1560671 | 639182 | 8038 182 | 5 | 10 360.94/361.01 c 360s | 19 | 1569134 | 642782 | 8038 183 | 5 | 10 362.93/363.03 c 362s | 19 | 1576940 | 646182 | 8038 184 | 5 | 10 364.93/365.07 c 364s | 19 | 1585331 | 649782 | 8038 185 | 5 | 10 367.03/367.11 c 366s | 19 | 1594389 | 653382 | 8038 186 | 5 | 10 369.03/369.14 c 368s | 19 | 1602557 | 656682 | 8038 186 | 5 | 10 371.03/371.14 c 370s | 19 | 1611904 | 660382 | 8038 187 | 5 | 10 373.04/373.19 c 372s | 19 | 1618808 | 663482 | 8842 188 | 5 | 10 375.13/375.20 c 374s | 19 | 1625998 | 666682 | 8842 189 | 5 | 10 375.13/375.29 c 374s | 20 | 1626250 | 666827 | 8842 189 | 5 | 10 377.13/377.29 c 376s | 20 | 1632644 | 669627 | 8842 189 | 5 | 10 379.13/379.29 c 378s | 20 | 1639713 | 672727 | 8842 190 | 5 | 10 381.23/381.30 c 381s | 20 | 1646331 | 675827 | 8842 191 | 5 | 10 383.23/383.36 c 383s | 20 | 1653061 | 678927 | 8842 191 | 5 | 10 383.63/383.79 c 383s | 20 | 1654433 | 679577 | 8842 191 | 5 | 10 383.63/383.79 c #cpu_time = 383.482s 383.63/383.79 c #wall_clock_time = 383.484s 383.63/383.79 c #decision = 1654433 383.63/383.79 c #random_decision = 5170 383.63/383.79 c #conflict = 679577 383.63/383.79 c #restart = 20 383.63/383.79 c BCD2: relaxing 17 and merging with 2 cores into a new core of size 100: cost of the new core is >=5 383.63/383.79 c lower bound updated to 5 383.63/383.79 c BCD2: 5 <= obj <= 13 383.63/383.79 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0 383.63/383.79 c BCD2: #sat=3 #unsat=6 bias=6/9 383.63/383.79 c Solving starts ... 383.63/383.79 c ============================[ Search Statistics ]============================ 383.63/383.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 383.63/383.79 c | | | | Limit GC | Var | Constra 383.63/383.79 c ============================================================================= 383.63/383.79 c 0.0s | 0 | 0 | 0 | 8842 0 | 10 | 10 383.93/384.00 c 0.2s | 1 | 338 | 100 | 8842 0 | 10 | 18 384.23/384.40 c 0.6s | 2 | 938 | 250 | 8842 0 | 10 | 18 384.53/384.66 c 0.9s | 3 | 1582 | 475 | 8842 0 | 10 | 18 384.83/384.99 c 1.2s | 4 | 2651 | 813 | 8842 0 | 10 | 18 385.14/385.28 c 1.5s | 5 | 4118 | 1320 | 8842 0 | 10 | 18 385.63/385.71 c 1.9s | 6 | 6350 | 2081 | 8842 0 | 10 | 18 386.23/386.40 c 2.6s | 7 | 9107 | 3223 | 8842 0 | 10 | 18 387.23/387.40 c 3.6s | 8 | 13447 | 4936 | 8842 0 | 10 | 18 389.03/389.17 c 5.4s | 9 | 20730 | 7506 | 8842 0 | 10 | 18 391.14/391.22 c 7.4s | 9 | 28330 | 10306 | 8842 1 | 10 | 18 391.74/391.90 c 8.1s | 10 | 31024 | 11361 | 8842 1 | 10 | 18 393.84/393.95 c 10.2s | 10 | 38892 | 14361 | 8842 2 | 10 | 18 395.63/395.80 c 12.0s | 11 | 45779 | 17144 | 8842 2 | 10 | 18 397.73/397.86 c 14.1s | 11 | 53339 | 19944 | 8842 3 | 10 | 18 399.73/399.88 c 16.1s | 11 | 61123 | 22844 | 8842 4 | 10 | 18 401.74/401.86 c 18.1s | 12 | 69608 | 25819 | 8842 4 | 10 | 18 403.84/403.91 c 20.1s | 12 | 78119 | 28819 | 8842 5 | 10 | 18 405.83/405.99 c 22.2s | 12 | 85898 | 31919 | 8842 6 | 10 | 18 407.93/408.03 c 24.2s | 12 | 93892 | 34919 | 8842 6 | 10 | 18 409.93/410.04 c 26.2s | 12 | 101855 | 37819 | 8842 7 | 10 | 18 410.54/410.66 c 26.9s | 13 | 104514 | 38832 | 8842 7 | 10 | 18 412.64/412.71 c 28.9s | 13 | 112863 | 41832 | 8842 8 | 10 | 18 414.63/414.72 c 30.9s | 13 | 120631 | 44732 | 8842 8 | 10 | 18 416.63/416.72 c 32.9s | 13 | 129373 | 47732 | 8842 9 | 10 | 18 418.63/418.73 c 34.9s | 13 | 137105 | 50632 | 8842 10 | 10 | 18 420.63/420.79 c 37.0s | 13 | 145155 | 53732 | 8842 10 | 10 | 18 422.73/422.84 c 39.1s | 13 | 153649 | 56932 | 8842 11 | 10 | 18 423.64/423.72 c 39.9s | 14 | 157550 | 58352 | 8842 11 | 10 | 18 425.63/425.73 c 41.9s | 14 | 165687 | 61552 | 8842 12 | 10 | 18 427.63/427.74 c 44.0s | 14 | 173585 | 64852 | 8842 13 | 10 | 18 429.63/429.78 c 46.0s | 14 | 180638 | 67652 | 8842 13 | 10 | 18 431.73/431.83 c 48.0s | 14 | 187809 | 70552 | 8842 14 | 10 | 18 433.73/433.88 c 50.1s | 14 | 194822 | 73252 | 8842 15 | 10 | 18 435.73/435.90 c 52.1s | 14 | 203290 | 76252 | 8842 15 | 10 | 18 437.82/437.92 c 54.1s | 14 | 211289 | 79052 | 8842 16 | 10 | 18 439.82/439.95 c 56.2s | 14 | 219447 | 82052 | 8842 16 | 10 | 18 441.82/441.99 c 58.2s | 14 | 227352 | 85052 | 8842 17 | 10 | 18 443.62/443.77 c 60.0s | 15 | 234367 | 87632 | 8842 18 | 10 | 18 445.63/445.77 c 62.0s | 15 | 242165 | 90632 | 8842 18 | 10 | 18 447.72/447.83 c 64.0s | 15 | 250445 | 93832 | 8842 19 | 10 | 18 449.72/449.87 c 66.1s | 15 | 258325 | 97032 | 8842 20 | 10 | 18 451.82/451.98 c 68.2s | 15 | 265814 | 99732 | 8842 20 | 10 | 18 453.92/454.04 c 70.2s | 15 | 274420 | 102732 | 8842 21 | 10 | 18 456.02/456.12 c 72.3s | 15 | 282150 | 105532 | 8842 22 | 10 | 18 458.02/458.13 c 74.3s | 15 | 290047 | 108432 | 8842 22 | 10 | 18 460.03/460.18 c 76.4s | 15 | 299241 | 111632 | 8842 23 | 10 | 18 462.12/462.24 c 78.4s | 15 | 307427 | 114632 | 8842 24 | 10 | 18 464.12/464.25 c 80.5s | 15 | 315842 | 117832 | 8842 24 | 10 | 18 466.12/466.27 c 82.5s | 15 | 323935 | 120932 | 8842 25 | 10 | 18 468.12/468.28 c 84.5s | 15 | 331934 | 123932 | 8842 26 | 10 | 18 470.22/470.32 c 86.5s | 15 | 341150 | 127232 | 8842 26 | 10 | 18 472.42/472.58 c 88.8s | 15 | 349125 | 130332 | 8842 27 | 10 | 18 473.42/473.60 c 89.8s | 16 | 352325 | 131552 | 8842 27 | 10 | 18 475.52/475.60 c 91.8s | 16 | 359554 | 134352 | 8842 28 | 10 | 18 477.52/477.66 c 93.9s | 16 | 367161 | 137252 | 8842 29 | 10 | 18 479.52/479.66 c 95.9s | 16 | 375393 | 140152 | 8842 29 | 10 | 18 481.51/481.67 c 97.9s | 16 | 382539 | 142752 | 8842 30 | 10 | 18 483.61/483.71 c 99.9s | 16 | 389958 | 145652 | 8842 30 | 10 | 18 485.61/485.77 c 101s | 16 | 398007 | 148652 | 8842 31 | 10 | 18 487.61/487.78 c 103s | 16 | 405264 | 151452 | 8842 32 | 10 | 18 489.62/489.80 c 106s | 16 | 412644 | 154452 | 8842 32 | 10 | 18 491.71/491.87 c 108s | 16 | 420065 | 157452 | 8842 33 | 10 | 18 493.81/493.91 c 110s | 16 | 427040 | 160052 | 8842 34 | 10 | 18 495.81/495.92 c 112s | 16 | 434422 | 162852 | 8842 34 | 10 | 18 497.81/497.99 c 114s | 16 | 442685 | 165852 | 8842 35 | 10 | 18 499.91/500.01 c 116s | 16 | 450345 | 168852 | 8842 35 | 10 | 18 501.91/502.05 c 118s | 16 | 458530 | 171852 | 8842 36 | 10 | 18 503.92/504.06 c 120s | 16 | 466160 | 174752 | 8842 37 | 10 | 18 505.91/506.07 c 122s | 16 | 474131 | 177652 | 8842 37 | 10 | 18 507.91/508.09 c 124s | 16 | 481517 | 180552 | 8842 38 | 10 | 18 510.01/510.12 c 126s | 16 | 488733 | 183452 | 8842 39 | 10 | 18 512.02/512.12 c 128s | 16 | 496619 | 186052 | 8842 39 | 10 | 18 514.12/514.20 c 130s | 16 | 504519 | 188952 | 8842 40 | 10 | 18 516.12/516.25 c 132s | 16 | 512565 | 191852 | 8842 40 | 10 | 18 518.12/518.26 c 134s | 16 | 520422 | 194652 | 8842 41 | 10 | 18 520.12/520.26 c 136s | 16 | 528057 | 197352 | 8842 42 | 10 | 18 520.22/520.31 c 136s | 17 | 528238 | 197432 | 8842 42 | 10 | 18 522.22/522.38 c 138s | 17 | 535599 | 200432 | 8842 42 | 10 | 18 524.32/524.44 c 140s | 17 | 543492 | 203332 | 8842 43 | 10 | 18 526.32/526.47 c 142s | 17 | 551155 | 206232 | 8842 44 | 10 | 18 528.31/528.48 c 144s | 17 | 559257 | 209532 | 8842 44 | 10 | 18 530.42/530.54 c 146s | 17 | 567275 | 212632 | 8842 45 | 10 | 18 532.41/532.54 c 148s | 17 | 574469 | 215432 | 8842 46 | 10 | 18 534.41/534.55 c 150s | 17 | 582894 | 218632 | 8842 46 | 10 | 18 536.41/536.57 c 152s | 17 | 590930 | 221732 | 8842 47 | 10 | 18 538.41/538.59 c 154s | 17 | 599046 | 225032 | 8842 48 | 10 | 18 540.51/540.64 c 156s | 17 | 607610 | 228432 | 8842 48 | 10 | 18 542.61/542.71 c 158s | 17 | 616518 | 231932 | 8842 49 | 10 | 18 544.62/544.76 c 160s | 17 | 623186 | 234332 | 8842 50 | 10 | 18 546.71/546.83 c 163s | 17 | 631311 | 237432 | 8842 50 | 10 | 18 548.71/548.83 c 165s | 17 | 639028 | 240432 | 8842 51 | 10 | 18 550.71/550.86 c 167s | 17 | 647024 | 243532 | 8842 52 | 10 | 18 552.81/552.91 c 169s | 17 | 655712 | 246532 | 8842 52 | 10 | 18 554.81/554.92 c 171s | 17 | 663838 | 249532 | 8842 53 | 10 | 18 556.82/556.93 c 173s | 17 | 671448 | 252532 | 8842 54 | 10 | 18 558.81/558.94 c 175s | 17 | 680152 | 255732 | 8842 54 | 10 | 18 560.81/560.95 c 177s | 17 | 689053 | 258932 | 8842 55 | 10 | 18 562.81/562.99 c 179s | 17 | 697421 | 262332 | 8842 56 | 10 | 18 565.01/565.11 c 181s | 17 | 704922 | 265432 | 8842 57 | 10 | 18 567.01/567.13 c 183s | 17 | 712221 | 268032 | 8842 57 | 10 | 18 569.01/569.16 c 185s | 17 | 720440 | 270932 | 8842 58 | 10 | 18 571.11/571.23 c 187s | 17 | 728653 | 274032 | 8842 58 | 10 | 18 573.10/573.27 c 189s | 17 | 736267 | 276932 | 8842 59 | 10 | 18 575.10/575.28 c 191s | 17 | 744502 | 279932 | 8842 60 | 10 | 18 577.10/577.29 c 193s | 17 | 751891 | 282732 | 8842 60 | 10 | 18 579.20/579.33 c 195s | 17 | 759714 | 285732 | 8842 61 | 10 | 18 581.20/581.34 c 197s | 17 | 766948 | 288632 | 8842 62 | 10 | 18 583.21/583.38 c 199s | 17 | 775153 | 291832 | 8842 62 | 10 | 18 585.31/585.47 c 201s | 17 | 781916 | 294432 | 8842 63 | 10 | 18 586.60/586.72 c 202s | 18 | 786699 | 296252 | 8842 63 | 10 | 18 588.61/588.74 c 204s | 18 | 794106 | 299052 | 8842 64 | 10 | 18 590.60/590.76 c 206s | 18 | 800941 | 301952 | 8842 64 | 10 | 18 592.70/592.81 c 209s | 18 | 808777 | 304852 | 8842 65 | 10 | 18 594.70/594.82 c 211s | 18 | 816955 | 307952 | 8842 66 | 10 | 18 596.70/596.85 c 213s | 18 | 824853 | 310952 | 8842 66 | 10 | 18 598.70/598.86 c 215s | 18 | 832792 | 313952 | 9727 67 | 10 | 18 600.80/600.92 c 217s | 18 | 840894 | 316852 | 9727 68 | 10 | 18 602.80/602.94 c 219s | 18 | 848869 | 319852 | 9727 68 | 10 | 18 604.80/604.95 c 221s | 18 | 857072 | 322852 | 9727 69 | 10 | 18 606.80/606.99 c 223s | 18 | 865053 | 326052 | 9727 69 | 10 | 18 608.90/609.01 c 225s | 18 | 873407 | 329252 | 9727 70 | 10 | 18 611.00/611.11 c 227s | 18 | 879568 | 331952 | 9727 71 | 10 | 18 612.99/613.12 c 229s | 18 | 886668 | 334752 | 9727 71 | 10 | 18 615.00/615.18 c 231s | 18 | 894023 | 337452 | 9727 72 | 10 | 18 616.99/617.18 c 233s | 18 | 902130 | 340552 | 9727 72 | 10 | 18 619.09/619.20 c 235s | 18 | 910283 | 343752 | 9727 73 | 10 | 18 621.09/621.27 c 237s | 18 | 918021 | 346652 | 9727 73 | 10 | 18 623.19/623.34 c 239s | 18 | 926692 | 349852 | 9727 74 | 10 | 18 625.19/625.38 c 241s | 18 | 934610 | 352752 | 9727 75 | 10 | 18 627.29/627.44 c 243s | 18 | 943026 | 355952 | 9727 75 | 10 | 18 629.31/629.49 c 245s | 18 | 951550 | 359152 | 9727 76 | 10 | 18 631.40/631.54 c 247s | 18 | 960227 | 362352 | 9727 77 | 10 | 18 633.40/633.57 c 249s | 18 | 968738 | 365552 | 9727 77 | 10 | 18 635.50/635.61 c 251s | 18 | 976746 | 368852 | 9727 78 | 10 | 18 637.50/637.63 c 253s | 18 | 984844 | 372352 | 9727 79 | 10 | 18 639.49/639.65 c 255s | 18 | 990457 | 374652 | 9727 79 | 10 | 18 641.50/641.67 c 257s | 18 | 998146 | 377452 | 9727 80 | 10 | 18 643.49/643.70 c 259s | 18 | 1005469 | 380452 | 9727 80 | 10 | 18 645.59/645.76 c 261s | 18 | 1012783 | 383352 | 9727 81 | 10 | 18 647.69/647.80 c 264s | 18 | 1020800 | 386452 | 9727 81 | 10 | 18 649.69/649.84 c 266s | 18 | 1028836 | 389552 | 9727 82 | 10 | 18 651.79/651.90 c 268s | 18 | 1035874 | 392452 | 9727 82 | 10 | 18 653.79/653.91 c 270s | 18 | 1043270 | 395552 | 9727 83 | 10 | 18 655.80/655.93 c 272s | 18 | 1050910 | 398652 | 9727 84 | 10 | 18 658.00/658.11 c 274s | 18 | 1058163 | 401652 | 9727 84 | 10 | 18 659.99/660.15 c 276s | 18 | 1066134 | 404552 | 9727 85 | 10 | 18 661.99/662.15 c 278s | 18 | 1073171 | 407352 | 9727 85 | 10 | 18 663.99/664.18 c 280s | 18 | 1080677 | 410352 | 9727 86 | 10 | 18 666.09/666.20 c 282s | 18 | 1088077 | 413352 | 9727 87 | 10 | 18 668.09/668.27 c 284s | 18 | 1095956 | 416452 | 9727 87 | 10 | 18 670.19/670.30 c 286s | 18 | 1103821 | 419452 | 9727 88 | 10 | 18 672.09/672.30 c 288s | 18 | 1111517 | 422452 | 9727 88 | 10 | 18 674.19/674.31 c 290s | 18 | 1118839 | 425652 | 9727 89 | 10 | 18 676.19/676.39 c 292s | 18 | 1126382 | 428752 | 9727 90 | 10 | 18 678.29/678.43 c 294s | 18 | 1134038 | 431452 | 9727 90 | 10 | 18 680.29/680.45 c 296s | 18 | 1141894 | 434452 | 9727 91 | 10 | 18 682.29/682.46 c 298s | 18 | 1149395 | 437352 | 9727 91 | 10 | 18 684.29/684.47 c 300s | 18 | 1156944 | 440352 | 9727 92 | 10 | 18 686.29/686.47 c 302s | 18 | 1164487 | 443352 | 9727 93 | 10 | 18 686.99/687.19 c 303s | 19 | 1167717 | 444482 | 9727 93 | 10 | 18 689.09/689.25 c 305s | 19 | 1174400 | 447082 | 9727 93 | 10 | 18 691.09/691.29 c 307s | 19 | 1182207 | 449882 | 9727 94 | 10 | 18 693.19/693.31 c 309s | 19 | 1190246 | 452682 | 9727 94 | 10 | 18 695.19/695.33 c 311s | 19 | 1197088 | 455482 | 9727 95 | 10 | 18 697.19/697.33 c 313s | 19 | 1203850 | 458282 | 9727 96 | 10 | 18 699.28/699.40 c 315s | 19 | 1211961 | 461382 | 9727 96 | 10 | 18 701.28/701.43 c 317s | 19 | 1219921 | 464382 | 9727 97 | 10 | 18 703.28/703.49 c 319s | 19 | 1227454 | 467482 | 9727 97 | 10 | 18 705.38/705.55 c 321s | 19 | 1236756 | 470782 | 9727 98 | 10 | 18 707.39/707.59 c 323s | 19 | 1244947 | 473982 | 9727 99 | 10 | 18 709.48/709.68 c 325s | 19 | 1251887 | 476682 | 9727 99 | 10 | 18 711.48/711.69 c 327s | 19 | 1258643 | 479482 | 9727 100 | 10 | 18 713.58/713.70 c 329s | 19 | 1265634 | 482282 | 9727 100 | 10 | 18 715.58/715.76 c 331s | 19 | 1273935 | 485182 | 9727 101 | 10 | 18 717.68/717.82 c 334s | 19 | 1281587 | 488082 | 9727 102 | 10 | 18 719.68/719.87 c 336s | 19 | 1289362 | 491182 | 9727 102 | 10 | 18 721.68/721.89 c 338s | 19 | 1297291 | 494182 | 9727 103 | 10 | 18 723.77/723.92 c 340s | 19 | 1305433 | 497282 | 9727 103 | 10 | 18 725.77/725.98 c 342s | 19 | 1312763 | 500382 | 9727 104 | 10 | 18 727.87/728.00 c 344s | 19 | 1320422 | 503482 | 9727 105 | 10 | 18 729.87/730.03 c 346s | 19 | 1328621 | 506782 | 9727 105 | 10 | 18 731.87/732.04 c 348s | 19 | 1336648 | 509982 | 9727 106 | 10 | 18 733.88/734.08 c 350s | 19 | 1344465 | 513282 | 9727 107 | 10 | 18 735.98/736.13 c 352s | 19 | 1350747 | 515682 | 9727 107 | 10 | 18 737.97/738.14 c 354s | 19 | 1358361 | 518382 | 9727 108 | 10 | 18 739.97/740.15 c 356s | 19 | 1366214 | 521382 | 9727 108 | 10 | 18 741.97/742.16 c 358s | 19 | 1374127 | 524382 | 9727 109 | 10 | 18 744.06/744.22 c 360s | 19 | 1381605 | 527382 | 9727 109 | 10 | 18 746.06/746.23 c 362s | 19 | 1388557 | 530382 | 9727 110 | 10 | 18 748.07/748.26 c 364s | 19 | 1395734 | 533382 | 9727 111 | 10 | 18 750.07/750.26 c 366s | 19 | 1403615 | 536482 | 9727 111 | 10 | 18 752.07/752.28 c 368s | 19 | 1411472 | 539682 | 9727 112 | 10 | 18 754.16/754.33 c 370s | 19 | 1418241 | 542382 | 9727 112 | 10 | 18 756.16/756.38 c 372s | 19 | 1426735 | 545482 | 9727 113 | 10 | 18 758.26/758.47 c 374s | 19 | 1434096 | 548382 | 9727 114 | 10 | 18 760.36/760.53 c 376s | 19 | 1441993 | 551482 | 9727 114 | 10 | 18 762.37/762.58 c 378s | 19 | 1449947 | 554382 | 9727 115 | 10 | 18 764.46/764.64 c 380s | 19 | 1458123 | 557482 | 9727 115 | 10 | 18 766.46/766.66 c 382s | 19 | 1466086 | 560582 | 9727 116 | 10 | 18 768.46/768.69 c 384s | 19 | 1474863 | 563882 | 9727 117 | 10 | 18 770.56/770.74 c 386s | 19 | 1482988 | 567482 | 9727 117 | 10 | 18 772.66/772.80 c 389s | 19 | 1489691 | 570082 | 9727 118 | 10 | 18 774.65/774.84 c 391s | 19 | 1497060 | 572882 | 9727 118 | 10 | 18 776.66/776.89 c 393s | 19 | 1505142 | 575782 | 9727 119 | 10 | 18 778.75/778.92 c 395s | 19 | 1514191 | 578882 | 9727 120 | 10 | 18 780.75/780.97 c 397s | 19 | 1522883 | 582082 | 9727 120 | 10 | 18 782.75/782.98 c 399s | 19 | 1530682 | 585082 | 9727 121 | 10 | 18 784.85/785.00 c 401s | 19 | 1538806 | 588182 | 9727 121 | 10 | 18 786.85/787.00 c 403s | 19 | 1546751 | 591282 | 9727 122 | 10 | 18 788.86/789.03 c 405s | 19 | 1555262 | 594482 | 9727 123 | 10 | 18 790.85/791.09 c 407s | 19 | 1563697 | 597982 | 9727 123 | 10 | 18 792.95/793.14 c 409s | 19 | 1570701 | 600882 | 9727 124 | 10 | 18 795.04/795.20 c 411s | 19 | 1578593 | 603682 | 9727 125 | 10 | 18 797.04/797.25 c 413s | 19 | 1587300 | 606882 | 9727 125 | 10 | 18 799.04/799.26 c 415s | 19 | 1595621 | 610082 | 9727 126 | 10 | 18 801.14/801.31 c 417s | 19 | 1603556 | 613282 | 9727 126 | 10 | 18 803.15/803.34 c 419s | 19 | 1612081 | 616682 | 9727 127 | 10 | 18 805.14/805.36 c 421s | 19 | 1618771 | 619382 | 9727 128 | 10 | 18 807.24/807.41 c 423s | 19 | 1625597 | 622282 | 9727 128 | 10 | 18 809.24/809.44 c 425s | 19 | 1633788 | 625382 | 9727 129 | 10 | 18 811.24/811.47 c 427s | 19 | 1642406 | 628482 | 9727 129 | 10 | 18 813.34/813.50 c 429s | 19 | 1650634 | 631682 | 9727 130 | 10 | 18 815.34/815.52 c 431s | 19 | 1659214 | 634882 | 9727 131 | 10 | 18 817.44/817.65 c 433s | 19 | 1667239 | 638082 | 9727 131 | 10 | 18 819.43/819.66 c 435s | 19 | 1675086 | 640982 | 9727 132 | 10 | 18 821.43/821.66 c 437s | 19 | 1682503 | 643982 | 9727 133 | 10 | 18 823.43/823.68 c 439s | 19 | 1690933 | 647382 | 9727 133 | 10 | 18 825.53/825.73 c 441s | 19 | 1698756 | 650482 | 9727 134 | 10 | 18 827.53/827.74 c 443s | 19 | 1706222 | 653482 | 9727 134 | 10 | 18 829.54/829.79 c 445s | 19 | 1714783 | 656782 | 9727 135 | 10 | 18 831.53/831.80 c 448s | 19 | 1723370 | 660182 | 9727 136 | 10 | 18 833.63/833.85 c 450s | 19 | 1732337 | 663782 | 9727 136 | 10 | 18 835.23/835.43 c 451s | 20 | 1739349 | 666827 | 9727 137 | 10 | 18 837.23/837.46 c 453s | 20 | 1744376 | 668527 | 9727 137 | 10 | 18 839.33/839.54 c 455s | 20 | 1751549 | 671227 | 9727 138 | 10 | 18 841.32/841.55 c 457s | 20 | 1758945 | 673927 | 9727 138 | 10 | 18 843.32/843.59 c 459s | 20 | 1766770 | 676827 | 9727 139 | 10 | 18 845.42/845.64 c 461s | 20 | 1774124 | 679527 | 9727 140 | 10 | 18 847.42/847.65 c 463s | 20 | 1782277 | 682427 | 9727 140 | 10 | 18 849.42/849.66 c 465s | 20 | 1788866 | 685227 | 9727 141 | 10 | 18 851.52/851.72 c 467s | 20 | 1797284 | 688327 | 9727 141 | 10 | 18 853.51/853.74 c 469s | 20 | 1805103 | 691327 | 9727 142 | 10 | 18 855.51/855.78 c 471s | 20 | 1813591 | 694427 | 9727 142 | 10 | 18 857.61/857.83 c 474s | 20 | 1822130 | 697627 | 9727 143 | 10 | 18 859.61/859.85 c 476s | 20 | 1830036 | 700727 | 9727 144 | 10 | 18 861.61/861.87 c 478s | 20 | 1838836 | 704027 | 9727 144 | 10 | 18 863.71/863.92 c 480s | 20 | 1845457 | 706527 | 9727 145 | 10 | 18 865.71/865.99 c 482s | 20 | 1853577 | 709427 | 9727 145 | 10 | 18 867.80/868.05 c 484s | 20 | 1861644 | 712327 | 9727 146 | 10 | 18 869.90/870.11 c 486s | 20 | 1868523 | 715027 | 9727 147 | 10 | 18 871.90/872.11 c 488s | 20 | 1876399 | 717927 | 9727 147 | 10 | 18 873.90/874.14 c 490s | 20 | 1883626 | 720827 | 9727 148 | 10 | 18 876.01/876.21 c 492s | 20 | 1891654 | 723827 | 9727 148 | 10 | 18 878.01/878.26 c 494s | 20 | 1898730 | 726827 | 9727 149 | 10 | 18 880.11/880.32 c 496s | 20 | 1906284 | 729727 | 9727 149 | 10 | 18 882.11/882.32 c 498s | 20 | 1914403 | 732827 | 9727 150 | 10 | 18 884.10/884.32 c 500s | 20 | 1921769 | 735927 | 9727 151 | 10 | 18 886.10/886.39 c 502s | 20 | 1928550 | 738527 | 9727 151 | 10 | 18 888.20/888.42 c 504s | 20 | 1936549 | 741527 | 9727 152 | 10 | 18 890.20/890.48 c 506s | 20 | 1945022 | 744527 | 9727 152 | 10 | 18 892.30/892.52 c 508s | 20 | 1953233 | 747627 | 9727 153 | 10 | 18 894.30/894.54 c 510s | 20 | 1961117 | 750527 | 9727 154 | 10 | 18 896.30/896.55 c 512s | 20 | 1969192 | 753527 | 9727 154 | 10 | 18 898.40/898.60 c 514s | 20 | 1977716 | 756627 | 9727 155 | 10 | 18 900.40/900.63 c 516s | 20 | 1985635 | 759727 | 9727 155 | 10 | 18 902.39/902.64 c 518s | 20 | 1993526 | 762827 | 9727 156 | 10 | 18 904.39/904.65 c 520s | 20 | 2001400 | 766027 | 9727 157 | 10 | 18 906.40/906.69 c 522s | 20 | 2010027 | 769427 | 9727 157 | 10 | 18 908.49/908.70 c 524s | 20 | 2015871 | 771727 | 9727 158 | 10 | 18 910.49/910.71 c 526s | 20 | 2024189 | 774727 | 9727 158 | 10 | 18 912.49/912.77 c 528s | 20 | 2032130 | 777727 | 9727 159 | 10 | 18 914.49/914.78 c 530s | 20 | 2039576 | 780627 | 9727 160 | 10 | 18 916.49/916.80 c 533s | 20 | 2047957 | 783727 | 9727 160 | 10 | 18 918.59/918.86 c 535s | 20 | 2056727 | 787027 | 9727 161 | 10 | 18 920.69/920.91 c 537s | 20 | 2064670 | 790227 | 9727 161 | 10 | 18 922.68/922.96 c 539s | 20 | 2073438 | 793527 | 9727 162 | 10 | 18 924.68/924.99 c 541s | 20 | 2082424 | 796927 | 9727 163 | 10 | 18 926.78/927.01 c 543s | 20 | 2088809 | 799427 | 9727 163 | 10 | 18 928.78/929.07 c 545s | 20 | 2096724 | 802327 | 9727 164 | 10 | 18 930.78/931.09 c 547s | 20 | 2103656 | 805227 | 9727 164 | 10 | 18 932.89/933.11 c 549s | 20 | 2111517 | 808227 | 9727 165 | 10 | 18 934.87/935.17 c 551s | 20 | 2118984 | 811127 | 10700 165 | 10 | 18 936.97/937.20 c 553s | 20 | 2126594 | 814027 | 10700 166 | 10 | 18 938.97/939.22 c 555s | 20 | 2133818 | 816927 | 10700 166 | 10 | 18 940.97/941.26 c 557s | 20 | 2141357 | 820027 | 10700 167 | 10 | 18 942.97/943.29 c 559s | 20 | 2147384 | 822427 | 10700 168 | 10 | 18 945.07/945.32 c 561s | 20 | 2154208 | 825327 | 10700 168 | 10 | 18 947.17/947.42 c 563s | 20 | 2160752 | 828027 | 10700 169 | 10 | 18 949.16/949.45 c 565s | 20 | 2168015 | 830927 | 10700 169 | 10 | 18 951.16/951.48 c 567s | 20 | 2175779 | 833727 | 10700 170 | 10 | 18 953.27/953.52 c 569s | 20 | 2183935 | 836827 | 10700 170 | 10 | 18 955.27/955.58 c 571s | 20 | 2190822 | 839727 | 10700 171 | 10 | 18 957.27/957.59 c 573s | 20 | 2198947 | 842827 | 10700 171 | 10 | 18 959.37/959.60 c 575s | 20 | 2206595 | 846027 | 10700 172 | 10 | 18 961.38/961.61 c 577s | 20 | 2213346 | 848627 | 10700 172 | 10 | 18 963.37/963.65 c 579s | 20 | 2221506 | 851527 | 10700 173 | 10 | 18 965.37/965.68 c 581s | 20 | 2229342 | 854527 | 10700 173 | 10 | 18 967.46/967.72 c 583s | 20 | 2237106 | 857627 | 10700 174 | 10 | 18 969.46/969.74 c 585s | 20 | 2244782 | 860627 | 10700 174 | 10 | 18 971.46/971.78 c 587s | 20 | 2252685 | 863727 | 10700 175 | 10 | 18 973.57/973.84 c 590s | 20 | 2259914 | 866727 | 10700 176 | 10 | 18 975.56/975.90 c 592s | 20 | 2267999 | 870027 | 10700 176 | 10 | 18 977.66/977.95 c 594s | 20 | 2274276 | 872327 | 10700 177 | 10 | 18 979.76/980.01 c 596s | 20 | 2282454 | 875427 | 10700 177 | 10 | 18 981.76/982.03 c 598s | 20 | 2289824 | 878427 | 10700 178 | 10 | 18 983.75/984.06 c 600s | 20 | 2298269 | 881527 | 10700 178 | 10 | 18 985.85/986.12 c 602s | 20 | 2306102 | 884727 | 10700 179 | 10 | 18 987.86/988.13 c 604s | 20 | 2313347 | 887627 | 10700 179 | 10 | 18 989.85/990.18 c 606s | 20 | 2320849 | 890527 | 10700 180 | 10 | 18 991.85/992.19 c 608s | 20 | 2328813 | 893427 | 10700 180 | 10 | 18 993.95/994.21 c 610s | 20 | 2336879 | 896427 | 10700 181 | 10 | 18 995.95/996.21 c 612s | 20 | 2345145 | 899527 | 10700 181 | 10 | 18 997.95/998.29 c 614s | 20 | 2353706 | 902827 | 10700 182 | 10 | 18 1000.05/1000.36 c 616s | 20 | 2359853 | 905327 | 10700 182 | 10 | 18 1002.05/1002.37 c 618s | 20 | 2366514 | 908127 | 10700 183 | 10 | 18 1004.14/1004.41 c 620s | 20 | 2373213 | 910927 | 10700 183 | 10 | 18 1006.14/1006.42 c 622s | 20 | 2380717 | 914027 | 10700 184 | 10 | 18 1008.14/1008.47 c 624s | 20 | 2388511 | 917127 | 10700 185 | 10 | 18 1010.24/1010.53 c 626s | 20 | 2396169 | 920527 | 10700 185 | 10 | 18 1012.34/1012.60 c 628s | 20 | 2403081 | 923227 | 10700 186 | 10 | 18 1014.34/1014.62 c 630s | 20 | 2410945 | 926227 | 10700 186 | 10 | 18 1016.34/1016.63 c 632s | 20 | 2418016 | 929227 | 10700 187 | 10 | 18 1018.34/1018.68 c 634s | 20 | 2425705 | 932227 | 10700 187 | 10 | 18 1020.43/1020.78 c 636s | 20 | 2434438 | 935527 | 10700 188 | 10 | 18 1022.53/1022.80 c 639s | 20 | 2441314 | 938227 | 10700 188 | 10 | 18 1024.53/1024.86 c 641s | 20 | 2448425 | 941127 | 10700 189 | 10 | 18 1026.53/1026.87 c 643s | 20 | 2455582 | 944127 | 10700 189 | 10 | 18 1028.63/1028.90 c 645s | 20 | 2463320 | 947427 | 10700 190 | 10 | 18 1030.64/1030.91 c 647s | 20 | 2469598 | 950127 | 10700 191 | 10 | 18 1032.63/1032.96 c 649s | 20 | 2477959 | 953527 | 10700 191 | 10 | 18 1034.62/1034.99 c 651s | 20 | 2486742 | 956827 | 10700 192 | 10 | 18 1036.72/1037.03 c 653s | 20 | 2494028 | 959827 | 10700 192 | 10 | 18 1038.72/1039.05 c 655s | 20 | 2501158 | 962827 | 10700 193 | 10 | 18 1040.72/1041.08 c 657s | 20 | 2508568 | 966027 | 10700 193 | 10 | 18 1042.73/1043.09 c 659s | 20 | 2515714 | 968927 | 10700 194 | 10 | 18 1044.82/1045.14 c 661s | 20 | 2523340 | 972027 | 10700 195 | 10 | 18 1046.92/1047.20 c 663s | 20 | 2531324 | 975427 | 10700 195 | 10 | 18 1048.92/1049.25 c 665s | 20 | 2538891 | 978627 | 10700 196 | 10 | 18 1051.02/1051.30 c 667s | 20 | 2546363 | 981627 | 10700 196 | 10 | 18 1053.02/1053.30 c 669s | 20 | 2553987 | 984727 | 10700 197 | 10 | 18 1055.01/1055.33 c 671s | 20 | 2560993 | 987627 | 10700 197 | 10 | 18 1057.02/1057.38 c 673s | 20 | 2568027 | 990927 | 10700 198 | 10 | 18 1059.11/1059.44 c 675s | 20 | 2575250 | 994027 | 10700 198 | 10 | 18 1061.21/1061.50 c 677s | 20 | 2582708 | 997327 | 10700 199 | 10 | 18 1063.21/1063.50 c 679s | 20 | 2589958 | 1000327 | 10700 200 | 10 | 18 1063.21/1063.52 c 679s | 21 | 2590019 | 1000345 | 10700 200 | 10 | 18 1065.21/1065.54 c 681s | 21 | 2593020 | 1001445 | 10700 200 | 10 | 18 1067.21/1067.56 c 683s | 21 | 2600678 | 1004045 | 10700 200 | 10 | 18 1069.31/1069.60 c 685s | 21 | 2609249 | 1006945 | 10700 201 | 10 | 18 1071.32/1071.65 c 687s | 21 | 2616067 | 1009545 | 10700 201 | 10 | 18 1073.31/1073.69 c 689s | 21 | 2623585 | 1012345 | 10700 202 | 10 | 18 1075.40/1075.76 c 691s | 21 | 2631161 | 1015145 | 10700 202 | 10 | 18 1077.50/1077.81 c 694s | 21 | 2639072 | 1018045 | 10700 203 | 10 | 18 1079.50/1079.86 c 696s | 21 | 2646924 | 1020945 | 10700 203 | 10 | 18 1081.60/1081.93 c 698s | 21 | 2655158 | 1023945 | 10700 204 | 10 | 18 1083.70/1084.00 c 700s | 21 | 2663387 | 1027045 | 10700 204 | 10 | 18 1085.71/1086.01 c 702s | 21 | 2671604 | 1030245 | 10700 205 | 10 | 18 1087.70/1088.02 c 704s | 21 | 2677392 | 1032445 | 10700 205 | 10 | 18 1089.70/1090.02 c 706s | 21 | 2684804 | 1035345 | 10700 206 | 10 | 18 1091.70/1092.06 c 708s | 21 | 2692192 | 1038045 | 10700 206 | 10 | 18 1093.69/1094.06 c 710s | 21 | 2699722 | 1040845 | 10700 207 | 10 | 18 1095.69/1096.09 c 712s | 21 | 2706787 | 1043645 | 10700 207 | 10 | 18 1097.70/1098.10 c 714s | 21 | 2713886 | 1046445 | 10700 208 | 10 | 18 1099.79/1100.11 c 716s | 21 | 2720589 | 1049245 | 10700 208 | 10 | 18 1101.79/1102.17 c 718s | 21 | 2728167 | 1052245 | 10700 209 | 10 | 18 1103.89/1104.23 c 720s | 21 | 2735537 | 1055045 | 10700 210 | 10 | 18 1105.89/1106.25 c 722s | 21 | 2742713 | 1058045 | 10700 210 | 10 | 18 1107.89/1108.25 c 724s | 21 | 2749929 | 1060945 | 10700 211 | 10 | 18 1110.09/1110.41 c 726s | 21 | 2757736 | 1063945 | 10700 211 | 10 | 18 1112.09/1112.45 c 728s | 21 | 2764552 | 1066445 | 10700 212 | 10 | 18 1114.08/1114.49 c 730s | 21 | 2771565 | 1069345 | 10700 212 | 10 | 18 1116.19/1116.55 c 732s | 21 | 2778340 | 1072045 | 10700 213 | 10 | 18 1118.19/1118.56 c 734s | 21 | 2785931 | 1074945 | 10700 213 | 10 | 18 1120.19/1120.57 c 736s | 21 | 2793272 | 1077745 | 10700 214 | 10 | 18 1122.29/1122.61 c 738s | 21 | 2801264 | 1080645 | 10700 214 | 10 | 18 1124.29/1124.64 c 740s | 21 | 2808762 | 1083545 | 10700 215 | 10 | 18 1126.29/1126.70 c 742s | 21 | 2816497 | 1086645 | 10700 215 | 10 | 18 1128.39/1128.72 c 744s | 21 | 2823889 | 1089545 | 10700 216 | 10 | 18 1130.39/1130.77 c 746s | 21 | 2831805 | 1092645 | 10700 216 | 10 | 18 1132.49/1132.82 c 749s | 21 | 2840138 | 1095945 | 10700 217 | 10 | 18 1134.48/1134.86 c 751s | 21 | 2846115 | 1098145 | 10700 217 | 10 | 18 1136.58/1136.94 c 753s | 21 | 2854451 | 1101245 | 10700 218 | 10 | 18 1138.58/1138.96 c 755s | 21 | 2861873 | 1104145 | 10700 218 | 10 | 18 1140.59/1140.97 c 757s | 21 | 2869201 | 1106945 | 10700 219 | 10 | 18 1142.68/1143.03 c 759s | 21 | 2876349 | 1109845 | 10700 219 | 10 | 18 1144.68/1145.09 c 761s | 21 | 2884140 | 1112945 | 10700 220 | 10 | 18 1146.68/1147.09 c 763s | 21 | 2891196 | 1115845 | 10700 221 | 10 | 18 1148.78/1149.15 c 765s | 21 | 2899376 | 1119045 | 10700 221 | 10 | 18 1150.88/1151.20 c 767s | 21 | 2906816 | 1122045 | 10700 222 | 10 | 18 1152.88/1153.25 c 769s | 21 | 2914799 | 1125145 | 10700 222 | 10 | 18 1154.88/1155.27 c 771s | 21 | 2920042 | 1127445 | 10700 223 | 10 | 18 1156.97/1157.30 c 773s | 21 | 2927667 | 1130245 | 10700 223 | 10 | 18 1158.97/1159.35 c 775s | 21 | 2935096 | 1133145 | 10700 224 | 10 | 18 1161.07/1161.40 c 777s | 21 | 2942781 | 1136045 | 10700 224 | 10 | 18 1163.07/1163.46 c 779s | 21 | 2950462 | 1138845 | 10700 225 | 10 | 18 1165.16/1165.51 c 781s | 21 | 2958712 | 1141745 | 10700 225 | 10 | 18 1167.16/1167.52 c 783s | 21 | 2965936 | 1144645 | 10700 226 | 10 | 18 1169.17/1169.52 c 785s | 21 | 2973680 | 1147645 | 10700 226 | 10 | 18 1171.16/1171.55 c 787s | 21 | 2979706 | 1149945 | 10700 227 | 10 | 18 1173.16/1173.58 c 789s | 21 | 2987420 | 1152845 | 10700 227 | 10 | 18 1175.16/1175.59 c 791s | 21 | 2994662 | 1155645 | 10700 228 | 10 | 18 1177.26/1177.66 c 793s | 21 | 3002150 | 1158545 | 10700 228 | 10 | 18 1179.36/1179.70 c 795s | 21 | 3009366 | 1161545 | 10700 229 | 10 | 18 1181.37/1181.73 c 797s | 21 | 3017122 | 1164445 | 10700 229 | 10 | 18 1183.47/1183.80 c 800s | 21 | 3024817 | 1167445 | 10700 230 | 10 | 18 1185.45/1185.81 c 802s | 21 | 3032383 | 1170345 | 10700 230 | 10 | 18 1187.45/1187.85 c 804s | 21 | 3040519 | 1173345 | 10700 231 | 10 | 18 1189.45/1189.87 c 806s | 21 | 3047778 | 1176345 | 10700 231 | 10 | 18 1191.55/1191.90 c 808s | 21 | 3055521 | 1179645 | 10700 232 | 10 | 18 1193.55/1193.90 c 810s | 21 | 3060914 | 1181945 | 10700 232 | 10 | 18 1195.55/1195.97 c 812s | 21 | 3068195 | 1184745 | 10700 233 | 10 | 18 1197.65/1198.01 c 814s | 21 | 3076072 | 1187645 | 10700 234 | 10 | 18 1199.65/1200.06 c 816s | 21 | 3084165 | 1190745 | 10700 234 | 10 | 18 1201.75/1202.10 c 818s | 21 | 3091315 | 1193645 | 10700 235 | 10 | 18 1203.74/1204.12 c 820s | 21 | 3098727 | 1196645 | 10700 235 | 10 | 18 1205.74/1206.14 c 822s | 21 | 3106217 | 1199645 | 10700 236 | 10 | 18 1207.75/1208.18 c 824s | 21 | 3112849 | 1202145 | 10700 236 | 10 | 18 1209.85/1210.22 c 826s | 21 | 3120045 | 1204945 | 10700 237 | 10 | 18 1211.84/1212.25 c 828s | 21 | 3127658 | 1207945 | 10700 237 | 10 | 18 1213.94/1214.30 c 830s | 21 | 3135496 | 1210945 | 10700 238 | 10 | 18 1215.94/1216.36 c 832s | 21 | 3143314 | 1213945 | 10700 238 | 10 | 18 1217.93/1218.37 c 834s | 21 | 3150419 | 1216745 | 10700 239 | 10 | 18 1219.93/1220.38 c 836s | 21 | 3157599 | 1219545 | 10700 239 | 10 | 18 1222.04/1222.41 c 838s | 21 | 3165066 | 1222545 | 10700 240 | 10 | 18 1224.03/1224.47 c 840s | 21 | 3173562 | 1225645 | 10700 240 | 10 | 18 1226.03/1226.49 c 842s | 21 | 3181130 | 1228745 | 10700 241 | 10 | 18 1228.13/1228.51 c 844s | 21 | 3188576 | 1231745 | 10700 241 | 10 | 18 1230.13/1230.54 c 846s | 21 | 3197486 | 1235045 | 10700 242 | 10 | 18 1232.14/1232.58 c 848s | 21 | 3204083 | 1237445 | 10700 243 | 10 | 18 1234.23/1234.61 c 850s | 21 | 3212369 | 1240445 | 10700 243 | 10 | 18 1236.24/1236.62 c 852s | 21 | 3220402 | 1243345 | 10700 244 | 10 | 18 1238.23/1238.67 c 854s | 21 | 3228545 | 1246445 | 10700 244 | 10 | 18 1240.33/1240.73 c 856s | 21 | 3235590 | 1249245 | 10700 245 | 10 | 18 1242.43/1242.80 c 859s | 21 | 3243251 | 1252245 | 10700 245 | 10 | 18 1244.42/1244.83 c 861s | 21 | 3250877 | 1255245 | 10700 246 | 10 | 18 1246.42/1246.83 c 863s | 21 | 3258379 | 1258345 | 10700 246 | 10 | 18 1248.43/1248.88 c 865s | 21 | 3265203 | 1261145 | 10700 247 | 10 | 18 1250.53/1250.91 c 867s | 21 | 3273222 | 1264145 | 10700 247 | 10 | 18 1252.52/1252.94 c 869s | 21 | 3280333 | 1267245 | 10700 248 | 10 | 18 1254.52/1254.97 c 871s | 21 | 3288207 | 1270345 | 10700 248 | 10 | 18 1256.62/1257.04 c 873s | 21 | 3294665 | 1273045 | 10700 249 | 10 | 18 1258.62/1259.08 c 875s | 21 | 3301549 | 1275745 | 10700 249 | 10 | 18 1260.72/1261.10 c 877s | 21 | 3308966 | 1278845 | 10700 250 | 10 | 18 1262.82/1263.21 c 879s | 21 | 3316218 | 1281845 | 10700 251 | 10 | 18 1264.82/1265.27 c 881s | 21 | 3323981 | 1284845 | 10700 251 | 10 | 18 1266.81/1267.29 c 883s | 21 | 3331369 | 1287645 | 10700 252 | 10 | 18 1268.91/1269.31 c 885s | 21 | 3339353 | 1290545 | 10700 252 | 10 | 18 1270.91/1271.35 c 887s | 21 | 3345915 | 1293145 | 10700 253 | 10 | 18 1272.91/1273.37 c 889s | 21 | 3353567 | 1296245 | 10700 253 | 10 | 18 1275.00/1275.42 c 891s | 21 | 3360962 | 1299345 | 10700 254 | 10 | 18 1277.01/1277.47 c 893s | 21 | 3368614 | 1302545 | 10700 254 | 10 | 18 1279.11/1279.53 c 895s | 21 | 3375934 | 1305345 | 10700 255 | 10 | 18 1281.10/1281.56 c 897s | 21 | 3383083 | 1308345 | 10700 255 | 10 | 18 1283.20/1283.60 c 899s | 21 | 3390450 | 1311345 | 10700 256 | 10 | 18 1285.19/1285.66 c 901s | 21 | 3397766 | 1314345 | 10700 256 | 10 | 18 1287.29/1287.71 c 903s | 21 | 3405257 | 1317445 | 10700 257 | 10 | 18 1289.30/1289.73 c 905s | 21 | 3408738 | 1318845 | 10700 257 | 10 | 18 1291.40/1291.82 c 908s | 21 | 3413919 | 1320745 | 10700 258 | 10 | 18 1293.40/1293.85 c 910s | 21 | 3421355 | 1323545 | 10700 258 | 10 | 18 1295.40/1295.87 c 912s | 21 | 3427929 | 1326145 | 10700 259 | 10 | 18 1297.49/1297.92 c 914s | 21 | 3435624 | 1328845 | 10700 259 | 10 | 18 1299.49/1299.94 c 916s | 21 | 3443288 | 1331545 | 10700 259 | 10 | 18 1301.59/1302.00 c 918s | 21 | 3451110 | 1334545 | 10700 260 | 10 | 18 1303.59/1304.01 c 920s | 21 | 3458016 | 1337145 | 10700 260 | 10 | 18 1305.60/1306.07 c 922s | 21 | 3465346 | 1340045 | 10700 261 | 10 | 18 1307.59/1308.10 c 924s | 21 | 3471543 | 1342645 | 10700 261 | 10 | 18 1309.69/1310.13 c 926s | 21 | 3478936 | 1345645 | 10700 262 | 10 | 18 1311.69/1312.15 c 928s | 21 | 3485646 | 1348445 | 10700 263 | 10 | 18 1313.78/1314.20 c 930s | 21 | 3493875 | 1351645 | 10700 263 | 10 | 18 1315.78/1316.25 c 932s | 21 | 3501179 | 1354745 | 10700 264 | 10 | 18 1317.78/1318.27 c 934s | 21 | 3506619 | 1356845 | 10700 264 | 10 | 18 1319.79/1320.29 c 936s | 21 | 3512976 | 1359445 | 10700 265 | 10 | 18 1321.88/1322.32 c 938s | 21 | 3520257 | 1362245 | 10700 265 | 10 | 18 1323.98/1324.41 c 940s | 21 | 3526910 | 1364945 | 10700 266 | 10 | 18 1325.98/1326.42 c 942s | 21 | 3533918 | 1367745 | 10700 266 | 10 | 18 1327.98/1328.47 c 944s | 21 | 3541262 | 1370445 | 10700 266 | 10 | 18 1330.07/1330.50 c 946s | 21 | 3548717 | 1373345 | 10700 267 | 10 | 18 1332.17/1332.61 c 948s | 21 | 3555329 | 1375945 | 10700 268 | 10 | 18 1334.18/1334.64 c 950s | 21 | 3562284 | 1378645 | 10700 268 | 10 | 18 1336.28/1336.70 c 952s | 21 | 3568995 | 1381245 | 10700 268 | 10 | 18 1338.27/1338.71 c 954s | 21 | 3574135 | 1383445 | 10700 269 | 10 | 18 1340.27/1340.77 c 956s | 21 | 3580048 | 1385745 | 10700 269 | 10 | 18 1342.27/1342.78 c 958s | 21 | 3586369 | 1388145 | 10700 270 | 10 | 18 1344.37/1344.86 c 961s | 21 | 3593099 | 1390745 | 10700 270 | 10 | 18 1346.47/1346.92 c 963s | 21 | 3600194 | 1393445 | 10700 271 | 10 | 18 1348.48/1348.96 c 965s | 21 | 3607264 | 1396145 | 10700 271 | 10 | 18 1350.57/1351.01 c 967s | 21 | 3613306 | 1398745 | 10700 272 | 10 | 18 1352.57/1353.06 c 969s | 21 | 3620263 | 1401445 | 10700 272 | 10 | 18 1354.66/1355.11 c 971s | 21 | 3628116 | 1404045 | 10700 273 | 10 | 18 1356.67/1357.14 c 973s | 21 | 3635634 | 1406745 | 10700 273 | 10 | 18 1358.67/1359.17 c 975s | 21 | 3642394 | 1409445 | 10700 274 | 10 | 18 1360.77/1361.20 c 977s | 21 | 3649876 | 1412345 | 10700 274 | 10 | 18 1362.78/1363.22 c 979s | 21 | 3656563 | 1415145 | 10700 275 | 10 | 18 1364.77/1365.23 c 981s | 21 | 3663861 | 1418045 | 10700 275 | 10 | 18 1366.77/1367.27 c 983s | 21 | 3671003 | 1421145 | 10700 276 | 10 | 18 1368.87/1369.30 c 985s | 21 | 3676073 | 1423145 | 10700 276 | 10 | 18 1370.87/1371.35 c 987s | 21 | 3683531 | 1425945 | 10700 277 | 10 | 18 1372.97/1373.41 c 989s | 21 | 3691441 | 1428945 | 10700 277 | 10 | 18 1374.97/1375.46 c 991s | 21 | 3699097 | 1431745 | 10700 278 | 10 | 18 1376.97/1377.49 c 993s | 21 | 3707003 | 1434745 | 10700 278 | 10 | 18 1379.07/1379.53 c 995s | 21 | 3713989 | 1437445 | 10700 279 | 10 | 18 1381.07/1381.56 c 997s | 21 | 3721643 | 1440445 | 10700 279 | 10 | 18 1383.07/1383.59 c 999s | 21 | 3728555 | 1443145 | 10700 280 | 10 | 18 1385.17/1385.62 c 1001s | 21 | 3735936 | 1446145 | 10700 280 | 10 | 18 1387.16/1387.64 c 1003s | 21 | 3743181 | 1448945 | 10700 281 | 10 | 18 1389.17/1389.68 c 1005s | 21 | 3750641 | 1451945 | 10700 281 | 10 | 18 1391.16/1391.70 c 1007s | 21 | 3758229 | 1454845 | 10700 282 | 10 | 18 1393.26/1393.73 c 1009s | 21 | 3765222 | 1457445 | 10700 282 | 10 | 18 1395.26/1395.74 c 1011s | 21 | 3770771 | 1459645 | 10700 283 | 10 | 18 1397.26/1397.76 c 1013s | 21 | 3777186 | 1462245 | 10700 283 | 10 | 18 1399.26/1399.76 c 1015s | 21 | 3784029 | 1464845 | 10700 284 | 10 | 18 1401.36/1401.83 c 1018s | 21 | 3790921 | 1467645 | 10700 284 | 10 | 18 1403.37/1403.86 c 1020s | 21 | 3797447 | 1470245 | 10700 285 | 10 | 18 1405.46/1405.91 c 1022s | 21 | 3805526 | 1473045 | 10700 285 | 10 | 18 1407.46/1407.95 c 1024s | 21 | 3812173 | 1475745 | 10700 286 | 10 | 18 1409.56/1410.02 c 1026s | 21 | 3819690 | 1478845 | 10700 286 | 10 | 18 1411.56/1412.08 c 1028s | 21 | 3827092 | 1481845 | 10700 287 | 10 | 18 1413.66/1414.17 c 1030s | 21 | 3832522 | 1484145 | 10700 287 | 10 | 18 1415.76/1416.23 c 1032s | 21 | 3839071 | 1486845 | 10700 288 | 10 | 18 1417.76/1418.27 c 1034s | 21 | 3845699 | 1489545 | 10700 288 | 10 | 18 1419.76/1420.30 c 1036s | 21 | 3852592 | 1492145 | 10700 288 | 10 | 18 1421.85/1422.35 c 1038s | 21 | 3859959 | 1495045 | 10700 289 | 10 | 18 1423.95/1424.45 c 1040s | 21 | 3866789 | 1497845 | 10700 290 | 10 | 18 1425.95/1426.47 c 1042s | 22 | 3873713 | 1500622 | 10700 290 | 10 | 18 1428.05/1428.53 c 1044s | 22 | 3880483 | 1503422 | 10700 291 | 10 | 18 1430.05/1430.59 c 1046s | 22 | 3889241 | 1506622 | 10700 291 | 10 | 18 1432.15/1432.63 c 1048s | 22 | 3893927 | 1508322 | 10700 291 | 10 | 18 1434.16/1434.66 c 1050s | 22 | 3900154 | 1510922 | 10700 292 | 10 | 18 1436.25/1436.71 c 1052s | 22 | 3907174 | 1513622 | 10700 292 | 10 | 18 1438.25/1438.76 c 1054s | 22 | 3914443 | 1516222 | 10700 293 | 10 | 18 1440.25/1440.79 c 1057s | 22 | 3921930 | 1518922 | 10700 293 | 10 | 18 1442.35/1442.81 c 1059s | 22 | 3929071 | 1521622 | 10700 294 | 10 | 18 1444.35/1444.86 c 1061s | 22 | 3935522 | 1524422 | 10700 294 | 10 | 18 1446.36/1446.87 c 1063s | 22 | 3942580 | 1527222 | 10700 295 | 10 | 18 1448.46/1448.92 c 1065s | 22 | 3949458 | 1529922 | 10700 295 | 10 | 18 1450.45/1450.95 c 1067s | 22 | 3956902 | 1532822 | 10700 296 | 10 | 18 1452.45/1452.98 c 1069s | 22 | 3964146 | 1535522 | 10700 296 | 10 | 18 1454.65/1455.12 c 1071s | 22 | 3971293 | 1538322 | 10700 297 | 10 | 18 1456.65/1457.14 c 1073s | 22 | 3977831 | 1540522 | 10700 297 | 10 | 18 1458.65/1459.18 c 1075s | 22 | 3985941 | 1543522 | 10700 298 | 10 | 18 1460.75/1461.20 c 1077s | 22 | 3993108 | 1546322 | 10700 298 | 10 | 18 1462.75/1463.22 c 1079s | 22 | 4001105 | 1549222 | 10700 299 | 10 | 18 1464.75/1465.26 c 1081s | 22 | 4009150 | 1552122 | 10700 299 | 10 | 18 1466.75/1467.30 c 1083s | 22 | 4016217 | 1555122 | 11771 300 | 10 | 18 1468.84/1469.36 c 1085s | 22 | 4023857 | 1557822 | 11771 300 | 10 | 18 1470.94/1471.41 c 1087s | 22 | 4030508 | 1560522 | 11771 301 | 10 | 18 1472.95/1473.46 c 1089s | 22 | 4038087 | 1563422 | 11771 301 | 10 | 18 1475.05/1475.51 c 1091s | 22 | 4045578 | 1566222 | 11771 302 | 10 | 18 1477.06/1477.56 c 1093s | 22 | 4051996 | 1568822 | 11771 302 | 10 | 18 1479.15/1479.60 c 1095s | 22 | 4058092 | 1571122 | 11771 302 | 10 | 18 1481.15/1481.64 c 1097s | 22 | 4064763 | 1573822 | 11771 303 | 10 | 18 1483.15/1483.67 c 1099s | 22 | 4071988 | 1576522 | 11771 303 | 10 | 18 1485.25/1485.75 c 1101s | 22 | 4078792 | 1579222 | 11771 304 | 10 | 18 1487.25/1487.77 c 1103s | 22 | 4085510 | 1581922 | 11771 304 | 10 | 18 1489.26/1489.77 c 1105s | 22 | 4092128 | 1584622 | 11771 305 | 10 | 18 1491.36/1491.81 c 1108s | 22 | 4099541 | 1587622 | 11771 305 | 10 | 18 1493.35/1493.85 c 1110s | 22 | 4106799 | 1590522 | 11771 306 | 10 | 18 1495.45/1495.92 c 1112s | 22 | 4114221 | 1593522 | 11771 306 | 10 | 18 1497.45/1497.96 c 1114s | 22 | 4122091 | 1596522 | 11771 307 | 10 | 18 1499.55/1500.00 c 1116s | 22 | 4129141 | 1599422 | 11771 307 | 10 | 18 1501.55/1502.02 c 1118s | 22 | 4134845 | 1601522 | 11771 307 | 10 | 18 1503.55/1504.09 c 1120s | 22 | 4142086 | 1604322 | 11771 308 | 10 | 18 1505.65/1506.16 c 1122s | 22 | 4149538 | 1607122 | 11771 308 | 10 | 18 1507.75/1508.20 c 1124s | 22 | 4157121 | 1610022 | 11771 309 | 10 | 18 1509.75/1510.27 c 1126s | 22 | 4164157 | 1612722 | 11771 309 | 10 | 18 1511.75/1512.27 c 1128s | 22 | 4171393 | 1615422 | 11771 310 | 10 | 18 1513.84/1514.30 c 1130s | 22 | 4178915 | 1618322 | 11771 310 | 10 | 18 1515.84/1516.36 c 1132s | 22 | 4186445 | 1621222 | 11771 311 | 10 | 18 1517.94/1518.41 c 1134s | 22 | 4194519 | 1624422 | 11771 311 | 10 | 18 1519.95/1520.43 c 1136s | 22 | 4199720 | 1626422 | 11771 312 | 10 | 18 1521.94/1522.47 c 1138s | 22 | 4206623 | 1629222 | 11771 312 | 10 | 18 1524.04/1524.53 c 1140s | 22 | 4213095 | 1631722 | 11771 312 | 10 | 18 1526.04/1526.53 c 1142s | 22 | 4220095 | 1634522 | 11771 313 | 10 | 18 1528.04/1528.58 c 1144s | 22 | 4227181 | 1637222 | 11771 313 | 10 | 18 1530.14/1530.63 c 1146s | 22 | 4234647 | 1640022 | 11771 314 | 10 | 18 1532.15/1532.67 c 1148s | 22 | 4241835 | 1642822 | 11771 314 | 10 | 18 1534.14/1534.69 c 1150s | 22 | 4248605 | 1645622 | 11771 315 | 10 | 18 1536.24/1536.70 c 1152s | 22 | 4254986 | 1648422 | 11771 315 | 10 | 18 1538.24/1538.74 c 1154s | 22 | 4262089 | 1651322 | 11771 316 | 10 | 18 1540.24/1540.75 c 1156s | 22 | 4267217 | 1653522 | 11771 316 | 10 | 18 1542.34/1542.82 c 1159s | 22 | 4273925 | 1656022 | 11771 316 | 10 | 18 1544.34/1544.82 c 1161s | 22 | 4282858 | 1658822 | 11771 317 | 10 | 18 1546.34/1546.82 c 1163s | 22 | 4290602 | 1661622 | 11771 317 | 10 | 18 1548.33/1548.89 c 1165s | 22 | 4297997 | 1664522 | 11771 318 | 10 | 18 1550.33/1550.89 c 1167s | 22 | 4305482 | 1667322 | 11771 318 | 10 | 18 1552.43/1552.90 c 1169s | 22 | 4313092 | 1670122 | 11771 319 | 10 | 18 1554.43/1554.93 c 1171s | 22 | 4320492 | 1673022 | 11771 319 | 10 | 18 1556.43/1556.99 c 1173s | 22 | 4327838 | 1676122 | 11771 320 | 10 | 18 1558.54/1559.02 c 1175s | 22 | 4333076 | 1678322 | 11771 320 | 10 | 18 1560.53/1561.08 c 1177s | 22 | 4339385 | 1680822 | 11771 321 | 10 | 18 1562.53/1563.09 c 1179s | 22 | 4346411 | 1683622 | 11771 321 | 10 | 18 1564.63/1565.12 c 1181s | 22 | 4353562 | 1686422 | 11771 321 | 10 | 18 1566.63/1567.14 c 1183s | 22 | 4361116 | 1689322 | 11771 322 | 10 | 18 1568.73/1569.21 c 1185s | 22 | 4367940 | 1692022 | 11771 322 | 10 | 18 1570.73/1571.26 c 1187s | 22 | 4375488 | 1694922 | 11771 323 | 10 | 18 1572.74/1573.30 c 1189s | 22 | 4382041 | 1697822 | 11771 323 | 10 | 18 1574.83/1575.34 c 1191s | 22 | 4389405 | 1700822 | 11771 324 | 10 | 18 1576.83/1577.38 c 1193s | 22 | 4396429 | 1703822 | 11771 324 | 10 | 18 1578.83/1579.38 c 1195s | 22 | 4401569 | 1705922 | 11771 325 | 10 | 18 1580.94/1581.43 c 1197s | 22 | 4407921 | 1708522 | 11771 325 | 10 | 18 1582.94/1583.43 c 1199s | 22 | 4414069 | 1711122 | 11771 326 | 10 | 18 1584.94/1585.48 c 1201s | 22 | 4421310 | 1713922 | 11771 326 | 10 | 18 1587.04/1587.53 c 1203s | 22 | 4427545 | 1716622 | 11771 326 | 10 | 18 1589.04/1589.55 c 1205s | 22 | 4434930 | 1719522 | 11771 327 | 10 | 18 1591.14/1591.60 c 1207s | 22 | 4441477 | 1722122 | 11771 327 | 10 | 18 1593.13/1593.65 c 1209s | 22 | 4448202 | 1724722 | 11771 328 | 10 | 18 1595.23/1595.71 c 1211s | 22 | 4454898 | 1727622 | 11771 328 | 10 | 18 1597.23/1597.73 c 1213s | 22 | 4462188 | 1730322 | 11771 329 | 10 | 18 1599.24/1599.78 c 1215s | 22 | 4469479 | 1733322 | 11771 329 | 10 | 18 1601.34/1601.83 c 1218s | 22 | 4476609 | 1736122 | 11771 330 | 10 | 18 1603.33/1603.89 c 1220s | 22 | 4484009 | 1739222 | 11771 330 | 10 | 18 1605.43/1605.91 c 1222s | 22 | 4491825 | 1742322 | 11771 331 | 10 | 18 1607.43/1607.93 c 1224s | 22 | 4497488 | 1744622 | 11771 331 | 10 | 18 1609.43/1609.96 c 1226s | 22 | 4503547 | 1747222 | 11771 332 | 10 | 18 1611.53/1612.00 c 1228s | 22 | 4511077 | 1750122 | 11771 332 | 10 | 18 1613.54/1614.01 c 1230s | 22 | 4518157 | 1752922 | 11771 332 | 10 | 18 1615.53/1616.08 c 1232s | 22 | 4525713 | 1755822 | 11771 333 | 10 | 18 1617.63/1618.10 c 1234s | 22 | 4532762 | 1758722 | 11771 333 | 10 | 18 1619.63/1620.16 c 1236s | 22 | 4539187 | 1761322 | 11771 334 | 10 | 18 1621.63/1622.18 c 1238s | 22 | 4545990 | 1763922 | 11771 334 | 10 | 18 1623.73/1624.21 c 1240s | 22 | 4552542 | 1766622 | 11771 335 | 10 | 18 1625.73/1626.24 c 1242s | 22 | 4559033 | 1769422 | 11771 335 | 10 | 18 1627.74/1628.26 c 1244s | 22 | 4566105 | 1772122 | 11771 336 | 10 | 18 1629.83/1630.31 c 1246s | 22 | 4573250 | 1775122 | 11771 336 | 10 | 18 1631.83/1632.35 c 1248s | 22 | 4580314 | 1777922 | 11771 337 | 10 | 18 1633.83/1634.39 c 1250s | 22 | 4586379 | 1780422 | 11771 337 | 10 | 18 1635.93/1636.45 c 1252s | 22 | 4592910 | 1783122 | 11771 337 | 10 | 18 1637.93/1638.47 c 1254s | 22 | 4598930 | 1785822 | 11771 338 | 10 | 18 1640.03/1640.53 c 1256s | 22 | 4605630 | 1788622 | 11771 338 | 10 | 18 1642.03/1642.57 c 1258s | 22 | 4612425 | 1791322 | 11771 339 | 10 | 18 1644.13/1644.62 c 1260s | 22 | 4619333 | 1794222 | 11771 339 | 10 | 18 1646.12/1646.66 c 1262s | 22 | 4625825 | 1797022 | 11771 340 | 10 | 18 1648.12/1648.66 c 1264s | 22 | 4632941 | 1800022 | 11771 340 | 10 | 18 1650.22/1650.72 c 1266s | 22 | 4639346 | 1802722 | 11771 341 | 10 | 18 1652.22/1652.75 c 1268s | 22 | 4646436 | 1805522 | 11771 341 | 10 | 18 1654.23/1654.75 c 1270s | 22 | 4652950 | 1808122 | 11771 341 | 10 | 18 1656.33/1656.81 c 1273s | 22 | 4659843 | 1811222 | 11771 342 | 10 | 18 1658.32/1658.82 c 1275s | 22 | 4666794 | 1814022 | 11771 342 | 10 | 18 1660.32/1660.88 c 1277s | 22 | 4674085 | 1816822 | 11771 343 | 10 | 18 1662.42/1662.94 c 1279s | 22 | 4681224 | 1819722 | 11771 343 | 10 | 18 1664.42/1664.97 c 1281s | 22 | 4687803 | 1822622 | 11771 344 | 10 | 18 1666.52/1667.05 c 1283s | 22 | 4694782 | 1825522 | 11771 344 | 10 | 18 1668.53/1669.09 c 1285s | 22 | 4702208 | 1828422 | 11771 345 | 10 | 18 1670.63/1671.13 c 1287s | 22 | 4709751 | 1831322 | 11771 345 | 10 | 18 1672.62/1673.16 c 1289s | 22 | 4716531 | 1834322 | 11771 346 | 10 | 18 1674.62/1675.17 c 1291s | 22 | 4723264 | 1837122 | 11771 346 | 10 | 18 1676.72/1677.21 c 1293s | 22 | 4729898 | 1839722 | 11771 347 | 10 | 18 1678.72/1679.24 c 1295s | 22 | 4736807 | 1842722 | 11771 347 | 10 | 18 1680.72/1681.24 c 1297s | 22 | 4742810 | 1845322 | 11771 348 | 10 | 18 1683.12/1683.69 c 1299s | 22 | 4748463 | 1847622 | 11771 348 | 10 | 18 1685.21/1685.77 c 1301s | 22 | 4753253 | 1849322 | 11771 348 | 10 | 18 1687.31/1687.81 c 1304s | 22 | 4759661 | 1851822 | 11771 349 | 10 | 18 1689.32/1689.82 c 1306s | 22 | 4766080 | 1854322 | 11771 349 | 10 | 18 1691.31/1691.84 c 1308s | 22 | 4772741 | 1856722 | 11771 349 | 10 | 18 1693.31/1693.87 c 1310s | 22 | 4779611 | 1859222 | 11771 350 | 10 | 18 1695.31/1695.88 c 1312s | 22 | 4786353 | 1861722 | 11771 350 | 10 | 18 1697.41/1697.94 c 1314s | 22 | 4793659 | 1864322 | 11771 351 | 10 | 18 1699.51/1700.01 c 1316s | 22 | 4801161 | 1867222 | 11771 351 | 10 | 18 1701.52/1702.06 c 1318s | 22 | 4807654 | 1869822 | 11771 352 | 10 | 18 1703.62/1704.11 c 1320s | 22 | 4814263 | 1872522 | 11771 352 | 10 | 18 1705.61/1706.15 c 1322s | 22 | 4820987 | 1875222 | 11771 353 | 10 | 18 1707.61/1708.19 c 1324s | 22 | 4828626 | 1878022 | 11771 353 | 10 | 18 1709.71/1710.22 c 1326s | 22 | 4835676 | 1880822 | 11771 353 | 10 | 18 1711.71/1712.25 c 1328s | 22 | 4843328 | 1883622 | 11771 354 | 10 | 18 1713.71/1714.29 c 1330s | 22 | 4850778 | 1886422 | 11771 354 | 10 | 18 1715.81/1716.30 c 1332s | 22 | 4857950 | 1889322 | 11771 355 | 10 | 18 1717.81/1718.37 c 1334s | 22 | 4863209 | 1891322 | 11771 355 | 10 | 18 1719.91/1720.44 c 1336s | 22 | 4870367 | 1894022 | 11771 356 | 10 | 18 1722.01/1722.53 c 1338s | 22 | 4877326 | 1896622 | 11771 356 | 10 | 18 1724.01/1724.59 c 1340s | 22 | 4883608 | 1899222 | 11771 357 | 10 | 18 1726.11/1726.63 c 1342s | 22 | 4890741 | 1902022 | 11771 357 | 10 | 18 1728.11/1728.66 c 1344s | 22 | 4896949 | 1904522 | 11771 357 | 10 | 18 1730.21/1730.71 c 1346s | 22 | 4904384 | 1907222 | 11771 358 | 10 | 18 1732.22/1732.73 c 1348s | 22 | 4911355 | 1909922 | 11771 358 | 10 | 18 1734.21/1734.79 c 1351s | 22 | 4918145 | 1912622 | 11771 359 | 10 | 18 1736.31/1736.85 c 1353s | 22 | 4925849 | 1915522 | 11771 359 | 10 | 18 1738.31/1738.87 c 1355s | 22 | 4933299 | 1918422 | 11771 360 | 10 | 18 1740.31/1740.88 c 1357s | 22 | 4940897 | 1921522 | 11771 360 | 10 | 18 1742.31/1742.88 c 1359s | 22 | 4948396 | 1924422 | 11771 361 | 10 | 18 1744.71/1745.25 c 1361s | 22 | 4955588 | 1927422 | 11771 361 | 10 | 18 1746.81/1747.32 c 1363s | 22 | 4961365 | 1929622 | 11771 362 | 10 | 18 1748.82/1749.37 c 1365s | 22 | 4968249 | 1932322 | 11771 362 | 10 | 18 1750.91/1751.40 c 1367s | 22 | 4975288 | 1934822 | 11771 362 | 10 | 18 1752.91/1753.43 c 1369s | 22 | 4982642 | 1937422 | 11771 363 | 10 | 18 1754.91/1755.47 c 1371s | 22 | 4989837 | 1940122 | 11771 363 | 10 | 18 1757.01/1757.51 c 1373s | 22 | 4997396 | 1942922 | 11771 364 | 10 | 18 1759.01/1759.57 c 1375s | 22 | 5004783 | 1945822 | 11771 364 | 10 | 18 1761.11/1761.64 c 1377s | 22 | 5012422 | 1948622 | 11771 365 | 10 | 18 1763.11/1763.70 c 1379s | 22 | 5019093 | 1951522 | 11771 365 | 10 | 18 1765.21/1765.76 c 1381s | 22 | 5025747 | 1954322 | 11771 366 | 10 | 18 1767.20/1767.76 c 1383s | 22 | 5031880 | 1956822 | 11771 366 | 10 | 18 1769.30/1769.83 c 1386s | 22 | 5037531 | 1959122 | 11771 366 | 10 | 18 1771.30/1771.88 c 1388s | 22 | 5043949 | 1961722 | 11771 367 | 10 | 18 1773.40/1773.91 c 1390s | 22 | 5050699 | 1964222 | 11771 367 | 10 | 18 1775.40/1775.98 c 1392s | 22 | 5057795 | 1966722 | 11771 368 | 10 | 18 1777.41/1777.99 c 1394s | 22 | 5064655 | 1969422 | 11771 368 | 10 | 18 1779.51/1780.09 c 1396s | 22 | 5071971 | 1972022 | 11771 369 | 10 | 18 1781.50/1782.09 c 1398s | 22 | 5078678 | 1974722 | 11771 369 | 10 | 18 1783.60/1784.13 c 1400s | 22 | 5086271 | 1977522 | 11771 369 | 10 | 18 1785.60/1786.19 c 1402s | 22 | 5093446 | 1980522 | 11771 370 | 10 | 18 1787.70/1788.21 c 1404s | 22 | 5100387 | 1983222 | 11771 370 | 10 | 18 1789.70/1790.24 c 1406s | 22 | 5107452 | 1986022 | 11771 371 | 10 | 18 1791.71/1792.28 c 1408s | 22 | 5115029 | 1989022 | 11771 371 | 10 | 18 1793.81/1794.33 c 1410s | 22 | 5120482 | 1991122 | 11771 372 | 10 | 18 1795.80/1796.35 c 1412s | 22 | 5127758 | 1993922 | 11771 372 | 10 | 18 1797.90/1798.40 c 1414s | 22 | 5135177 | 1996622 | 11771 373 | 10 | 18 1799.90/1800.42 c 1416s | 22 | 5142515 | 1999422 | 11771 373 | 10 | 18
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-4106631-1466274902/watcher-4106631-1466274902 -o /tmp/evaluation-result-4106631-1466274902/solver-4106631-1466274902 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7756 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106631-1466274902.opb pid=9198 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.15 2.10 3/179 9201 /proc/meminfo: memFree=30101020/32872528 swapFree=496868/529572 [pid=9201] ppid=9198 vsize=731580 CPUtime=0 cores=1,3,5,7 /proc/9201/stat : 9201 (toysat) R 9198 9201 7739 0 -1 4202496 2727 0 0 0 0 0 0 0 20 0 4 0 29535667 749137920 3089 33554432000 4194304 16246674 140735059528896 140735059528320 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9201/statm: 183407 3099 441 2943 0 180301 0 [pid=9201/tid=9202] ppid=9198 vsize=748988 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9202/stat : 9202 (toysat) S 9198 9201 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29535667 766963712 3156 33554432000 4194304 16246674 140735059528896 139677617073392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9201/tid=9203] ppid=9198 vsize=753084 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9203/stat : 9203 (toysat) S 9198 9201 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29535667 771158016 3174 33554432000 4194304 16246674 140735059528896 139677606583536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9201/tid=9204] ppid=9198 vsize=757180 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9204/stat : 9204 (toysat) S 9198 9201 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29535667 775352320 3191 33554432000 4194304 16246674 140735059528896 139677596110000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100169 s] /proc/loadavg: 2.06 2.15 2.10 3/179 9201 /proc/meminfo: memFree=30101020/32872528 swapFree=496868/529572 [pid=9201] ppid=9198 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/9201/stat : 9201 (toysat) R 9198 9201 7739 0 -1 4202496 23912 0 0 0 6 3 0 0 20 0 4 0 29535667 1247350784 24261 33554432000 4194304 16246674 140735059528896 140735059511888 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9201/statm: 304529 24272 786 2943 0 301423 0 [pid=9201/tid=9202] ppid=9198 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9202/stat : 9202 (toysat) S 9198 9201 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29535667 1247350784 24280 33554432000 4194304 16246674 140735059528896 139677617073392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9201/tid=9203] ppid=9198 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9203/stat : 9203 (toysat) S 9198 9201 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29535667 1247350784 24288 33554432000 4194304 16246674 140735059528896 139677606583536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9201/tid=9204] ppid=9198 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9204/stat : 9204 (toysat) S 9198 9201 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29535667 1247350784 24296 33554432000 4194304 16246674 140735059528896 139677596110000 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) 1218116 [startup+0.200527 s] /proc/loadavg: 2.06 2.15 2.10 3/179 9201 /proc/meminfo: memFree=30101020/32872528 swapFree=496868/529572 [pid=9201] ppid=9198 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/9201/stat : 9201 (toysat) R 9198 9201 7739 0 -1 4202496 44383 0 0 0 13 6 0 0 20 0 4 0 29535667 1247350784 44731 33554432000 4194304 16246674 140735059528896 140735059511888 5523709 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9201/statm: 304529 44745 786 2943 0 301423 0 [pid=9201/tid=9202] ppid=9198 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9202/stat : 9202 (toysat) S 9198 9201 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29535667 1247350784 44753 33554432000 4194304 16246674 140735059528896 139677617073392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9201/tid=9203] ppid=9198 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9203/stat : 9203 (toysat) S 9198 9201 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29535667 1247350784 44761 33554432000 4194304 16246674 140735059528896 139677606583536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9201/tid=9204] ppid=9198 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9204/stat : 9204 (toysat) S 9198 9201 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29535667 1247350784 44768 33554432000 4194304 16246674 140735059528896 139677596110000 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) 1218116 [startup+0.300493 s] /proc/loadavg: 2.06 2.15 2.10 3/179 9201 /proc/meminfo: memFree=30101020/32872528 swapFree=496868/529572 [pid=9201] ppid=9198 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/9201/stat : 9201 (toysat) R 9198 9201 7739 0 -1 4202496 64873 0 0 0 20 9 0 0 20 0 4 0 29535667 1247350784 65222 33554432000 4194304 16246674 140735059528896 140735059511888 5830026 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9201/statm: 304529 65236 786 2943 0 301423 0 [pid=9201/tid=9202] ppid=9198 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9202/stat : 9202 (toysat) S 9198 9201 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29535667 1247350784 65243 33554432000 4194304 16246674 140735059528896 139677617073392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9201/tid=9203] ppid=9198 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9203/stat : 9203 (toysat) S 9198 9201 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29535667 1247350784 65252 33554432000 4194304 16246674 140735059528896 139677606583536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9201/tid=9204] ppid=9198 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9204/stat : 9204 (toysat) S 9198 9201 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29535667 1247350784 65261 33554432000 4194304 16246674 140735059528896 139677596110000 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) 1218116 [startup+0.700402 s] /proc/loadavg: 2.06 2.15 2.10 3/179 9201 /proc/meminfo: memFree=30101020/32872528 swapFree=496868/529572 [pid=9201] ppid=9198 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/9201/stat : 9201 (toysat) R 9198 9201 7739 0 -1 4202496 146011 0 0 0 51 18 0 0 20 0 4 0 29535667 1247350784 146359 33554432000 4194304 16246674 140735059528896 140735059511888 5665836 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9201/statm: 304529 146367 786 2943 0 301423 0 [pid=9201/tid=9202] ppid=9198 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9202/stat : 9202 (toysat) S 9198 9201 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29535667 1247350784 146372 33554432000 4194304 16246674 140735059528896 139677617073392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9201/tid=9203] ppid=9198 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9203/stat : 9203 (toysat) S 9198 9201 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29535667 1247350784 146380 33554432000 4194304 16246674 140735059528896 139677606583536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9201/tid=9204] ppid=9198 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9204/stat : 9204 (toysat) S 9198 9201 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29535667 1247350784 146386 33554432000 4194304 16246674 140735059528896 139677596110000 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) 1218116 [startup+1.50049 s] /proc/loadavg: 2.06 2.15 2.10 3/183 9205 /proc/meminfo: memFree=29116000/32872528 swapFree=496868/529572 [pid=9201] ppid=9198 vsize=1221188 CPUtime=1.49 cores=1,3,5,7 /proc/9201/stat : 9201 (toysat) R 9198 9201 7739 0 -1 4202496 246218 0 0 0 119 30 0 0 20 0 4 0 29535667 1250496512 246544 33554432000 4194304 16246674 140735059528896 140735059528208 13810720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9201/statm: 305297 246545 845 2943 0 302191 0 [pid=9201/tid=9202] ppid=9198 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9202/stat : 9202 (toysat) S 9198 9201 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29535667 1250496512 246549 33554432000 4194304 16246674 140735059528896 139677617073392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9201/tid=9203] ppid=9198 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9203/stat : 9203 (toysat) S 9198 9201 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29535667 1250496512 246549 33554432000 4194304 16246674 140735059528896 139677606583536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9201/tid=9204] ppid=9198 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9204/stat : 9204 (toysat) S 9198 9201 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29535667 1250496512 246549 33554432000 4194304 16246674 140735059528896 139677596110000 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) 1221188 [startup+3.10041 s] /proc/loadavg: 2.14 2.16 2.11 4/183 9205 /proc/meminfo: memFree=29033788/32872528 swapFree=496868/529572 [pid=9201] ppid=9198 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/9201/stat : 9201 (toysat) R 9198 9201 7739 0 -1 4202496 267631 0 0 0 276 33 0 0 20 0 4 0 29535667 1337528320 267957 33554432000 4194304 16246674 140735059528896 140735059527560 13906976 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9201/statm: 326545 267957 845 2943 0 323439 0 [pid=9201/tid=9202] ppid=9198 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9202/stat : 9202 (toysat) S 9198 9201 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29535667 1337528320 267957 33554432000 4194304 16246674 140735059528896 139677617073392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9201/tid=9203] ppid=9198 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9203/stat : 9203 (toysat) S 9198 9201 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29535667 1337528320 267957 33554432000 4194304 16246674 140735059528896 139677606583536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9201/tid=9204] ppid=9198 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9204/stat : 9204 (toysat) S 9198 9201 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29535667 1337528320 267957 33554432000 4194304 16246674 140735059528896 139677596110000 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) 1306180 [startup+6.30042 s] /proc/loadavg: 2.14 2.16 2.11 3/183 9205 /proc/meminfo: memFree=29030192/32872528 swapFree=496868/529572 [pid=9201] ppid=9198 vsize=1310276 CPUtime=6.29 cores=1,3,5,7 /proc/9201/stat : 9201 (toysat) R 9198 9201 7739 0 -1 4202496 268410 0 0 0 596 33 0 0 20 0 4 0 29535667 1341722624 268736 33554432000 4194304 16246674 140735059528896 140735059510784 5546093 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9201/statm: 327569 268736 847 2943 0 324463 0 [pid=9201/tid=9202] ppid=9198 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9202/stat : 9202 (toysat) S 9198 9201 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29535667 1341722624 268736 33554432000 4194304 16246674 140735059528896 139677617073392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9201/tid=9203] ppid=9198 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9203/stat : 9203 (toysat) S 9198 9201 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29535667 1341722624 268736 33554432000 4194304 16246674 140735059528896 139677606583536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9201/tid=9204] ppid=9198 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9204/stat : 9204 (toysat) S 9198 9201 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29535667 1341722624 268736 33554432000 4194304 16246674 140735059528896 139677596110000 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) 1310276 [startup+12.7004 s] /proc/loadavg: 2.13 2.16 2.11 3/183 9205 /proc/meminfo: memFree=29021212/32872528 swapFree=496868/529572 [pid=9201] ppid=9198 vsize=1316420 CPUtime=12.69 cores=1,3,5,7 /proc/9201/stat : 9201 (toysat) R 9198 9201 7739 0 -1 4202496 269999 0 0 0 1236 33 0 0 20 0 4 0 29535667 1348014080 270325 33554432000 4194304 16246674 140735059528896 140735059510784 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9201/statm: 329105 270325 848 2943 0 325999 0 [pid=9201/tid=9202] ppid=9198 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9202/stat : 9202 (toysat) S 9198 9201 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29535667 1348014080 270325 33554432000 4194304 16246674 140735059528896 139677617073392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9201/tid=9203] ppid=9198 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9203/stat : 9203 (toysat) S 9198 9201 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29535667 1348014080 270325 33554432000 4194304 16246674 140735059528896 139677606583536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9201/tid=9204] ppid=9198 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9204/stat : 9204 (toysat) S 9198 9201 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29535667 1348014080 270325 33554432000 4194304 16246674 140735059528896 139677596110000 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) 1316420 [startup+25.5004 s] /proc/loadavg: 2.10 2.15 2.10 3/183 9205 /proc/meminfo: memFree=29017848/32872528 swapFree=496868/529572 [pid=9201] ppid=9198 vsize=1319492 CPUtime=25.49 cores=1,3,5,7 /proc/9201/stat : 9201 (toysat) R 9198 9201 7739 0 -1 4202496 270793 0 0 0 2516 33 0 0 20 0 4 0 29535667 1351159808 271119 33554432000 4194304 16246674 140735059528896 140735059510784 12483387 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9201/statm: 329873 271119 848 2943 0 326767 0 [pid=9201/tid=9202] ppid=9198 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9202/stat : 9202 (toysat) S 9198 9201 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29535667 1351159808 271119 33554432000 4194304 16246674 140735059528896 139677617073392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9201/tid=9203] ppid=9198 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9203/stat : 9203 (toysat) S 9198 9201 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29535667 1351159808 271119 33554432000 4194304 16246674 140735059528896 139677606583536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9201/tid=9204] ppid=9198 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9204/stat : 9204 (toysat) S 9198 9201 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29535667 1351159808 271119 33554432000 4194304 16246674 140735059528896 139677596110000 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) 1319492 [startup+51.1004 s] /proc/loadavg: 2.06 2.14 2.10 3/183 9205 /proc/meminfo: memFree=29015716/32872528 swapFree=496868/529572 [pid=9201] ppid=9198 vsize=1320516 CPUtime=51.08 cores=1,3,5,7 /proc/9201/stat : 9201 (toysat) R 9198 9201 7739 0 -1 4202496 271218 0 0 0 5075 33 0 0 20 0 4 0 29535667 1352208384 271544 33554432000 4194304 16246674 140735059528896 140735059510784 5662038 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9201/statm: 330129 271544 848 2943 0 327023 0 [pid=9201/tid=9202] ppid=9198 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9202/stat : 9202 (toysat) S 9198 9201 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29535667 1352208384 271544 33554432000 4194304 16246674 140735059528896 139677617073392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9201/tid=9203] ppid=9198 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9203/stat : 9203 (toysat) S 9198 9201 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29535667 1352208384 271544 33554432000 4194304 16246674 140735059528896 139677606583536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9201/tid=9204] ppid=9198 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9204/stat : 9204 (toysat) S 9198 9201 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29535667 1352208384 271544 33554432000 4194304 16246674 140735059528896 139677596110000 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) 1320516 [startup+102.3 s] /proc/loadavg: 2.07 2.13 2.09 3/183 9206 /proc/meminfo: memFree=29015832/32872528 swapFree=496868/529572 [pid=9201] ppid=9198 vsize=1320516 CPUtime=102.28 cores=1,3,5,7 /proc/9201/stat : 9201 (toysat) R 9198 9201 7739 0 -1 4202496 271218 0 0 0 10194 34 0 0 20 0 4 0 29535667 1352208384 271544 33554432000 4194304 16246674 140735059528896 140735059510784 6021927 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9201/statm: 330129 271544 848 2943 0 327023 0 [pid=9201/tid=9202] ppid=9198 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9202/stat : 9202 (toysat) S 9198 9201 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29535667 1352208384 271544 33554432000 4194304 16246674 140735059528896 139677617073392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9201/tid=9203] ppid=9198 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9203/stat : 9203 (toysat) S 9198 9201 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29535667 1352208384 271544 33554432000 4194304 16246674 140735059528896 139677606583536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9201/tid=9204] ppid=9198 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9204/stat : 9204 (toysat) S 9198 9201 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29535667 1352208384 271544 33554432000 4194304 16246674 140735059528896 139677596110000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1320516 ################ # More data... # ################ /proc/9201/task/9204/stat : 9204 (toysat) S 9198 9201 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29535667 1361645568 273851 33554432000 4194304 16246674 140735059528896 139677596110000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1329732 [startup+1362.3 s] /proc/loadavg: 2.08 2.08 2.06 3/183 9285 /proc/meminfo: memFree=28971952/32872528 swapFree=496868/529572 [pid=9201] ppid=9198 vsize=1329732 CPUtime=1361.87 cores=1,3,5,7 /proc/9201/stat : 9201 (toysat) R 9198 9201 7739 0 -1 4202496 273881 0 0 0 136141 46 0 0 20 0 4 0 29535667 1361645568 273853 33554432000 4194304 16246674 140735059528896 140735059510784 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9201/statm: 332433 273853 848 2943 0 329327 0 [pid=9201/tid=9202] ppid=9198 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9202/stat : 9202 (toysat) S 9198 9201 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29535667 1361645568 273853 33554432000 4194304 16246674 140735059528896 139677617073392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9201/tid=9203] ppid=9198 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9203/stat : 9203 (toysat) S 9198 9201 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29535667 1361645568 273853 33554432000 4194304 16246674 140735059528896 139677606583536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9201/tid=9204] ppid=9198 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9204/stat : 9204 (toysat) S 9198 9201 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29535667 1361645568 273853 33554432000 4194304 16246674 140735059528896 139677596110000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1329732 [startup+1422.3 s] /proc/loadavg: 2.05 2.07 2.05 3/183 9335 /proc/meminfo: memFree=28994064/32872528 swapFree=496868/529572 [pid=9201] ppid=9198 vsize=1333828 CPUtime=1421.85 cores=1,3,5,7 /proc/9201/stat : 9201 (toysat) R 9198 9201 7739 0 -1 4202496 274905 0 0 0 142139 46 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 140735059510784 6837238 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9201/statm: 333457 274877 848 2943 0 330351 0 [pid=9201/tid=9202] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9202/stat : 9202 (toysat) S 9198 9201 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677617073392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9201/tid=9203] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9203/stat : 9203 (toysat) S 9198 9201 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677606583536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9201/tid=9204] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9204/stat : 9204 (toysat) S 9198 9201 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677596110000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1333828 [startup+1482.3 s] /proc/loadavg: 2.02 2.05 2.04 3/183 9337 /proc/meminfo: memFree=28960732/32872528 swapFree=496868/529572 [pid=9201] ppid=9198 vsize=1333828 CPUtime=1481.85 cores=1,3,5,7 /proc/9201/stat : 9201 (toysat) R 9198 9201 7739 0 -1 4202496 274905 0 0 0 148138 47 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 140735059510784 5674844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9201/statm: 333457 274877 848 2943 0 330351 0 [pid=9201/tid=9202] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9202/stat : 9202 (toysat) S 9198 9201 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677617073392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9201/tid=9203] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9203/stat : 9203 (toysat) S 9198 9201 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677606583536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9201/tid=9204] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9204/stat : 9204 (toysat) S 9198 9201 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677596110000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1333828 [startup+1542.3 s] /proc/loadavg: 2.08 2.06 2.04 3/184 9341 /proc/meminfo: memFree=28946856/32872528 swapFree=496868/529572 [pid=9201] ppid=9198 vsize=1333828 CPUtime=1541.84 cores=1,3,5,7 /proc/9201/stat : 9201 (toysat) R 9198 9201 7739 0 -1 4202496 274905 0 0 0 154137 47 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 140735059510784 5545713 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9201/statm: 333457 274877 848 2943 0 330351 0 [pid=9201/tid=9202] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9202/stat : 9202 (toysat) S 9198 9201 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677617073392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9201/tid=9203] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9203/stat : 9203 (toysat) S 9198 9201 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677606583536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9201/tid=9204] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9204/stat : 9204 (toysat) S 9198 9201 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677596110000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1333828 [startup+1602.3 s] /proc/loadavg: 2.12 2.07 2.05 3/184 9365 /proc/meminfo: memFree=28946840/32872528 swapFree=496868/529572 [pid=9201] ppid=9198 vsize=1333828 CPUtime=1601.83 cores=1,3,5,7 /proc/9201/stat : 9201 (toysat) R 9198 9201 7739 0 -1 4202496 274905 0 0 0 160135 48 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 140735059510784 6837238 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9201/statm: 333457 274877 848 2943 0 330351 0 [pid=9201/tid=9202] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9202/stat : 9202 (toysat) S 9198 9201 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677617073392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9201/tid=9203] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9203/stat : 9203 (toysat) S 9198 9201 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677606583536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9201/tid=9204] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9204/stat : 9204 (toysat) S 9198 9201 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677596110000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1333828 [startup+1662.3 s] /proc/loadavg: 2.16 2.09 2.05 3/183 9366 /proc/meminfo: memFree=28946504/32872528 swapFree=496868/529572 [pid=9201] ppid=9198 vsize=1333828 CPUtime=1661.83 cores=1,3,5,7 /proc/9201/stat : 9201 (toysat) R 9198 9201 7739 0 -1 4202496 274905 0 0 0 166135 48 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 140735059511896 5675123 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9201/statm: 333457 274877 848 2943 0 330351 0 [pid=9201/tid=9202] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9202/stat : 9202 (toysat) S 9198 9201 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677617073392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9201/tid=9203] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9203/stat : 9203 (toysat) S 9198 9201 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677606583536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9201/tid=9204] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9204/stat : 9204 (toysat) S 9198 9201 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677596110000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1333828 [startup+1722.3 s] /proc/loadavg: 2.06 2.07 2.05 3/183 9367 /proc/meminfo: memFree=28923716/32872528 swapFree=496868/529572 [pid=9201] ppid=9198 vsize=1333828 CPUtime=1721.81 cores=1,3,5,7 /proc/9201/stat : 9201 (toysat) R 9198 9201 7739 0 -1 4202496 274905 0 0 0 172132 49 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 140735059510784 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9201/statm: 333457 274877 848 2943 0 330351 0 [pid=9201/tid=9202] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9202/stat : 9202 (toysat) S 9198 9201 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677617073392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9201/tid=9203] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9203/stat : 9203 (toysat) S 9198 9201 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677606583536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9201/tid=9204] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9204/stat : 9204 (toysat) S 9198 9201 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677596110000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1333828 [startup+1782.31 s] /proc/loadavg: 2.02 2.06 2.04 3/183 9369 /proc/meminfo: memFree=28923248/32872528 swapFree=496868/529572 [pid=9201] ppid=9198 vsize=1333828 CPUtime=1781.81 cores=1,3,5,7 /proc/9201/stat : 9201 (toysat) R 9198 9201 7739 0 -1 4202496 274905 0 0 0 178132 49 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 140735059511896 12477716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9201/statm: 333457 274877 848 2943 0 330351 0 [pid=9201/tid=9202] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9202/stat : 9202 (toysat) S 9198 9201 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677617073392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9201/tid=9203] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9203/stat : 9203 (toysat) S 9198 9201 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677606583536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9201/tid=9204] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9204/stat : 9204 (toysat) S 9198 9201 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677596110000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1333828 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.01 2.05 2.04 3/183 9369 /proc/meminfo: memFree=28923588/32872528 swapFree=496868/529572 [pid=9201] ppid=9198 vsize=1333828 CPUtime=1800 cores=1,3,5,7 /proc/9201/stat : 9201 (toysat) R 9198 9201 7739 0 -1 4202496 274905 0 0 0 179951 49 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 140735059510784 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9201/statm: 333457 274877 848 2943 0 330351 0 [pid=9201/tid=9202] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9202/stat : 9202 (toysat) S 9198 9201 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677617073392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9201/tid=9203] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9203/stat : 9203 (toysat) S 9198 9201 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677606583536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9201/tid=9204] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9204/stat : 9204 (toysat) S 9198 9201 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677596110000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1333828 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 9201 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.01 2.05 2.04 3/183 9369 /proc/meminfo: memFree=28923588/32872528 swapFree=496868/529572 [pid=9201] ppid=9198 vsize=1333828 CPUtime=1800 cores=1,3,5,7 /proc/9201/stat : 9201 (toysat) R 9198 9201 7739 0 -1 4202496 274905 0 0 0 179951 49 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 140735059510784 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9201/statm: 333457 274877 848 2943 0 330351 0 [pid=9201/tid=9202] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9202/stat : 9202 (toysat) S 9198 9201 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677617073392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9201/tid=9203] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9203/stat : 9203 (toysat) S 9198 9201 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677606583536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9201/tid=9204] ppid=9198 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/9201/task/9204/stat : 9204 (toysat) S 9198 9201 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29535667 1365839872 274877 33554432000 4194304 16246674 140735059528896 139677596110000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1333828 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.01 CPU user time (s): 1799.52 CPU system time (s): 0.494924 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (KiB): 1333828 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.52 system time used= 0.494924 maximum resident set size= 1099508 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274905 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= 372 involuntary context switches= 1837 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.5903 second user time and 6.93195 second system time The end
Begin job on node141 at 2016-06-18 20:35:02 IDJOB=4106631 IDBENCH=48147 IDSOLVER=2542 FILE ID=node141/4106631-1466274902 RUNJOBID= node141-1466264081-7756 PBS_JOBID= 19918217 Free space on /tmp= 71712 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_3.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106631-1466274902/watcher-4106631-1466274902 -o /tmp/evaluation-result-4106631-1466274902/solver-4106631-1466274902 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7756 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106631-1466274902.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8decd85a4aebca069c2c72faa547de31 RANDOM SEED=1011642454 node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 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 : 2666.547 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 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 : 2666.547 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30102176 kB Buffers: 154704 kB Cached: 257472 kB SwapCached: 2528 kB Active: 1228780 kB Inactive: 268368 kB Active(anon): 1085188 kB Inactive(anon): 2028 kB Active(file): 143592 kB Inactive(file): 266340 kB Unevictable: 529572 kB Mlocked: 496868 kB SwapTotal: 67108856 kB SwapFree: 67099068 kB Dirty: 16336 kB Writeback: 0 kB AnonPages: 1707240 kB Mapped: 10700 kB Shmem: 0 kB Slab: 609892 kB SReclaimable: 53452 kB SUnreclaim: 556440 kB KernelStack: 1520 kB PageTables: 7248 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1754440 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 131072 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= 71696 MiB End job on node141 at 2016-06-18 21:05:03