| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.36 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm50p-opt.opb.negationfix.opb |
| MD5SUM | d0cc8a0ffbc29b23da5fa5d2733e6279 |
| 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 | 32 |
| Best CPU time to get the best result obtained on this benchmark | 1800.62 |
| 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:40:09+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-4119924-1467279608.opb"] 0.00/0.01 c use --random-gen="403033710 1657074453 730352486 697983486 2261312862 3741600455 3993657383 4219138928 4009756358 1453771015 2100942961 4230719672 1459012969 789821774 2012919649 3743394710 3250294187 1770473624 1394936347 3850818479 449862331 2365245337 3658065587 1612782193 2232289638 2479359585 3125944899 109108345 2720026569 2256544446 274006107 2307800320 454365464 3943213768 144221897 3935527367 3411446149 1467692570 1323893557 622461434 1087888186 1454407584 1855924337 1795724998 1189156092 1379560144 2784774897 901593324 4043687028 3275991284 1434732540 1235028257 2554935180 4095042937 2272124960 4200662544 2750154145 332261198 1309848232 4088687203 1636051987 3154997723 1588554629 3242961542 2310312265 1262475112 3351180514 2326668242 1028417691 216591124 4266331373 3752270342 3331740025 3939286132 3005498601 2876600995 569979800 24288511 146767451 3181419037 2458131147 277726831 168784683 1212666387 1753549452 3159651667 3188304854 1511363185 1752878373 3434453440 3848673512 2744942642 972941594 2996433046 2115884902 2132112911 1161040065 2134580389 2964294430 1106640295 4221883823 855066911 3480452069 1067424571 3475276066 2965796063 313653983 2600067510 1980842709 4253711444 2481823505 899191706 3498340551 883986085 597259822 3508923581 425425119 955405036 3270736138 3491032885 1850387440 3993282796 4290517873 2656496679 1425849850 1752815696 1531144133 514458276 3880503491 1604525014 1961287819 1022770138 2341748272 1223591036 4262222588 3013219319 3648864579 2531939547 4142923708 1208782422 2566390306 3839588914 218135034 1298949308 4111334188 1553664982 2593322208 4026064341 2777584902 1737253148 3517046523 4197464417 2106285054 2050453192 3462018118 2249340008 4013269958 1237434426 3274770878 4128819184 3682158587 2888441582 1130865887 1585063817 1408090223 277082127 1561345507 2712027087 2027307624 1838679411 3312567121 3562913008 3969728173 3580208399 1026153474 426889367 4264833916 3795461506 3182428837 2821655083 200783705 2603243509 2664738398 1250807944 1237574593 3887257245 3422501132 3953480380 1564965458 1371546009 4092212819 978214506 939192513 2392488698 2850708924 2198710704 681926718 3339773808 209436253 3632500753 3308829237 1228116723 3951872989 1838397069 1774855971 1109802185 3331589200 1047983704 2682110299 2772188528 1213085795 3283268979 3356154243 3558431557 3286157209 853444691 3045644663 251122360 741054600 744228782 627192497 885592075 3711480599 2625807983 527269245 1306011576 1442053310 50573630 1346368693 2090074997 2553383200 3597382658 2941972430 740582010 2768859385 2138220815 3101150075 2849487125 1567599862 3391274628 2499492911 3722948798 3680006494 730011750 1164631667 7239338 3850371580 1704391822 163263879 4198552986 2519485147 4286685659 3355603942 370677755 3321077080 2414461202 255 362436" option to reproduce the execution 0.19/0.20 c #vars 23808 0.19/0.20 c #constraints 872 0.49/0.51 c BCD2: Hardening is enabled. 0.49/0.51 c BCD2: BiasedSearch is enabled. 0.49/0.51 c Solving starts ... 0.49/0.51 c ============================[ Search Statistics ]============================ 0.49/0.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.51 c | | | | Limit GC | Var | Constra 0.49/0.51 c ============================================================================= 0.49/0.51 c 0.0s | 0 | 0 | 0 | 8226 0 | 19 | 0 0.49/0.57 c 0.1s | 0 | 399 | 0 | 8226 0 | 19 | 0 0.49/0.57 c #cpu_time = 0.043s 0.49/0.57 c #wall_clock_time = 0.043s 0.49/0.57 c #decision = 399 0.49/0.57 c #random_decision = 1 0.49/0.57 c #conflict = 0 0.49/0.57 c #restart = 0 0.49/0.57 o 64 0.49/0.57 c BCD2: updating upper bound: 64 -> 63 0.49/0.57 c BCD2: 0 <= obj <= 63 0.49/0.57 c BCD2: #cores=0, #unrelaxed=64, #relaxed=0, #hardened=0 0.49/0.57 c BCD2: #sat=1 #unsat=1 bias=1/2 0.49/0.57 c Solving starts ... 0.49/0.57 c ============================[ Search Statistics ]============================ 0.49/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.57 c | | | | Limit GC | Var | Constra 0.49/0.57 c ============================================================================= 0.49/0.57 c 0.0s | 0 | 0 | 0 | 8226 0 | 19 | 0 0.59/0.60 c 0.0s | 0 | 31 | 0 | 8226 0 | 19 | 0 0.59/0.60 c #cpu_time = 0.025s 0.59/0.60 c #wall_clock_time = 0.025s 0.59/0.60 c #decision = 31 0.59/0.60 c #random_decision = 0 0.59/0.60 c #conflict = 0 0.59/0.60 c #restart = 0 0.59/0.60 c BCD2: found a new core of size 32: cost of the new core is >=1 0.59/0.60 c lower bound updated to 1 0.59/0.60 c BCD2: 1 <= obj <= 63 0.59/0.60 c BCD2: #cores=1, #unrelaxed=32, #relaxed=32, #hardened=0 0.59/0.60 c BCD2: #sat=1 #unsat=2 bias=2/3 0.59/0.65 c Solving starts ... 0.59/0.65 c ============================[ Search Statistics ]============================ 0.59/0.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.65 c | | | | Limit GC | Var | Constra 0.59/0.65 c ============================================================================= 0.59/0.65 c 0.0s | 0 | 0 | 0 | 8226 0 | 19 | 0 0.59/0.67 c 0.0s | 0 | 33 | 1 | 8226 0 | 19 | 0 0.59/0.67 c #cpu_time = 0.018s 0.59/0.67 c #wall_clock_time = 0.018s 0.59/0.67 c #decision = 33 0.59/0.67 c #random_decision = 0 0.59/0.67 c #conflict = 1 0.59/0.67 c #restart = 0 0.59/0.67 c BCD2: relaxing 32 and merging with 1 cores into a new core of size 64: cost of the new core is >=2 0.59/0.67 c lower bound updated to 2 0.59/0.67 c BCD2: 2 <= obj <= 63 0.59/0.67 c BCD2: #cores=1, #unrelaxed=0, #relaxed=64, #hardened=0 0.59/0.67 c BCD2: #sat=1 #unsat=3 bias=3/4 0.59/0.67 c Solving starts ... 0.59/0.67 c ============================[ Search Statistics ]============================ 0.59/0.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.67 c | | | | Limit GC | Var | Constra 0.59/0.67 c ============================================================================= 0.69/0.70 c 0.0s | 0 | 0 | 0 | 8226 0 | 20 | 0 0.79/0.85 c 0.1s | 1 | 8292 | 100 | 9049 0 | 20 | 1 1.10/1.12 c 0.4s | 2 | 16187 | 250 | 9049 0 | 20 | 1 1.59/1.66 c 1.0s | 3 | 23988 | 475 | 9954 0 | 20 | 1 2.69/2.73 c 2.0s | 4 | 32295 | 813 | 10950 0 | 20 | 1 2.79/2.84 c 2.1s | 4 | 37526 | 814 | 10950 0 | 20 | 1 2.79/2.84 c #cpu_time = 2.121s 2.79/2.84 c #wall_clock_time = 2.121s 2.79/2.84 c #decision = 37526 2.79/2.84 c #random_decision = 74 2.79/2.84 c #conflict = 814 2.79/2.84 c #restart = 4 2.79/2.84 o 39 2.79/2.84 c BCD2: updating upper bound: 63 -> 38 2.79/2.84 c BCD2: 2 <= obj <= 38 2.79/2.84 c BCD2: #cores=1, #unrelaxed=0, #relaxed=64, #hardened=0 2.79/2.84 c BCD2: #sat=2 #unsat=3 bias=3/5 2.79/2.84 c Solving starts ... 2.79/2.84 c ============================[ Search Statistics ]============================ 2.79/2.84 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.79/2.84 c | | | | Limit GC | Var | Constra 2.79/2.84 c ============================================================================= 2.79/2.85 c 0.0s | 0 | 0 | 0 | 10950 0 | 20 | 3 3.09/3.10 c 0.3s | 1 | 3034 | 100 | 12046 0 | 20 | 3 3.40/3.43 c 0.6s | 2 | 3220 | 250 | 12046 0 | 20 | 3 3.69/3.79 c 0.9s | 3 | 3471 | 475 | 12046 0 | 20 | 3 4.29/4.39 c 1.5s | 4 | 3835 | 813 | 13251 0 | 20 | 3 4.99/5.02 c 2.2s | 5 | 4380 | 1320 | 14577 0 | 20 | 3 6.29/6.36 c 3.5s | 6 | 5172 | 2081 | 14577 0 | 20 | 3 7.69/7.71 c 4.9s | 7 | 6362 | 3223 | 16035 0 | 20 | 3 9.69/9.74 c 6.9s | 7 | 7597 | 4423 | 17639 0 | 20 | 3 10.09/10.13 c 7.3s | 8 | 8115 | 4936 | 17639 0 | 20 | 3 12.20/12.22 c 9.4s | 8 | 9907 | 6636 | 17639 0 | 20 | 3 13.69/13.77 c 10.9s | 9 | 10797 | 7506 | 19403 0 | 20 | 3 15.79/15.85 c 13.0s | 9 | 12538 | 9206 | 19403 0 | 20 | 3 17.89/17.94 c 15.1s | 9 | 13941 | 10606 | 21344 0 | 20 | 3 19.39/19.41 c 16.6s | 10 | 14703 | 11361 | 21344 0 | 20 | 3 21.49/21.50 c 18.7s | 10 | 15637 | 12261 | 21344 0 | 20 | 3 23.49/23.55 c 20.7s | 10 | 16638 | 13161 | 21344 0 | 20 | 3 25.49/25.56 c 22.7s | 10 | 17428 | 13961 | 21344 0 | 20 | 3 27.49/27.58 c 24.7s | 10 | 18847 | 15361 | 21344 0 | 20 | 3 29.69/29.79 c 26.9s | 10 | 20046 | 16561 | 23479 0 | 20 | 3 31.19/31.21 c 28.4s | 11 | 20629 | 17144 | 23479 0 | 20 | 3 33.28/33.36 c 30.5s | 11 | 21362 | 17844 | 23479 0 | 20 | 3 35.29/35.37 c 32.5s | 11 | 22325 | 18744 | 23479 0 | 20 | 3 37.39/37.41 c 34.6s | 11 | 22820 | 19244 | 23479 0 | 20 | 3 39.38/39.44 c 36.6s | 11 | 23422 | 19844 | 23479 0 | 20 | 3 41.48/41.55 c 38.7s | 11 | 24529 | 20944 | 23479 0 | 20 | 3 43.58/43.60 c 40.7s | 11 | 25736 | 22144 | 23479 0 | 20 | 3 45.68/45.76 c 42.9s | 11 | 26522 | 22944 | 23479 0 | 20 | 3 47.78/47.88 c 45.0s | 11 | 27230 | 23644 | 23479 0 | 20 | 3 49.98/50.00 c 47.1s | 11 | 27931 | 24344 | 23479 0 | 20 | 3 51.98/52.06 c 49.2s | 11 | 28428 | 24844 | 23479 1 | 20 | 3 53.89/53.95 c 51.1s | 12 | 29423 | 25819 | 25827 1 | 20 | 3 55.88/55.95 c 53.1s | 12 | 30254 | 26619 | 25827 1 | 20 | 3 58.08/58.11 c 55.3s | 12 | 31060 | 27419 | 25827 1 | 20 | 3 60.08/60.17 c 57.3s | 12 | 32670 | 29019 | 25827 1 | 20 | 3 62.08/62.19 c 59.3s | 12 | 33670 | 30019 | 25827 1 | 20 | 3 64.28/64.32 c 61.5s | 12 | 34598 | 30919 | 25827 1 | 20 | 3 66.38/66.49 c 63.6s | 12 | 35309 | 31619 | 25827 1 | 20 | 3 68.48/68.59 c 65.7s | 12 | 36917 | 33219 | 25827 1 | 20 | 3 70.58/70.67 c 67.8s | 12 | 38013 | 34319 | 25827 1 | 20 | 3 72.68/72.77 c 69.9s | 12 | 38815 | 35119 | 25827 1 | 20 | 3 74.88/74.94 c 72.1s | 12 | 39636 | 35919 | 25827 1 | 20 | 3 76.88/76.96 c 74.1s | 12 | 40831 | 37119 | 25827 1 | 20 | 3 78.98/79.02 c 76.2s | 12 | 41624 | 37919 | 28410 1 | 20 | 3 80.97/81.06 c 78.2s | 12 | 42335 | 38619 | 28410 1 | 20 | 3 81.57/81.69 c 78.8s | 13 | 42542 | 38832 | 28410 1 | 20 | 3 83.77/83.87 c 81.0s | 13 | 43393 | 39632 | 28410 1 | 20 | 3 86.17/86.26 c 83.4s | 13 | 43986 | 40232 | 28410 1 | 20 | 3 88.47/88.53 c 85.7s | 13 | 44380 | 40632 | 28410 1 | 20 | 3 90.67/90.70 c 87.9s | 13 | 44796 | 41032 | 28410 2 | 20 | 3 92.68/92.78 c 89.9s | 13 | 46288 | 42532 | 28410 2 | 20 | 3 94.78/94.82 c 92.0s | 13 | 47508 | 43732 | 28410 2 | 20 | 3 96.89/96.94 c 94.1s | 13 | 48495 | 44732 | 28410 2 | 20 | 3 99.18/99.29 c 96.4s | 13 | 49413 | 45632 | 28410 2 | 20 | 3 101.68/101.70 c 98.8s | 13 | 50197 | 46432 | 28410 2 | 20 | 3 103.68/103.78 c 100s | 13 | 51116 | 47332 | 28410 2 | 20 | 3 105.78/105.81 c 102s | 13 | 52521 | 48732 | 28410 2 | 20 | 3 107.78/107.90 c 105s | 13 | 53426 | 49632 | 28410 2 | 20 | 3 110.08/110.11 c 107s | 13 | 54219 | 50432 | 28410 2 | 20 | 3 112.38/112.43 c 109s | 13 | 55025 | 51232 | 28410 2 | 20 | 3 114.58/114.61 c 111s | 13 | 55736 | 51932 | 28410 2 | 20 | 3 116.78/116.82 c 113s | 13 | 57120 | 53332 | 28410 2 | 20 | 3 118.78/118.88 c 116s | 13 | 57921 | 54132 | 28410 2 | 20 | 3 120.98/121.04 c 118s | 13 | 58738 | 54932 | 28410 2 | 20 | 3 123.07/123.12 c 120s | 13 | 59419 | 55632 | 28410 2 | 20 | 3 125.17/125.29 c 122s | 13 | 60033 | 56232 | 28410 2 | 20 | 3 127.27/127.32 c 124s | 13 | 60629 | 56832 | 28410 3 | 20 | 3 129.37/129.48 c 126s | 13 | 62040 | 58232 | 31252 3 | 20 | 3 129.78/129.82 c 126s | 14 | 62159 | 58352 | 31252 3 | 20 | 3 131.87/131.92 c 129s | 14 | 63405 | 59552 | 31252 3 | 20 | 3 133.97/134.02 c 131s | 14 | 64524 | 60652 | 31252 3 | 20 | 3 135.97/136.06 c 133s | 14 | 65244 | 61352 | 31252 3 | 20 | 3 140.87/140.92 c 138s | 14 | 65785 | 61852 | 31252 3 | 20 | 3 142.97/143.05 c 140s | 14 | 66678 | 62752 | 31252 3 | 20 | 3 145.06/145.13 c 142s | 14 | 68077 | 64152 | 31252 3 | 20 | 3 147.26/147.37 c 144s | 14 | 68986 | 65052 | 31252 3 | 20 | 3 149.46/149.59 c 146s | 14 | 69781 | 65852 | 31252 3 | 20 | 3 151.77/151.81 c 148s | 14 | 70498 | 66552 | 31252 3 | 20 | 3 153.76/153.88 c 151s | 14 | 71093 | 67152 | 31252 3 | 20 | 3 155.86/155.98 c 153s | 14 | 71902 | 67952 | 31252 3 | 20 | 3 158.06/158.10 c 155s | 14 | 73205 | 69252 | 31252 3 | 20 | 3 160.26/160.37 c 157s | 14 | 74193 | 70252 | 31252 3 | 20 | 3 162.47/162.55 c 159s | 14 | 75007 | 71052 | 31252 3 | 20 | 3 164.87/164.93 c 162s | 14 | 75714 | 71752 | 31252 3 | 20 | 3 166.87/166.98 c 164s | 14 | 76307 | 72352 | 31252 3 | 20 | 3 169.07/169.14 c 166s | 14 | 76929 | 72952 | 31252 3 | 20 | 3 171.27/171.37 c 168s | 14 | 77622 | 73652 | 31252 3 | 20 | 3 173.47/173.53 c 170s | 14 | 78732 | 74752 | 31252 3 | 20 | 3 175.47/175.55 c 172s | 14 | 79419 | 75452 | 31252 3 | 20 | 3 177.96/178.09 c 175s | 14 | 80025 | 76052 | 31252 4 | 20 | 3 180.06/180.19 c 177s | 14 | 80836 | 76852 | 31252 4 | 20 | 3 182.46/182.51 c 179s | 14 | 81619 | 77652 | 31252 4 | 20 | 3 184.66/184.79 c 181s | 14 | 82433 | 78452 | 31252 4 | 20 | 3 186.76/186.82 c 183s | 14 | 83543 | 79552 | 31252 4 | 20 | 3 188.86/188.97 c 186s | 14 | 84749 | 80752 | 31252 4 | 20 | 3 191.06/191.18 c 188s | 14 | 85642 | 81652 | 31252 4 | 20 | 3 193.26/193.35 c 190s | 14 | 86447 | 82452 | 31252 4 | 20 | 3 195.46/195.53 c 192s | 14 | 87458 | 83452 | 31252 4 | 20 | 3 197.46/197.54 c 194s | 14 | 88361 | 84352 | 31252 4 | 20 | 3 199.66/199.75 c 196s | 14 | 89164 | 85152 | 31252 4 | 20 | 3 201.86/201.98 c 199s | 14 | 89964 | 85952 | 31252 4 | 20 | 3 204.06/204.17 c 201s | 14 | 90556 | 86552 | 34378 4 | 20 | 3 206.36/206.43 c 203s | 14 | 91275 | 87252 | 34378 4 | 20 | 3 206.86/206.98 c 204s | 15 | 91655 | 87632 | 34378 4 | 20 | 3 209.26/209.32 c 206s | 15 | 92181 | 88132 | 34378 4 | 20 | 3 211.26/211.33 c 208s | 15 | 92895 | 88832 | 34378 4 | 20 | 3 213.46/213.60 c 210s | 15 | 93799 | 89732 | 34378 4 | 20 | 3 215.66/215.75 c 212s | 15 | 94502 | 90432 | 34378 4 | 20 | 3 217.95/218.05 c 215s | 15 | 95099 | 91032 | 34378 4 | 20 | 3 220.06/220.19 c 217s | 15 | 95911 | 91832 | 34378 4 | 20 | 3 222.16/222.26 c 219s | 15 | 96908 | 92832 | 34378 4 | 20 | 3 224.36/224.47 c 221s | 15 | 97704 | 93632 | 34378 4 | 20 | 3 226.45/226.55 c 223s | 15 | 98422 | 94332 | 34378 4 | 20 | 3 228.55/228.67 c 225s | 15 | 99416 | 95332 | 34378 4 | 20 | 3 230.65/230.79 c 227s | 15 | 100126 | 96032 | 34378 4 | 20 | 3 233.85/233.99 c 231s | 15 | 100723 | 96632 | 34378 5 | 20 | 3 235.95/236.03 c 233s | 15 | 101720 | 97632 | 34378 5 | 20 | 3 238.05/238.18 c 235s | 15 | 102913 | 98832 | 34378 5 | 20 | 3 240.35/240.47 c 237s | 15 | 103825 | 99732 | 34378 5 | 20 | 3 242.45/242.50 c 239s | 15 | 104922 | 100832 | 34378 5 | 20 | 3 244.45/244.58 c 241s | 15 | 105722 | 101632 | 34378 5 | 20 | 3 246.55/246.67 c 243s | 15 | 106417 | 102332 | 34378 5 | 20 | 3 248.65/248.72 c 245s | 15 | 107526 | 103432 | 34378 5 | 20 | 3 250.95/251.02 c 248s | 15 | 108429 | 104332 | 34378 5 | 20 | 3 253.15/253.22 c 250s | 15 | 109436 | 105332 | 34378 5 | 20 | 3 255.45/255.50 c 252s | 15 | 110329 | 106232 | 34378 5 | 20 | 3 257.65/257.77 c 254s | 15 | 111435 | 107332 | 34378 5 | 20 | 3 259.75/259.85 c 256s | 15 | 112238 | 108132 | 34378 5 | 20 | 3 261.85/261.91 c 259s | 15 | 113332 | 109232 | 34378 5 | 20 | 3 264.05/264.15 c 261s | 15 | 114334 | 110232 | 34378 5 | 20 | 3 266.25/266.34 c 263s | 15 | 115338 | 111232 | 34378 5 | 20 | 3 268.35/268.50 c 265s | 15 | 116337 | 112232 | 34378 5 | 20 | 3 270.44/270.51 c 267s | 15 | 117351 | 113232 | 34378 5 | 20 | 3 272.44/272.52 c 269s | 15 | 118446 | 114332 | 34378 5 | 20 | 3 277.15/277.26 c 274s | 15 | 119573 | 115432 | 34378 6 | 20 | 3 282.66/282.74 c 279s | 15 | 119769 | 115632 | 34378 6 | 20 | 3 284.65/284.76 c 281s | 15 | 121069 | 116932 | 34378 6 | 20 | 3 286.65/286.77 c 283s | 15 | 121865 | 117732 | 34378 6 | 20 | 3 288.85/288.96 c 286s | 15 | 122762 | 118632 | 34378 6 | 20 | 3 290.95/291.07 c 288s | 15 | 123567 | 119432 | 34378 6 | 20 | 3 293.15/293.21 c 290s | 15 | 125078 | 120932 | 34378 6 | 20 | 3 295.35/295.45 c 292s | 15 | 125972 | 121832 | 34378 6 | 20 | 3 297.65/297.74 c 294s | 15 | 126790 | 122632 | 34378 6 | 20 | 3 299.75/299.87 c 297s | 15 | 127594 | 123432 | 34378 6 | 20 | 3 301.95/302.04 c 299s | 15 | 128891 | 124732 | 34378 6 | 20 | 3 304.24/304.30 c 301s | 15 | 129686 | 125532 | 34378 6 | 20 | 3 306.54/306.60 c 303s | 15 | 130491 | 126332 | 34378 6 | 20 | 3 308.74/308.82 c 305s | 15 | 131701 | 127532 | 34378 6 | 20 | 3 310.94/311.04 c 308s | 15 | 132615 | 128432 | 34378 6 | 20 | 3 312.94/313.07 c 310s | 15 | 133308 | 129132 | 34378 6 | 20 | 3 315.04/315.17 c 312s | 15 | 134313 | 130132 | 37816 6 | 20 | 3 317.14/317.22 c 314s | 15 | 135211 | 131032 | 37816 6 | 20 | 3 318.44/318.59 c 315s | 16 | 135735 | 131552 | 37816 6 | 20 | 3 320.64/320.78 c 317s | 16 | 136163 | 131952 | 37816 6 | 20 | 3 322.84/322.90 c 320s | 16 | 136577 | 132352 | 37816 6 | 20 | 3 324.84/324.93 c 322s | 16 | 137083 | 132852 | 37816 6 | 20 | 3 326.94/327.01 c 324s | 16 | 137899 | 133652 | 37816 6 | 20 | 3 329.04/329.14 c 326s | 16 | 138399 | 134152 | 37816 6 | 20 | 3 331.05/331.20 c 328s | 16 | 138701 | 134452 | 37816 6 | 20 | 3 333.14/333.29 c 330s | 16 | 139190 | 134952 | 37816 6 | 20 | 3 335.34/335.46 c 332s | 16 | 139905 | 135652 | 37816 6 | 20 | 3 337.65/337.75 c 334s | 16 | 141203 | 136952 | 37816 6 | 20 | 3 339.85/339.93 c 337s | 16 | 142018 | 137752 | 37816 6 | 20 | 3 342.14/342.27 c 339s | 16 | 142223 | 137952 | 37816 7 | 20 | 3 344.14/344.30 c 341s | 16 | 143008 | 138752 | 37816 7 | 20 | 3 346.44/346.51 c 343s | 16 | 143809 | 139552 | 37816 7 | 20 | 3 348.74/348.87 c 346s | 16 | 144614 | 140352 | 37816 7 | 20 | 3 350.73/350.89 c 348s | 16 | 145229 | 140952 | 37816 7 | 20 | 3 352.83/352.95 c 350s | 16 | 146343 | 142052 | 37816 7 | 20 | 3 355.03/355.15 c 352s | 16 | 147529 | 143252 | 37816 7 | 20 | 3 357.13/357.28 c 354s | 16 | 148430 | 144152 | 37816 7 | 20 | 3 359.53/359.68 c 356s | 16 | 149332 | 145052 | 37816 7 | 20 | 3 361.53/361.69 c 358s | 16 | 150032 | 145752 | 37816 7 | 20 | 3 363.83/363.90 c 361s | 16 | 150846 | 146552 | 37816 7 | 20 | 3 365.83/365.93 c 363s | 16 | 152052 | 147752 | 37816 7 | 20 | 3 368.13/368.26 c 365s | 16 | 152958 | 148652 | 37816 7 | 20 | 3 370.33/370.42 c 367s | 16 | 153658 | 149352 | 37816 7 | 20 | 3 372.53/372.62 c 369s | 16 | 154359 | 150052 | 37816 7 | 20 | 3 374.63/374.71 c 371s | 16 | 154951 | 150652 | 37816 7 | 20 | 3 376.63/376.76 c 373s | 16 | 155569 | 151252 | 37816 7 | 20 | 3 378.73/378.89 c 376s | 16 | 156762 | 152452 | 37816 7 | 20 | 3 381.03/381.10 c 378s | 16 | 157564 | 153252 | 37816 7 | 20 | 3 383.23/383.35 c 380s | 16 | 158269 | 153952 | 37816 7 | 20 | 3 385.43/385.53 c 382s | 16 | 158883 | 154552 | 37816 7 | 20 | 3 387.83/387.92 c 385s | 16 | 159468 | 155152 | 37816 7 | 20 | 3 389.83/389.93 c 387s | 16 | 159970 | 155652 | 37816 7 | 20 | 3 391.93/392.09 c 389s | 16 | 161078 | 156752 | 37816 7 | 20 | 3 394.23/394.31 c 391s | 16 | 161873 | 157552 | 37816 7 | 20 | 3 396.22/396.33 c 393s | 16 | 162483 | 158152 | 37816 7 | 20 | 3 398.33/398.44 c 395s | 16 | 162974 | 158652 | 37816 8 | 20 | 3 400.34/400.50 c 397s | 16 | 163772 | 159452 | 37816 8 | 20 | 3 402.43/402.58 c 399s | 16 | 164689 | 160352 | 37816 8 | 20 | 3 404.63/404.70 c 401s | 16 | 165794 | 161452 | 37816 8 | 20 | 3 406.83/406.95 c 404s | 16 | 166699 | 162352 | 37816 8 | 20 | 3 408.93/409.03 c 406s | 16 | 167489 | 163152 | 37816 8 | 20 | 3 411.03/411.15 c 408s | 16 | 168501 | 164152 | 37816 8 | 20 | 3 413.13/413.20 c 410s | 16 | 169400 | 165052 | 37816 8 | 20 | 3 415.23/415.35 c 412s | 16 | 170201 | 165852 | 37816 8 | 20 | 3 417.53/417.60 c 414s | 16 | 170911 | 166552 | 37816 8 | 20 | 3 419.63/419.74 c 416s | 16 | 171912 | 167552 | 37816 8 | 20 | 3 421.63/421.77 c 418s | 16 | 172712 | 168352 | 37816 8 | 20 | 3 423.73/423.81 c 420s | 16 | 173414 | 169052 | 37816 8 | 20 | 3 425.93/426.09 c 423s | 16 | 174110 | 169752 | 37816 8 | 20 | 3 428.23/428.35 c 425s | 16 | 175218 | 170852 | 37816 8 | 20 | 3 430.53/430.68 c 427s | 16 | 176010 | 171652 | 37816 8 | 20 | 3 432.63/432.78 c 429s | 16 | 176624 | 172252 | 37816 8 | 20 | 3 434.73/434.83 c 431s | 16 | 177527 | 173152 | 37816 8 | 20 | 3 436.83/436.94 c 434s | 16 | 178228 | 173852 | 37816 8 | 20 | 3 439.13/439.26 c 436s | 16 | 178921 | 174552 | 37816 8 | 20 | 3 441.43/441.51 c 438s | 16 | 179930 | 175552 | 37816 8 | 20 | 3 443.53/443.60 c 440s | 16 | 180634 | 176252 | 37816 8 | 20 | 3 445.43/445.60 c 442s | 16 | 181341 | 176952 | 37816 8 | 20 | 3 447.63/447.76 c 444s | 16 | 182234 | 177852 | 37816 8 | 20 | 3 449.73/449.82 c 446s | 16 | 182843 | 178452 | 37816 8 | 20 | 3 451.82/451.95 c 449s | 16 | 183847 | 179452 | 37816 8 | 20 | 3 454.02/454.12 c 451s | 16 | 184547 | 180152 | 37816 8 | 20 | 3 456.22/456.35 c 453s | 16 | 185438 | 181052 | 37816 8 | 20 | 3 458.32/458.46 c 455s | 16 | 185951 | 181552 | 37816 9 | 20 | 3 460.42/460.51 c 457s | 16 | 187041 | 182652 | 37816 9 | 20 | 3 462.42/462.55 c 459s | 16 | 188153 | 183752 | 37816 9 | 20 | 3 464.62/464.76 c 461s | 16 | 189456 | 185052 | 37816 9 | 20 | 3 466.72/466.87 c 464s | 16 | 190666 | 186252 | 37816 9 | 20 | 3 471.52/471.68 c 468s | 16 | 192188 | 187752 | 37816 9 | 20 | 3 481.31/481.41 c 478s | 16 | 192286 | 187852 | 37816 9 | 20 | 3 483.51/483.68 c 480s | 16 | 193392 | 188952 | 37816 9 | 20 | 3 485.61/485.74 c 482s | 16 | 194194 | 189752 | 37816 9 | 20 | 3 487.81/487.97 c 485s | 16 | 194988 | 190552 | 37816 9 | 20 | 3 489.91/490.05 c 487s | 16 | 195695 | 191252 | 37816 9 | 20 | 3 491.91/492.07 c 489s | 16 | 196510 | 192052 | 37816 9 | 20 | 3 494.11/494.23 c 491s | 16 | 197715 | 193252 | 37816 9 | 20 | 3 496.21/496.37 c 493s | 16 | 198503 | 194052 | 37816 9 | 20 | 3 498.32/498.42 c 495s | 16 | 199223 | 194752 | 37816 9 | 20 | 3 500.42/500.58 c 497s | 16 | 199823 | 195352 | 41598 9 | 20 | 3 502.51/502.69 c 499s | 16 | 200927 | 196452 | 41598 9 | 20 | 3 504.82/504.91 c 502s | 16 | 201727 | 197252 | 41598 9 | 20 | 3 505.31/505.48 c 502s | 17 | 201903 | 197432 | 41598 9 | 20 | 3 507.41/507.59 c 504s | 17 | 202356 | 197832 | 41598 9 | 20 | 3 509.91/510.04 c 507s | 17 | 202768 | 198232 | 41598 9 | 20 | 3 512.21/512.31 c 509s | 17 | 203266 | 198732 | 41598 9 | 20 | 3 514.31/514.41 c 511s | 17 | 203986 | 199432 | 41598 9 | 20 | 3 516.61/516.76 c 513s | 17 | 204709 | 200132 | 41598 9 | 20 | 3 518.71/518.83 c 515s | 17 | 205246 | 200632 | 41598 9 | 20 | 3 520.81/520.90 c 518s | 17 | 205755 | 201132 | 41598 9 | 20 | 3 524.62/524.77 c 521s | 17 | 206182 | 201532 | 41598 9 | 20 | 3 529.21/529.35 c 526s | 17 | 206691 | 202032 | 41598 10 | 20 | 3 531.32/531.48 c 528s | 17 | 208087 | 203432 | 41598 10 | 20 | 3 533.52/533.66 c 530s | 17 | 209185 | 204532 | 41598 10 | 20 | 3 535.81/535.95 c 533s | 17 | 210094 | 205432 | 41598 10 | 20 | 3 538.11/538.25 c 535s | 17 | 210892 | 206232 | 41598 10 | 20 | 3 540.31/540.49 c 537s | 17 | 211592 | 206932 | 41598 10 | 20 | 3 542.61/542.76 c 539s | 17 | 212305 | 207632 | 41598 10 | 20 | 3 544.61/544.79 c 541s | 17 | 213003 | 208332 | 41598 10 | 20 | 3 546.72/546.80 c 543s | 17 | 214408 | 209732 | 41598 10 | 20 | 3 548.71/548.85 c 545s | 17 | 215303 | 210632 | 41598 10 | 20 | 3 550.91/551.00 c 548s | 17 | 216110 | 211432 | 41598 10 | 20 | 3 553.01/553.12 c 550s | 17 | 216823 | 212132 | 41598 10 | 20 | 3 555.11/555.22 c 552s | 17 | 217420 | 212732 | 41598 10 | 20 | 3 557.41/557.52 c 554s | 17 | 218005 | 213332 | 41598 10 | 20 | 3 559.41/559.57 c 556s | 17 | 218516 | 213832 | 41598 10 | 20 | 3 561.51/561.63 c 558s | 17 | 219530 | 214832 | 41598 10 | 20 | 3 563.71/563.81 c 560s | 17 | 220631 | 215932 | 41598 10 | 20 | 3 566.01/566.13 c 563s | 17 | 221435 | 216732 | 41598 10 | 20 | 3 568.01/568.16 c 565s | 17 | 222021 | 217332 | 41598 10 | 20 | 3 570.41/570.55 c 567s | 17 | 222638 | 217932 | 41598 10 | 20 | 3 572.61/572.76 c 569s | 17 | 223221 | 218532 | 41598 10 | 20 | 3 574.60/574.77 c 571s | 17 | 223723 | 219032 | 41598 10 | 20 | 3 576.60/576.78 c 573s | 17 | 224124 | 219432 | 41598 10 | 20 | 3 578.80/578.94 c 576s | 17 | 225246 | 220532 | 41598 10 | 20 | 3 581.00/581.19 c 578s | 17 | 226140 | 221432 | 41598 10 | 20 | 3 583.30/583.45 c 580s | 17 | 226842 | 222132 | 41598 10 | 20 | 3 585.50/585.67 c 582s | 17 | 227443 | 222732 | 41598 10 | 20 | 3 587.90/588.04 c 585s | 17 | 228058 | 223332 | 41598 10 | 20 | 3 590.10/590.23 c 587s | 17 | 228540 | 223832 | 41598 10 | 20 | 3 592.40/592.50 c 589s | 17 | 228960 | 224232 | 41598 11 | 20 | 3 594.40/594.52 c 591s | 17 | 230066 | 225332 | 41598 11 | 20 | 3 596.60/596.75 c 593s | 17 | 231152 | 226432 | 41598 11 | 20 | 3 598.60/598.79 c 595s | 17 | 231962 | 227232 | 41598 11 | 20 | 3 600.70/600.86 c 598s | 17 | 232655 | 227932 | 41598 11 | 20 | 3 603.20/603.33 c 600s | 17 | 233473 | 228732 | 41598 11 | 20 | 3 605.30/605.40 c 602s | 17 | 234573 | 229832 | 41598 11 | 20 | 3 607.40/607.56 c 604s | 17 | 235563 | 230832 | 41598 11 | 20 | 3 609.50/609.64 c 606s | 17 | 236363 | 231632 | 41598 11 | 20 | 3 611.60/611.77 c 608s | 17 | 237065 | 232332 | 41598 11 | 20 | 3 613.80/613.99 c 611s | 17 | 237661 | 232932 | 41598 11 | 20 | 3 616.00/616.15 c 613s | 17 | 238778 | 234032 | 41598 11 | 20 | 3 618.10/618.25 c 615s | 17 | 239569 | 234832 | 41598 11 | 20 | 3 620.20/620.32 c 617s | 17 | 240273 | 235532 | 41598 11 | 20 | 3 622.60/622.77 c 619s | 17 | 240975 | 236232 | 41598 11 | 20 | 3 624.80/624.96 c 622s | 17 | 241682 | 236932 | 41598 11 | 20 | 3 627.00/627.20 c 624s | 17 | 242687 | 237932 | 41598 11 | 20 | 3 629.29/629.46 c 626s | 17 | 243389 | 238632 | 41598 11 | 20 | 3 631.59/631.72 c 628s | 17 | 243990 | 239232 | 41598 11 | 20 | 3 633.79/633.91 c 631s | 17 | 244601 | 239832 | 41598 11 | 20 | 3 635.80/635.95 c 633s | 17 | 245491 | 240732 | 41598 11 | 20 | 3 638.00/638.19 c 635s | 17 | 246393 | 241632 | 41598 11 | 20 | 3 640.29/640.41 c 637s | 17 | 247090 | 242332 | 41598 11 | 20 | 3 642.49/642.68 c 639s | 17 | 247701 | 242932 | 41598 11 | 20 | 3 644.69/644.87 c 642s | 17 | 248610 | 243832 | 41598 11 | 20 | 3 646.89/647.05 c 644s | 17 | 249302 | 244532 | 41598 11 | 20 | 3 649.00/649.18 c 646s | 17 | 249914 | 245132 | 41598 11 | 20 | 3 651.10/651.29 c 648s | 17 | 250404 | 245632 | 41598 11 | 20 | 3 653.49/653.65 c 650s | 17 | 251412 | 246632 | 41598 11 | 20 | 3 655.79/655.92 c 653s | 17 | 252119 | 247332 | 41598 11 | 20 | 3 658.09/658.22 c 655s | 17 | 252711 | 247932 | 41598 11 | 20 | 3 660.29/660.46 c 657s | 17 | 253719 | 248932 | 41598 11 | 20 | 3 662.59/662.71 c 659s | 17 | 254216 | 249432 | 41598 12 | 20 | 3 664.59/664.72 c 661s | 17 | 254923 | 250132 | 41598 12 | 20 | 3 666.59/666.74 c 663s | 17 | 256128 | 251332 | 41598 12 | 20 | 3 668.69/668.84 c 665s | 17 | 257331 | 252532 | 41598 12 | 20 | 3 670.89/671.03 c 668s | 17 | 258327 | 253532 | 41598 12 | 20 | 3 672.99/673.12 c 670s | 17 | 259532 | 254732 | 41598 12 | 20 | 3 675.19/675.30 c 672s | 17 | 260733 | 255932 | 41598 12 | 20 | 3 677.19/677.37 c 674s | 17 | 261838 | 257032 | 41598 12 | 20 | 3 679.28/679.43 c 676s | 17 | 263042 | 258232 | 41598 12 | 20 | 3 681.28/681.47 c 678s | 17 | 264245 | 259432 | 41598 12 | 20 | 3 683.28/683.48 c 680s | 17 | 265650 | 260832 | 41598 12 | 20 | 3 686.89/687.07 c 684s | 17 | 265873 | 261032 | 41598 12 | 20 | 3 693.68/693.89 c 691s | 17 | 265977 | 261132 | 41598 12 | 20 | 3 695.88/696.04 c 693s | 17 | 266968 | 262132 | 41598 12 | 20 | 3 697.88/698.09 c 695s | 17 | 267770 | 262932 | 41598 12 | 20 | 3 699.98/700.18 c 697s | 17 | 268369 | 263532 | 41598 12 | 20 | 3 701.98/702.18 c 699s | 17 | 269071 | 264232 | 41598 12 | 20 | 3 704.18/704.33 c 701s | 17 | 269672 | 264832 | 41598 12 | 20 | 3 706.19/706.33 c 703s | 17 | 270272 | 265432 | 41598 12 | 20 | 3 708.18/708.36 c 705s | 17 | 271393 | 266532 | 41598 12 | 20 | 3 710.28/710.48 c 707s | 17 | 272085 | 267232 | 41598 12 | 20 | 3 712.68/712.86 c 710s | 17 | 272791 | 267932 | 41598 12 | 20 | 3 714.88/715.04 c 712s | 17 | 273392 | 268532 | 41598 12 | 20 | 3 716.88/717.07 c 714s | 17 | 273888 | 269032 | 41598 12 | 20 | 3 718.98/719.12 c 716s | 17 | 274381 | 269532 | 41598 12 | 20 | 3 721.28/721.40 c 718s | 17 | 275491 | 270632 | 41598 12 | 20 | 3 723.28/723.41 c 720s | 17 | 276192 | 271332 | 41598 12 | 20 | 3 726.37/726.58 c 723s | 17 | 276794 | 271932 | 41598 13 | 20 | 3 728.57/728.72 c 725s | 17 | 277597 | 272732 | 41598 13 | 20 | 3 730.67/730.80 c 727s | 17 | 278295 | 273432 | 41598 13 | 20 | 3 732.67/732.81 c 729s | 17 | 279502 | 274632 | 41598 13 | 20 | 3 734.68/734.81 c 731s | 17 | 280399 | 275532 | 41598 13 | 20 | 3 736.67/736.82 c 733s | 17 | 281209 | 276332 | 41598 13 | 20 | 3 738.67/738.89 c 736s | 17 | 282112 | 277232 | 41598 13 | 20 | 3 740.77/740.90 c 738s | 17 | 283105 | 278232 | 41598 13 | 20 | 3 742.97/743.11 c 740s | 17 | 283904 | 279032 | 41598 13 | 20 | 3 745.17/745.32 c 742s | 17 | 284613 | 279732 | 41598 13 | 20 | 3 747.17/747.33 c 744s | 17 | 285715 | 280832 | 41598 13 | 20 | 3 749.27/749.45 c 746s | 17 | 286524 | 281632 | 41598 13 | 20 | 3 751.57/751.79 c 748s | 17 | 287219 | 282332 | 41598 13 | 20 | 3 753.57/753.79 c 750s | 17 | 288221 | 283332 | 41598 13 | 20 | 3 755.77/755.95 c 753s | 17 | 289024 | 284132 | 41598 13 | 20 | 3 757.88/758.05 c 755s | 17 | 289834 | 284932 | 41598 13 | 20 | 3 760.08/760.23 c 757s | 17 | 290732 | 285832 | 41598 13 | 20 | 3 762.18/762.35 c 759s | 17 | 291441 | 286532 | 41598 13 | 20 | 3 764.48/764.64 c 761s | 17 | 292436 | 287532 | 41598 13 | 20 | 3 766.58/766.76 c 763s | 17 | 293139 | 288232 | 41598 13 | 20 | 3 768.78/768.94 c 766s | 17 | 294045 | 289132 | 41598 13 | 20 | 3 770.87/771.05 c 768s | 17 | 294739 | 289832 | 41598 13 | 20 | 3 773.07/773.20 c 770s | 17 | 295647 | 290732 | 41598 13 | 20 | 3 775.07/775.21 c 772s | 17 | 296354 | 291432 | 41598 13 | 20 | 3 777.17/777.39 c 774s | 17 | 297247 | 292332 | 41598 13 | 20 | 3 779.47/779.67 c 776s | 17 | 298144 | 293232 | 41598 13 | 20 | 3 781.57/781.76 c 778s | 17 | 298957 | 294032 | 45758 13 | 20 | 3 783.77/783.90 c 781s | 17 | 299850 | 294932 | 45758 13 | 20 | 3 785.77/785.97 c 783s | 17 | 300856 | 295932 | 45758 13 | 20 | 3 786.48/786.61 c 783s | 18 | 301178 | 296252 | 45758 13 | 20 | 3 796.47/796.61 c 793s | 18 | 301308 | 296352 | 45758 14 | 20 | 3 798.58/798.71 c 795s | 18 | 301713 | 296752 | 45758 14 | 20 | 3 800.78/800.91 c 798s | 18 | 302316 | 297352 | 45758 14 | 20 | 3 802.98/803.14 c 800s | 18 | 303013 | 298052 | 45758 14 | 20 | 3 805.18/805.32 c 802s | 18 | 303537 | 298552 | 45758 14 | 20 | 3 807.28/807.41 c 804s | 18 | 303938 | 298952 | 45758 14 | 20 | 3 809.27/809.46 c 806s | 18 | 304860 | 299852 | 45758 14 | 20 | 3 811.27/811.46 c 808s | 18 | 305669 | 300652 | 45758 14 | 20 | 3 813.47/813.68 c 810s | 18 | 306175 | 301152 | 45758 14 | 20 | 3 815.67/815.82 c 812s | 18 | 306649 | 301652 | 45758 14 | 20 | 3 817.77/817.94 c 815s | 18 | 307769 | 302752 | 45758 14 | 20 | 3 819.77/819.95 c 817s | 18 | 308473 | 303452 | 45758 14 | 20 | 3 822.17/822.33 c 819s | 18 | 308959 | 303952 | 45758 14 | 20 | 3 824.46/824.65 c 821s | 18 | 309479 | 304452 | 45758 14 | 20 | 3 826.76/826.97 c 824s | 18 | 310279 | 305252 | 45758 14 | 20 | 3 828.96/829.18 c 826s | 18 | 310785 | 305752 | 45758 14 | 20 | 3 831.36/831.50 c 828s | 18 | 311268 | 306252 | 45758 14 | 20 | 3 833.46/833.61 c 830s | 18 | 312081 | 307052 | 45758 14 | 20 | 3 835.76/835.92 c 833s | 18 | 312677 | 307652 | 45758 14 | 20 | 3 837.96/838.18 c 835s | 18 | 313390 | 308352 | 45758 14 | 20 | 3 840.06/840.20 c 837s | 18 | 313898 | 308852 | 45758 14 | 20 | 3 842.16/842.37 c 839s | 18 | 314380 | 309352 | 45758 14 | 20 | 3 844.26/844.45 c 841s | 18 | 315088 | 310052 | 45758 14 | 20 | 3 846.46/846.67 c 843s | 18 | 315597 | 310552 | 45758 14 | 20 | 3 848.46/848.68 c 845s | 18 | 315989 | 310952 | 45758 14 | 20 | 3 850.56/850.71 c 847s | 18 | 316698 | 311652 | 45758 14 | 20 | 3 852.66/852.88 c 850s | 18 | 317190 | 312152 | 45758 14 | 20 | 3 855.06/855.24 c 852s | 18 | 318004 | 312952 | 45758 14 | 20 | 3 857.16/857.34 c 854s | 18 | 318502 | 313452 | 45758 14 | 20 | 3 859.36/859.52 c 856s | 18 | 319403 | 314352 | 45758 14 | 20 | 3 861.46/861.61 c 858s | 18 | 320210 | 315152 | 45758 14 | 20 | 3 863.47/863.67 c 860s | 18 | 320912 | 315852 | 45758 14 | 20 | 3 865.46/865.68 c 862s | 18 | 321710 | 316652 | 45758 14 | 20 | 3 867.56/867.72 c 864s | 18 | 322308 | 317252 | 45758 14 | 20 | 3 869.66/869.81 c 866s | 18 | 322906 | 317852 | 45758 14 | 20 | 3 871.96/872.12 c 869s | 18 | 323643 | 318552 | 45758 14 | 20 | 3 873.96/874.16 c 871s | 18 | 324143 | 319052 | 45758 14 | 20 | 3 876.06/876.28 c 873s | 18 | 324946 | 319852 | 45758 14 | 20 | 3 878.16/878.33 c 875s | 18 | 325550 | 320452 | 45758 14 | 20 | 3 880.36/880.53 c 877s | 18 | 326249 | 321152 | 45758 14 | 20 | 3 882.46/882.69 c 879s | 18 | 327046 | 321952 | 45758 14 | 20 | 3 884.56/884.78 c 881s | 18 | 327656 | 322552 | 45758 14 | 20 | 3 886.66/886.84 c 883s | 18 | 328550 | 323452 | 45758 14 | 20 | 3 892.35/892.55 c 889s | 18 | 329378 | 324252 | 45758 15 | 20 | 3 894.45/894.69 c 891s | 18 | 330797 | 325652 | 45758 15 | 20 | 3 896.85/897.02 c 894s | 18 | 331900 | 326752 | 45758 15 | 20 | 3 898.95/899.18 c 896s | 18 | 333209 | 328052 | 45758 15 | 20 | 3 901.15/901.31 c 898s | 18 | 334317 | 329152 | 45758 15 | 20 | 3 903.25/903.40 c 900s | 18 | 335429 | 330252 | 45758 15 | 20 | 3 905.25/905.43 c 902s | 18 | 336426 | 331252 | 45758 15 | 20 | 3 907.25/907.49 c 904s | 18 | 337433 | 332252 | 45758 15 | 20 | 3 909.35/909.54 c 906s | 18 | 338429 | 333252 | 45758 15 | 20 | 3 911.36/911.58 c 908s | 18 | 339446 | 334252 | 45758 15 | 20 | 3 913.46/913.64 c 910s | 18 | 340340 | 335152 | 45758 15 | 20 | 3 915.55/915.78 c 912s | 18 | 341552 | 336352 | 45758 15 | 20 | 3 917.75/917.96 c 915s | 18 | 342449 | 337252 | 45758 15 | 20 | 3 919.85/920.03 c 917s | 18 | 343754 | 338552 | 45758 15 | 20 | 3 921.85/922.07 c 919s | 18 | 344553 | 339352 | 45758 15 | 20 | 3 923.96/924.16 c 921s | 18 | 345560 | 340352 | 45758 15 | 20 | 3 926.25/926.40 c 923s | 18 | 346454 | 341252 | 45758 15 | 20 | 3 928.36/928.57 c 925s | 18 | 347161 | 341952 | 45758 15 | 20 | 3 930.35/930.57 c 927s | 18 | 347969 | 342752 | 45758 15 | 20 | 3 932.55/932.77 c 929s | 18 | 348979 | 343752 | 45758 15 | 20 | 3 934.75/934.93 c 932s | 18 | 349680 | 344452 | 45758 15 | 20 | 3 936.85/937.02 c 934s | 18 | 350373 | 345152 | 45758 15 | 20 | 3 939.05/939.21 c 936s | 18 | 351475 | 346252 | 45758 15 | 20 | 3 941.05/941.22 c 938s | 18 | 352181 | 346952 | 45758 15 | 20 | 3 943.15/943.32 c 940s | 18 | 352770 | 347552 | 45758 15 | 20 | 3 945.35/945.54 c 942s | 18 | 353983 | 348752 | 45758 15 | 20 | 3 947.65/947.88 c 945s | 18 | 354491 | 349252 | 45758 16 | 20 | 3 949.75/949.98 c 947s | 18 | 355376 | 350152 | 45758 16 | 20 | 3 951.95/952.13 c 949s | 18 | 356683 | 351452 | 45758 16 | 20 | 3 954.05/954.22 c 951s | 18 | 357788 | 352552 | 45758 16 | 20 | 3 956.25/956.44 c 953s | 18 | 358891 | 353652 | 45758 16 | 20 | 3 958.25/958.44 c 955s | 18 | 360000 | 354752 | 45758 16 | 20 | 3 960.35/960.51 c 957s | 18 | 360999 | 355752 | 45758 16 | 20 | 3 962.54/962.78 c 959s | 18 | 362097 | 356852 | 45758 16 | 20 | 3 964.74/964.97 c 962s | 18 | 363197 | 357952 | 45758 16 | 20 | 3 966.94/967.15 c 964s | 18 | 364306 | 359052 | 45758 16 | 20 | 3 969.05/969.27 c 966s | 18 | 365500 | 360252 | 45758 16 | 20 | 3 971.04/971.28 c 968s | 18 | 366604 | 361352 | 45758 16 | 20 | 3 973.14/973.31 c 970s | 18 | 367901 | 362652 | 45758 16 | 20 | 3 975.24/975.44 c 972s | 18 | 368812 | 363552 | 45758 16 | 20 | 3 977.34/977.51 c 974s | 18 | 369520 | 364252 | 45758 16 | 20 | 3 979.64/979.81 c 976s | 18 | 370413 | 365152 | 45758 16 | 20 | 3 981.94/982.10 c 979s | 18 | 371316 | 366052 | 45758 16 | 20 | 3 984.14/984.31 c 981s | 18 | 372122 | 366852 | 45758 16 | 20 | 3 986.24/986.40 c 983s | 18 | 372920 | 367652 | 45758 16 | 20 | 3 988.34/988.59 c 985s | 18 | 373716 | 368452 | 45758 16 | 20 | 3 990.54/990.78 c 987s | 18 | 374625 | 369352 | 45758 16 | 20 | 3 992.64/992.82 c 989s | 18 | 375623 | 370352 | 45758 16 | 20 | 3 994.84/995.06 c 992s | 18 | 376434 | 371152 | 45758 16 | 20 | 3 997.04/997.22 c 994s | 18 | 377238 | 371952 | 45758 16 | 20 | 3 999.14/999.36 c 996s | 18 | 378342 | 373052 | 45758 16 | 20 | 3 1001.24/1001.42 c 998s | 18 | 379343 | 374052 | 45758 16 | 20 | 3 1003.24/1003.45 c 1000s | 18 | 380242 | 374952 | 45758 16 | 20 | 3 1005.44/1005.63 c 1002s | 18 | 381150 | 375852 | 45758 16 | 20 | 3 1007.64/1007.82 c 1004s | 18 | 382250 | 376952 | 45758 16 | 20 | 3 1010.84/1011.07 c 1008s | 18 | 383054 | 377752 | 45758 17 | 20 | 3 1012.95/1013.13 c 1010s | 18 | 384357 | 379052 | 45758 17 | 20 | 3 1015.04/1015.20 c 1012s | 18 | 385762 | 380452 | 45758 17 | 20 | 3 1017.04/1017.27 c 1014s | 18 | 386961 | 381652 | 45758 17 | 20 | 3 1019.24/1019.45 c 1016s | 18 | 388173 | 382852 | 45758 17 | 20 | 3 1021.24/1021.49 c 1018s | 18 | 389073 | 383752 | 45758 17 | 20 | 3 1023.44/1023.66 c 1020s | 18 | 390069 | 384752 | 45758 17 | 20 | 3 1025.54/1025.74 c 1022s | 18 | 391172 | 385852 | 45758 17 | 20 | 3 1027.64/1027.84 c 1024s | 18 | 392386 | 387052 | 45758 17 | 20 | 3 1029.64/1029.87 c 1027s | 18 | 393582 | 388252 | 45758 17 | 20 | 3 1031.74/1031.98 c 1029s | 18 | 394783 | 389452 | 45758 17 | 20 | 3 1033.84/1034.10 c 1031s | 18 | 395790 | 390452 | 45758 17 | 20 | 3 1035.93/1036.16 c 1033s | 18 | 396598 | 391252 | 45758 17 | 20 | 3 1038.03/1038.27 c 1035s | 18 | 397298 | 391952 | 45758 17 | 20 | 3 1040.33/1040.54 c 1037s | 18 | 398100 | 392752 | 45758 17 | 20 | 3 1042.43/1042.67 c 1039s | 18 | 398707 | 393352 | 45758 17 | 20 | 3 1044.63/1044.89 c 1042s | 18 | 399296 | 393952 | 45758 17 | 20 | 3 1046.73/1046.97 c 1044s | 18 | 400094 | 394752 | 45758 17 | 20 | 3 1048.83/1049.02 c 1046s | 18 | 400895 | 395552 | 45758 17 | 20 | 3 1050.93/1051.17 c 1048s | 18 | 401800 | 396452 | 45758 17 | 20 | 3 1053.03/1053.26 c 1050s | 18 | 402900 | 397552 | 45758 17 | 20 | 3 1055.53/1055.79 c 1052s | 18 | 403706 | 398352 | 45758 17 | 20 | 3 1057.63/1057.88 c 1055s | 18 | 404208 | 398852 | 45758 17 | 20 | 3 1060.03/1060.24 c 1057s | 18 | 404910 | 399552 | 45758 17 | 20 | 3 1062.03/1062.25 c 1059s | 18 | 405813 | 400452 | 45758 17 | 20 | 3 1064.13/1064.30 c 1061s | 18 | 406716 | 401352 | 45758 17 | 20 | 3 1066.23/1066.45 c 1063s | 18 | 407916 | 402552 | 45758 17 | 20 | 3 1070.23/1070.47 c 1067s | 18 | 408327 | 402952 | 45758 18 | 20 | 3 1072.43/1072.62 c 1069s | 18 | 409227 | 403852 | 45758 18 | 20 | 3 1074.63/1074.84 c 1071s | 18 | 410329 | 404952 | 45758 18 | 20 | 3 1076.73/1076.95 c 1074s | 18 | 411033 | 405652 | 45758 18 | 20 | 3 1078.83/1079.05 c 1076s | 18 | 412031 | 406652 | 45758 18 | 20 | 3 1091.92/1092.18 c 1089s | 18 | 412835 | 407452 | 45758 18 | 20 | 3 1094.12/1094.36 c 1091s | 18 | 413731 | 408352 | 45758 18 | 20 | 3 1096.22/1096.41 c 1093s | 18 | 414347 | 408952 | 45758 18 | 20 | 3 1098.32/1098.54 c 1095s | 18 | 415041 | 409652 | 45758 18 | 20 | 3 1100.62/1100.86 c 1098s | 18 | 415733 | 410352 | 45758 18 | 20 | 3 1102.72/1102.90 c 1100s | 18 | 416647 | 411252 | 45758 18 | 20 | 3 1104.72/1104.94 c 1102s | 18 | 417447 | 412052 | 45758 18 | 20 | 3 1106.92/1107.15 c 1104s | 18 | 418343 | 412952 | 45758 18 | 20 | 3 1109.02/1109.28 c 1106s | 18 | 419336 | 413952 | 45758 18 | 20 | 3 1111.02/1111.29 c 1108s | 18 | 420445 | 415052 | 45758 18 | 20 | 3 1113.22/1113.40 c 1110s | 18 | 421654 | 416252 | 45758 18 | 20 | 3 1115.23/1115.49 c 1112s | 18 | 422954 | 417552 | 45758 18 | 20 | 3 1117.53/1117.76 c 1114s | 18 | 423668 | 418252 | 45758 18 | 20 | 3 1119.72/1119.97 c 1117s | 18 | 424365 | 418952 | 45758 18 | 20 | 3 1121.92/1122.14 c 1119s | 18 | 425172 | 419752 | 45758 18 | 20 | 3 1124.22/1124.41 c 1121s | 18 | 425674 | 420252 | 45758 18 | 20 | 3 1126.22/1126.43 c 1123s | 18 | 426378 | 420952 | 45758 18 | 20 | 3 1128.22/1128.44 c 1125s | 18 | 427184 | 421752 | 45758 18 | 20 | 3 1130.32/1130.57 c 1127s | 18 | 428177 | 422752 | 45758 18 | 20 | 3 1132.32/1132.59 c 1129s | 18 | 429185 | 423752 | 45758 18 | 20 | 3 1134.42/1134.67 c 1131s | 18 | 430087 | 424652 | 45758 18 | 20 | 3 1136.62/1136.85 c 1133s | 18 | 430694 | 425252 | 45758 18 | 20 | 3 1138.71/1138.98 c 1136s | 18 | 431301 | 425852 | 45758 18 | 20 | 3 1141.11/1141.35 c 1138s | 18 | 431995 | 426552 | 45758 18 | 20 | 3 1143.21/1143.49 c 1140s | 18 | 432490 | 427052 | 45758 18 | 20 | 3 1148.81/1149.06 c 1146s | 18 | 432598 | 427152 | 45758 19 | 20 | 3 1150.91/1151.11 c 1148s | 18 | 433702 | 428252 | 45758 19 | 20 | 3 1153.12/1153.36 c 1150s | 18 | 434503 | 429052 | 45758 19 | 20 | 3 1155.42/1155.62 c 1152s | 18 | 435699 | 430252 | 45758 19 | 20 | 3 1157.72/1157.95 c 1155s | 18 | 436512 | 431052 | 45758 19 | 20 | 3 1204.50/1204.71 c 1201s | 18 | 436715 | 431252 | 45758 19 | 20 | 3 1206.61/1206.82 c 1203s | 18 | 437711 | 432252 | 45758 19 | 20 | 3 1208.60/1208.85 c 1205s | 18 | 438401 | 432952 | 45758 19 | 20 | 3 1210.71/1210.96 c 1208s | 18 | 439210 | 433752 | 45758 19 | 20 | 3 1212.81/1213.07 c 1210s | 18 | 439814 | 434352 | 45758 19 | 20 | 3 1215.32/1215.54 c 1212s | 18 | 440419 | 434952 | 45758 19 | 20 | 3 1217.52/1217.74 c 1214s | 18 | 441124 | 435652 | 45758 19 | 20 | 3 1219.51/1219.75 c 1216s | 18 | 441826 | 436352 | 45758 19 | 20 | 3 1221.51/1221.78 c 1218s | 18 | 442425 | 436952 | 45758 19 | 20 | 3 1223.51/1223.79 c 1220s | 18 | 443225 | 437752 | 45758 19 | 20 | 3 1225.61/1225.82 c 1222s | 18 | 443928 | 438452 | 45758 19 | 20 | 3 1227.61/1227.85 c 1225s | 18 | 444727 | 439252 | 45758 19 | 20 | 3 1229.91/1230.10 c 1227s | 18 | 445427 | 439952 | 45758 19 | 20 | 3 1232.11/1232.31 c 1229s | 18 | 446333 | 440852 | 50334 19 | 20 | 3 1234.31/1234.54 c 1231s | 18 | 447129 | 441652 | 50334 19 | 20 | 3 1236.51/1236.73 c 1233s | 18 | 447840 | 442352 | 50334 19 | 20 | 3 1238.60/1238.84 c 1235s | 18 | 448536 | 443052 | 50334 19 | 20 | 3 1240.61/1240.84 c 1237s | 18 | 449342 | 443852 | 50334 19 | 20 | 3 1241.81/1242.06 c 1239s | 19 | 449969 | 444482 | 50334 19 | 20 | 3 1250.90/1251.14 c 1248s | 19 | 450111 | 444582 | 50334 19 | 20 | 3 1253.00/1253.28 c 1250s | 19 | 450394 | 444882 | 50334 19 | 20 | 3 1255.60/1255.87 c 1253s | 19 | 450916 | 445382 | 50334 19 | 20 | 3 1257.80/1258.03 c 1255s | 19 | 451498 | 445982 | 50334 19 | 20 | 3 1260.10/1260.37 c 1257s | 19 | 452002 | 446482 | 50334 19 | 20 | 3 1262.61/1262.87 c 1260s | 19 | 452501 | 446982 | 50334 19 | 20 | 3 1264.70/1264.94 c 1262s | 19 | 452898 | 447382 | 50334 19 | 20 | 3 1266.80/1267.02 c 1264s | 19 | 453315 | 447782 | 50334 19 | 20 | 3 1268.80/1269.09 c 1266s | 19 | 453818 | 448282 | 50334 19 | 20 | 3 1270.90/1271.10 c 1268s | 19 | 454724 | 449182 | 50334 19 | 20 | 3 1273.20/1273.46 c 1270s | 19 | 455522 | 449982 | 50334 19 | 20 | 3 1275.50/1275.70 c 1272s | 19 | 456115 | 450582 | 50334 19 | 20 | 3 1277.80/1278.04 c 1275s | 19 | 456722 | 451182 | 50334 19 | 20 | 3 1280.00/1280.22 c 1277s | 19 | 457315 | 451782 | 50334 19 | 20 | 3 1282.41/1282.62 c 1279s | 19 | 457833 | 452282 | 50334 19 | 20 | 3 1284.61/1284.89 c 1282s | 19 | 458323 | 452782 | 50334 19 | 20 | 3 1287.30/1287.55 c 1284s | 19 | 458821 | 453282 | 50334 19 | 20 | 3 1289.30/1289.59 c 1286s | 19 | 459349 | 453782 | 50334 19 | 20 | 3 1291.60/1291.89 c 1289s | 19 | 459960 | 454382 | 50334 19 | 20 | 3 1293.80/1294.04 c 1291s | 19 | 460458 | 454882 | 50334 19 | 20 | 3 1303.10/1303.34 c 1300s | 19 | 460651 | 455082 | 50334 20 | 20 | 3 1307.89/1308.10 c 1305s | 19 | 461183 | 455582 | 50334 20 | 20 | 3 1310.00/1310.27 c 1307s | 19 | 461901 | 456282 | 50334 20 | 20 | 3 1312.29/1312.56 c 1309s | 19 | 462935 | 457282 | 50334 20 | 20 | 3 1314.40/1314.65 c 1311s | 19 | 463447 | 457782 | 50334 20 | 20 | 3 1316.69/1316.97 c 1314s | 19 | 463959 | 458282 | 50334 20 | 20 | 3 1318.80/1319.04 c 1316s | 19 | 464982 | 459282 | 50334 20 | 20 | 3 1320.79/1321.10 c 1318s | 19 | 465692 | 459982 | 50334 20 | 20 | 3 1323.09/1323.34 c 1320s | 19 | 466203 | 460482 | 50334 20 | 20 | 3 1325.19/1325.40 c 1322s | 19 | 467250 | 461482 | 50334 20 | 20 | 3 1327.59/1327.82 c 1324s | 19 | 467875 | 462082 | 50334 20 | 20 | 3 1329.79/1330.05 c 1327s | 19 | 468483 | 462682 | 50334 20 | 20 | 3 1331.99/1332.26 c 1329s | 19 | 469394 | 463582 | 50334 20 | 20 | 3 1334.19/1334.43 c 1331s | 19 | 469908 | 464082 | 50334 20 | 20 | 3 1336.49/1336.74 c 1333s | 19 | 470827 | 464982 | 50334 20 | 20 | 3 1338.69/1338.98 c 1336s | 19 | 471431 | 465582 | 50334 20 | 20 | 3 1340.89/1341.14 c 1338s | 19 | 472338 | 466482 | 50334 20 | 20 | 3 1342.99/1343.23 c 1340s | 19 | 473236 | 467382 | 50334 20 | 20 | 3 1345.09/1345.35 c 1342s | 19 | 473935 | 468082 | 50334 20 | 20 | 3 1347.18/1347.50 c 1344s | 19 | 474748 | 468882 | 50334 20 | 20 | 3 1349.59/1349.81 c 1346s | 19 | 475495 | 469582 | 50334 20 | 20 | 3 1351.69/1351.92 c 1349s | 19 | 476313 | 470382 | 50334 20 | 20 | 3 1353.68/1353.99 c 1351s | 19 | 476838 | 470882 | 50334 20 | 20 | 3 1355.98/1356.21 c 1353s | 19 | 477542 | 471582 | 50334 20 | 20 | 3 1358.08/1358.31 c 1355s | 19 | 478440 | 472482 | 50334 20 | 20 | 3 1360.18/1360.42 c 1357s | 19 | 479250 | 473282 | 50334 20 | 20 | 3 1362.28/1362.54 c 1359s | 19 | 479847 | 473882 | 50334 20 | 20 | 3 1364.58/1364.80 c 1361s | 19 | 480543 | 474582 | 50334 20 | 20 | 3 1366.58/1366.88 c 1364s | 19 | 481239 | 475282 | 50334 20 | 20 | 3 1368.78/1369.08 c 1366s | 19 | 482040 | 476082 | 50334 20 | 20 | 3 1370.88/1371.11 c 1368s | 19 | 482946 | 476982 | 50334 20 | 20 | 3 1385.07/1385.37 c 1382s | 19 | 483667 | 477682 | 50334 20 | 20 | 3 1387.27/1387.59 c 1384s | 19 | 484473 | 478482 | 50334 20 | 20 | 3 1389.47/1389.75 c 1386s | 19 | 485070 | 479082 | 50334 20 | 20 | 3 1391.77/1392.04 c 1389s | 19 | 485669 | 479682 | 50334 20 | 20 | 3 1393.87/1394.18 c 1391s | 19 | 486166 | 480182 | 50334 20 | 20 | 3 1396.37/1396.63 c 1393s | 19 | 486669 | 480682 | 50334 20 | 20 | 3 1398.47/1398.70 c 1395s | 19 | 487281 | 481282 | 50334 20 | 20 | 3 1400.57/1400.86 c 1398s | 19 | 487974 | 481982 | 50334 20 | 20 | 3 1402.77/1403.07 c 1400s | 19 | 488468 | 482482 | 50334 20 | 20 | 3 1406.98/1407.20 c 1404s | 19 | 488975 | 482982 | 50334 21 | 20 | 3 1409.28/1409.58 c 1406s | 19 | 489684 | 483682 | 50334 21 | 20 | 3 1417.78/1418.08 c 1415s | 19 | 489887 | 483882 | 50334 21 | 20 | 3 1419.98/1420.25 c 1417s | 19 | 490672 | 484682 | 50334 21 | 20 | 3 1422.08/1422.35 c 1419s | 19 | 491486 | 485482 | 50334 21 | 20 | 3 1424.07/1424.37 c 1421s | 19 | 492590 | 486582 | 50334 21 | 20 | 3 1426.17/1426.48 c 1423s | 19 | 493697 | 487682 | 50334 21 | 20 | 3 1428.27/1428.53 c 1425s | 19 | 494600 | 488582 | 50334 21 | 20 | 3 1430.37/1430.68 c 1427s | 19 | 495701 | 489682 | 50334 21 | 20 | 3 1432.47/1432.74 c 1429s | 19 | 496917 | 490882 | 50334 21 | 20 | 3 1434.47/1434.79 c 1431s | 19 | 497719 | 491682 | 50334 21 | 20 | 3 1436.57/1436.80 c 1433s | 19 | 498812 | 492782 | 50334 21 | 20 | 3 1438.68/1438.92 c 1436s | 19 | 499625 | 493582 | 50334 21 | 20 | 3 1440.97/1441.20 c 1438s | 19 | 500328 | 494282 | 50334 21 | 20 | 3 1443.47/1443.75 c 1440s | 19 | 500634 | 494582 | 50334 21 | 20 | 3 1445.47/1445.77 c 1442s | 19 | 501624 | 495582 | 50334 21 | 20 | 3 1447.57/1447.80 c 1444s | 19 | 502327 | 496282 | 50334 21 | 20 | 3 1449.57/1449.83 c 1446s | 19 | 502940 | 496882 | 50334 21 | 20 | 3 1451.57/1451.85 c 1449s | 19 | 503433 | 497382 | 50334 21 | 20 | 3 1453.77/1454.04 c 1451s | 19 | 504138 | 498082 | 50334 21 | 20 | 3 1455.77/1456.09 c 1453s | 19 | 505045 | 498982 | 50334 21 | 20 | 3 1457.87/1458.18 c 1455s | 19 | 505636 | 499582 | 50334 21 | 20 | 3 1460.27/1460.51 c 1457s | 19 | 506255 | 500182 | 50334 21 | 20 | 3 1462.46/1462.70 c 1459s | 19 | 506746 | 500682 | 50334 21 | 20 | 3 1464.56/1464.86 c 1462s | 19 | 507752 | 501682 | 50334 21 | 20 | 3 1466.86/1467.12 c 1464s | 19 | 508448 | 502382 | 50334 21 | 20 | 3 1469.16/1469.44 c 1466s | 19 | 509056 | 502982 | 50334 21 | 20 | 3 1471.57/1471.87 c 1469s | 19 | 509651 | 503582 | 50334 21 | 20 | 3 1473.77/1474.05 c 1471s | 19 | 510657 | 504582 | 50334 21 | 20 | 3 1476.07/1476.32 c 1473s | 19 | 511357 | 505282 | 50334 21 | 20 | 3 1478.46/1478.76 c 1475s | 19 | 511957 | 505882 | 50334 21 | 20 | 3 1480.56/1480.81 c 1477s | 19 | 512865 | 506782 | 50334 21 | 20 | 3 1482.86/1483.15 c 1480s | 19 | 513558 | 507482 | 50334 21 | 20 | 3 1484.96/1485.27 c 1482s | 19 | 514063 | 507982 | 50334 21 | 20 | 3 1487.07/1487.30 c 1484s | 19 | 514866 | 508782 | 50334 21 | 20 | 3 1489.17/1489.44 c 1486s | 19 | 515463 | 509382 | 50334 21 | 20 | 3 1491.26/1491.55 c 1488s | 19 | 516174 | 510082 | 50334 21 | 20 | 3 1493.46/1493.70 c 1490s | 19 | 516874 | 510782 | 50334 21 | 20 | 3 1496.17/1496.44 c 1493s | 19 | 517273 | 511182 | 50334 22 | 20 | 3 1498.17/1498.48 c 1495s | 19 | 518281 | 512182 | 50334 22 | 20 | 3 1500.27/1500.57 c 1497s | 19 | 519177 | 513082 | 50334 22 | 20 | 3 1502.37/1502.62 c 1499s | 19 | 520085 | 513982 | 50334 22 | 20 | 3 1504.57/1504.89 c 1502s | 19 | 520976 | 514882 | 50334 22 | 20 | 3 1506.77/1507.04 c 1504s | 19 | 522189 | 516082 | 50334 22 | 20 | 3 1508.97/1509.26 c 1506s | 19 | 523381 | 517282 | 50334 22 | 20 | 3 1513.66/1513.96 c 1511s | 19 | 524803 | 518682 | 50334 22 | 20 | 3 1515.67/1515.99 c 1513s | 19 | 525595 | 519482 | 50334 22 | 20 | 3 1517.96/1518.25 c 1515s | 19 | 526292 | 520182 | 50334 22 | 20 | 3 1519.97/1520.29 c 1517s | 19 | 527099 | 520982 | 50334 22 | 20 | 3 1522.27/1522.51 c 1519s | 19 | 527808 | 521682 | 50334 22 | 20 | 3 1524.26/1524.57 c 1521s | 19 | 528601 | 522482 | 50334 22 | 20 | 3 1526.36/1526.62 c 1523s | 19 | 529306 | 523182 | 50334 22 | 20 | 3 1528.46/1528.76 c 1525s | 19 | 530109 | 523982 | 50334 22 | 20 | 3 1530.56/1530.81 c 1527s | 19 | 530706 | 524582 | 50334 22 | 20 | 3 1532.56/1532.81 c 1529s | 19 | 531807 | 525682 | 50334 22 | 20 | 3 1534.56/1534.85 c 1531s | 19 | 532809 | 526682 | 50334 22 | 20 | 3 1536.66/1536.92 c 1534s | 19 | 533921 | 527782 | 50334 22 | 20 | 3 1538.66/1538.97 c 1536s | 19 | 535022 | 528882 | 50334 22 | 20 | 3 1540.76/1541.03 c 1538s | 19 | 535928 | 529782 | 50334 22 | 20 | 3 1542.86/1543.17 c 1540s | 19 | 536544 | 530382 | 50334 22 | 20 | 3 1544.96/1545.24 c 1542s | 19 | 537248 | 531082 | 50334 22 | 20 | 3 1547.06/1547.34 c 1544s | 19 | 537940 | 531782 | 50334 22 | 20 | 3 1549.16/1549.47 c 1546s | 19 | 538747 | 532582 | 50334 22 | 20 | 3 1551.26/1551.52 c 1548s | 19 | 539747 | 533582 | 50334 22 | 20 | 3 1553.45/1553.72 c 1550s | 19 | 540853 | 534682 | 50334 22 | 20 | 3 1555.45/1555.76 c 1552s | 19 | 542153 | 535982 | 50334 22 | 20 | 3 1557.55/1557.86 c 1555s | 19 | 542866 | 536682 | 50334 22 | 20 | 3 1559.75/1560.01 c 1557s | 19 | 543661 | 537482 | 50334 22 | 20 | 3 1561.86/1562.14 c 1559s | 19 | 544564 | 538382 | 50334 22 | 20 | 3 1563.96/1564.23 c 1561s | 19 | 545262 | 539082 | 50334 22 | 20 | 3 1566.16/1566.42 c 1563s | 19 | 546072 | 539882 | 50334 22 | 20 | 3 1568.25/1568.60 c 1565s | 19 | 546971 | 540782 | 50334 22 | 20 | 3 1571.85/1572.14 c 1569s | 19 | 547482 | 541282 | 50334 23 | 20 | 3 1573.96/1574.21 c 1571s | 19 | 548477 | 542282 | 50334 23 | 20 | 3 1575.95/1576.23 c 1573s | 19 | 549589 | 543382 | 50334 23 | 20 | 3 1578.05/1578.30 c 1575s | 19 | 550542 | 544282 | 50334 23 | 20 | 3 1580.05/1580.32 c 1577s | 19 | 551243 | 544982 | 50334 23 | 20 | 3 1582.15/1582.50 c 1579s | 19 | 552149 | 545882 | 50334 23 | 20 | 3 1584.25/1584.53 c 1581s | 19 | 553161 | 546882 | 50334 23 | 20 | 3 1586.35/1586.67 c 1583s | 19 | 554462 | 548182 | 50334 23 | 20 | 3 1588.45/1588.72 c 1585s | 19 | 555099 | 548782 | 50334 23 | 20 | 3 1590.55/1590.88 c 1588s | 19 | 555995 | 549682 | 50334 23 | 20 | 3 1592.74/1593.01 c 1590s | 19 | 556801 | 550482 | 50334 23 | 20 | 3 1594.75/1595.09 c 1592s | 19 | 557705 | 551382 | 50334 23 | 20 | 3 1596.95/1597.28 c 1594s | 19 | 558509 | 552182 | 50334 23 | 20 | 3 1599.15/1599.43 c 1596s | 19 | 559306 | 552982 | 50334 23 | 20 | 3 1601.35/1601.67 c 1598s | 19 | 560013 | 553682 | 50334 23 | 20 | 3 1603.44/1603.74 c 1600s | 19 | 560604 | 554282 | 50334 23 | 20 | 3 1605.75/1606.05 c 1603s | 19 | 561108 | 554782 | 50334 23 | 20 | 3 1607.84/1608.17 c 1605s | 19 | 561809 | 555482 | 50334 23 | 20 | 3 1610.04/1610.36 c 1607s | 19 | 562610 | 556282 | 50334 23 | 20 | 3 1612.24/1612.51 c 1609s | 19 | 563508 | 557182 | 50334 23 | 20 | 3 1614.44/1614.72 c 1611s | 19 | 564215 | 557882 | 50334 23 | 20 | 3 1616.94/1617.27 c 1614s | 19 | 564825 | 558482 | 50334 23 | 20 | 3 1619.24/1619.52 c 1616s | 19 | 565132 | 558782 | 50334 23 | 20 | 3 1621.64/1621.91 c 1619s | 19 | 565734 | 559382 | 50334 23 | 20 | 3 1623.94/1624.29 c 1621s | 19 | 566231 | 559882 | 50334 23 | 20 | 3 1626.34/1626.62 c 1623s | 19 | 566941 | 560582 | 50334 23 | 20 | 3 1628.64/1628.90 c 1626s | 19 | 568039 | 561682 | 50334 23 | 20 | 3 1630.84/1631.10 c 1628s | 19 | 568746 | 562382 | 50334 23 | 20 | 3 1632.94/1633.26 c 1630s | 19 | 569347 | 562982 | 50334 23 | 20 | 3 1635.24/1635.52 c 1632s | 19 | 570147 | 563782 | 50334 23 | 20 | 3 1637.44/1637.77 c 1634s | 19 | 571045 | 564682 | 50334 23 | 20 | 3 1639.54/1639.85 c 1637s | 19 | 571957 | 565582 | 50334 23 | 20 | 3 1641.94/1642.23 c 1639s | 19 | 572253 | 565882 | 50334 23 | 20 | 3 1644.24/1644.52 c 1641s | 19 | 572740 | 566282 | 50334 23 | 20 | 3 1646.54/1646.87 c 1644s | 19 | 573049 | 566582 | 50334 23 | 20 | 3 1648.94/1649.26 c 1646s | 19 | 573534 | 567082 | 50334 23 | 20 | 3 1651.04/1651.31 c 1648s | 19 | 573839 | 567382 | 50334 23 | 20 | 3 1653.33/1653.66 c 1650s | 19 | 574337 | 567882 | 50334 23 | 20 | 3 1657.74/1658.04 c 1655s | 19 | 574550 | 568082 | 50334 24 | 20 | 3 1659.84/1660.10 c 1657s | 19 | 575345 | 568882 | 50334 24 | 20 | 3 1661.94/1662.26 c 1659s | 19 | 576644 | 570182 | 50334 24 | 20 | 3 1663.94/1664.27 c 1661s | 19 | 578145 | 571682 | 50334 24 | 20 | 3 1666.03/1666.31 c 1663s | 19 | 578853 | 572382 | 50334 24 | 20 | 3 1668.13/1668.43 c 1665s | 19 | 579853 | 573382 | 50334 24 | 20 | 3 1670.23/1670.53 c 1667s | 19 | 580650 | 574182 | 50334 24 | 20 | 3 1702.13/1702.45 c 1699s | 19 | 581367 | 574882 | 50334 24 | 20 | 3 1704.23/1704.54 c 1701s | 19 | 582259 | 575782 | 50334 24 | 20 | 3 1706.43/1706.71 c 1703s | 19 | 582967 | 576482 | 50334 24 | 20 | 3 1708.53/1708.89 c 1706s | 19 | 583563 | 577082 | 50334 24 | 20 | 3 1710.83/1711.12 c 1708s | 19 | 584429 | 577882 | 50334 24 | 20 | 3 1713.03/1713.34 c 1710s | 19 | 584925 | 578382 | 50334 24 | 20 | 3 1715.23/1715.58 c 1712s | 19 | 585744 | 579182 | 50334 24 | 20 | 3 1717.43/1717.71 c 1714s | 19 | 586434 | 579882 | 50334 24 | 20 | 3 1719.43/1719.78 c 1716s | 19 | 587442 | 580882 | 50334 24 | 20 | 3 1721.53/1721.86 c 1719s | 19 | 588247 | 581682 | 50334 24 | 20 | 3 1723.63/1723.92 c 1721s | 19 | 588942 | 582382 | 50334 24 | 20 | 3 1725.83/1726.15 c 1723s | 19 | 589945 | 583382 | 50334 24 | 20 | 3 1727.94/1728.28 c 1725s | 19 | 590948 | 584382 | 50334 24 | 20 | 3 1730.04/1730.32 c 1727s | 19 | 591655 | 585082 | 50334 24 | 20 | 3 1732.24/1732.58 c 1729s | 19 | 592458 | 585882 | 50334 24 | 20 | 3 1735.03/1735.33 c 1732s | 19 | 592950 | 586382 | 50334 24 | 20 | 3 1737.23/1737.55 c 1734s | 19 | 593359 | 586782 | 50334 24 | 20 | 3 1739.43/1739.71 c 1736s | 19 | 593869 | 587282 | 50334 24 | 20 | 3 1741.63/1741.98 c 1739s | 19 | 594265 | 587682 | 50334 24 | 20 | 3 1743.73/1744.01 c 1741s | 19 | 594660 | 588082 | 50334 24 | 20 | 3 1745.73/1746.04 c 1743s | 19 | 595160 | 588582 | 50334 24 | 20 | 3 1748.12/1748.44 c 1745s | 19 | 595559 | 588982 | 50334 24 | 20 | 3 1750.32/1750.62 c 1747s | 19 | 596172 | 589582 | 50334 24 | 20 | 3 1752.62/1752.97 c 1750s | 19 | 596662 | 590082 | 50334 24 | 20 | 3 1754.72/1755.02 c 1752s | 19 | 597262 | 590682 | 50334 24 | 20 | 3 1756.72/1757.06 c 1754s | 19 | 597983 | 591382 | 50334 24 | 20 | 3 1758.82/1759.11 c 1756s | 19 | 598676 | 592082 | 50334 24 | 20 | 3 1761.02/1761.36 c 1758s | 19 | 599486 | 592882 | 50334 24 | 20 | 3 1763.13/1763.44 c 1760s | 19 | 600078 | 593482 | 50334 24 | 20 | 3 1765.23/1765.60 c 1762s | 19 | 600779 | 594182 | 50334 24 | 20 | 3 1767.32/1767.70 c 1764s | 19 | 601481 | 594882 | 50334 24 | 20 | 3 1769.42/1769.74 c 1766s | 19 | 602181 | 595582 | 50334 24 | 20 | 3 1773.72/1774.09 c 1771s | 19 | 603308 | 596682 | 50334 25 | 20 | 3
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-4119924-1467279608/watcher-4119924-1467279608 -o /tmp/evaluation-result-4119924-1467279608/solver-4119924-1467279608 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467272299-13059 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119924-1467279608.opb pid=13805 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.28 2.22 2.19 3/180 13808 /proc/meminfo: memFree=28630112/32872528 swapFree=1254912/1391860 [pid=13808] ppid=13805 vsize=717380 CPUtime=0 cores=1,3,5,7 /proc/13808/stat : 13808 (toysat) R 13805 13808 12742 0 -1 4202496 2677 0 0 0 0 0 0 0 20 0 4 0 8921678 734597120 3038 33554432000 4194304 16246674 140734783779632 140734783779056 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13808/statm: 180113 3048 442 2943 0 177007 0 [pid=13808/tid=13809] ppid=13805 vsize=735812 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13809/stat : 13809 (toysat) S 13805 13808 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8921678 753471488 3110 33554432000 4194304 16246674 140734783779632 140071550299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13808/tid=13810] ppid=13805 vsize=740932 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13810/stat : 13810 (toysat) S 13805 13808 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8921678 758714368 3126 33554432000 4194304 16246674 140734783779632 140071539809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13808/tid=13811] ppid=13805 vsize=744004 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13811/stat : 13811 (toysat) S 13805 13808 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8921678 761860096 3142 33554432000 4194304 16246674 140734783779632 140071529335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100176 s] /proc/loadavg: 2.28 2.22 2.19 3/180 13808 /proc/meminfo: memFree=28630112/32872528 swapFree=1254912/1391860 [pid=13808] ppid=13805 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/13808/stat : 13808 (toysat) R 13805 13808 12742 0 -1 4202496 29470 0 0 0 5 4 0 0 20 0 4 0 8921678 1333334016 29770 33554432000 4194304 16246674 140734783779632 140734783778944 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13808/statm: 325521 29786 801 2943 0 322415 0 [pid=13808/tid=13809] ppid=13805 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13809/stat : 13809 (toysat) S 13805 13808 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8921678 1333334016 29798 33554432000 4194304 16246674 140734783779632 140071550299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13808/tid=13810] ppid=13805 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13810/stat : 13810 (toysat) S 13805 13808 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8921678 1333334016 29807 33554432000 4194304 16246674 140734783779632 140071539809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13808/tid=13811] ppid=13805 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13811/stat : 13811 (toysat) S 13805 13808 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8921678 1333334016 29818 33554432000 4194304 16246674 140734783779632 140071529335984 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.200548 s] /proc/loadavg: 2.28 2.22 2.19 3/180 13808 /proc/meminfo: memFree=28630112/32872528 swapFree=1254912/1391860 [pid=13808] ppid=13805 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/13808/stat : 13808 (toysat) R 13805 13808 12742 0 -1 4202496 46849 0 0 0 12 7 0 0 20 0 4 0 8921678 1344868352 47659 33554432000 4194304 16246674 140734783779632 140734783778944 7361544 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13808/statm: 328337 47659 801 2943 0 325231 0 [pid=13808/tid=13809] ppid=13805 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13809/stat : 13809 (toysat) S 13805 13808 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8921678 1344868352 47659 33554432000 4194304 16246674 140734783779632 140071550299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13808/tid=13810] ppid=13805 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13810/stat : 13810 (toysat) S 13805 13808 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8921678 1344868352 47659 33554432000 4194304 16246674 140734783779632 140071539809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13808/tid=13811] ppid=13805 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13811/stat : 13811 (toysat) S 13805 13808 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8921678 1344868352 47659 33554432000 4194304 16246674 140734783779632 140071529335984 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.300503 s] /proc/loadavg: 2.28 2.22 2.19 3/180 13808 /proc/meminfo: memFree=28630112/32872528 swapFree=1254912/1391860 [pid=13808] ppid=13805 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/13808/stat : 13808 (toysat) R 13805 13808 12742 0 -1 4202496 49788 0 0 0 22 7 0 0 20 0 4 0 8921678 1344868352 50599 33554432000 4194304 16246674 140734783779632 140734783778944 12429797 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13808/statm: 328337 50617 834 2943 0 325231 0 [pid=13808/tid=13809] ppid=13805 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13809/stat : 13809 (toysat) S 13805 13808 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8921678 1344868352 50628 33554432000 4194304 16246674 140734783779632 140071550299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13808/tid=13810] ppid=13805 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13810/stat : 13810 (toysat) S 13805 13808 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8921678 1344868352 50638 33554432000 4194304 16246674 140734783779632 140071539809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13808/tid=13811] ppid=13805 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13811/stat : 13811 (toysat) S 13805 13808 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8921678 1344868352 50644 33554432000 4194304 16246674 140734783779632 140071529335984 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.700418 s] /proc/loadavg: 2.28 2.22 2.19 3/180 13808 /proc/meminfo: memFree=28630112/32872528 swapFree=1254912/1391860 [pid=13808] ppid=13805 vsize=1323588 CPUtime=0.69 cores=1,3,5,7 /proc/13808/stat : 13808 (toysat) R 13805 13808 12742 0 -1 4202496 82575 0 0 0 58 11 0 0 20 0 4 0 8921678 1355354112 83385 33554432000 4194304 16246674 140734783779632 140734783778944 4220580 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13808/statm: 330897 83385 910 2943 0 327791 0 [pid=13808/tid=13809] ppid=13805 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13809/stat : 13809 (toysat) S 13805 13808 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8921678 1355354112 83385 33554432000 4194304 16246674 140734783779632 140071550299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13808/tid=13810] ppid=13805 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13810/stat : 13810 (toysat) S 13805 13808 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8921678 1355354112 83385 33554432000 4194304 16246674 140734783779632 140071539809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13808/tid=13811] ppid=13805 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13811/stat : 13811 (toysat) S 13805 13808 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8921678 1355354112 83385 33554432000 4194304 16246674 140734783779632 140071529335984 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) 1323588 [startup+1.50041 s] /proc/loadavg: 2.26 2.22 2.19 3/184 13812 /proc/meminfo: memFree=28297732/32872528 swapFree=1254912/1391860 [pid=13808] ppid=13805 vsize=1323588 CPUtime=1.49 cores=1,3,5,7 /proc/13808/stat : 13808 (toysat) R 13805 13808 12742 0 -1 4202496 82583 0 0 0 138 11 0 0 20 0 4 0 8921678 1355354112 83393 33554432000 4194304 16246674 140734783779632 140734783761536 5711952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13808/statm: 330897 83393 915 2943 0 327791 0 [pid=13808/tid=13809] ppid=13805 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13809/stat : 13809 (toysat) S 13805 13808 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8921678 1355354112 83393 33554432000 4194304 16246674 140734783779632 140071550299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13808/tid=13810] ppid=13805 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13810/stat : 13810 (toysat) S 13805 13808 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8921678 1355354112 83393 33554432000 4194304 16246674 140734783779632 140071539809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13808/tid=13811] ppid=13805 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13811/stat : 13811 (toysat) S 13805 13808 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8921678 1355354112 83393 33554432000 4194304 16246674 140734783779632 140071529335984 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) 1323588 [startup+3.10043 s] /proc/loadavg: 2.26 2.22 2.19 3/184 13812 /proc/meminfo: memFree=28297360/32872528 swapFree=1254912/1391860 [pid=13808] ppid=13805 vsize=1323588 CPUtime=3.09 cores=1,3,5,7 /proc/13808/stat : 13808 (toysat) R 13805 13808 12742 0 -1 4202496 82583 0 0 0 298 11 0 0 20 0 4 0 8921678 1355354112 83393 33554432000 4194304 16246674 140734783779632 140734783761536 6837050 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13808/statm: 330897 83393 915 2943 0 327791 0 [pid=13808/tid=13809] ppid=13805 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13809/stat : 13809 (toysat) S 13805 13808 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8921678 1355354112 83393 33554432000 4194304 16246674 140734783779632 140071550299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13808/tid=13810] ppid=13805 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13810/stat : 13810 (toysat) S 13805 13808 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8921678 1355354112 83393 33554432000 4194304 16246674 140734783779632 140071539809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13808/tid=13811] ppid=13805 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13811/stat : 13811 (toysat) S 13805 13808 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8921678 1355354112 83393 33554432000 4194304 16246674 140734783779632 140071529335984 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) 1323588 [startup+6.30039 s] /proc/loadavg: 2.26 2.22 2.19 3/184 13812 /proc/meminfo: memFree=28139196/32872528 swapFree=1254912/1391860 [pid=13808] ppid=13805 vsize=1323588 CPUtime=6.29 cores=1,3,5,7 /proc/13808/stat : 13808 (toysat) R 13805 13808 12742 0 -1 4202496 196190 0 0 0 603 26 0 0 20 0 4 0 8921678 1355354112 197000 33554432000 4194304 16246674 140734783779632 140734783761536 5662075 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13808/statm: 330897 197007 915 2943 0 327791 0 [pid=13808/tid=13809] ppid=13805 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13809/stat : 13809 (toysat) S 13805 13808 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8921678 1355354112 197010 33554432000 4194304 16246674 140734783779632 140071550299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13808/tid=13810] ppid=13805 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13810/stat : 13810 (toysat) S 13805 13808 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8921678 1355354112 197014 33554432000 4194304 16246674 140734783779632 140071539809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13808/tid=13811] ppid=13805 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13811/stat : 13811 (toysat) S 13805 13808 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8921678 1355354112 197018 33554432000 4194304 16246674 140734783779632 140071529335984 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) 1323588 [startup+12.7004 s] /proc/loadavg: 2.29 2.22 2.19 3/184 13812 /proc/meminfo: memFree=27541912/32872528 swapFree=1254912/1391860 [pid=13808] ppid=13805 vsize=1323588 CPUtime=12.69 cores=1,3,5,7 /proc/13808/stat : 13808 (toysat) R 13805 13808 12742 0 -1 4202496 271600 0 0 0 1232 37 0 0 20 0 4 0 8921678 1355354112 272410 33554432000 4194304 16246674 140734783779632 140734783761536 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13808/statm: 330897 272410 915 2943 0 327791 0 [pid=13808/tid=13809] ppid=13805 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13809/stat : 13809 (toysat) S 13805 13808 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8921678 1355354112 272410 33554432000 4194304 16246674 140734783779632 140071550299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13808/tid=13810] ppid=13805 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13810/stat : 13810 (toysat) S 13805 13808 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8921678 1355354112 272410 33554432000 4194304 16246674 140734783779632 140071539809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13808/tid=13811] ppid=13805 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13811/stat : 13811 (toysat) S 13805 13808 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8921678 1355354112 272410 33554432000 4194304 16246674 140734783779632 140071529335984 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) 1323588 [startup+25.5005 s] /proc/loadavg: 2.40 2.25 2.20 3/184 13812 /proc/meminfo: memFree=27542424/32872528 swapFree=1254912/1391860 [pid=13808] ppid=13805 vsize=1323588 CPUtime=25.49 cores=1,3,5,7 /proc/13808/stat : 13808 (toysat) R 13805 13808 12742 0 -1 4202496 271600 0 0 0 2512 37 0 0 20 0 4 0 8921678 1355354112 272410 33554432000 4194304 16246674 140734783779632 140734783761536 5599968 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13808/statm: 330897 272410 915 2943 0 327791 0 [pid=13808/tid=13809] ppid=13805 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13809/stat : 13809 (toysat) S 13805 13808 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8921678 1355354112 272410 33554432000 4194304 16246674 140734783779632 140071550299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13808/tid=13810] ppid=13805 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13810/stat : 13810 (toysat) S 13805 13808 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8921678 1355354112 272410 33554432000 4194304 16246674 140734783779632 140071539809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13808/tid=13811] ppid=13805 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13811/stat : 13811 (toysat) S 13805 13808 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8921678 1355354112 272410 33554432000 4194304 16246674 140734783779632 140071529335984 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) 1323588 [startup+51.1005 s] /proc/loadavg: 2.33 2.24 2.19 3/184 13812 /proc/meminfo: memFree=27542924/32872528 swapFree=1254912/1391860 [pid=13808] ppid=13805 vsize=1323588 CPUtime=51.08 cores=1,3,5,7 /proc/13808/stat : 13808 (toysat) R 13805 13808 12742 0 -1 4202496 271605 0 0 0 5071 37 0 0 20 0 4 0 8921678 1355354112 272415 33554432000 4194304 16246674 140734783779632 140734783777472 4206877 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13808/statm: 330897 272415 920 2943 0 327791 0 [pid=13808/tid=13809] ppid=13805 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13809/stat : 13809 (toysat) S 13805 13808 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8921678 1355354112 272415 33554432000 4194304 16246674 140734783779632 140071550299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13808/tid=13810] ppid=13805 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13810/stat : 13810 (toysat) S 13805 13808 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8921678 1355354112 272415 33554432000 4194304 16246674 140734783779632 140071539809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13808/tid=13811] ppid=13805 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13811/stat : 13811 (toysat) S 13805 13808 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8921678 1355354112 272415 33554432000 4194304 16246674 140734783779632 140071529335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1323588 [startup+102.3 s] /proc/loadavg: 2.17 2.21 2.18 3/183 13813 /proc/meminfo: memFree=27193760/32872528 swapFree=1254912/1391860 [pid=13808] ppid=13805 vsize=1329732 CPUtime=102.28 cores=1,3,5,7 /proc/13808/stat : 13808 (toysat) R 13805 13808 12742 0 -1 4202496 273142 0 0 0 10190 38 0 0 20 0 4 0 8921678 1361645568 273952 33554432000 4194304 16246674 140734783779632 140734783761536 5598799 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13808/statm: 332433 273952 921 2943 0 329327 0 [pid=13808/tid=13809] ppid=13805 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13809/stat : 13809 (toysat) S 13805 13808 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8921678 1361645568 273952 33554432000 4194304 16246674 140734783779632 140071550299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13808/tid=13810] ppid=13805 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13810/stat : 13810 (toysat) S 13805 13808 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8921678 1361645568 273952 33554432000 4194304 16246674 140734783779632 140071539809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13808/tid=13811] ppid=13805 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13811/stat : 13811 (toysat) S 13805 13808 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8921678 1361645568 273952 33554432000 4194304 16246674 140734783779632 140071529335984 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) 1329732 ################ # More data... # ################ /proc/13808/task/13811/stat : 13811 (toysat) S 13805 13808 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140071529335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 1397316 [startup+1362.3 s] /proc/loadavg: 2.12 2.18 2.17 3/183 13868 /proc/meminfo: memFree=26234032/32872528 swapFree=1254912/1391860 [pid=13808] ppid=13805 vsize=1397316 CPUtime=1362.08 cores=1,3,5,7 /proc/13808/stat : 13808 (toysat) R 13805 13808 12742 0 -1 4202496 290038 0 0 0 136148 60 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140734783761536 5824003 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13808/statm: 349329 290848 921 2943 0 346223 0 [pid=13808/tid=13809] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13809/stat : 13809 (toysat) S 13805 13808 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140071550299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13808/tid=13810] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13810/stat : 13810 (toysat) S 13805 13808 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140071539809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13808/tid=13811] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13811/stat : 13811 (toysat) S 13805 13808 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140071529335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 1397316 [startup+1422.3 s] /proc/loadavg: 2.14 2.17 2.17 3/183 13869 /proc/meminfo: memFree=26182964/32872528 swapFree=1254912/1391860 [pid=13808] ppid=13805 vsize=1397316 CPUtime=1422.08 cores=1,3,5,7 /proc/13808/stat : 13808 (toysat) R 13805 13808 12742 0 -1 4202496 290038 0 0 0 142145 63 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140734783761536 5663142 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13808/statm: 349329 290848 921 2943 0 346223 0 [pid=13808/tid=13809] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13809/stat : 13809 (toysat) S 13805 13808 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140071550299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13808/tid=13810] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13810/stat : 13810 (toysat) S 13805 13808 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140071539809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13808/tid=13811] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13811/stat : 13811 (toysat) S 13805 13808 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140071529335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1422.08 Current children cumulated vsize (KiB) 1397316 [startup+1482.3 s] /proc/loadavg: 2.30 2.21 2.18 3/183 13870 /proc/meminfo: memFree=26103144/32872528 swapFree=1254912/1391860 [pid=13808] ppid=13805 vsize=1397316 CPUtime=1482.06 cores=1,3,5,7 /proc/13808/stat : 13808 (toysat) R 13805 13808 12742 0 -1 4202496 290038 0 0 0 148143 63 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140734783761536 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13808/statm: 349329 290848 921 2943 0 346223 0 [pid=13808/tid=13809] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13809/stat : 13809 (toysat) S 13805 13808 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140071550299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13808/tid=13810] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13810/stat : 13810 (toysat) S 13805 13808 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140071539809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13808/tid=13811] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13811/stat : 13811 (toysat) S 13805 13808 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140071529335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 1397316 [startup+1542.31 s] /proc/loadavg: 2.20 2.20 2.18 3/183 13872 /proc/meminfo: memFree=26103284/32872528 swapFree=1254912/1391860 [pid=13808] ppid=13805 vsize=1397316 CPUtime=1542.06 cores=1,3,5,7 /proc/13808/stat : 13808 (toysat) R 13805 13808 12742 0 -1 4202496 290038 0 0 0 154142 64 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140734783761536 12483578 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13808/statm: 349329 290848 921 2943 0 346223 0 [pid=13808/tid=13809] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13809/stat : 13809 (toysat) S 13805 13808 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140071550299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13808/tid=13810] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13810/stat : 13810 (toysat) S 13805 13808 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140071539809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13808/tid=13811] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13811/stat : 13811 (toysat) S 13805 13808 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140071529335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1542.06 Current children cumulated vsize (KiB) 1397316 [startup+1602.3 s] /proc/loadavg: 2.10 2.17 2.17 4/183 13873 /proc/meminfo: memFree=26059292/32872528 swapFree=1254912/1391860 [pid=13808] ppid=13805 vsize=1397316 CPUtime=1602.04 cores=1,3,5,7 /proc/13808/stat : 13808 (toysat) R 13805 13808 12742 0 -1 4202496 290038 0 0 0 160140 64 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140734783761536 5823234 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13808/statm: 349329 290848 921 2943 0 346223 0 [pid=13808/tid=13809] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13809/stat : 13809 (toysat) S 13805 13808 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140071550299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13808/tid=13810] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13810/stat : 13810 (toysat) S 13805 13808 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140071539809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13808/tid=13811] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13811/stat : 13811 (toysat) S 13805 13808 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140071529335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 1397316 [startup+1662.3 s] /proc/loadavg: 2.14 2.17 2.17 3/183 13874 /proc/meminfo: memFree=25855092/32872528 swapFree=1254912/1391860 [pid=13808] ppid=13805 vsize=1397316 CPUtime=1662.04 cores=1,3,5,7 /proc/13808/stat : 13808 (toysat) R 13805 13808 12742 0 -1 4202496 290038 0 0 0 166139 65 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140734783761536 5673413 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13808/statm: 349329 290848 921 2943 0 346223 0 [pid=13808/tid=13809] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13809/stat : 13809 (toysat) S 13805 13808 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140071550299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13808/tid=13810] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13810/stat : 13810 (toysat) S 13805 13808 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140071539809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13808/tid=13811] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13811/stat : 13811 (toysat) S 13805 13808 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140071529335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1662.04 Current children cumulated vsize (KiB) 1397316 [startup+1722.3 s] /proc/loadavg: 2.02 2.14 2.16 2/173 13906 /proc/meminfo: memFree=28051476/32872528 swapFree=1254912/1391860 [pid=13808] ppid=13805 vsize=1397316 CPUtime=1722.03 cores=1,3,5,7 /proc/13808/stat : 13808 (toysat) R 13805 13808 12742 0 -1 4202496 290038 0 0 0 172134 69 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140734783761536 5672936 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13808/statm: 349329 290848 921 2943 0 346223 0 [pid=13808/tid=13809] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13809/stat : 13809 (toysat) S 13805 13808 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140071550299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13808/tid=13810] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13810/stat : 13810 (toysat) S 13805 13808 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140071539809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13808/tid=13811] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13811/stat : 13811 (toysat) S 13805 13808 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290848 33554432000 4194304 16246674 140734783779632 140071529335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1722.03 Current children cumulated vsize (KiB) 1397316 [startup+1782.3 s] /proc/loadavg: 1.56 1.99 2.10 2/174 13915 /proc/meminfo: memFree=28049192/32872528 swapFree=1254912/1391860 [pid=13808] ppid=13805 vsize=1397316 CPUtime=1782.01 cores=1,3,5,7 /proc/13808/stat : 13808 (toysat) R 13805 13808 12742 0 -1 4202496 290053 0 0 0 178132 69 0 0 20 0 4 0 8921678 1430851584 290851 33554432000 4194304 16246674 140734783779632 140734783778728 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13808/statm: 349329 290851 921 2943 0 346223 0 [pid=13808/tid=13809] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13809/stat : 13809 (toysat) S 13805 13808 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290851 33554432000 4194304 16246674 140734783779632 140071550299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13808/tid=13810] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13810/stat : 13810 (toysat) S 13805 13808 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290851 33554432000 4194304 16246674 140734783779632 140071539809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13808/tid=13811] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13811/stat : 13811 (toysat) S 13805 13808 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290851 33554432000 4194304 16246674 140734783779632 140071529335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 1397316 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 1.43 1.94 2.09 3/174 13917 /proc/meminfo: memFree=28049004/32872528 swapFree=1254912/1391860 [pid=13808] ppid=13805 vsize=1397316 CPUtime=1800.01 cores=1,3,5,7 /proc/13808/stat : 13808 (toysat) R 13805 13808 12742 0 -1 4202496 290053 0 0 0 179929 72 0 0 20 0 4 0 8921678 1430851584 290851 33554432000 4194304 16246674 140734783779632 140734783778728 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13808/statm: 349329 290851 921 2943 0 346223 0 [pid=13808/tid=13809] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13809/stat : 13809 (toysat) S 13805 13808 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290851 33554432000 4194304 16246674 140734783779632 140071550299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13808/tid=13810] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13810/stat : 13810 (toysat) S 13805 13808 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290851 33554432000 4194304 16246674 140734783779632 140071539809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13808/tid=13811] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13811/stat : 13811 (toysat) S 13805 13808 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290851 33554432000 4194304 16246674 140734783779632 140071529335984 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) 1397316 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 13808 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 1.43 1.94 2.09 3/174 13917 /proc/meminfo: memFree=28049004/32872528 swapFree=1254912/1391860 [pid=13808] ppid=13805 vsize=1397316 CPUtime=1800.01 cores=1,3,5,7 /proc/13808/stat : 13808 (toysat) R 13805 13808 12742 0 -1 4202496 290053 0 0 0 179929 72 0 0 20 0 4 0 8921678 1430851584 290851 33554432000 4194304 16246674 140734783779632 140734783778728 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13808/statm: 349329 290851 921 2943 0 346223 0 [pid=13808/tid=13809] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13809/stat : 13809 (toysat) S 13805 13808 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290851 33554432000 4194304 16246674 140734783779632 140071550299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13808/tid=13810] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13810/stat : 13810 (toysat) S 13805 13808 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290851 33554432000 4194304 16246674 140734783779632 140071539809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13808/tid=13811] ppid=13805 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/13808/task/13811/stat : 13811 (toysat) S 13805 13808 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8921678 1430851584 290851 33554432000 4194304 16246674 140734783779632 140071529335984 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) 1397316 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.36 CPU time (s): 1800.08 CPU user time (s): 1799.3 CPU system time (s): 0.777881 CPU usage (%): 99.984 Max. virtual memory (cumulated for all children) (KiB): 1397316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.3 system time used= 0.777881 maximum resident set size= 1163404 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 290053 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= 30 involuntary context switches= 1886 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.5923 second user time and 6.92695 second system time The end
Begin job on node119 at 2016-06-30 11:40:08 IDJOB=4119924 IDBENCH=111821 IDSOLVER=2542 FILE ID=node119/4119924-1467279608 RUNJOBID= node119-1467272299-13059 PBS_JOBID= 20004499 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm50p-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-4119924-1467279608/watcher-4119924-1467279608 -o /tmp/evaluation-result-4119924-1467279608/solver-4119924-1467279608 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467272299-13059 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119924-1467279608.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d0cc8a0ffbc29b23da5fa5d2733e6279 RANDOM SEED=537737498 node119.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.444 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.88 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.444 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.444 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 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.444 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.444 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: 28630376 kB Buffers: 187412 kB Cached: 1333684 kB SwapCached: 0 kB Active: 741712 kB Inactive: 1362396 kB Active(anon): 579508 kB Inactive(anon): 5992 kB Active(file): 162204 kB Inactive(file): 1356404 kB Unevictable: 1391860 kB Mlocked: 1254912 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 17344 kB Writeback: 0 kB AnonPages: 1974772 kB Mapped: 17612 kB Shmem: 204 kB Slab: 611432 kB SReclaimable: 55196 kB SUnreclaim: 556236 kB KernelStack: 1480 kB PageTables: 9072 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2635496 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 145408 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= 71716 MiB End job on node119 at 2016-06-30 12:10:09