Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.04 | 1800.41 |
| Name | /PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3029_8-unsat--soft-66-100-0.wbo |
| MD5SUM | 114c0408840a95cae960ebc399875ecb |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 180.507 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 4960 |
| Total number of constraints | 16157 |
| Number of soft constraints | 5468 |
| Number of constraints which are clauses | 15841 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 316 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 30 |
| Top cost | 278200 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 278199 |
| Biggest number in a constraint | 19 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 201 |
| Number of bits of the biggest sum of numbers | 8 |
| 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-16T16:33:36+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","--wbo","--search=bcd2","HOME/instance-4093454-1466087616.wbo"] 0.00/0.01 c use --random-gen="2223324252 1286636303 412999745 3759392096 3845421518 2279247868 2178017697 2700879668 2354076354 591181831 2937568383 2211059780 783512602 951161351 2056105699 1643153563 1358307407 72728414 2139136020 1333381970 1257304221 2817546274 2084046807 3487660913 2618384538 238277657 2463203319 3854888942 276618437 3288549110 744515076 2702760567 2695225280 3935215048 4252986368 241983323 592081032 80752303 2210467578 2764253415 926529508 3871188513 93384680 1939387692 81462403 2937616570 1525354893 2098656289 1328310679 1663103048 4075763983 1785536715 1580173795 3261816598 3105661968 2522791202 2877663653 655635605 4052034151 2916826805 3812035917 2745698214 2931425737 1136825330 3275088610 2825442849 2861526704 2098705666 1929187587 947585497 3053976789 4286161160 1650103278 3913608871 3557867605 1477317498 49140432 871916539 3920432724 1868978968 1738556724 3229075586 1081198852 1320372377 2304920896 1287473348 514524659 3696540497 4273618560 2538096477 60786716 2814197870 2098427423 1927321388 1180031011 4005270329 1420529327 3381152472 2270364245 2246257242 1825540729 580589964 3954580732 1473983246 1450634305 4108527420 3370037583 4144554176 2570784096 3074528122 1127032311 3648382792 3471233313 2120163262 2404600873 591694273 4273635694 3842186191 2001192066 2649237466 2176832357 3178022353 3194626814 3996267414 744152893 355506039 1497180863 3575089585 1739783109 791667284 666664528 1507939621 1110533674 3253925446 2658675360 2262013347 1268518043 247945334 70564169 667595145 422509987 1534772756 3699225901 41156832 1289627586 3409566624 1747810090 606105593 3573018781 1841939799 2875186008 2014279314 51573123 567269665 1568365837 2365134360 2743908903 3099730669 2777437244 3944389693 648323518 551127871 3470046214 3014229452 3532762695 2165909638 1872048108 2853949528 120702123 2624922529 3641634456 2882477778 3440586057 3144283905 1447223406 976965207 3338726703 3666977512 1278789033 1068612593 2792626885 1237537528 1422679199 2546915825 1308548657 1449470459 2224340562 3436706034 3454337810 936886667 412396608 3543044607 1818955473 3320578748 1604705870 1804772006 2995919854 1213747854 3143374182 1999547704 3857505541 3669158376 3522729395 2254594956 2152530534 2470048083 2533593704 2781246831 506485123 3085110773 2637126583 2696207751 4096856954 2017884672 1177301033 2778366674 3126842328 1515364843 3536702532 1303611230 553429242 1370033264 1100557987 88651856 1922807582 10899940 2593147339 3964505571 1747083829 1566882597 804161940 64292407 2342694289 663213638 2275098200 4282972665 1364455311 1656098764 2667156853 4031724666 1341738203 4036538660 3485942546 3966056257 4273553040 1280045256 1722535439 940755243 2358341569 1270620142 675661379 835011272 3234122887 2364244849 4196369013 3317640092 255 362436" option to reproduce the execution 2.19/2.21 c #vars 4960 2.19/2.21 c #constraints 16157 2.39/2.43 c BCD2: Hardening is enabled. 2.39/2.43 c BCD2: BiasedSearch is enabled. 2.39/2.43 c Solving starts ... 2.39/2.43 c ============================[ Search Statistics ]============================ 2.39/2.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.39/2.43 c | | | | Limit GC | Var | Constra 2.39/2.43 c ============================================================================= 2.39/2.43 c 0.0s | 0 | 0 | 0 | 7575 0 | 1345 | 0 2.49/2.59 c 0.1s | 1 | 4439 | 100 | 7575 0 | 1345 | 2464 2.49/2.59 c 0.1s | 1 | 9928 | 101 | 8333 0 | 1345 | 2464 2.49/2.59 c #cpu_time = 0.139s 2.49/2.59 c #wall_clock_time = 0.140s 2.49/2.59 c #decision = 9928 2.49/2.59 c #random_decision = 35 2.49/2.59 c #conflict = 101 2.49/2.59 c #restart = 1 2.49/2.59 o 4788 2.49/2.59 c BCD2: updating upper bound: 279889 -> 6477 2.59/2.61 c BCD2: 0 <= obj <= 6477 2.59/2.61 c BCD2: #cores=0, #unrelaxed=5461, #relaxed=0, #hardened=0 2.59/2.61 c BCD2: #sat=1 #unsat=1 bias=1/2 2.59/2.61 c Solving starts ... 2.59/2.61 c ============================[ Search Statistics ]============================ 2.59/2.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.59/2.61 c | | | | Limit GC | Var | Constra 2.59/2.61 c ============================================================================= 2.59/2.61 c 0.0s | 0 | 0 | 0 | 8333 0 | 1345 | 2464 2.59/2.62 c 0.0s | 0 | 0 | 0 | 8333 0 | 1345 | 2464 2.59/2.62 c #cpu_time = 0.007s 2.59/2.62 c #wall_clock_time = 0.007s 2.59/2.62 c #decision = 0 2.59/2.62 c #random_decision = 0 2.59/2.62 c #conflict = 0 2.59/2.62 c #restart = 0 2.59/2.62 c BCD2: found a new core of size 1: cost of the new core is >=1690 2.59/2.62 c lower bound updated to 0 2.59/2.62 c BCD2: 1690 <= obj <= 6477 2.59/2.62 c BCD2: #cores=1, #unrelaxed=5460, #relaxed=1, #hardened=0 2.59/2.62 c BCD2: #sat=1 #unsat=2 bias=2/3 2.59/2.62 c Solving starts ... 2.59/2.62 c ============================[ Search Statistics ]============================ 2.59/2.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.59/2.62 c | | | | Limit GC | Var | Constra 2.59/2.62 c ============================================================================= 2.59/2.62 c 0.0s | 0 | 0 | 0 | 8333 0 | 1345 | 2464 2.69/2.73 c 0.1s | 1 | 5584 | 100 | 8333 0 | 1345 | 2464 2.79/2.86 c 0.2s | 2 | 11225 | 250 | 9167 0 | 1345 | 2464 2.99/3.07 c 0.5s | 3 | 16987 | 475 | 10084 0 | 1345 | 2464 3.29/3.40 c 0.8s | 4 | 22847 | 813 | 11093 0 | 1345 | 2464 3.99/4.04 c 1.4s | 5 | 29034 | 1320 | 12203 0 | 1345 | 2464 4.89/4.94 c 2.3s | 6 | 35464 | 2081 | 13424 0 | 1345 | 2464 6.59/6.62 c 4.0s | 7 | 42361 | 3223 | 14767 0 | 1345 | 2464 8.58/8.62 c 6.0s | 7 | 49383 | 4423 | 14767 0 | 1345 | 2464 9.38/9.46 c 6.8s | 8 | 50032 | 4936 | 16244 0 | 1345 | 2464 11.38/11.48 c 8.9s | 8 | 58117 | 6136 | 16244 0 | 1345 | 2464 13.48/13.57 c 10.9s | 8 | 59600 | 7336 | 16244 0 | 1345 | 2464 13.78/13.82 c 11.2s | 9 | 59818 | 7506 | 17869 0 | 1345 | 2464 15.79/15.88 c 13.3s | 9 | 66397 | 8406 | 17869 0 | 1345 | 2464 17.89/17.95 c 15.3s | 9 | 67365 | 9206 | 17869 0 | 1345 | 2464 19.99/20.04 c 17.4s | 9 | 68801 | 10306 | 17869 0 | 1345 | 2464 22.10/22.13 c 19.5s | 10 | 70062 | 11361 | 19656 0 | 1345 | 2464 24.30/24.32 c 21.7s | 10 | 76822 | 12361 | 19656 0 | 1345 | 2464 26.40/26.47 c 23.8s | 10 | 78076 | 13361 | 19656 0 | 1345 | 2464 28.39/28.48 c 25.9s | 10 | 79001 | 14161 | 19656 0 | 1345 | 2464 30.48/30.55 c 27.9s | 10 | 79962 | 14961 | 19656 0 | 1345 | 2464 32.48/32.58 c 30.0s | 10 | 80929 | 15761 | 19656 0 | 1345 | 2464 34.79/34.81 c 32.2s | 10 | 81849 | 16561 | 19656 0 | 1345 | 2464 36.19/36.26 c 33.6s | 11 | 82574 | 17144 | 21622 0 | 1345 | 2464 38.50/38.52 c 35.9s | 11 | 88825 | 17844 | 21622 0 | 1345 | 2464 39.69/39.72 c 37.1s | 11 | 89331 | 18264 | 21622 0 | 1345 | 2464 39.69/39.72 c #cpu_time = 37.003s 39.69/39.72 c #wall_clock_time = 37.100s 39.69/39.72 c #decision = 89331 39.69/39.72 c #random_decision = 15 39.69/39.72 c #conflict = 18264 39.69/39.72 c #restart = 11 39.69/39.73 c BCD2: found a new core of size 1367: cost of the new core is >=1 39.69/39.73 c lower bound updated to 1 39.69/39.73 c BCD2: 1691 <= obj <= 6477 39.69/39.73 c BCD2: #cores=2, #unrelaxed=4093, #relaxed=1368, #hardened=0 39.69/39.73 c BCD2: #sat=1 #unsat=3 bias=3/4 39.69/39.74 c Solving starts ... 39.69/39.74 c ============================[ Search Statistics ]============================ 39.69/39.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 39.69/39.74 c | | | | Limit GC | Var | Constra 39.69/39.74 c ============================================================================= 39.69/39.74 c 0.0s | 0 | 0 | 0 | 21622 0 | 1345 | 2464 39.99/40.04 c 0.3s | 0 | 5567 | 9 | 21622 0 | 1345 | 2464 39.99/40.04 c #cpu_time = 0.295s 39.99/40.04 c #wall_clock_time = 0.296s 39.99/40.04 c #decision = 5567 39.99/40.04 c #random_decision = 0 39.99/40.04 c #conflict = 9 39.99/40.04 c #restart = 0 39.99/40.04 o 1854 39.99/40.04 c BCD2: updating upper bound: 6477 -> 3543 39.99/40.08 c BCD2: 1691 <= obj <= 3543 39.99/40.08 c BCD2: #cores=2, #unrelaxed=4093, #relaxed=1368, #hardened=0 39.99/40.08 c BCD2: #sat=2 #unsat=3 bias=3/5 39.99/40.08 c Solving starts ... 39.99/40.08 c ============================[ Search Statistics ]============================ 39.99/40.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 39.99/40.08 c | | | | Limit GC | Var | Constra 39.99/40.08 c ============================================================================= 39.99/40.08 c 0.0s | 0 | 0 | 0 | 21622 0 | 1345 | 2465 40.49/40.50 c 0.4s | 1 | 4551 | 100 | 21622 0 | 1345 | 2465 41.39/41.40 c 1.3s | 2 | 8883 | 250 | 21622 0 | 1345 | 2465 41.69/41.72 c 1.6s | 2 | 13477 | 271 | 21622 0 | 1345 | 2465 41.69/41.72 c #cpu_time = 1.629s 41.69/41.72 c #wall_clock_time = 1.633s 41.69/41.72 c #decision = 13477 41.69/41.72 c #random_decision = 1 41.69/41.72 c #conflict = 271 41.69/41.72 c #restart = 2 41.69/41.72 o 1124 41.69/41.72 c BCD2: updating upper bound: 3543 -> 2813 41.69/41.76 c BCD2: 1691 <= obj <= 2813 41.69/41.76 c BCD2: #cores=2, #unrelaxed=4093, #relaxed=1368, #hardened=0 41.69/41.76 c BCD2: #sat=3 #unsat=3 bias=3/6 41.69/41.77 c Solving starts ... 41.69/41.77 c ============================[ Search Statistics ]============================ 41.69/41.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 41.69/41.77 c | | | | Limit GC | Var | Constra 41.69/41.77 c ============================================================================= 41.69/41.77 c 0.0s | 0 | 0 | 0 | 21622 0 | 1345 | 2466 42.59/42.61 c 0.8s | 1 | 4206 | 100 | 21622 0 | 1345 | 2466 42.99/43.08 c 1.3s | 2 | 8674 | 250 | 21622 0 | 1345 | 2466 43.89/43.91 c 2.1s | 3 | 13131 | 475 | 21622 0 | 1345 | 2466 45.19/45.23 c 3.5s | 4 | 17693 | 813 | 21622 0 | 1345 | 2466 47.29/47.40 c 5.6s | 4 | 22618 | 1313 | 21622 0 | 1345 | 2466 47.39/47.42 c 5.7s | 5 | 22624 | 1320 | 21622 0 | 1345 | 2466 49.49/49.57 c 7.8s | 5 | 27560 | 1820 | 21622 0 | 1345 | 2466 50.29/50.33 c 8.6s | 6 | 27955 | 2081 | 21622 0 | 1345 | 2466 52.39/52.48 c 10.7s | 6 | 32529 | 2481 | 21622 0 | 1345 | 2466 54.38/54.48 c 12.7s | 6 | 33289 | 2881 | 21622 0 | 1345 | 2466 55.58/55.68 c 13.9s | 7 | 33854 | 3223 | 21622 0 | 1345 | 2466 57.68/57.75 c 16.0s | 7 | 38689 | 3723 | 21622 0 | 1345 | 2466 59.08/59.17 c 17.4s | 7 | 39330 | 4158 | 21622 0 | 1345 | 2466 59.08/59.17 c #cpu_time = 17.347s 59.08/59.17 c #wall_clock_time = 17.392s 59.08/59.17 c #decision = 39330 59.08/59.17 c #random_decision = 6 59.08/59.17 c #conflict = 4158 59.08/59.17 c #restart = 7 59.08/59.17 o 295 59.08/59.17 c BCD2: updating upper bound: 2813 -> 1984 59.18/59.20 c BCD2: 1691 <= obj <= 1984 59.18/59.20 c BCD2: #cores=2, #unrelaxed=4093, #relaxed=1368, #hardened=0 59.18/59.20 c BCD2: #sat=4 #unsat=3 bias=3/7 59.18/59.21 c Solving starts ... 59.18/59.21 c ============================[ Search Statistics ]============================ 59.18/59.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 59.18/59.21 c | | | | Limit GC | Var | Constra 59.18/59.21 c ============================================================================= 59.18/59.21 c 0.0s | 0 | 0 | 0 | 21622 0 | 1345 | 2467 60.08/60.10 c 0.9s | 1 | 4218 | 100 | 21622 0 | 1345 | 2467 60.78/60.85 c 1.6s | 2 | 8692 | 250 | 21622 0 | 1345 | 2467 62.18/62.21 c 3.0s | 3 | 13159 | 475 | 21622 1 | 1345 | 2467 63.79/63.84 c 4.6s | 4 | 17773 | 813 | 21622 1 | 1345 | 2467 65.99/66.09 c 6.9s | 4 | 22611 | 1313 | 21622 1 | 1345 | 2467 66.09/66.11 c 6.9s | 5 | 22619 | 1320 | 21622 1 | 1345 | 2467 68.08/68.12 c 8.9s | 5 | 27099 | 1620 | 21622 1 | 1345 | 2467 70.18/70.25 c 11.0s | 5 | 27703 | 2020 | 21622 1 | 1345 | 2467 70.58/70.63 c 11.4s | 6 | 27786 | 2081 | 21622 1 | 1345 | 2467 73.08/73.15 c 13.9s | 6 | 32655 | 2581 | 21622 1 | 1345 | 2467 76.08/76.18 c 17.0s | 6 | 33422 | 3081 | 23785 1 | 1345 | 2467 76.88/76.96 c 17.8s | 7 | 33677 | 3223 | 23785 1 | 1345 | 2467 78.98/79.01 c 19.8s | 7 | 38543 | 3723 | 23785 1 | 1345 | 2467 81.78/81.84 c 22.6s | 7 | 39052 | 4123 | 23785 1 | 1345 | 2467 83.78/83.84 c 24.6s | 7 | 39439 | 4423 | 23785 1 | 1345 | 2467 86.38/86.45 c 27.2s | 7 | 39978 | 4823 | 23785 1 | 1345 | 2467 87.18/87.21 c 28.0s | 8 | 40138 | 4936 | 23785 1 | 1345 | 2467 89.48/89.53 c 30.3s | 8 | 44587 | 5236 | 23785 1 | 1345 | 2467 91.48/91.55 c 32.3s | 8 | 45015 | 5536 | 23785 1 | 1345 | 2467 93.78/93.85 c 34.6s | 8 | 45429 | 5836 | 23785 1 | 1345 | 2467 96.18/96.29 c 37.1s | 8 | 45920 | 6236 | 23785 1 | 1345 | 2467 98.38/98.43 c 39.2s | 8 | 46403 | 6636 | 23785 1 | 1345 | 2467 100.58/100.60 c 41.4s | 8 | 46934 | 7036 | 23785 1 | 1345 | 2467 102.58/102.62 c 43.4s | 8 | 47339 | 7336 | 23785 1 | 1345 | 2467 103.58/103.67 c 44.5s | 9 | 47548 | 7506 | 23785 1 | 1345 | 2467 105.77/105.81 c 46.6s | 9 | 52210 | 7906 | 23785 1 | 1345 | 2467 107.97/108.01 c 48.8s | 9 | 52698 | 8306 | 23785 1 | 1345 | 2467 110.47/110.54 c 51.3s | 9 | 53197 | 8706 | 23785 1 | 1345 | 2467 112.47/112.59 c 53.4s | 9 | 53743 | 9106 | 23785 1 | 1345 | 2467 114.67/114.73 c 55.5s | 9 | 54225 | 9506 | 23785 1 | 1345 | 2467 117.07/117.10 c 57.9s | 9 | 54711 | 9906 | 23785 1 | 1345 | 2467 119.17/119.20 c 60.0s | 9 | 55074 | 10206 | 23785 1 | 1345 | 2467 121.37/121.45 c 62.2s | 9 | 55549 | 10606 | 23785 1 | 1345 | 2467 123.77/123.86 c 64.7s | 9 | 56053 | 11006 | 23785 1 | 1345 | 2467 125.77/125.88 c 66.7s | 10 | 56512 | 11361 | 23785 1 | 1345 | 2467 128.07/128.17 c 69.0s | 10 | 61130 | 11761 | 23785 1 | 1345 | 2467 130.17/130.22 c 71.0s | 10 | 61518 | 12061 | 23785 1 | 1345 | 2467 131.37/131.41 c 72.2s | 10 | 61859 | 12314 | 23785 1 | 1345 | 2467 131.37/131.41 c #cpu_time = 72.004s 131.37/131.41 c #wall_clock_time = 72.195s 131.37/131.41 c #decision = 61859 131.37/131.41 c #random_decision = 12 131.37/131.41 c #conflict = 12314 131.37/131.41 c #restart = 10 131.37/131.41 o 84 131.37/131.41 c BCD2: hardening fixes 1008 literals 131.37/131.41 c BCD2: updating upper bound: 1984 -> 1773 131.37/131.44 c BCD2: 1691 <= obj <= 1773 131.37/131.44 c BCD2: #cores=2, #unrelaxed=3315, #relaxed=1138, #hardened=1008 131.37/131.44 c BCD2: #sat=5 #unsat=3 bias=3/8 131.37/131.45 c Solving starts ... 131.37/131.45 c ============================[ Search Statistics ]============================ 131.37/131.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 131.37/131.45 c | | | | Limit GC | Var | Constra 131.37/131.45 c ============================================================================= 131.37/131.45 c 0.0s | 0 | 0 | 0 | 23785 0 | 2549 | 2468 132.37/132.42 c 1.0s | 1 | 3442 | 100 | 23785 0 | 2549 | 3195 133.57/133.66 c 2.2s | 2 | 7162 | 250 | 23785 0 | 2549 | 3195 136.07/136.15 c 4.7s | 2 | 10830 | 450 | 23785 0 | 2549 | 3195 136.27/136.36 c 4.9s | 3 | 10859 | 475 | 23785 0 | 2549 | 3195 138.47/138.59 c 7.1s | 3 | 14465 | 675 | 23785 0 | 2549 | 3195 140.37/140.42 c 9.0s | 4 | 14663 | 813 | 23785 0 | 2549 | 3195 143.87/143.90 c 12.4s | 4 | 18198 | 1013 | 23785 0 | 2549 | 3195 146.27/146.40 c 15.0s | 4 | 18424 | 1213 | 23785 0 | 2549 | 3195 147.67/147.70 c 16.2s | 5 | 18552 | 1320 | 23785 0 | 2549 | 3195 149.96/150.04 c 18.6s | 5 | 22754 | 1720 | 23785 0 | 2549 | 3195 152.16/152.27 c 20.8s | 5 | 23201 | 2020 | 23785 0 | 2549 | 3195 152.56/152.62 c 21.2s | 6 | 23299 | 2081 | 23785 0 | 2549 | 3195 154.86/154.99 c 23.5s | 6 | 27001 | 2381 | 23785 0 | 2549 | 3195 156.96/157.08 c 25.6s | 6 | 27365 | 2681 | 23785 0 | 2549 | 3195 159.26/159.36 c 27.9s | 6 | 27749 | 2981 | 23785 0 | 2549 | 3195 161.16/161.27 c 29.8s | 7 | 28052 | 3223 | 23785 0 | 2549 | 3195 163.36/163.41 c 32.0s | 7 | 32222 | 3623 | 26164 1 | 2549 | 3195 165.86/165.98 c 34.5s | 7 | 33165 | 4123 | 26164 1 | 2549 | 3195 168.46/168.52 c 37.1s | 7 | 34044 | 4623 | 26164 1 | 2549 | 3195 170.56/170.63 c 39.2s | 7 | 34539 | 4923 | 26164 1 | 2549 | 3195 170.56/170.68 c 39.2s | 8 | 34558 | 4936 | 26164 1 | 2549 | 3195 173.05/173.14 c 41.7s | 8 | 38290 | 5136 | 26164 1 | 2549 | 3195 176.15/176.22 c 44.8s | 8 | 38577 | 5336 | 26164 1 | 2549 | 3195 179.05/179.16 c 47.7s | 8 | 38878 | 5536 | 26164 1 | 2549 | 3195 183.15/183.23 c 51.8s | 8 | 39149 | 5736 | 26164 1 | 2549 | 3195 185.65/185.72 c 54.3s | 8 | 39471 | 5936 | 26164 1 | 2549 | 3195 190.15/190.29 c 58.8s | 8 | 39686 | 6136 | 26164 1 | 2549 | 3195 193.56/193.66 c 62.2s | 8 | 39941 | 6336 | 26164 1 | 2549 | 3195 196.75/196.90 c 65.4s | 8 | 40181 | 6536 | 26164 1 | 2549 | 3195 199.35/199.41 c 68.0s | 8 | 40507 | 6736 | 26164 1 | 2549 | 3195 201.75/201.82 c 70.4s | 8 | 40824 | 6936 | 26164 1 | 2549 | 3195 204.75/204.84 c 73.4s | 8 | 41120 | 7136 | 26164 1 | 2549 | 3195 208.25/208.30 c 76.8s | 8 | 41528 | 7436 | 26164 1 | 2549 | 3195 209.15/209.29 c 77.8s | 9 | 41662 | 7506 | 26164 1 | 2549 | 3195 212.05/212.19 c 80.7s | 9 | 45253 | 7706 | 26164 1 | 2549 | 3195 215.05/215.12 c 83.7s | 9 | 45501 | 7906 | 26164 1 | 2549 | 3195 217.94/218.01 c 86.6s | 9 | 45758 | 8106 | 26164 1 | 2549 | 3195 221.54/221.66 c 90.2s | 9 | 46012 | 8306 | 26164 1 | 2549 | 3195 224.54/224.60 c 93.2s | 9 | 46283 | 8506 | 26164 1 | 2549 | 3195 227.44/227.53 c 96.1s | 9 | 46526 | 8706 | 26164 1 | 2549 | 3195 229.44/229.55 c 98.1s | 9 | 46801 | 8906 | 26164 1 | 2549 | 3195 232.05/232.13 c 100s | 9 | 47082 | 9106 | 26164 1 | 2549 | 3195 234.74/234.88 c 103s | 9 | 47319 | 9306 | 26164 1 | 2549 | 3195 237.55/237.67 c 106s | 9 | 47560 | 9506 | 26164 1 | 2549 | 3195 240.64/240.76 c 109s | 9 | 47814 | 9706 | 26164 1 | 2549 | 3195 242.94/243.02 c 111s | 9 | 48066 | 9906 | 26164 1 | 2549 | 3195 245.84/245.91 c 114s | 9 | 48299 | 10106 | 26164 1 | 2549 | 3195 248.84/248.91 c 117s | 9 | 48540 | 10306 | 26164 1 | 2549 | 3195 251.54/251.64 c 120s | 9 | 48787 | 10506 | 26164 1 | 2549 | 3195 254.14/254.21 c 122s | 9 | 49044 | 10706 | 26164 1 | 2549 | 3195 257.04/257.10 c 125s | 9 | 49268 | 10906 | 26164 1 | 2549 | 3195 260.14/260.24 c 128s | 9 | 49515 | 11106 | 26164 1 | 2549 | 3195 263.84/263.93 c 132s | 9 | 49731 | 11306 | 26164 1 | 2549 | 3195 264.64/264.71 c 133s | 10 | 49804 | 11361 | 26164 1 | 2549 | 3195 268.14/268.29 c 136s | 10 | 53422 | 11561 | 26164 1 | 2549 | 3195 271.64/271.75 c 140s | 10 | 53696 | 11761 | 26164 1 | 2549 | 3195 274.23/274.30 c 142s | 10 | 53935 | 11961 | 26164 1 | 2549 | 3195 276.63/276.70 c 145s | 10 | 54220 | 12161 | 26164 1 | 2549 | 3195 279.13/279.25 c 147s | 10 | 54504 | 12361 | 26164 1 | 2549 | 3195 282.64/282.75 c 151s | 10 | 54761 | 12561 | 26164 1 | 2549 | 3195 285.53/285.65 c 154s | 10 | 55003 | 12761 | 26164 1 | 2549 | 3195 288.33/288.46 c 157s | 10 | 55274 | 12961 | 26164 1 | 2549 | 3195 291.03/291.18 c 159s | 10 | 55518 | 13161 | 26164 1 | 2549 | 3195 293.23/293.35 c 161s | 10 | 55770 | 13361 | 26164 1 | 2549 | 3195 295.63/295.75 c 164s | 10 | 56039 | 13561 | 26164 1 | 2549 | 3195 298.13/298.29 c 166s | 10 | 56291 | 13761 | 26164 1 | 2549 | 3195 301.02/301.16 c 169s | 10 | 56532 | 13961 | 26164 1 | 2549 | 3195 303.92/304.06 c 172s | 10 | 56761 | 14161 | 26164 1 | 2549 | 3195 307.02/307.19 c 175s | 10 | 57005 | 14361 | 26164 1 | 2549 | 3195 309.62/309.76 c 178s | 10 | 57253 | 14561 | 26164 1 | 2549 | 3195 312.62/312.74 c 181s | 10 | 57504 | 14761 | 26164 1 | 2549 | 3195 316.32/316.46 c 185s | 10 | 57731 | 14961 | 26164 1 | 2549 | 3195 319.52/319.63 c 188s | 10 | 57948 | 15161 | 26164 1 | 2549 | 3195 322.72/322.81 c 191s | 10 | 58186 | 15361 | 26164 1 | 2549 | 3195 326.12/326.23 c 194s | 10 | 58434 | 15561 | 26164 1 | 2549 | 3195 328.22/328.31 c 196s | 10 | 58549 | 15661 | 26164 1 | 2549 | 3195 331.72/331.84 c 200s | 10 | 58784 | 15861 | 26164 1 | 2549 | 3195 334.72/334.81 c 203s | 10 | 59039 | 16061 | 26164 1 | 2549 | 3195 338.52/338.64 c 207s | 10 | 59272 | 16261 | 26164 1 | 2549 | 3195 341.82/341.91 c 210s | 10 | 59519 | 16461 | 26164 1 | 2549 | 3195 344.72/344.84 c 213s | 10 | 59762 | 16661 | 26164 1 | 2549 | 3195 347.22/347.32 c 215s | 10 | 60007 | 16861 | 26164 1 | 2549 | 3195 350.02/350.11 c 218s | 10 | 60262 | 17061 | 26164 1 | 2549 | 3195 351.12/351.25 c 219s | 11 | 60360 | 17144 | 26164 1 | 2549 | 3195 353.12/353.26 c 221s | 11 | 64116 | 17344 | 26164 1 | 2549 | 3195 355.71/355.82 c 224s | 11 | 64699 | 17644 | 26164 1 | 2549 | 3195 357.71/357.88 c 226s | 11 | 65070 | 17844 | 26164 1 | 2549 | 3195 360.11/360.28 c 228s | 11 | 65716 | 18144 | 26164 1 | 2549 | 3195 362.21/362.34 c 230s | 11 | 65981 | 18344 | 26164 1 | 2549 | 3195 365.01/365.13 c 233s | 11 | 66244 | 18544 | 26164 1 | 2549 | 3195 367.21/367.40 c 235s | 11 | 66809 | 18844 | 26164 1 | 2549 | 3195 370.01/370.12 c 238s | 11 | 67421 | 19244 | 26164 1 | 2549 | 3195 372.71/372.82 c 241s | 11 | 67901 | 19544 | 26164 1 | 2549 | 3195 374.81/374.92 c 243s | 11 | 68157 | 19744 | 26164 1 | 2549 | 3195 377.32/377.49 c 246s | 11 | 68451 | 19944 | 26164 1 | 2549 | 3195 380.21/380.35 c 248s | 11 | 68667 | 20144 | 26164 1 | 2549 | 3195 382.81/382.98 c 251s | 11 | 68924 | 20344 | 26164 1 | 2549 | 3195 385.61/385.75 c 254s | 11 | 69430 | 20644 | 26164 1 | 2549 | 3195 388.51/388.66 c 257s | 11 | 69789 | 20944 | 26164 1 | 2549 | 3195 390.91/391.07 c 259s | 11 | 70027 | 21144 | 26164 1 | 2549 | 3195 393.71/393.90 c 262s | 11 | 70468 | 21444 | 26164 1 | 2549 | 3195 396.01/396.18 c 264s | 11 | 70734 | 21644 | 26164 1 | 2549 | 3195 398.81/398.96 c 267s | 11 | 70997 | 21844 | 26164 1 | 2549 | 3195 401.01/401.13 c 269s | 11 | 71293 | 22044 | 26164 1 | 2549 | 3195 403.50/403.63 c 272s | 11 | 71580 | 22244 | 26164 1 | 2549 | 3195 406.60/406.78 c 275s | 11 | 71938 | 22544 | 26164 1 | 2549 | 3195 409.30/409.41 c 277s | 11 | 72233 | 22744 | 26164 1 | 2549 | 3195 411.41/411.55 c 280s | 11 | 72654 | 22944 | 28781 1 | 2549 | 3195 413.70/413.84 c 282s | 11 | 73013 | 23144 | 28781 1 | 2549 | 3195 416.00/416.11 c 284s | 11 | 73277 | 23344 | 28781 1 | 2549 | 3195 418.50/418.60 c 287s | 11 | 73551 | 23544 | 28781 1 | 2549 | 3195 421.50/421.63 c 290s | 11 | 73797 | 23744 | 28781 1 | 2549 | 3195 423.80/423.98 c 292s | 11 | 74162 | 23944 | 28781 1 | 2549 | 3195 426.71/426.88 c 295s | 11 | 74429 | 24144 | 28781 1 | 2549 | 3195 429.10/429.23 c 297s | 11 | 74697 | 24344 | 28781 1 | 2549 | 3195 432.70/432.85 c 301s | 11 | 74943 | 24544 | 28781 1 | 2549 | 3195 434.80/434.99 c 303s | 11 | 75060 | 24644 | 28781 1 | 2549 | 3195 438.40/438.59 c 307s | 11 | 75283 | 24844 | 28781 1 | 2549 | 3195 441.10/441.28 c 309s | 11 | 75518 | 25044 | 28781 1 | 2549 | 3195 444.10/444.24 c 312s | 11 | 75754 | 25244 | 28781 1 | 2549 | 3195 447.30/447.45 c 316s | 11 | 75995 | 25444 | 28781 1 | 2549 | 3195 450.20/450.30 c 318s | 11 | 76216 | 25644 | 28781 1 | 2549 | 3195 452.30/452.48 c 321s | 12 | 76452 | 25819 | 28781 1 | 2549 | 3195 454.89/455.00 c 323s | 12 | 80040 | 26019 | 28781 2 | 2549 | 3195 457.50/457.62 c 326s | 12 | 80307 | 26219 | 28781 2 | 2549 | 3195 459.70/459.85 c 328s | 12 | 80578 | 26419 | 28781 2 | 2549 | 3195 462.29/462.43 c 330s | 12 | 80816 | 26619 | 28781 2 | 2549 | 3195 465.50/465.69 c 334s | 12 | 81071 | 26819 | 28781 2 | 2549 | 3195 468.30/468.48 c 337s | 12 | 81337 | 27019 | 28781 2 | 2549 | 3195 471.20/471.39 c 339s | 12 | 81610 | 27219 | 28781 2 | 2549 | 3195 474.50/474.63 c 343s | 12 | 81839 | 27419 | 28781 2 | 2549 | 3195 478.10/478.25 c 346s | 12 | 82072 | 27619 | 28781 2 | 2549 | 3195 481.49/481.68 c 350s | 12 | 82323 | 27819 | 28781 2 | 2549 | 3195 483.59/483.72 c 352s | 12 | 82444 | 27919 | 28781 2 | 2549 | 3195 486.59/486.77 c 355s | 12 | 82726 | 28119 | 28781 2 | 2549 | 3195 489.59/489.74 c 358s | 12 | 83003 | 28319 | 28781 2 | 2549 | 3195 492.79/492.92 c 361s | 12 | 83246 | 28519 | 28781 2 | 2549 | 3195 496.18/496.40 c 364s | 12 | 83469 | 28719 | 28781 2 | 2549 | 3195 499.48/499.64 c 368s | 12 | 83734 | 28919 | 28781 2 | 2549 | 3195 502.69/502.87 c 371s | 12 | 83959 | 29119 | 28781 2 | 2549 | 3195 505.38/505.56 c 374s | 12 | 84221 | 29319 | 28781 2 | 2549 | 3195 509.18/509.40 c 377s | 12 | 84457 | 29519 | 28781 2 | 2549 | 3195 511.38/511.58 c 380s | 12 | 84575 | 29619 | 28781 2 | 2549 | 3195 514.57/514.73 c 383s | 12 | 84877 | 29819 | 28781 2 | 2549 | 3195 517.87/518.00 c 386s | 12 | 85119 | 30019 | 28781 2 | 2549 | 3195 521.27/521.46 c 390s | 12 | 85392 | 30219 | 28781 2 | 2549 | 3195 525.27/525.42 c 393s | 12 | 85667 | 30419 | 28781 2 | 2549 | 3195 529.36/529.50 c 398s | 12 | 85936 | 30619 | 28781 2 | 2549 | 3195 531.46/531.64 c 400s | 12 | 86068 | 30719 | 28781 2 | 2549 | 3195 535.06/535.22 c 403s | 12 | 86305 | 30919 | 28781 2 | 2549 | 3195 537.36/537.57 c 406s | 12 | 86420 | 31019 | 28781 2 | 2549 | 3195 539.96/540.14 c 408s | 12 | 86556 | 31119 | 28781 2 | 2549 | 3195 542.16/542.34 c 410s | 12 | 86673 | 31219 | 28781 2 | 2549 | 3195 544.15/544.37 c 412s | 12 | 86792 | 31319 | 28781 2 | 2549 | 3195 546.35/546.50 c 415s | 12 | 86907 | 31419 | 28781 2 | 2549 | 3195 548.45/548.60 c 417s | 12 | 87015 | 31519 | 28781 2 | 2549 | 3195 551.45/551.61 c 420s | 12 | 87273 | 31719 | 28781 2 | 2549 | 3195 554.75/554.98 c 423s | 12 | 87530 | 31919 | 28781 2 | 2549 | 3195 556.75/556.98 c 425s | 12 | 87666 | 32019 | 28781 2 | 2549 | 3195 558.85/559.04 c 427s | 12 | 87784 | 32119 | 28781 2 | 2549 | 3195 562.64/562.80 c 431s | 12 | 88023 | 32319 | 28781 2 | 2549 | 3195 564.94/565.14 c 433s | 12 | 88151 | 32419 | 28781 2 | 2549 | 3195 567.24/567.48 c 436s | 12 | 88278 | 32519 | 28781 2 | 2549 | 3195 569.84/570.03 c 438s | 12 | 88390 | 32619 | 28781 2 | 2549 | 3195 572.24/572.43 c 440s | 12 | 88506 | 32719 | 28781 2 | 2549 | 3195 574.54/574.78 c 443s | 12 | 88613 | 32819 | 28781 2 | 2549 | 3195 578.14/578.34 c 446s | 12 | 88875 | 33019 | 28781 2 | 2549 | 3195 581.24/581.45 c 449s | 12 | 89132 | 33219 | 28781 2 | 2549 | 3195 584.94/585.13 c 453s | 12 | 89358 | 33419 | 28781 2 | 2549 | 3195 587.13/587.34 c 455s | 12 | 89497 | 33519 | 28781 2 | 2549 | 3195 589.23/589.40 c 457s | 12 | 89635 | 33619 | 28781 2 | 2549 | 3195 591.23/591.43 c 459s | 12 | 89775 | 33719 | 28781 2 | 2549 | 3195 594.13/594.38 c 462s | 12 | 90053 | 33919 | 28781 2 | 2549 | 3195 596.33/596.59 c 465s | 12 | 90179 | 34019 | 28781 2 | 2549 | 3195 598.53/598.77 c 467s | 12 | 90329 | 34119 | 28781 2 | 2549 | 3195 601.13/601.36 c 469s | 12 | 90461 | 34219 | 28781 2 | 2549 | 3195 604.83/605.09 c 473s | 12 | 90770 | 34419 | 28781 2 | 2549 | 3195 609.13/609.38 c 477s | 12 | 91008 | 34619 | 28781 2 | 2549 | 3195 612.13/612.35 c 480s | 12 | 91149 | 34719 | 28781 2 | 2549 | 3195 614.23/614.47 c 483s | 12 | 91314 | 34819 | 28781 2 | 2549 | 3195 616.63/616.80 c 485s | 12 | 91429 | 34919 | 28781 2 | 2549 | 3195 618.92/619.15 c 487s | 12 | 91553 | 35019 | 28781 2 | 2549 | 3195 621.72/621.94 c 490s | 12 | 91670 | 35119 | 28781 2 | 2549 | 3195 623.92/624.13 c 492s | 12 | 91815 | 35219 | 28781 2 | 2549 | 3195 625.92/626.14 c 494s | 12 | 91938 | 35319 | 28781 2 | 2549 | 3195 629.42/629.63 c 498s | 12 | 92195 | 35519 | 28781 2 | 2549 | 3195 631.62/631.80 c 500s | 12 | 92316 | 35619 | 28781 2 | 2549 | 3195 635.32/635.57 c 504s | 12 | 92580 | 35819 | 28781 2 | 2549 | 3195 637.62/637.84 c 506s | 12 | 92690 | 35919 | 28781 2 | 2549 | 3195 640.02/640.30 c 508s | 12 | 92804 | 36019 | 28781 2 | 2549 | 3195 642.11/642.33 c 510s | 12 | 92915 | 36119 | 28781 2 | 2549 | 3195 646.31/646.54 c 515s | 12 | 93122 | 36319 | 28781 2 | 2549 | 3195 648.41/648.65 c 517s | 12 | 93240 | 36419 | 28781 2 | 2549 | 3195 650.81/651.01 c 519s | 12 | 93363 | 36519 | 28781 2 | 2549 | 3195 653.71/653.95 c 522s | 12 | 93523 | 36619 | 28781 2 | 2549 | 3195 656.62/656.88 c 525s | 12 | 93655 | 36719 | 28781 2 | 2549 | 3195 659.61/659.87 c 528s | 12 | 93773 | 36819 | 28781 2 | 2549 | 3195 662.02/662.24 c 530s | 12 | 93890 | 36919 | 28781 2 | 2549 | 3195 664.11/664.39 c 532s | 12 | 94042 | 37019 | 28781 2 | 2549 | 3195 667.81/668.08 c 536s | 12 | 94310 | 37219 | 28781 2 | 2549 | 3195 671.50/671.70 c 540s | 12 | 94564 | 37419 | 28781 2 | 2549 | 3195 675.10/675.36 c 543s | 12 | 94801 | 37619 | 28781 2 | 2549 | 3195 678.90/679.19 c 547s | 12 | 95056 | 37819 | 28781 2 | 2549 | 3195 681.00/681.22 c 549s | 12 | 95167 | 37919 | 28781 2 | 2549 | 3195 684.40/684.69 c 553s | 12 | 95442 | 38119 | 28781 2 | 2549 | 3195 688.41/688.62 c 557s | 12 | 95686 | 38319 | 28781 2 | 2549 | 3195 692.20/692.48 c 561s | 12 | 95939 | 38519 | 28781 2 | 2549 | 3195 694.30/694.50 c 563s | 12 | 96073 | 38619 | 28781 2 | 2549 | 3195 698.20/698.40 c 566s | 12 | 96302 | 38819 | 28781 2 | 2549 | 3195 698.40/698.66 c 567s | 13 | 96321 | 38832 | 28781 2 | 2549 | 3195 700.69/700.91 c 569s | 13 | 99755 | 38932 | 28781 2 | 2549 | 3195 702.70/702.94 c 571s | 13 | 99870 | 39032 | 28781 2 | 2549 | 3195 705.00/705.23 c 573s | 13 | 100020 | 39132 | 28781 2 | 2549 | 3195 707.49/707.72 c 576s | 13 | 100137 | 39232 | 28781 2 | 2549 | 3195 709.89/710.12 c 578s | 13 | 100254 | 39332 | 28781 2 | 2549 | 3195 711.89/712.12 c 580s | 13 | 100380 | 39432 | 28781 2 | 2549 | 3195 714.49/714.78 c 583s | 13 | 100487 | 39532 | 28781 2 | 2549 | 3195 716.59/716.86 c 585s | 13 | 100616 | 39632 | 28781 2 | 2549 | 3195 720.49/720.76 c 589s | 13 | 100837 | 39832 | 28781 2 | 2549 | 3195 722.60/722.86 c 591s | 13 | 100967 | 39932 | 28781 2 | 2549 | 3195 725.59/725.89 c 594s | 13 | 101081 | 40032 | 28781 2 | 2549 | 3195 729.59/729.80 c 598s | 13 | 101357 | 40232 | 28781 2 | 2549 | 3195 733.09/733.31 c 601s | 13 | 101639 | 40432 | 28781 2 | 2549 | 3195 736.89/737.17 c 605s | 13 | 101893 | 40632 | 28781 2 | 2549 | 3195 740.39/740.64 c 609s | 13 | 102004 | 40732 | 28781 2 | 2549 | 3195 743.49/743.71 c 612s | 13 | 102122 | 40832 | 28781 2 | 2549 | 3195 745.69/745.95 c 614s | 13 | 102241 | 40932 | 28781 2 | 2549 | 3195 747.69/747.98 c 616s | 13 | 102357 | 41032 | 28781 2 | 2549 | 3195 750.09/750.35 c 618s | 13 | 102464 | 41132 | 28781 2 | 2549 | 3195 752.29/752.57 c 621s | 13 | 102592 | 41232 | 28781 2 | 2549 | 3195 754.68/754.99 c 623s | 13 | 102707 | 41332 | 28781 2 | 2549 | 3195 758.58/758.88 c 627s | 13 | 102822 | 41432 | 28781 2 | 2549 | 3195 761.58/761.85 c 630s | 13 | 102934 | 41532 | 28781 2 | 2549 | 3195 764.39/764.63 c 633s | 13 | 103046 | 41632 | 28781 2 | 2549 | 3195 767.08/767.36 c 635s | 13 | 103161 | 41732 | 28781 2 | 2549 | 3195 769.28/769.54 c 638s | 13 | 103264 | 41832 | 28781 2 | 2549 | 3195 772.58/772.88 c 641s | 13 | 103499 | 42032 | 28781 2 | 2549 | 3195 775.98/776.27 c 644s | 13 | 103754 | 42232 | 28781 2 | 2549 | 3195 778.98/779.28 c 647s | 13 | 104001 | 42432 | 28781 2 | 2549 | 3195 782.58/782.80 c 651s | 13 | 104261 | 42632 | 28781 2 | 2549 | 3195 785.78/786.06 c 654s | 13 | 104520 | 42832 | 28781 2 | 2549 | 3195 787.88/788.19 c 656s | 13 | 104646 | 42932 | 28781 2 | 2549 | 3195 791.48/791.71 c 660s | 13 | 104887 | 43132 | 28781 2 | 2549 | 3195 793.48/793.78 c 662s | 13 | 105018 | 43232 | 28781 2 | 2549 | 3195 796.58/796.88 c 665s | 13 | 105297 | 43432 | 28781 2 | 2549 | 3195 800.48/800.72 c 669s | 13 | 105557 | 43632 | 28781 2 | 2549 | 3195 804.78/805.03 c 673s | 13 | 105830 | 43832 | 28781 2 | 2549 | 3195 808.28/808.57 c 677s | 13 | 106079 | 44032 | 28781 2 | 2549 | 3195 811.98/812.29 c 680s | 13 | 106330 | 44232 | 28781 2 | 2549 | 3195 814.18/814.41 c 682s | 13 | 106443 | 44332 | 28781 2 | 2549 | 3195 816.37/816.68 c 685s | 13 | 106544 | 44432 | 28781 2 | 2549 | 3195 818.77/819.08 c 687s | 13 | 106660 | 44532 | 28781 2 | 2549 | 3195 821.07/821.30 c 689s | 13 | 106793 | 44632 | 28781 2 | 2549 | 3195 823.37/823.62 c 692s | 13 | 106919 | 44732 | 28781 2 | 2549 | 3195 825.57/825.89 c 694s | 13 | 107050 | 44832 | 28781 2 | 2549 | 3195 829.57/829.89 c 698s | 13 | 107298 | 45032 | 28781 2 | 2549 | 3195 832.07/832.32 c 700s | 13 | 107420 | 45132 | 28781 2 | 2549 | 3195 835.47/835.79 c 704s | 13 | 107688 | 45332 | 28781 2 | 2549 | 3195 840.28/840.54 c 709s | 13 | 107946 | 45532 | 28781 3 | 2549 | 3195 843.67/843.96 c 712s | 13 | 108188 | 45732 | 28781 3 | 2549 | 3195 846.97/847.26 c 715s | 13 | 108467 | 45932 | 28781 3 | 2549 | 3195 849.08/849.35 c 717s | 13 | 108628 | 46032 | 28781 3 | 2549 | 3195 851.47/851.71 c 720s | 13 | 108736 | 46132 | 28781 3 | 2549 | 3195 853.97/854.21 c 722s | 13 | 108855 | 46232 | 28781 3 | 2549 | 3195 858.17/858.41 c 726s | 13 | 109082 | 46432 | 28781 3 | 2549 | 3195 862.17/862.46 c 731s | 13 | 109323 | 46632 | 28781 3 | 2549 | 3195 864.57/864.85 c 733s | 13 | 109606 | 46832 | 28781 3 | 2549 | 3195 866.97/867.24 c 735s | 13 | 109860 | 47032 | 28781 3 | 2549 | 3195 869.87/870.20 c 738s | 13 | 110152 | 47232 | 28781 3 | 2549 | 3195 872.17/872.48 c 741s | 13 | 110420 | 47432 | 28781 3 | 2549 | 3195 874.87/875.17 c 743s | 13 | 110651 | 47632 | 28781 3 | 2549 | 3195 877.57/877.83 c 746s | 13 | 110907 | 47832 | 28781 3 | 2549 | 3195 880.46/880.79 c 749s | 13 | 111156 | 48032 | 28781 3 | 2549 | 3195 883.56/883.89 c 752s | 13 | 111387 | 48232 | 28781 3 | 2549 | 3195 886.47/886.79 c 755s | 13 | 111626 | 48432 | 28781 3 | 2549 | 3195 888.86/889.11 c 757s | 13 | 111898 | 48632 | 28781 3 | 2549 | 3195 891.36/891.67 c 760s | 13 | 112137 | 48832 | 28781 3 | 2549 | 3195 894.07/894.34 c 762s | 13 | 112393 | 49032 | 28781 3 | 2549 | 3195 896.86/897.15 c 765s | 13 | 112650 | 49232 | 28781 3 | 2549 | 3195 899.96/900.25 c 768s | 13 | 112877 | 49432 | 28781 3 | 2549 | 3195 902.97/903.23 c 771s | 13 | 113121 | 49632 | 28781 3 | 2549 | 3195 905.76/906.02 c 774s | 13 | 113366 | 49832 | 28781 3 | 2549 | 3195 907.76/908.04 c 776s | 13 | 113475 | 49932 | 28781 3 | 2549 | 3195 910.67/910.93 c 779s | 13 | 113713 | 50132 | 28781 3 | 2549 | 3195 914.26/914.57 c 783s | 13 | 113955 | 50332 | 28781 3 | 2549 | 3195 917.06/917.30 c 785s | 13 | 114213 | 50532 | 28781 3 | 2549 | 3195 920.06/920.37 c 788s | 13 | 114462 | 50732 | 28781 3 | 2549 | 3195 922.96/923.27 c 791s | 13 | 114731 | 50932 | 28781 3 | 2549 | 3195 926.66/926.91 c 795s | 13 | 114996 | 51132 | 28781 3 | 2549 | 3195 928.86/929.19 c 797s | 13 | 115147 | 51232 | 28781 3 | 2549 | 3195 931.96/932.25 c 800s | 13 | 115414 | 51432 | 28781 3 | 2549 | 3195 935.35/935.64 c 804s | 13 | 115678 | 51632 | 28781 3 | 2549 | 3195 938.06/938.38 c 806s | 13 | 115931 | 51832 | 28781 3 | 2549 | 3195 940.55/940.87 c 809s | 13 | 116244 | 52032 | 31660 3 | 2549 | 3195 943.25/943.52 c 812s | 13 | 116503 | 52232 | 31660 3 | 2549 | 3195 946.05/946.34 c 814s | 13 | 116771 | 52432 | 31660 3 | 2549 | 3195 948.95/949.24 c 817s | 13 | 117051 | 52632 | 31660 3 | 2549 | 3195 951.45/951.79 c 820s | 13 | 117333 | 52832 | 31660 3 | 2549 | 3195 954.56/954.82 c 823s | 13 | 117564 | 53032 | 31660 3 | 2549 | 3195 957.55/957.83 c 826s | 13 | 117790 | 53232 | 31660 3 | 2549 | 3195 960.16/960.43 c 828s | 13 | 118062 | 53432 | 31660 3 | 2549 | 3195 963.05/963.33 c 831s | 13 | 118373 | 53632 | 31660 3 | 2549 | 3195 965.45/965.80 c 834s | 13 | 118657 | 53832 | 31660 3 | 2549 | 3195 968.25/968.58 c 837s | 13 | 118927 | 54032 | 31660 3 | 2549 | 3195 971.35/971.65 c 840s | 13 | 119191 | 54232 | 31660 3 | 2549 | 3195 973.75/974.08 c 842s | 13 | 119469 | 54432 | 31660 3 | 2549 | 3195 976.45/976.75 c 845s | 13 | 119712 | 54632 | 31660 3 | 2549 | 3195 979.05/979.33 c 847s | 13 | 119944 | 54832 | 31660 3 | 2549 | 3195 982.45/982.77 c 851s | 13 | 120163 | 55032 | 31660 3 | 2549 | 3195 986.35/986.65 c 855s | 13 | 120394 | 55232 | 31660 3 | 2549 | 3195 989.25/989.56 c 858s | 13 | 120653 | 55432 | 31660 3 | 2549 | 3195 991.95/992.26 c 860s | 13 | 120883 | 55632 | 31660 3 | 2549 | 3195 995.35/995.67 c 864s | 13 | 121142 | 55832 | 31660 3 | 2549 | 3195 997.85/998.17 c 866s | 13 | 121415 | 56032 | 31660 3 | 2549 | 3195 1001.64/1001.95 c 870s | 13 | 121662 | 56232 | 31660 3 | 2549 | 3195 1005.15/1005.45 c 873s | 13 | 121917 | 56432 | 31660 3 | 2549 | 3195 1008.04/1008.36 c 876s | 13 | 122160 | 56632 | 31660 3 | 2549 | 3195 1010.34/1010.60 c 879s | 13 | 122447 | 56832 | 31660 3 | 2549 | 3195 1013.14/1013.40 c 881s | 13 | 122726 | 57032 | 31660 3 | 2549 | 3195 1016.84/1017.13 c 885s | 13 | 123029 | 57232 | 31660 3 | 2549 | 3195 1018.94/1019.27 c 887s | 13 | 123187 | 57332 | 31660 3 | 2549 | 3195 1022.34/1022.60 c 891s | 13 | 123469 | 57532 | 31660 3 | 2549 | 3195 1025.64/1025.91 c 894s | 13 | 123693 | 57732 | 31660 3 | 2549 | 3195 1028.74/1029.04 c 897s | 13 | 123995 | 57932 | 31660 3 | 2549 | 3195 1032.94/1033.28 c 901s | 13 | 124243 | 58132 | 31660 3 | 2549 | 3195 1035.34/1035.67 c 904s | 13 | 124360 | 58232 | 31660 3 | 2549 | 3195 1038.04/1038.32 c 906s | 13 | 124470 | 58332 | 31660 3 | 2549 | 3195 1038.64/1038.90 c 907s | 14 | 124492 | 58352 | 31660 3 | 2549 | 3195 1040.84/1041.17 c 909s | 14 | 127936 | 58452 | 31660 3 | 2549 | 3195 1043.24/1043.57 c 912s | 14 | 128041 | 58552 | 31660 3 | 2549 | 3195 1045.54/1045.83 c 914s | 14 | 128211 | 58652 | 31660 3 | 2549 | 3195 1048.64/1048.96 c 917s | 14 | 128519 | 58852 | 31660 3 | 2549 | 3195 1052.24/1052.58 c 921s | 14 | 128788 | 59052 | 31660 3 | 2549 | 3195 1054.64/1055.00 c 923s | 14 | 128900 | 59152 | 31660 3 | 2549 | 3195 1059.34/1059.62 c 928s | 14 | 129140 | 59352 | 31660 3 | 2549 | 3195 1061.64/1061.94 c 930s | 14 | 129280 | 59452 | 31660 3 | 2549 | 3195 1063.84/1064.13 c 932s | 14 | 129601 | 59652 | 31660 3 | 2549 | 3195 1067.13/1067.46 c 936s | 14 | 129842 | 59852 | 31660 3 | 2549 | 3195 1071.24/1071.53 c 940s | 14 | 130222 | 60052 | 31660 3 | 2549 | 3195 1074.03/1074.33 c 942s | 14 | 130523 | 60252 | 31660 3 | 2549 | 3195 1076.93/1077.26 c 945s | 14 | 130881 | 60452 | 31660 3 | 2549 | 3195 1080.33/1080.61 c 949s | 14 | 131177 | 60652 | 31660 3 | 2549 | 3195 1083.83/1084.18 c 952s | 14 | 131499 | 60852 | 31660 3 | 2549 | 3195 1086.03/1086.30 c 954s | 14 | 131623 | 60952 | 31660 3 | 2549 | 3195 1089.33/1089.62 c 958s | 14 | 131914 | 61152 | 31660 3 | 2549 | 3195 1093.03/1093.31 c 961s | 14 | 132164 | 61352 | 31660 3 | 2549 | 3195 1095.03/1095.37 c 963s | 14 | 132303 | 61452 | 31660 3 | 2549 | 3195 1098.33/1098.62 c 967s | 14 | 132563 | 61652 | 31660 3 | 2549 | 3195 1101.53/1101.81 c 970s | 14 | 132862 | 61852 | 31660 3 | 2549 | 3195 1103.73/1104.08 c 972s | 14 | 133001 | 61952 | 31660 3 | 2549 | 3195 1107.93/1108.26 c 976s | 14 | 133230 | 62152 | 31660 3 | 2549 | 3195 1110.03/1110.38 c 978s | 14 | 133375 | 62252 | 31660 3 | 2549 | 3195 1113.73/1114.03 c 982s | 14 | 133671 | 62452 | 31660 3 | 2549 | 3195 1116.03/1116.33 c 984s | 14 | 133810 | 62552 | 31660 3 | 2549 | 3195 1118.03/1118.36 c 986s | 14 | 133936 | 62652 | 31660 3 | 2549 | 3195 1120.53/1120.82 c 989s | 14 | 134064 | 62752 | 31660 3 | 2549 | 3195 1123.23/1123.50 c 992s | 14 | 134196 | 62852 | 31660 3 | 2549 | 3195 1126.13/1126.42 c 994s | 14 | 134309 | 62952 | 31660 3 | 2549 | 3195 1128.13/1128.45 c 996s | 14 | 134419 | 63052 | 31660 3 | 2549 | 3195 1132.52/1132.82 c 1001s | 14 | 134674 | 63252 | 31660 3 | 2549 | 3195 1135.12/1135.48 c 1004s | 14 | 134785 | 63352 | 31660 3 | 2549 | 3195 1137.42/1137.77 c 1006s | 14 | 134915 | 63452 | 31660 3 | 2549 | 3195 1140.72/1141.03 c 1009s | 14 | 135333 | 63652 | 31660 3 | 2549 | 3195 1144.22/1144.55 c 1013s | 14 | 135646 | 63852 | 31660 3 | 2549 | 3195 1146.42/1146.75 c 1015s | 14 | 135794 | 63952 | 31660 3 | 2549 | 3195 1150.02/1150.36 c 1018s | 14 | 136104 | 64152 | 31660 3 | 2549 | 3195 1152.32/1152.60 c 1021s | 14 | 136283 | 64252 | 31660 3 | 2549 | 3195 1155.72/1156.02 c 1024s | 14 | 136576 | 64452 | 31660 3 | 2549 | 3195 1158.92/1159.29 c 1027s | 14 | 136870 | 64652 | 31660 3 | 2549 | 3195 1161.02/1161.36 c 1029s | 14 | 137031 | 64752 | 31660 3 | 2549 | 3195 1164.92/1165.20 c 1033s | 14 | 137342 | 64952 | 31660 3 | 2549 | 3195 1168.12/1168.48 c 1037s | 14 | 137658 | 65152 | 31660 3 | 2549 | 3195 1171.62/1171.98 c 1040s | 14 | 137927 | 65352 | 31660 3 | 2549 | 3195 1174.63/1174.95 c 1043s | 14 | 138216 | 65552 | 31660 3 | 2549 | 3195 1177.12/1177.45 c 1046s | 14 | 138492 | 65752 | 31660 3 | 2549 | 3195 1180.02/1180.40 c 1048s | 14 | 138802 | 65952 | 31660 3 | 2549 | 3195 1183.32/1183.61 c 1052s | 14 | 139070 | 66152 | 31660 3 | 2549 | 3195 1186.42/1186.71 c 1055s | 14 | 139367 | 66352 | 31660 3 | 2549 | 3195 1190.42/1190.76 c 1059s | 14 | 139673 | 66552 | 31660 3 | 2549 | 3195 1194.32/1194.65 c 1063s | 14 | 139937 | 66752 | 31660 3 | 2549 | 3195 1196.52/1196.84 c 1065s | 14 | 140057 | 66852 | 31660 4 | 2549 | 3195 1199.61/1199.95 c 1068s | 14 | 140397 | 67052 | 31660 4 | 2549 | 3195 1201.61/1201.98 c 1070s | 14 | 140516 | 67152 | 31660 4 | 2549 | 3195 1203.71/1204.02 c 1072s | 14 | 140681 | 67252 | 31660 4 | 2549 | 3195 1206.01/1206.32 c 1074s | 14 | 140816 | 67352 | 31660 4 | 2549 | 3195 1208.62/1208.98 c 1077s | 14 | 140923 | 67452 | 31660 4 | 2549 | 3195 1211.11/1211.44 c 1079s | 14 | 141045 | 67552 | 31660 4 | 2549 | 3195 1213.61/1213.98 c 1082s | 14 | 141188 | 67652 | 31660 4 | 2549 | 3195 1215.81/1216.15 c 1084s | 14 | 141315 | 67752 | 31660 4 | 2549 | 3195 1217.91/1218.21 c 1086s | 14 | 141425 | 67852 | 31660 4 | 2549 | 3195 1221.41/1221.76 c 1090s | 14 | 141754 | 68052 | 31660 4 | 2549 | 3195 1224.31/1224.69 c 1093s | 14 | 141866 | 68152 | 31660 4 | 2549 | 3195 1227.42/1227.79 c 1096s | 14 | 141991 | 68252 | 31660 4 | 2549 | 3195 1231.11/1231.44 c 1099s | 14 | 142254 | 68452 | 31660 4 | 2549 | 3195 1233.21/1233.54 c 1102s | 14 | 142419 | 68552 | 31660 4 | 2549 | 3195 1236.91/1237.23 c 1105s | 14 | 142687 | 68752 | 31660 4 | 2549 | 3195 1240.61/1240.97 c 1109s | 14 | 142977 | 68952 | 31660 4 | 2549 | 3195 1243.11/1243.46 c 1112s | 14 | 143091 | 69052 | 31660 4 | 2549 | 3195 1245.61/1245.98 c 1114s | 14 | 143213 | 69152 | 31660 4 | 2549 | 3195 1248.11/1248.50 c 1117s | 14 | 143348 | 69252 | 31660 4 | 2549 | 3195 1250.41/1250.73 c 1119s | 14 | 143466 | 69352 | 31660 4 | 2549 | 3195 1252.81/1253.16 c 1121s | 14 | 143582 | 69452 | 31660 4 | 2549 | 3195 1256.11/1256.49 c 1125s | 14 | 143832 | 69652 | 31660 4 | 2549 | 3195 1258.80/1259.10 c 1127s | 14 | 143990 | 69752 | 31660 4 | 2549 | 3195 1262.61/1262.96 c 1131s | 14 | 144092 | 69852 | 31660 4 | 2549 | 3195 1267.70/1268.08 c 1136s | 14 | 144360 | 70052 | 31660 4 | 2549 | 3195 1271.60/1271.96 c 1140s | 14 | 144615 | 70252 | 31660 4 | 2549 | 3195 1274.10/1274.49 c 1143s | 14 | 144714 | 70352 | 31660 4 | 2549 | 3195 1276.30/1276.64 c 1145s | 14 | 144841 | 70452 | 31660 4 | 2549 | 3195 1280.00/1280.32 c 1148s | 14 | 145114 | 70652 | 31660 4 | 2549 | 3195 1282.60/1282.97 c 1151s | 14 | 145477 | 70852 | 31660 4 | 2549 | 3195 1285.80/1286.18 c 1154s | 14 | 145731 | 71052 | 31660 4 | 2549 | 3195 1289.30/1289.69 c 1158s | 14 | 145987 | 71252 | 31660 4 | 2549 | 3195 1292.70/1293.03 c 1161s | 14 | 146256 | 71452 | 31660 4 | 2549 | 3195 1294.70/1295.05 c 1163s | 14 | 146393 | 71552 | 31660 4 | 2549 | 3195 1298.00/1298.35 c 1166s | 14 | 146664 | 71752 | 31660 4 | 2549 | 3195 1302.21/1302.52 c 1171s | 14 | 146911 | 71952 | 31660 4 | 2549 | 3195 1306.10/1306.45 c 1175s | 14 | 147194 | 72152 | 31660 4 | 2549 | 3195 1310.10/1310.42 c 1178s | 14 | 147498 | 72352 | 31660 4 | 2549 | 3195 1312.20/1312.50 c 1181s | 14 | 147616 | 72452 | 31660 4 | 2549 | 3195 1315.60/1315.91 c 1184s | 14 | 147970 | 72652 | 31660 4 | 2549 | 3195 1317.60/1317.92 c 1186s | 14 | 148091 | 72752 | 31660 4 | 2549 | 3195 1319.80/1320.13 c 1188s | 14 | 148205 | 72852 | 31660 4 | 2549 | 3195 1322.40/1322.77 c 1191s | 14 | 148322 | 72952 | 31660 4 | 2549 | 3195 1325.99/1326.33 c 1194s | 14 | 148682 | 73152 | 31660 4 | 2549 | 3195 1328.50/1328.83 c 1197s | 14 | 148798 | 73252 | 31660 4 | 2549 | 3195 1331.99/1332.35 c 1200s | 14 | 149059 | 73452 | 31660 4 | 2549 | 3195 1334.10/1334.48 c 1203s | 14 | 149194 | 73552 | 31660 4 | 2549 | 3195 1336.39/1336.74 c 1205s | 14 | 149296 | 73652 | 31660 4 | 2549 | 3195 1339.60/1339.93 c 1208s | 14 | 149588 | 73852 | 31660 4 | 2549 | 3195 1343.09/1343.42 c 1211s | 14 | 149871 | 74052 | 31660 4 | 2549 | 3195 1346.59/1346.90 c 1215s | 14 | 150142 | 74252 | 31660 4 | 2549 | 3195 1349.99/1350.33 c 1218s | 14 | 150393 | 74452 | 31660 4 | 2549 | 3195 1351.99/1352.35 c 1220s | 14 | 150566 | 74552 | 31660 4 | 2549 | 3195 1355.69/1356.00 c 1224s | 14 | 150846 | 74752 | 31660 4 | 2549 | 3195 1358.79/1359.11 c 1227s | 14 | 151235 | 74952 | 31660 4 | 2549 | 3195 1361.39/1361.73 c 1230s | 14 | 151350 | 75052 | 31660 4 | 2549 | 3195 1365.09/1365.44 c 1233s | 14 | 151650 | 75252 | 31660 4 | 2549 | 3195 1367.29/1367.67 c 1236s | 14 | 151772 | 75352 | 31660 4 | 2549 | 3195 1369.69/1370.08 c 1238s | 14 | 151892 | 75452 | 31660 4 | 2549 | 3195 1372.49/1372.88 c 1241s | 14 | 152008 | 75552 | 31660 4 | 2549 | 3195 1374.79/1375.15 c 1243s | 14 | 152161 | 75652 | 31660 4 | 2549 | 3195 1377.99/1378.35 c 1246s | 14 | 152446 | 75852 | 31660 4 | 2549 | 3195 1381.79/1382.13 c 1250s | 14 | 152683 | 76052 | 31660 4 | 2549 | 3195 1384.19/1384.55 c 1253s | 14 | 152806 | 76152 | 31660 4 | 2549 | 3195 1386.39/1386.76 c 1255s | 14 | 152919 | 76252 | 31660 4 | 2549 | 3195 1388.48/1388.89 c 1257s | 14 | 153097 | 76352 | 31660 4 | 2549 | 3195 1391.68/1392.02 c 1260s | 14 | 153412 | 76552 | 31660 4 | 2549 | 3195 1395.08/1395.48 c 1264s | 14 | 153681 | 76752 | 31660 4 | 2549 | 3195 1397.28/1397.67 c 1266s | 14 | 153819 | 76852 | 31660 4 | 2549 | 3195 1400.78/1401.20 c 1269s | 14 | 154088 | 77052 | 31660 4 | 2549 | 3195 1404.58/1404.96 c 1273s | 14 | 154360 | 77252 | 31660 4 | 2549 | 3195 1406.69/1407.08 c 1275s | 14 | 154499 | 77352 | 31660 4 | 2549 | 3195 1411.28/1411.64 c 1280s | 14 | 154746 | 77552 | 31660 4 | 2549 | 3195 1413.68/1414.04 c 1282s | 14 | 154866 | 77652 | 31660 4 | 2549 | 3195 1415.78/1416.17 c 1284s | 14 | 154998 | 77752 | 31660 4 | 2549 | 3195 1417.98/1418.34 c 1286s | 14 | 155111 | 77852 | 31660 4 | 2549 | 3195 1420.28/1420.64 c 1289s | 14 | 155246 | 77952 | 31660 4 | 2549 | 3195 1422.48/1422.87 c 1291s | 14 | 155354 | 78052 | 31660 4 | 2549 | 3195 1424.78/1425.11 c 1293s | 14 | 155466 | 78152 | 31660 4 | 2549 | 3195 1427.68/1428.00 c 1296s | 14 | 155588 | 78252 | 31660 4 | 2549 | 3195 1431.18/1431.56 c 1300s | 14 | 155852 | 78452 | 31660 4 | 2549 | 3195 1433.18/1433.60 c 1302s | 14 | 155962 | 78552 | 31660 4 | 2549 | 3195 1437.18/1437.53 c 1306s | 14 | 156183 | 78752 | 31660 4 | 2549 | 3195 1439.28/1439.63 c 1308s | 14 | 156304 | 78852 | 31660 4 | 2549 | 3195 1441.58/1441.93 c 1310s | 14 | 156427 | 78952 | 31660 4 | 2549 | 3195 1445.48/1445.81 c 1314s | 14 | 156683 | 79152 | 31660 4 | 2549 | 3195 1447.87/1448.22 c 1316s | 14 | 156802 | 79252 | 31660 4 | 2549 | 3195 1450.27/1450.67 c 1319s | 14 | 156933 | 79352 | 31660 4 | 2549 | 3195 1453.27/1453.61 c 1322s | 14 | 157069 | 79452 | 31660 4 | 2549 | 3195 1455.27/1455.62 c 1324s | 14 | 157182 | 79552 | 31660 4 | 2549 | 3195 1457.67/1458.01 c 1326s | 14 | 157286 | 79652 | 31660 4 | 2549 | 3195 1460.37/1460.80 c 1329s | 14 | 157409 | 79752 | 31660 4 | 2549 | 3195 1462.78/1463.19 c 1331s | 14 | 157515 | 79852 | 31660 4 | 2549 | 3195 1465.87/1466.24 c 1334s | 14 | 157647 | 79952 | 31660 4 | 2549 | 3195 1468.57/1468.93 c 1337s | 14 | 157778 | 80052 | 31660 4 | 2549 | 3195 1470.87/1471.21 c 1339s | 14 | 157898 | 80152 | 31660 4 | 2549 | 3195 1473.47/1473.89 c 1342s | 14 | 158011 | 80252 | 31660 4 | 2549 | 3195 1475.98/1476.33 c 1344s | 14 | 158124 | 80352 | 31660 4 | 2549 | 3195 1478.87/1479.24 c 1347s | 14 | 158228 | 80452 | 31660 4 | 2549 | 3195 1481.17/1481.55 c 1350s | 14 | 158352 | 80552 | 31660 4 | 2549 | 3195 1483.37/1483.73 c 1352s | 14 | 158478 | 80652 | 31660 4 | 2549 | 3195 1485.67/1486.02 c 1354s | 14 | 158615 | 80752 | 31660 4 | 2549 | 3195 1488.37/1488.79 c 1357s | 14 | 158727 | 80852 | 31660 4 | 2549 | 3195 1490.97/1491.34 c 1359s | 14 | 158838 | 80952 | 31660 4 | 2549 | 3195 1493.48/1493.86 c 1362s | 14 | 158951 | 81052 | 31660 4 | 2549 | 3195 1495.97/1496.36 c 1364s | 14 | 159072 | 81152 | 31660 4 | 2549 | 3195 1498.87/1499.29 c 1367s | 14 | 159186 | 81252 | 31660 4 | 2549 | 3195 1501.37/1501.78 c 1370s | 14 | 159310 | 81352 | 31660 4 | 2549 | 3195 1503.37/1503.80 c 1372s | 14 | 159437 | 81452 | 31660 4 | 2549 | 3195 1505.57/1505.96 c 1374s | 14 | 159579 | 81552 | 31660 4 | 2549 | 3195 1509.47/1509.80 c 1378s | 14 | 159902 | 81752 | 31660 4 | 2549 | 3195 1512.27/1512.66 c 1381s | 14 | 160022 | 81852 | 31660 4 | 2549 | 3195 1514.56/1514.92 c 1383s | 14 | 160162 | 81952 | 31660 4 | 2549 | 3195 1517.56/1517.90 c 1386s | 14 | 160307 | 82052 | 31660 4 | 2549 | 3195 1520.46/1520.85 c 1389s | 14 | 160414 | 82152 | 31660 4 | 2549 | 3195 1522.56/1522.95 c 1391s | 14 | 160546 | 82252 | 31660 4 | 2549 | 3195 1525.86/1526.22 c 1394s | 14 | 160807 | 82452 | 31660 4 | 2549 | 3195 1528.06/1528.49 c 1397s | 14 | 160920 | 82552 | 31660 4 | 2549 | 3195 1531.26/1531.62 c 1400s | 14 | 161159 | 82752 | 31660 4 | 2549 | 3195 1534.56/1534.93 c 1403s | 14 | 161429 | 82952 | 31660 4 | 2549 | 3195 1536.66/1537.00 c 1405s | 14 | 161542 | 83052 | 31660 4 | 2549 | 3195 1540.36/1540.72 c 1409s | 14 | 161784 | 83252 | 31660 4 | 2549 | 3195 1543.46/1543.82 c 1412s | 14 | 162022 | 83452 | 31660 4 | 2549 | 3195 1546.37/1546.80 c 1415s | 14 | 162335 | 83652 | 31660 4 | 2549 | 3195 1549.46/1549.81 c 1418s | 14 | 162647 | 83852 | 31660 4 | 2549 | 3195 1552.56/1552.96 c 1421s | 14 | 162912 | 84052 | 31660 4 | 2549 | 3195 1555.56/1555.96 c 1424s | 14 | 163197 | 84252 | 31660 4 | 2549 | 3195 1557.66/1558.06 c 1426s | 14 | 163293 | 84352 | 31660 4 | 2549 | 3195 1561.46/1561.85 c 1430s | 14 | 163584 | 84552 | 31660 4 | 2549 | 3195 1564.16/1564.51 c 1433s | 14 | 163926 | 84752 | 31660 4 | 2549 | 3195 1566.96/1567.30 c 1435s | 14 | 164274 | 84952 | 31660 4 | 2549 | 3195 1568.96/1569.37 c 1437s | 14 | 164383 | 85052 | 31660 4 | 2549 | 3195 1573.36/1573.77 c 1442s | 14 | 164621 | 85252 | 31660 4 | 2549 | 3195 1575.86/1576.20 c 1444s | 14 | 164991 | 85452 | 31660 4 | 2549 | 3195 1579.85/1580.27 c 1448s | 14 | 165207 | 85652 | 31660 4 | 2549 | 3195 1583.55/1583.98 c 1452s | 14 | 165477 | 85852 | 31660 4 | 2549 | 3195 1585.75/1586.14 c 1454s | 14 | 165585 | 85952 | 31660 4 | 2549 | 3195 1589.55/1589.91 c 1458s | 14 | 165939 | 86152 | 31660 4 | 2549 | 3195 1591.65/1592.04 c 1460s | 14 | 166075 | 86252 | 31660 4 | 2549 | 3195 1595.65/1596.07 c 1464s | 14 | 166314 | 86452 | 31660 4 | 2549 | 3195 1598.15/1598.57 c 1467s | 14 | 166419 | 86552 | 31660 4 | 2549 | 3195 1600.55/1600.90 c 1469s | 14 | 166529 | 86652 | 31660 4 | 2549 | 3195 1603.85/1604.27 c 1472s | 14 | 166835 | 86852 | 31660 5 | 2549 | 3195 1607.25/1607.69 c 1476s | 14 | 167128 | 87052 | 31660 5 | 2549 | 3195 1610.55/1610.91 c 1479s | 14 | 167412 | 87252 | 31660 5 | 2549 | 3195 1613.85/1614.21 c 1482s | 14 | 167663 | 87452 | 31660 5 | 2549 | 3195 1617.15/1617.53 c 1486s | 15 | 167869 | 87632 | 31660 5 | 2549 | 3195 1619.25/1619.62 c 1488s | 15 | 171320 | 87732 | 31660 5 | 2549 | 3195 1623.15/1623.59 c 1492s | 15 | 171695 | 87932 | 31660 5 | 2549 | 3195 1626.15/1626.59 c 1495s | 15 | 171999 | 88132 | 31660 5 | 2549 | 3195 1629.65/1630.07 c 1498s | 15 | 172274 | 88332 | 31660 5 | 2549 | 3195 1632.25/1632.69 c 1501s | 15 | 172597 | 88532 | 31660 5 | 2549 | 3195 1634.95/1635.37 c 1503s | 15 | 172731 | 88632 | 31660 5 | 2549 | 3195 1637.85/1638.24 c 1506s | 15 | 172994 | 88832 | 31660 5 | 2549 | 3195 1639.95/1640.31 c 1508s | 15 | 173114 | 88932 | 31660 5 | 2549 | 3195 1643.35/1643.78 c 1512s | 15 | 173401 | 89132 | 31660 5 | 2549 | 3195 1645.55/1645.97 c 1514s | 15 | 173535 | 89232 | 31660 5 | 2549 | 3195 1648.45/1648.89 c 1517s | 15 | 173808 | 89432 | 31660 5 | 2549 | 3195 1652.05/1652.41 c 1520s | 15 | 174063 | 89632 | 31660 5 | 2549 | 3195 1654.55/1654.95 c 1523s | 15 | 174339 | 89832 | 31660 5 | 2549 | 3195 1657.36/1657.72 c 1526s | 15 | 174590 | 90032 | 31660 5 | 2549 | 3195 1660.75/1661.16 c 1529s | 15 | 174824 | 90232 | 31660 5 | 2549 | 3195 1664.25/1664.63 c 1533s | 15 | 175091 | 90432 | 31660 5 | 2549 | 3195 1666.35/1666.72 c 1535s | 15 | 175231 | 90532 | 31660 5 | 2549 | 3195 1668.95/1669.39 c 1537s | 15 | 175508 | 90732 | 31660 5 | 2549 | 3195 1671.65/1672.03 c 1540s | 15 | 175764 | 90932 | 31660 5 | 2549 | 3195 1675.45/1675.81 c 1544s | 15 | 176007 | 91132 | 31660 5 | 2549 | 3195 1678.25/1678.70 c 1547s | 15 | 176116 | 91232 | 31660 5 | 2549 | 3195 1680.45/1680.80 c 1549s | 15 | 176234 | 91332 | 31660 5 | 2549 | 3195 1682.65/1683.03 c 1551s | 15 | 176351 | 91432 | 31660 5 | 2549 | 3195 1685.04/1685.47 c 1554s | 15 | 176466 | 91532 | 31660 5 | 2549 | 3195 1687.05/1687.48 c 1556s | 15 | 176580 | 91632 | 31660 5 | 2549 | 3195 1689.25/1689.63 c 1558s | 15 | 176690 | 91732 | 31660 5 | 2549 | 3195 1693.34/1693.72 c 1562s | 15 | 176966 | 91932 | 31660 5 | 2549 | 3195 1697.14/1697.53 c 1566s | 15 | 177215 | 92132 | 31660 5 | 2549 | 3195 1699.74/1700.14 c 1568s | 15 | 177334 | 92232 | 31660 5 | 2549 | 3195 1702.04/1702.44 c 1570s | 15 | 177445 | 92332 | 31660 5 | 2549 | 3195 1704.24/1704.60 c 1573s | 15 | 177575 | 92432 | 31660 5 | 2549 | 3195 1707.54/1707.94 c 1576s | 15 | 177879 | 92632 | 31660 5 | 2549 | 3195 1711.35/1711.77 c 1580s | 15 | 178124 | 92832 | 31660 5 | 2549 | 3195 1715.14/1715.56 c 1584s | 15 | 178372 | 93032 | 31660 5 | 2549 | 3195 1717.64/1718.00 c 1586s | 15 | 178503 | 93132 | 31660 5 | 2549 | 3195 1719.84/1720.26 c 1588s | 15 | 178637 | 93232 | 31660 5 | 2549 | 3195 1722.14/1722.50 c 1591s | 15 | 178793 | 93332 | 31660 5 | 2549 | 3195 1724.34/1724.70 c 1593s | 15 | 178946 | 93432 | 31660 5 | 2549 | 3195 1726.54/1726.90 c 1595s | 15 | 179076 | 93532 | 31660 5 | 2549 | 3195 1729.04/1729.44 c 1597s | 15 | 179192 | 93632 | 31660 5 | 2549 | 3195 1732.04/1732.42 c 1600s | 15 | 179314 | 93732 | 31660 5 | 2549 | 3195 1734.54/1734.96 c 1603s | 15 | 179447 | 93832 | 31660 5 | 2549 | 3195 1738.14/1738.52 c 1607s | 15 | 179552 | 93932 | 31660 5 | 2549 | 3195 1740.34/1740.72 c 1609s | 15 | 179679 | 94032 | 31660 5 | 2549 | 3195 1742.64/1743.01 c 1611s | 15 | 179823 | 94132 | 31660 5 | 2549 | 3195 1745.13/1745.56 c 1614s | 15 | 179981 | 94232 | 31660 5 | 2549 | 3195 1747.33/1747.73 c 1616s | 15 | 180099 | 94332 | 31660 5 | 2549 | 3195 1750.03/1750.45 c 1619s | 15 | 180238 | 94432 | 31660 5 | 2549 | 3195 1752.73/1753.12 c 1621s | 15 | 180359 | 94532 | 31660 5 | 2549 | 3195 1755.43/1755.80 c 1624s | 15 | 180478 | 94632 | 31660 5 | 2549 | 3195 1757.63/1758.02 c 1626s | 15 | 180587 | 94732 | 31660 5 | 2549 | 3195 1760.03/1760.45 c 1629s | 15 | 180710 | 94832 | 31660 5 | 2549 | 3195 1763.43/1763.88 c 1632s | 15 | 180826 | 94932 | 31660 5 | 2549 | 3195 1765.53/1765.94 c 1634s | 15 | 180962 | 95032 | 31660 5 | 2549 | 3195 1768.13/1768.58 c 1637s | 15 | 181071 | 95132 | 31660 5 | 2549 | 3195 1770.23/1770.61 c 1639s | 15 | 181191 | 95232 | 31660 5 | 2549 | 3195 1772.43/1772.82 c 1641s | 15 | 181306 | 95332 | 31660 5 | 2549 | 3195 1774.83/1775.20 c 1643s | 15 | 181427 | 95432 | 31660 5 | 2549 | 3195 1777.53/1777.98 c 1646s | 15 | 181548 | 95532 | 34826 5 | 2549 | 3195 1779.73/1780.14 c 1648s | 15 | 181687 | 95632 | 34826 5 | 2549 | 3195 1783.43/1783.84 c 1652s | 15 | 181941 | 95832 | 34826 5 | 2549 | 3195 1785.93/1786.30 c 1654s | 15 | 182071 | 95932 | 34826 5 | 2549 | 3195 1788.24/1788.67 c 1657s | 15 | 182193 | 96032 | 34826 5 | 2549 | 3195 1790.63/1791.03 c 1659s | 15 | 182324 | 96132 | 34826 5 | 2549 | 3195 1794.73/1795.17 c 1663s | 15 | 182595 | 96332 | 34826 5 | 2549 | 3195 1797.03/1797.50 c 1666s | 15 | 182730 | 96432 | 34826 5 | 2549 | 3195 1799.63/1800.06 c 1668s | 15 | 182868 | 96532 | 34826 5 | 2549 | 3195
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-4093454-1466087616/watcher-4093454-1466087616 -o /tmp/evaluation-result-4093454-1466087616/solver-4093454-1466087616 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466074715-9714 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093454-1466087616.wbo pid=11766 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.03 2.01 3/179 11769 /proc/meminfo: memFree=31236912/32872528 swapFree=240572/273276 [pid=11769] ppid=11766 vsize=725436 CPUtime=0 cores=1,3,5,7 /proc/11769/stat : 11769 (toysat) R 11766 11769 7549 0 -1 4202496 2707 0 0 0 0 0 0 0 20 0 4 0 10811624 742846464 3067 33554432000 4194304 16246674 140736187857568 140736187856992 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11769/statm: 182127 3077 441 2943 0 179021 0 [pid=11769/tid=11770] ppid=11766 vsize=743868 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11770/stat : 11770 (toysat) S 11766 11769 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10811624 761720832 3139 33554432000 4194304 16246674 140736187857568 140624291409136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11769/tid=11771] ppid=11766 vsize=747964 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11771/stat : 11771 (toysat) S 11766 11769 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10811624 765915136 3155 33554432000 4194304 16246674 140736187857568 140624208571632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11769/tid=11772] ppid=11766 vsize=753084 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11772/stat : 11772 (toysat) S 11766 11769 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10811624 771158016 3173 33554432000 4194304 16246674 140736187857568 140624198098096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100238 s] /proc/loadavg: 2.02 2.03 2.01 3/179 11769 /proc/meminfo: memFree=31236912/32872528 swapFree=240572/273276 [pid=11769] ppid=11766 vsize=1220164 CPUtime=0.09 cores=1,3,5,7 /proc/11769/stat : 11769 (toysat) R 11766 11769 7549 0 -1 4202496 28445 0 0 0 6 3 0 0 20 0 4 0 10811624 1249447936 28745 33554432000 4194304 16246674 140736187857568 140736187856880 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11769/statm: 305041 28745 801 2943 0 301935 0 [pid=11769/tid=11770] ppid=11766 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11770/stat : 11770 (toysat) S 11766 11769 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10811624 1249447936 28745 33554432000 4194304 16246674 140736187857568 140624291409136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11769/tid=11771] ppid=11766 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11771/stat : 11771 (toysat) S 11766 11769 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10811624 1249447936 28745 33554432000 4194304 16246674 140736187857568 140624208571632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11769/tid=11772] ppid=11766 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11772/stat : 11772 (toysat) S 11766 11769 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10811624 1249447936 28745 33554432000 4194304 16246674 140736187857568 140624198098096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200539 s] /proc/loadavg: 2.02 2.03 2.01 3/179 11769 /proc/meminfo: memFree=31236912/32872528 swapFree=240572/273276 [pid=11769] ppid=11766 vsize=1302084 CPUtime=0.19 cores=1,3,5,7 /proc/11769/stat : 11769 (toysat) R 11766 11769 7549 0 -1 4202496 48711 0 0 0 13 6 0 0 20 0 4 0 10811624 1333334016 49011 33554432000 4194304 16246674 140736187857568 140736187856880 6974484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11769/statm: 325521 49011 822 2943 0 322415 0 [pid=11769/tid=11770] ppid=11766 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11770/stat : 11770 (toysat) S 11766 11769 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10811624 1333334016 49011 33554432000 4194304 16246674 140736187857568 140624291409136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11769/tid=11771] ppid=11766 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11771/stat : 11771 (toysat) S 11766 11769 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10811624 1333334016 49011 33554432000 4194304 16246674 140736187857568 140624208571632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11769/tid=11772] ppid=11766 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11772/stat : 11772 (toysat) S 11766 11769 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10811624 1333334016 49011 33554432000 4194304 16246674 140736187857568 140624198098096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1302084 [startup+0.300491 s] /proc/loadavg: 2.02 2.03 2.01 3/179 11769 /proc/meminfo: memFree=31236912/32872528 swapFree=240572/273276 [pid=11769] ppid=11766 vsize=1310276 CPUtime=0.29 cores=1,3,5,7 /proc/11769/stat : 11769 (toysat) R 11766 11769 7549 0 -1 4202496 50813 0 0 0 23 6 0 0 20 0 4 0 10811624 1341722624 51113 33554432000 4194304 16246674 140736187857568 140736187856880 13809396 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11769/statm: 327569 51113 832 2943 0 324463 0 [pid=11769/tid=11770] ppid=11766 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11770/stat : 11770 (toysat) S 11766 11769 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10811624 1341722624 51113 33554432000 4194304 16246674 140736187857568 140624291409136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11769/tid=11771] ppid=11766 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11771/stat : 11771 (toysat) S 11766 11769 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10811624 1341722624 51113 33554432000 4194304 16246674 140736187857568 140624208571632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11769/tid=11772] ppid=11766 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11772/stat : 11772 (toysat) S 11766 11769 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10811624 1341722624 51113 33554432000 4194304 16246674 140736187857568 140624198098096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1310276 [startup+0.70038 s] /proc/loadavg: 2.02 2.03 2.01 3/179 11769 /proc/meminfo: memFree=31236912/32872528 swapFree=240572/273276 [pid=11769] ppid=11766 vsize=1310276 CPUtime=0.69 cores=1,3,5,7 /proc/11769/stat : 11769 (toysat) R 11766 11769 7549 0 -1 4202496 114938 0 0 0 54 15 0 0 20 0 4 0 10811624 1341722624 115238 33554432000 4194304 16246674 140736187857568 140736187839488 12481124 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11769/statm: 327569 115244 838 2943 0 324463 0 [pid=11769/tid=11770] ppid=11766 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11770/stat : 11770 (toysat) S 11766 11769 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10811624 1341722624 115249 33554432000 4194304 16246674 140736187857568 140624291409136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11769/tid=11771] ppid=11766 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11771/stat : 11771 (toysat) S 11766 11769 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10811624 1341722624 115256 33554432000 4194304 16246674 140736187857568 140624208571632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11769/tid=11772] ppid=11766 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11772/stat : 11772 (toysat) S 11766 11769 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10811624 1341722624 115263 33554432000 4194304 16246674 140736187857568 140624198098096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1310276 [startup+1.50041 s] /proc/loadavg: 2.02 2.03 2.01 3/183 11773 /proc/meminfo: memFree=30461288/32872528 swapFree=240572/273276 [pid=11769] ppid=11766 vsize=1310276 CPUtime=1.49 cores=1,3,5,7 /proc/11769/stat : 11769 (toysat) R 11766 11769 7549 0 -1 4202496 268700 0 0 0 113 36 0 0 20 0 4 0 10811624 1341722624 269000 33554432000 4194304 16246674 140736187857568 140736187839488 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11769/statm: 327569 269000 838 2943 0 324463 0 [pid=11769/tid=11770] ppid=11766 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11770/stat : 11770 (toysat) S 11766 11769 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10811624 1341722624 269000 33554432000 4194304 16246674 140736187857568 140624291409136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11769/tid=11771] ppid=11766 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11771/stat : 11771 (toysat) S 11766 11769 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10811624 1341722624 269000 33554432000 4194304 16246674 140736187857568 140624208571632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11769/tid=11772] ppid=11766 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11772/stat : 11772 (toysat) S 11766 11769 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10811624 1341722624 269000 33554432000 4194304 16246674 140736187857568 140624198098096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1310276 [startup+3.10042 s] /proc/loadavg: 2.02 2.03 2.01 4/183 11773 /proc/meminfo: memFree=30137772/32872528 swapFree=240572/273276 [pid=11769] ppid=11766 vsize=1333828 CPUtime=3.09 cores=1,3,5,7 /proc/11769/stat : 11769 (toysat) R 11766 11769 7549 0 -1 4202496 274682 0 0 0 272 37 0 0 20 0 4 0 10811624 1365839872 274982 33554432000 4194304 16246674 140736187857568 140736187839488 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11769/statm: 333457 274982 931 2943 0 330351 0 [pid=11769/tid=11770] ppid=11766 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11770/stat : 11770 (toysat) S 11766 11769 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10811624 1365839872 274982 33554432000 4194304 16246674 140736187857568 140624291409136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11769/tid=11771] ppid=11766 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11771/stat : 11771 (toysat) S 11766 11769 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10811624 1365839872 274982 33554432000 4194304 16246674 140736187857568 140624208571632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11769/tid=11772] ppid=11766 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11772/stat : 11772 (toysat) S 11766 11769 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10811624 1365839872 274982 33554432000 4194304 16246674 140736187857568 140624198098096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1333828 [startup+6.30041 s] /proc/loadavg: 2.02 2.03 2.01 3/183 11773 /proc/meminfo: memFree=30137536/32872528 swapFree=240572/273276 [pid=11769] ppid=11766 vsize=1333828 CPUtime=6.29 cores=1,3,5,7 /proc/11769/stat : 11769 (toysat) R 11766 11769 7549 0 -1 4202496 274686 0 0 0 592 37 0 0 20 0 4 0 10811624 1365839872 274986 33554432000 4194304 16246674 140736187857568 140736187839488 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11769/statm: 333457 274986 935 2943 0 330351 0 [pid=11769/tid=11770] ppid=11766 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11770/stat : 11770 (toysat) S 11766 11769 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10811624 1365839872 274986 33554432000 4194304 16246674 140736187857568 140624291409136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11769/tid=11771] ppid=11766 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11771/stat : 11771 (toysat) S 11766 11769 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10811624 1365839872 274986 33554432000 4194304 16246674 140736187857568 140624208571632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11769/tid=11772] ppid=11766 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11772/stat : 11772 (toysat) S 11766 11769 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10811624 1365839872 274986 33554432000 4194304 16246674 140736187857568 140624198098096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1333828 [startup+12.7004 s] /proc/loadavg: 2.01 2.03 2.01 4/183 11773 /proc/meminfo: memFree=30121116/32872528 swapFree=240572/273276 [pid=11769] ppid=11766 vsize=1333828 CPUtime=12.68 cores=1,3,5,7 /proc/11769/stat : 11769 (toysat) R 11766 11769 7549 0 -1 4202496 274686 0 0 0 1231 37 0 0 20 0 4 0 10811624 1365839872 274986 33554432000 4194304 16246674 140736187857568 140736187839488 13191524 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11769/statm: 333457 274986 935 2943 0 330351 0 [pid=11769/tid=11770] ppid=11766 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11770/stat : 11770 (toysat) S 11766 11769 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10811624 1365839872 274986 33554432000 4194304 16246674 140736187857568 140624291409136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11769/tid=11771] ppid=11766 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11771/stat : 11771 (toysat) S 11766 11769 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10811624 1365839872 274986 33554432000 4194304 16246674 140736187857568 140624208571632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11769/tid=11772] ppid=11766 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11772/stat : 11772 (toysat) S 11766 11769 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10811624 1365839872 274986 33554432000 4194304 16246674 140736187857568 140624198098096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1333828 [startup+25.5005 s] /proc/loadavg: 2.09 2.04 2.02 3/183 11871 /proc/meminfo: memFree=29543792/32872528 swapFree=240572/273276 [pid=11769] ppid=11766 vsize=1333828 CPUtime=25.49 cores=1,3,5,7 /proc/11769/stat : 11769 (toysat) R 11766 11769 7549 0 -1 4202496 274686 0 0 0 2511 38 0 0 20 0 4 0 10811624 1365839872 274986 33554432000 4194304 16246674 140736187857568 140736187855488 5827632 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11769/statm: 333457 274986 935 2943 0 330351 0 [pid=11769/tid=11770] ppid=11766 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11770/stat : 11770 (toysat) S 11766 11769 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10811624 1365839872 274986 33554432000 4194304 16246674 140736187857568 140624291409136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11769/tid=11771] ppid=11766 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11771/stat : 11771 (toysat) S 11766 11769 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10811624 1365839872 274986 33554432000 4194304 16246674 140736187857568 140624208571632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11769/tid=11772] ppid=11766 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11772/stat : 11772 (toysat) S 11766 11769 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10811624 1365839872 274986 33554432000 4194304 16246674 140736187857568 140624198098096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1333828 [startup+51.1005 s] /proc/loadavg: 2.11 2.05 2.02 3/183 11872 /proc/meminfo: memFree=29543044/32872528 swapFree=240572/273276 [pid=11769] ppid=11766 vsize=1333828 CPUtime=51.09 cores=1,3,5,7 /proc/11769/stat : 11769 (toysat) R 11766 11769 7549 0 -1 4202496 274689 0 0 0 5070 39 0 0 20 0 4 0 10811624 1365839872 275244 33554432000 4194304 16246674 140736187857568 140736187839488 5712656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11769/statm: 333457 275244 937 2943 0 330351 0 [pid=11769/tid=11770] ppid=11766 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11770/stat : 11770 (toysat) S 11766 11769 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10811624 1365839872 275244 33554432000 4194304 16246674 140736187857568 140624291409136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11769/tid=11771] ppid=11766 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11771/stat : 11771 (toysat) S 11766 11769 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10811624 1365839872 275244 33554432000 4194304 16246674 140736187857568 140624208571632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11769/tid=11772] ppid=11766 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11772/stat : 11772 (toysat) S 11766 11769 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10811624 1365839872 275244 33554432000 4194304 16246674 140736187857568 140624198098096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1333828 [startup+102.3 s] /proc/loadavg: 2.11 2.06 2.02 3/183 11873 /proc/meminfo: memFree=29542964/32872528 swapFree=240572/273276 [pid=11769] ppid=11766 vsize=1333828 CPUtime=102.28 cores=1,3,5,7 /proc/11769/stat : 11769 (toysat) R 11766 11769 7549 0 -1 4202496 274690 0 0 0 10189 39 0 0 20 0 4 0 10811624 1365839872 275245 33554432000 4194304 16246674 140736187857568 140736187839488 5711904 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11769/statm: 333457 275245 938 2943 0 330351 0 [pid=11769/tid=11770] ppid=11766 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11770/stat : 11770 (toysat) S 11766 11769 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10811624 1365839872 275245 33554432000 4194304 16246674 140736187857568 140624291409136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11769/tid=11771] ppid=11766 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11771/stat : 11771 (toysat) S 11766 11769 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10811624 1365839872 275245 33554432000 4194304 16246674 140736187857568 140624208571632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11769/tid=11772] ppid=11766 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11772/stat : 11772 (toysat) S 11766 11769 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10811624 1365839872 275245 33554432000 4194304 16246674 140736187857568 140624198098096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1333828 ################ # More data... # ################ /proc/11769/task/11772/stat : 11772 (toysat) S 11766 11769 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624198098096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 1343044 [startup+1302.3 s] /proc/loadavg: 2.06 2.04 2.00 3/183 11903 /proc/meminfo: memFree=29530464/32872528 swapFree=240572/273276 [pid=11769] ppid=11766 vsize=1343044 CPUtime=1302 cores=1,3,5,7 /proc/11769/stat : 11769 (toysat) R 11766 11769 7549 0 -1 4202496 277149 0 0 0 130160 40 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140736187839488 5712656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11769/statm: 335761 277551 940 2943 0 332655 0 [pid=11769/tid=11770] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11770/stat : 11770 (toysat) S 11766 11769 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624291409136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11769/tid=11771] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11771/stat : 11771 (toysat) S 11766 11769 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624208571632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11769/tid=11772] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11772/stat : 11772 (toysat) S 11766 11769 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624198098096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 1343044 [startup+1362.3 s] /proc/loadavg: 2.07 2.05 2.00 4/183 11904 /proc/meminfo: memFree=29530920/32872528 swapFree=240572/273276 [pid=11769] ppid=11766 vsize=1343044 CPUtime=1361.99 cores=1,3,5,7 /proc/11769/stat : 11769 (toysat) R 11766 11769 7549 0 -1 4202496 277149 0 0 0 136159 40 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140736187839488 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11769/statm: 335761 277551 940 2943 0 332655 0 [pid=11769/tid=11770] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11770/stat : 11770 (toysat) S 11766 11769 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624291409136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11769/tid=11771] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11771/stat : 11771 (toysat) S 11766 11769 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624208571632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11769/tid=11772] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11772/stat : 11772 (toysat) S 11766 11769 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624198098096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 1343044 [startup+1422.3 s] /proc/loadavg: 2.07 2.05 2.00 3/183 11905 /proc/meminfo: memFree=29531028/32872528 swapFree=240572/273276 [pid=11769] ppid=11766 vsize=1343044 CPUtime=1421.99 cores=1,3,5,7 /proc/11769/stat : 11769 (toysat) R 11766 11769 7549 0 -1 4202496 277149 0 0 0 142159 40 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140736187839488 5711576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11769/statm: 335761 277551 940 2943 0 332655 0 [pid=11769/tid=11770] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11770/stat : 11770 (toysat) S 11766 11769 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624291409136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11769/tid=11771] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11771/stat : 11771 (toysat) S 11766 11769 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624208571632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11769/tid=11772] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11772/stat : 11772 (toysat) S 11766 11769 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624198098096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.99 Current children cumulated vsize (KiB) 1343044 [startup+1482.3 s] /proc/loadavg: 2.02 2.04 2.00 3/183 11906 /proc/meminfo: memFree=29531244/32872528 swapFree=240572/273276 [pid=11769] ppid=11766 vsize=1343044 CPUtime=1481.97 cores=1,3,5,7 /proc/11769/stat : 11769 (toysat) R 11766 11769 7549 0 -1 4202496 277149 0 0 0 148157 40 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140736187839488 5711496 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11769/statm: 335761 277551 940 2943 0 332655 0 [pid=11769/tid=11770] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11770/stat : 11770 (toysat) S 11766 11769 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624291409136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11769/tid=11771] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11771/stat : 11771 (toysat) S 11766 11769 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624208571632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11769/tid=11772] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11772/stat : 11772 (toysat) S 11766 11769 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624198098096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 1343044 [startup+1542.31 s] /proc/loadavg: 2.01 2.03 2.00 3/183 11907 /proc/meminfo: memFree=29531116/32872528 swapFree=240572/273276 [pid=11769] ppid=11766 vsize=1343044 CPUtime=1541.97 cores=1,3,5,7 /proc/11769/stat : 11769 (toysat) R 11766 11769 7549 0 -1 4202496 277149 0 0 0 154157 40 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140736187839488 5712760 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11769/statm: 335761 277551 940 2943 0 332655 0 [pid=11769/tid=11770] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11770/stat : 11770 (toysat) S 11766 11769 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624291409136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11769/tid=11771] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11771/stat : 11771 (toysat) S 11766 11769 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624208571632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11769/tid=11772] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11772/stat : 11772 (toysat) S 11766 11769 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624198098096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.97 Current children cumulated vsize (KiB) 1343044 [startup+1602.3 s] /proc/loadavg: 2.10 2.05 2.01 4/184 11912 /proc/meminfo: memFree=29531008/32872528 swapFree=240572/273276 [pid=11769] ppid=11766 vsize=1343044 CPUtime=1601.95 cores=1,3,5,7 /proc/11769/stat : 11769 (toysat) R 11766 11769 7549 0 -1 4202496 277149 0 0 0 160155 40 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140736187839488 13954494 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11769/statm: 335761 277551 940 2943 0 332655 0 [pid=11769/tid=11770] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11770/stat : 11770 (toysat) S 11766 11769 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624291409136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11769/tid=11771] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11771/stat : 11771 (toysat) S 11766 11769 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624208571632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11769/tid=11772] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11772/stat : 11772 (toysat) S 11766 11769 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624198098096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.95 Current children cumulated vsize (KiB) 1343044 [startup+1662.3 s] /proc/loadavg: 2.15 2.07 2.01 3/184 11936 /proc/meminfo: memFree=29530104/32872528 swapFree=240572/273276 [pid=11769] ppid=11766 vsize=1343044 CPUtime=1661.95 cores=1,3,5,7 /proc/11769/stat : 11769 (toysat) R 11766 11769 7549 0 -1 4202496 277149 0 0 0 166154 41 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140736187839488 5712672 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11769/statm: 335761 277551 940 2943 0 332655 0 [pid=11769/tid=11770] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11770/stat : 11770 (toysat) S 11766 11769 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624291409136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11769/tid=11771] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11771/stat : 11771 (toysat) S 11766 11769 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624208571632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11769/tid=11772] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11772/stat : 11772 (toysat) S 11766 11769 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624198098096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.95 Current children cumulated vsize (KiB) 1343044 [startup+1722.3 s] /proc/loadavg: 2.17 2.09 2.02 4/183 11937 /proc/meminfo: memFree=29530456/32872528 swapFree=240572/273276 [pid=11769] ppid=11766 vsize=1343044 CPUtime=1721.94 cores=1,3,5,7 /proc/11769/stat : 11769 (toysat) R 11766 11769 7549 0 -1 4202496 277149 0 0 0 172153 41 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140736187839488 5711908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11769/statm: 335761 277551 940 2943 0 332655 0 [pid=11769/tid=11770] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11770/stat : 11770 (toysat) S 11766 11769 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624291409136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11769/tid=11771] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11771/stat : 11771 (toysat) S 11766 11769 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624208571632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11769/tid=11772] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11772/stat : 11772 (toysat) S 11766 11769 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624198098096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.94 Current children cumulated vsize (KiB) 1343044 [startup+1782.3 s] /proc/loadavg: 2.06 2.07 2.01 3/183 11938 /proc/meminfo: memFree=29530328/32872528 swapFree=240572/273276 [pid=11769] ppid=11766 vsize=1343044 CPUtime=1781.93 cores=1,3,5,7 /proc/11769/stat : 11769 (toysat) R 11766 11769 7549 0 -1 4202496 277149 0 0 0 178152 41 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140736187839488 5711801 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11769/statm: 335761 277551 940 2943 0 332655 0 [pid=11769/tid=11770] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11770/stat : 11770 (toysat) S 11766 11769 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624291409136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11769/tid=11771] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11771/stat : 11771 (toysat) S 11766 11769 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624208571632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11769/tid=11772] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11772/stat : 11772 (toysat) S 11766 11769 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624198098096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.93 Current children cumulated vsize (KiB) 1343044 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.05 2.06 2.01 3/183 11938 /proc/meminfo: memFree=29530080/32872528 swapFree=240572/273276 [pid=11769] ppid=11766 vsize=1343044 CPUtime=1800.03 cores=1,3,5,7 /proc/11769/stat : 11769 (toysat) R 11766 11769 7549 0 -1 4202496 277149 0 0 0 179962 41 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140736187839488 5712771 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11769/statm: 335761 277551 940 2943 0 332655 0 [pid=11769/tid=11770] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11770/stat : 11770 (toysat) S 11766 11769 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624291409136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11769/tid=11771] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11771/stat : 11771 (toysat) S 11766 11769 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624208571632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11769/tid=11772] ppid=11766 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/11769/task/11772/stat : 11772 (toysat) S 11766 11769 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10811624 1375277056 277551 33554432000 4194304 16246674 140736187857568 140624198098096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1343044 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 11769 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.04 CPU user time (s): 1799.63 CPU system time (s): 0.412937 CPU usage (%): 99.9795 Max. virtual memory (cumulated for all children) (KiB): 1343044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.63 system time used= 0.412937 maximum resident set size= 1110204 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 277149 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= 169 involuntary context switches= 1988 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.89825 second user time and 6.603 second system time The end
Begin job on node107 at 2016-06-16 16:33:36 IDJOB=4093454 IDBENCH=79065 IDSOLVER=2553 FILE ID=node107/4093454-1466087616 RUNJOBID= node107-1466074715-9714 PBS_JOBID= 19904025 Free space on /tmp= 71696 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/normalized-j3029_8-unsat--soft-66-100-0.wbo COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093454-1466087616/watcher-4093454-1466087616 -o /tmp/evaluation-result-4093454-1466087616/solver-4093454-1466087616 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466074715-9714 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093454-1466087616.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 114c0408840a95cae960ebc399875ecb RANDOM SEED=1633714264 node107.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.953 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.953 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.953 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.953 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.953 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.953 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.953 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.953 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31237284 kB Buffers: 37844 kB Cached: 115496 kB SwapCached: 2508 kB Active: 586916 kB Inactive: 75328 kB Active(anon): 508852 kB Inactive(anon): 2156 kB Active(file): 78064 kB Inactive(file): 73172 kB Unevictable: 273276 kB Mlocked: 240572 kB SwapTotal: 67108856 kB SwapFree: 67099244 kB Dirty: 34760 kB Writeback: 0 kB AnonPages: 776032 kB Mapped: 10908 kB Shmem: 0 kB Slab: 568184 kB SReclaimable: 11416 kB SUnreclaim: 556768 kB KernelStack: 1488 kB PageTables: 6956 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1520864 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 36864 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= 71680 MiB End job on node107 at 2016-06-16 17:03:37