| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.41 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm25p-opt.opb.negationfix.opb |
| MD5SUM | 0e6bc42a73004b619a56f65a9590fd0d |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 34 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | |
| Total number of constraints | |
| Number of constraints which are clauses | |
| Number of constraints which are cardinality constraints (but not clauses) | |
| Number of constraints which are nor clauses,nor cardinality constraints | |
| Minimum length of a constraint | |
| Maximum length of a constraint | |
| Number of terms in the objective function | |
| Biggest coefficient in the objective function | |
| Number of bits for the biggest coefficient in the objective function | |
| Sum of the numbers in the objective function | |
| Number of bits of the sum of numbers in the objective function | |
| Biggest number in a constraint | |
| Number of bits of the biggest number in a constraint | |
| Biggest sum of numbers in a constraint | |
| Number of bits of the biggest sum of numbers | |
| Number of products (including duplicates) | |
| Sum of products size (including duplicates) | |
| Number of different products | |
| Sum of products size |
0.00/0.00 c 2016-06-30T11:19:08+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-4119807-1467278347.opb"] 0.00/0.01 c use --random-gen="2251743508 1569221990 3047463063 2855276469 2953904365 2131432142 1260377394 3472914027 436710086 1435022741 69585947 2359708991 3146883543 445706493 715565336 3768537351 212082706 2895677301 3343118814 1284568319 1422075793 1331968887 3407965505 1169683458 1639960019 1003990360 2198042899 3748768074 1367663831 2829349727 2509020874 3747945321 615848988 1090247437 2545284400 2578818748 1049660358 2431633827 1308959389 1228484712 3217498178 124968903 111874078 3488264211 1119859382 1565162475 3742674527 1220875597 3739127623 1893870225 2672573879 3780182942 4060946086 505166270 2939527634 2500707567 2055750089 2761645218 463790916 1292624369 1531800659 265290846 1300686952 742776162 4089160523 3207960023 2627008361 1367497401 408536656 2443782044 3836135737 386696489 1255638343 1504301884 888045736 2617653150 1124866528 2897423663 343515462 2726013990 3027355904 2544621483 2155937720 1743733131 1019029259 999959147 3999793116 934549103 3452147772 1392355380 2280409991 3460976284 2395133655 2503337057 3531772942 2737289846 563656979 1877216748 532598749 315299829 447087483 3094145971 1647449314 812517824 1812590588 3441552991 3992106781 2155795334 1924166145 465393911 2830581947 2802904039 1692192985 19275001 65393504 3491248063 266836618 669197612 1869049287 3133309600 1762715718 58009496 4034102330 686215957 1267119723 3678576371 1343800183 3633525506 2518808851 3762288084 795644511 2291765348 1340275252 1181559763 1110946725 3567460873 3270401873 2538509050 1814454073 3469930699 118491029 660267583 1161263764 1050714857 169383660 1752923659 2949089930 1259545851 3207721373 1616821276 1119442141 2566109988 3086649774 1950327217 2159396746 2596757309 3361858350 3172169808 3014394306 326856188 359624286 1747967659 1620633694 3059237499 3460481032 1297066137 3218635833 1934771913 1034411420 2897674945 2497628883 2918578230 4078801835 3542777817 1149165589 1195159933 3892621250 284602053 1865389006 244635707 292073667 3327324076 3540660178 4255222965 1866606202 1732027447 404311638 71106418 312445504 2446679491 571642702 110638408 2346137189 3768838674 383827242 577527279 17052092 1838226175 2481749136 1828451174 2884858108 1337978984 2574941983 4138571726 1422863610 3357350573 3011566389 2524229727 3220640743 283451748 2067203272 3032695288 345077273 338824756 1350735785 725556704 153570111 4252928871 31973792 3085925568 3191394516 2883122575 3675262135 238125353 768771607 772250912 3342942731 3889080526 2243623316 428514904 3285088229 2687238125 599301950 924803536 1515003592 3770556351 2766329246 669568564 3101545670 3868244055 564796593 2579077005 4124366554 3408232729 959196588 1564943469 4165543955 577313489 4171361263 1063628854 184413708 2034235806 3588803301 2317138981 3373984389 422374526 255 362436" option to reproduce the execution 0.29/0.37 c #vars 47232 0.29/0.37 c #constraints 994 1.29/1.32 c BCD2: Hardening is enabled. 1.29/1.32 c BCD2: BiasedSearch is enabled. 1.29/1.32 c Solving starts ... 1.29/1.32 c ============================[ Search Statistics ]============================ 1.29/1.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.32 c | | | | Limit GC | Var | Constra 1.29/1.32 c ============================================================================= 1.39/1.42 c 0.0s | 0 | 0 | 0 | 16075 0 | 196 | 0 1.49/1.52 c 0.1s | 0 | 455 | 0 | 16075 0 | 196 | 0 1.49/1.52 c #cpu_time = 0.072s 1.49/1.52 c #wall_clock_time = 0.072s 1.49/1.52 c #decision = 455 1.49/1.52 c #random_decision = 0 1.49/1.52 c #conflict = 0 1.49/1.52 c #restart = 0 1.49/1.52 o 128 1.49/1.52 c BCD2: updating upper bound: 128 -> 127 1.49/1.52 c BCD2: 0 <= obj <= 127 1.49/1.52 c BCD2: #cores=0, #unrelaxed=128, #relaxed=0, #hardened=0 1.49/1.52 c BCD2: #sat=1 #unsat=1 bias=1/2 1.49/1.52 c Solving starts ... 1.49/1.52 c ============================[ Search Statistics ]============================ 1.49/1.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.52 c | | | | Limit GC | Var | Constra 1.49/1.52 c ============================================================================= 1.49/1.52 c 0.0s | 0 | 0 | 0 | 16075 0 | 196 | 0 1.49/1.57 c 0.0s | 0 | 96 | 0 | 16075 0 | 196 | 0 1.49/1.57 c #cpu_time = 0.041s 1.49/1.57 c #wall_clock_time = 0.041s 1.49/1.57 c #decision = 96 1.49/1.57 c #random_decision = 0 1.49/1.57 c #conflict = 0 1.49/1.57 c #restart = 0 1.49/1.57 c BCD2: found a new core of size 97: cost of the new core is >=1 1.49/1.57 c lower bound updated to 1 1.49/1.57 c BCD2: 1 <= obj <= 127 1.49/1.57 c BCD2: #cores=1, #unrelaxed=31, #relaxed=97, #hardened=0 1.49/1.57 c BCD2: #sat=1 #unsat=2 bias=2/3 1.59/1.61 c Solving starts ... 1.59/1.61 c ============================[ Search Statistics ]============================ 1.59/1.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.61 c | | | | Limit GC | Var | Constra 1.59/1.61 c ============================================================================= 1.59/1.61 c 0.0s | 0 | 0 | 0 | 16075 0 | 196 | 0 1.69/1.74 c 0.1s | 0 | 22363 | 0 | 16075 0 | 196 | 0 1.69/1.74 c #cpu_time = 0.098s 1.69/1.74 c #wall_clock_time = 0.098s 1.69/1.74 c #decision = 22363 1.69/1.74 c #random_decision = 66 1.69/1.74 c #conflict = 0 1.69/1.74 c #restart = 0 1.69/1.74 o 34 1.69/1.74 c BCD2: updating upper bound: 127 -> 33 1.69/1.74 c BCD2: 1 <= obj <= 33 1.69/1.74 c BCD2: #cores=1, #unrelaxed=31, #relaxed=97, #hardened=0 1.69/1.74 c BCD2: #sat=2 #unsat=2 bias=2/4 1.69/1.74 c Solving starts ... 1.69/1.74 c ============================[ Search Statistics ]============================ 1.69/1.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.69/1.74 c | | | | Limit GC | Var | Constra 1.69/1.74 c ============================================================================= 1.69/1.75 c 0.0s | 0 | 0 | 0 | 16075 0 | 196 | 1 1.99/2.07 c 0.3s | 1 | 15626 | 100 | 16075 0 | 196 | 1 2.79/2.89 c 1.1s | 2 | 15847 | 250 | 17683 0 | 196 | 1 3.99/4.05 c 2.3s | 3 | 16195 | 475 | 19452 0 | 196 | 1 5.79/5.85 c 4.1s | 4 | 16629 | 813 | 21398 0 | 196 | 1 8.09/8.17 c 6.4s | 4 | 17197 | 1313 | 23538 0 | 196 | 1 8.19/8.23 c 6.5s | 5 | 17197 | 1320 | 23538 0 | 196 | 1 10.19/10.29 c 8.5s | 5 | 17861 | 1920 | 25892 0 | 196 | 1 10.59/10.67 c 8.9s | 6 | 18023 | 2081 | 28482 0 | 196 | 1 13.20/13.30 c 11.6s | 6 | 18841 | 2781 | 28482 0 | 196 | 1 15.40/15.48 c 13.7s | 7 | 19247 | 3223 | 31331 0 | 196 | 1 17.70/17.74 c 16.0s | 7 | 19830 | 3723 | 31331 0 | 196 | 1 19.90/19.98 c 18.2s | 7 | 20497 | 4423 | 31331 0 | 196 | 1 20.69/20.75 c 19.0s | 8 | 21064 | 4936 | 34465 0 | 196 | 1 23.10/23.16 c 21.4s | 8 | 21648 | 5436 | 34465 0 | 196 | 1 25.30/25.33 c 23.6s | 8 | 22223 | 6036 | 34465 0 | 196 | 1 27.60/27.67 c 25.9s | 8 | 23019 | 6836 | 34465 0 | 196 | 1 29.99/30.02 c 28.3s | 8 | 23436 | 7236 | 34465 0 | 196 | 1 31.59/31.63 c 29.9s | 9 | 23741 | 7506 | 37912 0 | 196 | 1 33.69/33.75 c 32.0s | 9 | 24232 | 7906 | 37912 0 | 196 | 1 35.99/36.01 c 34.3s | 9 | 24697 | 8406 | 37912 0 | 196 | 1 37.99/38.02 c 36.3s | 9 | 25306 | 9006 | 37912 0 | 196 | 1 39.99/40.08 c 38.3s | 9 | 26332 | 10006 | 37912 0 | 196 | 1 42.09/42.14 c 40.4s | 9 | 26857 | 10506 | 37912 0 | 196 | 1 44.69/44.70 c 43.0s | 9 | 27346 | 11006 | 37912 0 | 196 | 1 46.59/46.62 c 44.9s | 10 | 27693 | 11361 | 41704 0 | 196 | 1 48.79/48.89 c 47.1s | 10 | 28207 | 11761 | 41704 0 | 196 | 1 50.89/50.92 c 49.2s | 10 | 28619 | 12161 | 41704 0 | 196 | 1 52.99/53.07 c 51.3s | 10 | 29134 | 12661 | 41704 0 | 196 | 1 55.48/55.52 c 53.8s | 10 | 29926 | 13461 | 41704 0 | 196 | 1 57.88/57.95 c 56.2s | 10 | 30357 | 13861 | 41704 0 | 196 | 1 60.08/60.12 c 58.4s | 10 | 30735 | 14261 | 41704 0 | 196 | 1 62.38/62.43 c 60.7s | 10 | 31232 | 14761 | 41704 0 | 196 | 1 64.48/64.55 c 62.8s | 10 | 32088 | 15561 | 41704 0 | 196 | 1 66.68/66.76 c 65.0s | 10 | 32864 | 16361 | 41704 0 | 196 | 1 69.18/69.23 c 67.5s | 10 | 33359 | 16861 | 41704 0 | 196 | 1 70.88/70.97 c 69.2s | 11 | 33624 | 17144 | 45875 0 | 196 | 1 73.58/73.67 c 71.9s | 11 | 34143 | 17544 | 45875 0 | 196 | 1 75.78/75.86 c 74.1s | 11 | 34438 | 17844 | 45875 0 | 196 | 1 77.98/78.00 c 76.3s | 11 | 34742 | 18144 | 45875 0 | 196 | 1 79.98/80.01 c 78.3s | 11 | 35018 | 18444 | 45875 0 | 196 | 1 82.28/82.38 c 80.6s | 11 | 35451 | 18844 | 45875 0 | 196 | 1 84.69/84.70 c 83.0s | 11 | 35933 | 19344 | 45875 0 | 196 | 1 86.68/86.74 c 85.0s | 11 | 36529 | 19944 | 45875 0 | 196 | 1 88.78/88.82 c 87.1s | 11 | 36835 | 20244 | 45875 0 | 196 | 1 91.29/91.35 c 89.6s | 11 | 37222 | 20644 | 45875 0 | 196 | 1 93.38/93.49 c 91.7s | 11 | 37648 | 21044 | 45875 0 | 196 | 1 95.48/95.58 c 93.8s | 11 | 38117 | 21544 | 45875 0 | 196 | 1 97.68/97.79 c 96.0s | 11 | 39053 | 22444 | 45875 0 | 196 | 1 100.08/100.12 c 98.4s | 11 | 39566 | 22944 | 45875 0 | 196 | 1 102.48/102.55 c 100s | 11 | 39947 | 23344 | 45875 0 | 196 | 1 104.68/104.70 c 102s | 11 | 40274 | 23644 | 45875 0 | 196 | 1 107.28/107.30 c 105s | 11 | 40641 | 24044 | 45875 0 | 196 | 1 109.48/109.57 c 107s | 11 | 41038 | 24444 | 45875 0 | 196 | 1 111.68/111.70 c 109s | 11 | 41543 | 24944 | 45875 0 | 196 | 1 113.77/113.83 c 112s | 11 | 42375 | 25744 | 50463 0 | 196 | 1 114.07/114.13 c 112s | 12 | 42441 | 25819 | 50463 0 | 196 | 1 116.17/116.27 c 114s | 12 | 42839 | 26119 | 50463 0 | 196 | 1 118.17/118.28 c 116s | 12 | 43233 | 26519 | 50463 0 | 196 | 1 120.67/120.71 c 118s | 12 | 43820 | 27119 | 50463 0 | 196 | 1 123.07/123.14 c 121s | 12 | 44151 | 27419 | 50463 0 | 196 | 1 125.38/125.42 c 123s | 12 | 44480 | 27719 | 50463 0 | 196 | 1 127.47/127.51 c 125s | 12 | 44748 | 28019 | 50463 0 | 196 | 1 129.78/129.83 c 128s | 12 | 45155 | 28419 | 50463 0 | 196 | 1 131.98/132.05 c 130s | 12 | 45656 | 28919 | 50463 0 | 196 | 1 133.97/134.09 c 132s | 12 | 46160 | 29419 | 50463 0 | 196 | 1 136.27/136.33 c 134s | 12 | 46490 | 29719 | 50463 0 | 196 | 1 138.87/138.91 c 137s | 12 | 46876 | 30119 | 50463 0 | 196 | 1 140.97/141.00 c 139s | 12 | 47267 | 30519 | 50463 0 | 196 | 1 142.98/143.02 c 141s | 12 | 47993 | 31219 | 50463 0 | 196 | 1 145.18/145.28 c 143s | 12 | 48593 | 31819 | 50463 0 | 196 | 1 147.57/147.67 c 145s | 12 | 48983 | 32219 | 50463 0 | 196 | 1 149.77/149.82 c 148s | 12 | 49284 | 32519 | 50463 0 | 196 | 1 151.77/151.88 c 150s | 12 | 49572 | 32819 | 50463 0 | 196 | 1 154.07/154.13 c 152s | 12 | 49975 | 33219 | 50463 0 | 196 | 1 156.07/156.19 c 154s | 12 | 50561 | 33819 | 50463 0 | 196 | 1 158.57/158.66 c 156s | 12 | 51301 | 34519 | 50463 0 | 196 | 1 160.97/161.06 c 159s | 12 | 51706 | 34919 | 50463 0 | 196 | 1 162.97/163.09 c 161s | 12 | 52093 | 35319 | 50463 0 | 196 | 1 165.27/165.39 c 163s | 12 | 52705 | 35919 | 50463 0 | 196 | 1 167.67/167.71 c 165s | 12 | 53183 | 36419 | 50463 0 | 196 | 1 169.87/169.96 c 168s | 12 | 53980 | 37219 | 50463 0 | 196 | 1 171.96/172.05 c 170s | 12 | 54494 | 37719 | 50463 0 | 196 | 1 174.26/174.30 c 172s | 12 | 55095 | 38319 | 50463 0 | 196 | 1 175.56/175.63 c 173s | 13 | 55619 | 38832 | 55510 0 | 196 | 1 177.66/177.76 c 176s | 13 | 55903 | 39032 | 55510 0 | 196 | 1 179.76/179.89 c 178s | 13 | 56196 | 39332 | 55510 0 | 196 | 1 182.06/182.10 c 180s | 13 | 56694 | 39832 | 55510 0 | 196 | 1 184.06/184.11 c 182s | 13 | 56902 | 40032 | 55510 0 | 196 | 1 186.26/186.30 c 184s | 13 | 57132 | 40232 | 55510 0 | 196 | 1 189.27/189.34 c 187s | 13 | 57428 | 40532 | 55510 0 | 196 | 1 191.96/192.08 c 190s | 13 | 57699 | 40832 | 55510 0 | 196 | 1 194.56/194.69 c 192s | 13 | 57991 | 41132 | 55510 0 | 196 | 1 196.97/197.00 c 195s | 13 | 58287 | 41432 | 55510 0 | 196 | 1 199.36/199.49 c 197s | 13 | 58680 | 41832 | 55510 0 | 196 | 1 201.96/202.03 c 200s | 13 | 59227 | 42332 | 55510 0 | 196 | 1 204.86/204.91 c 203s | 13 | 59527 | 42632 | 55510 0 | 196 | 1 207.36/207.46 c 205s | 13 | 59804 | 42932 | 55510 0 | 196 | 1 209.76/209.83 c 208s | 13 | 60101 | 43232 | 55510 0 | 196 | 1 211.86/211.96 c 210s | 13 | 60404 | 43532 | 55510 0 | 196 | 1 214.26/214.31 c 212s | 13 | 60807 | 43932 | 55510 0 | 196 | 1 216.46/216.56 c 214s | 13 | 61527 | 44632 | 55510 0 | 196 | 1 218.56/218.68 c 216s | 13 | 61917 | 45032 | 55510 0 | 196 | 1 220.66/220.78 c 219s | 13 | 62241 | 45332 | 55510 0 | 196 | 1 223.06/223.15 c 221s | 13 | 62528 | 45632 | 55510 0 | 196 | 1 225.85/225.98 c 224s | 13 | 62797 | 45932 | 55510 0 | 196 | 1 228.65/228.75 c 227s | 13 | 63125 | 46232 | 55510 0 | 196 | 1 231.15/231.28 c 229s | 13 | 63417 | 46532 | 55510 0 | 196 | 1 233.35/233.48 c 231s | 13 | 63712 | 46832 | 55510 0 | 196 | 1 235.65/235.77 c 234s | 13 | 64102 | 47232 | 55510 0 | 196 | 1 237.95/238.03 c 236s | 13 | 64839 | 47932 | 55510 0 | 196 | 1 239.95/240.07 c 238s | 13 | 65218 | 48332 | 55510 0 | 196 | 1 242.06/242.11 c 240s | 13 | 65508 | 48632 | 55510 0 | 196 | 1 244.26/244.31 c 242s | 13 | 65836 | 48932 | 55510 0 | 196 | 1 246.25/246.32 c 244s | 13 | 66132 | 49232 | 55510 0 | 196 | 1 248.35/248.43 c 246s | 13 | 66524 | 49632 | 55510 0 | 196 | 1 250.45/250.51 c 248s | 13 | 67249 | 50332 | 55510 0 | 196 | 1 252.85/252.92 c 251s | 13 | 67747 | 50832 | 55510 0 | 196 | 1 254.95/255.06 c 253s | 13 | 68145 | 51232 | 55510 0 | 196 | 1 257.05/257.14 c 255s | 13 | 68732 | 51832 | 55510 0 | 196 | 1 259.25/259.33 c 257s | 13 | 69323 | 52432 | 55510 0 | 196 | 1 261.35/261.49 c 259s | 13 | 70045 | 53132 | 55510 0 | 196 | 1 263.45/263.58 c 261s | 13 | 70637 | 53732 | 55510 0 | 196 | 1 265.65/265.77 c 264s | 13 | 71445 | 54532 | 55510 0 | 196 | 1 267.85/267.91 c 266s | 13 | 72552 | 55632 | 55510 0 | 196 | 1 270.05/270.11 c 268s | 13 | 73558 | 56632 | 55510 0 | 196 | 1 272.25/272.34 c 270s | 13 | 74345 | 57432 | 55510 0 | 196 | 1 274.45/274.54 c 272s | 13 | 75054 | 58132 | 61062 0 | 196 | 1 275.15/275.26 c 273s | 14 | 75285 | 58352 | 61062 0 | 196 | 1 277.75/277.80 c 276s | 14 | 75587 | 58552 | 61062 0 | 196 | 1 279.85/279.97 c 278s | 14 | 75807 | 58752 | 61062 0 | 196 | 1 282.55/282.62 c 280s | 14 | 76098 | 59052 | 61062 0 | 196 | 1 284.75/284.82 c 283s | 14 | 76392 | 59352 | 61062 0 | 196 | 1 287.65/287.74 c 285s | 14 | 76899 | 59852 | 61062 0 | 196 | 1 290.74/290.87 c 289s | 14 | 77272 | 60152 | 61062 0 | 196 | 1 293.65/293.72 c 291s | 14 | 77557 | 60452 | 61062 0 | 196 | 1 295.95/296.01 c 294s | 14 | 77945 | 60852 | 61062 0 | 196 | 1 298.54/298.65 c 296s | 14 | 78251 | 61152 | 61062 0 | 196 | 1 300.94/301.00 c 299s | 14 | 78423 | 61352 | 61062 0 | 196 | 1 302.94/303.01 c 301s | 14 | 78639 | 61552 | 61062 0 | 196 | 1 305.85/305.92 c 304s | 14 | 78930 | 61852 | 61062 0 | 196 | 1 308.44/308.51 c 306s | 14 | 79224 | 62152 | 61062 0 | 196 | 1 310.64/310.75 c 309s | 14 | 79531 | 62452 | 61062 0 | 196 | 1 312.74/312.89 c 311s | 14 | 79922 | 62852 | 61062 0 | 196 | 1 314.84/314.94 c 313s | 14 | 80452 | 63352 | 61062 0 | 196 | 1 317.04/317.19 c 315s | 14 | 80752 | 63652 | 61062 0 | 196 | 1 320.05/320.12 c 318s | 14 | 81045 | 63952 | 61062 0 | 196 | 1 322.64/322.72 c 320s | 14 | 81349 | 64252 | 61062 0 | 196 | 1 324.74/324.89 c 323s | 14 | 81642 | 64552 | 61062 0 | 196 | 1 326.84/326.96 c 325s | 14 | 82010 | 64852 | 61062 0 | 196 | 1 329.54/329.60 c 327s | 14 | 82316 | 65152 | 61062 0 | 196 | 1 331.54/331.61 c 329s | 14 | 82611 | 65452 | 61062 0 | 196 | 1 333.74/333.84 c 332s | 14 | 82938 | 65752 | 61062 0 | 196 | 1 336.23/336.31 c 334s | 14 | 83220 | 66052 | 61062 0 | 196 | 1 338.23/338.38 c 336s | 14 | 83536 | 66352 | 61062 0 | 196 | 1 340.53/340.69 c 338s | 14 | 84054 | 66852 | 61062 0 | 196 | 1 342.83/342.93 c 341s | 14 | 84309 | 67152 | 61062 0 | 196 | 1 345.13/345.25 c 343s | 14 | 84734 | 67552 | 61062 0 | 196 | 1 347.23/347.39 c 345s | 14 | 85454 | 68252 | 61062 0 | 196 | 1 349.63/349.80 c 348s | 14 | 85868 | 68652 | 61062 0 | 196 | 1 351.83/351.90 c 350s | 14 | 86157 | 68952 | 61062 0 | 196 | 1 354.33/354.44 c 352s | 14 | 86700 | 69452 | 61062 0 | 196 | 1 356.34/356.49 c 354s | 14 | 87079 | 69852 | 61062 0 | 196 | 1 358.33/358.49 c 356s | 14 | 87385 | 70152 | 61062 0 | 196 | 1 360.63/360.75 c 359s | 14 | 87773 | 70552 | 61062 0 | 196 | 1 363.13/363.23 c 361s | 14 | 88204 | 70952 | 61062 0 | 196 | 1 365.14/365.25 c 363s | 14 | 88706 | 71452 | 61062 0 | 196 | 1 367.53/367.68 c 365s | 14 | 89096 | 71852 | 61062 0 | 196 | 1 369.63/369.76 c 368s | 14 | 89495 | 72252 | 61062 0 | 196 | 1 371.73/371.82 c 370s | 14 | 90003 | 72752 | 61062 0 | 196 | 1 373.83/373.95 c 372s | 14 | 90710 | 73452 | 61062 0 | 196 | 1 376.13/376.22 c 374s | 14 | 91612 | 74352 | 61062 0 | 196 | 1 378.22/378.35 c 376s | 14 | 92221 | 74952 | 61062 0 | 196 | 1 380.42/380.50 c 378s | 14 | 92717 | 75452 | 61062 0 | 196 | 1 382.73/382.90 c 381s | 14 | 93324 | 76052 | 61062 0 | 196 | 1 385.12/385.27 c 383s | 14 | 93830 | 76552 | 61062 0 | 196 | 1 387.32/387.50 c 385s | 14 | 94345 | 77052 | 61062 0 | 196 | 1 389.92/390.01 c 388s | 14 | 94760 | 77452 | 61062 0 | 196 | 1 392.12/392.22 c 390s | 14 | 95168 | 77852 | 61062 0 | 196 | 1 394.12/394.24 c 392s | 14 | 95558 | 78252 | 61062 0 | 196 | 1 396.32/396.47 c 394s | 14 | 95877 | 78552 | 61062 0 | 196 | 1 398.72/398.81 c 397s | 14 | 96296 | 78952 | 61062 0 | 196 | 1 401.32/401.45 c 399s | 14 | 96824 | 79452 | 61062 0 | 196 | 1 403.62/403.80 c 402s | 14 | 97130 | 79752 | 61062 0 | 196 | 1 405.92/406.07 c 404s | 14 | 97584 | 80152 | 61062 0 | 196 | 1 407.92/408.10 c 406s | 14 | 97872 | 80452 | 61062 0 | 196 | 1 412.01/412.18 c 410s | 14 | 98287 | 80852 | 61062 1 | 196 | 1 414.72/414.84 c 413s | 14 | 98611 | 81152 | 61062 1 | 196 | 1 416.92/417.00 c 415s | 14 | 99217 | 81652 | 61062 1 | 196 | 1 419.02/419.11 c 417s | 14 | 99703 | 82152 | 61062 1 | 196 | 1 421.32/421.43 c 419s | 14 | 100123 | 82552 | 61062 1 | 196 | 1 423.42/423.57 c 421s | 14 | 100519 | 82952 | 61062 1 | 196 | 1 425.81/425.90 c 424s | 14 | 100954 | 83352 | 61062 1 | 196 | 1 427.92/428.03 c 426s | 14 | 101275 | 83652 | 61062 1 | 196 | 1 430.70/430.86 c 429s | 14 | 101842 | 84152 | 61062 1 | 196 | 1 432.80/432.98 c 431s | 14 | 102120 | 84452 | 61062 1 | 196 | 1 435.30/435.41 c 433s | 14 | 102592 | 84852 | 61062 1 | 196 | 1 437.81/437.93 c 436s | 14 | 102886 | 85152 | 61062 1 | 196 | 1 440.30/440.43 c 438s | 14 | 103308 | 85552 | 61062 1 | 196 | 1 443.00/443.16 c 441s | 14 | 103580 | 85852 | 61062 1 | 196 | 1 445.70/445.81 c 444s | 14 | 103909 | 86152 | 61062 1 | 196 | 1 447.90/448.03 c 446s | 14 | 104189 | 86452 | 61062 1 | 196 | 1 450.10/450.23 c 448s | 14 | 104584 | 86852 | 61062 1 | 196 | 1 452.10/452.25 c 450s | 14 | 104976 | 87252 | 67169 1 | 196 | 1 454.69/454.81 c 453s | 14 | 105343 | 87552 | 67169 1 | 196 | 1 455.30/455.50 c 453s | 15 | 105393 | 87632 | 67169 1 | 196 | 1 457.69/457.82 c 456s | 15 | 105793 | 87932 | 67169 1 | 196 | 1 460.39/460.56 c 458s | 15 | 106113 | 88232 | 67169 1 | 196 | 1 462.79/462.96 c 461s | 15 | 106512 | 88532 | 67169 1 | 196 | 1 465.69/465.89 c 464s | 15 | 106847 | 88832 | 67169 1 | 196 | 1 468.50/468.65 c 466s | 15 | 107149 | 89132 | 67169 1 | 196 | 1 470.89/471.05 c 469s | 15 | 107576 | 89432 | 67169 1 | 196 | 1 473.59/473.74 c 471s | 15 | 107855 | 89732 | 67169 1 | 196 | 1 476.09/476.29 c 474s | 15 | 108271 | 90132 | 67169 1 | 196 | 1 491.70/491.88 c 490s | 15 | 108379 | 90232 | 67169 1 | 196 | 1 494.59/494.79 c 493s | 15 | 108690 | 90532 | 67169 1 | 196 | 1 497.29/497.48 c 495s | 15 | 108978 | 90832 | 67169 1 | 196 | 1 499.79/499.90 c 498s | 15 | 109287 | 91132 | 67169 1 | 196 | 1 502.09/502.24 c 500s | 15 | 109603 | 91432 | 67169 1 | 196 | 1 504.29/504.48 c 502s | 15 | 109970 | 91832 | 67169 1 | 196 | 1 506.49/506.69 c 504s | 15 | 110809 | 92632 | 67169 1 | 196 | 1 508.59/508.76 c 507s | 15 | 111316 | 93132 | 67169 1 | 196 | 1 511.19/511.34 c 509s | 15 | 111714 | 93532 | 67169 1 | 196 | 1 513.69/513.82 c 512s | 15 | 112023 | 93832 | 67169 1 | 196 | 1 516.19/516.38 c 514s | 15 | 112305 | 94132 | 67169 1 | 196 | 1 518.79/518.94 c 517s | 15 | 112621 | 94432 | 67169 1 | 196 | 1 520.79/520.99 c 519s | 15 | 112900 | 94732 | 67169 1 | 196 | 1 523.09/523.28 c 521s | 15 | 113286 | 95132 | 67169 1 | 196 | 1 525.29/525.48 c 523s | 15 | 114117 | 95932 | 67169 1 | 196 | 1 527.39/527.54 c 525s | 15 | 114612 | 96432 | 67169 1 | 196 | 1 530.09/530.28 c 528s | 15 | 114993 | 96832 | 67169 1 | 196 | 1 532.49/532.68 c 530s | 15 | 115328 | 97132 | 67169 1 | 196 | 1 534.59/534.75 c 533s | 15 | 115626 | 97432 | 67169 1 | 196 | 1 536.88/537.02 c 535s | 15 | 116094 | 97932 | 67169 1 | 196 | 1 538.89/539.02 c 537s | 15 | 116920 | 98732 | 67169 1 | 196 | 1 540.98/541.20 c 539s | 15 | 117327 | 99132 | 67169 1 | 196 | 1 543.29/543.49 c 541s | 15 | 117807 | 99632 | 67169 1 | 196 | 1 545.49/545.69 c 543s | 15 | 118411 | 100232 | 67169 1 | 196 | 1 547.58/547.80 c 546s | 15 | 119226 | 101032 | 67169 1 | 196 | 1 549.68/549.87 c 548s | 15 | 119811 | 101632 | 67169 1 | 196 | 1 551.77/551.91 c 550s | 15 | 120513 | 102332 | 67169 1 | 196 | 1 553.77/553.93 c 552s | 15 | 121628 | 103432 | 67169 1 | 196 | 1 555.87/556.03 c 554s | 15 | 123033 | 104832 | 67169 1 | 196 | 1 557.87/558.09 c 556s | 15 | 123926 | 105732 | 67169 1 | 196 | 1 559.97/560.12 c 558s | 15 | 124729 | 106532 | 67169 1 | 196 | 1 562.08/562.26 c 560s | 15 | 125434 | 107232 | 67169 1 | 196 | 1 564.28/564.43 c 562s | 15 | 126140 | 107932 | 67169 1 | 196 | 1 566.48/566.68 c 564s | 15 | 126740 | 108532 | 67169 1 | 196 | 1 568.67/568.87 c 567s | 15 | 127339 | 109132 | 67169 1 | 196 | 1 570.67/570.90 c 569s | 15 | 127848 | 109632 | 67169 1 | 196 | 1 572.97/573.19 c 571s | 15 | 128440 | 110232 | 67169 1 | 196 | 1 575.57/575.71 c 573s | 15 | 129152 | 110932 | 67169 1 | 196 | 1 577.67/577.82 c 576s | 15 | 129647 | 111432 | 67169 1 | 196 | 1 579.67/579.87 c 578s | 15 | 130069 | 111832 | 67169 1 | 196 | 1 581.87/582.07 c 580s | 15 | 130548 | 112332 | 67169 1 | 196 | 1 584.46/584.64 c 582s | 15 | 131061 | 112832 | 67169 1 | 196 | 1 586.56/586.74 c 584s | 15 | 131452 | 113232 | 67169 1 | 196 | 1 588.96/589.10 c 587s | 15 | 131947 | 113732 | 67169 1 | 196 | 1 590.96/591.12 c 589s | 15 | 132241 | 114032 | 67169 1 | 196 | 1 593.36/593.59 c 591s | 15 | 132860 | 114632 | 67169 1 | 196 | 1 595.86/596.04 c 594s | 15 | 133148 | 114932 | 67169 1 | 196 | 1 598.16/598.33 c 596s | 15 | 133551 | 115332 | 67169 1 | 196 | 1 600.66/600.83 c 599s | 15 | 134036 | 115832 | 67169 1 | 196 | 1 602.86/603.06 c 601s | 15 | 134353 | 116132 | 67169 1 | 196 | 1 604.97/605.16 c 603s | 15 | 134753 | 116532 | 67169 1 | 196 | 1 607.16/607.32 c 605s | 15 | 135170 | 116932 | 67169 1 | 196 | 1 609.65/609.87 c 608s | 15 | 135457 | 117232 | 67169 1 | 196 | 1 611.65/611.87 c 610s | 15 | 135756 | 117532 | 67169 1 | 196 | 1 613.66/613.89 c 612s | 15 | 136265 | 118032 | 67169 1 | 196 | 1 616.55/616.70 c 614s | 15 | 136544 | 118332 | 67169 1 | 196 | 1 618.75/618.93 c 617s | 15 | 136861 | 118632 | 67169 1 | 196 | 1 620.85/621.10 c 619s | 15 | 137342 | 119132 | 67169 1 | 196 | 1 624.05/624.28 c 622s | 15 | 137745 | 119532 | 67169 1 | 196 | 1 626.15/626.38 c 624s | 15 | 137970 | 119732 | 67169 1 | 196 | 1 628.95/629.16 c 627s | 15 | 138244 | 120032 | 67169 1 | 196 | 1 631.05/631.24 c 629s | 15 | 138550 | 120332 | 67169 1 | 196 | 1 634.15/634.39 c 632s | 15 | 139085 | 120832 | 67169 1 | 196 | 1 636.25/636.49 c 634s | 15 | 139275 | 121032 | 67169 1 | 196 | 1 639.05/639.29 c 637s | 15 | 139571 | 121332 | 67169 1 | 196 | 1 641.15/641.39 c 639s | 15 | 139847 | 121632 | 67169 1 | 196 | 1 643.24/643.45 c 641s | 15 | 140366 | 122132 | 67169 1 | 196 | 1 645.44/645.62 c 643s | 15 | 140573 | 122332 | 67169 1 | 196 | 1 648.24/648.40 c 646s | 15 | 140852 | 122632 | 67169 1 | 196 | 1 650.54/650.75 c 649s | 15 | 141170 | 122932 | 67169 1 | 196 | 1 652.74/652.99 c 651s | 15 | 141549 | 123332 | 67169 1 | 196 | 1 657.54/657.74 c 655s | 15 | 141859 | 123632 | 67169 2 | 196 | 1 660.34/660.53 c 658s | 15 | 142071 | 123832 | 67169 2 | 196 | 1 662.84/663.03 c 661s | 15 | 142357 | 124132 | 67169 2 | 196 | 1 664.94/665.19 c 663s | 15 | 142682 | 124432 | 67169 2 | 196 | 1 667.14/667.36 c 665s | 15 | 143049 | 124832 | 67169 2 | 196 | 1 669.74/669.94 c 668s | 15 | 143573 | 125332 | 67169 2 | 196 | 1 671.94/672.19 c 670s | 15 | 143876 | 125632 | 67169 2 | 196 | 1 674.53/674.72 c 672s | 15 | 144263 | 126032 | 67169 2 | 196 | 1 676.83/677.00 c 675s | 15 | 144752 | 126532 | 67169 2 | 196 | 1 679.53/679.74 c 677s | 15 | 145181 | 126932 | 67169 2 | 196 | 1 681.84/682.04 c 680s | 15 | 145400 | 127132 | 67169 2 | 196 | 1 684.73/684.90 c 683s | 15 | 145652 | 127432 | 67169 2 | 196 | 1 687.23/687.40 c 685s | 15 | 145961 | 127732 | 67169 2 | 196 | 1 689.43/689.60 c 687s | 15 | 146255 | 128032 | 67169 2 | 196 | 1 691.43/691.66 c 689s | 15 | 146665 | 128432 | 67169 2 | 196 | 1 693.73/693.91 c 692s | 15 | 146961 | 128732 | 67169 2 | 196 | 1 696.53/696.70 c 694s | 15 | 147290 | 129032 | 67169 2 | 196 | 1 699.02/699.20 c 697s | 15 | 147582 | 129332 | 67169 2 | 196 | 1 701.22/701.40 c 699s | 15 | 147876 | 129632 | 67169 2 | 196 | 1 703.42/703.64 c 701s | 15 | 148267 | 130032 | 67169 2 | 196 | 1 706.22/706.48 c 704s | 15 | 148802 | 130532 | 67169 2 | 196 | 1 708.82/709.05 c 707s | 15 | 148973 | 130732 | 73886 2 | 196 | 1 711.22/711.46 c 709s | 15 | 149187 | 130932 | 73886 2 | 196 | 1 713.52/713.75 c 712s | 15 | 149387 | 131132 | 73886 2 | 196 | 1 715.72/715.90 c 714s | 15 | 149569 | 131332 | 73886 2 | 196 | 1 717.92/718.10 c 716s | 16 | 149814 | 131552 | 73886 2 | 196 | 1 720.43/720.63 c 718s | 16 | 150084 | 131752 | 73886 2 | 196 | 1 722.53/722.73 c 720s | 16 | 150273 | 131952 | 73886 2 | 196 | 1 724.52/724.79 c 723s | 16 | 150674 | 132352 | 73886 2 | 196 | 1 727.32/727.54 c 725s | 16 | 150990 | 132652 | 73886 2 | 196 | 1 729.72/729.95 c 728s | 16 | 151174 | 132852 | 73886 2 | 196 | 1 731.92/732.10 c 730s | 16 | 151404 | 133052 | 73886 2 | 196 | 1 733.92/734.17 c 732s | 16 | 151567 | 133252 | 73886 2 | 196 | 1 736.72/736.96 c 735s | 16 | 151912 | 133552 | 73886 2 | 196 | 1 739.21/739.44 c 737s | 16 | 152206 | 133852 | 73886 2 | 196 | 1 741.22/741.50 c 739s | 16 | 152484 | 134152 | 73886 2 | 196 | 1 743.31/743.55 c 741s | 16 | 152874 | 134552 | 73886 2 | 196 | 1 746.11/746.33 c 744s | 16 | 153225 | 134852 | 73886 2 | 196 | 1 748.71/748.95 c 747s | 16 | 153511 | 135152 | 73886 2 | 196 | 1 751.01/751.24 c 749s | 16 | 153799 | 135452 | 73886 2 | 196 | 1 753.51/753.74 c 751s | 16 | 154179 | 135852 | 73886 2 | 196 | 1 756.11/756.39 c 754s | 16 | 154713 | 136352 | 73886 2 | 196 | 1 758.71/758.95 c 757s | 16 | 154999 | 136652 | 73886 2 | 196 | 1 761.01/761.21 c 759s | 16 | 155288 | 136952 | 73886 2 | 196 | 1 763.31/763.54 c 761s | 16 | 155693 | 137352 | 73886 2 | 196 | 1 766.51/766.75 c 765s | 16 | 156218 | 137852 | 73886 2 | 196 | 1 769.01/769.21 c 767s | 16 | 156391 | 138052 | 73886 2 | 196 | 1 771.51/771.79 c 770s | 16 | 156627 | 138252 | 73886 2 | 196 | 1 780.91/781.17 c 779s | 16 | 156818 | 138452 | 73886 2 | 196 | 1 783.30/783.59 c 781s | 16 | 157005 | 138652 | 73886 2 | 196 | 1 785.70/785.90 c 784s | 16 | 157182 | 138852 | 73886 2 | 196 | 1 787.70/787.93 c 786s | 16 | 157405 | 139052 | 73886 2 | 196 | 1 790.60/790.83 c 789s | 16 | 157708 | 139352 | 73886 2 | 196 | 1 793.20/793.48 c 791s | 16 | 158018 | 139652 | 73886 2 | 196 | 1 795.40/795.64 c 793s | 16 | 158279 | 139952 | 73886 2 | 196 | 1 797.50/797.71 c 795s | 16 | 158688 | 140352 | 73886 2 | 196 | 1 799.90/800.13 c 798s | 16 | 159233 | 140852 | 73886 2 | 196 | 1 802.70/802.98 c 801s | 16 | 159539 | 141152 | 73886 2 | 196 | 1 804.80/805.03 c 803s | 16 | 159729 | 141352 | 73886 2 | 196 | 1 807.10/807.35 c 805s | 16 | 159900 | 141552 | 73886 2 | 196 | 1 809.51/809.73 c 807s | 16 | 160135 | 141752 | 73886 2 | 196 | 1 812.10/812.35 c 810s | 16 | 160341 | 141952 | 73886 2 | 196 | 1 814.70/814.90 c 813s | 16 | 160508 | 142152 | 73886 2 | 196 | 1 817.30/817.58 c 815s | 16 | 160734 | 142352 | 73886 2 | 196 | 1 819.80/820.03 c 818s | 16 | 160894 | 142552 | 73886 2 | 196 | 1 822.10/822.31 c 820s | 16 | 161092 | 142752 | 73886 2 | 196 | 1 824.10/824.36 c 822s | 16 | 161318 | 142952 | 73886 2 | 196 | 1 827.10/827.33 c 825s | 16 | 161627 | 143252 | 73886 2 | 196 | 1 829.49/829.75 c 828s | 16 | 161898 | 143552 | 73886 2 | 196 | 1 831.69/831.90 c 830s | 16 | 162435 | 144052 | 73886 2 | 196 | 1 833.99/834.26 c 832s | 16 | 162914 | 144552 | 73886 2 | 196 | 1 836.90/837.13 c 835s | 16 | 163321 | 144952 | 73886 2 | 196 | 1 839.29/839.53 c 837s | 16 | 163613 | 145252 | 73886 2 | 196 | 1 841.49/841.78 c 840s | 16 | 163935 | 145552 | 73886 2 | 196 | 1 843.99/844.21 c 842s | 16 | 164313 | 145952 | 73886 2 | 196 | 1 846.09/846.31 c 844s | 16 | 164948 | 146552 | 73886 2 | 196 | 1 848.39/848.61 c 846s | 16 | 165422 | 147052 | 73886 2 | 196 | 1 850.59/850.86 c 849s | 16 | 165715 | 147352 | 73886 2 | 196 | 1 852.79/853.09 c 851s | 16 | 166032 | 147652 | 73886 2 | 196 | 1 855.09/855.37 c 853s | 16 | 166431 | 148052 | 73886 2 | 196 | 1 857.19/857.47 c 855s | 16 | 166939 | 148552 | 73886 2 | 196 | 1 859.39/859.65 c 857s | 16 | 167418 | 149052 | 73886 2 | 196 | 1 861.59/861.84 c 860s | 16 | 168141 | 149752 | 73886 2 | 196 | 1 863.79/864.01 c 862s | 16 | 168628 | 150252 | 73886 2 | 196 | 1 865.89/866.11 c 864s | 16 | 169234 | 150852 | 73886 2 | 196 | 1 867.88/868.16 c 866s | 16 | 170050 | 151652 | 73886 2 | 196 | 1 869.89/870.19 c 868s | 16 | 171252 | 152852 | 73886 2 | 196 | 1 872.09/872.39 c 870s | 16 | 172145 | 153752 | 73886 2 | 196 | 1 874.39/874.67 c 872s | 16 | 172844 | 154452 | 73886 2 | 196 | 1 876.68/876.93 c 875s | 16 | 173568 | 155152 | 73886 2 | 196 | 1 878.79/879.05 c 877s | 16 | 174157 | 155752 | 73886 2 | 196 | 1 881.08/881.38 c 879s | 16 | 174879 | 156452 | 73886 2 | 196 | 1 883.38/883.63 c 881s | 16 | 175253 | 156852 | 73886 2 | 196 | 1 885.58/885.82 c 884s | 16 | 175760 | 157352 | 73886 2 | 196 | 1 888.08/888.39 c 886s | 16 | 176350 | 157952 | 73886 2 | 196 | 1 890.68/890.94 c 889s | 16 | 176965 | 158552 | 73886 2 | 196 | 1 892.68/892.95 c 891s | 16 | 177350 | 158952 | 73886 2 | 196 | 1 894.78/895.00 c 893s | 16 | 177780 | 159352 | 73886 2 | 196 | 1 896.98/897.27 c 895s | 16 | 178152 | 159752 | 73886 2 | 196 | 1 899.07/899.39 c 897s | 16 | 178568 | 160152 | 73886 2 | 196 | 1 901.27/901.52 c 899s | 16 | 178953 | 160552 | 73886 2 | 196 | 1 903.37/903.63 c 901s | 16 | 179373 | 160952 | 73886 2 | 196 | 1 905.47/905.74 c 903s | 16 | 179658 | 161252 | 73886 2 | 196 | 1 908.37/908.68 c 906s | 16 | 180288 | 161852 | 73886 2 | 196 | 1 910.87/911.14 c 909s | 16 | 180561 | 162152 | 73886 2 | 196 | 1 913.27/913.55 c 911s | 16 | 180961 | 162552 | 73886 2 | 196 | 1 915.46/915.79 c 914s | 16 | 181372 | 162952 | 73886 2 | 196 | 1 918.16/918.43 c 916s | 16 | 181680 | 163252 | 73886 2 | 196 | 1 920.47/920.74 c 918s | 16 | 182068 | 163652 | 73886 2 | 196 | 1 922.77/923.04 c 921s | 16 | 182463 | 164052 | 73886 2 | 196 | 1 925.36/925.60 c 923s | 16 | 182779 | 164352 | 73886 2 | 196 | 1 927.76/928.08 c 926s | 16 | 183159 | 164752 | 73886 2 | 196 | 1 930.07/930.32 c 928s | 16 | 183600 | 165152 | 73886 2 | 196 | 1 932.37/932.69 c 930s | 16 | 183887 | 165452 | 73886 2 | 196 | 1 934.78/935.04 c 933s | 16 | 184266 | 165852 | 73886 2 | 196 | 1 937.67/937.93 c 936s | 16 | 184784 | 166352 | 73886 2 | 196 | 1 939.77/940.00 c 938s | 16 | 184999 | 166552 | 73886 2 | 196 | 1 942.17/942.44 c 940s | 16 | 185293 | 166852 | 73886 2 | 196 | 1 944.37/944.69 c 942s | 16 | 185767 | 167352 | 73886 2 | 196 | 1 947.17/947.43 c 945s | 16 | 186074 | 167652 | 73886 2 | 196 | 1 949.17/949.45 c 947s | 16 | 186299 | 167852 | 73886 2 | 196 | 1 951.66/951.94 c 950s | 16 | 186572 | 168152 | 73886 2 | 196 | 1 954.06/954.35 c 952s | 16 | 186973 | 168552 | 73886 2 | 196 | 1 957.16/957.44 c 955s | 16 | 187415 | 168952 | 73886 2 | 196 | 1 959.76/960.06 c 958s | 16 | 187610 | 169152 | 73886 2 | 196 | 1 962.06/962.37 c 960s | 16 | 187790 | 169352 | 73886 2 | 196 | 1 964.26/964.59 c 962s | 16 | 187990 | 169552 | 73886 2 | 196 | 1 967.06/967.35 c 965s | 16 | 188288 | 169852 | 73886 2 | 196 | 1 969.85/970.10 c 968s | 16 | 188805 | 170352 | 73886 2 | 196 | 1 971.85/972.14 c 970s | 16 | 189007 | 170552 | 73886 2 | 196 | 1 974.36/974.67 c 972s | 16 | 189281 | 170852 | 73886 2 | 196 | 1 976.56/976.85 c 975s | 16 | 189588 | 171152 | 73886 2 | 196 | 1 978.55/978.86 c 977s | 16 | 189973 | 171552 | 73886 2 | 196 | 1 985.54/985.80 c 984s | 16 | 190292 | 171852 | 73886 3 | 196 | 1 988.14/988.45 c 986s | 16 | 190593 | 172152 | 73886 3 | 196 | 1 990.54/990.85 c 989s | 16 | 190901 | 172452 | 73886 3 | 196 | 1 992.54/992.87 c 991s | 16 | 191187 | 172752 | 73886 3 | 196 | 1 994.64/994.91 c 993s | 16 | 191573 | 173152 | 73886 3 | 196 | 1 997.04/997.31 c 995s | 16 | 191777 | 173352 | 73886 3 | 196 | 1 999.65/999.95 c 998s | 16 | 192081 | 173652 | 73886 3 | 196 | 1 1002.04/1002.30 c 1000s | 16 | 192387 | 173952 | 73886 3 | 196 | 1 1004.05/1004.34 c 1002s | 16 | 192677 | 174252 | 73886 3 | 196 | 1 1006.04/1006.38 c 1004s | 16 | 193083 | 174652 | 73886 3 | 196 | 1 1008.34/1008.65 c 1006s | 16 | 193423 | 174952 | 73886 3 | 196 | 1 1011.24/1011.58 c 1009s | 16 | 193679 | 175252 | 73886 3 | 196 | 1 1013.95/1014.25 c 1012s | 16 | 193994 | 175552 | 73886 3 | 196 | 1 1016.34/1016.63 c 1014s | 16 | 194292 | 175852 | 73886 3 | 196 | 1 1018.74/1019.02 c 1017s | 16 | 194678 | 176252 | 73886 3 | 196 | 1 1021.54/1021.86 c 1020s | 16 | 195124 | 176652 | 73886 3 | 196 | 1 1024.14/1024.44 c 1022s | 16 | 195376 | 176952 | 73886 3 | 196 | 1 1026.44/1026.71 c 1024s | 16 | 195688 | 177252 | 73886 3 | 196 | 1 1028.94/1029.26 c 1027s | 16 | 196105 | 177652 | 73886 3 | 196 | 1 1031.14/1031.40 c 1029s | 16 | 196576 | 178152 | 73886 3 | 196 | 1 1034.03/1034.38 c 1032s | 16 | 196909 | 178452 | 73886 3 | 196 | 1 1036.83/1037.13 c 1035s | 16 | 197205 | 178752 | 73886 3 | 196 | 1 1039.34/1039.61 c 1037s | 16 | 197505 | 179052 | 73886 3 | 196 | 1 1041.44/1041.72 c 1039s | 16 | 197787 | 179352 | 73886 3 | 196 | 1 1043.43/1043.75 c 1042s | 16 | 198187 | 179752 | 73886 3 | 196 | 1 1045.73/1046.06 c 1044s | 16 | 198510 | 180052 | 73886 3 | 196 | 1 1047.93/1048.22 c 1046s | 16 | 198721 | 180252 | 73886 3 | 196 | 1 1050.73/1051.07 c 1049s | 16 | 199008 | 180552 | 73886 3 | 196 | 1 1053.33/1053.62 c 1051s | 16 | 199297 | 180852 | 73886 3 | 196 | 1 1055.43/1055.77 c 1054s | 16 | 199596 | 181152 | 73886 3 | 196 | 1 1058.33/1058.69 c 1056s | 16 | 200129 | 181652 | 73886 3 | 196 | 1 1060.63/1060.94 c 1059s | 16 | 200301 | 181852 | 73886 3 | 196 | 1 1062.83/1063.13 c 1061s | 16 | 200517 | 182052 | 73886 3 | 196 | 1 1064.83/1065.18 c 1063s | 16 | 200718 | 182252 | 73886 3 | 196 | 1 1067.63/1067.99 c 1066s | 16 | 200986 | 182552 | 73886 3 | 196 | 1 1070.04/1070.36 c 1068s | 16 | 201289 | 182852 | 73886 3 | 196 | 1 1072.43/1072.75 c 1071s | 16 | 201683 | 183252 | 73886 3 | 196 | 1 1075.23/1075.55 c 1073s | 16 | 202101 | 183652 | 73886 3 | 196 | 1 1078.13/1078.48 c 1076s | 16 | 202433 | 183952 | 73886 3 | 196 | 1 1080.63/1080.98 c 1079s | 16 | 202725 | 184252 | 73886 3 | 196 | 1 1082.93/1083.22 c 1081s | 16 | 203022 | 184552 | 73886 3 | 196 | 1 1085.33/1085.63 c 1083s | 16 | 203410 | 184952 | 73886 3 | 196 | 1 1096.93/1097.22 c 1095s | 16 | 203841 | 185352 | 73886 3 | 196 | 1 1099.03/1099.34 c 1097s | 16 | 204331 | 185852 | 73886 3 | 196 | 1 1101.73/1102.05 c 1100s | 16 | 204736 | 186252 | 73886 3 | 196 | 1 1104.14/1104.49 c 1102s | 16 | 205009 | 186552 | 73886 3 | 196 | 1 1106.93/1107.21 c 1105s | 16 | 205321 | 186852 | 73886 3 | 196 | 1 1109.63/1109.95 c 1108s | 16 | 205631 | 187152 | 73886 3 | 196 | 1 1112.13/1112.41 c 1110s | 16 | 205907 | 187452 | 73886 3 | 196 | 1 1114.22/1114.57 c 1112s | 16 | 206218 | 187752 | 73886 3 | 196 | 1 1116.52/1116.82 c 1115s | 16 | 206601 | 188152 | 73886 3 | 196 | 1 1118.82/1119.18 c 1117s | 16 | 207336 | 188852 | 73886 3 | 196 | 1 1121.22/1121.58 c 1119s | 16 | 207733 | 189252 | 73886 3 | 196 | 1 1123.52/1123.83 c 1122s | 16 | 208050 | 189552 | 73886 3 | 196 | 1 1125.52/1125.85 c 1124s | 16 | 208336 | 189852 | 73886 3 | 196 | 1 1127.72/1128.02 c 1126s | 16 | 208717 | 190252 | 73886 3 | 196 | 1 1130.12/1130.40 c 1128s | 16 | 209440 | 190952 | 73886 3 | 196 | 1 1132.52/1132.82 c 1131s | 16 | 209833 | 191352 | 73886 3 | 196 | 1 1134.93/1135.26 c 1133s | 16 | 210229 | 191752 | 73886 3 | 196 | 1 1137.13/1137.50 c 1135s | 16 | 210724 | 192252 | 73886 3 | 196 | 1 1139.43/1139.76 c 1138s | 16 | 211438 | 192952 | 73886 3 | 196 | 1 1141.82/1142.14 c 1140s | 16 | 211946 | 193452 | 73886 3 | 196 | 1 1144.22/1144.59 c 1142s | 16 | 212528 | 194052 | 73886 3 | 196 | 1 1146.42/1146.75 c 1144s | 16 | 213249 | 194752 | 73886 3 | 196 | 1 1148.52/1148.89 c 1147s | 16 | 214241 | 195752 | 73886 3 | 196 | 1 1150.62/1150.94 c 1149s | 16 | 215038 | 196552 | 81275 3 | 196 | 1 1152.62/1152.96 c 1151s | 16 | 215656 | 197152 | 81275 3 | 196 | 1 1153.62/1153.99 c 1152s | 17 | 215936 | 197432 | 81275 3 | 196 | 1 1156.52/1156.89 c 1155s | 17 | 216229 | 197632 | 81275 3 | 196 | 1 1158.62/1158.97 c 1157s | 17 | 216391 | 197832 | 81275 3 | 196 | 1 1161.32/1161.70 c 1159s | 17 | 216691 | 198132 | 81275 3 | 196 | 1 1163.82/1164.10 c 1162s | 17 | 217028 | 198432 | 81275 3 | 196 | 1 1166.82/1167.12 c 1165s | 17 | 217381 | 198732 | 81275 3 | 196 | 1 1169.61/1169.97 c 1168s | 17 | 217683 | 199032 | 81275 3 | 196 | 1 1171.71/1172.07 c 1170s | 17 | 217988 | 199332 | 81275 3 | 196 | 1 1174.52/1174.80 c 1173s | 17 | 218326 | 199632 | 81275 3 | 196 | 1 1176.61/1176.90 c 1175s | 17 | 218497 | 199832 | 81275 3 | 196 | 1 1178.81/1179.10 c 1177s | 17 | 218678 | 200032 | 81275 3 | 196 | 1 1180.91/1181.29 c 1179s | 17 | 218900 | 200232 | 81275 3 | 196 | 1 1183.01/1183.34 c 1181s | 17 | 219120 | 200432 | 81275 3 | 196 | 1 1185.41/1185.76 c 1184s | 17 | 219393 | 200732 | 81275 3 | 196 | 1 1187.41/1187.77 c 1186s | 17 | 219738 | 201032 | 81275 3 | 196 | 1 1190.02/1190.33 c 1188s | 17 | 219924 | 201232 | 81275 3 | 196 | 1 1192.61/1192.93 c 1191s | 17 | 220150 | 201432 | 81275 3 | 196 | 1 1195.01/1195.30 c 1193s | 17 | 220328 | 201632 | 81275 3 | 196 | 1 1197.11/1197.46 c 1195s | 17 | 220550 | 201832 | 81275 3 | 196 | 1 1199.11/1199.46 c 1197s | 17 | 220741 | 202032 | 81275 3 | 196 | 1 1201.31/1201.62 c 1199s | 17 | 221039 | 202332 | 81275 3 | 196 | 1 1204.01/1204.37 c 1202s | 17 | 221338 | 202632 | 81275 3 | 196 | 1 1206.31/1206.64 c 1204s | 17 | 221540 | 202832 | 81275 3 | 196 | 1 1208.62/1208.96 c 1207s | 17 | 221729 | 203032 | 81275 3 | 196 | 1 1211.41/1211.73 c 1209s | 17 | 222060 | 203332 | 81275 3 | 196 | 1 1213.71/1214.07 c 1212s | 17 | 222333 | 203632 | 81275 3 | 196 | 1 1216.11/1216.46 c 1214s | 17 | 222869 | 204132 | 81275 3 | 196 | 1 1218.51/1218.86 c 1217s | 17 | 223166 | 204432 | 81275 3 | 196 | 1 1220.61/1220.99 c 1219s | 17 | 223364 | 204632 | 81275 3 | 196 | 1 1223.41/1223.77 c 1222s | 17 | 223550 | 204832 | 81275 3 | 196 | 1 1225.51/1225.85 c 1224s | 17 | 223773 | 205032 | 81275 3 | 196 | 1 1227.81/1228.11 c 1226s | 17 | 224066 | 205332 | 81275 3 | 196 | 1 1230.41/1230.72 c 1228s | 17 | 224373 | 205632 | 81275 3 | 196 | 1 1232.50/1232.84 c 1231s | 17 | 224606 | 205832 | 81275 3 | 196 | 1 1234.60/1234.97 c 1233s | 17 | 224838 | 206032 | 81275 3 | 196 | 1 1237.40/1237.77 c 1236s | 17 | 225213 | 206432 | 81275 3 | 196 | 1 1239.51/1239.83 c 1238s | 17 | 225436 | 206632 | 81275 3 | 196 | 1 1242.30/1242.68 c 1240s | 17 | 225733 | 206932 | 81275 3 | 196 | 1 1244.50/1244.87 c 1243s | 17 | 226022 | 207232 | 81275 3 | 196 | 1 1246.80/1247.15 c 1245s | 17 | 226436 | 207632 | 81275 3 | 196 | 1 1248.90/1249.25 c 1247s | 17 | 226641 | 207832 | 81275 3 | 196 | 1 1251.61/1251.92 c 1250s | 17 | 226936 | 208132 | 81275 3 | 196 | 1 1253.90/1254.28 c 1252s | 17 | 227318 | 208532 | 81275 3 | 196 | 1 1256.10/1256.43 c 1254s | 17 | 227641 | 208832 | 81275 3 | 196 | 1 1259.00/1259.35 c 1257s | 17 | 227963 | 209132 | 81275 3 | 196 | 1 1261.60/1261.90 c 1260s | 17 | 228243 | 209432 | 81275 3 | 196 | 1 1264.30/1264.63 c 1262s | 17 | 228653 | 209832 | 81275 3 | 196 | 1 1266.70/1267.09 c 1265s | 17 | 228931 | 210132 | 81275 3 | 196 | 1 1269.50/1269.85 c 1268s | 17 | 229448 | 210632 | 81275 3 | 196 | 1 1272.10/1272.49 c 1270s | 17 | 229853 | 211032 | 81275 3 | 196 | 1 1274.50/1274.84 c 1273s | 17 | 230253 | 211432 | 81275 3 | 196 | 1 1276.70/1277.00 c 1275s | 17 | 230861 | 212032 | 81275 3 | 196 | 1 1278.70/1279.01 c 1277s | 17 | 231359 | 212532 | 81275 3 | 196 | 1 1280.90/1281.24 c 1279s | 17 | 231770 | 212932 | 81275 3 | 196 | 1 1282.90/1283.28 c 1281s | 17 | 232265 | 213432 | 81275 3 | 196 | 1 1285.39/1285.71 c 1283s | 17 | 232680 | 213832 | 81275 3 | 196 | 1 1287.49/1287.80 c 1286s | 17 | 232996 | 214132 | 81275 3 | 196 | 1 1289.59/1289.92 c 1288s | 17 | 233325 | 214432 | 81275 3 | 196 | 1 1291.79/1292.18 c 1290s | 17 | 233633 | 214732 | 81275 3 | 196 | 1 1294.09/1294.44 c 1292s | 17 | 233922 | 215032 | 81275 3 | 196 | 1 1296.39/1296.76 c 1295s | 17 | 234242 | 215332 | 81275 3 | 196 | 1 1299.19/1299.57 c 1297s | 17 | 234534 | 215632 | 81275 3 | 196 | 1 1301.69/1302.06 c 1300s | 17 | 234834 | 215932 | 81275 3 | 196 | 1 1304.30/1304.69 c 1302s | 17 | 235168 | 216232 | 81275 3 | 196 | 1 1306.89/1307.28 c 1305s | 17 | 235481 | 216532 | 81275 3 | 196 | 1 1309.69/1310.00 c 1308s | 17 | 235800 | 216832 | 81275 3 | 196 | 1 1312.19/1312.54 c 1310s | 17 | 236128 | 217132 | 81275 3 | 196 | 1 1314.39/1314.71 c 1312s | 17 | 236434 | 217432 | 81275 3 | 196 | 1 1316.40/1316.78 c 1315s | 17 | 236656 | 217632 | 81275 3 | 196 | 1 1318.49/1318.84 c 1317s | 17 | 236851 | 217832 | 81275 3 | 196 | 1 1320.90/1321.21 c 1319s | 17 | 237145 | 218132 | 81275 3 | 196 | 1 1323.00/1323.32 c 1321s | 17 | 237463 | 218432 | 81275 3 | 196 | 1 1325.20/1325.58 c 1323s | 17 | 237669 | 218632 | 81275 3 | 196 | 1 1327.89/1328.29 c 1326s | 17 | 237979 | 218932 | 81275 3 | 196 | 1 1330.29/1330.63 c 1328s | 17 | 238294 | 219232 | 81275 3 | 196 | 1 1332.49/1332.81 c 1331s | 17 | 238486 | 219432 | 81275 3 | 196 | 1 1334.99/1335.34 c 1333s | 17 | 238778 | 219732 | 81275 3 | 196 | 1 1337.49/1337.86 c 1336s | 17 | 239096 | 220032 | 81275 3 | 196 | 1 1340.29/1340.61 c 1338s | 17 | 239279 | 220232 | 81275 3 | 196 | 1 1342.49/1342.86 c 1341s | 17 | 239487 | 220432 | 81275 3 | 196 | 1 1344.49/1344.86 c 1343s | 17 | 239691 | 220632 | 81275 3 | 196 | 1 1347.99/1348.33 c 1346s | 17 | 240080 | 221032 | 81275 3 | 196 | 1 1350.68/1351.09 c 1349s | 17 | 240292 | 221232 | 81275 3 | 196 | 1 1353.08/1353.41 c 1351s | 17 | 240481 | 221432 | 81275 3 | 196 | 1 1355.78/1356.12 c 1354s | 17 | 240782 | 221732 | 81275 3 | 196 | 1 1358.08/1358.46 c 1356s | 17 | 241124 | 222032 | 81275 3 | 196 | 1 1360.88/1361.23 c 1359s | 17 | 241319 | 222232 | 81275 3 | 196 | 1 1363.28/1363.60 c 1361s | 17 | 241531 | 222432 | 81275 3 | 196 | 1 1365.28/1365.61 c 1363s | 17 | 241715 | 222632 | 81275 3 | 196 | 1 1367.38/1367.76 c 1366s | 17 | 242039 | 222932 | 81275 3 | 196 | 1 1370.18/1370.56 c 1368s | 17 | 242244 | 223132 | 81275 3 | 196 | 1 1372.59/1372.99 c 1371s | 17 | 242476 | 223332 | 81275 3 | 196 | 1 1375.38/1375.79 c 1374s | 17 | 242775 | 223632 | 81275 3 | 196 | 1 1379.28/1379.65 c 1377s | 17 | 243144 | 223932 | 81275 4 | 196 | 1 1381.58/1381.95 c 1380s | 17 | 243340 | 224132 | 81275 4 | 196 | 1 1383.78/1384.18 c 1382s | 17 | 243515 | 224332 | 81275 4 | 196 | 1 1386.48/1386.80 c 1385s | 17 | 243816 | 224632 | 81275 4 | 196 | 1 1389.58/1389.95 c 1388s | 17 | 244250 | 225032 | 81275 4 | 196 | 1 1391.58/1391.98 c 1390s | 17 | 244463 | 225232 | 81275 4 | 196 | 1 1393.68/1394.01 c 1392s | 17 | 244752 | 225532 | 81275 4 | 196 | 1 1395.78/1396.12 c 1394s | 17 | 244975 | 225732 | 81275 4 | 196 | 1 1397.78/1398.18 c 1396s | 17 | 245198 | 225932 | 81275 4 | 196 | 1 1400.58/1400.99 c 1399s | 17 | 245364 | 226132 | 81275 4 | 196 | 1 1403.28/1403.62 c 1401s | 17 | 245559 | 226332 | 81275 4 | 196 | 1 1405.77/1406.11 c 1404s | 17 | 245781 | 226532 | 81275 4 | 196 | 1 1407.78/1408.19 c 1406s | 17 | 245950 | 226732 | 81275 4 | 196 | 1 1432.17/1432.58 c 1430s | 17 | 246197 | 226932 | 81275 4 | 196 | 1 1434.97/1435.30 c 1433s | 17 | 246377 | 227132 | 81275 4 | 196 | 1 1437.67/1438.08 c 1436s | 17 | 246605 | 227332 | 81275 4 | 196 | 1 1440.17/1440.56 c 1438s | 17 | 246762 | 227532 | 81275 4 | 196 | 1 1442.47/1442.89 c 1441s | 17 | 246960 | 227732 | 81275 4 | 196 | 1 1444.57/1444.94 c 1443s | 17 | 247190 | 227932 | 81275 4 | 196 | 1 1447.28/1447.65 c 1445s | 17 | 247468 | 228232 | 81275 4 | 196 | 1 1449.37/1449.74 c 1447s | 17 | 247777 | 228532 | 81275 4 | 196 | 1 1451.37/1451.75 c 1449s | 17 | 248164 | 228932 | 81275 4 | 196 | 1 1453.88/1454.21 c 1452s | 17 | 248407 | 229132 | 81275 4 | 196 | 1 1456.18/1456.57 c 1454s | 17 | 248577 | 229332 | 81275 4 | 196 | 1 1458.38/1458.78 c 1457s | 17 | 248791 | 229532 | 81275 4 | 196 | 1 1460.48/1460.85 c 1459s | 17 | 248992 | 229732 | 81275 4 | 196 | 1 1463.27/1463.67 c 1461s | 17 | 249300 | 230032 | 81275 4 | 196 | 1 1465.47/1465.87 c 1464s | 17 | 249595 | 230332 | 81275 4 | 196 | 1 1467.57/1467.91 c 1466s | 17 | 249974 | 230732 | 81275 4 | 196 | 1 1470.07/1470.46 c 1468s | 17 | 250625 | 231332 | 81275 4 | 196 | 1 1472.58/1472.91 c 1471s | 17 | 250895 | 231632 | 81275 4 | 196 | 1 1474.57/1474.94 c 1473s | 17 | 251097 | 231832 | 81275 4 | 196 | 1 1477.07/1477.40 c 1475s | 17 | 251324 | 232032 | 81275 4 | 196 | 1 1479.57/1479.91 c 1478s | 17 | 251474 | 232232 | 81275 4 | 196 | 1 1482.17/1482.56 c 1480s | 17 | 251685 | 232432 | 81275 4 | 196 | 1 1484.67/1485.10 c 1483s | 17 | 251889 | 232632 | 81275 4 | 196 | 1 1487.17/1487.57 c 1485s | 17 | 252081 | 232832 | 81275 4 | 196 | 1 1489.26/1489.67 c 1487s | 17 | 252294 | 233032 | 81275 4 | 196 | 1 1492.06/1492.48 c 1490s | 17 | 252579 | 233332 | 81275 4 | 196 | 1 1494.46/1494.89 c 1493s | 17 | 252989 | 233732 | 81275 4 | 196 | 1 1496.77/1497.12 c 1495s | 17 | 253607 | 234332 | 81275 4 | 196 | 1 1498.97/1499.37 c 1497s | 17 | 253924 | 234632 | 81275 4 | 196 | 1 1501.86/1502.21 c 1500s | 17 | 254226 | 234932 | 81275 4 | 196 | 1 1504.66/1505.08 c 1503s | 17 | 254521 | 235232 | 81275 4 | 196 | 1 1506.96/1507.37 c 1505s | 17 | 254799 | 235532 | 81275 4 | 196 | 1 1509.16/1509.55 c 1507s | 17 | 255329 | 236032 | 81275 4 | 196 | 1 1511.17/1511.58 c 1509s | 17 | 255823 | 236532 | 81275 4 | 196 | 1 1513.46/1513.83 c 1512s | 17 | 256112 | 236832 | 81275 4 | 196 | 1 1515.47/1515.90 c 1514s | 17 | 256413 | 237132 | 81275 4 | 196 | 1 1517.77/1518.11 c 1516s | 17 | 256932 | 237632 | 81275 4 | 196 | 1 1520.16/1520.58 c 1518s | 17 | 257313 | 238032 | 81275 4 | 196 | 1 1522.26/1522.61 c 1520s | 17 | 257827 | 238532 | 81275 4 | 196 | 1 1524.37/1524.72 c 1522s | 17 | 258323 | 239032 | 81275 4 | 196 | 1 1526.47/1526.85 c 1525s | 17 | 258823 | 239532 | 81275 4 | 196 | 1 1528.86/1529.23 c 1527s | 17 | 259521 | 240232 | 81275 4 | 196 | 1 1530.86/1531.27 c 1529s | 17 | 260226 | 240932 | 81275 4 | 196 | 1 1532.96/1533.37 c 1531s | 17 | 261129 | 241832 | 81275 4 | 196 | 1 1535.06/1535.49 c 1533s | 17 | 261819 | 242532 | 81275 4 | 196 | 1 1537.36/1537.74 c 1535s | 17 | 262424 | 243132 | 81275 4 | 196 | 1 1539.56/1539.93 c 1538s | 17 | 262923 | 243632 | 81275 4 | 196 | 1 1541.56/1541.98 c 1540s | 17 | 263412 | 244132 | 81275 4 | 196 | 1 1543.86/1544.20 c 1542s | 17 | 263819 | 244532 | 81275 4 | 196 | 1 1546.16/1546.51 c 1544s | 17 | 264311 | 245032 | 81275 4 | 196 | 1 1548.75/1549.15 c 1547s | 17 | 264726 | 245432 | 81275 4 | 196 | 1 1550.85/1551.24 c 1549s | 17 | 265116 | 245832 | 81275 4 | 196 | 1 1553.05/1553.48 c 1551s | 17 | 265611 | 246332 | 81275 4 | 196 | 1 1555.65/1556.00 c 1554s | 17 | 265926 | 246632 | 81275 4 | 196 | 1 1557.85/1558.27 c 1556s | 17 | 266315 | 247032 | 81275 4 | 196 | 1 1559.85/1560.27 c 1558s | 17 | 266626 | 247332 | 81275 4 | 196 | 1 1562.05/1562.42 c 1560s | 17 | 267030 | 247732 | 81275 4 | 196 | 1 1564.55/1564.95 c 1563s | 17 | 267428 | 248132 | 81275 4 | 196 | 1 1566.55/1566.96 c 1565s | 17 | 267642 | 248332 | 81275 4 | 196 | 1 1568.75/1569.18 c 1567s | 17 | 267918 | 248632 | 81275 4 | 196 | 1 1571.35/1571.70 c 1569s | 17 | 268335 | 249032 | 81275 4 | 196 | 1 1573.95/1574.32 c 1572s | 17 | 268619 | 249332 | 81275 4 | 196 | 1 1576.15/1576.58 c 1574s | 17 | 269021 | 249732 | 81275 4 | 196 | 1 1578.65/1579.05 c 1577s | 17 | 269322 | 250032 | 81275 4 | 196 | 1 1580.85/1581.22 c 1579s | 17 | 269542 | 250232 | 81275 4 | 196 | 1 1583.25/1583.60 c 1581s | 17 | 269828 | 250532 | 81275 4 | 196 | 1 1585.45/1585.87 c 1584s | 17 | 270233 | 250932 | 81275 4 | 196 | 1 1588.16/1588.51 c 1586s | 17 | 270543 | 251232 | 81275 4 | 196 | 1 1590.45/1590.88 c 1589s | 17 | 270930 | 251632 | 81275 4 | 196 | 1 1592.95/1593.33 c 1591s | 17 | 271333 | 252032 | 81275 4 | 196 | 1 1595.15/1595.54 c 1593s | 17 | 271537 | 252232 | 81275 4 | 196 | 1 1597.15/1597.57 c 1595s | 17 | 271744 | 252432 | 81275 4 | 196 | 1 1599.45/1599.84 c 1598s | 17 | 272033 | 252732 | 81275 4 | 196 | 1 1602.35/1602.77 c 1601s | 17 | 272426 | 253132 | 81275 4 | 196 | 1 1604.55/1604.90 c 1603s | 17 | 272632 | 253332 | 81275 4 | 196 | 1 1607.25/1607.67 c 1605s | 17 | 272942 | 253632 | 81275 4 | 196 | 1 1609.25/1609.68 c 1607s | 17 | 273229 | 253932 | 81275 4 | 196 | 1 1611.75/1612.14 c 1610s | 17 | 273533 | 254232 | 81275 4 | 196 | 1 1614.74/1615.13 c 1613s | 17 | 273715 | 254432 | 81275 4 | 196 | 1 1617.34/1617.72 c 1615s | 17 | 273916 | 254632 | 81275 4 | 196 | 1 1619.74/1620.10 c 1618s | 17 | 274122 | 254832 | 81275 4 | 196 | 1 1622.25/1622.67 c 1620s | 17 | 274430 | 255132 | 81275 4 | 196 | 1 1624.45/1624.88 c 1623s | 17 | 274724 | 255432 | 81275 4 | 196 | 1 1627.24/1627.63 c 1625s | 17 | 274915 | 255632 | 81275 4 | 196 | 1 1629.54/1629.98 c 1628s | 17 | 275131 | 255832 | 81275 4 | 196 | 1 1631.74/1632.19 c 1630s | 17 | 275321 | 256032 | 81275 4 | 196 | 1 1634.54/1634.92 c 1633s | 17 | 275629 | 256332 | 81275 4 | 196 | 1 1637.14/1637.56 c 1635s | 17 | 276063 | 256732 | 81275 4 | 196 | 1 1639.64/1640.02 c 1638s | 17 | 276259 | 256932 | 81275 4 | 196 | 1 1641.64/1642.04 c 1640s | 17 | 276436 | 257132 | 81275 4 | 196 | 1 1644.44/1644.85 c 1643s | 17 | 276743 | 257432 | 81275 4 | 196 | 1 1646.54/1646.91 c 1645s | 17 | 277038 | 257732 | 81275 4 | 196 | 1 1655.03/1655.41 c 1653s | 17 | 277441 | 258132 | 81275 4 | 196 | 1 1657.83/1658.29 c 1656s | 17 | 277638 | 258332 | 81275 4 | 196 | 1 1660.53/1660.97 c 1659s | 17 | 277820 | 258532 | 81275 4 | 196 | 1 1662.84/1663.27 c 1661s | 17 | 278025 | 258732 | 81275 4 | 196 | 1 1664.93/1665.34 c 1663s | 17 | 278236 | 258932 | 81275 4 | 196 | 1 1667.43/1667.84 c 1666s | 17 | 278534 | 259232 | 81275 4 | 196 | 1 1670.83/1671.23 c 1669s | 17 | 278922 | 259632 | 81275 4 | 196 | 1 1673.73/1674.17 c 1672s | 17 | 279165 | 259832 | 81275 4 | 196 | 1 1676.23/1676.61 c 1674s | 17 | 279339 | 260032 | 81275 4 | 196 | 1 1678.43/1678.89 c 1677s | 17 | 279537 | 260232 | 81275 4 | 196 | 1 1681.03/1681.45 c 1679s | 17 | 279827 | 260532 | 81275 4 | 196 | 1 1684.63/1685.03 c 1683s | 17 | 280326 | 261032 | 81275 4 | 196 | 1 1687.83/1688.21 c 1686s | 17 | 280536 | 261232 | 81275 4 | 196 | 1 1690.83/1691.25 c 1689s | 17 | 280729 | 261432 | 81275 4 | 196 | 1 1693.53/1693.98 c 1692s | 17 | 280947 | 261632 | 81275 4 | 196 | 1 1696.13/1696.51 c 1694s | 17 | 281138 | 261832 | 81275 4 | 196 | 1 1698.33/1698.74 c 1696s | 17 | 281334 | 262032 | 81275 4 | 196 | 1 1700.83/1701.23 c 1699s | 17 | 281622 | 262332 | 81275 4 | 196 | 1 1703.83/1704.21 c 1702s | 17 | 281952 | 262632 | 81275 4 | 196 | 1 1707.43/1707.81 c 1706s | 17 | 282169 | 262832 | 81275 4 | 196 | 1 1710.53/1710.91 c 1709s | 17 | 282367 | 263032 | 81275 4 | 196 | 1 1713.12/1713.57 c 1711s | 17 | 282552 | 263232 | 81275 4 | 196 | 1 1715.73/1716.19 c 1714s | 17 | 282759 | 263432 | 81275 4 | 196 | 1 1717.83/1718.26 c 1716s | 17 | 282938 | 263632 | 81275 4 | 196 | 1 1720.32/1720.75 c 1719s | 17 | 283228 | 263932 | 81275 4 | 196 | 1 1724.02/1724.48 c 1722s | 17 | 283672 | 264332 | 81275 4 | 196 | 1 1727.62/1728.08 c 1726s | 17 | 283833 | 264532 | 81275 4 | 196 | 1 1731.13/1731.54 c 1729s | 17 | 284031 | 264732 | 81275 4 | 196 | 1 1734.33/1734.76 c 1733s | 17 | 284258 | 264932 | 81275 4 | 196 | 1 1737.42/1737.86 c 1736s | 17 | 284458 | 265132 | 81275 4 | 196 | 1 1740.12/1740.55 c 1738s | 17 | 284636 | 265332 | 81275 4 | 196 | 1 1742.62/1743.03 c 1741s | 17 | 284843 | 265532 | 81275 4 | 196 | 1 1744.62/1745.03 c 1743s | 17 | 285033 | 265732 | 81275 4 | 196 | 1 1748.52/1748.96 c 1747s | 17 | 285348 | 266032 | 81275 4 | 196 | 1 1750.62/1751.06 c 1749s | 17 | 285458 | 266132 | 81275 4 | 196 | 1 1752.72/1753.10 c 1751s | 17 | 285563 | 266232 | 81275 4 | 196 | 1 1756.43/1756.84 c 1755s | 17 | 285763 | 266432 | 81275 4 | 196 | 1 1759.72/1760.20 c 1758s | 17 | 285946 | 266632 | 81275 4 | 196 | 1 1762.92/1763.36 c 1761s | 17 | 286151 | 266832 | 81275 4 | 196 | 1 1765.72/1766.17 c 1764s | 17 | 286330 | 267032 | 81275 4 | 196 | 1 1768.02/1768.49 c 1766s | 17 | 286546 | 267232 | 81275 4 | 196 | 1 1770.62/1771.01 c 1769s | 17 | 286828 | 267532 | 81275 4 | 196 | 1 1773.62/1774.01 c 1772s | 17 | 287077 | 267732 | 81275 4 | 196 | 1 1775.72/1776.14 c 1774s | 17 | 287134 | 267832 | 81275 4 | 196 | 1 1779.52/1779.99 c 1778s | 17 | 287353 | 268032 | 81275 4 | 196 | 1 1783.31/1783.75 c 1782s | 17 | 287555 | 268232 | 81275 4 | 196 | 1 1786.91/1787.33 c 1785s | 17 | 287743 | 268432 | 81275 4 | 196 | 1 1790.21/1790.63 c 1788s | 17 | 287953 | 268632 | 81275 4 | 196 | 1 1793.21/1793.66 c 1791s | 17 | 288139 | 268832 | 81275 4 | 196 | 1 1795.92/1796.33 c 1794s | 17 | 288360 | 269032 | 81275 4 | 196 | 1 1797.91/1798.38 c 1796s | 17 | 288546 | 269232 | 81275 4 | 196 | 1
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-4119807-1467278347/watcher-4119807-1467278347 -o /tmp/evaluation-result-4119807-1467278347/solver-4119807-1467278347 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1467278347-13106 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119807-1467278347.opb pid=13122 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.09 2.19 2.17 3/170 13125 /proc/meminfo: memFree=30458592/32872528 swapFree=1199948/1314412 [pid=13125] ppid=13122 vsize=613820 CPUtime=0 cores=1,3,5,7 /proc/13125/stat : 13125 (toysat) R 13122 13125 12151 0 -1 4202496 2267 0 0 0 0 0 0 0 20 0 4 0 6856662 628551680 3139 33554432000 4194304 16246674 140734691034864 140734691034288 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13125/statm: 154223 3152 441 2943 0 151117 0 [pid=13125/tid=13126] ppid=13122 vsize=631228 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13126/stat : 13126 (toysat) S 13122 13125 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856662 646377472 3211 33554432000 4194304 16246674 140734691034864 140223962918128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13125/tid=13127] ppid=13122 vsize=635324 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13127/stat : 13127 (toysat) S 13122 13125 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856662 650571776 3227 33554432000 4194304 16246674 140734691034864 140223952428272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13125/tid=13128] ppid=13122 vsize=640444 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13128/stat : 13128 (toysat) S 13122 13125 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856662 655814656 3244 33554432000 4194304 16246674 140734691034864 140223837105328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100221 s] /proc/loadavg: 2.09 2.19 2.17 3/170 13125 /proc/meminfo: memFree=30458592/32872528 swapFree=1199948/1314412 [pid=13125] ppid=13122 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/13125/stat : 13125 (toysat) R 13122 13125 12151 0 -1 4202496 29707 0 0 0 5 4 0 0 20 0 4 0 6856662 1333334016 30517 33554432000 4194304 16246674 140734691034864 140734691032704 7371468 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13125/statm: 325521 30534 800 2943 0 322415 0 [pid=13125/tid=13126] ppid=13122 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13126/stat : 13126 (toysat) S 13122 13125 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856662 1333334016 30546 33554432000 4194304 16246674 140734691034864 140223962918128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13125/tid=13127] ppid=13122 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13127/stat : 13127 (toysat) S 13122 13125 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856662 1333334016 30554 33554432000 4194304 16246674 140734691034864 140223952428272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13125/tid=13128] ppid=13122 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13128/stat : 13128 (toysat) S 13122 13125 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856662 1333334016 30566 33554432000 4194304 16246674 140734691034864 140223837105328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200516 s] /proc/loadavg: 2.09 2.19 2.17 3/170 13125 /proc/meminfo: memFree=30458592/32872528 swapFree=1199948/1314412 [pid=13125] ppid=13122 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/13125/stat : 13125 (toysat) R 13122 13125 12151 0 -1 4202496 43922 0 0 0 12 7 0 0 20 0 4 0 6856662 1344868352 45243 33554432000 4194304 16246674 140734691034864 140734691032704 7440024 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13125/statm: 328337 45243 800 2943 0 325231 0 [pid=13125/tid=13126] ppid=13122 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13126/stat : 13126 (toysat) S 13122 13125 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856662 1344868352 45243 33554432000 4194304 16246674 140734691034864 140223962918128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13125/tid=13127] ppid=13122 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13127/stat : 13127 (toysat) S 13122 13125 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856662 1344868352 45243 33554432000 4194304 16246674 140734691034864 140223952428272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13125/tid=13128] ppid=13122 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13128/stat : 13128 (toysat) S 13122 13125 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856662 1344868352 45243 33554432000 4194304 16246674 140734691034864 140223837105328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300498 s] /proc/loadavg: 2.09 2.19 2.17 3/170 13125 /proc/meminfo: memFree=30458592/32872528 swapFree=1199948/1314412 [pid=13125] ppid=13122 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/13125/stat : 13125 (toysat) R 13122 13125 12151 0 -1 4202496 49191 0 0 0 21 8 0 0 20 0 4 0 6856662 1344868352 50512 33554432000 4194304 16246674 140734691034864 140734691032704 13967808 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13125/statm: 328337 50512 800 2943 0 325231 0 [pid=13125/tid=13126] ppid=13122 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13126/stat : 13126 (toysat) S 13122 13125 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856662 1344868352 50512 33554432000 4194304 16246674 140734691034864 140223962918128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13125/tid=13127] ppid=13122 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13127/stat : 13127 (toysat) S 13122 13125 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856662 1344868352 50512 33554432000 4194304 16246674 140734691034864 140223952428272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13125/tid=13128] ppid=13122 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13128/stat : 13128 (toysat) S 13122 13125 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856662 1344868352 50512 33554432000 4194304 16246674 140734691034864 140223837105328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700415 s] /proc/loadavg: 2.09 2.19 2.17 3/170 13125 /proc/meminfo: memFree=30458592/32872528 swapFree=1199948/1314412 [pid=13125] ppid=13122 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/13125/stat : 13125 (toysat) R 13122 13125 12151 0 -1 4202496 125900 0 0 0 50 19 0 0 20 0 4 0 6856662 1344868352 127222 33554432000 4194304 16246674 140734691034864 140734691032704 12654533 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13125/statm: 328337 127237 830 2943 0 325231 0 [pid=13125/tid=13126] ppid=13122 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13126/stat : 13126 (toysat) S 13122 13125 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856662 1344868352 127247 33554432000 4194304 16246674 140734691034864 140223962918128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13125/tid=13127] ppid=13122 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13127/stat : 13127 (toysat) S 13122 13125 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856662 1344868352 127256 33554432000 4194304 16246674 140734691034864 140223952428272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13125/tid=13128] ppid=13122 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13128/stat : 13128 (toysat) S 13122 13125 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856662 1344868352 127265 33554432000 4194304 16246674 140734691034864 140223837105328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50042 s] /proc/loadavg: 2.09 2.19 2.17 3/183 13142 /proc/meminfo: memFree=29499836/32872528 swapFree=1199948/1314412 [pid=13125] ppid=13122 vsize=1331780 CPUtime=1.49 cores=1,3,5,7 /proc/13125/stat : 13125 (toysat) R 13122 13125 12151 0 -1 4202496 166040 0 0 0 125 24 0 0 20 0 4 0 6856662 1363742720 167361 33554432000 4194304 16246674 140734691034864 140734691034176 13927423 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13125/statm: 332945 167361 880 2943 0 329839 0 [pid=13125/tid=13126] ppid=13122 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13126/stat : 13126 (toysat) S 13122 13125 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856662 1363742720 167361 33554432000 4194304 16246674 140734691034864 140223962918128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13125/tid=13127] ppid=13122 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13127/stat : 13127 (toysat) S 13122 13125 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856662 1363742720 167361 33554432000 4194304 16246674 140734691034864 140223952428272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13125/tid=13128] ppid=13122 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13128/stat : 13128 (toysat) S 13122 13125 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856662 1363742720 167361 33554432000 4194304 16246674 140734691034864 140223837105328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1331780 [startup+3.10041 s] /proc/loadavg: 2.08 2.18 2.17 3/183 13142 /proc/meminfo: memFree=28976928/32872528 swapFree=1199948/1314412 [pid=13125] ppid=13122 vsize=1331780 CPUtime=3.09 cores=1,3,5,7 /proc/13125/stat : 13125 (toysat) R 13122 13125 12151 0 -1 4202496 187831 0 0 0 282 27 0 0 20 0 4 0 6856662 1363742720 189153 33554432000 4194304 16246674 140734691034864 140734691016768 5661217 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13125/statm: 332945 189158 912 2943 0 329839 0 [pid=13125/tid=13126] ppid=13122 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13126/stat : 13126 (toysat) S 13122 13125 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856662 1363742720 189162 33554432000 4194304 16246674 140734691034864 140223962918128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13125/tid=13127] ppid=13122 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13127/stat : 13127 (toysat) S 13122 13125 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856662 1363742720 189166 33554432000 4194304 16246674 140734691034864 140223952428272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13125/tid=13128] ppid=13122 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13128/stat : 13128 (toysat) S 13122 13125 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856662 1363742720 189169 33554432000 4194304 16246674 140734691034864 140223837105328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1331780 [startup+6.30038 s] /proc/loadavg: 2.08 2.18 2.17 3/183 13142 /proc/meminfo: memFree=28279400/32872528 swapFree=1199948/1314412 [pid=13125] ppid=13122 vsize=1331780 CPUtime=6.29 cores=1,3,5,7 /proc/13125/stat : 13125 (toysat) R 13122 13125 12151 0 -1 4202496 273640 0 0 0 589 40 0 0 20 0 4 0 6856662 1363742720 274961 33554432000 4194304 16246674 140734691034864 140734691016768 5661428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13125/statm: 332945 274961 912 2943 0 329839 0 [pid=13125/tid=13126] ppid=13122 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13126/stat : 13126 (toysat) S 13122 13125 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856662 1363742720 274961 33554432000 4194304 16246674 140734691034864 140223962918128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13125/tid=13127] ppid=13122 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13127/stat : 13127 (toysat) S 13122 13125 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856662 1363742720 274961 33554432000 4194304 16246674 140734691034864 140223952428272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13125/tid=13128] ppid=13122 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13128/stat : 13128 (toysat) S 13122 13125 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856662 1363742720 274961 33554432000 4194304 16246674 140734691034864 140223837105328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1331780 [startup+12.7004 s] /proc/loadavg: 2.07 2.18 2.17 3/183 13142 /proc/meminfo: memFree=28280436/32872528 swapFree=1199948/1314412 [pid=13125] ppid=13122 vsize=1331780 CPUtime=12.69 cores=1,3,5,7 /proc/13125/stat : 13125 (toysat) R 13122 13125 12151 0 -1 4202496 273640 0 0 0 1229 40 0 0 20 0 4 0 6856662 1363742720 274961 33554432000 4194304 16246674 140734691034864 140734691016768 5600395 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13125/statm: 332945 274961 912 2943 0 329839 0 [pid=13125/tid=13126] ppid=13122 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13126/stat : 13126 (toysat) S 13122 13125 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856662 1363742720 274961 33554432000 4194304 16246674 140734691034864 140223962918128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13125/tid=13127] ppid=13122 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13127/stat : 13127 (toysat) S 13122 13125 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856662 1363742720 274961 33554432000 4194304 16246674 140734691034864 140223952428272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13125/tid=13128] ppid=13122 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13128/stat : 13128 (toysat) S 13122 13125 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856662 1363742720 274961 33554432000 4194304 16246674 140734691034864 140223837105328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1331780 [startup+25.5005 s] /proc/loadavg: 2.06 2.17 2.17 3/183 13142 /proc/meminfo: memFree=28281920/32872528 swapFree=1199948/1314412 [pid=13125] ppid=13122 vsize=1331780 CPUtime=25.49 cores=1,3,5,7 /proc/13125/stat : 13125 (toysat) R 13122 13125 12151 0 -1 4202496 273640 0 0 0 2509 40 0 0 20 0 4 0 6856662 1363742720 274961 33554432000 4194304 16246674 140734691034864 140734691016768 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13125/statm: 332945 274961 912 2943 0 329839 0 [pid=13125/tid=13126] ppid=13122 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13126/stat : 13126 (toysat) S 13122 13125 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856662 1363742720 274961 33554432000 4194304 16246674 140734691034864 140223962918128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13125/tid=13127] ppid=13122 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13127/stat : 13127 (toysat) S 13122 13125 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856662 1363742720 274961 33554432000 4194304 16246674 140734691034864 140223952428272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13125/tid=13128] ppid=13122 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13128/stat : 13128 (toysat) S 13122 13125 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856662 1363742720 274961 33554432000 4194304 16246674 140734691034864 140223837105328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1331780 [startup+51.1005 s] /proc/loadavg: 2.17 2.19 2.17 3/183 13142 /proc/meminfo: memFree=28281804/32872528 swapFree=1199948/1314412 [pid=13125] ppid=13122 vsize=1331780 CPUtime=51.09 cores=1,3,5,7 /proc/13125/stat : 13125 (toysat) R 13122 13125 12151 0 -1 4202496 273640 0 0 0 5069 40 0 0 20 0 4 0 6856662 1363742720 274961 33554432000 4194304 16246674 140734691034864 140734691016768 6022661 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13125/statm: 332945 274961 912 2943 0 329839 0 [pid=13125/tid=13126] ppid=13122 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13126/stat : 13126 (toysat) S 13122 13125 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856662 1363742720 274961 33554432000 4194304 16246674 140734691034864 140223962918128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13125/tid=13127] ppid=13122 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13127/stat : 13127 (toysat) S 13122 13125 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856662 1363742720 274961 33554432000 4194304 16246674 140734691034864 140223952428272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13125/tid=13128] ppid=13122 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13128/stat : 13128 (toysat) S 13122 13125 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856662 1363742720 274961 33554432000 4194304 16246674 140734691034864 140223837105328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1331780 [startup+102.3 s] /proc/loadavg: 2.21 2.20 2.18 3/184 13146 /proc/meminfo: memFree=28282112/32872528 swapFree=1199948/1314412 [pid=13125] ppid=13122 vsize=1331780 CPUtime=102.28 cores=1,3,5,7 /proc/13125/stat : 13125 (toysat) R 13122 13125 12151 0 -1 4202496 273646 0 0 0 10188 40 0 0 20 0 4 0 6856662 1363742720 274967 33554432000 4194304 16246674 140734691034864 140734691016768 5600380 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13125/statm: 332945 274967 917 2943 0 329839 0 [pid=13125/tid=13126] ppid=13122 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13126/stat : 13126 (toysat) S 13122 13125 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856662 1363742720 274967 33554432000 4194304 16246674 140734691034864 140223962918128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13125/tid=13127] ppid=13122 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13127/stat : 13127 (toysat) S 13122 13125 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856662 1363742720 274967 33554432000 4194304 16246674 140734691034864 140223952428272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13125/tid=13128] ppid=13122 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13128/stat : 13128 (toysat) S 13122 13125 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856662 1363742720 274967 33554432000 4194304 16246674 140734691034864 140223837105328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1331780 ################ # More data... # ################ /proc/13125/task/13128/stat : 13128 (toysat) S 13122 13125 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223837105328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 1565252 [startup+1302.3 s] /proc/loadavg: 2.28 2.26 2.20 3/184 13176 /proc/meminfo: memFree=27985076/32872528 swapFree=1199948/1314412 [pid=13125] ppid=13122 vsize=1565252 CPUtime=1301.99 cores=1,3,5,7 /proc/13125/stat : 13125 (toysat) R 13122 13125 12151 0 -1 4202496 332228 0 0 0 130144 55 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140734691016768 5600380 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13125/statm: 391313 333339 919 2943 0 388207 0 [pid=13125/tid=13126] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13126/stat : 13126 (toysat) S 13122 13125 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223962918128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13125/tid=13127] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13127/stat : 13127 (toysat) S 13122 13125 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223952428272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13125/tid=13128] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13128/stat : 13128 (toysat) S 13122 13125 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223837105328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 1565252 [startup+1362.3 s] /proc/loadavg: 2.22 2.24 2.19 3/183 13177 /proc/meminfo: memFree=27984748/32872528 swapFree=1199948/1314412 [pid=13125] ppid=13122 vsize=1565252 CPUtime=1361.98 cores=1,3,5,7 /proc/13125/stat : 13125 (toysat) R 13122 13125 12151 0 -1 4202496 332228 0 0 0 136143 55 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140734691016768 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13125/statm: 391313 333339 919 2943 0 388207 0 [pid=13125/tid=13126] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13126/stat : 13126 (toysat) S 13122 13125 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223962918128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13125/tid=13127] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13127/stat : 13127 (toysat) S 13122 13125 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223952428272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13125/tid=13128] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13128/stat : 13128 (toysat) S 13122 13125 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223837105328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 1565252 [startup+1422.3 s] /proc/loadavg: 2.16 2.23 2.18 3/183 13178 /proc/meminfo: memFree=27984904/32872528 swapFree=1199948/1314412 [pid=13125] ppid=13122 vsize=1565252 CPUtime=1421.98 cores=1,3,5,7 /proc/13125/stat : 13125 (toysat) R 13122 13125 12151 0 -1 4202496 332228 0 0 0 142141 57 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140734691033960 4224934 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13125/statm: 391313 333339 919 2943 0 388207 0 [pid=13125/tid=13126] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13126/stat : 13126 (toysat) S 13122 13125 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223962918128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13125/tid=13127] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13127/stat : 13127 (toysat) S 13122 13125 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223952428272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13125/tid=13128] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13128/stat : 13128 (toysat) S 13122 13125 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223837105328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 1565252 [startup+1482.3 s] /proc/loadavg: 2.18 2.21 2.18 4/183 13180 /proc/meminfo: memFree=27984824/32872528 swapFree=1199948/1314412 [pid=13125] ppid=13122 vsize=1565252 CPUtime=1481.97 cores=1,3,5,7 /proc/13125/stat : 13125 (toysat) R 13122 13125 12151 0 -1 4202496 332228 0 0 0 148139 58 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140734691016768 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13125/statm: 391313 333339 919 2943 0 388207 0 [pid=13125/tid=13126] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13126/stat : 13126 (toysat) S 13122 13125 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223962918128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13125/tid=13127] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13127/stat : 13127 (toysat) S 13122 13125 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223952428272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13125/tid=13128] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13128/stat : 13128 (toysat) S 13122 13125 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223837105328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 1565252 [startup+1542.31 s] /proc/loadavg: 2.18 2.20 2.18 3/183 13181 /proc/meminfo: memFree=27984976/32872528 swapFree=1199948/1314412 [pid=13125] ppid=13122 vsize=1565252 CPUtime=1541.96 cores=1,3,5,7 /proc/13125/stat : 13125 (toysat) R 13122 13125 12151 0 -1 4202496 332228 0 0 0 154138 58 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140734691016768 5673255 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13125/statm: 391313 333339 919 2943 0 388207 0 [pid=13125/tid=13126] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13126/stat : 13126 (toysat) S 13122 13125 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223962918128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13125/tid=13127] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13127/stat : 13127 (toysat) S 13122 13125 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223952428272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13125/tid=13128] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13128/stat : 13128 (toysat) S 13122 13125 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223837105328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.96 Current children cumulated vsize (KiB) 1565252 [startup+1602.3 s] /proc/loadavg: 2.18 2.19 2.18 3/183 13182 /proc/meminfo: memFree=27984900/32872528 swapFree=1199948/1314412 [pid=13125] ppid=13122 vsize=1565252 CPUtime=1601.95 cores=1,3,5,7 /proc/13125/stat : 13125 (toysat) R 13122 13125 12151 0 -1 4202496 332228 0 0 0 160137 58 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140734691016768 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13125/statm: 391313 333339 919 2943 0 388207 0 [pid=13125/tid=13126] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13126/stat : 13126 (toysat) S 13122 13125 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223962918128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13125/tid=13127] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13127/stat : 13127 (toysat) S 13122 13125 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223952428272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13125/tid=13128] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13128/stat : 13128 (toysat) S 13122 13125 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223837105328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.95 Current children cumulated vsize (KiB) 1565252 [startup+1662.3 s] /proc/loadavg: 2.07 2.16 2.17 3/183 13183 /proc/meminfo: memFree=27984932/32872528 swapFree=1199948/1314412 [pid=13125] ppid=13122 vsize=1565252 CPUtime=1661.93 cores=1,3,5,7 /proc/13125/stat : 13125 (toysat) R 13122 13125 12151 0 -1 4202496 332228 0 0 0 166135 58 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140734691016768 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13125/statm: 391313 333339 919 2943 0 388207 0 [pid=13125/tid=13126] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13126/stat : 13126 (toysat) S 13122 13125 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223962918128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13125/tid=13127] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13127/stat : 13127 (toysat) S 13122 13125 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223952428272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13125/tid=13128] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13128/stat : 13128 (toysat) S 13122 13125 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223837105328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 1565252 [startup+1722.3 s] /proc/loadavg: 2.08 2.14 2.16 4/183 13184 /proc/meminfo: memFree=27984372/32872528 swapFree=1199948/1314412 [pid=13125] ppid=13122 vsize=1565252 CPUtime=1721.92 cores=1,3,5,7 /proc/13125/stat : 13125 (toysat) R 13122 13125 12151 0 -1 4202496 332228 0 0 0 172134 58 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140734691016768 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13125/statm: 391313 333339 919 2943 0 388207 0 [pid=13125/tid=13126] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13126/stat : 13126 (toysat) S 13122 13125 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223962918128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13125/tid=13127] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13127/stat : 13127 (toysat) S 13122 13125 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223952428272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13125/tid=13128] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13128/stat : 13128 (toysat) S 13122 13125 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223837105328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.92 Current children cumulated vsize (KiB) 1565252 [startup+1782.3 s] /proc/loadavg: 2.19 2.16 2.16 3/183 13186 /proc/meminfo: memFree=27984088/32872528 swapFree=1199948/1314412 [pid=13125] ppid=13122 vsize=1565252 CPUtime=1781.91 cores=1,3,5,7 /proc/13125/stat : 13125 (toysat) R 13122 13125 12151 0 -1 4202496 332228 0 0 0 178133 58 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140734691016768 5600380 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13125/statm: 391313 333339 919 2943 0 388207 0 [pid=13125/tid=13126] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13126/stat : 13126 (toysat) S 13122 13125 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223962918128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13125/tid=13127] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13127/stat : 13127 (toysat) S 13122 13125 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223952428272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13125/tid=13128] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13128/stat : 13128 (toysat) S 13122 13125 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223837105328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 1565252 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.37 2.20 2.18 3/183 13186 /proc/meminfo: memFree=27984184/32872528 swapFree=1199948/1314412 [pid=13125] ppid=13122 vsize=1565252 CPUtime=1800.01 cores=1,3,5,7 /proc/13125/stat : 13125 (toysat) R 13122 13125 12151 0 -1 4202496 332228 0 0 0 179943 58 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140734691032704 4222012 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13125/statm: 391313 333339 919 2943 0 388207 0 [pid=13125/tid=13126] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13126/stat : 13126 (toysat) S 13122 13125 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223962918128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13125/tid=13127] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13127/stat : 13127 (toysat) S 13122 13125 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223952428272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13125/tid=13128] ppid=13122 vsize=1565252 CPUtime=0 cores=1,3,5,7 /proc/13125/task/13128/stat : 13128 (toysat) S 13122 13125 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856662 1602818048 333339 33554432000 4194304 16246674 140734691034864 140223837105328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1565252 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 13125 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.41 CPU time (s): 1800.03 CPU user time (s): 1799.44 CPU system time (s): 0.58691 CPU usage (%): 99.9788 Max. virtual memory (cumulated for all children) (KiB): 1565252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.44 system time used= 0.58691 maximum resident set size= 1333356 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 332228 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= 232 involuntary context switches= 1841 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.30534 second user time and 7.2069 second system time The end
Begin job on node131 at 2016-06-30 11:19:07 IDJOB=4119807 IDBENCH=111808 IDSOLVER=2542 FILE ID=node131/4119807-1467278347 RUNJOBID= node131-1467278347-13106 PBS_JOBID= 20004502 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm25p-opt.opb.negationfix.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119807-1467278347/watcher-4119807-1467278347 -o /tmp/evaluation-result-4119807-1467278347/solver-4119807-1467278347 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1467278347-13106 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119807-1467278347.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0e6bc42a73004b619a56f65a9590fd0d RANDOM SEED=555919705 node131.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.334 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.66 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.334 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.334 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.334 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.54 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.334 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.334 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.334 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.334 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: 30468536 kB Buffers: 106720 kB Cached: 231184 kB SwapCached: 0 kB Active: 139320 kB Inactive: 211256 kB Active(anon): 5740 kB Inactive(anon): 9668 kB Active(file): 133580 kB Inactive(file): 201588 kB Unevictable: 1314412 kB Mlocked: 1199948 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 31516 kB Writeback: 0 kB AnonPages: 1369756 kB Mapped: 13264 kB Shmem: 204 kB Slab: 605644 kB SReclaimable: 49728 kB SUnreclaim: 555916 kB KernelStack: 1416 kB PageTables: 7052 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1413164 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 157696 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71696 MiB End job on node131 at 2016-06-30 11:49:08