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.07 | 1800.62 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_2.opb |
| MD5SUM | e4d0ce6c299ae1a05f607b170c68aad6 |
| 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 | 39 |
| Best CPU time to get the best result obtained on this benchmark | 1800.54 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 33 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| 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 | 500 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 46 |
| Number of terms in the objective function | 500 |
| 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 | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 15670 |
| Sum of products size (including duplicates) | 31340 |
| Number of different products | 15670 |
| Sum of products size | 31340 |
0.00/0.00 c 2016-06-07T01:45:24+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4080136-1465256724.opb"] 0.00/0.01 c use --random-gen="1568999297 2593053161 1915579548 3851798733 3058757761 2740539516 3002466776 2749757844 273251719 1996837133 3320245361 2241534023 1770953661 3421768992 2515584795 3190177153 2335814461 3616325535 2814017620 2654589151 259341474 3160034163 3704336896 3599268169 1739425671 1103318658 329560967 728004536 2121375276 947910396 3939433861 2804679864 236297701 1954696870 1234514553 450522469 1332554302 4168006046 711353109 2766189485 2838545201 999415485 1481082027 704870118 3099103557 4049490531 1294468523 3768926133 420209384 4139118750 498233560 2482209031 2162264117 2277286390 1686904449 4060042311 1387893989 4020635815 2581626343 2777084807 191640418 2615336260 2983833970 528288133 2001715463 3614891491 2864049955 823348270 3333954241 1307940517 2068008427 1048365131 2263565687 969464815 1188352598 1820325569 208589713 4236761285 2138541430 3889963692 1262416493 2583690091 820564144 2123377618 3229584962 1859651941 1634192559 3796378178 1367785178 1886521959 3300673715 3827534854 2892030240 1511662925 3052809403 2083332166 36228269 2965946026 1647844168 1013492307 2422480340 420025489 3622207764 458564071 1007677217 3114442973 3427875446 2125971879 4101269306 2452714477 2430874751 986815020 1897251900 828316163 3417536242 2357280696 604493909 3390216338 2267362815 29283656 352497385 1690723396 2635376363 926003117 130662754 3597200421 2885129388 791560583 3691738108 4253177373 1574048672 1533129379 2040661845 810195926 1658440028 3684789627 830413288 1080348398 177947791 2560287971 2416890912 2854448171 2632356462 2170562109 2017952781 1590517314 3574104067 22657748 1478515892 1716864304 542347787 3642703237 350836249 1737639475 3934825021 2259282819 2412278296 958841940 1743048847 4149660587 1281495658 814754395 714578748 1218747523 3980125299 1495467779 1626241952 3665122516 3529433825 2628196545 977019246 914247467 504365702 2763184277 835608234 781235412 4103206129 4083726898 1644098411 4098854993 416276613 1069501358 298131918 521673695 4251848406 2120664215 3467013581 833675988 2892288050 1136050647 1053378287 3649552530 1047601054 4195421855 4174037168 3781716678 2219741471 3218896345 4004599320 1373252457 2728491964 2561074258 3105791308 3798537586 289699966 2528410011 3070435677 1479575037 3782442546 939292533 1275705990 3139813131 3017607100 2746951259 1203111995 79276961 4198791627 2575733696 233664534 627755360 4127373126 3461571301 224371335 3900953721 3274842375 3980612105 2087696488 1587573894 971191356 4289174487 4000076391 2034849466 592333440 1452720957 3329921553 638105276 1577327284 1123545282 3513347621 2290842952 277722881 2086494033 1157493758 136500033 4093770571 2448887833 1381846195 2072272508 899768720 938086441 639622573 2230837580 72207946 1148863313 3002060159 3163359428 255 362436" option to reproduce the execution 0.00/0.06 c #vars 500 0.00/0.06 c #constraints 500 0.28/0.38 c BCD2: Hardening is enabled. 0.28/0.38 c BCD2: BiasedSearch is enabled. 0.28/0.38 c Solving starts ... 0.28/0.38 c ============================[ Search Statistics ]============================ 0.28/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.38 c | | | | Limit GC | Var | Constra 0.28/0.38 c ============================================================================= 0.28/0.38 c 0.0s | 0 | 0 | 0 | 16003 0 | 0 | 0 0.39/0.42 c 0.0s | 0 | 1549 | 0 | 16003 0 | 0 | 0 0.39/0.42 c #cpu_time = 0.031s 0.39/0.42 c #wall_clock_time = 0.031s 0.39/0.42 c #decision = 1549 0.39/0.42 c #random_decision = 4 0.39/0.42 c #conflict = 0 0.39/0.42 c #restart = 0 0.39/0.42 o 441 0.39/0.42 c BCD2: updating upper bound: 500 -> 440 0.39/0.42 c BCD2: 0 <= obj <= 440 0.39/0.42 c BCD2: #cores=0, #unrelaxed=500, #relaxed=0, #hardened=0 0.39/0.42 c BCD2: #sat=1 #unsat=1 bias=1/2 0.39/0.42 c Solving starts ... 0.39/0.42 c ============================[ Search Statistics ]============================ 0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.42 c | | | | Limit GC | Var | Constra 0.39/0.42 c ============================================================================= 0.39/0.42 c 0.0s | 0 | 0 | 0 | 16003 0 | 0 | 0 0.39/0.45 c 0.0s | 0 | 422 | 0 | 16003 0 | 0 | 0 0.39/0.45 c #cpu_time = 0.030s 0.39/0.45 c #wall_clock_time = 0.030s 0.39/0.45 c #decision = 422 0.39/0.45 c #random_decision = 0 0.39/0.45 c #conflict = 0 0.39/0.45 c #restart = 0 0.39/0.45 c BCD2: found a new core of size 27: cost of the new core is >=1 0.39/0.45 c lower bound updated to 1 0.39/0.49 c BCD2: 1 <= obj <= 440 0.39/0.49 c BCD2: #cores=1, #unrelaxed=473, #relaxed=27, #hardened=0 0.39/0.49 c BCD2: #sat=1 #unsat=2 bias=2/3 0.39/0.49 c Solving starts ... 0.39/0.49 c ============================[ Search Statistics ]============================ 0.39/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.49 c | | | | Limit GC | Var | Constra 0.39/0.49 c ============================================================================= 0.39/0.49 c 0.0s | 0 | 0 | 0 | 16003 0 | 0 | 0 0.49/0.52 c 0.0s | 0 | 425 | 0 | 16003 0 | 0 | 0 0.49/0.52 c #cpu_time = 0.028s 0.49/0.52 c #wall_clock_time = 0.028s 0.49/0.52 c #decision = 425 0.49/0.52 c #random_decision = 0 0.49/0.52 c #conflict = 0 0.49/0.52 c #restart = 0 0.49/0.52 c BCD2: found a new core of size 28: cost of the new core is >=1 0.49/0.52 c lower bound updated to 2 0.49/0.52 c BCD2: 2 <= obj <= 440 0.49/0.52 c BCD2: #cores=2, #unrelaxed=445, #relaxed=55, #hardened=0 0.49/0.52 c BCD2: #sat=1 #unsat=3 bias=3/4 0.49/0.52 c Solving starts ... 0.49/0.52 c ============================[ Search Statistics ]============================ 0.49/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.52 c | | | | Limit GC | Var | Constra 0.49/0.52 c ============================================================================= 0.49/0.52 c 0.0s | 0 | 0 | 0 | 16003 0 | 0 | 0 0.49/0.55 c 0.0s | 0 | 414 | 0 | 16003 0 | 0 | 0 0.49/0.55 c #cpu_time = 0.027s 0.49/0.55 c #wall_clock_time = 0.027s 0.49/0.55 c #decision = 414 0.49/0.55 c #random_decision = 0 0.49/0.55 c #conflict = 0 0.49/0.55 c #restart = 0 0.49/0.55 c BCD2: found a new core of size 31: cost of the new core is >=1 0.49/0.55 c lower bound updated to 3 0.49/0.55 c BCD2: 3 <= obj <= 440 0.49/0.55 c BCD2: #cores=3, #unrelaxed=414, #relaxed=86, #hardened=0 0.49/0.55 c BCD2: #sat=1 #unsat=4 bias=4/5 0.49/0.55 c Solving starts ... 0.49/0.55 c ============================[ Search Statistics ]============================ 0.49/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.55 c | | | | Limit GC | Var | Constra 0.49/0.55 c ============================================================================= 0.49/0.55 c 0.0s | 0 | 0 | 0 | 16003 0 | 0 | 0 0.49/0.59 c 0.0s | 0 | 416 | 0 | 16003 0 | 0 | 0 0.49/0.59 c #cpu_time = 0.028s 0.49/0.59 c #wall_clock_time = 0.028s 0.49/0.59 c #decision = 416 0.49/0.59 c #random_decision = 0 0.49/0.59 c #conflict = 0 0.49/0.59 c #restart = 0 0.49/0.59 c BCD2: found a new core of size 36: cost of the new core is >=1 0.49/0.59 c lower bound updated to 4 0.49/0.59 c BCD2: 4 <= obj <= 440 0.49/0.59 c BCD2: #cores=4, #unrelaxed=378, #relaxed=122, #hardened=0 0.49/0.59 c BCD2: #sat=1 #unsat=5 bias=5/6 0.49/0.59 c Solving starts ... 0.49/0.59 c ============================[ Search Statistics ]============================ 0.49/0.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.59 c | | | | Limit GC | Var | Constra 0.49/0.59 c ============================================================================= 0.59/0.62 c 0.0s | 0 | 0 | 0 | 16003 0 | 0 | 0 0.59/0.67 c 0.0s | 0 | 2521 | 0 | 16003 0 | 0 | 0 0.59/0.67 c #cpu_time = 0.035s 0.59/0.67 c #wall_clock_time = 0.035s 0.59/0.67 c #decision = 2521 0.59/0.67 c #random_decision = 3 0.59/0.67 c #conflict = 0 0.59/0.67 c #restart = 0 0.59/0.67 o 71 0.59/0.67 c BCD2: updating upper bound: 440 -> 70 0.59/0.67 c BCD2: 4 <= obj <= 70 0.59/0.67 c BCD2: #cores=4, #unrelaxed=378, #relaxed=122, #hardened=0 0.59/0.67 c BCD2: #sat=2 #unsat=5 bias=5/7 0.59/0.67 c Solving starts ... 0.59/0.67 c ============================[ Search Statistics ]============================ 0.59/0.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.67 c | | | | Limit GC | Var | Constra 0.59/0.67 c ============================================================================= 0.59/0.67 c 0.0s | 0 | 0 | 0 | 16003 0 | 0 | 1 0.69/0.74 c 0.1s | 0 | 2155 | 37 | 16003 0 | 0 | 1 0.69/0.74 c #cpu_time = 0.058s 0.69/0.74 c #wall_clock_time = 0.058s 0.69/0.74 c #decision = 2155 0.69/0.74 c #random_decision = 7 0.69/0.74 c #conflict = 37 0.69/0.74 c #restart = 0 0.69/0.74 o 51 0.69/0.74 c BCD2: updating upper bound: 70 -> 50 0.69/0.75 c BCD2: 4 <= obj <= 50 0.69/0.75 c BCD2: #cores=4, #unrelaxed=378, #relaxed=122, #hardened=0 0.69/0.75 c BCD2: #sat=3 #unsat=5 bias=5/8 0.69/0.75 c Solving starts ... 0.69/0.75 c ============================[ Search Statistics ]============================ 0.69/0.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.75 c | | | | Limit GC | Var | Constra 0.69/0.75 c ============================================================================= 0.69/0.75 c 0.0s | 0 | 0 | 0 | 16003 0 | 0 | 2 0.89/0.91 c 0.2s | 1 | 586 | 100 | 17604 0 | 0 | 2 1.09/1.14 c 0.4s | 2 | 1338 | 250 | 19365 0 | 0 | 2 1.39/1.48 c 0.7s | 3 | 2152 | 475 | 21302 0 | 0 | 2 1.99/2.05 c 1.3s | 4 | 3137 | 813 | 23433 0 | 0 | 2 2.89/2.98 c 2.2s | 5 | 4379 | 1320 | 25777 0 | 0 | 2 4.39/4.47 c 3.7s | 6 | 5874 | 2081 | 28355 0 | 0 | 2 6.48/6.50 c 5.7s | 6 | 7965 | 3181 | 31191 0 | 0 | 2 6.48/6.57 c 5.8s | 7 | 8039 | 3223 | 31191 0 | 0 | 2 8.68/8.77 c 8.0s | 7 | 10655 | 4523 | 31191 0 | 0 | 2 9.29/9.39 c 8.6s | 8 | 11258 | 4936 | 34311 0 | 0 | 2 11.39/11.46 c 10.7s | 8 | 13107 | 5836 | 34311 0 | 0 | 2 13.59/13.65 c 12.9s | 8 | 14827 | 6836 | 34311 0 | 0 | 2 15.29/15.39 c 14.6s | 9 | 15912 | 7506 | 37743 0 | 0 | 2 17.39/17.44 c 16.7s | 9 | 17502 | 8206 | 37743 0 | 0 | 2 19.59/19.64 c 18.9s | 9 | 19030 | 9306 | 37743 0 | 0 | 2 21.78/21.87 c 21.1s | 9 | 20067 | 10106 | 37743 0 | 0 | 2 24.08/24.11 c 23.4s | 9 | 21235 | 10906 | 37743 0 | 0 | 2 24.88/24.90 c 24.2s | 10 | 21896 | 11361 | 41518 0 | 0 | 2 26.88/26.97 c 26.2s | 10 | 23748 | 12261 | 41518 0 | 0 | 2 28.98/29.03 c 28.3s | 10 | 25255 | 13161 | 41518 0 | 0 | 2 30.98/31.06 c 30.3s | 10 | 26466 | 13861 | 41518 0 | 0 | 2 33.29/33.34 c 32.6s | 10 | 27654 | 14661 | 41518 0 | 0 | 2 35.58/35.64 c 34.9s | 10 | 28624 | 15361 | 41518 0 | 0 | 2 37.79/37.80 c 37.1s | 10 | 29343 | 15861 | 41518 0 | 0 | 2 39.78/39.85 c 39.1s | 10 | 30089 | 16361 | 41518 0 | 0 | 2 41.98/42.09 c 41.3s | 10 | 31168 | 17061 | 45670 0 | 0 | 2 42.28/42.35 c 41.6s | 11 | 31299 | 17144 | 45670 0 | 0 | 2 44.38/44.49 c 43.7s | 11 | 32632 | 17744 | 45670 0 | 0 | 2 46.58/46.67 c 45.9s | 11 | 33967 | 18644 | 45670 0 | 0 | 2 48.78/48.84 c 48.1s | 11 | 35403 | 19544 | 45670 0 | 0 | 2 50.78/50.85 c 50.1s | 11 | 36262 | 20144 | 45670 0 | 0 | 2 52.98/53.04 c 52.3s | 11 | 36937 | 20644 | 45670 0 | 0 | 2 55.28/55.35 c 54.6s | 11 | 37922 | 21344 | 45670 0 | 0 | 2 57.58/57.60 c 56.8s | 11 | 39038 | 22044 | 45670 0 | 0 | 2 59.68/59.76 c 59.0s | 11 | 39950 | 22744 | 45670 0 | 0 | 2 61.88/61.90 c 61.2s | 11 | 41183 | 23544 | 45670 0 | 0 | 2 63.88/63.98 c 63.2s | 11 | 42098 | 24144 | 45670 0 | 0 | 2 66.38/66.42 c 65.7s | 11 | 42950 | 24744 | 45670 0 | 0 | 2 68.37/68.47 c 67.7s | 11 | 43636 | 25244 | 45670 0 | 0 | 2 70.58/70.68 c 69.9s | 11 | 44356 | 25744 | 50238 0 | 0 | 2 70.98/71.01 c 70.3s | 12 | 44495 | 25819 | 50238 0 | 0 | 2 73.07/73.13 c 72.4s | 12 | 46338 | 26619 | 50238 0 | 0 | 2 75.27/75.34 c 74.6s | 12 | 47967 | 27619 | 50238 0 | 0 | 2 77.37/77.40 c 76.6s | 12 | 49137 | 28319 | 50238 0 | 0 | 2 79.67/79.72 c 79.0s | 12 | 50485 | 29119 | 50238 0 | 0 | 2 81.67/81.79 c 81.0s | 12 | 51456 | 29819 | 50238 0 | 0 | 2 83.87/83.90 c 83.2s | 12 | 52395 | 30419 | 50238 0 | 0 | 2 86.08/86.17 c 85.4s | 12 | 53310 | 31019 | 50238 0 | 0 | 2 88.27/88.31 c 87.6s | 12 | 54684 | 31819 | 50238 0 | 0 | 2 90.47/90.55 c 89.8s | 12 | 55801 | 32619 | 50238 0 | 0 | 2 92.48/92.57 c 91.8s | 12 | 56682 | 33219 | 50238 0 | 0 | 2 94.68/94.76 c 94.0s | 12 | 57553 | 33819 | 50238 0 | 0 | 2 96.88/96.96 c 96.2s | 12 | 58348 | 34419 | 50238 0 | 0 | 2 99.28/99.39 c 98.6s | 12 | 58989 | 34919 | 50238 0 | 0 | 2 101.97/102.08 c 101s | 12 | 59639 | 35419 | 50238 0 | 0 | 2 104.58/104.61 c 103s | 12 | 60370 | 35919 | 50238 0 | 0 | 2 106.77/106.88 c 106s | 12 | 61012 | 36419 | 50238 0 | 0 | 2 108.98/109.04 c 108s | 12 | 61547 | 36819 | 50238 0 | 0 | 2 111.37/111.43 c 110s | 12 | 62094 | 37219 | 50238 0 | 0 | 2 113.47/113.50 c 112s | 12 | 62613 | 37619 | 50238 0 | 0 | 2 115.58/115.65 c 114s | 12 | 63175 | 38019 | 50238 0 | 0 | 2 117.78/117.84 c 117s | 12 | 63734 | 38419 | 50238 0 | 0 | 2 119.97/120.02 c 119s | 12 | 64314 | 38819 | 55262 0 | 0 | 2 119.97/120.09 c 119s | 13 | 64329 | 38832 | 55262 0 | 0 | 2 122.46/122.54 c 121s | 13 | 65340 | 39232 | 55262 0 | 0 | 2 124.57/124.69 c 123s | 13 | 66057 | 39732 | 55262 0 | 0 | 2 126.87/126.93 c 126s | 13 | 66752 | 40232 | 55262 0 | 0 | 2 129.06/129.16 c 128s | 13 | 67338 | 40632 | 55262 0 | 0 | 2 131.06/131.17 c 130s | 13 | 67883 | 41032 | 55262 0 | 0 | 2 133.37/133.42 c 132s | 13 | 68576 | 41532 | 55262 0 | 0 | 2 135.87/136.00 c 135s | 13 | 69313 | 42032 | 55262 0 | 0 | 2 138.06/138.18 c 137s | 13 | 69748 | 42332 | 55262 0 | 0 | 2 140.27/140.32 c 139s | 13 | 70355 | 42732 | 55262 0 | 0 | 2 142.46/142.51 c 141s | 13 | 70941 | 43132 | 55262 0 | 0 | 2 144.76/144.82 c 144s | 13 | 71673 | 43632 | 55262 0 | 0 | 2 146.97/147.04 c 146s | 13 | 72224 | 44032 | 55262 0 | 0 | 2 149.17/149.24 c 148s | 13 | 72765 | 44432 | 55262 0 | 0 | 2 151.66/151.77 c 151s | 13 | 73302 | 44832 | 55262 0 | 0 | 2 154.16/154.21 c 153s | 13 | 73882 | 45232 | 55262 0 | 0 | 2 156.76/156.87 c 156s | 13 | 74430 | 45632 | 55262 0 | 0 | 2 158.86/158.96 c 158s | 13 | 74897 | 45932 | 55262 0 | 0 | 2 161.56/161.67 c 160s | 13 | 75430 | 46332 | 55262 0 | 0 | 2 163.77/163.81 c 163s | 13 | 75822 | 46632 | 55262 0 | 0 | 2 165.86/165.91 c 165s | 13 | 76244 | 46932 | 55262 0 | 0 | 2 168.26/168.39 c 167s | 13 | 76662 | 47232 | 55262 0 | 0 | 2 170.86/170.96 c 170s | 13 | 77039 | 47532 | 55262 0 | 0 | 2 172.96/173.00 c 172s | 13 | 77459 | 47832 | 55262 0 | 0 | 2 175.16/175.25 c 174s | 13 | 78078 | 48232 | 55262 0 | 0 | 2 177.17/177.28 c 176s | 13 | 78602 | 48632 | 55262 0 | 0 | 2 179.66/179.78 c 179s | 13 | 79106 | 49032 | 55262 0 | 0 | 2 182.25/182.34 c 181s | 13 | 79656 | 49432 | 55262 0 | 0 | 2 184.36/184.42 c 183s | 13 | 80152 | 49832 | 55262 0 | 0 | 2 186.86/186.93 c 186s | 13 | 80812 | 50332 | 55262 0 | 0 | 2 189.16/189.27 c 188s | 13 | 81510 | 50832 | 55262 0 | 0 | 2 191.47/191.58 c 190s | 13 | 82250 | 51332 | 55262 0 | 0 | 2 193.67/193.75 c 193s | 13 | 82750 | 51732 | 55262 0 | 0 | 2 196.26/196.38 c 195s | 13 | 83243 | 52132 | 55262 0 | 0 | 2 198.95/199.05 c 198s | 13 | 83586 | 52432 | 55262 0 | 0 | 2 201.36/201.46 c 200s | 13 | 84137 | 52832 | 55262 0 | 0 | 2 203.76/203.82 c 203s | 13 | 84859 | 53332 | 55262 0 | 0 | 2 206.06/206.15 c 205s | 13 | 85606 | 53832 | 55262 0 | 0 | 2 208.26/208.35 c 207s | 13 | 86203 | 54232 | 55262 0 | 0 | 2 210.55/210.67 c 209s | 13 | 86773 | 54632 | 55262 0 | 0 | 2 213.05/213.14 c 212s | 13 | 87410 | 55032 | 55262 0 | 0 | 2 215.15/215.22 c 214s | 13 | 87903 | 55332 | 55262 0 | 0 | 2 217.55/217.63 c 216s | 13 | 88283 | 55632 | 55262 0 | 0 | 2 219.75/219.83 c 219s | 13 | 88684 | 55932 | 55262 0 | 0 | 2 222.35/222.45 c 221s | 13 | 89083 | 56232 | 55262 0 | 0 | 2 224.95/225.02 c 224s | 13 | 89467 | 56532 | 55262 0 | 0 | 2 227.55/227.66 c 226s | 13 | 89890 | 56832 | 55262 0 | 0 | 2 230.25/230.32 c 229s | 13 | 90261 | 57132 | 55262 0 | 0 | 2 232.35/232.46 c 231s | 13 | 90505 | 57332 | 55262 0 | 0 | 2 235.05/235.11 c 234s | 13 | 91048 | 57732 | 55262 0 | 0 | 2 237.25/237.31 c 236s | 13 | 91478 | 58032 | 60789 0 | 0 | 2 238.85/238.98 c 238s | 14 | 91981 | 58352 | 60789 0 | 0 | 2 241.15/241.21 c 240s | 14 | 92528 | 58452 | 60789 0 | 0 | 2 243.35/243.46 c 242s | 14 | 93004 | 58852 | 60789 0 | 0 | 2 245.35/245.49 c 244s | 14 | 93956 | 59452 | 60789 0 | 0 | 2 247.55/247.70 c 246s | 14 | 94824 | 60052 | 60789 0 | 0 | 2 250.05/250.11 c 249s | 14 | 95655 | 60652 | 60789 0 | 0 | 2 252.15/252.29 c 251s | 14 | 96341 | 61152 | 60789 0 | 0 | 2 254.25/254.35 c 253s | 14 | 97029 | 61652 | 60789 0 | 0 | 2 256.35/256.49 c 255s | 14 | 97717 | 62152 | 60789 0 | 0 | 2 258.35/258.50 c 257s | 14 | 98395 | 62652 | 60789 0 | 0 | 2 260.54/260.66 c 259s | 14 | 99115 | 63152 | 60789 0 | 0 | 2 262.65/262.75 c 262s | 14 | 100005 | 63752 | 60789 0 | 0 | 2 265.05/265.11 c 264s | 14 | 100782 | 64252 | 60789 0 | 0 | 2 267.05/267.16 c 266s | 14 | 101335 | 64652 | 60789 0 | 0 | 2 269.34/269.46 c 268s | 14 | 102043 | 65152 | 60789 0 | 0 | 2 271.44/271.57 c 270s | 14 | 102748 | 65652 | 60789 0 | 0 | 2 273.54/273.63 c 272s | 14 | 103439 | 66152 | 60789 0 | 0 | 2 276.05/276.18 c 275s | 14 | 104143 | 66652 | 60789 0 | 0 | 2 278.14/278.22 c 277s | 14 | 104868 | 67152 | 60789 0 | 0 | 2 280.45/280.53 c 279s | 14 | 105608 | 67652 | 60789 0 | 0 | 2 282.75/282.82 c 282s | 14 | 106165 | 68052 | 60789 0 | 0 | 2 284.75/284.84 c 284s | 14 | 106760 | 68452 | 60789 0 | 0 | 2 287.05/287.17 c 286s | 14 | 107474 | 68952 | 60789 0 | 0 | 2 289.44/289.50 c 288s | 14 | 108015 | 69352 | 60789 0 | 0 | 2 291.64/291.71 c 290s | 14 | 108771 | 69852 | 60789 0 | 0 | 2 293.84/293.94 c 293s | 14 | 109888 | 70652 | 60789 0 | 0 | 2 295.95/296.08 c 295s | 14 | 110849 | 71352 | 60789 0 | 0 | 2 298.14/298.27 c 297s | 14 | 111836 | 72052 | 60789 0 | 0 | 2 300.34/300.49 c 299s | 14 | 112689 | 72652 | 60789 0 | 0 | 2 302.44/302.52 c 301s | 14 | 113401 | 73152 | 60789 0 | 0 | 2 304.74/304.82 c 304s | 14 | 113767 | 73352 | 60789 1 | 0 | 2 307.14/307.26 c 306s | 14 | 114179 | 73652 | 60789 1 | 0 | 2 309.34/309.40 c 308s | 14 | 114891 | 74152 | 60789 1 | 0 | 2 311.54/311.61 c 310s | 14 | 115763 | 74752 | 60789 1 | 0 | 2 313.54/313.65 c 312s | 14 | 116339 | 75152 | 60789 1 | 0 | 2 315.75/315.87 c 315s | 14 | 117180 | 75752 | 60789 1 | 0 | 2 317.95/318.02 c 317s | 14 | 118067 | 76352 | 60789 1 | 0 | 2 319.94/320.05 c 319s | 14 | 118719 | 76852 | 60789 1 | 0 | 2 322.03/322.15 c 321s | 14 | 119533 | 77452 | 60789 1 | 0 | 2 324.03/324.18 c 323s | 14 | 120128 | 77852 | 60789 1 | 0 | 2 326.43/326.52 c 325s | 14 | 120974 | 78452 | 60789 1 | 0 | 2 328.54/328.65 c 327s | 14 | 121811 | 79052 | 60789 1 | 0 | 2 330.64/330.79 c 330s | 14 | 122695 | 79652 | 60789 1 | 0 | 2 332.93/333.05 c 332s | 14 | 123420 | 80152 | 60789 1 | 0 | 2 335.44/335.52 c 334s | 14 | 124211 | 80752 | 60789 1 | 0 | 2 337.53/337.60 c 336s | 14 | 124752 | 81152 | 60789 1 | 0 | 2 339.73/339.80 c 339s | 14 | 125290 | 81552 | 60789 1 | 0 | 2 341.93/342.08 c 341s | 14 | 126094 | 82052 | 60789 1 | 0 | 2 344.13/344.22 c 343s | 14 | 126748 | 82552 | 60789 1 | 0 | 2 346.13/346.29 c 345s | 14 | 127406 | 83052 | 60789 1 | 0 | 2 348.53/348.62 c 347s | 14 | 128065 | 83552 | 60789 1 | 0 | 2 350.53/350.64 c 349s | 14 | 128551 | 83952 | 60789 1 | 0 | 2 352.83/352.97 c 352s | 14 | 129093 | 84352 | 60789 1 | 0 | 2 355.24/355.39 c 354s | 14 | 129780 | 84852 | 60789 1 | 0 | 2 357.83/357.93 c 357s | 14 | 130443 | 85352 | 60789 1 | 0 | 2 359.93/360.02 c 359s | 14 | 130962 | 85752 | 60789 1 | 0 | 2 362.22/362.32 c 361s | 14 | 131490 | 86152 | 60789 1 | 0 | 2 364.53/364.66 c 363s | 14 | 131990 | 86552 | 60789 1 | 0 | 2 366.83/366.95 c 366s | 14 | 132640 | 87052 | 66868 1 | 0 | 2 368.93/369.08 c 368s | 14 | 133152 | 87452 | 66868 1 | 0 | 2 370.02/370.14 c 369s | 15 | 133380 | 87632 | 66868 1 | 0 | 2 372.02/372.15 c 371s | 15 | 133948 | 87732 | 66868 1 | 0 | 2 374.32/374.43 c 373s | 15 | 134861 | 88332 | 66868 1 | 0 | 2 376.72/376.85 c 376s | 15 | 136155 | 89132 | 66868 1 | 0 | 2 378.73/378.88 c 378s | 15 | 136880 | 89632 | 66868 1 | 0 | 2 380.83/380.94 c 380s | 15 | 137717 | 90132 | 66868 1 | 0 | 2 382.93/383.04 c 382s | 15 | 138692 | 90732 | 66868 1 | 0 | 2 385.33/385.44 c 384s | 15 | 139631 | 91332 | 66868 1 | 0 | 2 387.43/387.50 c 386s | 15 | 140248 | 91732 | 66868 1 | 0 | 2 389.52/389.67 c 388s | 15 | 140967 | 92232 | 66868 1 | 0 | 2 391.92/392.03 c 391s | 15 | 141686 | 92732 | 66868 1 | 0 | 2 394.62/394.76 c 394s | 15 | 142174 | 93132 | 66868 1 | 0 | 2 397.03/397.10 c 396s | 15 | 142742 | 93532 | 66868 1 | 0 | 2 399.13/399.22 c 398s | 15 | 143551 | 94032 | 66868 1 | 0 | 2 401.22/401.30 c 400s | 15 | 144470 | 94632 | 66868 1 | 0 | 2 403.52/403.65 c 402s | 15 | 145454 | 95232 | 66868 1 | 0 | 2 405.92/406.08 c 405s | 15 | 146553 | 95832 | 66868 1 | 0 | 2 408.03/408.19 c 407s | 15 | 147572 | 96432 | 66868 1 | 0 | 2 410.42/410.54 c 409s | 15 | 148446 | 97032 | 66868 1 | 0 | 2 412.43/412.59 c 411s | 15 | 149384 | 97632 | 66868 1 | 0 | 2 414.73/414.84 c 414s | 15 | 150144 | 98132 | 66868 1 | 0 | 2 416.82/416.95 c 416s | 15 | 151005 | 98732 | 66868 1 | 0 | 2 418.92/419.08 c 418s | 15 | 152101 | 99432 | 66868 1 | 0 | 2 421.23/421.39 c 420s | 15 | 153138 | 100032 | 66868 1 | 0 | 2 423.43/423.51 c 422s | 15 | 153905 | 100532 | 66868 1 | 0 | 2 425.42/425.58 c 424s | 15 | 155420 | 101332 | 66868 1 | 0 | 2 427.72/427.88 c 427s | 15 | 156347 | 101932 | 66868 1 | 0 | 2 429.82/429.96 c 429s | 15 | 157230 | 102432 | 66868 1 | 0 | 2 431.91/432.09 c 431s | 15 | 158104 | 102932 | 66868 1 | 0 | 2 434.02/434.17 c 433s | 15 | 158991 | 103432 | 66868 1 | 0 | 2 436.22/436.38 c 435s | 15 | 159860 | 103932 | 66868 1 | 0 | 2 438.52/438.63 c 437s | 15 | 160892 | 104532 | 66868 1 | 0 | 2 440.81/440.93 c 440s | 15 | 161852 | 105132 | 66868 1 | 0 | 2 442.81/442.95 c 442s | 15 | 162701 | 105632 | 66868 1 | 0 | 2 445.21/445.33 c 444s | 15 | 163476 | 106132 | 66868 1 | 0 | 2 447.22/447.36 c 446s | 15 | 164041 | 106532 | 66868 1 | 0 | 2 449.72/449.85 c 449s | 15 | 164730 | 107032 | 66868 1 | 0 | 2 452.02/452.17 c 451s | 15 | 165425 | 107432 | 66868 1 | 0 | 2 454.02/454.18 c 453s | 15 | 165888 | 107732 | 66868 1 | 0 | 2 456.62/456.73 c 455s | 15 | 166586 | 108132 | 66868 1 | 0 | 2 458.62/458.79 c 458s | 15 | 167047 | 108432 | 66868 1 | 0 | 2 461.02/461.13 c 460s | 15 | 167575 | 108732 | 66868 1 | 0 | 2 463.12/463.29 c 462s | 15 | 168581 | 109332 | 66868 1 | 0 | 2 465.42/465.57 c 464s | 15 | 169376 | 109832 | 66868 1 | 0 | 2 467.62/467.75 c 467s | 15 | 170088 | 110232 | 66868 1 | 0 | 2 469.72/469.88 c 469s | 15 | 171104 | 110832 | 66868 1 | 0 | 2 471.71/471.89 c 471s | 15 | 172175 | 111432 | 66868 1 | 0 | 2 474.02/474.16 c 473s | 15 | 173174 | 112032 | 66868 1 | 0 | 2 476.22/476.39 c 475s | 15 | 173965 | 112532 | 66868 1 | 0 | 2 478.71/478.85 c 478s | 15 | 174728 | 113032 | 66868 1 | 0 | 2 481.11/481.25 c 480s | 15 | 175584 | 113532 | 66868 1 | 0 | 2 483.21/483.34 c 482s | 15 | 176133 | 113932 | 66868 1 | 0 | 2 485.31/485.47 c 484s | 15 | 176767 | 114332 | 66868 1 | 0 | 2 487.41/487.51 c 486s | 15 | 177360 | 114732 | 66868 1 | 0 | 2 489.41/489.57 c 488s | 15 | 178005 | 115132 | 66868 1 | 0 | 2 491.80/491.91 c 491s | 15 | 179265 | 115832 | 66868 1 | 0 | 2 498.01/498.18 c 497s | 15 | 180162 | 116332 | 66868 2 | 0 | 2 500.31/500.50 c 499s | 15 | 180803 | 116732 | 66868 2 | 0 | 2 502.61/502.80 c 502s | 15 | 181714 | 117332 | 66868 2 | 0 | 2 504.81/504.91 c 504s | 15 | 182382 | 117732 | 66868 2 | 0 | 2 506.91/507.08 c 506s | 15 | 183307 | 118332 | 66868 2 | 0 | 2 509.21/509.38 c 508s | 15 | 184073 | 118832 | 66868 2 | 0 | 2 511.51/511.67 c 510s | 15 | 184900 | 119332 | 66868 2 | 0 | 2 513.50/513.69 c 512s | 15 | 185591 | 119832 | 66868 2 | 0 | 2 515.61/515.76 c 515s | 15 | 186293 | 120332 | 66868 2 | 0 | 2 517.80/517.99 c 517s | 15 | 187011 | 120832 | 66868 2 | 0 | 2 519.90/520.03 c 519s | 15 | 187816 | 121332 | 66868 2 | 0 | 2 522.21/522.30 c 521s | 15 | 188530 | 121832 | 66868 2 | 0 | 2 524.61/524.76 c 524s | 15 | 189264 | 122332 | 66868 2 | 0 | 2 526.91/527.04 c 526s | 15 | 190017 | 122832 | 66868 2 | 0 | 2 529.00/529.12 c 528s | 15 | 190664 | 123232 | 66868 2 | 0 | 2 531.11/531.22 c 530s | 15 | 191241 | 123632 | 66868 2 | 0 | 2 533.20/533.34 c 532s | 15 | 191816 | 124032 | 66868 2 | 0 | 2 535.80/535.92 c 535s | 15 | 192416 | 124432 | 66868 2 | 0 | 2 537.81/537.94 c 537s | 15 | 192836 | 124732 | 66868 2 | 0 | 2 540.30/540.40 c 539s | 15 | 193388 | 125132 | 66868 2 | 0 | 2 542.60/542.71 c 541s | 15 | 193951 | 125532 | 66868 2 | 0 | 2 545.00/545.11 c 544s | 15 | 194542 | 125932 | 66868 2 | 0 | 2 547.40/547.58 c 546s | 15 | 195100 | 126332 | 66868 2 | 0 | 2 549.50/549.60 c 548s | 15 | 195500 | 126632 | 66868 2 | 0 | 2 551.59/551.70 c 550s | 15 | 195863 | 126932 | 66868 2 | 0 | 2 553.90/554.01 c 553s | 15 | 196317 | 127232 | 66868 2 | 0 | 2 556.10/556.22 c 555s | 15 | 196945 | 127632 | 66868 2 | 0 | 2 558.50/558.63 c 557s | 15 | 197508 | 128032 | 66868 2 | 0 | 2 561.01/561.11 c 560s | 15 | 198020 | 128432 | 66868 2 | 0 | 2 563.11/563.27 c 562s | 15 | 198725 | 128832 | 66868 2 | 0 | 2 565.70/565.81 c 565s | 15 | 199320 | 129232 | 66868 2 | 0 | 2 568.10/568.26 c 567s | 15 | 199973 | 129632 | 66868 2 | 0 | 2 570.30/570.42 c 569s | 15 | 200531 | 130032 | 66868 2 | 0 | 2 572.30/572.43 c 571s | 15 | 201030 | 130432 | 66868 2 | 0 | 2 574.50/574.69 c 573s | 15 | 201763 | 130932 | 73555 2 | 0 | 2 576.89/577.06 c 576s | 15 | 202516 | 131432 | 73555 2 | 0 | 2 577.59/577.77 c 577s | 16 | 202693 | 131552 | 73555 2 | 0 | 2 580.29/580.45 c 579s | 16 | 203266 | 131652 | 73555 2 | 0 | 2 582.59/582.73 c 581s | 16 | 204335 | 132252 | 73555 2 | 0 | 2 584.89/585.03 c 584s | 16 | 205432 | 132852 | 73555 2 | 0 | 2 587.30/587.48 c 586s | 16 | 206362 | 133452 | 73555 2 | 0 | 2 589.69/589.87 c 589s | 16 | 207086 | 133952 | 73555 2 | 0 | 2 591.99/592.19 c 591s | 16 | 207795 | 134452 | 73555 2 | 0 | 2 594.19/594.32 c 593s | 16 | 208470 | 134952 | 73555 2 | 0 | 2 596.49/596.66 c 595s | 16 | 209208 | 135452 | 73555 2 | 0 | 2 598.79/598.92 c 598s | 16 | 209783 | 135852 | 73555 2 | 0 | 2 601.19/601.33 c 600s | 16 | 210513 | 136352 | 73555 2 | 0 | 2 603.29/603.44 c 602s | 16 | 211198 | 136752 | 73555 2 | 0 | 2 605.79/605.90 c 605s | 16 | 211900 | 137252 | 73555 2 | 0 | 2 607.89/608.07 c 607s | 16 | 212464 | 137652 | 73555 2 | 0 | 2 610.18/610.31 c 609s | 16 | 212954 | 138052 | 73555 2 | 0 | 2 612.39/612.53 c 611s | 16 | 213562 | 138452 | 73555 2 | 0 | 2 614.69/614.86 c 614s | 16 | 214095 | 138852 | 73555 2 | 0 | 2 616.79/616.95 c 616s | 16 | 214444 | 139152 | 73555 2 | 0 | 2 618.79/618.96 c 618s | 16 | 214804 | 139452 | 73555 2 | 0 | 2 621.28/621.40 c 620s | 16 | 215579 | 139952 | 73555 2 | 0 | 2 623.59/623.71 c 622s | 16 | 216166 | 140352 | 73555 2 | 0 | 2 625.59/625.71 c 624s | 16 | 216591 | 140652 | 73555 2 | 0 | 2 627.59/627.77 c 627s | 16 | 217224 | 141052 | 73555 2 | 0 | 2 630.29/630.44 c 629s | 16 | 217800 | 141452 | 73555 2 | 0 | 2 632.68/632.84 c 632s | 16 | 218322 | 141852 | 73555 2 | 0 | 2 635.29/635.42 c 634s | 16 | 218825 | 142252 | 73555 2 | 0 | 2 637.49/637.64 c 636s | 16 | 219399 | 142652 | 73555 2 | 0 | 2 639.88/640.09 c 639s | 16 | 219945 | 143052 | 73555 2 | 0 | 2 642.29/642.45 c 641s | 16 | 220467 | 143452 | 73555 2 | 0 | 2 644.28/644.49 c 643s | 16 | 221079 | 143852 | 73555 2 | 0 | 2 646.98/647.12 c 646s | 16 | 221638 | 144252 | 73555 2 | 0 | 2 649.29/649.40 c 648s | 16 | 222020 | 144552 | 73555 2 | 0 | 2 651.49/651.67 c 650s | 16 | 222368 | 144852 | 73555 2 | 0 | 2 653.98/654.17 c 653s | 16 | 222991 | 145252 | 73555 2 | 0 | 2 656.59/656.71 c 655s | 16 | 223469 | 145652 | 73555 2 | 0 | 2 658.79/658.99 c 658s | 16 | 224035 | 146052 | 73555 2 | 0 | 2 660.88/661.05 c 660s | 16 | 224872 | 146552 | 73555 2 | 0 | 2 663.38/663.52 c 662s | 16 | 225654 | 147052 | 73555 2 | 0 | 2 665.68/665.82 c 665s | 16 | 226364 | 147552 | 73555 2 | 0 | 2 667.88/668.06 c 667s | 16 | 227126 | 147952 | 73555 2 | 0 | 2 669.98/670.14 c 669s | 16 | 227777 | 148352 | 73555 2 | 0 | 2 672.47/672.69 c 671s | 16 | 228784 | 148852 | 73555 2 | 0 | 2 674.97/675.18 c 674s | 16 | 229673 | 149352 | 73555 2 | 0 | 2 677.38/677.60 c 676s | 16 | 230244 | 149752 | 73555 2 | 0 | 2 679.69/679.88 c 679s | 16 | 230822 | 150052 | 73555 2 | 0 | 2 682.08/682.23 c 681s | 16 | 231258 | 150352 | 73555 2 | 0 | 2 684.37/684.55 c 683s | 16 | 231659 | 150652 | 73555 2 | 0 | 2 686.88/687.04 c 686s | 16 | 232184 | 151052 | 73555 2 | 0 | 2 689.18/689.34 c 688s | 16 | 232714 | 151452 | 73555 2 | 0 | 2 691.28/691.46 c 690s | 16 | 233099 | 151752 | 73555 2 | 0 | 2 693.38/693.53 c 692s | 16 | 233827 | 152152 | 73555 2 | 0 | 2 695.37/695.57 c 694s | 16 | 234440 | 152552 | 73555 2 | 0 | 2 697.57/697.72 c 696s | 16 | 234977 | 152952 | 73555 2 | 0 | 2 700.08/700.28 c 699s | 16 | 235582 | 153352 | 73555 2 | 0 | 2 702.58/702.74 c 701s | 16 | 236129 | 153752 | 73555 2 | 0 | 2 704.87/705.05 c 704s | 16 | 236600 | 154052 | 73555 2 | 0 | 2 707.47/707.61 c 706s | 16 | 237047 | 154352 | 73555 2 | 0 | 2 709.57/709.74 c 708s | 16 | 237598 | 154752 | 73555 2 | 0 | 2 711.77/711.91 c 711s | 16 | 238011 | 155052 | 73555 2 | 0 | 2 714.17/714.34 c 713s | 16 | 238731 | 155452 | 73555 2 | 0 | 2 716.37/716.56 c 715s | 16 | 239193 | 155752 | 73555 2 | 0 | 2 718.47/718.63 c 717s | 16 | 239677 | 156052 | 73555 2 | 0 | 2 720.67/720.85 c 720s | 16 | 240161 | 156352 | 73555 2 | 0 | 2 722.97/723.17 c 722s | 16 | 240688 | 156652 | 73555 2 | 0 | 2 725.07/725.28 c 724s | 16 | 241155 | 156952 | 73555 2 | 0 | 2 727.17/727.39 c 726s | 16 | 241624 | 157252 | 73555 2 | 0 | 2 729.28/729.42 c 728s | 16 | 242069 | 157552 | 73555 2 | 0 | 2 731.87/732.04 c 731s | 16 | 242485 | 157852 | 73555 2 | 0 | 2 734.07/734.27 c 733s | 16 | 242896 | 158152 | 73555 2 | 0 | 2 736.76/736.90 c 736s | 16 | 243283 | 158452 | 73555 2 | 0 | 2 738.77/738.92 c 738s | 16 | 243702 | 158752 | 73555 2 | 0 | 2 741.07/741.27 c 740s | 16 | 244185 | 159052 | 73555 2 | 0 | 2 744.26/744.43 c 743s | 16 | 244553 | 159352 | 73555 2 | 0 | 2 746.67/746.86 c 746s | 16 | 244963 | 159652 | 73555 2 | 0 | 2 748.77/748.95 c 748s | 16 | 245419 | 159952 | 73555 2 | 0 | 2 751.07/751.26 c 750s | 16 | 246054 | 160352 | 73555 2 | 0 | 2 753.67/753.80 c 753s | 16 | 246827 | 160752 | 73555 2 | 0 | 2 755.96/756.16 c 755s | 16 | 247469 | 161152 | 73555 2 | 0 | 2 758.26/758.46 c 757s | 16 | 248103 | 161552 | 73555 2 | 0 | 2 760.36/760.59 c 759s | 16 | 248733 | 161952 | 73555 2 | 0 | 2 762.97/763.17 c 762s | 16 | 249403 | 162352 | 73555 2 | 0 | 2 765.06/765.26 c 764s | 16 | 249885 | 162652 | 73555 2 | 0 | 2 772.07/772.24 c 771s | 16 | 250179 | 162852 | 73555 3 | 0 | 2 774.27/774.45 c 773s | 16 | 250345 | 162952 | 73555 3 | 0 | 2 776.46/776.64 c 775s | 16 | 250971 | 163352 | 73555 3 | 0 | 2 778.86/779.07 c 778s | 16 | 251568 | 163752 | 73555 3 | 0 | 2 781.56/781.78 c 781s | 16 | 252031 | 164052 | 73555 3 | 0 | 2 783.96/784.12 c 783s | 16 | 252536 | 164452 | 73555 3 | 0 | 2 786.06/786.20 c 785s | 16 | 252916 | 164752 | 73555 3 | 0 | 2 788.26/788.49 c 787s | 16 | 253317 | 165052 | 73555 3 | 0 | 2 790.46/790.67 c 789s | 16 | 253786 | 165352 | 73555 3 | 0 | 2 792.56/792.79 c 792s | 16 | 254191 | 165652 | 73555 3 | 0 | 2 795.17/795.34 c 794s | 16 | 254825 | 166052 | 73555 3 | 0 | 2 797.76/797.95 c 797s | 16 | 255414 | 166452 | 73555 3 | 0 | 2 800.46/800.64 c 799s | 16 | 255854 | 166752 | 73555 3 | 0 | 2 802.76/802.97 c 802s | 16 | 256318 | 167052 | 73555 3 | 0 | 2 805.07/805.30 c 804s | 16 | 256734 | 167352 | 73555 3 | 0 | 2 807.46/807.69 c 806s | 16 | 257291 | 167752 | 73555 3 | 0 | 2 809.76/809.99 c 809s | 16 | 257913 | 168152 | 73555 3 | 0 | 2 812.45/812.62 c 811s | 16 | 258441 | 168552 | 73555 3 | 0 | 2 814.76/814.99 c 814s | 16 | 258957 | 168952 | 73555 3 | 0 | 2 817.06/817.22 c 816s | 16 | 259699 | 169352 | 73555 3 | 0 | 2 819.06/819.26 c 818s | 16 | 260363 | 169752 | 73555 3 | 0 | 2 821.15/821.32 c 820s | 16 | 261056 | 170152 | 73555 3 | 0 | 2 823.65/823.89 c 823s | 16 | 261633 | 170552 | 73555 3 | 0 | 2 826.16/826.38 c 825s | 16 | 262350 | 170952 | 73555 3 | 0 | 2 828.26/828.42 c 827s | 16 | 262746 | 171252 | 73555 3 | 0 | 2 830.75/830.94 c 830s | 16 | 263327 | 171652 | 73555 3 | 0 | 2 833.15/833.30 c 832s | 16 | 263969 | 172052 | 73555 3 | 0 | 2 835.46/835.68 c 834s | 16 | 264752 | 172552 | 73555 3 | 0 | 2 837.75/837.99 c 837s | 16 | 265277 | 172952 | 73555 3 | 0 | 2 839.95/840.19 c 839s | 16 | 265725 | 173252 | 73555 3 | 0 | 2 842.15/842.34 c 841s | 16 | 266134 | 173552 | 73555 3 | 0 | 2 844.45/844.70 c 843s | 16 | 266558 | 173852 | 73555 3 | 0 | 2 846.86/847.09 c 846s | 16 | 267001 | 174152 | 73555 3 | 0 | 2 848.95/849.18 c 848s | 16 | 267449 | 174452 | 73555 3 | 0 | 2 851.45/851.65 c 850s | 16 | 267983 | 174852 | 73555 3 | 0 | 2 854.05/854.22 c 853s | 16 | 268564 | 175252 | 73555 3 | 0 | 2 856.76/856.93 c 856s | 16 | 269118 | 175652 | 73555 3 | 0 | 2 858.95/859.19 c 858s | 16 | 269526 | 175952 | 73555 3 | 0 | 2 861.26/861.41 c 860s | 16 | 270015 | 176252 | 73555 3 | 0 | 2 863.36/863.58 c 862s | 16 | 270589 | 176552 | 73555 3 | 0 | 2 865.35/865.58 c 864s | 16 | 271002 | 176852 | 73555 3 | 0 | 2 867.86/868.02 c 867s | 16 | 271454 | 177152 | 73555 3 | 0 | 2 870.14/870.33 c 869s | 16 | 271815 | 177452 | 73555 3 | 0 | 2 872.75/872.97 c 872s | 16 | 272402 | 177852 | 73555 3 | 0 | 2 874.85/875.09 c 874s | 16 | 272835 | 178152 | 73555 3 | 0 | 2 876.95/877.19 c 876s | 16 | 273287 | 178452 | 73555 3 | 0 | 2 879.15/879.38 c 878s | 16 | 273714 | 178752 | 73555 3 | 0 | 2 881.24/881.44 c 880s | 16 | 274133 | 179052 | 73555 3 | 0 | 2 883.45/883.66 c 882s | 16 | 274519 | 179352 | 73555 3 | 0 | 2 886.14/886.37 c 885s | 16 | 274899 | 179652 | 73555 3 | 0 | 2 888.34/888.50 c 887s | 16 | 275337 | 179952 | 73555 3 | 0 | 2 890.34/890.54 c 889s | 16 | 275787 | 180252 | 73555 3 | 0 | 2 892.45/892.65 c 891s | 16 | 276275 | 180552 | 73555 3 | 0 | 2 894.94/895.14 c 894s | 16 | 276679 | 180852 | 73555 3 | 0 | 2 897.75/897.98 c 897s | 16 | 277088 | 181152 | 73555 3 | 0 | 2 900.85/901.09 c 900s | 16 | 277537 | 181452 | 73555 3 | 0 | 2 903.05/903.23 c 902s | 16 | 277967 | 181752 | 73555 3 | 0 | 2 905.64/905.84 c 905s | 16 | 278357 | 182052 | 73555 3 | 0 | 2 907.75/907.99 c 907s | 16 | 278618 | 182252 | 73555 3 | 0 | 2 910.24/910.49 c 909s | 16 | 279006 | 182552 | 73555 3 | 0 | 2 912.74/912.94 c 912s | 16 | 279396 | 182852 | 73555 3 | 0 | 2 915.24/915.48 c 914s | 16 | 279819 | 183152 | 73555 3 | 0 | 2 917.74/917.92 c 917s | 16 | 280313 | 183452 | 73555 3 | 0 | 2 920.14/920.30 c 919s | 16 | 280738 | 183752 | 73555 3 | 0 | 2 922.64/922.82 c 922s | 16 | 281125 | 184052 | 73555 3 | 0 | 2 925.44/925.60 c 924s | 16 | 281567 | 184352 | 73555 3 | 0 | 2 927.43/927.63 c 926s | 16 | 281817 | 184552 | 73555 3 | 0 | 2 929.45/929.66 c 928s | 16 | 282077 | 184752 | 73555 3 | 0 | 2 932.44/932.67 c 931s | 16 | 282470 | 185052 | 73555 3 | 0 | 2 935.03/935.23 c 934s | 16 | 282749 | 185252 | 73555 3 | 0 | 2 937.54/937.72 c 936s | 16 | 283208 | 185552 | 73555 3 | 0 | 2 939.84/940.05 c 939s | 16 | 283666 | 185852 | 73555 3 | 0 | 2 942.24/942.47 c 941s | 16 | 284166 | 186152 | 73555 3 | 0 | 2 945.13/945.31 c 944s | 16 | 284632 | 186452 | 73555 3 | 0 | 2 947.74/947.93 c 947s | 16 | 285061 | 186752 | 73555 3 | 0 | 2 950.83/951.00 c 950s | 16 | 285498 | 187052 | 73555 3 | 0 | 2 953.43/953.70 c 952s | 16 | 285930 | 187352 | 73555 3 | 0 | 2 955.93/956.13 c 955s | 16 | 286181 | 187552 | 73555 3 | 0 | 2 958.04/958.24 c 957s | 16 | 286461 | 187752 | 73555 3 | 0 | 2 960.24/960.47 c 959s | 16 | 286960 | 187952 | 73555 3 | 0 | 2 962.64/962.87 c 962s | 16 | 287520 | 188352 | 73555 3 | 0 | 2 964.74/964.96 c 964s | 16 | 287991 | 188652 | 73555 3 | 0 | 2 966.93/967.14 c 966s | 16 | 288754 | 189052 | 73555 3 | 0 | 2 968.94/969.16 c 968s | 16 | 289282 | 189352 | 73555 3 | 0 | 2 971.43/971.66 c 970s | 16 | 289716 | 189652 | 73555 3 | 0 | 2 973.83/974.00 c 973s | 16 | 290120 | 189952 | 73555 3 | 0 | 2 976.24/976.46 c 975s | 16 | 290525 | 190252 | 73555 3 | 0 | 2 978.63/978.83 c 978s | 16 | 290988 | 190552 | 73555 3 | 0 | 2 980.93/981.20 c 980s | 16 | 291444 | 190852 | 73555 3 | 0 | 2 983.34/983.59 c 982s | 16 | 291816 | 191152 | 73555 3 | 0 | 2 985.83/986.02 c 985s | 16 | 292210 | 191452 | 73555 3 | 0 | 2 989.84/990.03 c 989s | 16 | 292632 | 191752 | 73555 3 | 0 | 2 992.03/992.23 c 991s | 16 | 293449 | 192252 | 73555 3 | 0 | 2 994.34/994.56 c 993s | 16 | 294435 | 192952 | 73555 3 | 0 | 2 996.43/996.63 c 995s | 16 | 295165 | 193352 | 73555 3 | 0 | 2 998.43/998.65 c 997s | 16 | 295706 | 193752 | 73555 3 | 0 | 2 1000.62/1000.87 c 1000s | 16 | 296257 | 194152 | 73555 3 | 0 | 2 1003.13/1003.37 c 1002s | 16 | 296820 | 194552 | 73555 3 | 0 | 2 1005.23/1005.44 c 1004s | 16 | 297550 | 194952 | 73555 3 | 0 | 2 1007.33/1007.58 c 1006s | 16 | 298361 | 195452 | 73555 3 | 0 | 2 1009.53/1009.79 c 1009s | 16 | 298949 | 195852 | 73555 3 | 0 | 2 1011.72/1011.98 c 1011s | 16 | 299641 | 196352 | 80911 3 | 0 | 2 1014.13/1014.36 c 1013s | 16 | 300412 | 196852 | 80911 3 | 0 | 2 1016.52/1016.70 c 1015s | 16 | 300969 | 197252 | 80911 3 | 0 | 2 1017.52/1017.78 c 1017s | 17 | 301238 | 197432 | 80911 3 | 0 | 2 1020.42/1020.61 c 1019s | 17 | 301823 | 197532 | 80911 3 | 0 | 2 1022.52/1022.72 c 1021s | 17 | 302482 | 197932 | 80911 3 | 0 | 2 1025.02/1025.28 c 1024s | 17 | 303248 | 198432 | 80911 3 | 0 | 2 1027.12/1027.38 c 1026s | 17 | 303828 | 198832 | 80911 3 | 0 | 2 1029.72/1029.94 c 1029s | 17 | 304457 | 199232 | 80911 3 | 0 | 2 1031.91/1032.18 c 1031s | 17 | 305105 | 199632 | 80911 3 | 0 | 2 1034.21/1034.48 c 1033s | 17 | 305661 | 200032 | 80911 3 | 0 | 2 1036.72/1036.94 c 1036s | 17 | 306446 | 200432 | 80911 3 | 0 | 2 1039.11/1039.38 c 1038s | 17 | 307128 | 200832 | 80911 3 | 0 | 2 1041.62/1041.85 c 1041s | 17 | 307773 | 201232 | 80911 3 | 0 | 2 1044.01/1044.27 c 1043s | 17 | 308344 | 201532 | 80911 3 | 0 | 2 1046.61/1046.88 c 1046s | 17 | 308872 | 201832 | 80911 3 | 0 | 2 1049.01/1049.20 c 1048s | 17 | 309352 | 202132 | 80911 3 | 0 | 2 1051.11/1051.37 c 1050s | 17 | 309777 | 202432 | 80911 3 | 0 | 2 1053.41/1053.69 c 1052s | 17 | 310304 | 202732 | 80911 3 | 0 | 2 1056.11/1056.32 c 1055s | 17 | 310706 | 203032 | 80911 3 | 0 | 2 1058.71/1058.99 c 1058s | 17 | 311553 | 203432 | 80911 3 | 0 | 2 1061.71/1061.92 c 1061s | 17 | 312163 | 203832 | 80911 3 | 0 | 2 1064.01/1064.24 c 1063s | 17 | 312813 | 204232 | 80911 3 | 0 | 2 1066.11/1066.38 c 1065s | 17 | 313239 | 204532 | 80911 3 | 0 | 2 1068.60/1068.80 c 1068s | 17 | 313666 | 204832 | 80911 3 | 0 | 2 1070.90/1071.14 c 1070s | 17 | 314351 | 205232 | 80911 3 | 0 | 2 1073.41/1073.67 c 1072s | 17 | 314936 | 205632 | 80911 3 | 0 | 2 1076.00/1076.26 c 1075s | 17 | 315676 | 206032 | 80911 3 | 0 | 2 1078.79/1079.08 c 1078s | 17 | 316238 | 206432 | 80911 3 | 0 | 2 1081.30/1081.53 c 1080s | 17 | 316715 | 206732 | 80911 3 | 0 | 2 1083.90/1084.10 c 1083s | 17 | 317346 | 207132 | 80911 3 | 0 | 2 1085.89/1086.15 c 1085s | 17 | 317764 | 207432 | 80911 3 | 0 | 2 1087.99/1088.27 c 1087s | 17 | 318235 | 207732 | 80911 3 | 0 | 2 1090.09/1090.30 c 1089s | 17 | 318678 | 208032 | 80911 3 | 0 | 2 1092.79/1093.04 c 1092s | 17 | 319363 | 208432 | 80911 3 | 0 | 2 1095.19/1095.43 c 1094s | 17 | 319788 | 208732 | 80911 3 | 0 | 2 1098.08/1098.36 c 1097s | 17 | 320236 | 209032 | 80911 3 | 0 | 2 1100.08/1100.37 c 1099s | 17 | 320759 | 209332 | 80911 3 | 0 | 2 1102.39/1102.62 c 1101s | 17 | 321212 | 209632 | 80911 3 | 0 | 2 1104.78/1105.01 c 1104s | 17 | 321644 | 209932 | 80911 3 | 0 | 2 1107.18/1107.47 c 1106s | 17 | 322098 | 210232 | 80911 3 | 0 | 2 1109.28/1109.51 c 1108s | 17 | 322538 | 210532 | 80911 3 | 0 | 2 1111.99/1112.21 c 1111s | 17 | 323138 | 210932 | 80911 3 | 0 | 2 1114.09/1114.38 c 1113s | 17 | 323566 | 211232 | 80911 3 | 0 | 2 1116.67/1116.93 c 1116s | 17 | 323968 | 211532 | 80911 3 | 0 | 2 1118.97/1119.24 c 1118s | 17 | 324434 | 211832 | 80911 3 | 0 | 2 1121.47/1121.75 c 1121s | 17 | 324854 | 212132 | 80911 3 | 0 | 2 1123.68/1123.91 c 1123s | 17 | 325274 | 212432 | 80911 3 | 0 | 2 1125.77/1126.08 c 1125s | 17 | 325666 | 212732 | 80911 3 | 0 | 2 1128.17/1128.40 c 1127s | 17 | 325891 | 212932 | 80911 3 | 0 | 2 1134.67/1134.90 c 1134s | 17 | 326379 | 213232 | 80911 4 | 0 | 2 1136.66/1136.95 c 1136s | 17 | 326614 | 213432 | 80911 4 | 0 | 2 1139.47/1139.79 c 1139s | 17 | 326931 | 213632 | 80911 4 | 0 | 2 1141.76/1142.01 c 1141s | 17 | 327067 | 213732 | 80911 4 | 0 | 2 1144.16/1144.43 c 1143s | 17 | 327574 | 214132 | 80911 4 | 0 | 2 1155.46/1155.79 c 1155s | 17 | 328012 | 214432 | 80911 4 | 0 | 2 1158.06/1158.32 c 1157s | 17 | 328666 | 214832 | 80911 4 | 0 | 2 1160.15/1160.42 c 1159s | 17 | 329329 | 215132 | 80911 4 | 0 | 2 1162.65/1162.91 c 1162s | 17 | 330247 | 215632 | 80911 4 | 0 | 2 1165.05/1165.36 c 1164s | 17 | 330886 | 216032 | 80911 4 | 0 | 2 1167.05/1167.36 c 1166s | 17 | 331409 | 216332 | 80911 4 | 0 | 2 1169.35/1169.65 c 1168s | 17 | 332042 | 216732 | 80911 4 | 0 | 2 1171.75/1172.01 c 1171s | 17 | 332761 | 217132 | 80911 4 | 0 | 2 1173.85/1174.17 c 1173s | 17 | 333235 | 217432 | 80911 4 | 0 | 2 1176.24/1176.55 c 1175s | 17 | 333769 | 217832 | 80911 4 | 0 | 2 1178.84/1179.15 c 1178s | 17 | 334386 | 218232 | 80911 4 | 0 | 2 1181.04/1181.32 c 1180s | 17 | 334882 | 218532 | 80911 4 | 0 | 2 1183.04/1183.33 c 1182s | 17 | 335403 | 218832 | 80911 4 | 0 | 2 1185.73/1186.08 c 1185s | 17 | 336034 | 219232 | 80911 4 | 0 | 2 1188.44/1188.74 c 1187s | 17 | 336687 | 219632 | 80911 4 | 0 | 2 1191.23/1191.54 c 1190s | 17 | 337156 | 219932 | 80911 4 | 0 | 2 1193.24/1193.58 c 1192s | 17 | 337569 | 220232 | 80911 4 | 0 | 2 1195.33/1195.61 c 1194s | 17 | 337989 | 220532 | 80911 4 | 0 | 2 1197.42/1197.73 c 1196s | 17 | 338501 | 220932 | 80911 4 | 0 | 2 1199.93/1200.26 c 1199s | 17 | 339011 | 221332 | 80911 4 | 0 | 2 1201.93/1202.30 c 1201s | 17 | 339974 | 221832 | 80911 4 | 0 | 2 1204.42/1204.76 c 1204s | 17 | 340776 | 222332 | 80911 4 | 0 | 2 1206.54/1206.83 c 1206s | 17 | 341479 | 222732 | 80911 4 | 0 | 2 1208.64/1209.00 c 1208s | 17 | 342309 | 223232 | 80911 4 | 0 | 2 1210.73/1211.08 c 1210s | 17 | 343034 | 223632 | 80911 4 | 0 | 2 1213.23/1213.52 c 1212s | 17 | 343937 | 224132 | 80911 4 | 0 | 2 1215.23/1215.58 c 1214s | 17 | 344650 | 224532 | 80911 4 | 0 | 2 1217.32/1217.62 c 1216s | 17 | 345207 | 224932 | 80911 4 | 0 | 2 1219.52/1219.80 c 1219s | 17 | 345730 | 225332 | 80911 4 | 0 | 2 1222.02/1222.33 c 1221s | 17 | 346583 | 225832 | 80911 4 | 0 | 2 1224.32/1224.69 c 1223s | 17 | 347026 | 226132 | 80911 4 | 0 | 2 1226.62/1226.91 c 1226s | 17 | 347509 | 226432 | 80911 4 | 0 | 2 1228.91/1229.26 c 1228s | 17 | 348174 | 226832 | 80911 4 | 0 | 2 1231.12/1231.47 c 1230s | 17 | 348847 | 227232 | 80911 4 | 0 | 2 1233.72/1234.10 c 1233s | 17 | 349481 | 227632 | 80911 4 | 0 | 2 1236.22/1236.52 c 1235s | 17 | 350056 | 228032 | 80911 4 | 0 | 2 1238.21/1238.54 c 1237s | 17 | 350463 | 228332 | 80911 4 | 0 | 2 1240.71/1241.08 c 1240s | 17 | 351035 | 228732 | 80911 4 | 0 | 2 1243.21/1243.51 c 1242s | 17 | 351707 | 229132 | 80911 4 | 0 | 2 1245.50/1245.84 c 1245s | 17 | 352309 | 229532 | 80911 4 | 0 | 2 1248.00/1248.35 c 1247s | 17 | 352904 | 229932 | 80911 4 | 0 | 2 1250.51/1250.83 c 1250s | 17 | 353404 | 230232 | 80911 4 | 0 | 2 1252.61/1252.97 c 1252s | 17 | 354031 | 230632 | 80911 4 | 0 | 2 1254.81/1255.11 c 1254s | 17 | 354809 | 231132 | 80911 4 | 0 | 2 1257.50/1257.86 c 1257s | 17 | 355604 | 231632 | 80911 4 | 0 | 2 1259.60/1259.98 c 1259s | 17 | 356239 | 232032 | 80911 4 | 0 | 2 1261.90/1262.28 c 1261s | 17 | 357069 | 232532 | 80911 4 | 0 | 2 1264.00/1264.33 c 1263s | 17 | 357639 | 232932 | 80911 4 | 0 | 2 1266.00/1266.36 c 1265s | 17 | 358223 | 233332 | 80911 4 | 0 | 2 1268.10/1268.46 c 1267s | 17 | 358790 | 233732 | 80911 4 | 0 | 2 1270.30/1270.66 c 1269s | 17 | 359368 | 234132 | 80911 4 | 0 | 2 1272.69/1273.02 c 1272s | 17 | 359958 | 234532 | 80911 4 | 0 | 2 1274.99/1275.37 c 1274s | 17 | 360515 | 234932 | 80911 4 | 0 | 2 1277.29/1277.60 c 1276s | 17 | 360967 | 235232 | 80911 4 | 0 | 2 1279.49/1279.80 c 1279s | 17 | 361366 | 235532 | 80911 4 | 0 | 2 1281.99/1282.35 c 1281s | 17 | 361987 | 235932 | 80911 4 | 0 | 2 1284.09/1284.44 c 1283s | 17 | 362622 | 236332 | 80911 4 | 0 | 2 1286.38/1286.71 c 1285s | 17 | 363204 | 236732 | 80911 4 | 0 | 2 1288.49/1288.83 c 1288s | 17 | 363750 | 237032 | 80911 4 | 0 | 2 1290.79/1291.11 c 1290s | 17 | 364152 | 237332 | 80911 4 | 0 | 2 1293.39/1293.73 c 1292s | 17 | 364688 | 237632 | 80911 4 | 0 | 2 1295.59/1295.99 c 1295s | 17 | 365192 | 237932 | 80911 4 | 0 | 2 1297.69/1298.08 c 1297s | 17 | 365663 | 238232 | 80911 4 | 0 | 2 1299.98/1300.39 c 1299s | 17 | 366331 | 238632 | 80911 4 | 0 | 2 1302.68/1303.08 c 1302s | 17 | 366777 | 238932 | 80911 4 | 0 | 2 1305.38/1305.75 c 1304s | 17 | 367424 | 239332 | 80911 4 | 0 | 2 1307.58/1307.99 c 1307s | 17 | 367824 | 239632 | 80911 4 | 0 | 2 1310.07/1310.47 c 1309s | 17 | 368445 | 240032 | 80911 4 | 0 | 2 1312.18/1312.56 c 1311s | 17 | 368864 | 240332 | 80911 4 | 0 | 2 1314.28/1314.61 c 1313s | 17 | 369314 | 240632 | 80911 4 | 0 | 2 1316.97/1317.40 c 1316s | 17 | 369974 | 241032 | 80911 4 | 0 | 2 1319.37/1319.72 c 1318s | 17 | 370431 | 241332 | 80911 4 | 0 | 2 1321.88/1322.21 c 1321s | 17 | 371007 | 241632 | 80911 4 | 0 | 2 1324.27/1324.66 c 1323s | 17 | 371461 | 241932 | 80911 4 | 0 | 2 1326.86/1327.22 c 1326s | 17 | 371904 | 242232 | 80911 4 | 0 | 2 1328.97/1329.39 c 1328s | 17 | 372374 | 242532 | 80911 4 | 0 | 2 1331.56/1331.92 c 1331s | 17 | 372924 | 242832 | 80911 4 | 0 | 2 1333.56/1333.98 c 1333s | 17 | 373482 | 243132 | 80911 4 | 0 | 2 1335.66/1336.01 c 1335s | 17 | 373913 | 243432 | 80911 4 | 0 | 2 1337.86/1338.28 c 1337s | 17 | 374303 | 243732 | 80911 4 | 0 | 2 1340.67/1341.01 c 1340s | 17 | 374922 | 244132 | 80911 4 | 0 | 2 1342.96/1343.33 c 1342s | 17 | 375354 | 244432 | 80911 4 | 0 | 2 1345.45/1345.81 c 1345s | 17 | 375861 | 244732 | 80911 4 | 0 | 2 1348.15/1348.50 c 1347s | 17 | 376348 | 245032 | 80911 4 | 0 | 2 1350.15/1350.59 c 1349s | 17 | 376765 | 245332 | 80911 4 | 0 | 2 1352.35/1352.77 c 1352s | 17 | 377335 | 245632 | 80911 4 | 0 | 2 1354.65/1355.07 c 1354s | 17 | 377977 | 246032 | 80911 4 | 0 | 2 1356.75/1357.12 c 1356s | 17 | 378454 | 246332 | 80911 4 | 0 | 2 1358.75/1359.15 c 1358s | 17 | 378933 | 246632 | 80911 4 | 0 | 2 1360.95/1361.31 c 1360s | 17 | 379493 | 247032 | 80911 4 | 0 | 2 1363.15/1363.50 c 1362s | 17 | 380106 | 247432 | 80911 4 | 0 | 2 1365.64/1366.02 c 1365s | 17 | 380831 | 247932 | 80911 4 | 0 | 2 1368.34/1368.71 c 1367s | 17 | 381418 | 248332 | 80911 4 | 0 | 2 1370.44/1370.87 c 1370s | 17 | 381920 | 248632 | 80911 4 | 0 | 2 1372.74/1373.15 c 1372s | 17 | 382535 | 249032 | 80911 4 | 0 | 2 1375.14/1375.53 c 1374s | 17 | 382947 | 249332 | 80911 4 | 0 | 2 1377.13/1377.54 c 1376s | 17 | 383396 | 249632 | 80911 4 | 0 | 2 1379.33/1379.76 c 1379s | 17 | 383778 | 249932 | 80911 4 | 0 | 2 1381.43/1381.86 c 1381s | 17 | 384152 | 250232 | 80911 4 | 0 | 2 1383.94/1384.32 c 1383s | 17 | 384647 | 250532 | 80911 4 | 0 | 2 1386.13/1386.54 c 1385s | 17 | 385086 | 250832 | 80911 4 | 0 | 2 1388.43/1388.86 c 1388s | 17 | 385539 | 251132 | 80911 4 | 0 | 2 1390.93/1391.34 c 1390s | 17 | 386003 | 251432 | 80911 4 | 0 | 2 1393.12/1393.54 c 1392s | 17 | 386433 | 251732 | 80911 4 | 0 | 2 1395.43/1395.88 c 1395s | 17 | 386856 | 252032 | 80911 4 | 0 | 2 1398.03/1398.45 c 1397s | 17 | 387425 | 252432 | 80911 4 | 0 | 2 1400.72/1401.14 c 1400s | 17 | 387988 | 252832 | 80911 4 | 0 | 2 1403.02/1403.44 c 1402s | 17 | 388434 | 253132 | 80911 4 | 0 | 2 1405.21/1405.61 c 1404s | 17 | 388890 | 253432 | 80911 4 | 0 | 2 1408.12/1408.54 c 1407s | 17 | 389311 | 253732 | 80911 4 | 0 | 2 1410.22/1410.67 c 1409s | 17 | 389784 | 254032 | 80911 4 | 0 | 2 1413.22/1413.62 c 1412s | 17 | 390176 | 254332 | 80911 4 | 0 | 2 1416.01/1416.43 c 1415s | 17 | 390658 | 254632 | 80911 4 | 0 | 2 1418.41/1418.87 c 1418s | 17 | 391075 | 254932 | 80911 4 | 0 | 2 1421.01/1421.42 c 1420s | 17 | 391572 | 255232 | 80911 4 | 0 | 2 1423.71/1424.14 c 1423s | 17 | 391962 | 255532 | 80911 4 | 0 | 2 1426.10/1426.50 c 1425s | 17 | 392523 | 255932 | 80911 4 | 0 | 2 1428.40/1428.87 c 1428s | 17 | 393074 | 256332 | 80911 4 | 0 | 2 1430.40/1430.88 c 1430s | 17 | 393488 | 256632 | 80911 4 | 0 | 2 1433.10/1433.58 c 1432s | 17 | 394071 | 257032 | 80911 4 | 0 | 2 1435.20/1435.64 c 1434s | 17 | 394498 | 257332 | 80911 4 | 0 | 2 1437.70/1438.10 c 1437s | 17 | 395046 | 257732 | 80911 4 | 0 | 2 1439.70/1440.17 c 1439s | 17 | 395498 | 258032 | 80911 4 | 0 | 2 1442.29/1442.77 c 1442s | 17 | 396054 | 258432 | 80911 4 | 0 | 2 1444.40/1444.85 c 1444s | 17 | 396541 | 258732 | 80911 4 | 0 | 2 1447.20/1447.68 c 1446s | 17 | 397100 | 259132 | 80911 4 | 0 | 2 1449.29/1449.72 c 1448s | 17 | 397513 | 259432 | 80911 4 | 0 | 2 1451.49/1451.94 c 1451s | 17 | 398000 | 259732 | 80911 4 | 0 | 2 1457.49/1457.99 c 1457s | 17 | 398465 | 260032 | 80911 5 | 0 | 2 1459.78/1460.24 c 1459s | 17 | 398760 | 260232 | 80911 5 | 0 | 2 1461.98/1462.43 c 1461s | 17 | 399243 | 260532 | 80911 5 | 0 | 2 1464.59/1465.01 c 1464s | 17 | 399669 | 260832 | 80911 5 | 0 | 2 1466.58/1467.02 c 1466s | 17 | 399970 | 261032 | 80911 5 | 0 | 2 1469.08/1469.57 c 1468s | 17 | 400364 | 261332 | 80911 5 | 0 | 2 1471.18/1471.67 c 1470s | 17 | 400858 | 261632 | 80911 5 | 0 | 2 1473.89/1474.38 c 1473s | 17 | 401505 | 262032 | 80911 5 | 0 | 2 1476.48/1476.93 c 1476s | 17 | 402208 | 262432 | 80911 5 | 0 | 2 1479.08/1479.51 c 1478s | 17 | 402647 | 262732 | 80911 5 | 0 | 2 1481.18/1481.65 c 1480s | 17 | 403091 | 263032 | 80911 5 | 0 | 2 1483.78/1484.28 c 1483s | 17 | 403735 | 263432 | 80911 5 | 0 | 2 1486.17/1486.67 c 1485s | 17 | 404198 | 263732 | 80911 5 | 0 | 2 1488.88/1489.31 c 1488s | 17 | 404646 | 264032 | 80911 5 | 0 | 2 1491.47/1491.97 c 1491s | 17 | 405093 | 264332 | 80911 5 | 0 | 2 1494.48/1494.93 c 1494s | 17 | 405521 | 264632 | 80911 5 | 0 | 2 1496.68/1497.16 c 1496s | 17 | 405998 | 264932 | 80911 5 | 0 | 2 1499.57/1500.03 c 1499s | 17 | 406418 | 265232 | 80911 5 | 0 | 2 1501.67/1502.12 c 1501s | 17 | 406663 | 265432 | 80911 5 | 0 | 2 1504.26/1504.78 c 1504s | 17 | 406939 | 265632 | 80911 5 | 0 | 2 1508.47/1508.96 c 1508s | 17 | 407126 | 265732 | 80911 5 | 0 | 2 1510.57/1511.08 c 1510s | 17 | 407870 | 266132 | 80911 5 | 0 | 2 1512.76/1513.29 c 1512s | 17 | 408797 | 266632 | 80911 5 | 0 | 2 1515.17/1515.60 c 1514s | 17 | 409276 | 266932 | 80911 5 | 0 | 2 1517.26/1517.78 c 1517s | 17 | 409948 | 267332 | 80911 5 | 0 | 2 1519.46/1519.92 c 1519s | 17 | 410529 | 267732 | 80911 5 | 0 | 2 1521.57/1522.05 c 1521s | 17 | 411132 | 268132 | 80911 5 | 0 | 2 1524.06/1524.50 c 1523s | 17 | 411807 | 268632 | 80911 5 | 0 | 2 1526.06/1526.52 c 1525s | 17 | 412342 | 268932 | 80911 5 | 0 | 2 1528.35/1528.80 c 1528s | 17 | 412728 | 269232 | 80911 5 | 0 | 2 1530.77/1531.24 c 1530s | 17 | 413531 | 269732 | 80911 5 | 0 | 2 1532.86/1533.31 c 1532s | 17 | 414217 | 270132 | 80911 5 | 0 | 2 1535.16/1535.62 c 1534s | 17 | 414758 | 270532 | 80911 5 | 0 | 2 1537.26/1537.74 c 1536s | 17 | 415311 | 270932 | 80911 5 | 0 | 2 1539.56/1540.08 c 1539s | 17 | 416052 | 271332 | 80911 5 | 0 | 2 1542.25/1542.71 c 1541s | 17 | 416666 | 271732 | 80911 5 | 0 | 2 1544.26/1544.75 c 1543s | 17 | 417093 | 272032 | 80911 5 | 0 | 2 1546.95/1547.43 c 1546s | 17 | 417662 | 272432 | 80911 5 | 0 | 2 1549.35/1549.81 c 1549s | 17 | 418217 | 272832 | 80911 5 | 0 | 2 1551.75/1552.28 c 1551s | 17 | 418728 | 273132 | 80911 5 | 0 | 2 1553.86/1554.30 c 1553s | 17 | 419279 | 273432 | 80911 5 | 0 | 2 1556.35/1556.89 c 1556s | 17 | 419678 | 273732 | 80911 5 | 0 | 2 1558.85/1559.35 c 1558s | 17 | 420151 | 274032 | 80911 5 | 0 | 2 1561.05/1561.58 c 1560s | 17 | 420569 | 274332 | 80911 5 | 0 | 2 1563.34/1563.82 c 1563s | 17 | 421074 | 274732 | 80911 5 | 0 | 2 1565.84/1566.40 c 1565s | 17 | 421724 | 275132 | 80911 5 | 0 | 2 1567.95/1568.43 c 1567s | 17 | 422222 | 275432 | 80911 5 | 0 | 2 1570.45/1570.98 c 1570s | 17 | 422808 | 275832 | 80911 5 | 0 | 2 1572.44/1572.98 c 1572s | 17 | 423246 | 276132 | 80911 5 | 0 | 2 1574.65/1575.20 c 1574s | 17 | 423631 | 276432 | 80911 5 | 0 | 2 1576.95/1577.47 c 1576s | 17 | 424097 | 276732 | 80911 5 | 0 | 2 1579.74/1580.20 c 1579s | 17 | 424615 | 277032 | 80911 5 | 0 | 2 1582.84/1583.33 c 1582s | 17 | 425102 | 277332 | 80911 5 | 0 | 2 1585.44/1585.99 c 1585s | 17 | 425371 | 277532 | 80911 5 | 0 | 2 1587.83/1588.36 c 1587s | 17 | 425508 | 277632 | 80911 5 | 0 | 2 1590.33/1590.85 c 1590s | 17 | 426179 | 278032 | 80911 5 | 0 | 2 1592.53/1593.07 c 1592s | 17 | 426810 | 278432 | 80911 5 | 0 | 2 1594.64/1595.12 c 1594s | 17 | 427287 | 278732 | 80911 5 | 0 | 2 1596.93/1597.42 c 1596s | 17 | 427710 | 279032 | 80911 5 | 0 | 2 1599.33/1599.82 c 1599s | 17 | 428139 | 279332 | 80911 5 | 0 | 2 1601.93/1602.41 c 1601s | 17 | 428615 | 279632 | 80911 5 | 0 | 2 1604.23/1604.77 c 1604s | 17 | 429070 | 279932 | 80911 5 | 0 | 2 1606.53/1607.10 c 1606s | 17 | 429497 | 280232 | 80911 5 | 0 | 2 1609.13/1609.61 c 1608s | 17 | 430004 | 280632 | 80911 5 | 0 | 2 1611.33/1611.81 c 1611s | 17 | 430404 | 280932 | 80911 5 | 0 | 2 1614.03/1614.59 c 1613s | 17 | 430857 | 281232 | 80911 5 | 0 | 2 1616.42/1616.99 c 1616s | 17 | 431106 | 281432 | 80911 5 | 0 | 2 1618.63/1619.14 c 1618s | 17 | 431631 | 281732 | 80911 5 | 0 | 2 1620.93/1621.43 c 1620s | 17 | 432341 | 282132 | 80911 5 | 0 | 2 1623.83/1624.38 c 1623s | 17 | 432949 | 282532 | 80911 5 | 0 | 2 1625.92/1626.41 c 1625s | 17 | 433252 | 282732 | 80911 5 | 0 | 2 1628.12/1628.60 c 1627s | 17 | 433799 | 283032 | 80911 5 | 0 | 2 1630.33/1630.85 c 1630s | 17 | 434280 | 283332 | 80911 5 | 0 | 2 1632.42/1632.91 c 1632s | 17 | 434528 | 283532 | 80911 5 | 0 | 2 1635.22/1635.76 c 1635s | 17 | 434965 | 283832 | 80911 5 | 0 | 2 1637.22/1637.78 c 1637s | 17 | 435427 | 284132 | 80911 5 | 0 | 2 1639.73/1640.25 c 1639s | 17 | 435985 | 284432 | 80911 5 | 0 | 2 1642.11/1642.60 c 1641s | 17 | 436436 | 284732 | 80911 5 | 0 | 2 1644.42/1644.92 c 1644s | 17 | 437040 | 285132 | 80911 5 | 0 | 2 1646.91/1647.49 c 1646s | 17 | 437694 | 285532 | 80911 5 | 0 | 2 1649.41/1649.91 c 1649s | 17 | 438141 | 285832 | 80911 5 | 0 | 2 1651.91/1652.49 c 1651s | 17 | 438838 | 286232 | 80911 5 | 0 | 2 1654.02/1654.59 c 1653s | 17 | 439275 | 286532 | 80911 5 | 0 | 2 1656.21/1656.71 c 1655s | 17 | 439736 | 286832 | 80911 5 | 0 | 2 1659.01/1659.57 c 1658s | 17 | 440127 | 287132 | 80911 5 | 0 | 2 1661.20/1661.73 c 1660s | 17 | 440572 | 287432 | 80911 5 | 0 | 2 1664.10/1664.63 c 1663s | 17 | 441009 | 287732 | 80911 5 | 0 | 2 1666.30/1666.81 c 1666s | 17 | 441457 | 288032 | 80911 5 | 0 | 2 1668.70/1669.23 c 1668s | 17 | 441866 | 288332 | 80911 5 | 0 | 2 1671.00/1671.50 c 1670s | 17 | 442285 | 288632 | 80911 5 | 0 | 2 1673.50/1674.06 c 1673s | 17 | 442765 | 288932 | 80911 5 | 0 | 2 1675.69/1676.26 c 1675s | 17 | 443217 | 289232 | 80911 5 | 0 | 2 1677.89/1678.45 c 1677s | 17 | 443657 | 289532 | 80911 5 | 0 | 2 1680.30/1680.85 c 1680s | 17 | 444076 | 289832 | 80911 5 | 0 | 2 1682.99/1683.58 c 1682s | 17 | 444535 | 290132 | 80911 5 | 0 | 2 1685.69/1686.27 c 1685s | 17 | 444999 | 290432 | 80911 5 | 0 | 2 1688.89/1689.49 c 1688s | 17 | 445412 | 290732 | 80911 5 | 0 | 2 1692.49/1693.03 c 1692s | 17 | 445681 | 290932 | 80911 5 | 0 | 2 1694.99/1695.55 c 1694s | 17 | 446160 | 291232 | 80911 5 | 0 | 2 1697.90/1698.44 c 1697s | 17 | 446599 | 291532 | 80911 5 | 0 | 2 1700.09/1700.65 c 1699s | 17 | 446873 | 291732 | 80911 5 | 0 | 2 1702.19/1702.79 c 1702s | 17 | 447283 | 292032 | 80911 5 | 0 | 2 1704.28/1704.89 c 1704s | 17 | 447669 | 292332 | 80911 5 | 0 | 2 1706.59/1707.12 c 1706s | 17 | 448161 | 292632 | 80911 5 | 0 | 2 1708.68/1709.25 c 1708s | 17 | 448572 | 292932 | 80911 5 | 0 | 2 1711.09/1711.63 c 1710s | 17 | 449031 | 293232 | 80911 5 | 0 | 2 1713.29/1713.85 c 1713s | 17 | 449486 | 293532 | 80911 5 | 0 | 2 1715.68/1716.20 c 1715s | 17 | 449872 | 293832 | 80911 5 | 0 | 2 1717.98/1718.55 c 1717s | 17 | 450294 | 294132 | 89003 5 | 0 | 2 1720.18/1720.77 c 1720s | 17 | 450740 | 294432 | 89003 5 | 0 | 2 1722.88/1723.48 c 1722s | 17 | 451345 | 294832 | 89003 5 | 0 | 2 1725.08/1725.60 c 1724s | 17 | 451791 | 295132 | 89003 5 | 0 | 2 1727.18/1727.79 c 1727s | 17 | 452201 | 295432 | 89003 5 | 0 | 2 1729.78/1730.37 c 1729s | 17 | 452671 | 295732 | 89003 5 | 0 | 2 1732.67/1733.21 c 1732s | 17 | 453039 | 296032 | 89003 5 | 0 | 2 1734.48/1735.05 c 1734s | 18 | 453343 | 296252 | 89003 5 | 0 | 2 1738.48/1739.04 c 1738s | 18 | 453918 | 296352 | 89003 5 | 0 | 2 1741.27/1741.81 c 1741s | 18 | 454368 | 296652 | 89003 5 | 0 | 2 1743.57/1744.10 c 1743s | 18 | 454648 | 296852 | 89003 5 | 0 | 2 1745.77/1746.33 c 1745s | 18 | 454895 | 297052 | 89003 5 | 0 | 2 1747.77/1748.36 c 1747s | 18 | 455196 | 297252 | 89003 5 | 0 | 2 1750.47/1751.00 c 1750s | 18 | 455680 | 297552 | 89003 5 | 0 | 2 1752.98/1753.57 c 1752s | 18 | 456295 | 297952 | 89003 5 | 0 | 2 1755.07/1755.64 c 1754s | 18 | 456731 | 298252 | 89003 5 | 0 | 2 1757.17/1757.75 c 1757s | 18 | 457185 | 298552 | 89003 5 | 0 | 2 1759.26/1759.81 c 1759s | 18 | 457641 | 298852 | 89003 5 | 0 | 2 1761.56/1762.15 c 1761s | 18 | 458052 | 299152 | 89003 5 | 0 | 2 1763.77/1764.35 c 1763s | 18 | 458485 | 299452 | 89003 5 | 0 | 2 1766.07/1766.67 c 1765s | 18 | 458918 | 299752 | 89003 5 | 0 | 2 1768.77/1769.34 c 1768s | 18 | 459514 | 300152 | 89003 5 | 0 | 2 1771.16/1771.72 c 1770s | 18 | 459946 | 300452 | 89003 5 | 0 | 2 1773.77/1774.33 c 1773s | 18 | 460543 | 300852 | 89003 5 | 0 | 2 1776.36/1776.95 c 1776s | 18 | 461006 | 301152 | 89003 5 | 0 | 2 1778.76/1779.37 c 1778s | 18 | 461483 | 301452 | 89003 5 | 0 | 2 1781.46/1782.01 c 1781s | 18 | 461924 | 301752 | 89003 5 | 0 | 2 1784.26/1784.82 c 1784s | 18 | 462355 | 302052 | 89003 5 | 0 | 2 1786.55/1787.11 c 1786s | 18 | 462580 | 302252 | 89003 5 | 0 | 2 1794.25/1794.87 c 1794s | 18 | 463007 | 302452 | 89003 5 | 0 | 2 1796.25/1796.88 c 1796s | 18 | 463693 | 302852 | 89003 5 | 0 | 2 1798.85/1799.40 c 1798s | 18 | 464531 | 303352 | 89003 5 | 0 | 2
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-4080136-1465256724/watcher-4080136-1465256724 -o /tmp/evaluation-result-4080136-1465256724/solver-4080136-1465256724 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4332 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080136-1465256724.opb pid=4459 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.20 1.27 1.71 4/179 4462 /proc/meminfo: memFree=29213324/32872528 swapFree=15644/1722384 [pid=4462] ppid=4459 vsize=743868 CPUtime=0 cores=1,3,5,7 /proc/4462/stat : 4462 (toysat) R 4459 4462 4315 0 -1 4202496 2778 0 0 0 0 0 0 0 20 0 4 0 107606019 761720832 3139 33554432000 4194304 16246674 140736926259072 140736926258496 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4462/statm: 186479 3147 441 2943 0 183373 0 [pid=4462/tid=4463] ppid=4459 vsize=761276 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4463/stat : 4463 (toysat) S 4459 4462 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107606019 779546624 3209 33554432000 4194304 16246674 140736926259072 140150323522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=4462/tid=4464] ppid=4459 vsize=766396 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4464/stat : 4464 (toysat) S 4459 4462 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107606019 784789504 3228 33554432000 4194304 16246674 140736926259072 140150313032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=4462/tid=4465] ppid=4459 vsize=770492 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4465/stat : 4465 (toysat) S 4459 4462 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107606019 788983808 3243 33554432000 4194304 16246674 140736926259072 140150302559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.100129 s] /proc/loadavg: 1.20 1.27 1.71 4/179 4462 /proc/meminfo: memFree=29213324/32872528 swapFree=15644/1722384 [pid=4462] ppid=4459 vsize=1221188 CPUtime=0.09 cores=1,3,5,7 /proc/4462/stat : 4462 (toysat) R 4459 4462 4315 0 -1 4202496 23053 0 0 0 6 3 0 0 20 0 4 0 107606019 1250496512 23352 33554432000 4194304 16246674 140736926259072 140736926258384 12459121 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4462/statm: 305297 23361 835 2943 0 302191 0 [pid=4462/tid=4463] ppid=4459 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4463/stat : 4463 (toysat) S 4459 4462 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107606019 1250496512 23368 33554432000 4194304 16246674 140736926259072 140150323522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=4462/tid=4464] ppid=4459 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4464/stat : 4464 (toysat) S 4459 4462 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107606019 1250496512 23375 33554432000 4194304 16246674 140736926259072 140150313032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=4462/tid=4465] ppid=4459 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4465/stat : 4465 (toysat) S 4459 4462 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107606019 1250496512 23381 33554432000 4194304 16246674 140736926259072 140150302559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1221188 [startup+0.200492 s] /proc/loadavg: 1.20 1.27 1.71 4/179 4462 /proc/meminfo: memFree=29213324/32872528 swapFree=15644/1722384 [pid=4462] ppid=4459 vsize=1284676 CPUtime=0.19 cores=1,3,5,7 /proc/4462/stat : 4462 (toysat) R 4459 4462 4315 0 -1 4202496 41370 0 0 0 13 6 0 0 20 0 4 0 107606019 1315508224 41668 33554432000 4194304 16246674 140736926259072 140736926258384 12459121 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4462/statm: 321169 41679 835 2943 0 318063 0 [pid=4462/tid=4463] ppid=4459 vsize=1284676 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4463/stat : 4463 (toysat) S 4459 4462 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107606019 1315508224 41686 33554432000 4194304 16246674 140736926259072 140150323522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=4462/tid=4464] ppid=4459 vsize=1284676 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4464/stat : 4464 (toysat) S 4459 4462 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107606019 1315508224 41693 33554432000 4194304 16246674 140736926259072 140150313032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=4462/tid=4465] ppid=4459 vsize=1284676 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4465/stat : 4465 (toysat) S 4459 4462 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107606019 1315508224 41700 33554432000 4194304 16246674 140736926259072 140150302559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1284676 [startup+0.300445 s] /proc/loadavg: 1.20 1.27 1.71 4/179 4462 /proc/meminfo: memFree=29213324/32872528 swapFree=15644/1722384 [pid=4462] ppid=4459 vsize=1292868 CPUtime=0.28 cores=1,3,5,7 /proc/4462/stat : 4462 (toysat) R 4459 4462 4315 0 -1 4202496 51758 0 0 0 21 7 0 0 20 0 4 0 107606019 1323896832 52056 33554432000 4194304 16246674 140736926259072 140736926258384 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4462/statm: 323217 52064 835 2943 0 320111 0 [pid=4462/tid=4463] ppid=4459 vsize=1292868 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4463/stat : 4463 (toysat) S 4459 4462 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107606019 1323896832 52068 33554432000 4194304 16246674 140736926259072 140150323522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=4462/tid=4464] ppid=4459 vsize=1292868 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4464/stat : 4464 (toysat) S 4459 4462 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107606019 1323896832 52072 33554432000 4194304 16246674 140736926259072 140150313032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=4462/tid=4465] ppid=4459 vsize=1292868 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4465/stat : 4465 (toysat) S 4459 4462 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107606019 1323896832 52076 33554432000 4194304 16246674 140736926259072 140150302559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1292868 [startup+0.700383 s] /proc/loadavg: 1.20 1.27 1.71 4/179 4462 /proc/meminfo: memFree=29213324/32872528 swapFree=15644/1722384 [pid=4462] ppid=4459 vsize=1307204 CPUtime=0.69 cores=1,3,5,7 /proc/4462/stat : 4462 (toysat) R 4459 4462 4315 0 -1 4202496 55472 0 0 0 61 8 0 0 20 0 4 0 107606019 1338576896 55770 33554432000 4194304 16246674 140736926259072 140736926242064 5829044 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4462/statm: 326801 55770 897 2943 0 323695 0 [pid=4462/tid=4463] ppid=4459 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4463/stat : 4463 (toysat) S 4459 4462 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107606019 1338576896 55770 33554432000 4194304 16246674 140736926259072 140150323522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=4462/tid=4464] ppid=4459 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4464/stat : 4464 (toysat) S 4459 4462 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107606019 1338576896 55770 33554432000 4194304 16246674 140736926259072 140150313032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=4462/tid=4465] ppid=4459 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4465/stat : 4465 (toysat) S 4459 4462 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107606019 1338576896 55770 33554432000 4194304 16246674 140736926259072 140150302559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1307204 [startup+1.50037 s] /proc/loadavg: 1.20 1.27 1.71 3/183 4466 /proc/meminfo: memFree=28928796/32872528 swapFree=15644/1722384 [pid=4462] ppid=4459 vsize=1307204 CPUtime=1.49 cores=1,3,5,7 /proc/4462/stat : 4462 (toysat) R 4459 4462 4315 0 -1 4202496 70402 0 0 0 139 10 0 0 20 0 4 0 107606019 1338576896 70700 33554432000 4194304 16246674 140736926259072 140736926240960 5531848 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4462/statm: 326801 70700 909 2943 0 323695 0 [pid=4462/tid=4463] ppid=4459 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4463/stat : 4463 (toysat) S 4459 4462 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107606019 1338576896 70700 33554432000 4194304 16246674 140736926259072 140150323522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=4462/tid=4464] ppid=4459 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4464/stat : 4464 (toysat) S 4459 4462 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107606019 1338576896 70700 33554432000 4194304 16246674 140736926259072 140150313032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=4462/tid=4465] ppid=4459 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4465/stat : 4465 (toysat) S 4459 4462 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107606019 1338576896 70700 33554432000 4194304 16246674 140736926259072 140150302559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1307204 [startup+3.10037 s] /proc/loadavg: 1.20 1.27 1.71 3/183 4466 /proc/meminfo: memFree=28926332/32872528 swapFree=15644/1722384 [pid=4462] ppid=4459 vsize=1308228 CPUtime=3.09 cores=1,3,5,7 /proc/4462/stat : 4462 (toysat) R 4459 4462 4315 0 -1 4202496 70541 0 0 0 299 10 0 0 20 0 4 0 107606019 1339625472 70839 33554432000 4194304 16246674 140736926259072 140736926240960 5723218 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4462/statm: 327057 70839 909 2943 0 323951 0 [pid=4462/tid=4463] ppid=4459 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4463/stat : 4463 (toysat) S 4459 4462 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107606019 1339625472 70839 33554432000 4194304 16246674 140736926259072 140150323522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=4462/tid=4464] ppid=4459 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4464/stat : 4464 (toysat) S 4459 4462 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107606019 1339625472 70839 33554432000 4194304 16246674 140736926259072 140150313032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=4462/tid=4465] ppid=4459 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4465/stat : 4465 (toysat) S 4459 4462 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107606019 1339625472 70839 33554432000 4194304 16246674 140736926259072 140150302559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1308228 [startup+6.30038 s] /proc/loadavg: 1.26 1.28 1.71 3/183 4466 /proc/meminfo: memFree=28927076/32872528 swapFree=15644/1722384 [pid=4462] ppid=4459 vsize=1308228 CPUtime=6.28 cores=1,3,5,7 /proc/4462/stat : 4462 (toysat) R 4459 4462 4315 0 -1 4202496 70560 0 0 0 618 10 0 0 20 0 4 0 107606019 1339625472 70858 33554432000 4194304 16246674 140736926259072 140736926240960 5661532 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4462/statm: 327057 70858 911 2943 0 323951 0 [pid=4462/tid=4463] ppid=4459 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4463/stat : 4463 (toysat) S 4459 4462 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107606019 1339625472 70858 33554432000 4194304 16246674 140736926259072 140150323522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=4462/tid=4464] ppid=4459 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4464/stat : 4464 (toysat) S 4459 4462 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107606019 1339625472 70858 33554432000 4194304 16246674 140736926259072 140150313032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=4462/tid=4465] ppid=4459 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4465/stat : 4465 (toysat) S 4459 4462 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107606019 1339625472 70858 33554432000 4194304 16246674 140736926259072 140150302559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 1.32 1.29 1.72 4/183 4466 /proc/meminfo: memFree=28843240/32872528 swapFree=15644/1722384 [pid=4462] ppid=4459 vsize=1308228 CPUtime=12.69 cores=1,3,5,7 /proc/4462/stat : 4462 (toysat) R 4459 4462 4315 0 -1 4202496 91198 0 0 0 1255 14 0 0 20 0 4 0 107606019 1339625472 91496 33554432000 4194304 16246674 140736926259072 140736926240960 13898695 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4462/statm: 327057 91496 911 2943 0 323951 0 [pid=4462/tid=4463] ppid=4459 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4463/stat : 4463 (toysat) S 4459 4462 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107606019 1339625472 91496 33554432000 4194304 16246674 140736926259072 140150323522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=4462/tid=4464] ppid=4459 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4464/stat : 4464 (toysat) S 4459 4462 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107606019 1339625472 91496 33554432000 4194304 16246674 140736926259072 140150313032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=4462/tid=4465] ppid=4459 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4465/stat : 4465 (toysat) S 4459 4462 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107606019 1339625472 91496 33554432000 4194304 16246674 140736926259072 140150302559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 1.54 1.34 1.73 3/183 4466 /proc/meminfo: memFree=28841432/32872528 swapFree=15644/1722384 [pid=4462] ppid=4459 vsize=1308228 CPUtime=25.48 cores=1,3,5,7 /proc/4462/stat : 4462 (toysat) R 4459 4462 4315 0 -1 4202496 91298 0 0 0 2534 14 0 0 20 0 4 0 107606019 1339625472 91596 33554432000 4194304 16246674 140736926259072 140736926240960 5661428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4462/statm: 327057 91596 911 2943 0 323951 0 [pid=4462/tid=4463] ppid=4459 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4463/stat : 4463 (toysat) S 4459 4462 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107606019 1339625472 91596 33554432000 4194304 16246674 140736926259072 140150323522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=4462/tid=4464] ppid=4459 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4464/stat : 4464 (toysat) S 4459 4462 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107606019 1339625472 91596 33554432000 4194304 16246674 140736926259072 140150313032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=4462/tid=4465] ppid=4459 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4465/stat : 4465 (toysat) S 4459 4462 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107606019 1339625472 91596 33554432000 4194304 16246674 140736926259072 140150302559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1308228 [startup+51.1005 s] /proc/loadavg: 1.70 1.39 1.73 3/183 4466 /proc/meminfo: memFree=28819864/32872528 swapFree=15644/1722384 [pid=4462] ppid=4459 vsize=1308228 CPUtime=51.08 cores=1,3,5,7 /proc/4462/stat : 4462 (toysat) R 4459 4462 4315 0 -1 4202496 91299 0 0 0 5091 17 0 0 20 0 4 0 107606019 1339625472 91597 33554432000 4194304 16246674 140736926259072 140736926258248 5675059 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4462/statm: 327057 91597 912 2943 0 323951 0 [pid=4462/tid=4463] ppid=4459 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4463/stat : 4463 (toysat) S 4459 4462 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107606019 1339625472 91597 33554432000 4194304 16246674 140736926259072 140150323522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=4462/tid=4464] ppid=4459 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4464/stat : 4464 (toysat) S 4459 4462 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107606019 1339625472 91597 33554432000 4194304 16246674 140736926259072 140150313032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=4462/tid=4465] ppid=4459 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4465/stat : 4465 (toysat) S 4459 4462 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107606019 1339625472 91597 33554432000 4194304 16246674 140736926259072 140150302559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1308228 [startup+102.3 s] /proc/loadavg: 1.91 1.50 1.75 4/183 4516 /proc/meminfo: memFree=29343068/32872528 swapFree=15644/1722384 [pid=4462] ppid=4459 vsize=1308228 CPUtime=102.28 cores=1,3,5,7 /proc/4462/stat : 4462 (toysat) R 4459 4462 4315 0 -1 4202496 99699 0 0 0 10205 23 0 0 20 0 4 0 107606019 1339625472 99997 33554432000 4194304 16246674 140736926259072 140736926258168 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4462/statm: 327057 99997 914 2943 0 323951 0 [pid=4462/tid=4463] ppid=4459 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4463/stat : 4463 (toysat) S 4459 4462 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107606019 1339625472 99997 33554432000 4194304 16246674 140736926259072 140150323522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=4462/tid=4464] ppid=4459 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4464/stat : 4464 (toysat) S 4459 4462 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107606019 1339625472 99997 33554432000 4194304 16246674 140736926259072 140150313032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=4462/tid=4465] ppid=4459 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4465/stat : 4465 (toysat) S 4459 4462 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107606019 1339625472 99997 33554432000 4194304 16246674 140736926259072 140150302559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1308228 ################ # More data... # ################ /proc/4462/task/4465/stat : 4465 (toysat) S 4459 4462 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107606019 1400442880 283423 33554432000 4194304 16246674 140736926259072 140150302559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 1367620 [startup+1302.3 s] /proc/loadavg: 2.27 2.23 2.09 3/183 4569 /proc/meminfo: memFree=26755756/32872528 swapFree=15644/1722384 [pid=4462] ppid=4459 vsize=1367620 CPUtime=1301.98 cores=1,3,5,7 /proc/4462/stat : 4462 (toysat) R 4459 4462 4315 0 -1 4202496 283301 0 0 0 130045 153 0 0 20 0 4 0 107606019 1400442880 283423 33554432000 4194304 16246674 140736926259072 140736926258248 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4462/statm: 341905 283423 917 2943 0 338799 0 [pid=4462/tid=4463] ppid=4459 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4463/stat : 4463 (toysat) S 4459 4462 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107606019 1400442880 283423 33554432000 4194304 16246674 140736926259072 140150323522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=4462/tid=4464] ppid=4459 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4464/stat : 4464 (toysat) S 4459 4462 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107606019 1400442880 283423 33554432000 4194304 16246674 140736926259072 140150313032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=4462/tid=4465] ppid=4459 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4465/stat : 4465 (toysat) S 4459 4462 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107606019 1400442880 283423 33554432000 4194304 16246674 140736926259072 140150302559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1367620 [startup+1362.3 s] /proc/loadavg: 2.14 2.20 2.09 3/183 4570 /proc/meminfo: memFree=26685912/32872528 swapFree=15644/1722384 [pid=4462] ppid=4459 vsize=1367620 CPUtime=1361.95 cores=1,3,5,7 /proc/4462/stat : 4462 (toysat) R 4459 4462 4315 0 -1 4202496 283340 0 0 0 136034 161 0 0 20 0 4 0 107606019 1400442880 283423 33554432000 4194304 16246674 140736926259072 140736926258168 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4462/statm: 341905 283423 917 2943 0 338799 0 [pid=4462/tid=4463] ppid=4459 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4463/stat : 4463 (toysat) S 4459 4462 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107606019 1400442880 283423 33554432000 4194304 16246674 140736926259072 140150323522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=4462/tid=4464] ppid=4459 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4464/stat : 4464 (toysat) S 4459 4462 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107606019 1400442880 283423 33554432000 4194304 16246674 140736926259072 140150313032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=4462/tid=4465] ppid=4459 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4465/stat : 4465 (toysat) S 4459 4462 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107606019 1400442880 283423 33554432000 4194304 16246674 140736926259072 140150302559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1367620 [startup+1422.3 s] /proc/loadavg: 2.19 2.20 2.09 3/183 4571 /proc/meminfo: memFree=26620604/32872528 swapFree=15644/1722384 [pid=4462] ppid=4459 vsize=1368644 CPUtime=1421.92 cores=1,3,5,7 /proc/4462/stat : 4462 (toysat) R 4459 4462 4315 0 -1 4202496 283406 0 0 0 142025 167 0 0 20 0 4 0 107606019 1401491456 283448 33554432000 4194304 16246674 140736926259072 140736926258248 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4462/statm: 342161 283448 917 2943 0 339055 0 [pid=4462/tid=4463] ppid=4459 vsize=1368644 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4463/stat : 4463 (toysat) S 4459 4462 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107606019 1401491456 283448 33554432000 4194304 16246674 140736926259072 140150323522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=4462/tid=4464] ppid=4459 vsize=1368644 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4464/stat : 4464 (toysat) S 4459 4462 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107606019 1401491456 283448 33554432000 4194304 16246674 140736926259072 140150313032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=4462/tid=4465] ppid=4459 vsize=1368644 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4465/stat : 4465 (toysat) S 4459 4462 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107606019 1401491456 283448 33554432000 4194304 16246674 140736926259072 140150302559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1368644 [startup+1482.3 s] /proc/loadavg: 2.26 2.22 2.10 3/184 4575 /proc/meminfo: memFree=26402632/32872528 swapFree=15644/1722384 [pid=4462] ppid=4459 vsize=1505860 CPUtime=1481.88 cores=1,3,5,7 /proc/4462/stat : 4462 (toysat) R 4459 4462 4315 0 -1 4202496 317929 0 0 0 148010 178 0 0 20 0 4 0 107606019 1542000640 317931 33554432000 4194304 16246674 140736926259072 140736926258248 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4462/statm: 376465 317931 917 2943 0 373359 0 [pid=4462/tid=4463] ppid=4459 vsize=1505860 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4463/stat : 4463 (toysat) S 4459 4462 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107606019 1542000640 317931 33554432000 4194304 16246674 140736926259072 140150323522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=4462/tid=4464] ppid=4459 vsize=1505860 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4464/stat : 4464 (toysat) S 4459 4462 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107606019 1542000640 317931 33554432000 4194304 16246674 140736926259072 140150313032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=4462/tid=4465] ppid=4459 vsize=1505860 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4465/stat : 4465 (toysat) S 4459 4462 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107606019 1542000640 317931 33554432000 4194304 16246674 140736926259072 140150302559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1505860 [startup+1542.31 s] /proc/loadavg: 2.20 2.21 2.10 4/183 4577 /proc/meminfo: memFree=26298864/32872528 swapFree=15644/1722384 [pid=4462] ppid=4459 vsize=1505860 CPUtime=1541.86 cores=1,3,5,7 /proc/4462/stat : 4462 (toysat) R 4459 4462 4315 0 -1 4202496 318012 0 0 0 154001 185 0 0 20 0 4 0 107606019 1542000640 317983 33554432000 4194304 16246674 140736926259072 140736926258248 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4462/statm: 376465 317983 917 2943 0 373359 0 [pid=4462/tid=4463] ppid=4459 vsize=1505860 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4463/stat : 4463 (toysat) S 4459 4462 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107606019 1542000640 317983 33554432000 4194304 16246674 140736926259072 140150323522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=4462/tid=4464] ppid=4459 vsize=1505860 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4464/stat : 4464 (toysat) S 4459 4462 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107606019 1542000640 317983 33554432000 4194304 16246674 140736926259072 140150313032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=4462/tid=4465] ppid=4459 vsize=1505860 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4465/stat : 4465 (toysat) S 4459 4462 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107606019 1542000640 317983 33554432000 4194304 16246674 140736926259072 140150302559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1505860 [startup+1602.3 s] /proc/loadavg: 2.28 2.23 2.11 3/183 4578 /proc/meminfo: memFree=26165392/32872528 swapFree=15644/1722384 [pid=4462] ppid=4459 vsize=1535556 CPUtime=1601.83 cores=1,3,5,7 /proc/4462/stat : 4462 (toysat) R 4459 4462 4315 0 -1 4202496 325455 0 0 0 159991 192 0 0 20 0 4 0 107606019 1572409344 325391 33554432000 4194304 16246674 140736926259072 140736926240960 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4462/statm: 383889 325391 917 2943 0 380783 0 [pid=4462/tid=4463] ppid=4459 vsize=1535556 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4463/stat : 4463 (toysat) S 4459 4462 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107606019 1572409344 325391 33554432000 4194304 16246674 140736926259072 140150323522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=4462/tid=4464] ppid=4459 vsize=1535556 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4464/stat : 4464 (toysat) S 4459 4462 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107606019 1572409344 325391 33554432000 4194304 16246674 140736926259072 140150313032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=4462/tid=4465] ppid=4459 vsize=1535556 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4465/stat : 4465 (toysat) S 4459 4462 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107606019 1572409344 325391 33554432000 4194304 16246674 140736926259072 140150302559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1535556 [startup+1662.3 s] /proc/loadavg: 2.15 2.20 2.11 3/183 4579 /proc/meminfo: memFree=26090908/32872528 swapFree=15644/1722384 [pid=4462] ppid=4459 vsize=1535556 CPUtime=1661.8 cores=1,3,5,7 /proc/4462/stat : 4462 (toysat) R 4459 4462 4315 0 -1 4202496 325506 0 0 0 165979 201 0 0 20 0 4 0 107606019 1572409344 325407 33554432000 4194304 16246674 140736926259072 140736926258248 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4462/statm: 383889 325407 917 2943 0 380783 0 [pid=4462/tid=4463] ppid=4459 vsize=1535556 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4463/stat : 4463 (toysat) S 4459 4462 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107606019 1572409344 325407 33554432000 4194304 16246674 140736926259072 140150323522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=4462/tid=4464] ppid=4459 vsize=1535556 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4464/stat : 4464 (toysat) S 4459 4462 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107606019 1572409344 325407 33554432000 4194304 16246674 140736926259072 140150313032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=4462/tid=4465] ppid=4459 vsize=1535556 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4465/stat : 4465 (toysat) S 4459 4462 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107606019 1572409344 325407 33554432000 4194304 16246674 140736926259072 140150302559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1535556 [startup+1722.3 s] /proc/loadavg: 2.24 2.22 2.12 3/183 4580 /proc/meminfo: memFree=25958888/32872528 swapFree=15644/1722384 [pid=4462] ppid=4459 vsize=1595972 CPUtime=1721.78 cores=1,3,5,7 /proc/4462/stat : 4462 (toysat) R 4459 4462 4315 0 -1 4202496 340547 0 0 0 171968 210 0 0 20 0 4 0 107606019 1634275328 340424 33554432000 4194304 16246674 140736926259072 140736926258248 5677720 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4462/statm: 398993 340424 917 2943 0 395887 0 [pid=4462/tid=4463] ppid=4459 vsize=1595972 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4463/stat : 4463 (toysat) S 4459 4462 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107606019 1634275328 340424 33554432000 4194304 16246674 140736926259072 140150323522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=4462/tid=4464] ppid=4459 vsize=1595972 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4464/stat : 4464 (toysat) S 4459 4462 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107606019 1634275328 340424 33554432000 4194304 16246674 140736926259072 140150313032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=4462/tid=4465] ppid=4459 vsize=1595972 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4465/stat : 4465 (toysat) S 4459 4462 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107606019 1634275328 340424 33554432000 4194304 16246674 140736926259072 140150302559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1595972 [startup+1782.3 s] /proc/loadavg: 2.18 2.21 2.11 3/183 4581 /proc/meminfo: memFree=25794268/32872528 swapFree=15644/1722384 [pid=4462] ppid=4459 vsize=1678916 CPUtime=1781.75 cores=1,3,5,7 /proc/4462/stat : 4462 (toysat) R 4459 4462 4315 0 -1 4202496 361172 0 0 0 177954 221 0 0 20 0 4 0 107606019 1719209984 361026 33554432000 4194304 16246674 140736926259072 140736926258248 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4462/statm: 419729 361026 917 2943 0 416623 0 [pid=4462/tid=4463] ppid=4459 vsize=1678916 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4463/stat : 4463 (toysat) S 4459 4462 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107606019 1719209984 361026 33554432000 4194304 16246674 140736926259072 140150323522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=4462/tid=4464] ppid=4459 vsize=1678916 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4464/stat : 4464 (toysat) S 4459 4462 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107606019 1719209984 361026 33554432000 4194304 16246674 140736926259072 140150313032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=4462/tid=4465] ppid=4459 vsize=1678916 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4465/stat : 4465 (toysat) S 4459 4462 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107606019 1719209984 361026 33554432000 4194304 16246674 140736926259072 140150302559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 1678916 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.21 2.21 2.12 3/182 4581 /proc/meminfo: memFree=25749164/32872528 swapFree=15644/1722384 [pid=4462] ppid=4459 vsize=1705540 CPUtime=1800.05 cores=1,3,5,7 /proc/4462/stat : 4462 (toysat) R 4459 4462 4315 0 -1 4202496 368055 0 0 0 179781 224 0 0 20 0 4 0 107606019 1746472960 367903 33554432000 4194304 16246674 140736926259072 140736926258248 5677667 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4462/statm: 426385 367903 917 2943 0 423279 0 [pid=4462/tid=4463] ppid=4459 vsize=1705540 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4463/stat : 4463 (toysat) S 4459 4462 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107606019 1746472960 367903 33554432000 4194304 16246674 140736926259072 140150323522800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=4462/tid=4464] ppid=4459 vsize=1705540 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4464/stat : 4464 (toysat) S 4459 4462 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107606019 1746472960 367903 33554432000 4194304 16246674 140736926259072 140150313032944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=4462/tid=4465] ppid=4459 vsize=1705540 CPUtime=0 cores=1,3,5,7 /proc/4462/task/4465/stat : 4465 (toysat) S 4459 4462 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107606019 1746472960 367903 33554432000 4194304 16246674 140736926259072 140150302559408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1705540 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 4462 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.62 CPU time (s): 1800.07 CPU user time (s): 1797.82 CPU system time (s): 2.25466 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (KiB): 1705540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.82 system time used= 2.25466 maximum resident set size= 1471612 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 368055 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= 472 involuntary context switches= 1878 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.55831 second user time and 6.95194 second system time The end
Begin job on node120 at 2016-06-07 01:45:24 IDJOB=4080136 IDBENCH=48140 IDSOLVER=2542 FILE ID=node120/4080136-1465256724 RUNJOBID= node120-1465256721-4332 PBS_JOBID= 19843284 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_2.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080136-1465256724/watcher-4080136-1465256724 -o /tmp/evaluation-result-4080136-1465256724/solver-4080136-1465256724 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4332 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080136-1465256724.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e4d0ce6c299ae1a05f607b170c68aad6 RANDOM SEED=247380689 node120.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.425 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 : 5332.85 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.425 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.425 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.425 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.425 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.425 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.425 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.425 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29213240 kB Buffers: 32700 kB Cached: 113964 kB SwapCached: 1468 kB Active: 1168228 kB Inactive: 46616 kB Active(anon): 1067656 kB Inactive(anon): 3200 kB Active(file): 100572 kB Inactive(file): 43416 kB Unevictable: 1722384 kB Mlocked: 15644 kB SwapTotal: 67108856 kB SwapFree: 67099624 kB Dirty: 33276 kB Writeback: 44 kB AnonPages: 2789624 kB Mapped: 11576 kB Shmem: 0 kB Slab: 586500 kB SReclaimable: 29992 kB SUnreclaim: 556508 kB KernelStack: 1472 kB PageTables: 9596 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2937304 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1710080 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71704 MiB End job on node120 at 2016-06-07 02:15:25