Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.01 | 1800.41 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_029_area_delay.opb |
| MD5SUM | a51202683a576bff941434a7d3e9aa0c |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 24 |
| Best CPU time to get the best result obtained on this benchmark | 0.542917 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24 |
| Optimality of the best value was proved | YES |
| Number of variables | 17409 |
| Total number of constraints | 123773 |
| Number of constraints which are clauses | 123773 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 254 |
| Number of terms in the objective function | 8579 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 8579 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 8579 |
| Number of bits of the biggest sum of numbers | 14 |
| 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-06T23:32:32+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079856-1465248752.opb"] 0.00/0.01 c use --random-gen="882917067 3244578913 1361249182 1246004296 456724568 3517957791 1995664077 2493215092 420874655 329320068 3515772057 2472086836 1707518257 2973598008 3221226668 83993882 496911212 786608794 3354342146 2231706673 2054330755 2661586871 652515090 1070482765 2516668922 2549772287 1712822455 2420104799 555532397 3852844991 584944696 3291210765 1311878278 1026586231 1255304542 2433249540 1138897233 971083007 593110052 1016094830 1774704580 2407474119 3274820849 2028455608 671085724 711776703 3690183192 3972126810 4255223347 1879723005 1147607659 1994353215 99301992 1647942831 4123544989 591684047 812250573 1770468102 2736911418 376721352 962615195 1849237966 582447511 976263512 430991849 2784113585 2929525981 3066512958 3299430656 2140690484 2591224317 759743123 3826537006 1867884206 2217211179 1893751630 1782457713 662480031 1260166449 4010729589 1890968983 2459012172 997345512 811139154 952832619 186746360 1502927916 3039142846 1386261352 4092401246 2727593164 4165527293 171495778 1991626505 1010459834 1550124674 260200881 3981287574 2666851622 276084929 1783006627 1566870222 271627477 446248297 431409208 3531827928 2456763784 1379205537 4156098894 1204234766 1015626660 1218571628 3879951814 887171531 109753019 3059628374 1300641667 3242930504 4075278977 1141172884 2236520311 613696538 70837229 2061271330 1720272221 1869420863 849567337 2265594031 4135547569 866125020 2574562952 1108543937 1577054301 3238726422 4054475973 1450880106 1902404762 1502659418 2514370487 170351686 3949658939 4121513442 4192370795 3038174044 3862694262 185509445 1897277769 818472684 741183381 2393396993 69788452 2321147142 732186659 3462743410 3539163011 979554490 3648157845 718267205 554884938 100026630 701281840 1021721193 51212492 2029639540 4175563673 3770324872 3953931985 3581944828 4134715852 379539175 212622804 1104003587 168010090 3370221740 1249268626 1068095121 2418814770 2723784352 1847318904 2399839603 3148688916 1321324220 606349380 2039623364 2440683122 2821169994 1671095979 1467385041 1093977259 4107378839 591458510 2483538837 2046676090 2801037811 1872087251 3384573968 4227798218 3829252796 2198301437 3703593546 18154967 4179183016 2489744720 2211628979 3458911898 1162063808 4104185870 2262455515 1100677905 1736387222 4090084600 2217421142 3404589730 1519200203 885781853 2371431148 3233954236 4283538464 1887650145 4063073771 4041460569 2862966091 459598009 3247616337 102263738 1379971842 1897839920 449978938 364171083 165537415 3478516702 1584011992 45602197 1524195446 1264311220 3141394703 1765230953 3027895927 831320020 3324001557 589255748 530088451 2266405864 1086063973 2843254940 1882136004 1836034799 1813926609 3436089726 2373520065 1082982754 3141157506 27718093 3369348760 3782818878 3272015027 255 362436" option to reproduce the execution 0.79/0.82 c #vars 17409 0.79/0.82 c #constraints 123773 2.59/2.62 c BCD2: Hardening is enabled. 2.59/2.62 c BCD2: BiasedSearch is enabled. 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 | 47053 0 | 5 | 0 2.89/2.93 c 0.2s | 0 | 6918 | 2 | 47053 0 | 5 | 1811 2.89/2.93 c #cpu_time = 0.177s 2.89/2.93 c #wall_clock_time = 0.177s 2.89/2.93 c #decision = 6918 2.89/2.93 c #random_decision = 21 2.89/2.93 c #conflict = 2 2.89/2.93 c #restart = 0 2.89/2.93 o 5825 3.09/3.12 c BCD2: updating upper bound: 8579 -> 5824 3.09/3.14 c BCD2: 0 <= obj <= 5824 3.09/3.14 c BCD2: #cores=0, #unrelaxed=8579, #relaxed=0, #hardened=0 3.09/3.14 c BCD2: #sat=1 #unsat=1 bias=1/2 3.09/3.14 c Solving starts ... 3.09/3.14 c ============================[ Search Statistics ]============================ 3.09/3.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.09/3.14 c | | | | Limit GC | Var | Constra 3.09/3.14 c ============================================================================= 3.09/3.14 c 0.0s | 0 | 0 | 0 | 47053 0 | 5 | 1811 3.09/3.18 c 0.0s | 0 | 0 | 0 | 47053 0 | 5 | 1811 3.09/3.18 c #cpu_time = 0.039s 3.09/3.18 c #wall_clock_time = 0.040s 3.09/3.18 c #decision = 0 3.09/3.18 c #random_decision = 0 3.09/3.18 c #conflict = 0 3.09/3.18 c #restart = 0 3.09/3.18 c BCD2: found a new core of size 1: cost of the new core is >=1 3.09/3.18 c lower bound updated to 1 3.09/3.20 c BCD2: 1 <= obj <= 5824 3.09/3.20 c BCD2: #cores=1, #unrelaxed=8578, #relaxed=1, #hardened=0 3.09/3.20 c BCD2: #sat=1 #unsat=2 bias=2/3 3.19/3.20 c Solving starts ... 3.19/3.20 c ============================[ Search Statistics ]============================ 3.19/3.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.19/3.20 c | | | | Limit GC | Var | Constra 3.19/3.20 c ============================================================================= 3.19/3.20 c 0.0s | 0 | 0 | 0 | 47053 0 | 5 | 1811 3.19/3.25 c 0.0s | 0 | 2 | 0 | 47053 0 | 5 | 1811 3.19/3.25 c #cpu_time = 0.047s 3.19/3.25 c #wall_clock_time = 0.047s 3.19/3.25 c #decision = 2 3.19/3.25 c #random_decision = 0 3.19/3.25 c #conflict = 0 3.19/3.25 c #restart = 0 3.19/3.25 c BCD2: found a new core of size 2: cost of the new core is >=1 3.19/3.25 c lower bound updated to 2 3.19/3.25 c BCD2: 2 <= obj <= 5824 3.19/3.25 c BCD2: #cores=2, #unrelaxed=8576, #relaxed=3, #hardened=0 3.19/3.25 c BCD2: #sat=1 #unsat=3 bias=3/4 3.19/3.25 c Solving starts ... 3.19/3.25 c ============================[ Search Statistics ]============================ 3.19/3.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.19/3.25 c | | | | Limit GC | Var | Constra 3.19/3.25 c ============================================================================= 3.19/3.25 c 0.0s | 0 | 0 | 0 | 47053 0 | 5 | 1811 3.19/3.30 c 0.0s | 0 | 16 | 0 | 47053 0 | 5 | 1811 3.19/3.30 c #cpu_time = 0.042s 3.19/3.30 c #wall_clock_time = 0.042s 3.19/3.30 c #decision = 16 3.19/3.30 c #random_decision = 0 3.19/3.30 c #conflict = 0 3.19/3.30 c #restart = 0 3.19/3.30 c BCD2: found a new core of size 1: cost of the new core is >=1 3.19/3.30 c lower bound updated to 3 3.30/3.31 c BCD2: 3 <= obj <= 5824 3.30/3.31 c BCD2: #cores=3, #unrelaxed=8575, #relaxed=4, #hardened=0 3.30/3.31 c BCD2: #sat=1 #unsat=4 bias=4/5 3.30/3.31 c Solving starts ... 3.30/3.31 c ============================[ Search Statistics ]============================ 3.30/3.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.30/3.31 c | | | | Limit GC | Var | Constra 3.30/3.31 c ============================================================================= 3.30/3.31 c 0.0s | 0 | 0 | 0 | 47053 0 | 5 | 1811 3.30/3.35 c 0.0s | 0 | 58 | 0 | 47053 0 | 5 | 1811 3.30/3.35 c #cpu_time = 0.042s 3.30/3.35 c #wall_clock_time = 0.042s 3.30/3.35 c #decision = 58 3.30/3.35 c #random_decision = 0 3.30/3.35 c #conflict = 0 3.30/3.35 c #restart = 0 3.30/3.35 c BCD2: relaxing 18 and merging with 1 cores into a new core of size 20: cost of the new core is >=2 3.30/3.35 c lower bound updated to 4 3.30/3.36 c BCD2: 4 <= obj <= 5824 3.30/3.36 c BCD2: #cores=3, #unrelaxed=8557, #relaxed=22, #hardened=0 3.30/3.36 c BCD2: #sat=1 #unsat=5 bias=5/6 3.30/3.36 c Solving starts ... 3.30/3.36 c ============================[ Search Statistics ]============================ 3.30/3.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.30/3.36 c | | | | Limit GC | Var | Constra 3.30/3.36 c ============================================================================= 3.30/3.36 c 0.0s | 0 | 0 | 0 | 47053 0 | 6 | 1811 3.40/3.41 c 0.0s | 0 | 123 | 0 | 47053 0 | 6 | 1812 3.40/3.41 c #cpu_time = 0.043s 3.40/3.41 c #wall_clock_time = 0.043s 3.40/3.41 c #decision = 123 3.40/3.41 c #random_decision = 0 3.40/3.41 c #conflict = 0 3.40/3.41 c #restart = 0 3.40/3.41 c BCD2: found a new core of size 9: cost of the new core is >=1 3.40/3.41 c lower bound updated to 5 3.40/3.42 c BCD2: 5 <= obj <= 5824 3.40/3.42 c BCD2: #cores=4, #unrelaxed=8548, #relaxed=31, #hardened=0 3.40/3.42 c BCD2: #sat=1 #unsat=6 bias=6/7 3.40/3.42 c Solving starts ... 3.40/3.42 c ============================[ Search Statistics ]============================ 3.40/3.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.40/3.42 c | | | | Limit GC | Var | Constra 3.40/3.42 c ============================================================================= 3.40/3.42 c 0.0s | 0 | 0 | 0 | 47053 0 | 6 | 1812 3.40/3.47 c 0.1s | 0 | 173 | 0 | 47053 0 | 6 | 1812 3.40/3.47 c #cpu_time = 0.051s 3.40/3.47 c #wall_clock_time = 0.051s 3.40/3.47 c #decision = 173 3.40/3.47 c #random_decision = 0 3.40/3.47 c #conflict = 0 3.40/3.47 c #restart = 0 3.40/3.47 c BCD2: found a new core of size 96: cost of the new core is >=1 3.40/3.47 c lower bound updated to 6 3.40/3.48 c BCD2: 6 <= obj <= 5824 3.40/3.48 c BCD2: #cores=5, #unrelaxed=8452, #relaxed=127, #hardened=0 3.40/3.48 c BCD2: #sat=1 #unsat=7 bias=7/8 3.40/3.48 c Solving starts ... 3.40/3.48 c ============================[ Search Statistics ]============================ 3.40/3.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.40/3.48 c | | | | Limit GC | Var | Constra 3.40/3.48 c ============================================================================= 3.40/3.48 c 0.0s | 0 | 0 | 0 | 47053 0 | 6 | 1812 3.49/3.53 c 0.1s | 0 | 221 | 0 | 47053 0 | 6 | 1812 3.49/3.53 c #cpu_time = 0.050s 3.49/3.53 c #wall_clock_time = 0.050s 3.49/3.53 c #decision = 221 3.49/3.53 c #random_decision = 0 3.49/3.53 c #conflict = 0 3.49/3.53 c #restart = 0 3.49/3.53 c BCD2: found a new core of size 78: cost of the new core is >=1 3.49/3.53 c lower bound updated to 7 3.49/3.53 c BCD2: 7 <= obj <= 5824 3.49/3.53 c BCD2: #cores=6, #unrelaxed=8374, #relaxed=205, #hardened=0 3.49/3.53 c BCD2: #sat=1 #unsat=8 bias=8/9 3.49/3.53 c Solving starts ... 3.49/3.53 c ============================[ Search Statistics ]============================ 3.49/3.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.49/3.53 c | | | | Limit GC | Var | Constra 3.49/3.53 c ============================================================================= 3.49/3.53 c 0.0s | 0 | 0 | 0 | 47053 0 | 6 | 1812 3.49/3.57 c 0.0s | 0 | 156 | 0 | 47053 0 | 6 | 1812 3.49/3.57 c #cpu_time = 0.039s 3.49/3.57 c #wall_clock_time = 0.040s 3.49/3.57 c #decision = 156 3.49/3.57 c #random_decision = 0 3.49/3.57 c #conflict = 0 3.49/3.57 c #restart = 0 3.49/3.57 c BCD2: found a new core of size 9: cost of the new core is >=1 3.49/3.57 c lower bound updated to 8 3.49/3.58 c BCD2: 8 <= obj <= 5824 3.49/3.58 c BCD2: #cores=7, #unrelaxed=8365, #relaxed=214, #hardened=0 3.49/3.58 c BCD2: #sat=1 #unsat=9 bias=9/10 3.49/3.59 c Solving starts ... 3.49/3.59 c ============================[ Search Statistics ]============================ 3.49/3.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.49/3.59 c | | | | Limit GC | Var | Constra 3.49/3.59 c ============================================================================= 3.49/3.59 c 0.0s | 0 | 0 | 0 | 47053 0 | 6 | 1812 3.59/3.63 c 0.0s | 0 | 336 | 0 | 47053 0 | 6 | 1812 3.59/3.63 c #cpu_time = 0.042s 3.59/3.63 c #wall_clock_time = 0.042s 3.59/3.63 c #decision = 336 3.59/3.63 c #random_decision = 0 3.59/3.63 c #conflict = 0 3.59/3.63 c #restart = 0 3.59/3.63 c BCD2: found a new core of size 9: cost of the new core is >=1 3.59/3.63 c lower bound updated to 9 3.59/3.64 c BCD2: 9 <= obj <= 5824 3.59/3.64 c BCD2: #cores=8, #unrelaxed=8356, #relaxed=223, #hardened=0 3.59/3.64 c BCD2: #sat=1 #unsat=10 bias=10/11 3.59/3.64 c Solving starts ... 3.59/3.64 c ============================[ Search Statistics ]============================ 3.59/3.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.59/3.64 c | | | | Limit GC | Var | Constra 3.59/3.64 c ============================================================================= 3.59/3.64 c 0.0s | 0 | 0 | 0 | 47053 0 | 6 | 1812 3.59/3.68 c 0.0s | 0 | 475 | 0 | 47053 0 | 6 | 1812 3.59/3.68 c #cpu_time = 0.041s 3.59/3.68 c #wall_clock_time = 0.041s 3.59/3.68 c #decision = 475 3.59/3.68 c #random_decision = 0 3.59/3.68 c #conflict = 0 3.59/3.68 c #restart = 0 3.59/3.68 c BCD2: found a new core of size 33: cost of the new core is >=1 3.59/3.68 c lower bound updated to 10 3.59/3.69 c BCD2: 10 <= obj <= 5824 3.59/3.69 c BCD2: #cores=9, #unrelaxed=8323, #relaxed=256, #hardened=0 3.59/3.69 c BCD2: #sat=1 #unsat=11 bias=11/12 3.59/3.69 c Solving starts ... 3.59/3.69 c ============================[ Search Statistics ]============================ 3.59/3.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.59/3.69 c | | | | Limit GC | Var | Constra 3.59/3.69 c ============================================================================= 3.59/3.69 c 0.0s | 0 | 0 | 0 | 47053 0 | 6 | 1812 3.69/3.74 c 0.0s | 0 | 840 | 0 | 47053 0 | 6 | 1812 3.69/3.74 c #cpu_time = 0.047s 3.69/3.74 c #wall_clock_time = 0.047s 3.69/3.74 c #decision = 840 3.69/3.74 c #random_decision = 0 3.69/3.74 c #conflict = 0 3.69/3.74 c #restart = 0 3.69/3.74 c BCD2: found a new core of size 39: cost of the new core is >=1 3.69/3.74 c lower bound updated to 11 3.69/3.75 c BCD2: 11 <= obj <= 5824 3.69/3.75 c BCD2: #cores=10, #unrelaxed=8284, #relaxed=295, #hardened=0 3.69/3.75 c BCD2: #sat=1 #unsat=12 bias=12/13 3.69/3.75 c Solving starts ... 3.69/3.75 c ============================[ Search Statistics ]============================ 3.69/3.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.69/3.75 c | | | | Limit GC | Var | Constra 3.69/3.75 c ============================================================================= 3.69/3.75 c 0.0s | 0 | 0 | 0 | 47053 0 | 6 | 1812 3.79/3.80 c 0.0s | 0 | 1024 | 0 | 47053 0 | 6 | 1812 3.79/3.80 c #cpu_time = 0.042s 3.79/3.80 c #wall_clock_time = 0.042s 3.79/3.80 c #decision = 1024 3.79/3.80 c #random_decision = 0 3.79/3.80 c #conflict = 0 3.79/3.80 c #restart = 0 3.79/3.80 c BCD2: found a new core of size 33: cost of the new core is >=1 3.79/3.80 c lower bound updated to 12 3.79/3.81 c BCD2: 12 <= obj <= 5824 3.79/3.81 c BCD2: #cores=11, #unrelaxed=8251, #relaxed=328, #hardened=0 3.79/3.81 c BCD2: #sat=1 #unsat=13 bias=13/14 3.79/3.81 c Solving starts ... 3.79/3.81 c ============================[ Search Statistics ]============================ 3.79/3.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.79/3.81 c | | | | Limit GC | Var | Constra 3.79/3.81 c ============================================================================= 3.79/3.81 c 0.0s | 0 | 0 | 0 | 47053 0 | 6 | 1812 3.79/3.86 c 0.0s | 0 | 1567 | 0 | 47053 0 | 6 | 1812 3.79/3.86 c #cpu_time = 0.046s 3.79/3.86 c #wall_clock_time = 0.046s 3.79/3.86 c #decision = 1567 3.79/3.86 c #random_decision = 0 3.79/3.86 c #conflict = 0 3.79/3.86 c #restart = 0 3.79/3.86 c BCD2: found a new core of size 102: cost of the new core is >=1 3.79/3.86 c lower bound updated to 13 3.79/3.87 c BCD2: 13 <= obj <= 5824 3.79/3.87 c BCD2: #cores=12, #unrelaxed=8149, #relaxed=430, #hardened=0 3.79/3.87 c BCD2: #sat=1 #unsat=14 bias=14/15 3.79/3.87 c Solving starts ... 3.79/3.87 c ============================[ Search Statistics ]============================ 3.79/3.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.79/3.87 c | | | | Limit GC | Var | Constra 3.79/3.87 c ============================================================================= 3.79/3.87 c 0.0s | 0 | 0 | 0 | 47053 0 | 6 | 1812 3.89/3.94 c 0.1s | 0 | 4035 | 0 | 47053 0 | 6 | 1812 3.89/3.94 c #cpu_time = 0.063s 3.89/3.94 c #wall_clock_time = 0.063s 3.89/3.94 c #decision = 4035 3.89/3.94 c #random_decision = 0 3.89/3.94 c #conflict = 0 3.89/3.94 c #restart = 0 3.89/3.94 c BCD2: found a new core of size 99: cost of the new core is >=1 3.89/3.94 c lower bound updated to 14 3.89/3.95 c BCD2: 14 <= obj <= 5824 3.89/3.95 c BCD2: #cores=13, #unrelaxed=8050, #relaxed=529, #hardened=0 3.89/3.95 c BCD2: #sat=1 #unsat=15 bias=15/16 3.89/3.95 c Solving starts ... 3.89/3.95 c ============================[ Search Statistics ]============================ 3.89/3.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.89/3.95 c | | | | Limit GC | Var | Constra 3.89/3.95 c ============================================================================= 3.89/3.95 c 0.0s | 0 | 0 | 0 | 47053 0 | 6 | 1812 3.99/4.00 c 0.1s | 0 | 3946 | 0 | 47053 0 | 6 | 1812 3.99/4.00 c #cpu_time = 0.050s 3.99/4.00 c #wall_clock_time = 0.050s 3.99/4.00 c #decision = 3946 3.99/4.00 c #random_decision = 0 3.99/4.00 c #conflict = 0 3.99/4.00 c #restart = 0 3.99/4.00 c BCD2: found a new core of size 11: cost of the new core is >=1 3.99/4.00 c lower bound updated to 15 3.99/4.01 c BCD2: 15 <= obj <= 5824 3.99/4.01 c BCD2: #cores=14, #unrelaxed=8039, #relaxed=540, #hardened=0 3.99/4.01 c BCD2: #sat=1 #unsat=16 bias=16/17 3.99/4.02 c Solving starts ... 3.99/4.02 c ============================[ Search Statistics ]============================ 3.99/4.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.99/4.02 c | | | | Limit GC | Var | Constra 3.99/4.02 c ============================================================================= 3.99/4.02 c 0.0s | 0 | 0 | 0 | 47053 0 | 6 | 1812 3.99/4.07 c 0.1s | 0 | 4318 | 0 | 47053 0 | 6 | 1812 3.99/4.07 c #cpu_time = 0.051s 3.99/4.07 c #wall_clock_time = 0.052s 3.99/4.07 c #decision = 4318 3.99/4.07 c #random_decision = 0 3.99/4.07 c #conflict = 0 3.99/4.07 c #restart = 0 3.99/4.07 c BCD2: found a new core of size 39: cost of the new core is >=1 3.99/4.07 c lower bound updated to 16 3.99/4.08 c BCD2: 16 <= obj <= 5824 3.99/4.08 c BCD2: #cores=15, #unrelaxed=8000, #relaxed=579, #hardened=0 3.99/4.08 c BCD2: #sat=1 #unsat=17 bias=17/18 3.99/4.08 c Solving starts ... 3.99/4.08 c ============================[ Search Statistics ]============================ 3.99/4.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.99/4.08 c | | | | Limit GC | Var | Constra 3.99/4.08 c ============================================================================= 3.99/4.08 c 0.0s | 0 | 0 | 0 | 47053 0 | 6 | 1812 4.09/4.15 c 0.1s | 0 | 5964 | 0 | 47053 0 | 6 | 1812 4.09/4.15 c #cpu_time = 0.060s 4.09/4.15 c #wall_clock_time = 0.060s 4.09/4.15 c #decision = 5964 4.09/4.15 c #random_decision = 0 4.09/4.15 c #conflict = 0 4.09/4.15 c #restart = 0 4.09/4.15 c BCD2: found a new core of size 125: cost of the new core is >=1 4.09/4.15 c lower bound updated to 17 4.09/4.16 c BCD2: 17 <= obj <= 5824 4.09/4.16 c BCD2: #cores=16, #unrelaxed=7875, #relaxed=704, #hardened=0 4.09/4.16 c BCD2: #sat=1 #unsat=18 bias=18/19 4.09/4.17 c Solving starts ... 4.09/4.17 c ============================[ Search Statistics ]============================ 4.09/4.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.09/4.17 c | | | | Limit GC | Var | Constra 4.09/4.17 c ============================================================================= 4.09/4.17 c 0.0s | 0 | 0 | 0 | 47053 0 | 6 | 1812 4.19/4.23 c 0.1s | 0 | 7737 | 0 | 47053 0 | 6 | 1812 4.19/4.23 c #cpu_time = 0.063s 4.19/4.23 c #wall_clock_time = 0.063s 4.19/4.23 c #decision = 7737 4.19/4.23 c #random_decision = 0 4.19/4.23 c #conflict = 0 4.19/4.23 c #restart = 0 4.19/4.24 c BCD2: found a new core of size 4008: cost of the new core is >=1 4.19/4.24 c lower bound updated to 18 4.19/4.27 c BCD2: 18 <= obj <= 5824 4.19/4.27 c BCD2: #cores=17, #unrelaxed=3867, #relaxed=4712, #hardened=0 4.19/4.27 c BCD2: #sat=1 #unsat=19 bias=19/20 4.19/4.28 c Solving starts ... 4.19/4.28 c ============================[ Search Statistics ]============================ 4.19/4.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.19/4.28 c | | | | Limit GC | Var | Constra 4.19/4.28 c ============================================================================= 4.19/4.29 c 0.0s | 0 | 0 | 0 | 47053 0 | 6 | 1812 4.29/4.33 c 0.0s | 0 | 3820 | 0 | 47053 0 | 6 | 1812 4.29/4.33 c #cpu_time = 0.047s 4.29/4.33 c #wall_clock_time = 0.047s 4.29/4.33 c #decision = 3820 4.29/4.33 c #random_decision = 0 4.29/4.33 c #conflict = 0 4.29/4.33 c #restart = 0 4.29/4.33 c BCD2: found a new core of size 77: cost of the new core is >=1 4.29/4.33 c lower bound updated to 19 4.29/4.35 c BCD2: 19 <= obj <= 5824 4.29/4.35 c BCD2: #cores=18, #unrelaxed=3790, #relaxed=4789, #hardened=0 4.29/4.35 c BCD2: #sat=1 #unsat=20 bias=20/21 4.29/4.37 c Solving starts ... 4.29/4.37 c ============================[ Search Statistics ]============================ 4.29/4.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.29/4.37 c | | | | Limit GC | Var | Constra 4.29/4.37 c ============================================================================= 4.29/4.37 c 0.0s | 0 | 0 | 0 | 47053 0 | 6 | 1812 4.40/4.43 c 0.1s | 0 | 3806 | 0 | 47053 0 | 6 | 1812 4.40/4.43 c #cpu_time = 0.058s 4.40/4.43 c #wall_clock_time = 0.058s 4.40/4.43 c #decision = 3806 4.40/4.43 c #random_decision = 0 4.40/4.43 c #conflict = 0 4.40/4.43 c #restart = 0 4.40/4.43 c BCD2: found a new core of size 231: cost of the new core is >=1 4.40/4.43 c lower bound updated to 20 4.40/4.44 c BCD2: 20 <= obj <= 5824 4.40/4.44 c BCD2: #cores=19, #unrelaxed=3559, #relaxed=5020, #hardened=0 4.40/4.44 c BCD2: #sat=1 #unsat=21 bias=21/22 4.40/4.45 c Solving starts ... 4.40/4.45 c ============================[ Search Statistics ]============================ 4.40/4.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.40/4.45 c | | | | Limit GC | Var | Constra 4.40/4.45 c ============================================================================= 4.40/4.45 c 0.0s | 0 | 0 | 0 | 47053 0 | 6 | 1812 4.50/4.54 c 0.1s | 0 | 8326 | 0 | 47053 0 | 6 | 1812 4.50/4.54 c #cpu_time = 0.076s 4.50/4.54 c #wall_clock_time = 0.076s 4.50/4.54 c #decision = 8326 4.50/4.54 c #random_decision = 7 4.50/4.54 c #conflict = 0 4.50/4.54 c #restart = 0 4.50/4.54 o 38 4.50/4.56 c BCD2: updating upper bound: 5824 -> 37 4.59/4.60 c BCD2: 20 <= obj <= 37 4.59/4.60 c BCD2: #cores=19, #unrelaxed=3559, #relaxed=5020, #hardened=0 4.59/4.60 c BCD2: #sat=2 #unsat=21 bias=21/23 4.59/4.63 c Solving starts ... 4.59/4.63 c ============================[ Search Statistics ]============================ 4.59/4.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.59/4.63 c | | | | Limit GC | Var | Constra 4.59/4.63 c ============================================================================= 4.59/4.64 c 0.0s | 0 | 0 | 0 | 47053 0 | 6 | 1813 4.89/4.97 c 0.3s | 1 | 15626 | 100 | 51759 0 | 6 | 1813 5.09/5.13 c 0.5s | 1 | 23024 | 127 | 51759 0 | 6 | 1813 5.09/5.13 c #cpu_time = 0.480s 5.09/5.13 c #wall_clock_time = 0.481s 5.09/5.13 c #decision = 23024 5.09/5.13 c #random_decision = 4 5.09/5.13 c #conflict = 127 5.09/5.13 c #restart = 1 5.09/5.13 o 28 5.09/5.14 c BCD2: updating upper bound: 37 -> 27 5.09/5.17 c BCD2: 20 <= obj <= 27 5.09/5.17 c BCD2: #cores=19, #unrelaxed=3559, #relaxed=5020, #hardened=0 5.09/5.17 c BCD2: #sat=3 #unsat=21 bias=21/24 5.09/5.18 c Solving starts ... 5.09/5.18 c ============================[ Search Statistics ]============================ 5.09/5.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.09/5.18 c | | | | Limit GC | Var | Constra 5.09/5.18 c ============================================================================= 5.09/5.19 c 0.0s | 0 | 0 | 0 | 51759 0 | 6 | 1814 5.39/5.41 c 0.2s | 1 | 27603 | 100 | 51759 0 | 6 | 1814 5.50/5.56 c 0.4s | 1 | 43961 | 140 | 56935 0 | 6 | 1814 5.50/5.56 c #cpu_time = 0.376s 5.50/5.56 c #wall_clock_time = 0.377s 5.50/5.56 c #decision = 43961 5.50/5.56 c #random_decision = 1 5.50/5.56 c #conflict = 140 5.50/5.56 c #restart = 1 5.50/5.56 c BCD2: relaxing 154 and merging with 11 cores into a new core of size 659: cost of the new core is >=13 5.50/5.56 c lower bound updated to 21 5.69/5.72 c BCD2: 21 <= obj <= 27 5.69/5.72 c BCD2: #cores=9, #unrelaxed=3405, #relaxed=5174, #hardened=0 5.69/5.72 c BCD2: #sat=3 #unsat=22 bias=22/25 5.69/5.73 c Solving starts ... 5.69/5.73 c ============================[ Search Statistics ]============================ 5.69/5.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.69/5.73 c | | | | Limit GC | Var | Constra 5.69/5.73 c ============================================================================= 5.69/5.73 c 0.0s | 0 | 0 | 0 | 56935 0 | 53 | 1814 5.79/5.87 c 0.1s | 1 | 3881 | 100 | 56935 0 | 53 | 1897 5.99/6.08 c 0.4s | 2 | 8480 | 250 | 62629 0 | 53 | 1897 6.29/6.35 c 0.6s | 3 | 13153 | 475 | 62629 0 | 53 | 1897 6.70/6.71 c 1.0s | 4 | 18326 | 813 | 68892 0 | 53 | 1897 7.19/7.28 c 1.5s | 5 | 24405 | 1320 | 75782 0 | 53 | 1897 7.99/8.04 c 2.3s | 6 | 30751 | 2081 | 83361 0 | 53 | 1897 9.19/9.24 c 3.5s | 7 | 40413 | 3223 | 91698 0 | 53 | 1897 10.89/10.99 c 5.3s | 8 | 52173 | 4936 | 100868 0 | 53 | 1897 12.99/13.00 c 7.3s | 8 | 62629 | 6936 | 100868 0 | 53 | 1897 13.49/13.57 c 7.8s | 9 | 65515 | 7506 | 110955 0 | 53 | 1897 15.59/15.67 c 9.9s | 9 | 79518 | 9406 | 110955 0 | 53 | 1897 17.69/17.78 c 12.1s | 9 | 88019 | 11306 | 122051 0 | 53 | 1897 17.79/17.86 c 12.1s | 10 | 88214 | 11361 | 122051 0 | 53 | 1897 19.89/19.94 c 14.2s | 10 | 98978 | 13161 | 122051 0 | 53 | 1897 21.88/21.96 c 16.2s | 10 | 107979 | 14961 | 122051 0 | 53 | 1897 23.98/24.04 c 18.3s | 10 | 115489 | 16861 | 134257 0 | 53 | 1897 24.29/24.33 c 18.6s | 11 | 116631 | 17144 | 134257 0 | 53 | 1897 26.39/26.42 c 20.7s | 11 | 127693 | 18944 | 134257 0 | 53 | 1897 28.38/28.48 c 22.8s | 11 | 136386 | 20744 | 134257 0 | 53 | 1897 30.48/30.55 c 24.8s | 11 | 146561 | 22544 | 134257 0 | 53 | 1897 32.48/32.57 c 26.8s | 11 | 155118 | 24244 | 134257 0 | 53 | 1897 34.48/34.58 c 28.8s | 12 | 161427 | 25819 | 147683 0 | 53 | 1897 36.58/36.68 c 30.9s | 12 | 172372 | 27219 | 147683 0 | 53 | 1897 38.68/38.74 c 33.0s | 12 | 177617 | 28819 | 147683 0 | 53 | 1897 40.79/40.87 c 35.1s | 12 | 183527 | 30419 | 147683 0 | 53 | 1897 42.78/42.88 c 37.2s | 12 | 189431 | 31919 | 147683 0 | 53 | 1897 44.88/44.91 c 39.2s | 12 | 193400 | 33319 | 147683 0 | 53 | 1897 46.98/47.07 c 41.3s | 12 | 200403 | 34519 | 147683 0 | 53 | 1897 49.08/49.16 c 43.4s | 12 | 203523 | 35719 | 147683 0 | 53 | 1897 51.08/51.18 c 45.4s | 12 | 207061 | 36819 | 147683 0 | 53 | 1897 53.18/53.22 c 47.5s | 12 | 212613 | 38019 | 147683 0 | 53 | 1897 54.48/54.57 c 48.8s | 13 | 217821 | 38832 | 162452 0 | 53 | 1897 56.48/56.59 c 50.9s | 13 | 225238 | 39832 | 162452 0 | 53 | 1897 58.68/58.74 c 53.0s | 13 | 232260 | 41032 | 162452 0 | 53 | 1897 60.68/60.75 c 55.0s | 13 | 238137 | 42132 | 162452 0 | 53 | 1897 62.68/62.75 c 57.0s | 13 | 241373 | 43032 | 162452 0 | 53 | 1897 64.78/64.82 c 59.1s | 13 | 248135 | 44032 | 162452 0 | 53 | 1897 66.88/66.91 c 61.2s | 13 | 255198 | 45132 | 162452 0 | 53 | 1897 68.98/69.03 c 63.3s | 13 | 262776 | 46132 | 162452 0 | 53 | 1897 71.18/71.24 c 65.5s | 13 | 267366 | 47132 | 162452 0 | 53 | 1897 73.27/73.37 c 67.6s | 13 | 272638 | 48132 | 162452 0 | 53 | 1897 75.37/75.47 c 69.7s | 13 | 277497 | 49132 | 162452 0 | 53 | 1897 77.47/77.50 c 71.8s | 13 | 280768 | 50032 | 162452 0 | 53 | 1897 79.57/79.68 c 73.9s | 13 | 284944 | 51032 | 162452 0 | 53 | 1897 81.77/81.87 c 76.1s | 13 | 288016 | 51932 | 162452 0 | 53 | 1897 83.97/84.00 c 78.3s | 13 | 294940 | 52932 | 162452 0 | 53 | 1897 85.97/86.01 c 80.3s | 13 | 300240 | 53932 | 162452 0 | 53 | 1897 88.08/88.12 c 82.4s | 13 | 307039 | 54932 | 162452 0 | 53 | 1897 90.18/90.22 c 84.5s | 13 | 312771 | 56132 | 162452 0 | 53 | 1897 92.27/92.39 c 86.7s | 13 | 318236 | 57232 | 162452 0 | 53 | 1897 94.37/94.49 c 88.8s | 13 | 323016 | 58232 | 178698 0 | 53 | 1897 94.68/94.74 c 89.0s | 14 | 323880 | 58352 | 178698 0 | 53 | 1897 96.78/96.87 c 91.1s | 14 | 331197 | 59352 | 178698 0 | 53 | 1897 98.98/99.01 c 93.3s | 14 | 335611 | 60352 | 178698 0 | 53 | 1897 101.07/101.10 c 95.4s | 14 | 340526 | 61352 | 178698 0 | 53 | 1897 103.07/103.11 c 97.4s | 14 | 344108 | 62352 | 178698 0 | 53 | 1897 105.27/105.34 c 99.6s | 14 | 349018 | 63452 | 178698 0 | 53 | 1897 107.37/107.40 c 101s | 14 | 353055 | 64452 | 178698 0 | 53 | 1897 109.37/109.49 c 103s | 14 | 357337 | 65552 | 178698 0 | 53 | 1897 111.57/111.62 c 105s | 14 | 362039 | 66652 | 178698 0 | 53 | 1897 113.57/113.68 c 107s | 14 | 365711 | 67652 | 178698 0 | 53 | 1897 115.77/115.81 c 110s | 14 | 372440 | 68752 | 178698 0 | 53 | 1897 117.87/117.95 c 112s | 14 | 379199 | 69852 | 178698 0 | 53 | 1897 119.97/120.06 c 114s | 14 | 384508 | 71152 | 178698 0 | 53 | 1897 121.97/122.06 c 116s | 14 | 387529 | 72052 | 178698 0 | 53 | 1897 123.97/124.08 c 118s | 14 | 392398 | 73152 | 178698 0 | 53 | 1897 126.07/126.13 c 120s | 14 | 398447 | 74252 | 178698 0 | 53 | 1897 128.27/128.32 c 122s | 14 | 403656 | 75252 | 178698 0 | 53 | 1897 130.47/130.53 c 124s | 14 | 408365 | 76152 | 178698 0 | 53 | 1897 132.57/132.67 c 126s | 14 | 413321 | 77052 | 178698 0 | 53 | 1897 134.77/134.82 c 129s | 14 | 418089 | 77852 | 178698 0 | 53 | 1897 136.77/136.88 c 131s | 14 | 422475 | 78752 | 178698 0 | 53 | 1897 138.87/138.90 c 133s | 14 | 425583 | 79652 | 178698 0 | 53 | 1897 140.88/140.99 c 135s | 14 | 428916 | 80452 | 178698 0 | 53 | 1897 142.98/143.10 c 137s | 14 | 434594 | 81352 | 178698 0 | 53 | 1897 145.18/145.23 c 139s | 14 | 438077 | 82352 | 178698 0 | 53 | 1897 147.38/147.43 c 141s | 14 | 443806 | 83252 | 178698 0 | 53 | 1897 149.58/149.64 c 143s | 14 | 447413 | 84152 | 178698 0 | 53 | 1897 151.67/151.80 c 146s | 14 | 451920 | 85052 | 178698 0 | 53 | 1897 153.77/153.85 c 148s | 14 | 455318 | 85952 | 178698 0 | 53 | 1897 155.87/155.93 c 150s | 14 | 459696 | 86852 | 196568 0 | 53 | 1897 157.67/157.74 c 152s | 15 | 464303 | 87632 | 196568 0 | 53 | 1897 159.67/159.75 c 154s | 15 | 472570 | 88432 | 196568 0 | 53 | 1897 161.87/161.92 c 156s | 15 | 476325 | 89432 | 196568 0 | 53 | 1897 164.07/164.10 c 158s | 15 | 480458 | 90432 | 196568 0 | 53 | 1897 166.27/166.33 c 160s | 15 | 483775 | 91432 | 196568 0 | 53 | 1897 168.37/168.48 c 162s | 15 | 486601 | 92232 | 196568 0 | 53 | 1897 170.57/170.65 c 164s | 15 | 489015 | 93032 | 196568 0 | 53 | 1897 172.77/172.81 c 167s | 15 | 491035 | 93732 | 196568 0 | 53 | 1897 174.77/174.85 c 169s | 15 | 493237 | 94432 | 196568 0 | 53 | 1897 176.77/176.86 c 171s | 15 | 495332 | 95132 | 196568 0 | 53 | 1897 178.97/179.03 c 173s | 15 | 497903 | 95932 | 196568 0 | 53 | 1897 181.47/181.56 c 175s | 15 | 499990 | 96532 | 196568 0 | 53 | 1897 183.77/183.82 c 178s | 15 | 503573 | 97432 | 196568 0 | 53 | 1897 185.97/186.05 c 180s | 15 | 505829 | 98132 | 196568 0 | 53 | 1897 188.26/188.30 c 182s | 15 | 508710 | 98832 | 196568 0 | 53 | 1897 190.46/190.52 c 184s | 15 | 513236 | 99732 | 196568 0 | 53 | 1897 192.47/192.59 c 186s | 15 | 516498 | 100532 | 196568 0 | 53 | 1897 194.56/194.64 c 188s | 15 | 518711 | 101232 | 196568 0 | 53 | 1897 196.76/196.81 c 191s | 15 | 521713 | 102032 | 196568 0 | 53 | 1897 198.96/199.04 c 193s | 15 | 524806 | 102832 | 196568 0 | 53 | 1897 201.16/201.23 c 195s | 15 | 527604 | 103532 | 196568 0 | 53 | 1897 203.36/203.44 c 197s | 15 | 531267 | 104332 | 196568 0 | 53 | 1897 205.67/205.76 c 200s | 15 | 533318 | 104832 | 196568 0 | 53 | 1897 208.06/208.14 c 202s | 15 | 537189 | 105432 | 196568 0 | 53 | 1897 210.36/210.43 c 204s | 15 | 540380 | 106132 | 196568 0 | 53 | 1897 212.46/212.53 c 206s | 15 | 542776 | 106732 | 196568 0 | 53 | 1897 214.76/214.83 c 209s | 15 | 545712 | 107432 | 196568 0 | 53 | 1897 216.86/216.99 c 211s | 15 | 548147 | 108032 | 196568 0 | 53 | 1897 219.16/219.24 c 213s | 15 | 550318 | 108732 | 196568 0 | 53 | 1897 221.56/221.60 c 215s | 15 | 552550 | 109432 | 196568 0 | 53 | 1897 223.66/223.79 c 218s | 15 | 554705 | 110032 | 196568 0 | 53 | 1897 225.96/226.05 c 220s | 15 | 557386 | 110732 | 196568 0 | 53 | 1897 228.06/228.16 c 222s | 15 | 560498 | 111432 | 196568 0 | 53 | 1897 230.36/230.42 c 224s | 15 | 562896 | 112132 | 196568 0 | 53 | 1897 232.46/232.52 c 226s | 15 | 565137 | 112732 | 196568 0 | 53 | 1897 234.66/234.74 c 229s | 15 | 566863 | 113332 | 196568 0 | 53 | 1897 237.06/237.10 c 231s | 15 | 569673 | 114032 | 196568 0 | 53 | 1897 239.06/239.14 c 233s | 15 | 570932 | 114532 | 196568 0 | 53 | 1897 241.16/241.21 c 235s | 15 | 573086 | 115132 | 196568 0 | 53 | 1897 243.26/243.32 c 237s | 15 | 574981 | 115732 | 196568 0 | 53 | 1897 245.45/245.57 c 239s | 15 | 577679 | 116332 | 196568 0 | 53 | 1897 247.46/247.58 c 241s | 15 | 580246 | 116932 | 196568 0 | 53 | 1897 249.76/249.84 c 244s | 15 | 583099 | 117632 | 196568 0 | 53 | 1897 251.75/251.90 c 246s | 15 | 585331 | 118232 | 196568 0 | 53 | 1897 253.95/254.08 c 248s | 15 | 587576 | 118832 | 196568 0 | 53 | 1897 256.36/256.47 c 250s | 15 | 589630 | 119432 | 196568 0 | 53 | 1897 258.46/258.56 c 252s | 15 | 592363 | 120132 | 196568 0 | 53 | 1897 260.85/260.95 c 255s | 15 | 594547 | 120732 | 196568 0 | 53 | 1897 263.15/263.27 c 257s | 15 | 596828 | 121332 | 196568 0 | 53 | 1897 265.55/265.63 c 259s | 15 | 598658 | 121932 | 196568 0 | 53 | 1897 267.75/267.83 c 262s | 15 | 601028 | 122532 | 196568 0 | 53 | 1897 269.85/269.92 c 264s | 15 | 603402 | 123032 | 196568 0 | 53 | 1897 272.05/272.10 c 266s | 15 | 605350 | 123632 | 196568 0 | 53 | 1897 274.15/274.20 c 268s | 15 | 608355 | 124232 | 196568 0 | 53 | 1897 276.35/276.49 c 270s | 15 | 610896 | 124832 | 196568 0 | 53 | 1897 278.65/278.78 c 273s | 15 | 614084 | 125632 | 196568 0 | 53 | 1897 280.95/281.05 c 275s | 15 | 617305 | 126332 | 196568 0 | 53 | 1897 283.15/283.22 c 277s | 15 | 619596 | 127032 | 196568 0 | 53 | 1897 285.25/285.39 c 279s | 15 | 621948 | 127632 | 196568 0 | 53 | 1897 287.75/287.85 c 282s | 15 | 624166 | 128232 | 196568 0 | 53 | 1897 290.25/290.35 c 284s | 15 | 625797 | 128732 | 196568 0 | 53 | 1897 292.65/292.77 c 287s | 15 | 627761 | 129132 | 196568 0 | 53 | 1897 294.85/294.99 c 289s | 15 | 630374 | 129532 | 196568 0 | 53 | 1897 297.24/297.32 c 291s | 15 | 632766 | 130032 | 196568 0 | 53 | 1897 299.54/299.62 c 293s | 15 | 634447 | 130532 | 216225 0 | 53 | 1897 301.64/301.71 c 295s | 15 | 637166 | 131032 | 216225 0 | 53 | 1897 303.55/303.69 c 297s | 16 | 640880 | 131552 | 216225 0 | 53 | 1897 305.85/305.95 c 300s | 16 | 646615 | 132052 | 216225 0 | 53 | 1897 308.34/308.42 c 302s | 16 | 648463 | 132652 | 216225 0 | 53 | 1897 310.64/310.78 c 305s | 16 | 651164 | 133452 | 216225 0 | 53 | 1897 313.04/313.17 c 307s | 16 | 653990 | 134152 | 216225 0 | 53 | 1897 315.24/315.32 c 309s | 16 | 657208 | 134652 | 216225 0 | 53 | 1897 317.44/317.55 c 311s | 16 | 659946 | 135252 | 216225 0 | 53 | 1897 319.64/319.73 c 314s | 16 | 661753 | 135752 | 216225 0 | 53 | 1897 321.64/321.75 c 316s | 16 | 663999 | 136352 | 216225 0 | 53 | 1897 323.64/323.77 c 318s | 16 | 666331 | 137052 | 216225 0 | 53 | 1897 325.94/326.08 c 320s | 16 | 671349 | 138052 | 216225 0 | 53 | 1897 328.24/328.34 c 322s | 16 | 674031 | 138652 | 216225 0 | 53 | 1897 330.34/330.44 c 324s | 16 | 677641 | 139152 | 216225 0 | 53 | 1897 332.64/332.72 c 326s | 16 | 681440 | 139752 | 216225 0 | 53 | 1897 334.84/334.91 c 329s | 16 | 683762 | 140452 | 216225 0 | 53 | 1897 336.94/337.06 c 331s | 16 | 686364 | 141152 | 216225 0 | 53 | 1897 339.04/339.11 c 333s | 16 | 689683 | 141952 | 216225 0 | 53 | 1897 341.54/341.60 c 335s | 16 | 692756 | 142652 | 216225 0 | 53 | 1897 343.74/343.83 c 338s | 16 | 694743 | 143052 | 216225 0 | 53 | 1897 345.94/346.01 c 340s | 16 | 697605 | 143452 | 216225 0 | 53 | 1897 348.14/348.25 c 342s | 16 | 700193 | 143952 | 216225 0 | 53 | 1897 350.24/350.36 c 344s | 16 | 702717 | 144552 | 216225 0 | 53 | 1897 352.64/352.75 c 347s | 16 | 705264 | 145252 | 216225 0 | 53 | 1897 354.74/354.88 c 349s | 16 | 707974 | 145952 | 216225 0 | 53 | 1897 356.94/357.02 c 351s | 16 | 709446 | 146452 | 216225 0 | 53 | 1897 359.04/359.11 c 353s | 16 | 714649 | 147452 | 216225 0 | 53 | 1897 361.14/361.26 c 355s | 16 | 718319 | 148252 | 216225 0 | 53 | 1897 363.43/363.51 c 357s | 16 | 721852 | 149152 | 216225 0 | 53 | 1897 365.63/365.70 c 359s | 16 | 723448 | 149652 | 216225 0 | 53 | 1897 367.93/368.00 c 362s | 16 | 727884 | 150452 | 216225 0 | 53 | 1897 370.13/370.21 c 364s | 16 | 732106 | 151352 | 216225 0 | 53 | 1897 372.33/372.49 c 366s | 16 | 734470 | 151952 | 216225 0 | 53 | 1897 374.63/374.74 c 369s | 16 | 736793 | 152552 | 216225 0 | 53 | 1897 376.93/377.04 c 371s | 16 | 739765 | 153352 | 216225 0 | 53 | 1897 379.03/379.15 c 373s | 16 | 741886 | 153852 | 216225 0 | 53 | 1897 381.13/381.29 c 375s | 16 | 745875 | 154352 | 216225 0 | 53 | 1897 383.43/383.52 c 377s | 16 | 748941 | 155052 | 216225 0 | 53 | 1897 385.73/385.84 c 380s | 16 | 751835 | 155652 | 216225 0 | 53 | 1897 387.83/387.95 c 382s | 16 | 754546 | 156152 | 216225 0 | 53 | 1897 390.13/390.21 c 384s | 16 | 756909 | 156652 | 216225 0 | 53 | 1897 392.33/392.45 c 386s | 16 | 761072 | 157152 | 216225 0 | 53 | 1897 394.53/394.68 c 388s | 16 | 763699 | 157552 | 216225 0 | 53 | 1897 396.83/396.98 c 391s | 16 | 767152 | 157952 | 216225 0 | 53 | 1897 399.13/399.25 c 393s | 16 | 769845 | 158352 | 216225 0 | 53 | 1897 401.33/401.45 c 395s | 16 | 774717 | 158952 | 216225 0 | 53 | 1897 403.33/403.47 c 397s | 16 | 778666 | 159352 | 216225 0 | 53 | 1897 405.63/405.77 c 400s | 16 | 782714 | 159952 | 216225 0 | 53 | 1897 407.63/407.79 c 402s | 16 | 785087 | 160452 | 216225 0 | 53 | 1897 410.03/410.11 c 404s | 16 | 787434 | 161052 | 216225 0 | 53 | 1897 412.03/412.16 c 406s | 16 | 790469 | 161752 | 216225 0 | 53 | 1897 414.03/414.19 c 408s | 16 | 792895 | 162252 | 216225 0 | 53 | 1897 416.33/416.41 c 410s | 16 | 796143 | 162852 | 216225 0 | 53 | 1897 418.33/418.49 c 412s | 16 | 798123 | 163352 | 216225 0 | 53 | 1897 420.73/420.85 c 415s | 16 | 800677 | 163952 | 216225 0 | 53 | 1897 422.82/422.98 c 417s | 16 | 803084 | 164352 | 216225 0 | 53 | 1897 425.22/425.32 c 419s | 16 | 805757 | 164952 | 216225 0 | 53 | 1897 427.32/427.41 c 421s | 16 | 807837 | 165552 | 216225 0 | 53 | 1897 429.32/429.49 c 423s | 16 | 810537 | 166252 | 216225 0 | 53 | 1897 431.52/431.67 c 425s | 16 | 812501 | 166852 | 216225 0 | 53 | 1897 433.62/433.72 c 427s | 16 | 815281 | 167452 | 216225 0 | 53 | 1897 435.72/435.84 c 430s | 16 | 818030 | 168152 | 216225 0 | 53 | 1897 437.92/438.04 c 432s | 16 | 820191 | 168652 | 216225 0 | 53 | 1897 440.12/440.20 c 434s | 16 | 822513 | 169252 | 216225 0 | 53 | 1897 442.13/442.24 c 436s | 16 | 825359 | 169952 | 216225 0 | 53 | 1897 444.43/444.59 c 438s | 16 | 827619 | 170552 | 216225 0 | 53 | 1897 446.63/446.76 c 441s | 16 | 829986 | 171252 | 216225 0 | 53 | 1897 448.73/448.81 c 443s | 16 | 831776 | 171852 | 216225 0 | 53 | 1897 450.72/450.86 c 445s | 16 | 834162 | 172452 | 216225 0 | 53 | 1897 452.92/453.04 c 447s | 16 | 836624 | 172952 | 216225 0 | 53 | 1897 455.12/455.27 c 449s | 16 | 838707 | 173552 | 216225 0 | 53 | 1897 457.42/457.54 c 451s | 16 | 841064 | 174152 | 216225 0 | 53 | 1897 459.83/459.98 c 454s | 16 | 843650 | 174752 | 216225 0 | 53 | 1897 462.12/462.29 c 456s | 16 | 846106 | 175252 | 216225 0 | 53 | 1897 464.32/464.40 c 458s | 16 | 847778 | 175752 | 216225 0 | 53 | 1897 466.62/466.77 c 461s | 16 | 849384 | 176252 | 216225 0 | 53 | 1897 469.22/469.35 c 463s | 16 | 852526 | 176852 | 216225 0 | 53 | 1897 471.22/471.37 c 465s | 16 | 855359 | 177252 | 216225 0 | 53 | 1897 473.32/473.46 c 467s | 16 | 858963 | 177852 | 216225 0 | 53 | 1897 475.62/475.70 c 469s | 16 | 861410 | 178352 | 216225 0 | 53 | 1897 477.92/478.03 c 472s | 16 | 863650 | 178852 | 216225 0 | 53 | 1897 480.32/480.41 c 474s | 16 | 866290 | 179352 | 216225 0 | 53 | 1897 482.31/482.43 c 476s | 16 | 868482 | 179852 | 216225 0 | 53 | 1897 484.51/484.62 c 478s | 16 | 871102 | 180452 | 216225 0 | 53 | 1897 486.51/486.69 c 480s | 16 | 873252 | 180852 | 216225 0 | 53 | 1897 488.61/488.71 c 482s | 16 | 875238 | 181352 | 216225 0 | 53 | 1897 490.91/491.06 c 485s | 16 | 877602 | 182052 | 216225 0 | 53 | 1897 493.21/493.32 c 487s | 16 | 879947 | 182652 | 216225 0 | 53 | 1897 495.21/495.40 c 489s | 16 | 881728 | 183152 | 216225 0 | 53 | 1897 497.31/497.42 c 491s | 16 | 883702 | 183552 | 216225 0 | 53 | 1897 499.51/499.63 c 493s | 16 | 886283 | 184052 | 216225 0 | 53 | 1897 502.11/502.29 c 496s | 16 | 888701 | 184552 | 216225 0 | 53 | 1897 504.31/504.42 c 498s | 16 | 890957 | 185052 | 216225 0 | 53 | 1897 506.51/506.69 c 500s | 16 | 892900 | 185552 | 216225 0 | 53 | 1897 508.61/508.70 c 502s | 16 | 895836 | 186152 | 216225 0 | 53 | 1897 510.81/510.99 c 505s | 16 | 897908 | 186752 | 216225 0 | 53 | 1897 513.21/513.32 c 507s | 16 | 899795 | 187352 | 216225 0 | 53 | 1897 515.51/515.69 c 509s | 16 | 902739 | 187852 | 216225 0 | 53 | 1897 517.91/518.01 c 512s | 16 | 905786 | 188352 | 216225 0 | 53 | 1897 519.91/520.07 c 514s | 16 | 908775 | 188852 | 216225 0 | 53 | 1897 522.01/522.15 c 516s | 16 | 911361 | 189352 | 216225 0 | 53 | 1897 524.11/524.20 c 518s | 16 | 914116 | 189852 | 216225 0 | 53 | 1897 526.51/526.61 c 520s | 16 | 917358 | 190352 | 216225 0 | 53 | 1897 528.61/528.71 c 522s | 16 | 919692 | 190652 | 216225 0 | 53 | 1897 531.21/531.32 c 525s | 16 | 922303 | 191052 | 216225 0 | 53 | 1897 533.51/533.68 c 527s | 16 | 923675 | 191352 | 216225 0 | 53 | 1897 535.91/536.02 c 530s | 16 | 925576 | 191652 | 216225 0 | 53 | 1897 538.71/538.80 c 533s | 16 | 928036 | 192052 | 216225 0 | 53 | 1897 540.90/541.07 c 535s | 16 | 930050 | 192352 | 216225 0 | 53 | 1897 543.31/543.45 c 537s | 16 | 931774 | 192752 | 216225 0 | 53 | 1897 545.30/545.45 c 539s | 16 | 934140 | 193152 | 216225 0 | 53 | 1897 547.60/547.74 c 542s | 16 | 936398 | 193652 | 216225 0 | 53 | 1897 549.80/550.00 c 544s | 16 | 939113 | 194252 | 216225 0 | 53 | 1897 552.21/552.32 c 546s | 16 | 941737 | 194752 | 216225 0 | 53 | 1897 554.31/554.44 c 548s | 16 | 943614 | 195252 | 216225 0 | 53 | 1897 556.51/556.67 c 550s | 16 | 946208 | 195652 | 216225 0 | 53 | 1897 558.71/558.82 c 553s | 16 | 948374 | 196052 | 237848 0 | 53 | 1897 561.00/561.11 c 555s | 16 | 950882 | 196452 | 237848 0 | 53 | 1897 563.20/563.37 c 557s | 16 | 952424 | 196752 | 237848 0 | 53 | 1897 565.40/565.59 c 559s | 16 | 954351 | 197052 | 237848 0 | 53 | 1897 567.80/567.91 c 562s | 16 | 956036 | 197352 | 237848 0 | 53 | 1897 568.40/568.55 c 562s | 17 | 956667 | 197432 | 237848 0 | 53 | 1897 571.00/571.15 c 565s | 17 | 962165 | 197732 | 237848 0 | 53 | 1897 573.10/573.28 c 567s | 17 | 963388 | 198032 | 237848 0 | 53 | 1897 575.89/576.04 c 570s | 17 | 965383 | 198332 | 237848 0 | 53 | 1897 578.09/578.24 c 572s | 17 | 966941 | 198632 | 237848 0 | 53 | 1897 580.59/580.73 c 575s | 17 | 968872 | 198932 | 237848 0 | 53 | 1897 582.90/583.07 c 577s | 17 | 970438 | 199232 | 237848 0 | 53 | 1897 585.39/585.57 c 579s | 17 | 972433 | 199532 | 237848 0 | 53 | 1897 587.89/588.09 c 582s | 17 | 973676 | 199832 | 237848 0 | 53 | 1897 590.09/590.23 c 584s | 17 | 975247 | 200132 | 237848 0 | 53 | 1897 592.59/592.71 c 586s | 17 | 976731 | 200432 | 237848 0 | 53 | 1897 594.59/594.78 c 589s | 17 | 978342 | 200732 | 237848 0 | 53 | 1897 596.99/597.19 c 591s | 17 | 979813 | 201032 | 237848 0 | 53 | 1897 599.59/599.78 c 594s | 17 | 981392 | 201332 | 237848 0 | 53 | 1897 601.79/601.95 c 596s | 17 | 982931 | 201632 | 237848 0 | 53 | 1897 604.39/604.56 c 598s | 17 | 984620 | 201932 | 237848 0 | 53 | 1897 606.79/606.98 c 601s | 17 | 986581 | 202232 | 237848 0 | 53 | 1897 609.39/609.57 c 603s | 17 | 988781 | 202532 | 237848 0 | 53 | 1897 611.49/611.65 c 605s | 17 | 990383 | 202732 | 237848 0 | 53 | 1897 613.59/613.75 c 608s | 17 | 992098 | 202932 | 237848 0 | 53 | 1897 616.28/616.50 c 610s | 17 | 993611 | 203232 | 237848 0 | 53 | 1897 618.88/619.00 c 613s | 17 | 995597 | 203532 | 237848 0 | 53 | 1897 620.98/621.13 c 615s | 17 | 997393 | 203832 | 237848 0 | 53 | 1897 623.18/623.38 c 617s | 17 | 999073 | 204132 | 237848 0 | 53 | 1897 625.68/625.84 c 620s | 17 | 1000904 | 204432 | 237848 0 | 53 | 1897 628.18/628.31 c 622s | 17 | 1002346 | 204732 | 237848 0 | 53 | 1897 630.58/630.76 c 625s | 17 | 1003393 | 205032 | 237848 0 | 53 | 1897 633.08/633.29 c 627s | 17 | 1006013 | 205332 | 237848 0 | 53 | 1897 635.18/635.32 c 629s | 17 | 1007245 | 205532 | 237848 0 | 53 | 1897 637.89/638.05 c 632s | 17 | 1009557 | 205832 | 237848 0 | 53 | 1897 640.58/640.80 c 635s | 17 | 1011872 | 206132 | 237848 0 | 53 | 1897 643.28/643.48 c 637s | 17 | 1013733 | 206432 | 237848 0 | 53 | 1897 645.88/646.07 c 640s | 17 | 1015931 | 206732 | 237848 0 | 53 | 1897 648.08/648.20 c 642s | 17 | 1016783 | 206932 | 237848 0 | 53 | 1897 650.08/650.23 c 644s | 17 | 1017512 | 207132 | 237848 0 | 53 | 1897 652.88/653.03 c 647s | 17 | 1018365 | 207432 | 237848 0 | 53 | 1897 655.67/655.82 c 650s | 17 | 1020528 | 207732 | 237848 0 | 53 | 1897 658.47/658.66 c 652s | 17 | 1022358 | 208032 | 237848 0 | 53 | 1897 660.98/661.18 c 655s | 17 | 1023662 | 208332 | 237848 0 | 53 | 1897 663.57/663.79 c 658s | 17 | 1024947 | 208632 | 237848 0 | 53 | 1897 666.67/666.82 c 661s | 17 | 1026977 | 208932 | 237848 0 | 53 | 1897 669.97/670.14 c 664s | 17 | 1028389 | 209232 | 237848 0 | 53 | 1897 671.97/672.20 c 666s | 17 | 1029198 | 209432 | 237848 0 | 53 | 1897 674.76/674.95 c 669s | 17 | 1030592 | 209732 | 237848 0 | 53 | 1897 677.76/677.91 c 672s | 17 | 1032543 | 210032 | 237848 0 | 53 | 1897 679.77/679.98 c 674s | 17 | 1034153 | 210232 | 237848 0 | 53 | 1897 682.86/683.02 c 677s | 17 | 1036928 | 210532 | 237848 0 | 53 | 1897 685.36/685.53 c 679s | 17 | 1038859 | 210732 | 237848 0 | 53 | 1897 687.56/687.72 c 681s | 17 | 1040630 | 210932 | 237848 0 | 53 | 1897 689.86/690.08 c 684s | 17 | 1042157 | 211232 | 237848 0 | 53 | 1897 692.46/692.63 c 686s | 17 | 1043637 | 211532 | 237848 0 | 53 | 1897 695.26/695.44 c 689s | 17 | 1045564 | 211832 | 237848 0 | 53 | 1897 697.46/697.66 c 691s | 17 | 1047007 | 212032 | 237848 0 | 53 | 1897 700.16/700.32 c 694s | 17 | 1048748 | 212332 | 237848 0 | 53 | 1897 702.87/703.08 c 697s | 17 | 1050835 | 212632 | 237848 0 | 53 | 1897 705.46/705.68 c 699s | 17 | 1052888 | 212932 | 237848 0 | 53 | 1897 707.66/707.80 c 702s | 17 | 1054634 | 213132 | 237848 0 | 53 | 1897 710.57/710.73 c 704s | 17 | 1056637 | 213432 | 237848 0 | 53 | 1897 713.26/713.41 c 707s | 17 | 1058133 | 213732 | 237848 0 | 53 | 1897 715.36/715.52 c 709s | 17 | 1059805 | 213932 | 237848 0 | 53 | 1897 717.76/717.94 c 712s | 17 | 1061578 | 214232 | 237848 0 | 53 | 1897 720.56/720.70 c 714s | 17 | 1063209 | 214532 | 237848 0 | 53 | 1897 723.26/723.42 c 717s | 17 | 1064589 | 214832 | 237848 0 | 53 | 1897 726.05/726.25 c 720s | 17 | 1066804 | 215132 | 237848 0 | 53 | 1897 728.75/728.97 c 723s | 17 | 1067883 | 215432 | 237848 0 | 53 | 1897 730.85/731.02 c 725s | 17 | 1069328 | 215632 | 237848 0 | 53 | 1897 732.85/733.04 c 727s | 17 | 1070471 | 215832 | 237848 0 | 53 | 1897 734.85/735.05 c 729s | 17 | 1071468 | 216032 | 237848 0 | 53 | 1897 737.85/738.02 c 732s | 17 | 1072467 | 216332 | 237848 0 | 53 | 1897 740.75/740.95 c 735s | 17 | 1073934 | 216632 | 237848 0 | 53 | 1897 742.75/742.96 c 737s | 17 | 1074855 | 216832 | 237848 0 | 53 | 1897 745.05/745.22 c 739s | 17 | 1076656 | 217032 | 237848 0 | 53 | 1897 747.15/747.33 c 741s | 17 | 1077620 | 217232 | 237848 0 | 53 | 1897 749.35/749.56 c 743s | 17 | 1078528 | 217432 | 237848 0 | 53 | 1897 751.54/751.77 c 746s | 17 | 1079363 | 217632 | 237848 0 | 53 | 1897 753.74/753.98 c 748s | 17 | 1080103 | 217832 | 237848 0 | 53 | 1897 756.94/757.15 c 751s | 17 | 1082136 | 218132 | 237848 0 | 53 | 1897 759.95/760.20 c 754s | 17 | 1084068 | 218432 | 237848 0 | 53 | 1897 762.74/762.92 c 757s | 17 | 1085271 | 218732 | 237848 0 | 53 | 1897 765.34/765.51 c 759s | 17 | 1086640 | 219032 | 237848 0 | 53 | 1897 768.24/768.47 c 762s | 17 | 1088480 | 219332 | 237848 0 | 53 | 1897 770.94/771.15 c 765s | 17 | 1090027 | 219632 | 237848 0 | 53 | 1897 773.03/773.22 c 767s | 17 | 1090813 | 219832 | 237848 0 | 53 | 1897 775.34/775.57 c 769s | 17 | 1092656 | 220032 | 237848 0 | 53 | 1897 777.33/777.58 c 771s | 17 | 1093244 | 220232 | 237848 0 | 53 | 1897 780.23/780.44 c 774s | 17 | 1094371 | 220532 | 237848 0 | 53 | 1897 782.53/782.71 c 776s | 17 | 1095030 | 220732 | 237848 0 | 53 | 1897 785.03/785.27 c 779s | 17 | 1096512 | 221032 | 237848 0 | 53 | 1897 787.83/788.02 c 782s | 17 | 1097903 | 221332 | 237848 0 | 53 | 1897 790.43/790.62 c 784s | 17 | 1099201 | 221632 | 237848 0 | 53 | 1897 792.73/792.91 c 787s | 17 | 1099990 | 221832 | 237848 0 | 53 | 1897 795.42/795.67 c 789s | 17 | 1101153 | 222132 | 237848 0 | 53 | 1897 798.32/798.55 c 792s | 17 | 1102670 | 222432 | 237848 0 | 53 | 1897 800.52/800.70 c 794s | 17 | 1103634 | 222632 | 237848 0 | 53 | 1897 803.42/803.65 c 797s | 17 | 1104745 | 222932 | 237848 0 | 53 | 1897 806.42/806.69 c 800s | 17 | 1105968 | 223232 | 237848 0 | 53 | 1897 808.62/808.89 c 803s | 17 | 1106623 | 223432 | 237848 0 | 53 | 1897 811.42/811.67 c 805s | 17 | 1108102 | 223732 | 237848 0 | 53 | 1897 813.72/814.00 c 808s | 17 | 1109003 | 223932 | 237848 0 | 53 | 1897 816.32/816.56 c 810s | 17 | 1109804 | 224132 | 237848 0 | 53 | 1897 818.52/818.76 c 813s | 17 | 1110504 | 224332 | 237848 0 | 53 | 1897 820.62/820.88 c 815s | 17 | 1111122 | 224532 | 237848 0 | 53 | 1897 823.42/823.69 c 817s | 17 | 1112663 | 224832 | 237848 0 | 53 | 1897 825.61/825.89 c 820s | 17 | 1113684 | 225032 | 237848 0 | 53 | 1897 828.41/828.66 c 822s | 17 | 1115692 | 225332 | 237848 0 | 53 | 1897 831.21/831.42 c 825s | 17 | 1117719 | 225632 | 237848 0 | 53 | 1897 833.81/834.01 c 828s | 17 | 1119222 | 225832 | 237848 0 | 53 | 1897 836.01/836.24 c 830s | 17 | 1120491 | 226032 | 237848 0 | 53 | 1897 838.71/838.95 c 833s | 17 | 1122465 | 226332 | 237848 0 | 53 | 1897 841.01/841.21 c 835s | 17 | 1124075 | 226532 | 237848 0 | 53 | 1897 843.41/843.69 c 837s | 17 | 1125676 | 226832 | 237848 0 | 53 | 1897 845.51/845.74 c 840s | 17 | 1126611 | 227032 | 237848 0 | 53 | 1897 848.41/848.66 c 842s | 17 | 1127760 | 227332 | 237848 0 | 53 | 1897 850.50/850.72 c 844s | 17 | 1129175 | 227532 | 237848 0 | 53 | 1897 853.41/853.68 c 847s | 17 | 1130958 | 227832 | 237848 0 | 53 | 1897 855.80/856.02 c 850s | 17 | 1131628 | 228032 | 237848 0 | 53 | 1897 858.10/858.32 c 852s | 17 | 1133293 | 228332 | 237848 0 | 53 | 1897 860.20/860.43 c 854s | 17 | 1134686 | 228532 | 237848 0 | 53 | 1897 862.21/862.49 c 856s | 17 | 1136097 | 228732 | 237848 0 | 53 | 1897 864.90/865.17 c 859s | 17 | 1137751 | 229032 | 237848 0 | 53 | 1897 867.00/867.23 c 861s | 17 | 1138802 | 229232 | 237848 0 | 53 | 1897 869.40/869.65 c 863s | 17 | 1140097 | 229532 | 237848 0 | 53 | 1897 871.50/871.70 c 865s | 17 | 1141554 | 229732 | 237848 0 | 53 | 1897 874.10/874.37 c 868s | 17 | 1142926 | 230032 | 237848 0 | 53 | 1897 877.00/877.29 c 871s | 17 | 1144303 | 230332 | 237848 0 | 53 | 1897 879.70/879.95 c 874s | 17 | 1146432 | 230632 | 237848 0 | 53 | 1897 882.50/882.74 c 877s | 17 | 1148430 | 230932 | 237848 0 | 53 | 1897 884.59/884.81 c 879s | 17 | 1149586 | 231132 | 237848 0 | 53 | 1897 887.29/887.53 c 881s | 17 | 1151015 | 231432 | 237848 0 | 53 | 1897 890.29/890.53 c 884s | 17 | 1152128 | 231732 | 237848 0 | 53 | 1897 892.29/892.58 c 886s | 17 | 1153139 | 231932 | 237848 0 | 53 | 1897 894.99/895.27 c 889s | 17 | 1154817 | 232232 | 237848 0 | 53 | 1897 897.89/898.17 c 892s | 17 | 1156096 | 232532 | 237848 0 | 53 | 1897 900.09/900.34 c 894s | 17 | 1156834 | 232732 | 237848 0 | 53 | 1897 902.09/902.35 c 896s | 17 | 1157522 | 232932 | 237848 0 | 53 | 1897 904.79/905.03 c 899s | 17 | 1158772 | 233232 | 237848 0 | 53 | 1897 907.49/907.77 c 902s | 17 | 1160580 | 233532 | 237848 0 | 53 | 1897 910.09/910.33 c 904s | 17 | 1162030 | 233832 | 237848 0 | 53 | 1897 912.49/912.76 c 907s | 17 | 1163330 | 234132 | 237848 0 | 53 | 1897 914.78/915.00 c 909s | 17 | 1164337 | 234332 | 237848 0 | 53 | 1897 916.98/917.28 c 911s | 17 | 1166367 | 234632 | 237848 0 | 53 | 1897 919.78/920.08 c 914s | 17 | 1167820 | 234932 | 237848 0 | 53 | 1897 921.88/922.19 c 916s | 17 | 1168777 | 235132 | 237848 0 | 53 | 1897 923.98/924.28 c 918s | 17 | 1169372 | 235332 | 237848 0 | 53 | 1897 926.38/926.64 c 920s | 17 | 1170309 | 235532 | 237848 0 | 53 | 1897 928.47/928.78 c 923s | 17 | 1171356 | 235732 | 237848 0 | 53 | 1897 930.57/930.80 c 925s | 17 | 1172000 | 235932 | 237848 0 | 53 | 1897 933.47/933.79 c 928s | 17 | 1173410 | 236232 | 237848 0 | 53 | 1897 935.88/936.14 c 930s | 17 | 1174097 | 236432 | 237848 0 | 53 | 1897 937.97/938.28 c 932s | 17 | 1175126 | 236632 | 237848 0 | 53 | 1897 940.38/940.64 c 934s | 17 | 1176058 | 236832 | 237848 0 | 53 | 1897 942.58/942.86 c 937s | 17 | 1176886 | 237032 | 237848 0 | 53 | 1897 944.77/945.04 c 939s | 17 | 1177901 | 237232 | 237848 0 | 53 | 1897 947.37/947.61 c 941s | 17 | 1179288 | 237532 | 237848 0 | 53 | 1897 949.97/950.21 c 944s | 17 | 1181228 | 237832 | 237848 0 | 53 | 1897 952.47/952.74 c 947s | 17 | 1183553 | 238132 | 237848 0 | 53 | 1897 955.16/955.43 c 949s | 17 | 1185732 | 238432 | 237848 0 | 53 | 1897 957.97/958.22 c 952s | 17 | 1187647 | 238732 | 237848 0 | 53 | 1897 960.46/960.78 c 955s | 17 | 1189803 | 239032 | 237848 0 | 53 | 1897 963.47/963.73 c 957s | 17 | 1192199 | 239332 | 237848 0 | 53 | 1897 965.96/966.26 c 960s | 17 | 1194163 | 239632 | 237848 0 | 53 | 1897 968.76/969.04 c 963s | 17 | 1196311 | 239932 | 237848 0 | 53 | 1897 971.66/971.96 c 966s | 17 | 1198423 | 240232 | 237848 0 | 53 | 1897 974.26/974.52 c 968s | 17 | 1200151 | 240532 | 237848 0 | 53 | 1897 976.26/976.58 c 970s | 17 | 1201825 | 240732 | 237848 0 | 53 | 1897 979.06/979.33 c 973s | 17 | 1203858 | 241132 | 237848 0 | 53 | 1897 981.65/981.97 c 976s | 17 | 1205669 | 241432 | 237848 0 | 53 | 1897 984.05/984.30 c 978s | 17 | 1206908 | 241732 | 237848 0 | 53 | 1897 986.75/987.06 c 981s | 17 | 1209102 | 242032 | 237848 0 | 53 | 1897 989.15/989.41 c 983s | 17 | 1210964 | 242332 | 237848 0 | 53 | 1897 991.96/992.21 c 986s | 17 | 1213257 | 242632 | 237848 0 | 53 | 1897 994.95/995.20 c 989s | 17 | 1215143 | 242932 | 237848 0 | 53 | 1897 998.05/998.37 c 992s | 17 | 1217360 | 243232 | 237848 0 | 53 | 1897 1001.05/1001.33 c 995s | 17 | 1219729 | 243532 | 237848 0 | 53 | 1897 1004.05/1004.39 c 998s | 17 | 1221747 | 243832 | 237848 0 | 53 | 1897 1006.75/1007.07 c 1001s | 17 | 1223687 | 244132 | 237848 0 | 53 | 1897 1009.24/1009.59 c 1003s | 17 | 1225617 | 244432 | 237848 0 | 53 | 1897 1011.54/1011.82 c 1006s | 17 | 1227428 | 244732 | 237848 0 | 53 | 1897 1014.24/1014.50 c 1008s | 17 | 1229497 | 245032 | 237848 0 | 53 | 1897 1016.74/1017.03 c 1011s | 17 | 1230941 | 245332 | 237848 0 | 53 | 1897 1019.24/1019.58 c 1013s | 17 | 1232681 | 245632 | 237848 0 | 53 | 1897 1022.75/1023.07 c 1017s | 17 | 1233594 | 245832 | 237848 1 | 53 | 1897 1024.95/1025.23 c 1019s | 17 | 1236842 | 246332 | 237848 1 | 53 | 1897 1040.34/1040.63 c 1034s | 17 | 1238858 | 246632 | 237848 1 | 53 | 1897 1042.73/1043.07 c 1037s | 17 | 1240632 | 247032 | 237848 1 | 53 | 1897 1045.73/1046.04 c 1040s | 17 | 1243459 | 247432 | 237848 1 | 53 | 1897 1048.03/1048.35 c 1042s | 17 | 1244292 | 247632 | 237848 1 | 53 | 1897 1051.33/1051.68 c 1045s | 17 | 1245785 | 247932 | 237848 1 | 53 | 1897 1053.72/1054.01 c 1048s | 17 | 1248576 | 248532 | 237848 1 | 53 | 1897 1056.02/1056.37 c 1050s | 17 | 1251829 | 249132 | 237848 1 | 53 | 1897 1058.22/1058.59 c 1052s | 17 | 1253987 | 249532 | 237848 1 | 53 | 1897 1060.62/1060.91 c 1055s | 17 | 1256723 | 250132 | 237848 1 | 53 | 1897 1062.82/1063.17 c 1057s | 17 | 1260496 | 250732 | 237848 1 | 53 | 1897 1064.82/1065.18 c 1059s | 17 | 1263799 | 251232 | 237848 1 | 53 | 1897 1067.02/1067.32 c 1061s | 17 | 1266866 | 251732 | 237848 1 | 53 | 1897 1077.42/1077.74 c 1072s | 17 | 1267309 | 251832 | 237848 1 | 53 | 1897 1079.82/1080.20 c 1074s | 17 | 1270972 | 252432 | 237848 1 | 53 | 1897 1081.92/1082.25 c 1076s | 17 | 1274219 | 252932 | 237848 1 | 53 | 1897 1084.21/1084.53 c 1078s | 17 | 1277821 | 253532 | 237848 1 | 53 | 1897 1086.41/1086.71 c 1080s | 17 | 1281150 | 253932 | 237848 1 | 53 | 1897 1088.41/1088.79 c 1083s | 17 | 1284491 | 254432 | 237848 1 | 53 | 1897 1091.02/1091.31 c 1085s | 17 | 1287829 | 255032 | 237848 1 | 53 | 1897 1093.12/1093.41 c 1087s | 17 | 1290222 | 255532 | 237848 1 | 53 | 1897 1095.32/1095.68 c 1089s | 17 | 1292768 | 256032 | 237848 1 | 53 | 1897 1097.52/1097.89 c 1092s | 17 | 1295507 | 256532 | 237848 1 | 53 | 1897 1099.82/1100.12 c 1094s | 17 | 1298836 | 257132 | 237848 1 | 53 | 1897 1102.11/1102.49 c 1096s | 17 | 1302705 | 257732 | 237848 1 | 53 | 1897 1104.51/1104.87 c 1099s | 17 | 1306386 | 258332 | 237848 1 | 53 | 1897 1109.01/1109.38 c 1103s | 17 | 1307688 | 258632 | 237848 1 | 53 | 1897 1111.71/1112.10 c 1106s | 17 | 1308749 | 258932 | 237848 1 | 53 | 1897 1113.81/1114.19 c 1108s | 17 | 1311053 | 259432 | 237848 1 | 53 | 1897 1115.91/1116.23 c 1110s | 17 | 1314295 | 259932 | 237848 1 | 53 | 1897 1118.01/1118.35 c 1112s | 17 | 1317441 | 260432 | 237848 1 | 53 | 1897 1120.21/1120.51 c 1114s | 17 | 1320688 | 260932 | 237848 1 | 53 | 1897 1122.31/1122.68 c 1116s | 17 | 1323607 | 261332 | 237848 1 | 53 | 1897 1124.61/1124.97 c 1119s | 17 | 1326248 | 261832 | 237848 1 | 53 | 1897 1127.01/1127.36 c 1121s | 17 | 1328745 | 262332 | 237848 1 | 53 | 1897 1129.52/1129.86 c 1124s | 17 | 1331689 | 262732 | 237848 1 | 53 | 1897 1131.91/1132.29 c 1126s | 17 | 1335333 | 263332 | 237848 1 | 53 | 1897 1134.31/1134.61 c 1128s | 17 | 1338085 | 263832 | 237848 1 | 53 | 1897 1136.41/1136.75 c 1131s | 17 | 1340700 | 264332 | 237848 1 | 53 | 1897 1138.41/1138.76 c 1133s | 17 | 1343354 | 264832 | 237848 1 | 53 | 1897 1140.51/1140.84 c 1135s | 17 | 1345854 | 265332 | 237848 1 | 53 | 1897 1143.21/1143.51 c 1137s | 17 | 1348461 | 265932 | 237848 1 | 53 | 1897 1145.71/1146.03 c 1140s | 17 | 1350517 | 266432 | 237848 1 | 53 | 1897 1147.81/1148.18 c 1142s | 17 | 1352357 | 266832 | 237848 1 | 53 | 1897 1150.01/1150.35 c 1144s | 17 | 1354783 | 267332 | 237848 1 | 53 | 1897 1152.30/1152.61 c 1146s | 17 | 1357152 | 267832 | 237848 1 | 53 | 1897 1154.50/1154.81 c 1149s | 17 | 1358750 | 268232 | 237848 1 | 53 | 1897 1156.50/1156.89 c 1151s | 17 | 1361431 | 268832 | 237848 1 | 53 | 1897 1158.60/1158.94 c 1153s | 17 | 1363533 | 269332 | 237848 1 | 53 | 1897 1160.70/1161.04 c 1155s | 17 | 1365645 | 269832 | 237848 1 | 53 | 1897 1163.20/1163.54 c 1157s | 17 | 1369521 | 270332 | 237848 1 | 53 | 1897 1165.20/1165.56 c 1159s | 17 | 1371999 | 270732 | 237848 1 | 53 | 1897 1167.20/1167.59 c 1161s | 17 | 1374507 | 271232 | 237848 1 | 53 | 1897 1169.40/1169.72 c 1163s | 17 | 1377437 | 271732 | 237848 1 | 53 | 1897 1171.70/1172.08 c 1166s | 17 | 1380112 | 272232 | 237848 1 | 53 | 1897 1173.90/1174.28 c 1168s | 17 | 1382381 | 272732 | 237848 1 | 53 | 1897 1176.20/1176.55 c 1170s | 17 | 1385067 | 273132 | 237848 1 | 53 | 1897 1178.60/1178.99 c 1173s | 17 | 1387863 | 273532 | 237848 1 | 53 | 1897 1181.00/1181.39 c 1175s | 17 | 1390662 | 273932 | 237848 1 | 53 | 1897 1183.40/1183.74 c 1178s | 17 | 1393723 | 274432 | 237848 1 | 53 | 1897 1185.60/1185.97 c 1180s | 17 | 1397113 | 274932 | 237848 1 | 53 | 1897 1187.80/1188.13 c 1182s | 17 | 1400381 | 275432 | 237848 1 | 53 | 1897 1189.90/1190.26 c 1184s | 17 | 1402510 | 275832 | 237848 1 | 53 | 1897 1192.29/1192.68 c 1186s | 17 | 1405515 | 276332 | 237848 1 | 53 | 1897 1194.40/1194.79 c 1189s | 17 | 1408037 | 276732 | 237848 1 | 53 | 1897 1196.50/1196.84 c 1191s | 17 | 1410451 | 277132 | 237848 1 | 53 | 1897 1198.99/1199.35 c 1193s | 17 | 1413134 | 277632 | 237848 1 | 53 | 1897 1201.59/1201.95 c 1196s | 17 | 1416399 | 278032 | 237848 1 | 53 | 1897 1203.69/1204.09 c 1198s | 17 | 1420137 | 278432 | 237848 1 | 53 | 1897 1206.09/1206.46 c 1200s | 17 | 1423518 | 278932 | 237848 1 | 53 | 1897 1208.39/1208.78 c 1203s | 17 | 1425728 | 279332 | 237848 1 | 53 | 1897 1210.59/1210.96 c 1205s | 17 | 1428129 | 279732 | 237848 1 | 53 | 1897 1213.09/1213.43 c 1207s | 17 | 1431637 | 280332 | 237848 1 | 53 | 1897 1215.19/1215.51 c 1209s | 17 | 1434133 | 280732 | 237848 1 | 53 | 1897 1217.19/1217.57 c 1211s | 17 | 1436956 | 281132 | 237848 1 | 53 | 1897 1219.59/1219.94 c 1214s | 17 | 1439879 | 281632 | 237848 1 | 53 | 1897 1221.98/1222.31 c 1216s | 17 | 1443214 | 282132 | 237848 1 | 53 | 1897 1224.38/1224.70 c 1218s | 17 | 1446190 | 282632 | 237848 1 | 53 | 1897 1226.68/1227.07 c 1221s | 17 | 1449023 | 283032 | 237848 1 | 53 | 1897 1229.08/1229.48 c 1223s | 17 | 1452121 | 283532 | 237848 1 | 53 | 1897 1231.28/1231.66 c 1225s | 17 | 1454588 | 284032 | 237848 1 | 53 | 1897 1233.38/1233.79 c 1228s | 17 | 1458034 | 284532 | 237848 1 | 53 | 1897 1235.58/1235.98 c 1230s | 17 | 1460601 | 285032 | 237848 1 | 53 | 1897 1238.08/1238.42 c 1232s | 17 | 1463218 | 285532 | 237848 1 | 53 | 1897 1240.18/1240.51 c 1234s | 17 | 1465398 | 285932 | 237848 1 | 53 | 1897 1242.28/1242.68 c 1236s | 17 | 1467405 | 286432 | 237848 1 | 53 | 1897 1244.48/1244.89 c 1239s | 17 | 1469020 | 286932 | 237848 1 | 53 | 1897 1246.88/1247.24 c 1241s | 17 | 1471212 | 287432 | 237848 1 | 53 | 1897 1249.18/1249.60 c 1243s | 17 | 1474309 | 287932 | 237848 1 | 53 | 1897 1251.59/1251.91 c 1246s | 17 | 1477402 | 288332 | 237848 1 | 53 | 1897 1253.79/1254.11 c 1248s | 17 | 1479092 | 288732 | 237848 1 | 53 | 1897 1256.08/1256.45 c 1250s | 17 | 1481905 | 289132 | 237848 1 | 53 | 1897 1258.38/1258.70 c 1252s | 17 | 1484991 | 289632 | 237848 1 | 53 | 1897 1260.38/1260.72 c 1254s | 17 | 1487289 | 290032 | 237848 1 | 53 | 1897 1262.78/1263.13 c 1257s | 17 | 1489777 | 290532 | 237848 1 | 53 | 1897 1265.08/1265.49 c 1259s | 17 | 1492415 | 291032 | 237848 1 | 53 | 1897 1267.38/1267.78 c 1262s | 17 | 1494925 | 291532 | 237848 1 | 53 | 1897 1269.88/1270.28 c 1264s | 17 | 1497487 | 291932 | 237848 1 | 53 | 1897 1272.48/1272.89 c 1267s | 17 | 1499993 | 292332 | 237848 1 | 53 | 1897 1274.48/1274.90 c 1269s | 17 | 1501741 | 292632 | 237848 1 | 53 | 1897 1276.78/1277.16 c 1271s | 17 | 1503425 | 293032 | 237848 1 | 53 | 1897 1278.87/1279.24 c 1273s | 17 | 1504285 | 293332 | 237848 1 | 53 | 1897 1281.47/1281.81 c 1276s | 17 | 1507115 | 293732 | 237848 1 | 53 | 1897 1284.97/1285.35 c 1279s | 17 | 1509399 | 293932 | 261633 1 | 53 | 1897 1287.17/1287.57 c 1281s | 17 | 1511674 | 294332 | 261633 1 | 53 | 1897 1289.57/1289.91 c 1284s | 17 | 1512961 | 294632 | 261633 1 | 53 | 1897 1291.57/1291.96 c 1286s | 17 | 1514975 | 294932 | 261633 1 | 53 | 1897 1293.97/1294.35 c 1288s | 17 | 1517787 | 295332 | 261633 1 | 53 | 1897 1296.58/1296.99 c 1291s | 17 | 1520941 | 295732 | 261633 1 | 53 | 1897 1298.97/1299.37 c 1293s | 17 | 1523868 | 296132 | 261633 1 | 53 | 1897 1299.67/1300.05 c 1294s | 18 | 1525018 | 296252 | 261633 1 | 53 | 1897 1305.87/1306.23 c 1300s | 18 | 1529724 | 296552 | 261633 1 | 53 | 1897 1307.97/1308.34 c 1302s | 18 | 1531810 | 297152 | 261633 1 | 53 | 1897 1310.06/1310.48 c 1304s | 18 | 1536492 | 298052 | 261633 1 | 53 | 1897 1312.16/1312.54 c 1306s | 18 | 1539600 | 298852 | 261633 1 | 53 | 1897 1314.56/1314.90 c 1309s | 18 | 1542050 | 299552 | 261633 1 | 53 | 1897 1316.76/1317.10 c 1311s | 18 | 1543792 | 300152 | 261633 1 | 53 | 1897 1318.96/1319.34 c 1313s | 18 | 1545957 | 300852 | 261633 1 | 53 | 1897 1321.36/1321.74 c 1316s | 18 | 1548199 | 301352 | 261633 1 | 53 | 1897 1324.07/1324.43 c 1318s | 18 | 1549815 | 301752 | 261633 1 | 53 | 1897 1326.46/1326.84 c 1321s | 18 | 1552297 | 302352 | 261633 1 | 53 | 1897 1328.66/1329.03 c 1323s | 18 | 1554532 | 302952 | 261633 1 | 53 | 1897 1330.67/1331.04 c 1325s | 18 | 1556502 | 303552 | 261633 1 | 53 | 1897 1333.16/1333.58 c 1327s | 18 | 1559155 | 304152 | 261633 1 | 53 | 1897 1335.46/1335.85 c 1330s | 18 | 1561812 | 304852 | 261633 1 | 53 | 1897 1337.56/1337.94 c 1332s | 18 | 1563529 | 305352 | 261633 1 | 53 | 1897 1339.66/1340.03 c 1334s | 18 | 1565388 | 305952 | 261633 1 | 53 | 1897 1341.86/1342.27 c 1336s | 18 | 1567010 | 306552 | 261633 1 | 53 | 1897 1343.97/1344.34 c 1338s | 18 | 1568647 | 307052 | 261633 1 | 53 | 1897 1346.26/1346.60 c 1340s | 18 | 1570658 | 307652 | 261633 1 | 53 | 1897 1348.27/1348.62 c 1342s | 18 | 1572091 | 308052 | 261633 1 | 53 | 1897 1350.67/1351.02 c 1345s | 18 | 1573379 | 308452 | 261633 1 | 53 | 1897 1352.97/1353.33 c 1347s | 18 | 1575101 | 309052 | 261633 1 | 53 | 1897 1354.97/1355.35 c 1349s | 18 | 1576457 | 309552 | 261633 1 | 53 | 1897 1357.07/1357.50 c 1351s | 18 | 1578187 | 310052 | 261633 1 | 53 | 1897 1359.17/1359.57 c 1353s | 18 | 1579907 | 310652 | 261633 1 | 53 | 1897 1361.57/1361.97 c 1356s | 18 | 1580966 | 311052 | 261633 1 | 53 | 1897 1388.86/1389.27 c 1383s | 18 | 1582189 | 311552 | 261633 1 | 53 | 1897 1392.05/1392.48 c 1386s | 18 | 1582410 | 311652 | 261633 1 | 53 | 1897 1394.56/1394.93 c 1389s | 18 | 1584422 | 312052 | 261633 1 | 53 | 1897 1397.05/1397.41 c 1391s | 18 | 1586004 | 312552 | 261633 1 | 53 | 1897 1399.45/1399.86 c 1394s | 18 | 1587233 | 312952 | 261633 1 | 53 | 1897 1401.65/1402.00 c 1396s | 18 | 1588298 | 313252 | 261633 1 | 53 | 1897 1403.75/1404.14 c 1398s | 18 | 1589331 | 313552 | 261633 1 | 53 | 1897 1405.85/1406.29 c 1400s | 18 | 1591036 | 313952 | 261633 1 | 53 | 1897 1408.05/1408.45 c 1402s | 18 | 1592224 | 314352 | 261633 1 | 53 | 1897 1410.25/1410.61 c 1404s | 18 | 1594040 | 314852 | 261633 1 | 53 | 1897 1412.85/1413.21 c 1407s | 18 | 1596036 | 315452 | 261633 1 | 53 | 1897 1415.15/1415.51 c 1409s | 18 | 1597779 | 315952 | 261633 1 | 53 | 1897 1417.25/1417.66 c 1411s | 18 | 1599098 | 316352 | 261633 1 | 53 | 1897 1419.95/1420.38 c 1414s | 18 | 1600479 | 316752 | 261633 1 | 53 | 1897 1422.45/1422.83 c 1417s | 18 | 1601712 | 317152 | 261633 1 | 53 | 1897 1425.05/1425.47 c 1419s | 18 | 1603166 | 317552 | 261633 1 | 53 | 1897 1427.65/1428.01 c 1422s | 18 | 1605925 | 318152 | 261633 1 | 53 | 1897 1429.85/1430.26 c 1424s | 18 | 1607809 | 318552 | 261633 1 | 53 | 1897 1432.25/1432.68 c 1426s | 18 | 1609294 | 318952 | 261633 1 | 53 | 1897 1434.35/1434.78 c 1429s | 18 | 1610624 | 319352 | 261633 1 | 53 | 1897 1436.45/1436.87 c 1431s | 18 | 1611837 | 319752 | 261633 1 | 53 | 1897 1438.55/1438.96 c 1433s | 18 | 1613072 | 320252 | 261633 1 | 53 | 1897 1440.65/1441.03 c 1435s | 18 | 1614681 | 320752 | 261633 1 | 53 | 1897 1442.85/1443.25 c 1437s | 18 | 1616139 | 321152 | 261633 1 | 53 | 1897 1444.95/1445.37 c 1439s | 18 | 1617758 | 321652 | 261633 1 | 53 | 1897 1447.05/1447.46 c 1441s | 18 | 1619237 | 322152 | 261633 1 | 53 | 1897 1449.45/1449.81 c 1444s | 18 | 1620946 | 322752 | 261633 1 | 53 | 1897 1451.65/1452.09 c 1446s | 18 | 1623297 | 323452 | 261633 1 | 53 | 1897 1454.04/1454.43 c 1448s | 18 | 1626635 | 324352 | 261633 1 | 53 | 1897 1456.64/1457.01 c 1451s | 18 | 1628838 | 324952 | 261633 1 | 53 | 1897 1458.64/1459.04 c 1453s | 18 | 1631016 | 325452 | 261633 1 | 53 | 1897 1460.94/1461.38 c 1455s | 18 | 1632889 | 325952 | 261633 1 | 53 | 1897 1463.34/1463.76 c 1458s | 18 | 1635196 | 326552 | 261633 1 | 53 | 1897 1465.84/1466.29 c 1460s | 18 | 1636970 | 326952 | 261633 1 | 53 | 1897 1468.04/1468.44 c 1462s | 18 | 1638552 | 327452 | 261633 1 | 53 | 1897 1470.04/1470.48 c 1464s | 18 | 1640930 | 328152 | 261633 1 | 53 | 1897 1472.24/1472.68 c 1466s | 18 | 1642364 | 328552 | 261633 1 | 53 | 1897 1474.34/1474.75 c 1469s | 18 | 1644833 | 329152 | 261633 1 | 53 | 1897 1476.54/1476.93 c 1471s | 18 | 1647355 | 329752 | 261633 1 | 53 | 1897 1478.84/1479.23 c 1473s | 18 | 1649368 | 330352 | 261633 1 | 53 | 1897 1480.94/1481.36 c 1475s | 18 | 1651640 | 331052 | 261633 1 | 53 | 1897 1483.24/1483.66 c 1477s | 18 | 1653944 | 331752 | 261633 1 | 53 | 1897 1485.34/1485.78 c 1480s | 18 | 1655457 | 332252 | 261633 1 | 53 | 1897 1487.64/1488.04 c 1482s | 18 | 1657369 | 332752 | 261633 1 | 53 | 1897 1489.84/1490.23 c 1484s | 18 | 1658876 | 333252 | 261633 1 | 53 | 1897 1492.04/1492.49 c 1486s | 18 | 1660895 | 333752 | 261633 1 | 53 | 1897 1494.24/1494.60 c 1488s | 18 | 1663419 | 334352 | 261633 1 | 53 | 1897 1496.34/1496.76 c 1491s | 18 | 1664901 | 334852 | 261633 1 | 53 | 1897 1498.54/1498.99 c 1493s | 18 | 1666752 | 335352 | 261633 1 | 53 | 1897 1500.94/1501.30 c 1495s | 18 | 1668304 | 335852 | 261633 1 | 53 | 1897 1503.04/1503.42 c 1497s | 18 | 1669934 | 336352 | 261633 1 | 53 | 1897 1505.24/1505.69 c 1499s | 18 | 1671404 | 336752 | 261633 1 | 53 | 1897 1507.84/1508.27 c 1502s | 18 | 1672967 | 337252 | 261633 1 | 53 | 1897 1510.13/1510.56 c 1504s | 18 | 1674384 | 337652 | 261633 1 | 53 | 1897 1512.73/1513.12 c 1507s | 18 | 1675953 | 338152 | 261633 1 | 53 | 1897 1515.03/1515.42 c 1509s | 18 | 1677450 | 338652 | 261633 1 | 53 | 1897 1517.13/1517.59 c 1511s | 18 | 1678613 | 339052 | 261633 1 | 53 | 1897 1519.43/1519.81 c 1514s | 18 | 1681304 | 339452 | 261633 1 | 53 | 1897 1521.43/1521.90 c 1516s | 18 | 1685078 | 339952 | 261633 1 | 53 | 1897 1523.83/1524.25 c 1518s | 18 | 1687223 | 340552 | 261633 1 | 53 | 1897 1526.03/1526.47 c 1520s | 18 | 1689174 | 341052 | 261633 1 | 53 | 1897 1528.23/1528.64 c 1522s | 18 | 1691299 | 341652 | 261633 1 | 53 | 1897 1530.33/1530.71 c 1524s | 18 | 1692961 | 342252 | 261633 1 | 53 | 1897 1532.33/1532.76 c 1527s | 18 | 1694330 | 342652 | 261633 1 | 53 | 1897 1534.73/1535.18 c 1529s | 18 | 1695940 | 343152 | 261633 1 | 53 | 1897 1537.13/1537.50 c 1531s | 18 | 1698408 | 343852 | 261633 1 | 53 | 1897 1539.43/1539.85 c 1534s | 18 | 1701005 | 344352 | 261633 1 | 53 | 1897 1541.73/1542.16 c 1536s | 18 | 1704702 | 344852 | 261633 1 | 53 | 1897 1543.73/1544.19 c 1538s | 18 | 1706630 | 345452 | 261633 1 | 53 | 1897 1545.93/1546.31 c 1540s | 18 | 1708826 | 346052 | 261633 1 | 53 | 1897 1548.13/1548.51 c 1542s | 18 | 1711406 | 346652 | 261633 1 | 53 | 1897 1550.23/1550.63 c 1544s | 18 | 1713058 | 347152 | 261633 1 | 53 | 1897 1552.43/1552.84 c 1547s | 18 | 1714438 | 347652 | 261633 1 | 53 | 1897 1554.43/1554.88 c 1549s | 18 | 1716300 | 348252 | 261633 1 | 53 | 1897 1556.73/1557.10 c 1551s | 18 | 1719891 | 349052 | 261633 1 | 53 | 1897 1558.83/1559.26 c 1553s | 18 | 1722985 | 349752 | 261633 1 | 53 | 1897 1561.03/1561.40 c 1555s | 18 | 1724681 | 350252 | 261633 1 | 53 | 1897 1563.13/1563.53 c 1557s | 18 | 1726532 | 350752 | 261633 1 | 53 | 1897 1565.53/1565.94 c 1560s | 18 | 1728053 | 351252 | 261633 1 | 53 | 1897 1567.73/1568.19 c 1562s | 18 | 1729518 | 351752 | 261633 1 | 53 | 1897 1569.83/1570.27 c 1564s | 18 | 1731522 | 352252 | 261633 1 | 53 | 1897 1571.93/1572.35 c 1566s | 18 | 1733338 | 352852 | 261633 1 | 53 | 1897 1574.02/1574.41 c 1568s | 18 | 1735240 | 353452 | 261633 1 | 53 | 1897 1576.03/1576.45 c 1570s | 18 | 1736985 | 353952 | 261633 1 | 53 | 1897 1578.32/1578.74 c 1573s | 18 | 1738632 | 354452 | 261633 1 | 53 | 1897 1580.52/1580.91 c 1575s | 18 | 1741622 | 355152 | 261633 1 | 53 | 1897 1582.72/1583.16 c 1577s | 18 | 1743192 | 355652 | 261633 1 | 53 | 1897 1584.83/1585.26 c 1579s | 18 | 1745403 | 356352 | 261633 1 | 53 | 1897 1587.22/1587.66 c 1581s | 18 | 1747335 | 356852 | 261633 1 | 53 | 1897 1589.72/1590.11 c 1584s | 18 | 1748991 | 357352 | 261633 1 | 53 | 1897 1592.02/1592.43 c 1586s | 18 | 1751789 | 358052 | 261633 1 | 53 | 1897 1594.22/1594.67 c 1588s | 18 | 1753557 | 358552 | 261633 1 | 53 | 1897 1596.42/1596.86 c 1591s | 18 | 1756347 | 359352 | 261633 1 | 53 | 1897 1599.03/1599.43 c 1593s | 18 | 1758520 | 359952 | 261633 1 | 53 | 1897 1601.12/1601.54 c 1595s | 18 | 1760092 | 360352 | 261633 1 | 53 | 1897 1603.53/1603.90 c 1598s | 18 | 1762493 | 360952 | 261633 1 | 53 | 1897 1605.52/1605.99 c 1600s | 18 | 1764419 | 361452 | 261633 1 | 53 | 1897 1607.83/1608.25 c 1602s | 18 | 1766103 | 361952 | 261633 1 | 53 | 1897 1609.82/1610.29 c 1604s | 18 | 1767943 | 362452 | 261633 1 | 53 | 1897 1612.33/1612.74 c 1607s | 18 | 1768427 | 362552 | 261633 1 | 53 | 1897 1614.53/1614.94 c 1609s | 18 | 1769918 | 362952 | 261633 1 | 53 | 1897 1616.73/1617.17 c 1611s | 18 | 1771613 | 363452 | 261633 1 | 53 | 1897 1618.92/1619.32 c 1613s | 18 | 1773550 | 363952 | 261633 1 | 53 | 1897 1621.02/1621.49 c 1615s | 18 | 1776210 | 364652 | 261633 1 | 53 | 1897 1623.32/1623.76 c 1618s | 18 | 1777949 | 365152 | 261633 1 | 53 | 1897 1625.72/1626.19 c 1620s | 18 | 1780360 | 365752 | 261633 1 | 53 | 1897 1627.92/1628.34 c 1622s | 18 | 1781977 | 366252 | 261633 1 | 53 | 1897 1630.12/1630.58 c 1624s | 18 | 1783416 | 366652 | 261633 1 | 53 | 1897 1632.42/1632.81 c 1627s | 18 | 1785160 | 367152 | 261633 1 | 53 | 1897 1634.52/1634.95 c 1629s | 18 | 1786478 | 367552 | 261633 1 | 53 | 1897 1636.82/1637.26 c 1631s | 18 | 1788012 | 368052 | 261633 1 | 53 | 1897 1638.92/1639.36 c 1633s | 18 | 1789431 | 368452 | 261633 1 | 53 | 1897 1640.93/1641.36 c 1635s | 18 | 1791039 | 368952 | 261633 1 | 53 | 1897 1642.92/1643.40 c 1637s | 18 | 1792841 | 369452 | 261633 1 | 53 | 1897 1645.12/1645.54 c 1639s | 18 | 1794662 | 370052 | 261633 1 | 53 | 1897 1647.53/1647.95 c 1642s | 18 | 1795989 | 370552 | 261633 1 | 53 | 1897 1649.82/1650.29 c 1644s | 18 | 1797635 | 371052 | 261633 1 | 53 | 1897 1652.02/1652.41 c 1646s | 18 | 1798541 | 371452 | 261633 1 | 53 | 1897 1654.32/1654.70 c 1648s | 18 | 1799641 | 371852 | 261633 1 | 53 | 1897 1656.52/1656.91 c 1651s | 18 | 1801284 | 372352 | 261633 1 | 53 | 1897 1658.92/1659.34 c 1653s | 18 | 1802746 | 372852 | 261633 1 | 53 | 1897 1661.22/1661.64 c 1655s | 18 | 1804121 | 373252 | 261633 1 | 53 | 1897 1663.22/1663.69 c 1657s | 18 | 1805403 | 373652 | 261633 1 | 53 | 1897 1665.32/1665.72 c 1659s | 18 | 1806874 | 374052 | 261633 1 | 53 | 1897 1667.42/1667.81 c 1662s | 18 | 1808156 | 374452 | 261633 1 | 53 | 1897 1669.53/1669.92 c 1664s | 18 | 1809543 | 374952 | 261633 1 | 53 | 1897 1671.72/1672.14 c 1666s | 18 | 1810732 | 375352 | 261633 1 | 53 | 1897 1674.32/1674.72 c 1668s | 18 | 1812398 | 375852 | 261633 1 | 53 | 1897 1676.62/1677.02 c 1671s | 18 | 1813787 | 376252 | 261633 1 | 53 | 1897 1678.92/1679.31 c 1673s | 18 | 1815191 | 376752 | 261633 1 | 53 | 1897 1681.02/1681.45 c 1675s | 18 | 1816806 | 377152 | 261633 1 | 53 | 1897 1683.52/1683.97 c 1678s | 18 | 1818320 | 377652 | 261633 1 | 53 | 1897 1685.62/1686.09 c 1680s | 18 | 1820176 | 378152 | 261633 1 | 53 | 1897 1688.42/1688.81 c 1683s | 18 | 1822057 | 378652 | 261633 1 | 53 | 1897 1690.72/1691.18 c 1685s | 18 | 1824416 | 378952 | 261633 1 | 53 | 1897 1692.81/1693.28 c 1687s | 18 | 1826565 | 379252 | 261633 1 | 53 | 1897 1694.91/1695.34 c 1689s | 18 | 1827587 | 379552 | 261633 1 | 53 | 1897 1697.41/1697.80 c 1692s | 18 | 1829754 | 379852 | 261633 1 | 53 | 1897 1699.81/1700.25 c 1694s | 18 | 1832246 | 380152 | 261633 1 | 53 | 1897 1701.91/1702.31 c 1696s | 18 | 1834438 | 380452 | 261633 1 | 53 | 1897 1704.31/1704.74 c 1699s | 18 | 1836724 | 381052 | 261633 1 | 53 | 1897 1706.82/1707.20 c 1701s | 18 | 1838065 | 381552 | 261633 1 | 53 | 1897 1709.31/1709.74 c 1704s | 18 | 1839846 | 382052 | 261633 1 | 53 | 1897 1711.51/1711.91 c 1706s | 18 | 1841829 | 382552 | 261633 1 | 53 | 1897 1713.71/1714.15 c 1708s | 18 | 1843607 | 383052 | 261633 1 | 53 | 1897 1716.21/1716.66 c 1710s | 18 | 1845150 | 383452 | 261633 1 | 53 | 1897 1718.61/1719.01 c 1713s | 18 | 1846556 | 383852 | 261633 1 | 53 | 1897 1721.12/1721.55 c 1715s | 18 | 1848398 | 384252 | 261633 1 | 53 | 1897 1723.42/1723.83 c 1718s | 18 | 1850336 | 384652 | 261633 1 | 53 | 1897 1725.62/1726.08 c 1720s | 18 | 1851750 | 385052 | 261633 1 | 53 | 1897 1728.01/1728.47 c 1722s | 18 | 1853206 | 385552 | 261633 1 | 53 | 1897 1730.51/1730.91 c 1725s | 18 | 1854693 | 385952 | 261633 1 | 53 | 1897 1732.81/1733.23 c 1727s | 18 | 1856583 | 386452 | 261633 1 | 53 | 1897 1735.31/1735.70 c 1729s | 18 | 1858302 | 386952 | 261633 1 | 53 | 1897 1737.41/1737.88 c 1732s | 18 | 1859602 | 387352 | 261633 1 | 53 | 1897 1739.61/1740.01 c 1734s | 18 | 1860849 | 387752 | 261633 1 | 53 | 1897 1741.71/1742.13 c 1736s | 18 | 1862242 | 388252 | 261633 1 | 53 | 1897 1744.31/1744.72 c 1738s | 18 | 1863490 | 388652 | 261633 1 | 53 | 1897 1747.01/1747.49 c 1741s | 18 | 1865686 | 389052 | 261633 1 | 53 | 1897 1749.41/1749.80 c 1744s | 18 | 1868297 | 389352 | 261633 1 | 53 | 1897 1751.51/1751.97 c 1746s | 18 | 1869670 | 389752 | 261633 1 | 53 | 1897 1753.81/1754.23 c 1748s | 18 | 1870794 | 390152 | 261633 1 | 53 | 1897 1756.21/1756.62 c 1750s | 18 | 1873058 | 390452 | 261633 1 | 53 | 1897 1758.40/1758.83 c 1753s | 18 | 1874788 | 390852 | 261633 1 | 53 | 1897 1760.71/1761.12 c 1755s | 18 | 1876299 | 391252 | 261633 1 | 53 | 1897 1762.91/1763.34 c 1757s | 18 | 1877624 | 391652 | 261633 1 | 53 | 1897 1765.40/1765.83 c 1760s | 18 | 1878788 | 391952 | 261633 2 | 53 | 1897 1768.20/1768.60 c 1762s | 18 | 1879443 | 392152 | 261633 2 | 53 | 1897 1770.60/1771.05 c 1765s | 18 | 1881449 | 392752 | 261633 2 | 53 | 1897 1773.60/1774.02 c 1768s | 18 | 1882208 | 392952 | 261633 2 | 53 | 1897 1775.80/1776.24 c 1770s | 18 | 1884667 | 393652 | 261633 2 | 53 | 1897 1777.79/1778.25 c 1772s | 18 | 1886529 | 394252 | 261633 2 | 53 | 1897 1779.99/1780.42 c 1774s | 18 | 1888514 | 394952 | 261633 2 | 53 | 1897 1793.70/1794.12 c 1788s | 18 | 1889846 | 395352 | 261633 2 | 53 | 1897
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-4079856-1465248752/watcher-4079856-1465248752 -o /tmp/evaluation-result-4079856-1465248752/solver-4079856-1465248752 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9911 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079856-1465248752.opb pid=10653 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.07 2.09 2.12 3/178 10656 /proc/meminfo: memFree=29566664/32872528 swapFree=12208/1156848 [pid=10656] ppid=10653 vsize=748100 CPUtime=0 cores=0,2,4,6 /proc/10656/stat : 10656 (toysat) R 10653 10656 9895 0 -1 4202496 2798 0 0 0 0 0 0 0 20 0 4 0 106809769 766054400 2648 33554432000 4194304 16246674 140734661278512 140734661277936 15002730 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10656/statm: 187793 2660 442 2943 0 184687 0 [pid=10656/tid=10657] ppid=10653 vsize=766532 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10657/stat : 10657 (toysat) S 10653 10656 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106809769 784928768 2720 33554432000 4194304 16246674 140734661278512 140548240289008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10656/tid=10658] ppid=10653 vsize=771652 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10658/stat : 10658 (toysat) S 10653 10656 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106809769 790171648 2737 33554432000 4194304 16246674 140734661278512 140548229799152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10656/tid=10659] ppid=10653 vsize=775748 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10659/stat : 10659 (toysat) S 10653 10656 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106809769 794365952 2756 33554432000 4194304 16246674 140734661278512 140548219325616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.10017 s] /proc/loadavg: 2.07 2.09 2.12 3/178 10656 /proc/meminfo: memFree=29566664/32872528 swapFree=12208/1156848 [pid=10656] ppid=10653 vsize=1301060 CPUtime=0.08 cores=0,2,4,6 /proc/10656/stat : 10656 (toysat) R 10653 10656 9895 0 -1 4202496 28497 0 0 0 5 3 0 0 20 0 4 0 106809769 1332285440 28286 33554432000 4194304 16246674 140734661278512 140734661277824 8057278 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10656/statm: 325265 28301 801 2943 0 322159 0 [pid=10656/tid=10657] ppid=10653 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10657/stat : 10657 (toysat) S 10653 10656 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106809769 1332285440 28311 33554432000 4194304 16246674 140734661278512 140548240289008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10656/tid=10658] ppid=10653 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10658/stat : 10658 (toysat) S 10653 10656 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106809769 1332285440 28322 33554432000 4194304 16246674 140734661278512 140548229799152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10656/tid=10659] ppid=10653 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10659/stat : 10659 (toysat) S 10653 10656 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106809769 1332285440 28333 33554432000 4194304 16246674 140734661278512 140548219325616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1301060 [startup+0.200501 s] /proc/loadavg: 2.07 2.09 2.12 3/178 10656 /proc/meminfo: memFree=29566664/32872528 swapFree=12208/1156848 [pid=10656] ppid=10653 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/10656/stat : 10656 (toysat) R 10653 10656 9895 0 -1 4202496 50521 0 0 0 12 7 0 0 20 0 4 0 106809769 1344868352 50820 33554432000 4194304 16246674 140734661278512 140734661277824 7369969 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10656/statm: 328337 50820 801 2943 0 325231 0 [pid=10656/tid=10657] ppid=10653 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10657/stat : 10657 (toysat) S 10653 10656 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106809769 1344868352 50820 33554432000 4194304 16246674 140734661278512 140548240289008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10656/tid=10658] ppid=10653 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10658/stat : 10658 (toysat) S 10653 10656 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106809769 1344868352 50820 33554432000 4194304 16246674 140734661278512 140548229799152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10656/tid=10659] ppid=10653 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10659/stat : 10659 (toysat) S 10653 10656 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106809769 1344868352 50820 33554432000 4194304 16246674 140734661278512 140548219325616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300508 s] /proc/loadavg: 2.07 2.09 2.12 3/178 10656 /proc/meminfo: memFree=29566664/32872528 swapFree=12208/1156848 [pid=10656] ppid=10653 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/10656/stat : 10656 (toysat) R 10653 10656 9895 0 -1 4202496 59105 0 0 0 21 8 0 0 20 0 4 0 106809769 1344868352 59404 33554432000 4194304 16246674 140734661278512 140734661277824 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10656/statm: 328337 59404 801 2943 0 325231 0 [pid=10656/tid=10657] ppid=10653 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10657/stat : 10657 (toysat) S 10653 10656 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106809769 1344868352 59404 33554432000 4194304 16246674 140734661278512 140548240289008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10656/tid=10658] ppid=10653 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10658/stat : 10658 (toysat) S 10653 10656 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106809769 1344868352 59404 33554432000 4194304 16246674 140734661278512 140548229799152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10656/tid=10659] ppid=10653 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10659/stat : 10659 (toysat) S 10653 10656 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106809769 1344868352 59404 33554432000 4194304 16246674 140734661278512 140548219325616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700409 s] /proc/loadavg: 2.07 2.09 2.12 3/178 10656 /proc/meminfo: memFree=29566664/32872528 swapFree=12208/1156848 [pid=10656] ppid=10653 vsize=1313348 CPUtime=0.68 cores=0,2,4,6 /proc/10656/stat : 10656 (toysat) R 10653 10656 9895 0 -1 4202496 67995 0 0 0 59 9 0 0 20 0 4 0 106809769 1344868352 68294 33554432000 4194304 16246674 140734661278512 140734661277824 7929039 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10656/statm: 328337 68294 801 2943 0 325231 0 [pid=10656/tid=10657] ppid=10653 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10657/stat : 10657 (toysat) S 10653 10656 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106809769 1344868352 68294 33554432000 4194304 16246674 140734661278512 140548240289008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10656/tid=10658] ppid=10653 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10658/stat : 10658 (toysat) S 10653 10656 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106809769 1344868352 68294 33554432000 4194304 16246674 140734661278512 140548229799152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10656/tid=10659] ppid=10653 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10659/stat : 10659 (toysat) S 10653 10656 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106809769 1344868352 68294 33554432000 4194304 16246674 140734661278512 140548219325616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1313348 [startup+1.50039 s] /proc/loadavg: 2.07 2.09 2.12 3/182 10660 /proc/meminfo: memFree=29203472/32872528 swapFree=12208/1156848 [pid=10656] ppid=10653 vsize=1313348 CPUtime=1.48 cores=0,2,4,6 /proc/10656/stat : 10656 (toysat) R 10653 10656 9895 0 -1 4202496 163064 0 0 0 123 25 0 0 20 0 4 0 106809769 1344868352 163363 33554432000 4194304 16246674 140734661278512 140734661260416 6757465 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10656/statm: 328337 163372 838 2943 0 325231 0 [pid=10656/tid=10657] ppid=10653 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10657/stat : 10657 (toysat) S 10653 10656 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106809769 1344868352 163378 33554432000 4194304 16246674 140734661278512 140548240289008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10656/tid=10658] ppid=10653 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10658/stat : 10658 (toysat) S 10653 10656 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106809769 1344868352 163383 33554432000 4194304 16246674 140734661278512 140548229799152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10656/tid=10659] ppid=10653 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10659/stat : 10659 (toysat) S 10653 10656 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106809769 1344868352 163388 33554432000 4194304 16246674 140734661278512 140548219325616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1313348 [startup+3.1004 s] /proc/loadavg: 2.07 2.09 2.12 3/183 10661 /proc/meminfo: memFree=28474964/32872528 swapFree=12208/1156848 [pid=10656] ppid=10653 vsize=1343044 CPUtime=3.09 cores=0,2,4,6 /proc/10656/stat : 10656 (toysat) R 10653 10656 9895 0 -1 4202496 276438 0 0 0 266 43 0 0 20 0 4 0 106809769 1375277056 276737 33554432000 4194304 16246674 140734661278512 140734661276352 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10656/statm: 335761 276737 891 2943 0 332655 0 [pid=10656/tid=10657] ppid=10653 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10657/stat : 10657 (toysat) S 10653 10656 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106809769 1375277056 276737 33554432000 4194304 16246674 140734661278512 140548240289008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10656/tid=10658] ppid=10653 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10658/stat : 10658 (toysat) S 10653 10656 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106809769 1375277056 276737 33554432000 4194304 16246674 140734661278512 140548229799152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10656/tid=10659] ppid=10653 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10659/stat : 10659 (toysat) S 10653 10656 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106809769 1375277056 276737 33554432000 4194304 16246674 140734661278512 140548219325616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1343044 [startup+6.3004 s] /proc/loadavg: 2.07 2.09 2.12 3/183 10661 /proc/meminfo: memFree=28460108/32872528 swapFree=12208/1156848 [pid=10656] ppid=10653 vsize=1343044 CPUtime=6.29 cores=0,2,4,6 /proc/10656/stat : 10656 (toysat) R 10653 10656 9895 0 -1 4202496 276461 0 0 0 586 43 0 0 20 0 4 0 106809769 1375277056 276760 33554432000 4194304 16246674 140734661278512 140734661260416 5711716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10656/statm: 335761 276760 912 2943 0 332655 0 [pid=10656/tid=10657] ppid=10653 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10657/stat : 10657 (toysat) S 10653 10656 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106809769 1375277056 276760 33554432000 4194304 16246674 140734661278512 140548240289008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10656/tid=10658] ppid=10653 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10658/stat : 10658 (toysat) S 10653 10656 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106809769 1375277056 276760 33554432000 4194304 16246674 140734661278512 140548229799152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10656/tid=10659] ppid=10653 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10659/stat : 10659 (toysat) S 10653 10656 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106809769 1375277056 276760 33554432000 4194304 16246674 140734661278512 140548219325616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1343044 [startup+12.7004 s] /proc/loadavg: 2.06 2.09 2.12 3/183 10661 /proc/meminfo: memFree=28460064/32872528 swapFree=12208/1156848 [pid=10656] ppid=10653 vsize=1343044 CPUtime=12.69 cores=0,2,4,6 /proc/10656/stat : 10656 (toysat) R 10653 10656 9895 0 -1 4202496 276462 0 0 0 1226 43 0 0 20 0 4 0 106809769 1375277056 276761 33554432000 4194304 16246674 140734661278512 140734661260416 5823086 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10656/statm: 335761 276761 912 2943 0 332655 0 [pid=10656/tid=10657] ppid=10653 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10657/stat : 10657 (toysat) S 10653 10656 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106809769 1375277056 276761 33554432000 4194304 16246674 140734661278512 140548240289008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10656/tid=10658] ppid=10653 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10658/stat : 10658 (toysat) S 10653 10656 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106809769 1375277056 276761 33554432000 4194304 16246674 140734661278512 140548229799152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10656/tid=10659] ppid=10653 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10659/stat : 10659 (toysat) S 10653 10656 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106809769 1375277056 276761 33554432000 4194304 16246674 140734661278512 140548219325616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1343044 [startup+25.5005 s] /proc/loadavg: 2.05 2.08 2.12 3/183 10661 /proc/meminfo: memFree=28460824/32872528 swapFree=12208/1156848 [pid=10656] ppid=10653 vsize=1343044 CPUtime=25.48 cores=0,2,4,6 /proc/10656/stat : 10656 (toysat) R 10653 10656 9895 0 -1 4202496 276462 0 0 0 2505 43 0 0 20 0 4 0 106809769 1375277056 276761 33554432000 4194304 16246674 140734661278512 140734661261512 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10656/statm: 335761 276761 912 2943 0 332655 0 [pid=10656/tid=10657] ppid=10653 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10657/stat : 10657 (toysat) S 10653 10656 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106809769 1375277056 276761 33554432000 4194304 16246674 140734661278512 140548240289008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10656/tid=10658] ppid=10653 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10658/stat : 10658 (toysat) S 10653 10656 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106809769 1375277056 276761 33554432000 4194304 16246674 140734661278512 140548229799152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10656/tid=10659] ppid=10653 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10659/stat : 10659 (toysat) S 10653 10656 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106809769 1375277056 276761 33554432000 4194304 16246674 140734661278512 140548219325616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1343044 [startup+51.1005 s] /proc/loadavg: 2.15 2.11 2.12 3/183 10661 /proc/meminfo: memFree=28460924/32872528 swapFree=12208/1156848 [pid=10656] ppid=10653 vsize=1343044 CPUtime=51.08 cores=0,2,4,6 /proc/10656/stat : 10656 (toysat) R 10653 10656 9895 0 -1 4202496 276462 0 0 0 5065 43 0 0 20 0 4 0 106809769 1375277056 276761 33554432000 4194304 16246674 140734661278512 140734661261512 5515736 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10656/statm: 335761 276761 912 2943 0 332655 0 [pid=10656/tid=10657] ppid=10653 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10657/stat : 10657 (toysat) S 10653 10656 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106809769 1375277056 276761 33554432000 4194304 16246674 140734661278512 140548240289008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10656/tid=10658] ppid=10653 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10658/stat : 10658 (toysat) S 10653 10656 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106809769 1375277056 276761 33554432000 4194304 16246674 140734661278512 140548229799152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10656/tid=10659] ppid=10653 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10659/stat : 10659 (toysat) S 10653 10656 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106809769 1375277056 276761 33554432000 4194304 16246674 140734661278512 140548219325616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1343044 [startup+102.3 s] /proc/loadavg: 2.12 2.10 2.12 3/183 10662 /proc/meminfo: memFree=28460552/32872528 swapFree=12208/1156848 [pid=10656] ppid=10653 vsize=1343044 CPUtime=102.28 cores=0,2,4,6 /proc/10656/stat : 10656 (toysat) R 10653 10656 9895 0 -1 4202496 276467 0 0 0 10185 43 0 0 20 0 4 0 106809769 1375277056 276766 33554432000 4194304 16246674 140734661278512 140734661261512 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10656/statm: 335761 276766 917 2943 0 332655 0 [pid=10656/tid=10657] ppid=10653 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10657/stat : 10657 (toysat) S 10653 10656 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106809769 1375277056 276766 33554432000 4194304 16246674 140734661278512 140548240289008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10656/tid=10658] ppid=10653 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10658/stat : 10658 (toysat) S 10653 10656 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106809769 1375277056 276766 33554432000 4194304 16246674 140734661278512 140548229799152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10656/tid=10659] ppid=10653 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10659/stat : 10659 (toysat) S 10653 10656 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106809769 1375277056 276766 33554432000 4194304 16246674 140734661278512 140548219325616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1343044 ################ # More data... # ################ /proc/10656/task/10659/stat : 10659 (toysat) S 10653 10656 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548219325616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1352260 [startup+1302.3 s] /proc/loadavg: 2.26 2.19 2.14 3/183 10752 /proc/meminfo: memFree=28501120/32872528 swapFree=12208/1156848 [pid=10656] ppid=10653 vsize=1352260 CPUtime=1301.97 cores=0,2,4,6 /proc/10656/stat : 10656 (toysat) R 10653 10656 9895 0 -1 4202496 279010 0 0 0 130147 50 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140734661260416 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10656/statm: 338065 279326 917 2943 0 334959 0 [pid=10656/tid=10657] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10657/stat : 10657 (toysat) S 10653 10656 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548240289008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10656/tid=10658] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10658/stat : 10658 (toysat) S 10653 10656 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548229799152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10656/tid=10659] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10659/stat : 10659 (toysat) S 10653 10656 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548219325616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1352260 [startup+1362.3 s] /proc/loadavg: 2.26 2.20 2.15 3/183 10753 /proc/meminfo: memFree=28453996/32872528 swapFree=12208/1156848 [pid=10656] ppid=10653 vsize=1352260 CPUtime=1361.97 cores=0,2,4,6 /proc/10656/stat : 10656 (toysat) R 10653 10656 9895 0 -1 4202496 279010 0 0 0 136146 51 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140734661260416 5712550 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10656/statm: 338065 279326 917 2943 0 334959 0 [pid=10656/tid=10657] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10657/stat : 10657 (toysat) S 10653 10656 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548240289008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10656/tid=10658] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10658/stat : 10658 (toysat) S 10653 10656 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548229799152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10656/tid=10659] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10659/stat : 10659 (toysat) S 10653 10656 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548219325616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 1352260 [startup+1422.3 s] /proc/loadavg: 2.13 2.17 2.14 3/183 10754 /proc/meminfo: memFree=28452780/32872528 swapFree=12208/1156848 [pid=10656] ppid=10653 vsize=1352260 CPUtime=1421.96 cores=0,2,4,6 /proc/10656/stat : 10656 (toysat) R 10653 10656 9895 0 -1 4202496 279010 0 0 0 142143 53 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140734661260416 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10656/statm: 338065 279326 917 2943 0 334959 0 [pid=10656/tid=10657] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10657/stat : 10657 (toysat) S 10653 10656 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548240289008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10656/tid=10658] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10658/stat : 10658 (toysat) S 10653 10656 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548229799152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10656/tid=10659] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10659/stat : 10659 (toysat) S 10653 10656 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548219325616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 1352260 [startup+1482.3 s] /proc/loadavg: 2.23 2.19 2.15 3/183 10755 /proc/meminfo: memFree=28453188/32872528 swapFree=12208/1156848 [pid=10656] ppid=10653 vsize=1352260 CPUtime=1481.94 cores=0,2,4,6 /proc/10656/stat : 10656 (toysat) R 10653 10656 9895 0 -1 4202496 279010 0 0 0 148141 53 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140734661260416 5675950 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10656/statm: 338065 279326 917 2943 0 334959 0 [pid=10656/tid=10657] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10657/stat : 10657 (toysat) S 10653 10656 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548240289008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10656/tid=10658] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10658/stat : 10658 (toysat) S 10653 10656 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548229799152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10656/tid=10659] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10659/stat : 10659 (toysat) S 10653 10656 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548219325616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 1352260 [startup+1542.31 s] /proc/loadavg: 2.08 2.15 2.14 3/183 10757 /proc/meminfo: memFree=28452404/32872528 swapFree=12208/1156848 [pid=10656] ppid=10653 vsize=1352260 CPUtime=1541.94 cores=0,2,4,6 /proc/10656/stat : 10656 (toysat) R 10653 10656 9895 0 -1 4202496 279010 0 0 0 154141 53 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140734661260416 5823262 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10656/statm: 338065 279326 917 2943 0 334959 0 [pid=10656/tid=10657] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10657/stat : 10657 (toysat) S 10653 10656 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548240289008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10656/tid=10658] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10658/stat : 10658 (toysat) S 10653 10656 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548229799152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10656/tid=10659] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10659/stat : 10659 (toysat) S 10653 10656 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548219325616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 1352260 [startup+1602.3 s] /proc/loadavg: 2.17 2.16 2.14 3/183 10758 /proc/meminfo: memFree=28452772/32872528 swapFree=12208/1156848 [pid=10656] ppid=10653 vsize=1352260 CPUtime=1601.92 cores=0,2,4,6 /proc/10656/stat : 10656 (toysat) R 10653 10656 9895 0 -1 4202496 279010 0 0 0 160139 53 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140734661260416 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10656/statm: 338065 279326 917 2943 0 334959 0 [pid=10656/tid=10657] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10657/stat : 10657 (toysat) S 10653 10656 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548240289008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10656/tid=10658] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10658/stat : 10658 (toysat) S 10653 10656 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548229799152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10656/tid=10659] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10659/stat : 10659 (toysat) S 10653 10656 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548219325616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 1352260 [startup+1662.3 s] /proc/loadavg: 2.18 2.17 2.14 3/184 10762 /proc/meminfo: memFree=28452252/32872528 swapFree=12208/1156848 [pid=10656] ppid=10653 vsize=1352260 CPUtime=1661.92 cores=0,2,4,6 /proc/10656/stat : 10656 (toysat) R 10653 10656 9895 0 -1 4202496 279010 0 0 0 166138 54 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140734661260416 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10656/statm: 338065 279326 917 2943 0 334959 0 [pid=10656/tid=10657] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10657/stat : 10657 (toysat) S 10653 10656 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548240289008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10656/tid=10658] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10658/stat : 10658 (toysat) S 10653 10656 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548229799152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10656/tid=10659] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10659/stat : 10659 (toysat) S 10653 10656 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548219325616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 1352260 [startup+1722.3 s] /proc/loadavg: 2.11 2.16 2.14 4/184 10786 /proc/meminfo: memFree=28451504/32872528 swapFree=12208/1156848 [pid=10656] ppid=10653 vsize=1352260 CPUtime=1721.91 cores=0,2,4,6 /proc/10656/stat : 10656 (toysat) R 10653 10656 9895 0 -1 4202496 279010 0 0 0 172137 54 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140734661260416 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10656/statm: 338065 279326 917 2943 0 334959 0 [pid=10656/tid=10657] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10657/stat : 10657 (toysat) S 10653 10656 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548240289008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10656/tid=10658] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10658/stat : 10658 (toysat) S 10653 10656 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548229799152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10656/tid=10659] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10659/stat : 10659 (toysat) S 10653 10656 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548219325616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 1352260 [startup+1782.3 s] /proc/loadavg: 2.11 2.14 2.13 4/183 10787 /proc/meminfo: memFree=28452332/32872528 swapFree=12208/1156848 [pid=10656] ppid=10653 vsize=1352260 CPUtime=1781.89 cores=0,2,4,6 /proc/10656/stat : 10656 (toysat) R 10653 10656 9895 0 -1 4202496 279010 0 0 0 178135 54 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140734661277608 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10656/statm: 338065 279326 917 2943 0 334959 0 [pid=10656/tid=10657] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10657/stat : 10657 (toysat) S 10653 10656 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548240289008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10656/tid=10658] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10658/stat : 10658 (toysat) S 10653 10656 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548229799152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10656/tid=10659] ppid=10653 vsize=1352260 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10659/stat : 10659 (toysat) S 10653 10656 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106809769 1384714240 279326 33554432000 4194304 16246674 140734661278512 140548219325616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 1352260 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.09 2.13 2.13 3/183 10788 /proc/meminfo: memFree=28371204/32872528 swapFree=12208/1156848 [pid=10656] ppid=10653 vsize=1433156 CPUtime=1800 cores=0,2,4,6 /proc/10656/stat : 10656 (toysat) R 10653 10656 9895 0 -1 4202496 299234 0 0 0 179941 59 0 0 20 0 4 0 106809769 1467551744 299550 33554432000 4194304 16246674 140734661278512 140734661277688 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10656/statm: 358289 299550 917 2943 0 355183 0 [pid=10656/tid=10657] ppid=10653 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10657/stat : 10657 (toysat) S 10653 10656 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106809769 1467551744 299550 33554432000 4194304 16246674 140734661278512 140548240289008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10656/tid=10658] ppid=10653 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10658/stat : 10658 (toysat) S 10653 10656 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106809769 1467551744 299550 33554432000 4194304 16246674 140734661278512 140548229799152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10656/tid=10659] ppid=10653 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/10656/task/10659/stat : 10659 (toysat) S 10653 10656 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106809769 1467551744 299550 33554432000 4194304 16246674 140734661278512 140548219325616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1433156 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 10656 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.01 CPU user time (s): 1799.42 CPU system time (s): 0.58991 CPU usage (%): 99.9775 Max. virtual memory (cumulated for all children) (KiB): 1433156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.42 system time used= 0.58991 maximum resident set size= 1198200 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 299234 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= 306 involuntary context switches= 1833 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.67114 second user time and 8.29774 second system time The end
Begin job on node114 at 2016-06-06 23:32:32 IDJOB=4079856 IDBENCH=24986 IDSOLVER=2542 FILE ID=node114/4079856-1465248752 RUNJOBID= node114-1465241547-9911 PBS_JOBID= 19843245 Free space on /tmp= 71712 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_029_area_delay.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079856-1465248752/watcher-4079856-1465248752 -o /tmp/evaluation-result-4079856-1465248752/solver-4079856-1465248752 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9911 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079856-1465248752.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a51202683a576bff941434a7d3e9aa0c RANDOM SEED=529468285 node114.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.852 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.70 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.852 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.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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.54 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.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29566812 kB Buffers: 48600 kB Cached: 218672 kB SwapCached: 1724 kB Active: 1303096 kB Inactive: 141184 kB Active(anon): 1178284 kB Inactive(anon): 1200 kB Active(file): 124812 kB Inactive(file): 139984 kB Unevictable: 1156848 kB Mlocked: 12208 kB SwapTotal: 67108856 kB SwapFree: 67096600 kB Dirty: 20580 kB Writeback: 0 kB AnonPages: 2333544 kB Mapped: 9856 kB Shmem: 0 kB Slab: 569536 kB SReclaimable: 13852 kB SUnreclaim: 555684 kB KernelStack: 1512 kB PageTables: 8244 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2475160 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2301952 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= 71700 MiB End job on node114 at 2016-06-07 00:02:33