| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.09 | 1800.51 |
| Name | normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_21.opb |
| MD5SUM | f2c924fb4845da7e1e1c3ddc986ad34a |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 495.651 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 7310 |
| Total number of constraints | 35790 |
| Number of constraints which are clauses | 35785 |
| Number of constraints which are cardinality constraints (but not clauses) | 5 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 85 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 21 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 106 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-17T01:18:22+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-4097996-1466119101.opb"] 0.00/0.01 c use --random-gen="100786953 2800598994 2839872271 1513596655 1938960993 1135118988 3598381653 4046024649 521368684 3849593452 1322591067 2925148467 809130437 896770056 1354824340 3575174925 2679414319 2906659776 3711119969 422581142 3041675255 1057840558 2094143565 1215490233 382173358 1042088552 3212927885 3914383134 2185646992 3937138730 2405124843 2717579938 2514402649 3618587155 2081537581 3127326454 2749435633 4105666006 2267342564 3446371881 1824826448 869227401 3118429781 2602694403 702449111 1371730134 1077243857 3706383941 4096969021 2295104814 4203504416 3062938747 126937283 1545789487 2201048775 3555002631 3267090951 4017185571 2789158444 2190236925 1119236625 1512858128 958300559 959227606 2114965329 2472568683 4228873155 1871714328 3399403739 2983911501 3101938873 3534133033 3585771131 1848934076 120500466 1112754584 2873618618 985006750 4175727139 2685637100 2329420137 269800723 3894452483 3408928642 2085254276 3010597292 2832239935 2241513287 424513461 3516998770 1280212421 3873810733 337551981 2896677863 498938953 3272035159 1730838464 3580694665 952637666 776555829 2592431717 1266332955 3346223528 2579075892 4034649926 1348819724 881580911 1457255801 976371184 464331076 2582694108 1595655429 1857554875 4212308611 118742769 1299456222 4203441563 2776796128 3107102097 2909971486 1428040765 3601403796 3733671424 504575751 1174568888 532501197 3269465275 190812284 1286177267 3427636225 3275145113 2872696286 225525863 3248817354 3062075567 1446505250 1962700642 3201437769 2359688843 1217282931 4257866973 2888814647 3102584983 786529795 106733298 1195039472 3276307765 221879511 2726024663 4099954611 2849594440 3137250303 3396602268 350013255 1134464714 2840217944 4244060351 4253581160 1121925388 776012567 2180372650 3022104639 55234794 3403810312 3850917534 1232356532 679815429 4184124147 1056980066 1029975715 3013638604 2053891548 1155383062 1579392955 4290465660 3621054837 2887818982 2853697347 202533970 748373257 1775377866 713213744 720323824 3402142416 935963273 51295277 2482813169 1485707522 1179311858 3589914244 4099551445 3364602095 59534198 3004960215 3738013135 3805117120 3198867792 1694787898 661247732 3247716388 2633052 3431163739 119718208 3196055201 2115301749 3377322723 1086811214 3440801596 1803652863 3356420306 2385841297 314345285 267045727 116165686 2764340147 3640154464 2459516972 3490328988 2016785818 1423877684 2460142379 2912966882 2429891688 873233520 2326074399 1341894944 1668183530 2607641598 2682349514 2617988988 3643765241 4222665753 3887987557 4113672124 1146207395 3634491161 200133853 3227451895 3348336834 1707500563 4207322868 3168739991 3620199543 1742789233 493740314 2174821606 3551165149 2575158890 880171405 333851624 2917922257 2453760523 3196597824 293364826 257390108 3319445098 255 362436" option to reproduce the execution 0.79/0.89 c #vars 7310 0.79/0.89 c #constraints 35790 2.38/2.42 c Solving starts ... 2.38/2.42 c ============================[ Search Statistics ]============================ 2.38/2.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.38/2.42 c | | | | Limit GC | Var | Constra 2.38/2.42 c ============================================================================= 2.38/2.43 c 0.0s | 0 | 0 | 0 | 14365 0 | 5 | 0 2.98/3.09 c 0.7s | 1 | 778 | 100 | 14365 0 | 5 | 736 3.78/3.81 c 1.4s | 2 | 2728 | 250 | 15802 0 | 5 | 736 4.98/5.01 c 2.6s | 3 | 4948 | 475 | 17383 0 | 5 | 736 6.59/6.66 c 4.2s | 4 | 7098 | 813 | 19122 0 | 5 | 736 8.68/8.75 c 6.3s | 4 | 9595 | 1213 | 21035 0 | 5 | 736 9.28/9.33 c 6.9s | 5 | 10471 | 1320 | 21035 0 | 5 | 736 11.38/11.49 c 9.1s | 5 | 14156 | 1720 | 23139 0 | 5 | 736 12.58/12.65 c 10.2s | 6 | 16281 | 2081 | 25453 0 | 5 | 736 14.88/14.90 c 12.5s | 6 | 20751 | 2681 | 25453 0 | 5 | 736 16.78/16.86 c 14.4s | 7 | 23089 | 3223 | 27999 0 | 5 | 736 18.88/18.91 c 16.5s | 7 | 28934 | 3723 | 27999 0 | 5 | 736 20.89/20.93 c 18.5s | 7 | 33419 | 4323 | 27999 0 | 5 | 736 23.09/23.19 c 20.8s | 7 | 36473 | 4823 | 27999 0 | 5 | 736 23.68/23.72 c 21.3s | 8 | 37865 | 4936 | 30799 0 | 5 | 736 25.78/25.89 c 23.5s | 8 | 40962 | 5336 | 30799 0 | 5 | 736 28.28/28.38 c 26.0s | 8 | 45030 | 5836 | 30799 0 | 5 | 736 30.48/30.52 c 28.1s | 8 | 49387 | 6236 | 30799 0 | 5 | 736 32.48/32.55 c 30.1s | 8 | 54260 | 6636 | 30799 0 | 5 | 736 34.68/34.75 c 32.3s | 8 | 58109 | 7236 | 30799 0 | 5 | 736 35.58/35.61 c 33.2s | 9 | 59238 | 7506 | 33879 0 | 5 | 736 37.98/38.03 c 35.6s | 9 | 63078 | 7906 | 33879 0 | 5 | 736 40.48/40.53 c 38.1s | 9 | 67011 | 8506 | 33879 0 | 5 | 736 42.48/42.53 c 40.1s | 9 | 71517 | 8906 | 33879 0 | 5 | 736 44.58/44.66 c 42.2s | 9 | 76203 | 9306 | 33879 0 | 5 | 736 46.68/46.70 c 44.3s | 9 | 81086 | 9706 | 33879 0 | 5 | 736 48.98/49.00 c 46.6s | 9 | 85092 | 10406 | 33879 0 | 5 | 736 50.98/51.05 c 48.6s | 9 | 90136 | 10906 | 33879 0 | 5 | 736 53.28/53.30 c 50.9s | 10 | 94891 | 11361 | 37267 0 | 5 | 736 55.38/55.45 c 53.0s | 10 | 100376 | 11761 | 37267 0 | 5 | 736 57.48/57.56 c 55.1s | 10 | 104412 | 12361 | 37267 0 | 5 | 736 59.58/59.61 c 57.2s | 10 | 109719 | 12861 | 37267 0 | 5 | 736 62.08/62.16 c 59.7s | 10 | 116746 | 13361 | 37267 0 | 5 | 736 64.28/64.38 c 62.0s | 10 | 122161 | 13761 | 37267 0 | 5 | 736 66.87/66.90 c 64.5s | 10 | 126466 | 14261 | 37267 0 | 5 | 736 68.97/69.03 c 66.6s | 10 | 130736 | 14861 | 37267 0 | 5 | 736 70.97/71.09 c 68.7s | 10 | 134320 | 15361 | 37267 0 | 5 | 736 73.07/73.19 c 70.8s | 10 | 139554 | 15761 | 37267 0 | 5 | 736 75.27/75.33 c 72.9s | 10 | 145634 | 16161 | 37267 0 | 5 | 736 77.27/77.38 c 75.0s | 10 | 150577 | 16661 | 37267 0 | 5 | 736 78.77/78.85 c 76.4s | 11 | 153839 | 17144 | 40994 0 | 5 | 736 80.87/80.98 c 78.6s | 11 | 159390 | 17644 | 40994 0 | 5 | 736 83.37/83.49 c 81.1s | 11 | 165322 | 18144 | 40994 0 | 5 | 736 85.67/85.80 c 83.4s | 11 | 170874 | 18644 | 40994 0 | 5 | 736 87.77/87.88 c 85.5s | 11 | 175203 | 19244 | 40994 0 | 5 | 736 90.07/90.15 c 87.7s | 11 | 180225 | 19744 | 40994 0 | 5 | 736 92.27/92.35 c 89.9s | 11 | 186327 | 20144 | 40994 0 | 5 | 736 94.58/94.64 c 92.2s | 11 | 191358 | 20644 | 40994 0 | 5 | 736 96.88/96.91 c 94.5s | 11 | 197437 | 21444 | 40994 0 | 5 | 736 99.08/99.15 c 96.7s | 11 | 203780 | 21944 | 40994 0 | 5 | 736 101.07/101.17 c 98.7s | 11 | 208744 | 22344 | 40994 0 | 5 | 736 103.27/103.35 c 100s | 11 | 212813 | 22744 | 40994 0 | 5 | 736 105.58/105.64 c 103s | 11 | 217346 | 23244 | 40994 0 | 5 | 736 107.67/107.70 c 105s | 11 | 220525 | 23844 | 40994 0 | 5 | 736 109.77/109.88 c 107s | 11 | 226258 | 24344 | 40994 0 | 5 | 736 111.97/112.01 c 109s | 11 | 229995 | 24944 | 40994 0 | 5 | 736 113.97/114.01 c 111s | 11 | 234445 | 25444 | 40994 0 | 5 | 736 115.57/115.65 c 113s | 12 | 239043 | 25819 | 45094 0 | 5 | 736 117.67/117.77 c 115s | 12 | 244840 | 26219 | 45094 0 | 5 | 736 119.87/119.98 c 117s | 12 | 252970 | 26719 | 45094 0 | 5 | 736 122.17/122.28 c 119s | 12 | 259453 | 27519 | 45094 0 | 5 | 736 124.37/124.47 c 122s | 12 | 267744 | 28019 | 45094 0 | 5 | 736 126.47/126.52 c 124s | 12 | 272150 | 28419 | 45094 0 | 5 | 736 128.47/128.58 c 126s | 12 | 275816 | 28919 | 45094 0 | 5 | 736 130.97/131.02 c 128s | 12 | 280052 | 29619 | 45094 0 | 5 | 736 133.07/133.17 c 130s | 12 | 282580 | 30119 | 45094 0 | 5 | 736 135.16/135.22 c 132s | 12 | 285797 | 30519 | 45094 0 | 5 | 736 137.47/137.52 c 135s | 12 | 288571 | 30919 | 45094 0 | 5 | 736 139.86/139.94 c 137s | 12 | 294408 | 31419 | 45094 0 | 5 | 736 141.97/142.02 c 139s | 12 | 298080 | 32019 | 45094 0 | 5 | 736 144.36/144.45 c 142s | 12 | 304310 | 32519 | 45094 0 | 5 | 736 146.37/146.47 c 144s | 12 | 307209 | 33119 | 45094 0 | 5 | 736 148.57/148.62 c 146s | 12 | 311475 | 33619 | 45094 0 | 5 | 736 150.86/150.94 c 148s | 12 | 318185 | 34119 | 45094 0 | 5 | 736 152.97/153.02 c 150s | 12 | 321982 | 34519 | 45094 0 | 5 | 736 155.07/155.13 c 152s | 12 | 326553 | 35019 | 45094 0 | 5 | 736 157.46/157.50 c 155s | 12 | 329501 | 35619 | 45094 0 | 5 | 736 159.57/159.66 c 157s | 12 | 336315 | 36119 | 45094 0 | 5 | 736 161.96/162.06 c 159s | 12 | 342301 | 36919 | 45094 0 | 5 | 736 164.16/164.20 c 161s | 12 | 349536 | 37519 | 45094 0 | 5 | 736 166.36/166.44 c 164s | 12 | 354877 | 38219 | 45094 0 | 5 | 736 168.56/168.69 c 166s | 12 | 360498 | 38719 | 49604 0 | 5 | 736 169.17/169.29 c 166s | 13 | 361577 | 38832 | 49604 0 | 5 | 736 171.37/171.46 c 169s | 13 | 363194 | 39232 | 49604 0 | 5 | 736 173.57/173.64 c 171s | 13 | 366358 | 39832 | 49604 0 | 5 | 736 175.57/175.65 c 173s | 13 | 369200 | 40232 | 49604 0 | 5 | 736 177.87/177.98 c 175s | 13 | 372941 | 40932 | 49604 0 | 5 | 736 180.27/180.37 c 177s | 13 | 378650 | 41432 | 49604 0 | 5 | 736 182.47/182.51 c 180s | 13 | 381924 | 41932 | 49604 0 | 5 | 736 184.77/184.90 c 182s | 13 | 385464 | 42532 | 49604 0 | 5 | 736 186.86/186.97 c 184s | 13 | 390432 | 43232 | 49604 0 | 5 | 736 188.86/188.98 c 186s | 13 | 394199 | 43632 | 49604 0 | 5 | 736 191.06/191.16 c 188s | 13 | 398610 | 44132 | 49604 0 | 5 | 736 193.46/193.50 c 191s | 13 | 401350 | 44732 | 49604 0 | 5 | 736 195.77/195.89 c 193s | 13 | 404929 | 45432 | 49604 0 | 5 | 736 198.07/198.13 c 195s | 13 | 410509 | 45932 | 49604 0 | 5 | 736 200.56/200.67 c 198s | 13 | 414446 | 46332 | 49604 0 | 5 | 736 202.76/202.86 c 200s | 13 | 418878 | 46832 | 49604 0 | 5 | 736 204.96/205.03 c 202s | 13 | 421622 | 47432 | 49604 0 | 5 | 736 206.96/207.06 c 204s | 13 | 425158 | 47832 | 49604 0 | 5 | 736 209.36/209.47 c 207s | 13 | 430162 | 48232 | 49604 0 | 5 | 736 211.46/211.56 c 209s | 13 | 431812 | 48732 | 49604 0 | 5 | 736 213.76/213.83 c 211s | 13 | 437738 | 49332 | 49604 0 | 5 | 736 216.16/216.23 c 213s | 13 | 444002 | 49832 | 49604 0 | 5 | 736 218.26/218.39 c 215s | 13 | 450120 | 50232 | 49604 0 | 5 | 736 220.76/220.86 c 218s | 13 | 455435 | 50732 | 49604 0 | 5 | 736 222.96/223.05 c 220s | 13 | 459055 | 51332 | 49604 0 | 5 | 736 225.47/225.59 c 223s | 13 | 461538 | 51632 | 49604 1 | 5 | 736 228.26/228.37 c 225s | 13 | 465229 | 51932 | 49604 1 | 5 | 736 230.66/230.76 c 228s | 13 | 469320 | 52332 | 49604 1 | 5 | 736 232.76/232.89 c 230s | 13 | 474252 | 52832 | 49604 1 | 5 | 736 234.96/235.06 c 232s | 13 | 480800 | 53632 | 49604 1 | 5 | 736 237.15/237.23 c 234s | 13 | 485666 | 54032 | 49604 1 | 5 | 736 239.25/239.31 c 236s | 13 | 490750 | 54732 | 49604 1 | 5 | 736 241.65/241.79 c 239s | 13 | 496772 | 55232 | 49604 1 | 5 | 736 243.95/244.09 c 241s | 13 | 501616 | 55732 | 49604 1 | 5 | 736 246.36/246.43 c 244s | 13 | 506115 | 56432 | 49604 1 | 5 | 736 248.56/248.67 c 246s | 13 | 512587 | 56932 | 49604 1 | 5 | 736 250.86/250.91 c 248s | 13 | 516606 | 57532 | 49604 1 | 5 | 736 252.96/253.04 c 250s | 13 | 522365 | 58032 | 54565 1 | 5 | 736 254.45/254.51 c 252s | 14 | 526218 | 58352 | 54565 1 | 5 | 736 256.65/256.72 c 254s | 14 | 529874 | 58952 | 54565 1 | 5 | 736 258.75/258.80 c 256s | 14 | 535465 | 59452 | 54565 1 | 5 | 736 260.95/261.06 c 258s | 14 | 539082 | 60152 | 54565 1 | 5 | 736 262.96/263.08 c 260s | 14 | 541965 | 60652 | 54565 1 | 5 | 736 265.16/265.28 c 262s | 14 | 547203 | 61252 | 54565 1 | 5 | 736 267.26/267.40 c 264s | 14 | 551018 | 61752 | 54565 1 | 5 | 736 269.46/269.53 c 267s | 14 | 555217 | 62352 | 54565 1 | 5 | 736 271.55/271.69 c 269s | 14 | 563637 | 63252 | 54565 1 | 5 | 736 273.86/273.99 c 271s | 14 | 570681 | 64052 | 54565 1 | 5 | 736 276.25/276.30 c 273s | 14 | 575497 | 64752 | 54565 1 | 5 | 736 278.35/278.40 c 275s | 14 | 580658 | 65452 | 54565 1 | 5 | 736 280.35/280.44 c 278s | 14 | 585193 | 66152 | 54565 1 | 5 | 736 282.65/282.72 c 280s | 14 | 588897 | 66852 | 54565 1 | 5 | 736 284.95/285.08 c 282s | 14 | 596259 | 67852 | 54565 1 | 5 | 736 287.05/287.12 c 284s | 14 | 599350 | 68552 | 54565 1 | 5 | 736 289.25/289.37 c 286s | 14 | 602730 | 69352 | 54565 1 | 5 | 736 291.45/291.58 c 289s | 14 | 606370 | 70252 | 54565 1 | 5 | 736 293.65/293.75 c 291s | 14 | 608561 | 71152 | 54565 1 | 5 | 736 296.04/296.10 c 293s | 14 | 611953 | 71752 | 54565 1 | 5 | 736 298.24/298.31 c 295s | 14 | 617366 | 72152 | 54565 1 | 5 | 736 300.35/300.49 c 298s | 14 | 621796 | 72852 | 54565 1 | 5 | 736 302.84/302.96 c 300s | 14 | 627176 | 73352 | 54565 1 | 5 | 736 305.34/305.47 c 303s | 14 | 633092 | 73852 | 54565 1 | 5 | 736 307.44/307.57 c 305s | 14 | 636842 | 74452 | 54565 1 | 5 | 736 309.64/309.77 c 307s | 14 | 641454 | 74952 | 54565 1 | 5 | 736 311.74/311.87 c 309s | 14 | 644611 | 75452 | 54565 1 | 5 | 736 313.84/313.91 c 311s | 14 | 647876 | 75952 | 54565 1 | 5 | 736 316.14/316.25 c 313s | 14 | 652824 | 76452 | 54565 1 | 5 | 736 318.24/318.33 c 315s | 14 | 656436 | 76852 | 54565 1 | 5 | 736 320.34/320.46 c 318s | 14 | 661224 | 77552 | 54565 1 | 5 | 736 322.54/322.62 c 320s | 14 | 666248 | 77952 | 54565 1 | 5 | 736 324.64/324.77 c 322s | 14 | 669742 | 78552 | 54565 1 | 5 | 736 327.04/327.17 c 324s | 14 | 677438 | 79152 | 54565 1 | 5 | 736 329.24/329.38 c 326s | 14 | 683827 | 79552 | 54565 1 | 5 | 736 331.64/331.71 c 329s | 14 | 689997 | 80052 | 54565 1 | 5 | 736 333.74/333.80 c 331s | 14 | 692890 | 80652 | 54565 1 | 5 | 736 336.84/336.92 c 334s | 14 | 698736 | 81152 | 54565 2 | 5 | 736 339.04/339.11 c 336s | 14 | 706791 | 81552 | 54565 2 | 5 | 736 341.04/341.13 c 338s | 14 | 711924 | 82152 | 54565 2 | 5 | 736 343.04/343.17 c 340s | 14 | 717240 | 82752 | 54565 2 | 5 | 736 345.44/345.55 c 343s | 14 | 723534 | 83252 | 54565 2 | 5 | 736 347.64/347.71 c 345s | 14 | 729809 | 83852 | 54565 2 | 5 | 736 349.74/349.85 c 347s | 14 | 734718 | 84452 | 54565 2 | 5 | 736 351.84/351.92 c 349s | 14 | 740107 | 85152 | 54565 2 | 5 | 736 354.44/354.52 c 352s | 14 | 744711 | 85752 | 54565 2 | 5 | 736 356.73/356.82 c 354s | 14 | 750857 | 86252 | 54565 2 | 5 | 736 358.93/359.09 c 356s | 14 | 757669 | 86752 | 54565 2 | 5 | 736 361.43/361.50 c 359s | 14 | 761258 | 87252 | 60022 2 | 5 | 736 362.63/362.80 c 360s | 15 | 763265 | 87632 | 60022 2 | 5 | 736 364.73/364.87 c 362s | 15 | 765965 | 88032 | 60022 2 | 5 | 736 366.93/367.04 c 364s | 15 | 769217 | 88432 | 60022 2 | 5 | 736 369.03/369.18 c 366s | 15 | 775686 | 88832 | 60022 2 | 5 | 736 371.13/371.28 c 368s | 15 | 781190 | 89432 | 60022 2 | 5 | 736 373.43/373.52 c 371s | 15 | 788744 | 90132 | 60022 2 | 5 | 736 375.73/375.87 c 373s | 15 | 795225 | 90632 | 60022 2 | 5 | 736 378.03/378.11 c 375s | 15 | 799530 | 91232 | 60022 2 | 5 | 736 380.23/380.35 c 377s | 15 | 805538 | 91832 | 60022 2 | 5 | 736 382.23/382.36 c 379s | 15 | 811336 | 92232 | 60022 2 | 5 | 736 384.53/384.62 c 382s | 15 | 815939 | 92832 | 60022 2 | 5 | 736 386.63/386.78 c 384s | 15 | 819691 | 93432 | 60022 2 | 5 | 736 388.93/389.03 c 386s | 15 | 826112 | 93932 | 60022 2 | 5 | 736 391.13/391.27 c 388s | 15 | 833551 | 94732 | 60022 2 | 5 | 736 393.53/393.61 c 391s | 15 | 839778 | 95332 | 60022 2 | 5 | 736 395.73/395.86 c 393s | 15 | 845948 | 95832 | 60022 2 | 5 | 736 397.73/397.87 c 395s | 15 | 851085 | 96532 | 60022 2 | 5 | 736 400.03/400.17 c 397s | 15 | 856498 | 97032 | 60022 2 | 5 | 736 402.13/402.27 c 399s | 15 | 861126 | 97532 | 60022 2 | 5 | 736 404.43/404.53 c 402s | 15 | 866724 | 98332 | 60022 2 | 5 | 736 406.53/406.66 c 404s | 15 | 872686 | 98832 | 60022 2 | 5 | 736 408.63/408.78 c 406s | 15 | 877118 | 99532 | 60022 2 | 5 | 736 410.83/410.99 c 408s | 15 | 885854 | 100432 | 60022 2 | 5 | 736 413.03/413.12 c 410s | 15 | 891746 | 100932 | 60022 2 | 5 | 736 415.02/415.15 c 412s | 15 | 898194 | 101632 | 60022 2 | 5 | 736 417.32/417.42 c 414s | 15 | 902463 | 102232 | 60022 2 | 5 | 736 419.52/419.69 c 417s | 15 | 907146 | 102932 | 60022 2 | 5 | 736 421.82/421.91 c 419s | 15 | 913526 | 103732 | 60022 2 | 5 | 736 423.92/424.03 c 421s | 15 | 919026 | 104432 | 60022 2 | 5 | 736 426.02/426.10 c 423s | 15 | 924297 | 105032 | 60022 2 | 5 | 736 428.12/428.23 c 425s | 15 | 928948 | 105732 | 60022 2 | 5 | 736 430.22/430.34 c 427s | 15 | 933011 | 106332 | 60022 2 | 5 | 736 432.23/432.38 c 429s | 15 | 936714 | 106932 | 60022 2 | 5 | 736 434.32/434.47 c 432s | 15 | 940065 | 107532 | 60022 2 | 5 | 736 436.52/436.62 c 434s | 15 | 944212 | 108232 | 60022 2 | 5 | 736 438.52/438.64 c 436s | 15 | 947902 | 108932 | 60022 2 | 5 | 736 440.62/440.72 c 438s | 15 | 953687 | 109832 | 60022 2 | 5 | 736 442.62/442.73 c 440s | 15 | 957651 | 110532 | 60022 2 | 5 | 736 444.72/444.85 c 442s | 15 | 961658 | 111232 | 60022 2 | 5 | 736 446.92/447.00 c 444s | 15 | 965997 | 112132 | 60022 2 | 5 | 736 448.92/449.06 c 446s | 15 | 969705 | 113132 | 60022 2 | 5 | 736 454.02/454.15 c 451s | 15 | 973625 | 113932 | 60022 3 | 5 | 736 456.32/456.41 c 453s | 15 | 978349 | 114332 | 60022 3 | 5 | 736 458.32/458.45 c 456s | 15 | 983441 | 114832 | 60022 3 | 5 | 736 460.82/460.92 c 458s | 15 | 989466 | 115532 | 60022 3 | 5 | 736 463.02/463.11 c 460s | 15 | 995542 | 116132 | 60022 3 | 5 | 736 465.32/465.49 c 463s | 15 | 1000798 | 116732 | 60022 3 | 5 | 736 467.52/467.61 c 465s | 15 | 1009697 | 117232 | 60022 3 | 5 | 736 469.62/469.76 c 467s | 15 | 1016153 | 117732 | 60022 3 | 5 | 736 471.92/472.03 c 469s | 15 | 1021512 | 118432 | 60022 3 | 5 | 736 474.12/474.28 c 471s | 15 | 1028141 | 118932 | 60022 3 | 5 | 736 476.32/476.48 c 474s | 15 | 1033495 | 119632 | 60022 3 | 5 | 736 478.71/478.81 c 476s | 15 | 1039099 | 120132 | 60022 3 | 5 | 736 480.81/480.95 c 478s | 15 | 1043458 | 120732 | 60022 3 | 5 | 736 483.01/483.11 c 480s | 15 | 1049924 | 121332 | 60022 3 | 5 | 736 485.12/485.22 c 482s | 15 | 1056206 | 121932 | 60022 3 | 5 | 736 487.32/487.42 c 484s | 15 | 1061926 | 122532 | 60022 3 | 5 | 736 489.31/489.43 c 487s | 15 | 1067906 | 123132 | 60022 3 | 5 | 736 491.31/491.47 c 489s | 15 | 1072570 | 123732 | 60022 3 | 5 | 736 493.41/493.58 c 491s | 15 | 1078210 | 124332 | 60022 3 | 5 | 736 495.81/495.94 c 493s | 15 | 1082866 | 124932 | 60022 3 | 5 | 736 497.91/498.03 c 495s | 15 | 1087216 | 125632 | 60022 3 | 5 | 736 500.31/500.45 c 498s | 15 | 1093233 | 126232 | 60022 3 | 5 | 736 502.41/502.56 c 500s | 15 | 1098104 | 126932 | 60022 3 | 5 | 736 504.51/504.65 c 502s | 15 | 1103653 | 127532 | 60022 3 | 5 | 736 506.51/506.66 c 504s | 15 | 1107756 | 128132 | 60022 3 | 5 | 736 508.71/508.87 c 506s | 15 | 1112204 | 128832 | 60022 3 | 5 | 736 510.81/510.91 c 508s | 15 | 1117401 | 129532 | 60022 3 | 5 | 736 512.81/512.94 c 510s | 15 | 1122401 | 130332 | 60022 3 | 5 | 736 514.91/515.08 c 512s | 15 | 1126933 | 131032 | 66025 3 | 5 | 736 516.21/516.36 c 513s | 16 | 1130292 | 131552 | 66025 3 | 5 | 736 518.51/518.65 c 516s | 16 | 1133193 | 132252 | 66025 3 | 5 | 736 520.71/520.85 c 518s | 16 | 1136713 | 133052 | 66025 3 | 5 | 736 522.91/523.01 c 520s | 16 | 1139291 | 133952 | 66025 3 | 5 | 736 524.91/525.04 c 522s | 16 | 1143348 | 134552 | 66025 3 | 5 | 736 527.21/527.34 c 524s | 16 | 1147980 | 135152 | 66025 3 | 5 | 736 529.31/529.41 c 526s | 16 | 1152560 | 135652 | 66025 3 | 5 | 736 531.51/531.65 c 529s | 16 | 1156806 | 136052 | 66025 3 | 5 | 736 534.00/534.17 c 531s | 16 | 1163256 | 136552 | 66025 3 | 5 | 736 536.10/536.23 c 533s | 16 | 1167424 | 137052 | 66025 3 | 5 | 736 538.20/538.37 c 535s | 16 | 1172392 | 137652 | 66025 3 | 5 | 736 540.30/540.40 c 537s | 16 | 1176827 | 138052 | 66025 3 | 5 | 736 542.50/542.62 c 540s | 16 | 1181948 | 138752 | 66025 3 | 5 | 736 544.80/544.96 c 542s | 16 | 1187102 | 139252 | 66025 3 | 5 | 736 546.90/547.00 c 544s | 16 | 1190463 | 139852 | 66025 3 | 5 | 736 549.10/549.28 c 546s | 16 | 1196678 | 140352 | 66025 3 | 5 | 736 551.20/551.39 c 548s | 16 | 1203173 | 141052 | 66025 3 | 5 | 736 553.31/553.43 c 551s | 16 | 1207208 | 141552 | 66025 3 | 5 | 736 555.30/555.44 c 553s | 16 | 1212515 | 142152 | 66025 3 | 5 | 736 557.80/557.90 c 555s | 16 | 1219204 | 142752 | 66025 3 | 5 | 736 559.91/560.09 c 557s | 16 | 1223581 | 143352 | 66025 3 | 5 | 736 562.40/562.52 c 560s | 16 | 1229367 | 143952 | 66025 3 | 5 | 736 564.80/564.93 c 562s | 16 | 1233829 | 144652 | 66025 3 | 5 | 736 566.90/567.07 c 564s | 16 | 1238821 | 145152 | 66025 3 | 5 | 736 569.20/569.30 c 566s | 16 | 1241907 | 145752 | 66025 3 | 5 | 736 571.50/571.60 c 569s | 16 | 1246245 | 146452 | 66025 3 | 5 | 736 573.60/573.71 c 571s | 16 | 1249932 | 147052 | 66025 3 | 5 | 736 575.60/575.72 c 573s | 16 | 1253924 | 147652 | 66025 3 | 5 | 736 577.90/578.01 c 575s | 16 | 1257988 | 148352 | 66025 3 | 5 | 736 580.10/580.23 c 577s | 16 | 1260781 | 148952 | 66025 3 | 5 | 736 582.20/582.31 c 579s | 16 | 1264075 | 149552 | 66025 3 | 5 | 736 584.50/584.63 c 582s | 16 | 1267643 | 150352 | 66025 3 | 5 | 736 586.60/586.71 c 584s | 16 | 1270590 | 151052 | 66025 3 | 5 | 736 588.70/588.87 c 586s | 16 | 1272818 | 151752 | 66025 3 | 5 | 736 590.90/591.09 c 588s | 16 | 1275165 | 152652 | 66025 3 | 5 | 736 593.10/593.24 c 590s | 16 | 1277731 | 152852 | 66025 4 | 5 | 736 595.30/595.47 c 593s | 16 | 1282406 | 153352 | 66025 4 | 5 | 736 597.60/597.77 c 595s | 16 | 1287926 | 153952 | 66025 4 | 5 | 736 599.89/600.01 c 597s | 16 | 1291111 | 154552 | 66025 4 | 5 | 736 601.99/602.12 c 599s | 16 | 1295252 | 154952 | 66025 4 | 5 | 736 604.29/604.40 c 601s | 16 | 1300567 | 155652 | 66025 4 | 5 | 736 606.59/606.70 c 604s | 16 | 1305265 | 156152 | 66025 4 | 5 | 736 608.69/608.83 c 606s | 16 | 1311818 | 156952 | 66025 4 | 5 | 736 610.99/611.11 c 608s | 16 | 1319290 | 157552 | 66025 4 | 5 | 736 613.29/613.44 c 611s | 16 | 1325175 | 158252 | 66025 4 | 5 | 736 615.29/615.44 c 613s | 16 | 1329460 | 158752 | 66025 4 | 5 | 736 617.49/617.61 c 615s | 16 | 1334115 | 159252 | 66025 4 | 5 | 736 619.89/620.05 c 617s | 16 | 1340743 | 160052 | 66025 4 | 5 | 736 622.39/622.50 c 620s | 16 | 1346184 | 160552 | 66025 4 | 5 | 736 624.70/624.84 c 622s | 16 | 1350949 | 161252 | 66025 4 | 5 | 736 626.79/626.91 c 624s | 16 | 1355026 | 161952 | 66025 4 | 5 | 736 628.89/629.07 c 626s | 16 | 1359309 | 162452 | 66025 4 | 5 | 736 631.09/631.25 c 628s | 16 | 1363417 | 162952 | 66025 4 | 5 | 736 633.19/633.35 c 630s | 16 | 1368207 | 163652 | 66025 4 | 5 | 736 635.29/635.42 c 632s | 16 | 1373560 | 164152 | 66025 4 | 5 | 736 637.39/637.59 c 635s | 16 | 1377113 | 164852 | 66025 4 | 5 | 736 639.59/639.73 c 637s | 16 | 1381835 | 165352 | 66025 4 | 5 | 736 641.69/641.86 c 639s | 16 | 1385527 | 165952 | 66025 4 | 5 | 736 643.99/644.14 c 641s | 16 | 1389508 | 166452 | 66025 4 | 5 | 736 646.09/646.21 c 643s | 16 | 1395038 | 167152 | 66025 4 | 5 | 736 648.19/648.31 c 645s | 16 | 1398432 | 167752 | 66025 4 | 5 | 736 650.39/650.57 c 648s | 16 | 1402696 | 168452 | 66025 4 | 5 | 736 652.59/652.70 c 650s | 16 | 1407358 | 169052 | 66025 4 | 5 | 736 654.79/654.90 c 652s | 16 | 1413297 | 169752 | 66025 4 | 5 | 736 656.79/656.93 c 654s | 16 | 1416865 | 170452 | 66025 4 | 5 | 736 659.19/659.32 c 656s | 16 | 1420492 | 171252 | 66025 4 | 5 | 736 661.49/661.64 c 659s | 16 | 1424152 | 171952 | 66025 4 | 5 | 736 663.69/663.80 c 661s | 16 | 1427791 | 172752 | 66025 4 | 5 | 736 665.78/665.93 c 663s | 16 | 1430251 | 173452 | 66025 4 | 5 | 736 667.78/667.96 c 665s | 16 | 1434048 | 174252 | 66025 4 | 5 | 736 669.98/670.14 c 667s | 16 | 1437276 | 175152 | 66025 4 | 5 | 736 672.18/672.32 c 669s | 16 | 1440616 | 175952 | 66025 4 | 5 | 736 674.29/674.43 c 672s | 16 | 1445315 | 176552 | 66025 4 | 5 | 736 676.28/676.45 c 674s | 16 | 1449205 | 177052 | 66025 4 | 5 | 736 678.59/678.79 c 676s | 16 | 1452899 | 177552 | 66025 4 | 5 | 736 680.68/680.83 c 678s | 16 | 1455319 | 178052 | 66025 4 | 5 | 736 682.78/682.91 c 680s | 16 | 1459282 | 178452 | 66025 4 | 5 | 736 684.88/685.02 c 682s | 16 | 1463937 | 178852 | 66025 4 | 5 | 736 687.08/687.20 c 684s | 16 | 1468728 | 179352 | 66025 4 | 5 | 736 689.18/689.37 c 686s | 16 | 1472881 | 179952 | 66025 4 | 5 | 736 691.38/691.59 c 689s | 16 | 1478169 | 180452 | 66025 4 | 5 | 736 693.58/693.73 c 691s | 16 | 1482190 | 181052 | 66025 4 | 5 | 736 695.68/695.84 c 693s | 16 | 1488981 | 181552 | 66025 4 | 5 | 736 698.18/698.38 c 695s | 16 | 1493965 | 182252 | 66025 4 | 5 | 736 700.28/700.41 c 697s | 16 | 1500821 | 182852 | 66025 4 | 5 | 736 702.38/702.52 c 700s | 16 | 1505863 | 183452 | 66025 4 | 5 | 736 704.68/704.82 c 702s | 16 | 1510081 | 183952 | 66025 4 | 5 | 736 706.68/706.88 c 704s | 16 | 1514225 | 184552 | 66025 4 | 5 | 736 709.08/709.25 c 706s | 16 | 1519200 | 185252 | 66025 4 | 5 | 736 711.28/711.48 c 709s | 16 | 1523382 | 185852 | 66025 4 | 5 | 736 713.78/713.95 c 711s | 16 | 1527665 | 186352 | 66025 5 | 5 | 736 715.88/716.06 c 713s | 16 | 1531646 | 187052 | 66025 5 | 5 | 736 718.18/718.30 c 715s | 16 | 1536188 | 187852 | 66025 5 | 5 | 736 720.28/720.47 c 718s | 16 | 1541172 | 188652 | 66025 5 | 5 | 736 722.48/722.69 c 720s | 16 | 1544526 | 189452 | 66025 5 | 5 | 736 724.78/724.91 c 722s | 16 | 1548396 | 190252 | 66025 5 | 5 | 736 726.98/727.12 c 724s | 16 | 1552049 | 191252 | 66025 5 | 5 | 736 728.97/729.13 c 726s | 16 | 1554925 | 192252 | 66025 5 | 5 | 736 731.07/731.20 c 728s | 16 | 1557516 | 192752 | 66025 5 | 5 | 736 733.17/733.33 c 730s | 16 | 1563616 | 193352 | 66025 5 | 5 | 736 735.27/735.45 c 733s | 16 | 1568413 | 193952 | 66025 5 | 5 | 736 737.57/737.78 c 735s | 16 | 1574167 | 194752 | 66025 5 | 5 | 736 739.87/740.07 c 737s | 16 | 1578242 | 195452 | 66025 5 | 5 | 736 741.87/742.09 c 739s | 16 | 1583073 | 195952 | 66025 5 | 5 | 736 743.97/744.14 c 741s | 16 | 1587594 | 196552 | 72628 5 | 5 | 736 745.97/746.20 c 743s | 16 | 1591623 | 197352 | 72628 5 | 5 | 736 746.27/746.42 c 743s | 17 | 1592006 | 197432 | 72628 5 | 5 | 736 748.57/748.74 c 746s | 17 | 1596695 | 198032 | 72628 5 | 5 | 736 750.77/750.95 c 748s | 17 | 1601173 | 198832 | 72628 5 | 5 | 736 752.97/753.18 c 750s | 17 | 1606679 | 199632 | 72628 5 | 5 | 736 755.27/755.48 c 753s | 17 | 1612419 | 200432 | 72628 5 | 5 | 736 757.47/757.60 c 755s | 17 | 1617520 | 201232 | 72628 5 | 5 | 736 759.47/759.65 c 757s | 17 | 1621471 | 201932 | 72628 5 | 5 | 736 761.57/761.75 c 759s | 17 | 1626113 | 202732 | 72628 5 | 5 | 736 763.77/763.91 c 761s | 17 | 1630170 | 203732 | 72628 5 | 5 | 736 765.87/766.06 c 763s | 17 | 1633183 | 204632 | 72628 5 | 5 | 736 768.17/768.32 c 765s | 17 | 1636830 | 205532 | 72628 5 | 5 | 736 770.47/770.60 c 768s | 17 | 1643094 | 206332 | 72628 5 | 5 | 736 772.67/772.81 c 770s | 17 | 1648971 | 206932 | 72628 5 | 5 | 736 774.67/774.84 c 772s | 17 | 1654490 | 207532 | 72628 5 | 5 | 736 777.07/777.20 c 774s | 17 | 1660597 | 208332 | 72628 5 | 5 | 736 779.17/779.37 c 776s | 17 | 1666517 | 208832 | 72628 5 | 5 | 736 781.57/781.75 c 779s | 17 | 1672891 | 209632 | 72628 5 | 5 | 736 783.67/783.89 c 781s | 17 | 1679128 | 210332 | 72628 5 | 5 | 736 785.77/785.90 c 783s | 17 | 1684220 | 210932 | 72628 5 | 5 | 736 787.87/788.09 c 785s | 17 | 1690249 | 211732 | 72628 5 | 5 | 736 790.06/790.22 c 787s | 17 | 1696637 | 212432 | 72628 5 | 5 | 736 792.06/792.24 c 789s | 17 | 1699862 | 213132 | 72628 5 | 5 | 736 794.26/794.41 c 791s | 17 | 1702819 | 213932 | 72628 5 | 5 | 736 796.37/796.54 c 794s | 17 | 1705508 | 214732 | 72628 5 | 5 | 736 798.36/798.59 c 796s | 17 | 1707251 | 215532 | 72628 5 | 5 | 736 800.67/800.81 c 798s | 17 | 1710256 | 216332 | 72628 5 | 5 | 736 802.87/803.09 c 800s | 17 | 1713596 | 217032 | 72628 5 | 5 | 736 804.96/805.20 c 802s | 17 | 1716903 | 217632 | 72628 5 | 5 | 736 807.06/807.20 c 804s | 17 | 1720567 | 218232 | 72628 5 | 5 | 736 809.26/809.42 c 806s | 17 | 1724800 | 218932 | 72628 5 | 5 | 736 811.26/811.49 c 809s | 17 | 1729511 | 219632 | 72628 5 | 5 | 736 813.36/813.50 c 811s | 17 | 1734396 | 220232 | 72628 5 | 5 | 736 815.46/815.67 c 813s | 17 | 1739224 | 220832 | 72628 5 | 5 | 736 817.66/817.80 c 815s | 17 | 1743612 | 221432 | 72628 5 | 5 | 736 819.66/819.83 c 817s | 17 | 1747698 | 221932 | 72628 5 | 5 | 736 821.67/821.85 c 819s | 17 | 1751599 | 222532 | 72628 5 | 5 | 736 823.87/824.00 c 821s | 17 | 1755034 | 223132 | 72628 5 | 5 | 736 826.07/826.26 c 823s | 17 | 1759168 | 223832 | 72628 5 | 5 | 736 828.27/828.47 c 826s | 17 | 1764889 | 224432 | 72628 5 | 5 | 736 830.56/830.76 c 828s | 17 | 1768879 | 225132 | 72628 5 | 5 | 736 832.67/832.83 c 830s | 17 | 1772853 | 225832 | 72628 5 | 5 | 736 834.77/834.97 c 832s | 17 | 1776048 | 226532 | 72628 5 | 5 | 736 836.86/837.07 c 834s | 17 | 1780701 | 227332 | 72628 5 | 5 | 736 838.96/839.13 c 836s | 17 | 1785386 | 228232 | 72628 5 | 5 | 736 841.06/841.26 c 838s | 17 | 1788225 | 228932 | 72628 6 | 5 | 736 843.16/843.39 c 840s | 17 | 1790410 | 229732 | 72628 6 | 5 | 736 845.56/845.72 c 843s | 17 | 1792704 | 230332 | 72628 6 | 5 | 736 847.86/848.00 c 845s | 17 | 1799394 | 231132 | 72628 6 | 5 | 736 849.86/850.05 c 847s | 17 | 1802979 | 231732 | 72628 6 | 5 | 736 851.96/852.13 c 849s | 17 | 1807275 | 232432 | 72628 6 | 5 | 736 854.06/854.22 c 851s | 17 | 1812249 | 233132 | 72628 6 | 5 | 736 856.25/856.49 c 854s | 17 | 1816089 | 233932 | 72628 6 | 5 | 736 858.45/858.66 c 856s | 17 | 1820544 | 234632 | 72628 6 | 5 | 736 860.55/860.70 c 858s | 17 | 1824283 | 235332 | 72628 6 | 5 | 736 862.55/862.78 c 860s | 17 | 1828508 | 236232 | 72628 6 | 5 | 736 864.75/864.95 c 862s | 17 | 1831751 | 237132 | 72628 6 | 5 | 736 866.95/867.18 c 864s | 17 | 1835716 | 238032 | 72628 6 | 5 | 736 869.25/869.42 c 866s | 17 | 1841806 | 238632 | 72628 6 | 5 | 736 871.45/871.63 c 869s | 17 | 1846753 | 239332 | 72628 6 | 5 | 736 873.45/873.64 c 871s | 17 | 1850466 | 239932 | 72628 6 | 5 | 736 875.85/876.02 c 873s | 17 | 1855439 | 240532 | 72628 6 | 5 | 736 877.85/878.07 c 875s | 17 | 1858637 | 241132 | 72628 6 | 5 | 736 880.15/880.33 c 877s | 17 | 1862757 | 241832 | 72628 6 | 5 | 736 882.25/882.48 c 880s | 17 | 1867068 | 242532 | 72628 6 | 5 | 736 884.36/884.60 c 882s | 17 | 1871271 | 243232 | 72628 6 | 5 | 736 886.56/886.74 c 884s | 17 | 1875418 | 243932 | 72628 6 | 5 | 736 888.65/888.85 c 886s | 17 | 1879608 | 244732 | 72628 6 | 5 | 736 890.65/890.85 c 888s | 17 | 1883385 | 245532 | 72628 6 | 5 | 736 892.75/892.93 c 890s | 17 | 1886061 | 246232 | 72628 6 | 5 | 736 894.75/894.95 c 892s | 17 | 1888720 | 246932 | 72628 6 | 5 | 736 896.85/897.00 c 894s | 17 | 1891459 | 247832 | 72628 6 | 5 | 736 898.85/899.07 c 896s | 17 | 1894274 | 248632 | 72628 6 | 5 | 736 901.05/901.28 c 898s | 17 | 1897156 | 249232 | 72628 6 | 5 | 736 903.14/903.36 c 900s | 17 | 1902419 | 249932 | 72628 6 | 5 | 736 905.15/905.40 c 902s | 17 | 1907087 | 250532 | 72628 6 | 5 | 736 907.54/907.73 c 905s | 17 | 1912948 | 251432 | 72628 6 | 5 | 736 909.74/909.90 c 907s | 17 | 1916865 | 252132 | 72628 6 | 5 | 736 911.75/911.91 c 909s | 17 | 1921719 | 252832 | 72628 6 | 5 | 736 913.95/914.15 c 911s | 17 | 1926277 | 253632 | 72628 6 | 5 | 736 916.15/916.34 c 913s | 17 | 1929799 | 254432 | 72628 6 | 5 | 736 918.24/918.47 c 916s | 17 | 1932435 | 255132 | 72628 6 | 5 | 736 920.44/920.61 c 918s | 17 | 1934935 | 255932 | 72628 6 | 5 | 736 922.54/922.73 c 920s | 17 | 1938067 | 256732 | 72628 6 | 5 | 736 924.64/924.82 c 922s | 17 | 1941213 | 257332 | 72628 6 | 5 | 736 926.84/927.01 c 924s | 17 | 1946390 | 257932 | 72628 6 | 5 | 736 928.83/929.03 c 926s | 17 | 1950865 | 258632 | 72628 6 | 5 | 736 931.03/931.20 c 928s | 17 | 1955786 | 259432 | 72628 6 | 5 | 736 933.33/933.56 c 931s | 17 | 1960487 | 260132 | 72628 6 | 5 | 736 935.63/935.80 c 933s | 17 | 1964132 | 260932 | 72628 6 | 5 | 736 937.63/937.80 c 935s | 17 | 1968643 | 261732 | 72628 6 | 5 | 736 939.73/939.90 c 937s | 17 | 1971094 | 262432 | 72628 6 | 5 | 736 941.73/941.95 c 939s | 17 | 1973287 | 263132 | 72628 6 | 5 | 736 944.23/944.44 c 942s | 17 | 1975810 | 263932 | 72628 6 | 5 | 736 946.33/946.53 c 944s | 17 | 1979818 | 264532 | 72628 6 | 5 | 736 948.53/948.79 c 946s | 17 | 1985163 | 265232 | 72628 6 | 5 | 736 950.63/950.81 c 948s | 17 | 1988039 | 265732 | 72628 6 | 5 | 736 952.93/953.14 c 950s | 17 | 1990982 | 266232 | 72628 7 | 5 | 736 955.03/955.29 c 952s | 17 | 1995167 | 266932 | 72628 7 | 5 | 736 957.23/957.45 c 955s | 17 | 1998874 | 267732 | 72628 7 | 5 | 736 959.43/959.65 c 957s | 17 | 2003041 | 268532 | 72628 7 | 5 | 736 961.53/961.79 c 959s | 17 | 2006567 | 269332 | 72628 7 | 5 | 736 963.73/963.98 c 961s | 17 | 2010447 | 270232 | 72628 7 | 5 | 736 965.92/966.17 c 963s | 17 | 2013914 | 271332 | 72628 7 | 5 | 736 968.02/968.20 c 965s | 17 | 2016594 | 272032 | 72628 7 | 5 | 736 970.13/970.39 c 967s | 17 | 2020250 | 272732 | 72628 7 | 5 | 736 972.12/972.40 c 969s | 17 | 2023711 | 273332 | 72628 7 | 5 | 736 974.32/974.56 c 972s | 17 | 2027578 | 274032 | 72628 7 | 5 | 736 976.32/976.58 c 974s | 17 | 2031767 | 274832 | 72628 7 | 5 | 736 978.42/978.65 c 976s | 17 | 2035451 | 275532 | 72628 7 | 5 | 736 980.72/980.91 c 978s | 17 | 2040368 | 276432 | 72628 7 | 5 | 736 982.82/983.05 c 980s | 17 | 2044110 | 277332 | 72628 7 | 5 | 736 984.92/985.13 c 982s | 17 | 2046484 | 278232 | 72628 7 | 5 | 736 986.92/987.19 c 984s | 17 | 2049075 | 279032 | 72628 7 | 5 | 736 989.32/989.52 c 987s | 17 | 2052699 | 279832 | 72628 7 | 5 | 736 991.52/991.72 c 989s | 17 | 2056136 | 280532 | 72628 7 | 5 | 736 993.72/993.95 c 991s | 17 | 2059406 | 281232 | 72628 7 | 5 | 736 995.82/996.08 c 993s | 17 | 2062687 | 282032 | 72628 7 | 5 | 736 998.12/998.34 c 995s | 17 | 2065239 | 282932 | 72628 7 | 5 | 736 1000.42/1000.65 c 998s | 17 | 2068407 | 283732 | 72628 7 | 5 | 736 1002.62/1002.86 c 1000s | 17 | 2072437 | 284532 | 72628 7 | 5 | 736 1004.82/1005.07 c 1002s | 17 | 2076809 | 285232 | 72628 7 | 5 | 736 1007.01/1007.27 c 1004s | 17 | 2081222 | 285932 | 72628 7 | 5 | 736 1009.01/1009.27 c 1006s | 17 | 2084311 | 286632 | 72628 7 | 5 | 736 1011.11/1011.34 c 1008s | 17 | 2087234 | 287332 | 72628 7 | 5 | 736 1013.11/1013.35 c 1010s | 17 | 2091031 | 288132 | 72628 7 | 5 | 736 1015.12/1015.39 c 1012s | 17 | 2093088 | 288932 | 72628 7 | 5 | 736 1017.21/1017.41 c 1014s | 17 | 2095728 | 289532 | 72628 7 | 5 | 736 1019.31/1019.51 c 1017s | 17 | 2099083 | 290232 | 72628 7 | 5 | 736 1021.51/1021.70 c 1019s | 17 | 2102605 | 290932 | 72628 7 | 5 | 736 1023.71/1023.96 c 1021s | 17 | 2105750 | 291732 | 72628 7 | 5 | 736 1025.81/1026.08 c 1023s | 17 | 2108598 | 292532 | 72628 7 | 5 | 736 1027.91/1028.10 c 1025s | 17 | 2111326 | 293332 | 72628 7 | 5 | 736 1030.01/1030.21 c 1027s | 17 | 2113655 | 294132 | 72628 7 | 5 | 736 1032.01/1032.28 c 1029s | 17 | 2117573 | 294832 | 79891 7 | 5 | 736 1034.11/1034.37 c 1031s | 17 | 2120166 | 295532 | 79891 7 | 5 | 736 1036.31/1036.57 c 1034s | 17 | 2122547 | 296232 | 79891 7 | 5 | 736 1036.41/1036.65 c 1034s | 18 | 2122624 | 296252 | 79891 7 | 5 | 736 1038.51/1038.72 c 1036s | 18 | 2124606 | 296752 | 79891 7 | 5 | 736 1040.80/1041.09 c 1038s | 18 | 2128551 | 297452 | 79891 7 | 5 | 736 1043.00/1043.27 c 1040s | 18 | 2130779 | 298052 | 79891 7 | 5 | 736 1045.20/1045.47 c 1043s | 18 | 2132626 | 298852 | 79891 7 | 5 | 736 1047.60/1047.86 c 1045s | 18 | 2135723 | 299552 | 79891 7 | 5 | 736 1049.80/1050.08 c 1047s | 18 | 2138207 | 300152 | 79891 7 | 5 | 736 1052.00/1052.26 c 1049s | 18 | 2140711 | 300752 | 79891 7 | 5 | 736 1054.20/1054.42 c 1051s | 18 | 2144186 | 301452 | 79891 7 | 5 | 736 1056.30/1056.58 c 1054s | 18 | 2146804 | 302152 | 79891 7 | 5 | 736 1058.60/1058.81 c 1056s | 18 | 2149306 | 303052 | 79891 7 | 5 | 736 1060.80/1061.08 c 1058s | 18 | 2151988 | 303752 | 79891 7 | 5 | 736 1063.10/1063.38 c 1060s | 18 | 2154558 | 304452 | 79891 7 | 5 | 736 1065.40/1065.62 c 1063s | 18 | 2157349 | 305252 | 79891 7 | 5 | 736 1067.50/1067.75 c 1065s | 18 | 2158852 | 305952 | 79891 7 | 5 | 736 1069.70/1069.95 c 1067s | 18 | 2161690 | 306652 | 79891 7 | 5 | 736 1071.80/1072.02 c 1069s | 18 | 2165139 | 307252 | 79891 7 | 5 | 736 1074.00/1074.25 c 1071s | 18 | 2168315 | 307852 | 79891 7 | 5 | 736 1076.10/1076.34 c 1073s | 18 | 2170591 | 308352 | 79891 7 | 5 | 736 1078.30/1078.51 c 1076s | 18 | 2172295 | 308952 | 79891 7 | 5 | 736 1080.29/1080.59 c 1078s | 18 | 2174437 | 309652 | 79891 7 | 5 | 736 1082.39/1082.68 c 1080s | 18 | 2176253 | 310352 | 79891 7 | 5 | 736 1084.40/1084.70 c 1082s | 18 | 2177725 | 310852 | 79891 7 | 5 | 736 1086.60/1086.85 c 1084s | 18 | 2178808 | 311352 | 79891 7 | 5 | 736 1088.80/1089.04 c 1086s | 18 | 2180636 | 312052 | 79891 7 | 5 | 736 1091.29/1091.57 c 1089s | 18 | 2182292 | 312752 | 79891 8 | 5 | 736 1093.59/1093.84 c 1091s | 18 | 2185373 | 313552 | 79891 8 | 5 | 736 1095.69/1095.99 c 1093s | 18 | 2187695 | 314352 | 79891 8 | 5 | 736 1097.69/1097.99 c 1095s | 18 | 2189770 | 315052 | 79891 8 | 5 | 736 1099.89/1100.19 c 1097s | 18 | 2192589 | 315852 | 79891 8 | 5 | 736 1102.18/1102.42 c 1099s | 18 | 2194746 | 316752 | 79891 8 | 5 | 736 1104.38/1104.67 c 1102s | 18 | 2197201 | 317552 | 79891 8 | 5 | 736 1106.48/1106.73 c 1104s | 18 | 2199527 | 318352 | 79891 8 | 5 | 736 1108.48/1108.75 c 1106s | 18 | 2202629 | 319052 | 79891 8 | 5 | 736 1110.58/1110.87 c 1108s | 18 | 2205770 | 319852 | 79891 8 | 5 | 736 1112.88/1113.15 c 1110s | 18 | 2207972 | 320752 | 79891 8 | 5 | 736 1115.08/1115.38 c 1112s | 18 | 2209806 | 321552 | 79891 8 | 5 | 736 1117.17/1117.43 c 1115s | 18 | 2212095 | 322352 | 79891 8 | 5 | 736 1119.37/1119.67 c 1117s | 18 | 2214339 | 323252 | 79891 8 | 5 | 736 1121.47/1121.78 c 1119s | 18 | 2216152 | 324152 | 79891 8 | 5 | 736 1123.57/1123.86 c 1121s | 18 | 2218057 | 325052 | 79891 8 | 5 | 736 1125.76/1126.09 c 1123s | 18 | 2219607 | 325952 | 79891 8 | 5 | 736 1127.86/1128.12 c 1125s | 18 | 2221111 | 326852 | 79891 8 | 5 | 736 1207.23/1207.57 c 1205s | 18 | 2223975 | 327752 | 79891 8 | 5 | 736 1217.73/1218.06 c 1215s | 18 | 2225541 | 327852 | 79891 8 | 5 | 736 1220.03/1220.34 c 1217s | 18 | 2229544 | 328252 | 79891 8 | 5 | 736 1222.43/1222.79 c 1220s | 18 | 2231744 | 328752 | 79891 8 | 5 | 736 1224.73/1225.02 c 1222s | 18 | 2235250 | 329152 | 79891 8 | 5 | 736 1226.93/1227.23 c 1224s | 18 | 2241139 | 329552 | 79891 8 | 5 | 736 1229.03/1229.32 c 1226s | 18 | 2246093 | 329852 | 79891 8 | 5 | 736 1231.22/1231.54 c 1229s | 18 | 2250048 | 330152 | 79891 8 | 5 | 736 1233.32/1233.65 c 1231s | 18 | 2253553 | 330452 | 79891 8 | 5 | 736 1235.62/1235.95 c 1233s | 18 | 2257321 | 330852 | 79891 8 | 5 | 736 1238.02/1238.36 c 1235s | 18 | 2260674 | 331352 | 79891 8 | 5 | 736 1240.12/1240.41 c 1237s | 18 | 2264187 | 331852 | 79891 8 | 5 | 736 1242.12/1242.49 c 1240s | 18 | 2267493 | 332152 | 79891 8 | 5 | 736 1244.52/1244.81 c 1242s | 18 | 2270541 | 332752 | 79891 8 | 5 | 736 1246.62/1246.99 c 1244s | 18 | 2273450 | 333152 | 79891 8 | 5 | 736 1249.12/1249.48 c 1247s | 18 | 2277991 | 333552 | 79891 8 | 5 | 736 1251.92/1252.28 c 1249s | 18 | 2282976 | 333952 | 79891 8 | 5 | 736 1254.32/1254.65 c 1252s | 18 | 2287423 | 334352 | 79891 8 | 5 | 736 1256.32/1256.68 c 1254s | 18 | 2291904 | 334752 | 79891 8 | 5 | 736 1258.52/1258.84 c 1256s | 18 | 2296050 | 335352 | 79891 8 | 5 | 736 1260.92/1261.24 c 1258s | 18 | 2300265 | 335752 | 79891 8 | 5 | 736 1263.22/1263.59 c 1261s | 18 | 2303727 | 336152 | 79891 8 | 5 | 736 1265.41/1265.76 c 1263s | 18 | 2307096 | 336652 | 79891 8 | 5 | 736 1267.61/1267.99 c 1265s | 18 | 2311414 | 337052 | 79891 8 | 5 | 736 1270.11/1270.49 c 1268s | 18 | 2316153 | 337452 | 79891 8 | 5 | 736 1272.71/1273.00 c 1270s | 18 | 2322198 | 337852 | 79891 8 | 5 | 736 1274.81/1275.19 c 1272s | 18 | 2325484 | 338452 | 79891 8 | 5 | 736 1276.92/1277.23 c 1274s | 18 | 2329665 | 338952 | 79891 8 | 5 | 736 1279.21/1279.53 c 1277s | 18 | 2334618 | 339352 | 79891 8 | 5 | 736 1281.61/1281.90 c 1279s | 18 | 2340688 | 339852 | 79891 8 | 5 | 736 1283.91/1284.25 c 1281s | 18 | 2345166 | 340452 | 79891 8 | 5 | 736 1286.01/1286.36 c 1283s | 18 | 2350897 | 340852 | 79891 8 | 5 | 736 1288.01/1288.38 c 1285s | 18 | 2353190 | 341352 | 79891 8 | 5 | 736 1290.11/1290.41 c 1287s | 18 | 2356153 | 341752 | 79891 8 | 5 | 736 1292.51/1292.88 c 1290s | 18 | 2361040 | 342152 | 79891 8 | 5 | 736 1294.61/1294.91 c 1292s | 18 | 2364354 | 342552 | 79891 8 | 5 | 736 1296.61/1296.99 c 1294s | 18 | 2368308 | 343152 | 79891 8 | 5 | 736 1298.91/1299.28 c 1296s | 18 | 2372922 | 343552 | 79891 8 | 5 | 736 1301.40/1301.71 c 1299s | 18 | 2376149 | 343952 | 79891 8 | 5 | 736 1303.71/1304.00 c 1301s | 18 | 2379785 | 344552 | 79891 8 | 5 | 736 1305.71/1306.02 c 1303s | 18 | 2383060 | 344952 | 79891 8 | 5 | 736 1307.91/1308.29 c 1305s | 18 | 2386646 | 345552 | 79891 8 | 5 | 736 1310.31/1310.61 c 1308s | 18 | 2389556 | 345952 | 79891 8 | 5 | 736 1312.41/1312.79 c 1310s | 18 | 2393022 | 346352 | 79891 8 | 5 | 736 1314.91/1315.28 c 1312s | 18 | 2396948 | 346952 | 79891 8 | 5 | 736 1317.10/1317.45 c 1315s | 18 | 2399483 | 347352 | 79891 8 | 5 | 736 1319.20/1319.55 c 1317s | 18 | 2402634 | 347852 | 79891 8 | 5 | 736 1321.50/1321.86 c 1319s | 18 | 2406353 | 348352 | 79891 8 | 5 | 736 1323.70/1324.06 c 1321s | 18 | 2409430 | 348852 | 79891 8 | 5 | 736 1325.90/1326.26 c 1323s | 18 | 2413566 | 349352 | 79891 8 | 5 | 736 1328.00/1328.36 c 1325s | 18 | 2417748 | 349952 | 79891 8 | 5 | 736 1330.30/1330.66 c 1328s | 18 | 2421404 | 350452 | 79891 8 | 5 | 736 1332.80/1333.11 c 1330s | 18 | 2425117 | 351052 | 79891 8 | 5 | 736 1334.90/1335.25 c 1332s | 18 | 2427222 | 351552 | 79891 8 | 5 | 736 1337.10/1337.42 c 1334s | 18 | 2430806 | 352152 | 79891 8 | 5 | 736 1339.10/1339.48 c 1337s | 18 | 2434537 | 352752 | 79891 8 | 5 | 736 1341.20/1341.57 c 1339s | 18 | 2438019 | 353452 | 79891 8 | 5 | 736 1344.20/1344.57 c 1342s | 18 | 2441368 | 354052 | 79891 9 | 5 | 736 1346.29/1346.69 c 1344s | 18 | 2443996 | 354652 | 79891 9 | 5 | 736 1348.40/1348.71 c 1346s | 18 | 2447018 | 355452 | 79891 9 | 5 | 736 1351.99/1352.35 c 1349s | 18 | 2450405 | 356452 | 79891 9 | 5 | 736 1354.19/1354.59 c 1352s | 18 | 2451863 | 356552 | 79891 9 | 5 | 736 1356.69/1357.01 c 1354s | 18 | 2456415 | 356852 | 79891 9 | 5 | 736 1358.99/1359.31 c 1356s | 18 | 2460501 | 357252 | 79891 9 | 5 | 736 1361.09/1361.45 c 1359s | 18 | 2463489 | 357752 | 79891 9 | 5 | 736 1363.69/1364.04 c 1361s | 18 | 2467612 | 358352 | 79891 9 | 5 | 736 1366.28/1366.68 c 1364s | 18 | 2471777 | 358752 | 79891 9 | 5 | 736 1368.38/1368.74 c 1366s | 18 | 2475369 | 359152 | 79891 9 | 5 | 736 1370.39/1370.77 c 1368s | 18 | 2477533 | 359652 | 79891 9 | 5 | 736 1372.98/1373.35 c 1370s | 18 | 2482403 | 360152 | 79891 9 | 5 | 736 1375.48/1375.80 c 1373s | 18 | 2487695 | 360552 | 79891 9 | 5 | 736 1377.78/1378.13 c 1375s | 18 | 2491792 | 360952 | 79891 9 | 5 | 736 1379.88/1380.25 c 1377s | 18 | 2495622 | 361452 | 79891 9 | 5 | 736 1382.48/1382.89 c 1380s | 18 | 2499975 | 362052 | 79891 9 | 5 | 736 1384.88/1385.22 c 1382s | 18 | 2504441 | 362452 | 79891 9 | 5 | 736 1387.17/1387.59 c 1385s | 18 | 2508656 | 362852 | 79891 9 | 5 | 736 1389.37/1389.72 c 1387s | 18 | 2513890 | 363552 | 79891 9 | 5 | 736 1391.67/1392.00 c 1389s | 18 | 2518369 | 364052 | 79891 9 | 5 | 736 1393.67/1394.03 c 1391s | 18 | 2521277 | 364352 | 79891 9 | 5 | 736 1395.97/1396.36 c 1393s | 18 | 2526073 | 364852 | 79891 9 | 5 | 736 1398.17/1398.56 c 1396s | 18 | 2530206 | 365352 | 79891 9 | 5 | 736 1400.27/1400.61 c 1398s | 18 | 2535389 | 365752 | 79891 9 | 5 | 736 1402.47/1402.83 c 1400s | 18 | 2539043 | 366352 | 79891 9 | 5 | 736 1404.97/1405.39 c 1402s | 18 | 2543471 | 366852 | 79891 9 | 5 | 736 1407.27/1407.60 c 1405s | 18 | 2548292 | 367452 | 79891 9 | 5 | 736 1409.56/1409.98 c 1407s | 18 | 2554494 | 367952 | 79891 9 | 5 | 736 1411.86/1412.23 c 1409s | 18 | 2558573 | 368352 | 79891 9 | 5 | 736 1414.06/1414.49 c 1412s | 18 | 2563167 | 369052 | 79891 9 | 5 | 736 1416.57/1416.91 c 1414s | 18 | 2569477 | 369552 | 79891 9 | 5 | 736 1418.56/1418.92 c 1416s | 18 | 2572883 | 370052 | 79891 9 | 5 | 736 1420.87/1421.27 c 1418s | 18 | 2577711 | 370652 | 79891 9 | 5 | 736 1423.07/1423.50 c 1421s | 18 | 2582009 | 371152 | 79891 9 | 5 | 736 1425.16/1425.52 c 1423s | 18 | 2587345 | 371852 | 79891 9 | 5 | 736 1427.16/1427.56 c 1425s | 18 | 2589849 | 372252 | 79891 9 | 5 | 736 1429.15/1429.59 c 1427s | 18 | 2593493 | 372752 | 79891 9 | 5 | 736 1431.25/1431.63 c 1429s | 18 | 2596355 | 373152 | 79891 9 | 5 | 736 1433.45/1433.84 c 1431s | 18 | 2599750 | 373752 | 79891 9 | 5 | 736 1435.65/1436.09 c 1433s | 18 | 2603301 | 374352 | 79891 9 | 5 | 736 1437.85/1438.23 c 1435s | 18 | 2607824 | 374852 | 79891 9 | 5 | 736 1440.25/1440.66 c 1438s | 18 | 2612051 | 375552 | 79891 9 | 5 | 736 1442.35/1442.75 c 1440s | 18 | 2615578 | 376052 | 79891 9 | 5 | 736 1444.45/1444.88 c 1442s | 18 | 2621065 | 376752 | 79891 9 | 5 | 736 1446.75/1447.13 c 1444s | 18 | 2624712 | 377352 | 79891 9 | 5 | 736 1449.04/1449.41 c 1446s | 18 | 2628811 | 378052 | 79891 9 | 5 | 736 1451.14/1451.58 c 1449s | 18 | 2631895 | 378752 | 79891 9 | 5 | 736 1453.14/1453.59 c 1451s | 18 | 2635056 | 379352 | 79891 9 | 5 | 736 1455.24/1455.67 c 1453s | 18 | 2637695 | 379952 | 79891 9 | 5 | 736 1457.54/1457.91 c 1455s | 18 | 2640068 | 380652 | 79891 9 | 5 | 736 1459.54/1459.97 c 1457s | 18 | 2642800 | 381352 | 79891 9 | 5 | 736 1461.84/1462.24 c 1459s | 18 | 2645431 | 382152 | 79891 9 | 5 | 736 1464.14/1464.50 c 1462s | 18 | 2648985 | 382952 | 79891 9 | 5 | 736 1466.24/1466.63 c 1464s | 18 | 2653227 | 383252 | 79891 9 | 5 | 736 1468.73/1469.10 c 1466s | 18 | 2659227 | 383652 | 79891 9 | 5 | 736 1471.03/1471.41 c 1468s | 18 | 2663824 | 384052 | 79891 9 | 5 | 736 1473.03/1473.41 c 1470s | 18 | 2668979 | 384652 | 79891 9 | 5 | 736 1475.33/1475.72 c 1473s | 18 | 2674481 | 385152 | 79891 9 | 5 | 736 1477.43/1477.87 c 1475s | 18 | 2678225 | 385452 | 79891 9 | 5 | 736 1479.53/1479.91 c 1477s | 18 | 2681488 | 385752 | 79891 9 | 5 | 736 1481.53/1481.93 c 1479s | 18 | 2684617 | 386152 | 79891 9 | 5 | 736 1484.23/1484.60 c 1482s | 18 | 2688092 | 386752 | 79891 9 | 5 | 736 1486.73/1487.19 c 1484s | 18 | 2693321 | 387152 | 79891 9 | 5 | 736 1488.83/1489.28 c 1486s | 18 | 2695786 | 387452 | 79891 9 | 5 | 736 1491.03/1491.42 c 1488s | 18 | 2698758 | 387952 | 79891 9 | 5 | 736 1493.43/1493.86 c 1491s | 18 | 2701325 | 388352 | 79891 9 | 5 | 736 1496.03/1496.47 c 1494s | 18 | 2707296 | 388752 | 79891 9 | 5 | 736 1498.23/1498.68 c 1496s | 18 | 2710269 | 389052 | 79891 9 | 5 | 736 1500.62/1501.06 c 1498s | 18 | 2713032 | 389452 | 79891 9 | 5 | 736 1502.92/1503.38 c 1500s | 18 | 2715760 | 389852 | 79891 9 | 5 | 736 1505.12/1505.57 c 1503s | 18 | 2720528 | 390252 | 79891 9 | 5 | 736 1507.52/1507.90 c 1505s | 18 | 2722436 | 390752 | 79891 9 | 5 | 736 1509.93/1510.32 c 1507s | 18 | 2725882 | 391152 | 79891 9 | 5 | 736 1512.23/1512.68 c 1510s | 18 | 2730571 | 391852 | 79891 9 | 5 | 736 1514.43/1514.86 c 1512s | 18 | 2734366 | 392252 | 79891 9 | 5 | 736 1517.02/1517.45 c 1515s | 18 | 2738596 | 392652 | 79891 9 | 5 | 736 1519.22/1519.62 c 1517s | 18 | 2741921 | 393052 | 79891 9 | 5 | 736 1521.22/1521.64 c 1519s | 18 | 2743931 | 393552 | 79891 9 | 5 | 736 1524.33/1524.73 c 1522s | 18 | 2747080 | 393852 | 79891 10 | 5 | 736 1526.62/1527.06 c 1524s | 18 | 2751316 | 394252 | 79891 10 | 5 | 736 1528.82/1529.25 c 1526s | 18 | 2754890 | 394852 | 79891 10 | 5 | 736 1530.93/1531.35 c 1528s | 18 | 2758471 | 395252 | 79891 10 | 5 | 736 1533.13/1533.55 c 1531s | 18 | 2761841 | 395852 | 79891 10 | 5 | 736 1535.52/1535.91 c 1533s | 18 | 2765221 | 396352 | 79891 10 | 5 | 736 1537.62/1538.06 c 1535s | 18 | 2768261 | 396952 | 79891 10 | 5 | 736 1540.02/1540.46 c 1538s | 18 | 2772499 | 397452 | 79891 10 | 5 | 736 1542.12/1542.54 c 1540s | 18 | 2776330 | 398052 | 79891 10 | 5 | 736 1544.12/1544.56 c 1542s | 18 | 2779592 | 398552 | 79891 10 | 5 | 736 1546.32/1546.74 c 1544s | 18 | 2784248 | 399252 | 79891 10 | 5 | 736 1548.52/1548.99 c 1546s | 18 | 2789063 | 399752 | 79891 10 | 5 | 736 1550.92/1551.39 c 1548s | 18 | 2792762 | 400352 | 79891 10 | 5 | 736 1553.31/1553.72 c 1551s | 18 | 2795561 | 400952 | 79891 10 | 5 | 736 1555.61/1556.05 c 1553s | 18 | 2798976 | 401552 | 79891 10 | 5 | 736 1557.91/1558.32 c 1555s | 18 | 2803284 | 402252 | 79891 10 | 5 | 736 1560.11/1560.50 c 1558s | 18 | 2806620 | 402852 | 79891 10 | 5 | 736 1562.11/1562.56 c 1560s | 18 | 2809619 | 403452 | 79891 10 | 5 | 736 1564.21/1564.64 c 1562s | 18 | 2813090 | 404252 | 79891 10 | 5 | 736 1566.31/1566.75 c 1564s | 18 | 2815468 | 404952 | 79891 10 | 5 | 736 1568.51/1568.94 c 1566s | 18 | 2817998 | 405752 | 79891 10 | 5 | 736 1570.61/1571.01 c 1568s | 18 | 2820533 | 406552 | 79891 10 | 5 | 736 1573.51/1573.92 c 1571s | 18 | 2823408 | 407352 | 79891 10 | 5 | 736 1575.51/1575.92 c 1573s | 18 | 2826600 | 407852 | 79891 10 | 5 | 736 1577.91/1578.33 c 1575s | 18 | 2831049 | 408352 | 79891 10 | 5 | 736 1580.41/1580.83 c 1578s | 18 | 2835783 | 408752 | 79891 10 | 5 | 736 1582.41/1582.90 c 1580s | 18 | 2838640 | 409052 | 79891 10 | 5 | 736 1584.71/1585.16 c 1582s | 18 | 2842130 | 409452 | 79891 10 | 5 | 736 1587.11/1587.50 c 1585s | 18 | 2845326 | 410052 | 79891 10 | 5 | 736 1589.41/1589.84 c 1587s | 18 | 2850105 | 410452 | 79891 10 | 5 | 736 1591.61/1592.02 c 1589s | 18 | 2852156 | 410752 | 79891 10 | 5 | 736 1593.90/1594.33 c 1591s | 18 | 2857499 | 411152 | 79891 10 | 5 | 736 1596.10/1596.52 c 1594s | 18 | 2860713 | 411652 | 79891 10 | 5 | 736 1598.40/1598.89 c 1596s | 18 | 2864486 | 412152 | 79891 10 | 5 | 736 1600.70/1601.12 c 1598s | 18 | 2867900 | 412752 | 79891 10 | 5 | 736 1602.90/1603.30 c 1600s | 18 | 2872030 | 413152 | 79891 10 | 5 | 736 1605.30/1605.76 c 1603s | 18 | 2876859 | 413552 | 79891 10 | 5 | 736 1607.60/1608.08 c 1605s | 18 | 2880289 | 413952 | 79891 10 | 5 | 736 1610.11/1610.59 c 1608s | 18 | 2883936 | 414552 | 79891 10 | 5 | 736 1612.70/1613.10 c 1610s | 18 | 2887419 | 414952 | 79891 10 | 5 | 736 1614.80/1615.23 c 1612s | 18 | 2890588 | 415452 | 79891 10 | 5 | 736 1617.40/1617.81 c 1615s | 18 | 2894182 | 415952 | 79891 10 | 5 | 736 1619.50/1619.99 c 1617s | 18 | 2896649 | 416352 | 79891 10 | 5 | 736 1621.70/1622.16 c 1619s | 18 | 2901192 | 416952 | 79891 10 | 5 | 736 1623.90/1624.32 c 1621s | 18 | 2906324 | 417352 | 79891 10 | 5 | 736 1625.90/1626.35 c 1623s | 18 | 2910327 | 417852 | 79891 10 | 5 | 736 1628.10/1628.53 c 1626s | 18 | 2914153 | 418352 | 79891 10 | 5 | 736 1630.40/1630.84 c 1628s | 18 | 2917710 | 418952 | 79891 10 | 5 | 736 1632.60/1633.07 c 1630s | 18 | 2921323 | 419552 | 79891 10 | 5 | 736 1635.10/1635.58 c 1633s | 18 | 2925422 | 420052 | 79891 10 | 5 | 736 1637.30/1637.72 c 1635s | 18 | 2930376 | 420552 | 79891 10 | 5 | 736 1639.60/1640.08 c 1637s | 18 | 2933699 | 421152 | 79891 10 | 5 | 736 1642.20/1642.60 c 1640s | 18 | 2937064 | 421752 | 79891 10 | 5 | 736 1644.60/1645.00 c 1642s | 18 | 2939006 | 422252 | 79891 10 | 5 | 736 1646.90/1647.33 c 1644s | 18 | 2944092 | 422952 | 79891 10 | 5 | 736 1648.90/1649.33 c 1646s | 18 | 2947888 | 423552 | 79891 10 | 5 | 736 1651.00/1651.49 c 1649s | 18 | 2952036 | 424152 | 79891 10 | 5 | 736 1653.09/1653.50 c 1651s | 18 | 2956353 | 424952 | 79891 10 | 5 | 736 1655.10/1655.55 c 1653s | 18 | 2960335 | 425652 | 79891 10 | 5 | 736 1657.19/1657.60 c 1655s | 18 | 2963781 | 426352 | 79891 10 | 5 | 736 1659.39/1659.86 c 1657s | 18 | 2965660 | 427052 | 79891 10 | 5 | 736 1661.49/1661.91 c 1659s | 18 | 2967377 | 427852 | 79891 10 | 5 | 736 1663.49/1663.97 c 1661s | 18 | 2969787 | 428452 | 79891 10 | 5 | 736 1665.49/1665.99 c 1663s | 18 | 2972363 | 428752 | 79891 10 | 5 | 736 1667.79/1668.26 c 1665s | 18 | 2974209 | 429252 | 79891 10 | 5 | 736 1670.09/1670.56 c 1668s | 18 | 2977257 | 429652 | 79891 10 | 5 | 736 1672.29/1672.74 c 1670s | 18 | 2980112 | 429952 | 79891 10 | 5 | 736 1674.49/1674.91 c 1672s | 18 | 2983202 | 430252 | 79891 10 | 5 | 736 1676.79/1677.28 c 1674s | 18 | 2989216 | 430652 | 79891 10 | 5 | 736 1678.99/1679.48 c 1677s | 18 | 2993450 | 431152 | 79891 10 | 5 | 736 1681.60/1682.03 c 1679s | 18 | 2998008 | 431652 | 79891 10 | 5 | 736 1683.59/1684.08 c 1681s | 18 | 3001197 | 431952 | 79891 10 | 5 | 736 1686.00/1686.43 c 1684s | 18 | 3004750 | 432352 | 79891 10 | 5 | 736 1687.99/1688.43 c 1686s | 18 | 3007463 | 432752 | 79891 10 | 5 | 736 1690.59/1691.02 c 1688s | 18 | 3011024 | 433352 | 79891 10 | 5 | 736 1692.69/1693.10 c 1690s | 18 | 3014107 | 433652 | 79891 10 | 5 | 736 1695.09/1695.57 c 1693s | 18 | 3017141 | 434052 | 79891 10 | 5 | 736 1697.39/1697.84 c 1695s | 18 | 3020060 | 434552 | 79891 10 | 5 | 736 1699.49/1699.97 c 1697s | 18 | 3022391 | 434852 | 79891 11 | 5 | 736 1702.09/1702.59 c 1700s | 18 | 3027497 | 435252 | 79891 11 | 5 | 736 1704.19/1704.64 c 1702s | 18 | 3031286 | 435752 | 79891 11 | 5 | 736 1706.29/1706.72 c 1704s | 18 | 3036062 | 436352 | 79891 11 | 5 | 736 1708.39/1708.81 c 1706s | 18 | 3041226 | 436852 | 79891 11 | 5 | 736 1710.49/1710.97 c 1708s | 18 | 3046176 | 437552 | 79891 11 | 5 | 736 1712.69/1713.13 c 1710s | 18 | 3050103 | 438052 | 79891 11 | 5 | 736 1715.09/1715.59 c 1713s | 18 | 3054109 | 438652 | 79891 11 | 5 | 736 1717.48/1717.93 c 1715s | 18 | 3058181 | 439152 | 79891 11 | 5 | 736 1719.99/1720.48 c 1718s | 18 | 3062415 | 439852 | 79891 11 | 5 | 736 1722.48/1722.92 c 1720s | 18 | 3068017 | 440352 | 79891 11 | 5 | 736 1724.88/1725.32 c 1722s | 18 | 3071275 | 440952 | 79891 11 | 5 | 736 1727.08/1727.59 c 1725s | 18 | 3075383 | 441652 | 87881 11 | 5 | 736 1729.18/1729.65 c 1727s | 18 | 3078987 | 442052 | 87881 11 | 5 | 736 1731.28/1731.73 c 1729s | 18 | 3081239 | 442652 | 87881 11 | 5 | 736 1733.38/1733.82 c 1731s | 18 | 3083231 | 443152 | 87881 11 | 5 | 736 1735.58/1736.04 c 1733s | 18 | 3086698 | 443752 | 87881 11 | 5 | 736 1737.98/1738.40 c 1735s | 18 | 3089790 | 444252 | 87881 11 | 5 | 736 1738.48/1738.93 c 1736s | 19 | 3090709 | 444482 | 87881 11 | 5 | 736 1740.68/1741.18 c 1738s | 19 | 3093755 | 444982 | 87881 11 | 5 | 736 1742.98/1743.41 c 1740s | 19 | 3097054 | 445682 | 87881 11 | 5 | 736 1745.08/1745.50 c 1743s | 19 | 3099826 | 446282 | 87881 11 | 5 | 736 1747.18/1747.69 c 1745s | 19 | 3102574 | 446982 | 87881 11 | 5 | 736 1749.38/1749.87 c 1747s | 19 | 3105418 | 447682 | 87881 11 | 5 | 736 1751.58/1752.04 c 1749s | 19 | 3108123 | 448482 | 87881 11 | 5 | 736 1753.58/1754.07 c 1751s | 19 | 3110283 | 449282 | 87881 11 | 5 | 736 1791.67/1792.12 c 1789s | 19 | 3111901 | 449682 | 87881 11 | 5 | 736
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-4097996-1466119101/watcher-4097996-1466119101 -o /tmp/evaluation-result-4097996-1466119101/solver-4097996-1466119101 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466119081-29554 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097996-1466119101.opb pid=29731 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.54 1.47 1.76 4/177 29734 /proc/meminfo: memFree=30311980/32872528 swapFree=446836/479540 [pid=29734] ppid=29731 vsize=779708 CPUtime=0 cores=0,2,4,6 /proc/29734/stat : 29734 (toysat) R 29731 29734 25636 0 -1 4202496 2917 0 0 0 0 0 0 0 20 0 4 0 13960294 798420992 3277 33554432000 4194304 16246674 140736163273888 140736163273312 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29734/statm: 195439 3286 441 2943 0 192333 0 [pid=29734/tid=29735] ppid=29731 vsize=798140 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29735/stat : 29735 (toysat) S 29731 29734 25636 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960294 817295360 3349 33554432000 4194304 16246674 140736163273888 140276957949168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29734/tid=29736] ppid=29731 vsize=802236 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29736/stat : 29736 (toysat) S 29731 29734 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960294 821489664 3367 33554432000 4194304 16246674 140736163273888 140276947459312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29734/tid=29737] ppid=29731 vsize=806332 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29737/stat : 29737 (toysat) S 29731 29734 25636 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13960294 825683968 3383 33554432000 4194304 16246674 140736163273888 140276936985776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100168 s] /proc/loadavg: 1.54 1.47 1.76 4/177 29734 /proc/meminfo: memFree=30311980/32872528 swapFree=446836/479540 [pid=29734] ppid=29731 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/29734/stat : 29734 (toysat) R 29731 29734 25636 0 -1 4202496 29229 0 0 0 5 4 0 0 20 0 4 0 13960294 1333334016 29528 33554432000 4194304 16246674 140736163273888 140736163273200 12752373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29734/statm: 325521 29543 802 2943 0 322415 0 [pid=29734/tid=29735] ppid=29731 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29735/stat : 29735 (toysat) S 29731 29734 25636 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960294 1333334016 29554 33554432000 4194304 16246674 140736163273888 140276957949168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29734/tid=29736] ppid=29731 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29736/stat : 29736 (toysat) S 29731 29734 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960294 1333334016 29564 33554432000 4194304 16246674 140736163273888 140276947459312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29734/tid=29737] ppid=29731 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29737/stat : 29737 (toysat) S 29731 29734 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960294 1333334016 29575 33554432000 4194304 16246674 140736163273888 140276936985776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200452 s] /proc/loadavg: 1.54 1.47 1.76 4/177 29734 /proc/meminfo: memFree=30311980/32872528 swapFree=446836/479540 [pid=29734] ppid=29731 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/29734/stat : 29734 (toysat) R 29731 29734 25636 0 -1 4202496 47530 0 0 0 12 7 0 0 20 0 4 0 13960294 1344868352 48339 33554432000 4194304 16246674 140736163273888 140736163273200 8058858 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29734/statm: 328337 48339 802 2943 0 325231 0 [pid=29734/tid=29735] ppid=29731 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29735/stat : 29735 (toysat) S 29731 29734 25636 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960294 1344868352 48339 33554432000 4194304 16246674 140736163273888 140276957949168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29734/tid=29736] ppid=29731 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29736/stat : 29736 (toysat) S 29731 29734 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960294 1344868352 48339 33554432000 4194304 16246674 140736163273888 140276947459312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29734/tid=29737] ppid=29731 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29737/stat : 29737 (toysat) S 29731 29734 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960294 1344868352 48339 33554432000 4194304 16246674 140736163273888 140276936985776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300458 s] /proc/loadavg: 1.54 1.47 1.76 4/177 29734 /proc/meminfo: memFree=30311980/32872528 swapFree=446836/479540 [pid=29734] ppid=29731 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/29734/stat : 29734 (toysat) R 29731 29734 25636 0 -1 4202496 59553 0 0 0 21 8 0 0 20 0 4 0 13960294 1344868352 60362 33554432000 4194304 16246674 140736163273888 140736163273200 7376592 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29734/statm: 328337 60362 802 2943 0 325231 0 [pid=29734/tid=29735] ppid=29731 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29735/stat : 29735 (toysat) S 29731 29734 25636 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960294 1344868352 60362 33554432000 4194304 16246674 140736163273888 140276957949168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29734/tid=29736] ppid=29731 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29736/stat : 29736 (toysat) S 29731 29734 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960294 1344868352 60362 33554432000 4194304 16246674 140736163273888 140276947459312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29734/tid=29737] ppid=29731 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29737/stat : 29737 (toysat) S 29731 29734 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960294 1344868352 60362 33554432000 4194304 16246674 140736163273888 140276936985776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700337 s] /proc/loadavg: 1.54 1.47 1.76 4/177 29734 /proc/meminfo: memFree=30311980/32872528 swapFree=446836/479540 [pid=29734] ppid=29731 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/29734/stat : 29734 (toysat) R 29731 29734 25636 0 -1 4202496 69894 0 0 0 59 10 0 0 20 0 4 0 13960294 1344868352 70703 33554432000 4194304 16246674 140736163273888 140736163273200 7440576 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29734/statm: 328337 70703 803 2943 0 325231 0 [pid=29734/tid=29735] ppid=29731 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29735/stat : 29735 (toysat) S 29731 29734 25636 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960294 1344868352 70703 33554432000 4194304 16246674 140736163273888 140276957949168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29734/tid=29736] ppid=29731 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29736/stat : 29736 (toysat) S 29731 29734 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960294 1344868352 70703 33554432000 4194304 16246674 140736163273888 140276947459312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29734/tid=29737] ppid=29731 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29737/stat : 29737 (toysat) S 29731 29734 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960294 1344868352 70703 33554432000 4194304 16246674 140736163273888 140276936985776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50033 s] /proc/loadavg: 1.54 1.47 1.76 4/181 29738 /proc/meminfo: memFree=29861368/32872528 swapFree=446836/479540 [pid=29734] ppid=29731 vsize=1313348 CPUtime=1.49 cores=0,2,4,6 /proc/29734/stat : 29734 (toysat) R 29731 29734 25636 0 -1 4202496 217404 0 0 0 118 31 0 0 20 0 4 0 13960294 1344868352 218213 33554432000 4194304 16246674 140736163273888 140736163256880 5589389 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29734/statm: 328337 218221 837 2943 0 325231 0 [pid=29734/tid=29735] ppid=29731 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29735/stat : 29735 (toysat) S 29731 29734 25636 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960294 1344868352 218228 33554432000 4194304 16246674 140736163273888 140276957949168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29734/tid=29736] ppid=29731 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29736/stat : 29736 (toysat) S 29731 29734 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960294 1344868352 218237 33554432000 4194304 16246674 140736163273888 140276947459312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29734/tid=29737] ppid=29731 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29737/stat : 29737 (toysat) S 29731 29734 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960294 1344868352 218244 33554432000 4194304 16246674 140736163273888 140276936985776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10033 s] /proc/loadavg: 1.54 1.47 1.76 4/181 29738 /proc/meminfo: memFree=29221052/32872528 swapFree=446836/479540 [pid=29734] ppid=29731 vsize=1326660 CPUtime=3.08 cores=0,2,4,6 /proc/29734/stat : 29734 (toysat) R 29731 29734 25636 0 -1 4202496 272333 0 0 0 271 37 0 0 20 0 4 0 13960294 1358499840 273142 33554432000 4194304 16246674 140736163273888 140736163255808 12997672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29734/statm: 331665 273142 884 2943 0 328559 0 [pid=29734/tid=29735] ppid=29731 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29735/stat : 29735 (toysat) S 29731 29734 25636 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960294 1358499840 273142 33554432000 4194304 16246674 140736163273888 140276957949168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29734/tid=29736] ppid=29731 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29736/stat : 29736 (toysat) S 29731 29734 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960294 1358499840 273142 33554432000 4194304 16246674 140736163273888 140276947459312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29734/tid=29737] ppid=29731 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29737/stat : 29737 (toysat) S 29731 29734 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960294 1358499840 273142 33554432000 4194304 16246674 140736163273888 140276936985776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1326660 [startup+6.30033 s] /proc/loadavg: 1.57 1.48 1.76 4/181 29738 /proc/meminfo: memFree=29220440/32872528 swapFree=446836/479540 [pid=29734] ppid=29731 vsize=1326660 CPUtime=6.28 cores=0,2,4,6 /proc/29734/stat : 29734 (toysat) R 29731 29734 25636 0 -1 4202496 272338 0 0 0 591 37 0 0 20 0 4 0 13960294 1358499840 273147 33554432000 4194304 16246674 140736163273888 140736163255808 5545708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29734/statm: 331665 273147 887 2943 0 328559 0 [pid=29734/tid=29735] ppid=29731 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29735/stat : 29735 (toysat) S 29731 29734 25636 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960294 1358499840 273147 33554432000 4194304 16246674 140736163273888 140276957949168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29734/tid=29736] ppid=29731 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29736/stat : 29736 (toysat) S 29731 29734 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960294 1358499840 273147 33554432000 4194304 16246674 140736163273888 140276947459312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29734/tid=29737] ppid=29731 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29737/stat : 29737 (toysat) S 29731 29734 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960294 1358499840 273147 33554432000 4194304 16246674 140736163273888 140276936985776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1326660 [startup+12.7004 s] /proc/loadavg: 1.69 1.51 1.77 4/181 29738 /proc/meminfo: memFree=29220384/32872528 swapFree=446836/479540 [pid=29734] ppid=29731 vsize=1326660 CPUtime=12.68 cores=0,2,4,6 /proc/29734/stat : 29734 (toysat) R 29731 29734 25636 0 -1 4202496 272339 0 0 0 1231 37 0 0 20 0 4 0 13960294 1358499840 273148 33554432000 4194304 16246674 140736163273888 140736163255808 5530676 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29734/statm: 331665 273148 887 2943 0 328559 0 [pid=29734/tid=29735] ppid=29731 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29735/stat : 29735 (toysat) S 29731 29734 25636 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960294 1358499840 273148 33554432000 4194304 16246674 140736163273888 140276957949168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29734/tid=29736] ppid=29731 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29736/stat : 29736 (toysat) S 29731 29734 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960294 1358499840 273148 33554432000 4194304 16246674 140736163273888 140276947459312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29734/tid=29737] ppid=29731 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29737/stat : 29737 (toysat) S 29731 29734 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960294 1358499840 273148 33554432000 4194304 16246674 140736163273888 140276936985776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1326660 [startup+25.5005 s] /proc/loadavg: 1.76 1.53 1.77 5/181 29738 /proc/meminfo: memFree=29220656/32872528 swapFree=446836/479540 [pid=29734] ppid=29731 vsize=1326660 CPUtime=25.48 cores=0,2,4,6 /proc/29734/stat : 29734 (toysat) R 29731 29734 25636 0 -1 4202496 272339 0 0 0 2511 37 0 0 20 0 4 0 13960294 1358499840 273148 33554432000 4194304 16246674 140736163273888 140736163255808 5754796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29734/statm: 331665 273148 887 2943 0 328559 0 [pid=29734/tid=29735] ppid=29731 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29735/stat : 29735 (toysat) S 29731 29734 25636 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960294 1358499840 273148 33554432000 4194304 16246674 140736163273888 140276957949168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29734/tid=29736] ppid=29731 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29736/stat : 29736 (toysat) S 29731 29734 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960294 1358499840 273148 33554432000 4194304 16246674 140736163273888 140276947459312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29734/tid=29737] ppid=29731 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29737/stat : 29737 (toysat) S 29731 29734 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960294 1358499840 273148 33554432000 4194304 16246674 140736163273888 140276936985776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1326660 [startup+51.1004 s] /proc/loadavg: 1.84 1.57 1.78 4/181 29738 /proc/meminfo: memFree=29220908/32872528 swapFree=446836/479540 [pid=29734] ppid=29731 vsize=1326660 CPUtime=51.08 cores=0,2,4,6 /proc/29734/stat : 29734 (toysat) R 29731 29734 25636 0 -1 4202496 272339 0 0 0 5071 37 0 0 20 0 4 0 13960294 1358499840 273148 33554432000 4194304 16246674 140736163273888 140736163255808 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29734/statm: 331665 273148 887 2943 0 328559 0 [pid=29734/tid=29735] ppid=29731 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29735/stat : 29735 (toysat) S 29731 29734 25636 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960294 1358499840 273148 33554432000 4194304 16246674 140736163273888 140276957949168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29734/tid=29736] ppid=29731 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29736/stat : 29736 (toysat) S 29731 29734 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960294 1358499840 273148 33554432000 4194304 16246674 140736163273888 140276947459312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29734/tid=29737] ppid=29731 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29737/stat : 29737 (toysat) S 29731 29734 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960294 1358499840 273148 33554432000 4194304 16246674 140736163273888 140276936985776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1326660 [startup+102.3 s] /proc/loadavg: 1.97 1.64 1.79 4/182 29742 /proc/meminfo: memFree=29220132/32872528 swapFree=446836/479540 [pid=29734] ppid=29731 vsize=1326660 CPUtime=102.28 cores=0,2,4,6 /proc/29734/stat : 29734 (toysat) R 29731 29734 25636 0 -1 4202496 272339 0 0 0 10191 37 0 0 20 0 4 0 13960294 1358499840 273148 33554432000 4194304 16246674 140736163273888 140736163255808 5677667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29734/statm: 331665 273148 887 2943 0 328559 0 [pid=29734/tid=29735] ppid=29731 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29735/stat : 29735 (toysat) S 29731 29734 25636 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960294 1358499840 273148 33554432000 4194304 16246674 140736163273888 140276957949168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29734/tid=29736] ppid=29731 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29736/stat : 29736 (toysat) S 29731 29734 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960294 1358499840 273148 33554432000 4194304 16246674 140736163273888 140276947459312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29734/tid=29737] ppid=29731 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29737/stat : 29737 (toysat) S 29731 29734 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960294 1358499840 273148 33554432000 4194304 16246674 140736163273888 140276936985776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1326660 ################ # More data... # ################ /proc/29734/task/29737/stat : 29737 (toysat) S 29731 29734 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276936985776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 1427012 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 1.96 4/181 29773 /proc/meminfo: memFree=29034460/32872528 swapFree=446836/479540 [pid=29734] ppid=29731 vsize=1427012 CPUtime=1361.99 cores=0,2,4,6 /proc/29734/stat : 29734 (toysat) R 29731 29734 25636 0 -1 4202496 297607 0 0 0 136151 48 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140736163255808 5546200 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29734/statm: 356753 298241 888 2943 0 353647 0 [pid=29734/tid=29735] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29735/stat : 29735 (toysat) S 29731 29734 25636 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276957949168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29734/tid=29736] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29736/stat : 29736 (toysat) S 29731 29734 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276947459312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29734/tid=29737] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29737/stat : 29737 (toysat) S 29731 29734 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276936985776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 1427012 [startup+1422.3 s] /proc/loadavg: 2.08 2.04 1.97 4/181 29774 /proc/meminfo: memFree=29034728/32872528 swapFree=446836/479540 [pid=29734] ppid=29731 vsize=1427012 CPUtime=1421.97 cores=0,2,4,6 /proc/29734/stat : 29734 (toysat) R 29731 29734 25636 0 -1 4202496 297638 0 0 0 142149 48 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140736163255808 12861128 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29734/statm: 356753 298241 888 2943 0 353647 0 [pid=29734/tid=29735] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29735/stat : 29735 (toysat) S 29731 29734 25636 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276957949168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29734/tid=29736] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29736/stat : 29736 (toysat) S 29731 29734 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276947459312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29734/tid=29737] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29737/stat : 29737 (toysat) S 29731 29734 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276936985776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 1427012 [startup+1482.3 s] /proc/loadavg: 2.11 2.04 1.97 4/181 29776 /proc/meminfo: memFree=29033508/32872528 swapFree=446836/479540 [pid=29734] ppid=29731 vsize=1427012 CPUtime=1481.93 cores=0,2,4,6 /proc/29734/stat : 29734 (toysat) R 29731 29734 25636 0 -1 4202496 297673 0 0 0 148145 48 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140736163255808 5823218 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29734/statm: 356753 298241 888 2943 0 353647 0 [pid=29734/tid=29735] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29735/stat : 29735 (toysat) S 29731 29734 25636 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276957949168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29734/tid=29736] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29736/stat : 29736 (toysat) S 29731 29734 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276947459312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29734/tid=29737] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29737/stat : 29737 (toysat) S 29731 29734 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276936985776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1427012 [startup+1542.31 s] /proc/loadavg: 2.04 2.03 1.97 5/181 29777 /proc/meminfo: memFree=29034148/32872528 swapFree=446836/479540 [pid=29734] ppid=29731 vsize=1427012 CPUtime=1541.92 cores=0,2,4,6 /proc/29734/stat : 29734 (toysat) R 29731 29734 25636 0 -1 4202496 297681 0 0 0 154144 48 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140736163272984 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29734/statm: 356753 298241 888 2943 0 353647 0 [pid=29734/tid=29735] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29735/stat : 29735 (toysat) S 29731 29734 25636 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276957949168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29734/tid=29736] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29736/stat : 29736 (toysat) S 29731 29734 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276947459312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29734/tid=29737] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29737/stat : 29737 (toysat) S 29731 29734 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276936985776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1427012 [startup+1602.3 s] /proc/loadavg: 2.05 2.04 1.98 4/181 29778 /proc/meminfo: memFree=29034436/32872528 swapFree=446836/479540 [pid=29734] ppid=29731 vsize=1427012 CPUtime=1601.9 cores=0,2,4,6 /proc/29734/stat : 29734 (toysat) R 29731 29734 25636 0 -1 4202496 297683 0 0 0 160142 48 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140736163255808 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29734/statm: 356753 298241 888 2943 0 353647 0 [pid=29734/tid=29735] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29735/stat : 29735 (toysat) S 29731 29734 25636 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276957949168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29734/tid=29736] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29736/stat : 29736 (toysat) S 29731 29734 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276947459312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29734/tid=29737] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29737/stat : 29737 (toysat) S 29731 29734 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276936985776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1427012 [startup+1662.3 s] /proc/loadavg: 2.10 2.06 1.99 4/181 29779 /proc/meminfo: memFree=29034688/32872528 swapFree=446836/479540 [pid=29734] ppid=29731 vsize=1427012 CPUtime=1661.89 cores=0,2,4,6 /proc/29734/stat : 29734 (toysat) R 29731 29734 25636 0 -1 4202496 297683 0 0 0 166141 48 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140736163255808 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29734/statm: 356753 298241 888 2943 0 353647 0 [pid=29734/tid=29735] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29735/stat : 29735 (toysat) S 29731 29734 25636 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276957949168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29734/tid=29736] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29736/stat : 29736 (toysat) S 29731 29734 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276947459312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29734/tid=29737] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29737/stat : 29737 (toysat) S 29731 29734 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276936985776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1427012 [startup+1722.3 s] /proc/loadavg: 2.07 2.06 2.00 4/181 29780 /proc/meminfo: memFree=29034560/32872528 swapFree=446836/479540 [pid=29734] ppid=29731 vsize=1427012 CPUtime=1721.88 cores=0,2,4,6 /proc/29734/stat : 29734 (toysat) R 29731 29734 25636 0 -1 4202496 297683 0 0 0 172140 48 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140736163255808 12483640 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29734/statm: 356753 298241 888 2943 0 353647 0 [pid=29734/tid=29735] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29735/stat : 29735 (toysat) S 29731 29734 25636 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276957949168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29734/tid=29736] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29736/stat : 29736 (toysat) S 29731 29734 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276947459312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29734/tid=29737] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29737/stat : 29737 (toysat) S 29731 29734 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276936985776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1427012 [startup+1782.3 s] /proc/loadavg: 2.06 2.06 2.00 2/171 29813 /proc/meminfo: memFree=30236824/32872528 swapFree=446836/479540 [pid=29734] ppid=29731 vsize=1427012 CPUtime=1781.87 cores=0,2,4,6 /proc/29734/stat : 29734 (toysat) R 29731 29734 25636 0 -1 4202496 297683 0 0 0 178138 49 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140736163272984 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29734/statm: 356753 298241 888 2943 0 353647 0 [pid=29734/tid=29735] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29735/stat : 29735 (toysat) S 29731 29734 25636 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276957949168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29734/tid=29736] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29736/stat : 29736 (toysat) S 29731 29734 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276947459312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29734/tid=29737] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29737/stat : 29737 (toysat) S 29731 29734 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276936985776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 1427012 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.83 2.00 1.98 2/171 29813 /proc/meminfo: memFree=30237556/32872528 swapFree=446836/479540 [pid=29734] ppid=29731 vsize=1427012 CPUtime=1800.08 cores=0,2,4,6 /proc/29734/stat : 29734 (toysat) R 29731 29734 25636 0 -1 4202496 297683 0 0 0 179957 51 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140736163272984 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29734/statm: 356753 298241 888 2943 0 353647 0 [pid=29734/tid=29735] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29735/stat : 29735 (toysat) S 29731 29734 25636 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276957949168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29734/tid=29736] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29736/stat : 29736 (toysat) S 29731 29734 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276947459312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29734/tid=29737] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29737/stat : 29737 (toysat) S 29731 29734 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276936985776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1427012 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 29734 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.83 2.00 1.98 2/171 29813 /proc/meminfo: memFree=30237556/32872528 swapFree=446836/479540 [pid=29734] ppid=29731 vsize=1427012 CPUtime=1800.08 cores=0,2,4,6 /proc/29734/stat : 29734 (toysat) R 29731 29734 25636 0 -1 4202496 297683 0 0 0 179957 51 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140736163272984 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/29734/statm: 356753 298241 888 2943 0 353647 0 [pid=29734/tid=29735] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29735/stat : 29735 (toysat) S 29731 29734 25636 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276957949168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29734/tid=29736] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29736/stat : 29736 (toysat) S 29731 29734 25636 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276947459312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29734/tid=29737] ppid=29731 vsize=1427012 CPUtime=0 cores=0,2,4,6 /proc/29734/task/29737/stat : 29737 (toysat) S 29731 29734 25636 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960294 1461260288 298241 33554432000 4194304 16246674 140736163273888 140276936985776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1427012 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.09 CPU user time (s): 1799.58 CPU system time (s): 0.511922 CPU usage (%): 99.9767 Max. virtual memory (cumulated for all children) (KiB): 1427012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.58 system time used= 0.511922 maximum resident set size= 1192964 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 297683 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= 269 involuntary context switches= 1851 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.84426 second user time and 6.66399 second system time The end
Begin job on node104 at 2016-06-17 01:18:22 IDJOB=4097996 IDBENCH=107837 IDSOLVER=2542 FILE ID=node104/4097996-1466119101 RUNJOBID= node104-1466119081-29554 PBS_JOBID= 19904131 Free space on /tmp= 71680 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_21.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097996-1466119101/watcher-4097996-1466119101 -o /tmp/evaluation-result-4097996-1466119101/solver-4097996-1466119101 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466119081-29554 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097996-1466119101.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f2c924fb4845da7e1e1c3ddc986ad34a RANDOM SEED=170422372 node104.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.035 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.035 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.035 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.035 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.035 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.035 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.035 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.035 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: 30312788 kB Buffers: 76196 kB Cached: 199200 kB SwapCached: 516 kB Active: 1251820 kB Inactive: 123332 kB Active(anon): 1100952 kB Inactive(anon): 1172 kB Active(file): 150868 kB Inactive(file): 122160 kB Unevictable: 479540 kB Mlocked: 446836 kB SwapTotal: 67108856 kB SwapFree: 67100320 kB Dirty: 41044 kB Writeback: 0 kB AnonPages: 1578816 kB Mapped: 10452 kB Shmem: 0 kB Slab: 573584 kB SReclaimable: 17444 kB SUnreclaim: 556140 kB KernelStack: 1456 kB PageTables: 7000 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1714216 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 34816 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= 71684 MiB End job on node104 at 2016-06-17 01:48:22