0.00/0.00 c 2016-06-06T23:53:56+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-4079849-1465250036.opb"]
0.00/0.01 c use --random-gen="510136387 1002011885 1134724100 3075137138 1017464684 1040775438 1793195162 2019600830 1200378656 2861377982 2384175472 2180224115 1119142152 942491671 1615662335 2855115772 4244906921 1501570038 3921788528 3815574438 139248625 2637997491 1410165830 3965656487 386468111 27286069 3464981335 2217678144 480746350 1408535885 3021200518 3902557647 1351874129 4044838947 3844452933 2253855256 3967693964 1610880463 2053564015 2710031414 4004037399 1193330822 745338528 1704414657 2780610227 3511436603 4012351795 2941613865 2250968266 941484808 3056156190 30220694 4258656251 129850160 1582798117 3852063070 3082198960 371116287 1359791083 2399531917 923033210 499190504 2741632973 2004627461 585622073 1990983256 1350015736 35055670 1644287149 2581816074 2650954480 1204790860 4225889473 1230682939 1652379930 1006833805 1562750850 1925550515 12719351 2486681504 2235915301 2164736369 2766414663 2332447013 4053923429 2041965800 3860943268 3571127081 1240570045 3446627870 3855471765 613344020 4150394333 2588699658 814398181 473556044 2979543319 2213737895 1862309003 1442057231 805009520 594792197 29528653 1877376201 82436802 1846098585 2749928753 3037551203 129117885 2041718682 2398399552 2435751085 5053696 1403749278 1879481321 4239984241 904535495 3074753575 3093493874 2625175317 2359527774 4066161383 1237770190 771709247 1692081807 915587156 2919482727 2207292791 2225090461 4044510004 2440717891 3869491742 1847673093 1283029600 3586140135 3926966592 805960103 1386298728 75361673 1980459968 888487516 4280575569 3342153324 2490962611 2497079170 2452590456 2521842664 3010373552 2128236343 2622632946 4288398530 2345025247 1446210233 739108929 226551254 3634081254 1833565434 2505842139 1025970427 3805507843 1820957999 3577346532 2247610017 884782448 528902983 1941913539 527253176 3440503198 2181668411 4120567130 2679342112 878601778 3308376186 4200879300 3634781975 2180445336 4038663355 237395767 4131030090 725285357 1717959537 2959368628 2353202535 2315566615 2815375521 1410836446 3127315543 832751076 3290979899 1771154650 3404803035 879592121 1114316886 2201337436 2703643661 784734472 3060839785 2699483502 1831753473 2021288335 927440891 2615905710 1407438259 1988675552 274508661 2158843054 4117651257 417438138 1525577323 2185072923 1318028570 1265094917 3331822832 554203423 2796206604 3717499900 3515781665 2529276825 1101268541 2178262591 1007588128 1214952334 92014601 3100526081 785263437 3625392991 910359060 3147803342 292580079 1353366766 1845679147 1190479369 772687871 1024060097 2383989682 2351767763 864742152 3033830681 1058691165 3601220766 4187991806 3656217246 67689478 3529079540 3395075835 1966569630 1961295884 3130731187 2131269116 733336002 407063983 1605262368 875541515 1795337285 2397535159 2876940302 255 362436" option to reproduce the execution
0.09/0.16 c #vars 7926
0.09/0.16 c #constraints 23835
0.39/0.44 c BCD2: Hardening is enabled.
0.39/0.44 c BCD2: BiasedSearch is enabled.
0.39/0.44 c Solving starts ...
0.39/0.44 c ============================[ Search Statistics ]============================
0.39/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.44 c | | | | Limit GC | Var | Constra
0.39/0.44 c =============================================================================
0.39/0.44 c 0.0s | 0 | 0 | 0 | 10381 0 | 1222 | 0
0.39/0.48 c 0.0s | 0 | 1898 | 0 | 10381 0 | 1222 | 2542
0.39/0.48 c #cpu_time = 0.045s
0.39/0.48 c #wall_clock_time = 0.045s
0.39/0.48 c #decision = 1898
0.39/0.48 c #random_decision = 6
0.39/0.48 c #conflict = 0
0.39/0.48 c #restart = 0
0.39/0.48 o 1897
0.39/0.49 c BCD2: updating upper bound: 3885 -> 1896
0.49/0.54 c BCD2: 0 <= obj <= 1896
0.49/0.54 c BCD2: #cores=0, #unrelaxed=3885, #relaxed=0, #hardened=0
0.49/0.54 c BCD2: #sat=1 #unsat=1 bias=1/2
0.49/0.54 c Solving starts ...
0.49/0.54 c ============================[ Search Statistics ]============================
0.49/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.54 c | | | | Limit GC | Var | Constra
0.49/0.54 c =============================================================================
0.49/0.56 c 0.0s | 0 | 0 | 0 | 10381 0 | 1222 | 2542
0.49/0.57 c 0.0s | 0 | 1 | 0 | 10381 0 | 1222 | 2542
0.49/0.57 c #cpu_time = 0.010s
0.49/0.57 c #wall_clock_time = 0.010s
0.49/0.57 c #decision = 1
0.49/0.57 c #random_decision = 0
0.49/0.57 c #conflict = 0
0.49/0.57 c #restart = 0
0.49/0.57 c BCD2: found a new core of size 2: cost of the new core is >=1
0.49/0.57 c lower bound updated to 1
0.49/0.57 c BCD2: 1 <= obj <= 1896
0.49/0.57 c BCD2: #cores=1, #unrelaxed=3883, #relaxed=2, #hardened=0
0.49/0.57 c BCD2: #sat=1 #unsat=2 bias=2/3
0.49/0.57 c Solving starts ...
0.49/0.57 c ============================[ Search Statistics ]============================
0.49/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.57 c | | | | Limit GC | Var | Constra
0.49/0.57 c =============================================================================
0.49/0.57 c 0.0s | 0 | 0 | 0 | 10381 0 | 1222 | 2542
0.49/0.58 c 0.0s | 0 | 2 | 0 | 10381 0 | 1222 | 2542
0.49/0.58 c #cpu_time = 0.010s
0.49/0.58 c #wall_clock_time = 0.010s
0.49/0.58 c #decision = 2
0.49/0.58 c #random_decision = 0
0.49/0.58 c #conflict = 0
0.49/0.58 c #restart = 0
0.49/0.58 c BCD2: found a new core of size 2: cost of the new core is >=1
0.49/0.58 c lower bound updated to 2
0.59/0.61 c BCD2: 2 <= obj <= 1896
0.59/0.61 c BCD2: #cores=2, #unrelaxed=3881, #relaxed=4, #hardened=0
0.59/0.61 c BCD2: #sat=1 #unsat=3 bias=3/4
0.59/0.61 c Solving starts ...
0.59/0.61 c ============================[ Search Statistics ]============================
0.59/0.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.61 c | | | | Limit GC | Var | Constra
0.59/0.61 c =============================================================================
0.59/0.61 c 0.0s | 0 | 0 | 0 | 10381 0 | 1222 | 2542
0.59/0.62 c 0.0s | 0 | 366 | 0 | 10381 0 | 1222 | 2542
0.59/0.62 c #cpu_time = 0.011s
0.59/0.62 c #wall_clock_time = 0.011s
0.59/0.62 c #decision = 366
0.59/0.62 c #random_decision = 0
0.59/0.62 c #conflict = 0
0.59/0.62 c #restart = 0
0.59/0.62 c BCD2: found a new core of size 7: cost of the new core is >=1
0.59/0.62 c lower bound updated to 3
0.59/0.62 c BCD2: 3 <= obj <= 1896
0.59/0.62 c BCD2: #cores=3, #unrelaxed=3874, #relaxed=11, #hardened=0
0.59/0.62 c BCD2: #sat=1 #unsat=4 bias=4/5
0.59/0.62 c Solving starts ...
0.59/0.62 c ============================[ Search Statistics ]============================
0.59/0.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.62 c | | | | Limit GC | Var | Constra
0.59/0.62 c =============================================================================
0.59/0.62 c 0.0s | 0 | 0 | 0 | 10381 0 | 1222 | 2542
0.59/0.64 c 0.0s | 0 | 494 | 0 | 10381 0 | 1222 | 2542
0.59/0.64 c #cpu_time = 0.010s
0.59/0.64 c #wall_clock_time = 0.010s
0.59/0.64 c #decision = 494
0.59/0.64 c #random_decision = 0
0.59/0.64 c #conflict = 0
0.59/0.64 c #restart = 0
0.59/0.64 c BCD2: found a new core of size 33: cost of the new core is >=1
0.59/0.64 c lower bound updated to 4
0.59/0.64 c BCD2: 4 <= obj <= 1896
0.59/0.64 c BCD2: #cores=4, #unrelaxed=3841, #relaxed=44, #hardened=0
0.59/0.64 c BCD2: #sat=1 #unsat=5 bias=5/6
0.59/0.64 c Solving starts ...
0.59/0.64 c ============================[ Search Statistics ]============================
0.59/0.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.64 c | | | | Limit GC | Var | Constra
0.59/0.64 c =============================================================================
0.59/0.64 c 0.0s | 0 | 0 | 0 | 10381 0 | 1222 | 2542
0.59/0.65 c 0.0s | 0 | 536 | 0 | 10381 0 | 1222 | 2542
0.59/0.65 c #cpu_time = 0.009s
0.59/0.65 c #wall_clock_time = 0.009s
0.59/0.65 c #decision = 536
0.59/0.65 c #random_decision = 0
0.59/0.65 c #conflict = 0
0.59/0.65 c #restart = 0
0.59/0.65 c BCD2: found a new core of size 13: cost of the new core is >=1
0.59/0.65 c lower bound updated to 5
0.59/0.65 c BCD2: 5 <= obj <= 1896
0.59/0.65 c BCD2: #cores=5, #unrelaxed=3828, #relaxed=57, #hardened=0
0.59/0.65 c BCD2: #sat=1 #unsat=6 bias=6/7
0.59/0.65 c Solving starts ...
0.59/0.65 c ============================[ Search Statistics ]============================
0.59/0.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.65 c | | | | Limit GC | Var | Constra
0.59/0.65 c =============================================================================
0.59/0.65 c 0.0s | 0 | 0 | 0 | 10381 0 | 1222 | 2542
0.59/0.66 c 0.0s | 0 | 680 | 0 | 10381 0 | 1222 | 2542
0.59/0.66 c #cpu_time = 0.009s
0.59/0.66 c #wall_clock_time = 0.009s
0.59/0.66 c #decision = 680
0.59/0.66 c #random_decision = 0
0.59/0.66 c #conflict = 0
0.59/0.66 c #restart = 0
0.59/0.66 c BCD2: found a new core of size 9: cost of the new core is >=1
0.59/0.66 c lower bound updated to 6
0.59/0.66 c BCD2: 6 <= obj <= 1896
0.59/0.66 c BCD2: #cores=6, #unrelaxed=3819, #relaxed=66, #hardened=0
0.59/0.66 c BCD2: #sat=1 #unsat=7 bias=7/8
0.59/0.66 c Solving starts ...
0.59/0.66 c ============================[ Search Statistics ]============================
0.59/0.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.66 c | | | | Limit GC | Var | Constra
0.59/0.66 c =============================================================================
0.59/0.66 c 0.0s | 0 | 0 | 0 | 10381 0 | 1222 | 2542
0.59/0.67 c 0.0s | 0 | 694 | 0 | 10381 0 | 1222 | 2542
0.59/0.67 c #cpu_time = 0.009s
0.59/0.67 c #wall_clock_time = 0.009s
0.59/0.67 c #decision = 694
0.59/0.67 c #random_decision = 0
0.59/0.67 c #conflict = 0
0.59/0.67 c #restart = 0
0.59/0.67 c BCD2: found a new core of size 10: cost of the new core is >=1
0.59/0.67 c lower bound updated to 7
0.59/0.68 c BCD2: 7 <= obj <= 1896
0.59/0.68 c BCD2: #cores=7, #unrelaxed=3809, #relaxed=76, #hardened=0
0.59/0.68 c BCD2: #sat=1 #unsat=8 bias=8/9
0.59/0.68 c Solving starts ...
0.59/0.68 c ============================[ Search Statistics ]============================
0.59/0.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.68 c | | | | Limit GC | Var | Constra
0.59/0.68 c =============================================================================
0.59/0.68 c 0.0s | 0 | 0 | 0 | 10381 0 | 1222 | 2542
0.59/0.69 c 0.0s | 0 | 792 | 0 | 10381 0 | 1222 | 2542
0.59/0.69 c #cpu_time = 0.009s
0.59/0.69 c #wall_clock_time = 0.009s
0.59/0.69 c #decision = 792
0.59/0.69 c #random_decision = 0
0.59/0.69 c #conflict = 0
0.59/0.69 c #restart = 0
0.59/0.69 c BCD2: found a new core of size 39: cost of the new core is >=1
0.59/0.69 c lower bound updated to 8
0.59/0.69 c BCD2: 8 <= obj <= 1896
0.59/0.69 c BCD2: #cores=8, #unrelaxed=3770, #relaxed=115, #hardened=0
0.59/0.69 c BCD2: #sat=1 #unsat=9 bias=9/10
0.59/0.69 c Solving starts ...
0.59/0.69 c ============================[ Search Statistics ]============================
0.59/0.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.69 c | | | | Limit GC | Var | Constra
0.59/0.69 c =============================================================================
0.59/0.69 c 0.0s | 0 | 0 | 0 | 10381 0 | 1222 | 2542
0.69/0.70 c 0.0s | 0 | 1109 | 0 | 10381 0 | 1222 | 2542
0.69/0.70 c #cpu_time = 0.010s
0.69/0.70 c #wall_clock_time = 0.010s
0.69/0.70 c #decision = 1109
0.69/0.70 c #random_decision = 0
0.69/0.70 c #conflict = 0
0.69/0.70 c #restart = 0
0.69/0.70 c BCD2: found a new core of size 8: cost of the new core is >=1
0.69/0.70 c lower bound updated to 9
0.69/0.70 c BCD2: 9 <= obj <= 1896
0.69/0.70 c BCD2: #cores=9, #unrelaxed=3762, #relaxed=123, #hardened=0
0.69/0.70 c BCD2: #sat=1 #unsat=10 bias=10/11
0.69/0.70 c Solving starts ...
0.69/0.70 c ============================[ Search Statistics ]============================
0.69/0.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.70 c | | | | Limit GC | Var | Constra
0.69/0.70 c =============================================================================
0.69/0.70 c 0.0s | 0 | 0 | 0 | 10381 0 | 1222 | 2542
0.69/0.71 c 0.0s | 0 | 1302 | 0 | 10381 0 | 1222 | 2542
0.69/0.71 c #cpu_time = 0.009s
0.69/0.71 c #wall_clock_time = 0.009s
0.69/0.71 c #decision = 1302
0.69/0.71 c #random_decision = 0
0.69/0.71 c #conflict = 0
0.69/0.71 c #restart = 0
0.69/0.71 c BCD2: found a new core of size 93: cost of the new core is >=1
0.69/0.71 c lower bound updated to 10
0.69/0.71 c BCD2: 10 <= obj <= 1896
0.69/0.71 c BCD2: #cores=10, #unrelaxed=3669, #relaxed=216, #hardened=0
0.69/0.71 c BCD2: #sat=1 #unsat=11 bias=11/12
0.69/0.72 c Solving starts ...
0.69/0.72 c ============================[ Search Statistics ]============================
0.69/0.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.72 c | | | | Limit GC | Var | Constra
0.69/0.72 c =============================================================================
0.69/0.72 c 0.0s | 0 | 0 | 0 | 10381 0 | 1222 | 2542
0.69/0.73 c 0.0s | 0 | 1458 | 0 | 10381 0 | 1222 | 2542
0.69/0.73 c #cpu_time = 0.010s
0.69/0.73 c #wall_clock_time = 0.010s
0.69/0.73 c #decision = 1458
0.69/0.73 c #random_decision = 0
0.69/0.73 c #conflict = 0
0.69/0.73 c #restart = 0
0.69/0.73 c BCD2: found a new core of size 38: cost of the new core is >=1
0.69/0.73 c lower bound updated to 11
0.69/0.73 c BCD2: 11 <= obj <= 1896
0.69/0.73 c BCD2: #cores=11, #unrelaxed=3631, #relaxed=254, #hardened=0
0.69/0.73 c BCD2: #sat=1 #unsat=12 bias=12/13
0.69/0.73 c Solving starts ...
0.69/0.73 c ============================[ Search Statistics ]============================
0.69/0.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.73 c | | | | Limit GC | Var | Constra
0.69/0.73 c =============================================================================
0.69/0.73 c 0.0s | 0 | 0 | 0 | 10381 0 | 1222 | 2542
0.69/0.74 c 0.0s | 0 | 1462 | 0 | 10381 0 | 1222 | 2542
0.69/0.74 c #cpu_time = 0.010s
0.69/0.74 c #wall_clock_time = 0.010s
0.69/0.74 c #decision = 1462
0.69/0.74 c #random_decision = 0
0.69/0.74 c #conflict = 0
0.69/0.74 c #restart = 0
0.69/0.74 c BCD2: found a new core of size 72: cost of the new core is >=1
0.69/0.74 c lower bound updated to 12
0.69/0.74 c BCD2: 12 <= obj <= 1896
0.69/0.74 c BCD2: #cores=12, #unrelaxed=3559, #relaxed=326, #hardened=0
0.69/0.74 c BCD2: #sat=1 #unsat=13 bias=13/14
0.69/0.74 c Solving starts ...
0.69/0.74 c ============================[ Search Statistics ]============================
0.69/0.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.74 c | | | | Limit GC | Var | Constra
0.69/0.74 c =============================================================================
0.69/0.74 c 0.0s | 0 | 0 | 0 | 10381 0 | 1222 | 2542
0.69/0.75 c 0.0s | 0 | 1604 | 0 | 10381 0 | 1222 | 2542
0.69/0.75 c #cpu_time = 0.009s
0.69/0.75 c #wall_clock_time = 0.009s
0.69/0.75 c #decision = 1604
0.69/0.75 c #random_decision = 0
0.69/0.75 c #conflict = 0
0.69/0.75 c #restart = 0
0.69/0.75 c BCD2: found a new core of size 33: cost of the new core is >=1
0.69/0.75 c lower bound updated to 13
0.69/0.76 c BCD2: 13 <= obj <= 1896
0.69/0.76 c BCD2: #cores=13, #unrelaxed=3526, #relaxed=359, #hardened=0
0.69/0.76 c BCD2: #sat=1 #unsat=14 bias=14/15
0.69/0.76 c Solving starts ...
0.69/0.76 c ============================[ Search Statistics ]============================
0.69/0.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.76 c | | | | Limit GC | Var | Constra
0.69/0.76 c =============================================================================
0.69/0.76 c 0.0s | 0 | 0 | 0 | 10381 0 | 1222 | 2542
0.69/0.77 c 0.0s | 0 | 2143 | 0 | 10381 0 | 1222 | 2542
0.69/0.77 c #cpu_time = 0.011s
0.69/0.77 c #wall_clock_time = 0.012s
0.69/0.77 c #decision = 2143
0.69/0.77 c #random_decision = 0
0.69/0.77 c #conflict = 0
0.69/0.77 c #restart = 0
0.69/0.77 c BCD2: found a new core of size 110: cost of the new core is >=1
0.69/0.77 c lower bound updated to 14
0.69/0.77 c BCD2: 14 <= obj <= 1896
0.69/0.77 c BCD2: #cores=14, #unrelaxed=3416, #relaxed=469, #hardened=0
0.69/0.77 c BCD2: #sat=1 #unsat=15 bias=15/16
0.69/0.77 c Solving starts ...
0.69/0.77 c ============================[ Search Statistics ]============================
0.69/0.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.77 c | | | | Limit GC | Var | Constra
0.69/0.77 c =============================================================================
0.69/0.77 c 0.0s | 0 | 0 | 0 | 10381 0 | 1222 | 2542
0.69/0.79 c 0.0s | 0 | 2038 | 0 | 10381 0 | 1222 | 2542
0.69/0.79 c #cpu_time = 0.011s
0.69/0.79 c #wall_clock_time = 0.011s
0.69/0.79 c #decision = 2038
0.69/0.79 c #random_decision = 0
0.69/0.79 c #conflict = 0
0.69/0.79 c #restart = 0
0.69/0.79 c BCD2: found a new core of size 3: cost of the new core is >=1
0.69/0.79 c lower bound updated to 15
0.69/0.79 c BCD2: 15 <= obj <= 1896
0.69/0.79 c BCD2: #cores=15, #unrelaxed=3413, #relaxed=472, #hardened=0
0.69/0.79 c BCD2: #sat=1 #unsat=16 bias=16/17
0.69/0.79 c Solving starts ...
0.69/0.79 c ============================[ Search Statistics ]============================
0.69/0.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.79 c | | | | Limit GC | Var | Constra
0.69/0.79 c =============================================================================
0.69/0.79 c 0.0s | 0 | 0 | 0 | 10381 0 | 1222 | 2542
0.79/0.80 c 0.0s | 0 | 2314 | 0 | 10381 0 | 1222 | 2542
0.79/0.80 c #cpu_time = 0.012s
0.79/0.80 c #wall_clock_time = 0.012s
0.79/0.80 c #decision = 2314
0.79/0.80 c #random_decision = 0
0.79/0.80 c #conflict = 0
0.79/0.80 c #restart = 0
0.79/0.80 c BCD2: found a new core of size 39: cost of the new core is >=1
0.79/0.80 c lower bound updated to 16
0.79/0.80 c BCD2: 16 <= obj <= 1896
0.79/0.80 c BCD2: #cores=16, #unrelaxed=3374, #relaxed=511, #hardened=0
0.79/0.80 c BCD2: #sat=1 #unsat=17 bias=17/18
0.79/0.80 c Solving starts ...
0.79/0.80 c ============================[ Search Statistics ]============================
0.79/0.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.80 c | | | | Limit GC | Var | Constra
0.79/0.80 c =============================================================================
0.79/0.80 c 0.0s | 0 | 0 | 0 | 10381 0 | 1222 | 2542
0.79/0.82 c 0.0s | 0 | 2433 | 0 | 10381 0 | 1222 | 2542
0.79/0.82 c #cpu_time = 0.015s
0.79/0.82 c #wall_clock_time = 0.015s
0.79/0.82 c #decision = 2433
0.79/0.82 c #random_decision = 0
0.79/0.82 c #conflict = 0
0.79/0.82 c #restart = 0
0.79/0.82 c BCD2: found a new core of size 94: cost of the new core is >=1
0.79/0.82 c lower bound updated to 17
0.79/0.82 c BCD2: 17 <= obj <= 1896
0.79/0.82 c BCD2: #cores=17, #unrelaxed=3280, #relaxed=605, #hardened=0
0.79/0.82 c BCD2: #sat=1 #unsat=18 bias=18/19
0.79/0.82 c Solving starts ...
0.79/0.82 c ============================[ Search Statistics ]============================
0.79/0.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.82 c | | | | Limit GC | Var | Constra
0.79/0.82 c =============================================================================
0.79/0.82 c 0.0s | 0 | 0 | 0 | 10381 0 | 1222 | 2542
0.79/0.83 c 0.0s | 0 | 2378 | 0 | 10381 0 | 1222 | 2542
0.79/0.83 c #cpu_time = 0.010s
0.79/0.83 c #wall_clock_time = 0.010s
0.79/0.83 c #decision = 2378
0.79/0.83 c #random_decision = 0
0.79/0.83 c #conflict = 0
0.79/0.83 c #restart = 0
0.79/0.83 c BCD2: found a new core of size 9: cost of the new core is >=1
0.79/0.83 c lower bound updated to 18
0.79/0.83 c BCD2: 18 <= obj <= 1896
0.79/0.83 c BCD2: #cores=18, #unrelaxed=3271, #relaxed=614, #hardened=0
0.79/0.83 c BCD2: #sat=1 #unsat=19 bias=19/20
0.79/0.83 c Solving starts ...
0.79/0.83 c ============================[ Search Statistics ]============================
0.79/0.83 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.83 c | | | | Limit GC | Var | Constra
0.79/0.83 c =============================================================================
0.79/0.83 c 0.0s | 0 | 0 | 0 | 10381 0 | 1222 | 2542
0.79/0.85 c 0.0s | 0 | 2646 | 0 | 10381 0 | 1222 | 2542
0.79/0.85 c #cpu_time = 0.012s
0.79/0.85 c #wall_clock_time = 0.012s
0.79/0.85 c #decision = 2646
0.79/0.85 c #random_decision = 0
0.79/0.85 c #conflict = 0
0.79/0.85 c #restart = 0
0.79/0.85 c BCD2: found a new core of size 53: cost of the new core is >=1
0.79/0.85 c lower bound updated to 19
0.79/0.85 c BCD2: 19 <= obj <= 1896
0.79/0.85 c BCD2: #cores=19, #unrelaxed=3218, #relaxed=667, #hardened=0
0.79/0.85 c BCD2: #sat=1 #unsat=20 bias=20/21
0.79/0.85 c Solving starts ...
0.79/0.85 c ============================[ Search Statistics ]============================
0.79/0.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.85 c | | | | Limit GC | Var | Constra
0.79/0.85 c =============================================================================
0.79/0.85 c 0.0s | 0 | 0 | 0 | 10381 0 | 1222 | 2542
0.79/0.87 c 0.0s | 0 | 2619 | 0 | 10381 0 | 1222 | 2542
0.79/0.87 c #cpu_time = 0.011s
0.79/0.87 c #wall_clock_time = 0.011s
0.79/0.87 c #decision = 2619
0.79/0.87 c #random_decision = 0
0.79/0.87 c #conflict = 0
0.79/0.87 c #restart = 0
0.79/0.87 c BCD2: found a new core of size 42: cost of the new core is >=1
0.79/0.87 c lower bound updated to 20
0.79/0.87 c BCD2: 20 <= obj <= 1896
0.79/0.87 c BCD2: #cores=20, #unrelaxed=3176, #relaxed=709, #hardened=0
0.79/0.87 c BCD2: #sat=1 #unsat=21 bias=21/22
0.79/0.87 c Solving starts ...
0.79/0.87 c ============================[ Search Statistics ]============================
0.79/0.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.87 c | | | | Limit GC | Var | Constra
0.79/0.87 c =============================================================================
0.79/0.87 c 0.0s | 0 | 0 | 0 | 10381 0 | 1222 | 2542
0.79/0.89 c 0.0s | 0 | 3177 | 0 | 10381 0 | 1222 | 2542
0.79/0.89 c #cpu_time = 0.017s
0.79/0.89 c #wall_clock_time = 0.017s
0.79/0.89 c #decision = 3177
0.79/0.89 c #random_decision = 0
0.79/0.89 c #conflict = 0
0.79/0.89 c #restart = 0
0.79/0.89 o 36
0.79/0.89 c BCD2: updating upper bound: 1896 -> 35
0.89/0.90 c BCD2: 20 <= obj <= 35
0.89/0.90 c BCD2: #cores=20, #unrelaxed=3176, #relaxed=709, #hardened=0
0.89/0.90 c BCD2: #sat=2 #unsat=21 bias=21/23
0.89/0.91 c Solving starts ...
0.89/0.91 c ============================[ Search Statistics ]============================
0.89/0.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.91 c | | | | Limit GC | Var | Constra
0.89/0.91 c =============================================================================
0.89/0.91 c 0.0s | 0 | 0 | 0 | 10381 0 | 1222 | 2543
0.98/1.03 c 0.1s | 1 | 9210 | 100 | 10381 0 | 1222 | 2543
1.09/1.20 c 0.3s | 2 | 12434 | 250 | 11420 0 | 1222 | 2543
1.49/1.50 c 0.6s | 2 | 20070 | 438 | 12563 0 | 1222 | 2543
1.49/1.50 c #cpu_time = 0.594s
1.49/1.50 c #wall_clock_time = 0.595s
1.49/1.50 c #decision = 20070
1.49/1.50 c #random_decision = 3
1.49/1.50 c #conflict = 438
1.49/1.50 c #restart = 2
1.49/1.50 c BCD2: relaxing 157 and merging with 18 cores into a new core of size 822: cost of the new core is >=19
1.49/1.50 c lower bound updated to 21
1.49/1.51 c BCD2: 21 <= obj <= 35
1.49/1.51 c BCD2: #cores=3, #unrelaxed=3019, #relaxed=866, #hardened=0
1.49/1.51 c BCD2: #sat=2 #unsat=22 bias=22/24
1.49/1.52 c Solving starts ...
1.49/1.52 c ============================[ Search Statistics ]============================
1.49/1.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.49/1.52 c | | | | Limit GC | Var | Constra
1.49/1.52 c =============================================================================
1.49/1.52 c 0.0s | 0 | 0 | 0 | 12563 0 | 1273 | 2543
1.58/1.61 c 0.1s | 1 | 3210 | 100 | 13820 0 | 1273 | 2627
1.68/1.77 c 0.3s | 2 | 6401 | 250 | 13820 0 | 1273 | 2627
1.98/2.03 c 0.5s | 3 | 10121 | 475 | 15203 0 | 1273 | 2627
2.29/2.39 c 0.9s | 4 | 14233 | 813 | 15203 0 | 1273 | 2627
3.19/3.21 c 1.7s | 5 | 20777 | 1320 | 16724 0 | 1273 | 2627
4.09/4.13 c 2.6s | 6 | 27415 | 2081 | 18397 0 | 1273 | 2627
5.59/5.65 c 4.1s | 7 | 38576 | 3223 | 20237 0 | 1273 | 2627
7.59/7.66 c 6.1s | 7 | 53571 | 4723 | 22261 0 | 1273 | 2627
7.89/7.97 c 6.5s | 8 | 55417 | 4936 | 22261 0 | 1273 | 2627
9.99/10.09 c 8.6s | 8 | 67224 | 6336 | 22261 0 | 1273 | 2627
11.79/11.89 c 10.4s | 9 | 75218 | 7506 | 24488 0 | 1273 | 2627
13.89/13.96 c 12.4s | 9 | 86642 | 8906 | 24488 0 | 1273 | 2627
15.99/16.05 c 14.5s | 9 | 96251 | 10406 | 24488 0 | 1273 | 2627
17.29/17.38 c 15.9s | 10 | 101774 | 11361 | 26937 0 | 1273 | 2627
19.49/19.51 c 18.0s | 10 | 110815 | 12761 | 26937 0 | 1273 | 2627
21.48/21.59 c 20.1s | 10 | 118423 | 14061 | 26937 0 | 1273 | 2627
23.58/23.64 c 22.1s | 10 | 125398 | 15361 | 26937 0 | 1273 | 2627
25.78/25.80 c 24.3s | 10 | 133970 | 16661 | 29631 0 | 1273 | 2627
26.58/26.63 c 25.1s | 11 | 137112 | 17144 | 29631 0 | 1273 | 2627
28.69/28.72 c 27.2s | 11 | 146413 | 18344 | 29631 0 | 1273 | 2627
30.68/30.80 c 29.3s | 11 | 153327 | 19544 | 29631 0 | 1273 | 2627
32.88/32.91 c 31.4s | 11 | 160668 | 20844 | 29631 0 | 1273 | 2627
35.08/35.10 c 33.6s | 11 | 169797 | 22144 | 29631 0 | 1273 | 2627
37.18/37.23 c 35.7s | 11 | 175420 | 23344 | 29631 0 | 1273 | 2627
39.28/39.30 c 37.8s | 11 | 181157 | 24444 | 29631 0 | 1273 | 2627
41.28/41.32 c 39.8s | 11 | 187215 | 25544 | 32595 0 | 1273 | 2627
41.79/41.86 c 40.3s | 12 | 188607 | 25819 | 32595 0 | 1273 | 2627
43.88/43.92 c 42.4s | 12 | 198913 | 26919 | 32595 0 | 1273 | 2627
45.88/45.96 c 44.4s | 12 | 207249 | 28019 | 32595 0 | 1273 | 2627
47.98/48.03 c 46.5s | 12 | 213035 | 29019 | 32595 0 | 1273 | 2627
49.98/50.07 c 48.5s | 12 | 219108 | 29919 | 32595 0 | 1273 | 2627
51.98/52.08 c 50.6s | 12 | 224882 | 30919 | 32595 0 | 1273 | 2627
54.28/54.34 c 52.8s | 12 | 232223 | 31919 | 32595 0 | 1273 | 2627
56.48/56.52 c 55.0s | 12 | 236541 | 32719 | 32595 0 | 1273 | 2627
58.58/58.64 c 57.1s | 12 | 242318 | 33619 | 32595 0 | 1273 | 2627
60.68/60.72 c 59.2s | 12 | 249149 | 34619 | 32595 0 | 1273 | 2627
62.69/62.76 c 61.2s | 12 | 255660 | 35619 | 32595 0 | 1273 | 2627
64.78/64.82 c 63.3s | 12 | 261091 | 36719 | 32595 0 | 1273 | 2627
66.98/67.06 c 65.5s | 12 | 268332 | 37819 | 32595 0 | 1273 | 2627
69.08/69.12 c 67.6s | 12 | 273641 | 38719 | 35855 0 | 1273 | 2627
69.38/69.41 c 67.9s | 13 | 274034 | 38832 | 35855 0 | 1273 | 2627
71.48/71.51 c 70.0s | 13 | 277464 | 39032 | 35855 1 | 1273 | 2627
73.48/73.58 c 72.1s | 13 | 284706 | 40232 | 35855 1 | 1273 | 2627
75.58/75.67 c 74.1s | 13 | 292293 | 41432 | 35855 1 | 1273 | 2627
77.78/77.81 c 76.3s | 13 | 300646 | 42732 | 35855 1 | 1273 | 2627
79.78/79.86 c 78.3s | 13 | 311097 | 43832 | 35855 1 | 1273 | 2627
81.98/82.03 c 80.5s | 13 | 321022 | 44932 | 35855 1 | 1273 | 2627
83.98/84.06 c 82.5s | 13 | 330756 | 45932 | 35855 1 | 1273 | 2627
86.17/86.21 c 84.7s | 13 | 338349 | 47032 | 35855 1 | 1273 | 2627
88.27/88.39 c 86.9s | 13 | 347239 | 48132 | 35855 1 | 1273 | 2627
90.57/90.62 c 89.1s | 13 | 355887 | 49132 | 35855 1 | 1273 | 2627
92.57/92.63 c 91.1s | 13 | 365994 | 50132 | 35855 1 | 1273 | 2627
94.68/94.71 c 93.2s | 13 | 376184 | 51132 | 35855 1 | 1273 | 2627
96.67/96.78 c 95.3s | 13 | 382069 | 52032 | 35855 1 | 1273 | 2627
98.77/98.89 c 97.4s | 13 | 391048 | 53032 | 35855 1 | 1273 | 2627
100.97/101.00 c 99.5s | 13 | 397154 | 53932 | 35855 1 | 1273 | 2627
102.97/103.07 c 101s | 13 | 403704 | 54832 | 35855 1 | 1273 | 2627
105.17/105.26 c 103s | 13 | 413381 | 55832 | 35855 1 | 1273 | 2627
107.37/107.49 c 105s | 13 | 420443 | 56832 | 35855 1 | 1273 | 2627
109.67/109.70 c 108s | 13 | 426591 | 57832 | 39441 1 | 1273 | 2627
110.67/110.78 c 109s | 14 | 430092 | 58352 | 39441 1 | 1273 | 2627
112.87/112.91 c 111s | 14 | 440525 | 59252 | 39441 1 | 1273 | 2627
114.97/115.05 c 113s | 14 | 447647 | 60252 | 39441 1 | 1273 | 2627
117.07/117.12 c 115s | 14 | 455159 | 61052 | 39441 1 | 1273 | 2627
119.07/119.18 c 117s | 14 | 461000 | 61952 | 39441 1 | 1273 | 2627
121.37/121.40 c 119s | 14 | 468102 | 62852 | 39441 1 | 1273 | 2627
124.47/124.52 c 123s | 14 | 471655 | 63452 | 39441 1 | 1273 | 2627
126.67/126.72 c 125s | 14 | 478153 | 64252 | 39441 1 | 1273 | 2627
128.78/128.89 c 127s | 14 | 485492 | 65152 | 39441 1 | 1273 | 2627
131.07/131.10 c 129s | 14 | 490418 | 65952 | 39441 2 | 1273 | 2627
133.17/133.21 c 131s | 14 | 498279 | 66752 | 39441 2 | 1273 | 2627
135.27/135.33 c 133s | 14 | 504421 | 67552 | 39441 2 | 1273 | 2627
137.47/137.54 c 136s | 14 | 513529 | 68452 | 39441 2 | 1273 | 2627
139.67/139.78 c 138s | 14 | 519478 | 69352 | 39441 2 | 1273 | 2627
141.76/141.80 c 140s | 14 | 521574 | 69752 | 39441 2 | 1273 | 2627
143.77/143.86 c 142s | 14 | 526304 | 70552 | 39441 2 | 1273 | 2627
145.97/146.00 c 144s | 14 | 533121 | 71452 | 39441 2 | 1273 | 2627
148.07/148.17 c 146s | 14 | 540523 | 72352 | 39441 2 | 1273 | 2627
150.27/150.34 c 148s | 14 | 547135 | 73152 | 39441 2 | 1273 | 2627
152.37/152.48 c 150s | 14 | 550966 | 73952 | 39441 2 | 1273 | 2627
154.57/154.65 c 153s | 14 | 556640 | 74752 | 39441 2 | 1273 | 2627
156.67/156.77 c 155s | 14 | 562278 | 75552 | 39441 2 | 1273 | 2627
158.77/158.85 c 157s | 14 | 565930 | 76252 | 39441 2 | 1273 | 2627
160.87/160.98 c 159s | 14 | 571237 | 77052 | 39441 2 | 1273 | 2627
162.97/163.04 c 161s | 14 | 579066 | 77752 | 39441 2 | 1273 | 2627
165.17/165.23 c 163s | 14 | 586872 | 78552 | 39441 2 | 1273 | 2627
167.28/167.31 c 165s | 14 | 592511 | 79252 | 39441 2 | 1273 | 2627
169.27/169.32 c 167s | 14 | 595800 | 79952 | 39441 2 | 1273 | 2627
171.47/171.56 c 170s | 14 | 601978 | 80652 | 39441 2 | 1273 | 2627
173.57/173.62 c 172s | 14 | 606773 | 81352 | 39441 2 | 1273 | 2627
175.67/175.71 c 174s | 14 | 613257 | 82052 | 39441 2 | 1273 | 2627
177.67/177.72 c 176s | 14 | 618101 | 82752 | 39441 2 | 1273 | 2627
179.87/179.91 c 178s | 14 | 623685 | 83452 | 39441 2 | 1273 | 2627
181.97/182.04 c 180s | 14 | 629550 | 84252 | 39441 2 | 1273 | 2627
184.17/184.26 c 182s | 14 | 634426 | 85052 | 39441 2 | 1273 | 2627
186.37/186.43 c 184s | 14 | 641174 | 85752 | 39441 2 | 1273 | 2627
188.57/188.62 c 187s | 14 | 646580 | 86452 | 39441 2 | 1273 | 2627
190.77/190.85 c 189s | 14 | 651720 | 87152 | 43386 2 | 1273 | 2627
192.36/192.40 c 190s | 15 | 655619 | 87632 | 43386 2 | 1273 | 2627
195.36/195.48 c 193s | 15 | 658614 | 87732 | 43386 3 | 1273 | 2627
197.56/197.68 c 196s | 15 | 664137 | 88632 | 43386 3 | 1273 | 2627
199.76/199.86 c 198s | 15 | 670710 | 89632 | 43386 3 | 1273 | 2627
201.86/201.95 c 200s | 15 | 676848 | 90432 | 43386 3 | 1273 | 2627
203.86/203.98 c 202s | 15 | 684564 | 91332 | 43386 3 | 1273 | 2627
205.96/206.06 c 204s | 15 | 690175 | 92332 | 43386 3 | 1273 | 2627
208.06/208.18 c 206s | 15 | 696196 | 93232 | 43386 3 | 1273 | 2627
210.26/210.35 c 208s | 15 | 703358 | 94132 | 43386 3 | 1273 | 2627
212.46/212.54 c 211s | 15 | 708602 | 95132 | 43386 3 | 1273 | 2627
214.66/214.79 c 213s | 15 | 713828 | 96132 | 43386 3 | 1273 | 2627
216.86/216.99 c 215s | 15 | 718352 | 97132 | 43386 3 | 1273 | 2627
219.06/219.11 c 217s | 15 | 725313 | 98132 | 43386 3 | 1273 | 2627
221.16/221.27 c 219s | 15 | 732638 | 99232 | 43386 3 | 1273 | 2627
223.36/223.46 c 221s | 15 | 739506 | 100132 | 43386 3 | 1273 | 2627
225.46/225.56 c 224s | 15 | 745387 | 100932 | 43386 3 | 1273 | 2627
227.56/227.70 c 226s | 15 | 753886 | 101932 | 43386 3 | 1273 | 2627
229.66/229.79 c 228s | 15 | 760633 | 102832 | 43386 3 | 1273 | 2627
231.85/231.92 c 230s | 15 | 767456 | 103832 | 43386 3 | 1273 | 2627
233.95/234.01 c 232s | 15 | 773404 | 104932 | 43386 3 | 1273 | 2627
235.95/236.08 c 234s | 15 | 778844 | 105932 | 43386 3 | 1273 | 2627
238.05/238.15 c 236s | 15 | 784480 | 107032 | 43386 3 | 1273 | 2627
240.35/240.44 c 238s | 15 | 792302 | 107932 | 43386 3 | 1273 | 2627
242.35/242.48 c 240s | 15 | 799298 | 108832 | 43386 3 | 1273 | 2627
244.55/244.61 c 243s | 15 | 803985 | 109832 | 43386 3 | 1273 | 2627
246.65/246.77 c 245s | 15 | 810187 | 110732 | 43386 3 | 1273 | 2627
248.95/249.02 c 247s | 15 | 817993 | 111732 | 43386 3 | 1273 | 2627
251.05/251.18 c 249s | 15 | 822398 | 112632 | 43386 3 | 1273 | 2627
253.35/253.46 c 251s | 15 | 829491 | 113432 | 43386 3 | 1273 | 2627
255.55/255.64 c 254s | 15 | 834402 | 114332 | 43386 3 | 1273 | 2627
257.75/257.81 c 256s | 15 | 836522 | 114732 | 43386 4 | 1273 | 2627
259.75/259.90 c 258s | 15 | 843798 | 115532 | 43386 4 | 1273 | 2627
261.95/262.08 c 260s | 15 | 850658 | 116432 | 43386 4 | 1273 | 2627
264.15/264.25 c 262s | 15 | 857318 | 117332 | 43386 4 | 1273 | 2627
266.15/266.27 c 264s | 15 | 863612 | 118132 | 43386 4 | 1273 | 2627
268.64/268.70 c 267s | 15 | 867507 | 118732 | 43386 4 | 1273 | 2627
270.65/270.77 c 269s | 15 | 872177 | 119532 | 43386 4 | 1273 | 2627
273.04/273.10 c 271s | 15 | 876501 | 120332 | 43386 4 | 1273 | 2627
275.05/275.12 c 273s | 15 | 882552 | 121132 | 43386 4 | 1273 | 2627
277.15/277.29 c 275s | 15 | 888917 | 122132 | 43386 4 | 1273 | 2627
279.35/279.41 c 277s | 15 | 895667 | 123032 | 43386 4 | 1273 | 2627
281.44/281.57 c 280s | 15 | 902423 | 123832 | 43386 4 | 1273 | 2627
283.64/283.70 c 282s | 15 | 908569 | 124632 | 43386 4 | 1273 | 2627
285.74/285.86 c 284s | 15 | 914029 | 125432 | 43386 4 | 1273 | 2627
287.84/287.96 c 286s | 15 | 918605 | 126232 | 43386 4 | 1273 | 2627
289.94/290.02 c 288s | 15 | 924641 | 126932 | 43386 4 | 1273 | 2627
292.04/292.14 c 290s | 15 | 930948 | 127632 | 43386 4 | 1273 | 2627
294.14/294.26 c 292s | 15 | 936284 | 128332 | 43386 4 | 1273 | 2627
296.25/296.30 c 294s | 15 | 942296 | 129032 | 43386 4 | 1273 | 2627
298.45/298.52 c 297s | 15 | 947321 | 129732 | 43386 4 | 1273 | 2627
300.65/300.74 c 299s | 15 | 954462 | 130532 | 47725 4 | 1273 | 2627
302.95/303.08 c 301s | 15 | 958944 | 131332 | 47725 4 | 1273 | 2627
303.55/303.70 c 302s | 16 | 961292 | 131552 | 47725 4 | 1273 | 2627
305.75/305.84 c 304s | 16 | 969401 | 132252 | 47725 4 | 1273 | 2627
307.95/308.07 c 306s | 16 | 976396 | 133052 | 47725 4 | 1273 | 2627
310.05/310.14 c 308s | 16 | 981861 | 133752 | 47725 4 | 1273 | 2627
312.15/312.28 c 310s | 16 | 989177 | 134552 | 47725 4 | 1273 | 2627
314.45/314.52 c 312s | 16 | 994780 | 135352 | 47725 4 | 1273 | 2627
316.64/316.74 c 315s | 16 | 999584 | 136252 | 47725 4 | 1273 | 2627
320.44/320.51 c 318s | 16 | 1002189 | 136752 | 47725 4 | 1273 | 2627
322.54/322.62 c 321s | 16 | 1009314 | 137552 | 47725 4 | 1273 | 2627
324.64/324.78 c 323s | 16 | 1013008 | 138352 | 47725 4 | 1273 | 2627
326.84/326.94 c 325s | 16 | 1017005 | 139052 | 47725 4 | 1273 | 2627
329.04/329.19 c 327s | 16 | 1024920 | 139752 | 47725 4 | 1273 | 2627
331.24/331.37 c 329s | 16 | 1031735 | 140552 | 47725 4 | 1273 | 2627
333.44/333.59 c 332s | 16 | 1037594 | 141352 | 47725 4 | 1273 | 2627
335.55/335.64 c 334s | 16 | 1042010 | 142152 | 47725 4 | 1273 | 2627
337.75/337.82 c 336s | 16 | 1049139 | 142952 | 47725 4 | 1273 | 2627
339.85/339.91 c 338s | 16 | 1055021 | 143752 | 47725 4 | 1273 | 2627
341.84/341.95 c 340s | 16 | 1060748 | 144552 | 47725 5 | 1273 | 2627
343.84/343.99 c 342s | 16 | 1067784 | 145452 | 47725 5 | 1273 | 2627
345.94/346.00 c 344s | 16 | 1074838 | 146252 | 47725 5 | 1273 | 2627
347.94/348.09 c 346s | 16 | 1079913 | 147252 | 47725 5 | 1273 | 2627
350.04/350.10 c 348s | 16 | 1087927 | 148252 | 47725 5 | 1273 | 2627
353.84/353.99 c 352s | 16 | 1092880 | 149152 | 47725 5 | 1273 | 2627
356.93/357.02 c 355s | 16 | 1093619 | 149252 | 47725 5 | 1273 | 2627
359.03/359.15 c 357s | 16 | 1101986 | 150152 | 47725 5 | 1273 | 2627
361.23/361.35 c 359s | 16 | 1110055 | 151052 | 47725 5 | 1273 | 2627
363.33/363.41 c 361s | 16 | 1115673 | 151852 | 47725 5 | 1273 | 2627
365.33/365.42 c 363s | 16 | 1123686 | 152652 | 47725 5 | 1273 | 2627
367.34/367.47 c 365s | 16 | 1130297 | 153452 | 47725 5 | 1273 | 2627
369.54/369.60 c 368s | 16 | 1137373 | 154252 | 47725 5 | 1273 | 2627
371.53/371.64 c 370s | 16 | 1142925 | 155052 | 47725 5 | 1273 | 2627
373.63/373.70 c 372s | 16 | 1150677 | 155952 | 47725 5 | 1273 | 2627
375.63/375.77 c 374s | 16 | 1156620 | 156852 | 47725 5 | 1273 | 2627
377.93/378.04 c 376s | 16 | 1164703 | 157652 | 47725 5 | 1273 | 2627
379.93/380.06 c 378s | 16 | 1169497 | 158352 | 47725 5 | 1273 | 2627
382.03/382.17 c 380s | 16 | 1175461 | 159052 | 47725 5 | 1273 | 2627
384.33/384.41 c 382s | 16 | 1180204 | 159752 | 47725 5 | 1273 | 2627
386.33/386.45 c 384s | 16 | 1186875 | 160352 | 47725 5 | 1273 | 2627
388.43/388.53 c 387s | 16 | 1192481 | 161052 | 47725 5 | 1273 | 2627
390.63/390.73 c 389s | 16 | 1196299 | 161752 | 47725 5 | 1273 | 2627
392.73/392.83 c 391s | 16 | 1201841 | 162452 | 47725 5 | 1273 | 2627
394.73/394.88 c 393s | 16 | 1207927 | 163152 | 47725 5 | 1273 | 2627
396.83/396.96 c 395s | 16 | 1212918 | 163852 | 47725 5 | 1273 | 2627
398.93/399.08 c 397s | 16 | 1217887 | 164552 | 47725 5 | 1273 | 2627
401.23/401.37 c 399s | 16 | 1222182 | 165252 | 47725 5 | 1273 | 2627
403.42/403.53 c 402s | 16 | 1226908 | 165952 | 47725 5 | 1273 | 2627
405.52/405.62 c 404s | 16 | 1232327 | 166552 | 47725 5 | 1273 | 2627
407.72/407.87 c 406s | 16 | 1236746 | 167252 | 47725 5 | 1273 | 2627
410.02/410.17 c 408s | 16 | 1242511 | 167952 | 47725 5 | 1273 | 2627
412.32/412.50 c 410s | 16 | 1247296 | 168652 | 47725 5 | 1273 | 2627
414.52/414.63 c 413s | 16 | 1253336 | 169352 | 47725 5 | 1273 | 2627
416.52/416.64 c 415s | 16 | 1258232 | 169952 | 47725 5 | 1273 | 2627
418.83/418.95 c 417s | 16 | 1261141 | 170552 | 47725 5 | 1273 | 2627
421.03/421.12 c 419s | 16 | 1264892 | 171052 | 47725 6 | 1273 | 2627
423.13/423.21 c 421s | 16 | 1274156 | 171952 | 47725 6 | 1273 | 2627
425.13/425.24 c 423s | 16 | 1282008 | 172952 | 47725 6 | 1273 | 2627
427.23/427.35 c 425s | 16 | 1288070 | 173952 | 47725 6 | 1273 | 2627
429.33/429.45 c 427s | 16 | 1295341 | 174852 | 47725 6 | 1273 | 2627
431.43/431.58 c 430s | 16 | 1302431 | 175752 | 47725 6 | 1273 | 2627
433.53/433.62 c 432s | 16 | 1308438 | 176652 | 47725 6 | 1273 | 2627
435.72/435.87 c 434s | 16 | 1315438 | 177652 | 47725 6 | 1273 | 2627
437.73/437.87 c 436s | 16 | 1321645 | 178452 | 47725 6 | 1273 | 2627
439.93/440.08 c 438s | 16 | 1325076 | 179252 | 47725 6 | 1273 | 2627
442.02/442.18 c 440s | 16 | 1332620 | 180052 | 47725 6 | 1273 | 2627
444.12/444.21 c 442s | 16 | 1337436 | 180752 | 47725 6 | 1273 | 2627
446.32/446.41 c 444s | 16 | 1343708 | 181552 | 47725 6 | 1273 | 2627
448.52/448.60 c 447s | 16 | 1349674 | 182352 | 47725 6 | 1273 | 2627
450.52/450.69 c 449s | 16 | 1356414 | 183152 | 47725 6 | 1273 | 2627
452.82/452.92 c 451s | 16 | 1361373 | 183952 | 47725 6 | 1273 | 2627
455.12/455.21 c 453s | 16 | 1367781 | 184752 | 47725 6 | 1273 | 2627
457.32/457.47 c 455s | 16 | 1374603 | 185552 | 47725 6 | 1273 | 2627
459.42/459.50 c 457s | 16 | 1379269 | 186252 | 47725 6 | 1273 | 2627
461.52/461.60 c 460s | 16 | 1383256 | 186952 | 47725 6 | 1273 | 2627
463.62/463.76 c 462s | 16 | 1387815 | 187752 | 47725 6 | 1273 | 2627
465.92/466.00 c 464s | 16 | 1394344 | 188552 | 47725 6 | 1273 | 2627
468.12/468.28 c 466s | 16 | 1397957 | 189352 | 47725 6 | 1273 | 2627
470.22/470.39 c 468s | 16 | 1401699 | 190052 | 47725 6 | 1273 | 2627
473.72/473.84 c 472s | 16 | 1405637 | 190752 | 47725 6 | 1273 | 2627
475.82/475.94 c 474s | 16 | 1409769 | 191452 | 47725 6 | 1273 | 2627
477.82/477.95 c 476s | 16 | 1415179 | 192152 | 47725 6 | 1273 | 2627
480.12/480.28 c 478s | 16 | 1420836 | 192852 | 47725 6 | 1273 | 2627
482.12/482.28 c 480s | 16 | 1425814 | 193452 | 47725 6 | 1273 | 2627
484.32/484.47 c 482s | 16 | 1429329 | 194152 | 47725 6 | 1273 | 2627
486.62/486.78 c 485s | 16 | 1433765 | 194852 | 47725 6 | 1273 | 2627
488.91/489.01 c 487s | 16 | 1437781 | 195552 | 47725 6 | 1273 | 2627
491.01/491.14 c 489s | 16 | 1441841 | 196152 | 52498 6 | 1273 | 2627
493.31/493.41 c 491s | 16 | 1447426 | 196752 | 52498 6 | 1273 | 2627
495.41/495.54 c 494s | 16 | 1450641 | 197252 | 52498 6 | 1273 | 2627
496.02/496.20 c 494s | 17 | 1451526 | 197432 | 52498 6 | 1273 | 2627
498.51/498.61 c 497s | 17 | 1456780 | 197832 | 52498 6 | 1273 | 2627
501.01/501.16 c 499s | 17 | 1458828 | 198032 | 52498 6 | 1273 | 2627
503.01/503.19 c 501s | 17 | 1460546 | 198232 | 52498 6 | 1273 | 2627
505.11/505.25 c 503s | 17 | 1467339 | 199032 | 52498 6 | 1273 | 2627
507.21/507.37 c 505s | 17 | 1472764 | 199832 | 52498 6 | 1273 | 2627
509.51/509.62 c 508s | 17 | 1477582 | 200632 | 52498 6 | 1273 | 2627
511.71/511.89 c 510s | 17 | 1483020 | 201432 | 52498 6 | 1273 | 2627
514.01/514.17 c 512s | 17 | 1488717 | 202232 | 52498 6 | 1273 | 2627
516.31/516.45 c 514s | 17 | 1494161 | 202832 | 52498 7 | 1273 | 2627
518.41/518.50 c 516s | 17 | 1499568 | 203532 | 52498 7 | 1273 | 2627
520.61/520.74 c 519s | 17 | 1502528 | 204232 | 52498 7 | 1273 | 2627
522.81/522.93 c 521s | 17 | 1507652 | 205132 | 52498 7 | 1273 | 2627
524.91/525.09 c 523s | 17 | 1511731 | 206032 | 52498 7 | 1273 | 2627
527.00/527.13 c 525s | 17 | 1515878 | 206832 | 52498 7 | 1273 | 2627
529.21/529.34 c 527s | 17 | 1518934 | 207132 | 52498 7 | 1273 | 2627
531.32/531.48 c 529s | 17 | 1525706 | 208132 | 52498 7 | 1273 | 2627
533.52/533.66 c 532s | 17 | 1531121 | 209132 | 52498 7 | 1273 | 2627
535.62/535.80 c 534s | 17 | 1537202 | 210032 | 52498 7 | 1273 | 2627
537.82/537.93 c 536s | 17 | 1542966 | 210932 | 52498 7 | 1273 | 2627
539.91/540.04 c 538s | 17 | 1549118 | 211832 | 52498 7 | 1273 | 2627
542.22/542.31 c 540s | 17 | 1555935 | 212732 | 52498 7 | 1273 | 2627
544.21/544.33 c 542s | 17 | 1559167 | 213432 | 52498 7 | 1273 | 2627
546.21/546.38 c 544s | 17 | 1565845 | 214232 | 52498 7 | 1273 | 2627
548.41/548.50 c 546s | 17 | 1572037 | 215032 | 52498 7 | 1273 | 2627
550.61/550.79 c 549s | 17 | 1577878 | 215832 | 52498 7 | 1273 | 2627
553.01/553.13 c 551s | 17 | 1583863 | 216532 | 52498 7 | 1273 | 2627
555.11/555.21 c 553s | 17 | 1588339 | 217132 | 52498 7 | 1273 | 2627
557.31/557.40 c 555s | 17 | 1594747 | 218032 | 52498 7 | 1273 | 2627
559.41/559.58 c 558s | 17 | 1601712 | 218932 | 52498 7 | 1273 | 2627
561.51/561.62 c 560s | 17 | 1607199 | 219832 | 52498 7 | 1273 | 2627
563.61/563.73 c 562s | 17 | 1613227 | 220632 | 52498 7 | 1273 | 2627
565.61/565.77 c 564s | 17 | 1618228 | 221432 | 52498 7 | 1273 | 2627
567.61/567.78 c 566s | 17 | 1623147 | 222232 | 52498 7 | 1273 | 2627
569.91/570.06 c 568s | 17 | 1629283 | 223032 | 52498 7 | 1273 | 2627
572.01/572.19 c 570s | 17 | 1632093 | 223732 | 52498 7 | 1273 | 2627
574.11/574.22 c 572s | 17 | 1635059 | 224332 | 52498 7 | 1273 | 2627
576.10/576.25 c 574s | 17 | 1639850 | 224932 | 52498 7 | 1273 | 2627
578.40/578.52 c 577s | 17 | 1644137 | 225732 | 52498 7 | 1273 | 2627
580.40/580.59 c 579s | 17 | 1647712 | 226432 | 52498 7 | 1273 | 2627
582.60/582.70 c 581s | 17 | 1653220 | 227132 | 52498 7 | 1273 | 2627
584.80/584.98 c 583s | 17 | 1659318 | 227932 | 52498 7 | 1273 | 2627
587.10/587.23 c 585s | 17 | 1663672 | 228732 | 52498 7 | 1273 | 2627
589.10/589.25 c 587s | 17 | 1668825 | 229332 | 52498 7 | 1273 | 2627
591.30/591.42 c 589s | 17 | 1674667 | 230132 | 52498 7 | 1273 | 2627
593.50/593.63 c 592s | 17 | 1680701 | 230932 | 52498 7 | 1273 | 2627
595.70/595.80 c 594s | 17 | 1685077 | 231632 | 52498 7 | 1273 | 2627
597.70/597.83 c 596s | 17 | 1689442 | 232232 | 52498 7 | 1273 | 2627
599.80/599.94 c 598s | 17 | 1694161 | 232932 | 52498 8 | 1273 | 2627
602.00/602.10 c 600s | 17 | 1699582 | 233732 | 52498 8 | 1273 | 2627
604.00/604.15 c 602s | 17 | 1705803 | 234632 | 52498 8 | 1273 | 2627
606.00/606.19 c 604s | 17 | 1709904 | 235332 | 52498 8 | 1273 | 2627
608.30/608.43 c 606s | 17 | 1716471 | 236232 | 52498 8 | 1273 | 2627
610.50/610.64 c 609s | 17 | 1722675 | 237132 | 52498 8 | 1273 | 2627
612.60/612.79 c 611s | 17 | 1727777 | 237732 | 52498 8 | 1273 | 2627
614.70/614.86 c 613s | 17 | 1733747 | 238532 | 52498 8 | 1273 | 2627
616.80/616.98 c 615s | 17 | 1740256 | 239432 | 52498 8 | 1273 | 2627
618.89/619.04 c 617s | 17 | 1747028 | 240332 | 52498 8 | 1273 | 2627
620.99/621.18 c 619s | 17 | 1752606 | 241232 | 52498 8 | 1273 | 2627
623.19/623.38 c 621s | 17 | 1758149 | 242232 | 52498 8 | 1273 | 2627
625.49/625.62 c 624s | 17 | 1764328 | 243032 | 52498 8 | 1273 | 2627
627.59/627.71 c 626s | 17 | 1769093 | 243832 | 52498 8 | 1273 | 2627
629.69/629.85 c 628s | 17 | 1774696 | 244632 | 52498 8 | 1273 | 2627
631.69/631.87 c 630s | 17 | 1781545 | 245432 | 52498 8 | 1273 | 2627
633.89/634.04 c 632s | 17 | 1786538 | 246432 | 52498 8 | 1273 | 2627
635.89/636.07 c 634s | 17 | 1794437 | 247332 | 52498 8 | 1273 | 2627
638.09/638.29 c 636s | 17 | 1800042 | 248332 | 52498 8 | 1273 | 2627
640.29/640.46 c 638s | 17 | 1804650 | 249132 | 52498 8 | 1273 | 2627
642.30/642.49 c 640s | 17 | 1810481 | 249932 | 52498 8 | 1273 | 2627
644.50/644.66 c 643s | 17 | 1816083 | 250832 | 52498 8 | 1273 | 2627
646.59/646.78 c 645s | 17 | 1822555 | 251732 | 52498 8 | 1273 | 2627
648.69/648.89 c 647s | 17 | 1829206 | 252632 | 52498 8 | 1273 | 2627
650.79/650.91 c 649s | 17 | 1835137 | 253532 | 52498 8 | 1273 | 2627
652.79/652.92 c 651s | 17 | 1841310 | 254332 | 52498 8 | 1273 | 2627
654.99/655.11 c 653s | 17 | 1845210 | 255232 | 52498 8 | 1273 | 2627
657.19/657.36 c 655s | 17 | 1850646 | 256132 | 52498 8 | 1273 | 2627
659.29/659.45 c 657s | 17 | 1856945 | 256932 | 52498 8 | 1273 | 2627
661.49/661.63 c 660s | 17 | 1862174 | 257732 | 52498 8 | 1273 | 2627
663.59/663.70 c 662s | 17 | 1867106 | 258532 | 52498 8 | 1273 | 2627
665.59/665.74 c 664s | 17 | 1872480 | 259332 | 52498 8 | 1273 | 2627
667.59/667.80 c 666s | 17 | 1875382 | 260132 | 52498 8 | 1273 | 2627
669.79/669.92 c 668s | 17 | 1881053 | 260932 | 52498 8 | 1273 | 2627
671.89/672.06 c 670s | 17 | 1886192 | 261732 | 52498 8 | 1273 | 2627
674.09/674.20 c 672s | 17 | 1892387 | 262632 | 52498 9 | 1273 | 2627
676.19/676.30 c 674s | 17 | 1899765 | 263732 | 52498 9 | 1273 | 2627
678.38/678.51 c 676s | 17 | 1906324 | 264832 | 52498 9 | 1273 | 2627
680.48/680.66 c 679s | 17 | 1912122 | 265832 | 52498 9 | 1273 | 2627
682.58/682.76 c 681s | 17 | 1917778 | 266832 | 52498 9 | 1273 | 2627
684.58/684.78 c 683s | 17 | 1923008 | 267732 | 52498 9 | 1273 | 2627
686.78/686.90 c 685s | 17 | 1930164 | 268632 | 52498 9 | 1273 | 2627
688.98/689.10 c 687s | 17 | 1935056 | 269532 | 52498 9 | 1273 | 2627
690.98/691.19 c 689s | 17 | 1940722 | 270432 | 52498 9 | 1273 | 2627
698.98/699.18 c 697s | 17 | 1945084 | 271232 | 52498 9 | 1273 | 2627
701.18/701.38 c 699s | 17 | 1952543 | 272132 | 52498 9 | 1273 | 2627
703.38/703.50 c 701s | 17 | 1957950 | 273032 | 52498 9 | 1273 | 2627
705.58/705.72 c 704s | 17 | 1964046 | 273932 | 52498 9 | 1273 | 2627
707.58/707.77 c 706s | 17 | 1969765 | 274832 | 52498 9 | 1273 | 2627
709.78/709.90 c 708s | 17 | 1974132 | 275632 | 52498 9 | 1273 | 2627
711.78/711.96 c 710s | 17 | 1979382 | 276432 | 52498 9 | 1273 | 2627
713.79/713.99 c 712s | 17 | 1983745 | 277132 | 52498 9 | 1273 | 2627
715.88/716.09 c 714s | 17 | 1989339 | 278032 | 52498 9 | 1273 | 2627
718.19/718.35 c 716s | 17 | 1995951 | 278932 | 52498 9 | 1273 | 2627
720.28/720.48 c 718s | 17 | 2002427 | 279832 | 52498 9 | 1273 | 2627
722.48/722.66 c 721s | 17 | 2007108 | 280732 | 52498 9 | 1273 | 2627
724.58/724.78 c 723s | 17 | 2012909 | 281632 | 52498 9 | 1273 | 2627
726.68/726.86 c 725s | 17 | 2018383 | 282532 | 52498 9 | 1273 | 2627
728.78/728.93 c 727s | 17 | 2023500 | 283332 | 52498 9 | 1273 | 2627
730.78/730.98 c 729s | 17 | 2026596 | 284132 | 52498 9 | 1273 | 2627
732.98/733.12 c 731s | 17 | 2031818 | 285032 | 52498 9 | 1273 | 2627
735.08/735.27 c 733s | 17 | 2035489 | 285832 | 52498 9 | 1273 | 2627
737.38/737.52 c 736s | 17 | 2039804 | 286632 | 52498 9 | 1273 | 2627
739.48/739.60 c 738s | 17 | 2041558 | 286932 | 52498 9 | 1273 | 2627
741.58/741.70 c 740s | 17 | 2048089 | 287832 | 52498 9 | 1273 | 2627
743.68/743.88 c 742s | 17 | 2054443 | 288832 | 52498 9 | 1273 | 2627
745.78/745.92 c 744s | 17 | 2060105 | 289732 | 52498 9 | 1273 | 2627
747.98/748.15 c 746s | 17 | 2065022 | 290632 | 52498 9 | 1273 | 2627
750.08/750.26 c 748s | 17 | 2068997 | 291432 | 52498 10 | 1273 | 2627
752.38/752.52 c 751s | 17 | 2076053 | 292532 | 52498 10 | 1273 | 2627
754.58/754.76 c 753s | 17 | 2081279 | 293532 | 52498 10 | 1273 | 2627
756.87/757.06 c 755s | 17 | 2085054 | 294132 | 57748 10 | 1273 | 2627
758.98/759.16 c 757s | 17 | 2090327 | 294932 | 57748 10 | 1273 | 2627
761.27/761.43 c 759s | 17 | 2095688 | 295932 | 57748 10 | 1273 | 2627
761.97/762.17 c 760s | 18 | 2097673 | 296252 | 57748 10 | 1273 | 2627
763.97/764.19 c 762s | 18 | 2104544 | 297052 | 57748 10 | 1273 | 2627
766.27/766.40 c 764s | 18 | 2109635 | 297852 | 57748 10 | 1273 | 2627
768.47/768.60 c 767s | 18 | 2115678 | 298752 | 57748 10 | 1273 | 2627
770.57/770.76 c 769s | 18 | 2121138 | 299652 | 57748 10 | 1273 | 2627
772.57/772.78 c 771s | 18 | 2125869 | 300452 | 57748 10 | 1273 | 2627
774.67/774.85 c 773s | 18 | 2130157 | 301252 | 57748 10 | 1273 | 2627
776.67/776.89 c 775s | 18 | 2133924 | 302052 | 57748 10 | 1273 | 2627
778.97/779.11 c 777s | 18 | 2140581 | 303052 | 57748 10 | 1273 | 2627
780.98/781.19 c 779s | 18 | 2144858 | 303952 | 57748 10 | 1273 | 2627
783.77/783.91 c 782s | 18 | 2147948 | 304452 | 57748 10 | 1273 | 2627
785.87/786.05 c 784s | 18 | 2152092 | 305352 | 57748 10 | 1273 | 2627
787.87/788.06 c 786s | 18 | 2156401 | 306152 | 57748 10 | 1273 | 2627
790.07/790.28 c 788s | 18 | 2162290 | 307152 | 57748 10 | 1273 | 2627
796.47/796.63 c 795s | 18 | 2164515 | 307552 | 57748 10 | 1273 | 2627
798.48/798.65 c 797s | 18 | 2171763 | 308452 | 57748 10 | 1273 | 2627
800.57/800.78 c 799s | 18 | 2180818 | 309452 | 57748 10 | 1273 | 2627
802.67/802.84 c 801s | 18 | 2187609 | 310352 | 57748 10 | 1273 | 2627
804.77/804.95 c 803s | 18 | 2193882 | 311252 | 57748 10 | 1273 | 2627
806.87/807.09 c 805s | 18 | 2198690 | 312152 | 57748 10 | 1273 | 2627
808.97/809.13 c 807s | 18 | 2205200 | 313052 | 57748 10 | 1273 | 2627
811.17/811.32 c 809s | 18 | 2211395 | 313952 | 57748 10 | 1273 | 2627
813.27/813.44 c 811s | 18 | 2218350 | 314652 | 57748 10 | 1273 | 2627
815.37/815.52 c 814s | 18 | 2223515 | 315452 | 57748 10 | 1273 | 2627
817.47/817.63 c 816s | 18 | 2227574 | 316252 | 57748 10 | 1273 | 2627
819.47/819.68 c 818s | 18 | 2230768 | 317052 | 57748 10 | 1273 | 2627
821.76/821.91 c 820s | 18 | 2235686 | 317852 | 57748 10 | 1273 | 2627
823.87/824.06 c 822s | 18 | 2240338 | 318552 | 57748 10 | 1273 | 2627
826.07/826.23 c 824s | 18 | 2245795 | 319352 | 57748 10 | 1273 | 2627
828.17/828.31 c 826s | 18 | 2250815 | 320052 | 57748 10 | 1273 | 2627
830.26/830.45 c 828s | 18 | 2256460 | 320852 | 57748 10 | 1273 | 2627
832.36/832.55 c 831s | 18 | 2262062 | 321552 | 57748 10 | 1273 | 2627
834.46/834.64 c 833s | 18 | 2266299 | 322252 | 57748 10 | 1273 | 2627
836.46/836.67 c 835s | 18 | 2270993 | 322952 | 57748 10 | 1273 | 2627
838.66/838.82 c 837s | 18 | 2275461 | 323652 | 57748 10 | 1273 | 2627
840.96/841.11 c 839s | 18 | 2280284 | 324352 | 57748 10 | 1273 | 2627
843.26/843.40 c 841s | 18 | 2283455 | 325052 | 57748 10 | 1273 | 2627
845.36/845.52 c 844s | 18 | 2288478 | 325752 | 57748 10 | 1273 | 2627
847.36/847.54 c 846s | 18 | 2292222 | 326352 | 57748 11 | 1273 | 2627
849.56/849.74 c 848s | 18 | 2295461 | 327052 | 57748 11 | 1273 | 2627
851.56/851.79 c 850s | 18 | 2299362 | 327852 | 57748 11 | 1273 | 2627
853.76/853.94 c 852s | 18 | 2304011 | 328552 | 57748 11 | 1273 | 2627
855.86/856.02 c 854s | 18 | 2308587 | 329352 | 57748 11 | 1273 | 2627
858.66/858.88 c 857s | 18 | 2313399 | 330152 | 57748 11 | 1273 | 2627
860.86/861.07 c 859s | 18 | 2319518 | 331052 | 57748 11 | 1273 | 2627
862.96/863.15 c 861s | 18 | 2324324 | 331752 | 57748 11 | 1273 | 2627
865.06/865.28 c 863s | 18 | 2328479 | 332452 | 57748 11 | 1273 | 2627
867.26/867.41 c 865s | 18 | 2332197 | 333152 | 57748 11 | 1273 | 2627
869.26/869.43 c 867s | 18 | 2336903 | 333852 | 57748 11 | 1273 | 2627
871.46/871.62 c 870s | 18 | 2342099 | 334552 | 57748 11 | 1273 | 2627
873.66/873.82 c 872s | 18 | 2347122 | 335252 | 57748 11 | 1273 | 2627
875.76/875.98 c 874s | 18 | 2350041 | 335952 | 57748 11 | 1273 | 2627
877.86/878.08 c 876s | 18 | 2354132 | 336652 | 57748 11 | 1273 | 2627
879.96/880.18 c 878s | 18 | 2358545 | 337252 | 57748 11 | 1273 | 2627
881.95/882.18 c 880s | 18 | 2363863 | 337952 | 57748 11 | 1273 | 2627
883.95/884.19 c 882s | 18 | 2368590 | 338652 | 57748 11 | 1273 | 2627
887.95/888.11 c 886s | 18 | 2373044 | 339452 | 57748 11 | 1273 | 2627
889.95/890.17 c 888s | 18 | 2377598 | 340152 | 57748 11 | 1273 | 2627
892.06/892.26 c 890s | 18 | 2382527 | 340852 | 57748 11 | 1273 | 2627
894.35/894.50 c 892s | 18 | 2387993 | 341652 | 57748 11 | 1273 | 2627
896.55/896.73 c 895s | 18 | 2393860 | 342452 | 57748 11 | 1273 | 2627
898.75/898.97 c 897s | 18 | 2399023 | 343252 | 57748 11 | 1273 | 2627
901.05/901.24 c 899s | 18 | 2405467 | 344052 | 57748 11 | 1273 | 2627
903.15/903.31 c 901s | 18 | 2410553 | 344752 | 57748 11 | 1273 | 2627
905.35/905.53 c 904s | 18 | 2415403 | 345552 | 57748 11 | 1273 | 2627
908.15/908.32 c 906s | 18 | 2417501 | 345752 | 57748 11 | 1273 | 2627
912.25/912.45 c 910s | 18 | 2418266 | 345852 | 57748 11 | 1273 | 2627
914.45/914.61 c 913s | 18 | 2423875 | 346652 | 57748 11 | 1273 | 2627
916.55/916.77 c 915s | 18 | 2430498 | 347452 | 57748 11 | 1273 | 2627
918.85/919.05 c 917s | 18 | 2436020 | 348352 | 57748 11 | 1273 | 2627
921.05/921.21 c 919s | 18 | 2440873 | 349152 | 57748 11 | 1273 | 2627
923.05/923.25 c 921s | 18 | 2444572 | 349952 | 57748 11 | 1273 | 2627
925.25/925.44 c 923s | 18 | 2450331 | 350752 | 57748 11 | 1273 | 2627
927.25/927.49 c 925s | 18 | 2455465 | 351552 | 57748 11 | 1273 | 2627
929.45/929.62 c 928s | 18 | 2459912 | 352352 | 57748 11 | 1273 | 2627
931.65/931.83 c 930s | 18 | 2464456 | 353152 | 57748 11 | 1273 | 2627
933.85/934.03 c 932s | 18 | 2469456 | 353852 | 57748 11 | 1273 | 2627
936.05/936.26 c 934s | 18 | 2473828 | 354552 | 57748 11 | 1273 | 2627
938.25/938.47 c 936s | 18 | 2476733 | 355252 | 57748 11 | 1273 | 2627
940.35/940.55 c 939s | 18 | 2480214 | 355852 | 57748 11 | 1273 | 2627
942.34/942.59 c 941s | 18 | 2485498 | 356552 | 57748 11 | 1273 | 2627
944.54/944.73 c 943s | 18 | 2492332 | 357452 | 57748 11 | 1273 | 2627
946.54/946.76 c 945s | 18 | 2495977 | 358052 | 57748 12 | 1273 | 2627
948.74/948.93 c 947s | 18 | 2501134 | 358852 | 57748 12 | 1273 | 2627
950.74/950.96 c 949s | 18 | 2507063 | 359552 | 57748 12 | 1273 | 2627
952.84/953.06 c 951s | 18 | 2514775 | 360552 | 57748 12 | 1273 | 2627
954.94/955.11 c 953s | 18 | 2519545 | 361452 | 57748 12 | 1273 | 2627
956.95/957.18 c 955s | 18 | 2529175 | 362352 | 57748 12 | 1273 | 2627
959.15/959.37 c 957s | 18 | 2535306 | 363152 | 57748 12 | 1273 | 2627
961.35/961.59 c 960s | 18 | 2542163 | 363952 | 57748 12 | 1273 | 2627
963.45/963.65 c 962s | 18 | 2547396 | 364852 | 57748 12 | 1273 | 2627
965.54/965.71 c 964s | 18 | 2553823 | 365652 | 57748 12 | 1273 | 2627
967.64/967.86 c 966s | 18 | 2559785 | 366452 | 57748 12 | 1273 | 2627
969.84/970.07 c 968s | 18 | 2564949 | 367352 | 57748 12 | 1273 | 2627
971.94/972.11 c 970s | 18 | 2570888 | 368152 | 57748 12 | 1273 | 2627
974.04/974.26 c 972s | 18 | 2577210 | 369052 | 57748 12 | 1273 | 2627
976.04/976.30 c 974s | 18 | 2582751 | 369852 | 57748 12 | 1273 | 2627
978.24/978.44 c 976s | 18 | 2586626 | 370652 | 57748 12 | 1273 | 2627
980.54/980.71 c 979s | 18 | 2591138 | 371352 | 57748 12 | 1273 | 2627
982.74/982.97 c 981s | 18 | 2596180 | 372152 | 57748 12 | 1273 | 2627
984.94/985.17 c 983s | 18 | 2600693 | 372952 | 57748 12 | 1273 | 2627
987.04/987.28 c 985s | 18 | 2604275 | 373652 | 57748 12 | 1273 | 2627
989.24/989.44 c 987s | 18 | 2609108 | 374452 | 57748 12 | 1273 | 2627
991.34/991.56 c 990s | 18 | 2613778 | 375152 | 57748 12 | 1273 | 2627
993.34/993.57 c 992s | 18 | 2618024 | 375852 | 57748 12 | 1273 | 2627
995.44/995.61 c 994s | 18 | 2623041 | 376552 | 57748 12 | 1273 | 2627
997.54/997.78 c 996s | 18 | 2627415 | 377252 | 57748 12 | 1273 | 2627
999.63/999.90 c 998s | 18 | 2630777 | 377952 | 57748 12 | 1273 | 2627
1001.83/1002.00 c 1000s | 18 | 2637089 | 378752 | 57748 12 | 1273 | 2627
1003.83/1004.09 c 1002s | 18 | 2642392 | 379552 | 57748 12 | 1273 | 2627
1006.13/1006.30 c 1004s | 18 | 2646181 | 380352 | 57748 12 | 1273 | 2627
1008.33/1008.51 c 1006s | 18 | 2651893 | 381152 | 57748 12 | 1273 | 2627
1017.13/1017.37 c 1015s | 18 | 2655106 | 381752 | 57748 12 | 1273 | 2627
1019.23/1019.43 c 1017s | 18 | 2662395 | 382552 | 57748 12 | 1273 | 2627
1021.43/1021.62 c 1020s | 18 | 2668116 | 383352 | 57748 12 | 1273 | 2627
1023.43/1023.64 c 1022s | 18 | 2674485 | 384052 | 57748 12 | 1273 | 2627
1025.53/1025.71 c 1024s | 18 | 2679366 | 384852 | 57748 12 | 1273 | 2627
1027.53/1027.77 c 1026s | 18 | 2685820 | 385652 | 57748 12 | 1273 | 2627
1029.73/1029.92 c 1028s | 18 | 2690932 | 386452 | 57748 12 | 1273 | 2627
1031.83/1032.06 c 1030s | 18 | 2695365 | 387352 | 57748 12 | 1273 | 2627
1033.94/1034.13 c 1032s | 18 | 2700988 | 388052 | 57748 12 | 1273 | 2627
1036.04/1036.21 c 1034s | 18 | 2706420 | 388752 | 57748 12 | 1273 | 2627
1038.03/1038.29 c 1036s | 18 | 2711985 | 389452 | 57748 12 | 1273 | 2627
1040.23/1040.42 c 1038s | 18 | 2717831 | 390152 | 57748 12 | 1273 | 2627
1042.73/1042.95 c 1041s | 18 | 2719974 | 390452 | 57748 13 | 1273 | 2627
1044.73/1044.97 c 1043s | 18 | 2724904 | 391252 | 57748 13 | 1273 | 2627
1047.53/1047.79 c 1046s | 18 | 2731827 | 392152 | 57748 13 | 1273 | 2627
1049.73/1049.93 c 1048s | 18 | 2735550 | 392652 | 57748 13 | 1273 | 2627
1052.03/1052.25 c 1050s | 18 | 2740350 | 393252 | 57748 13 | 1273 | 2627
1054.23/1054.45 c 1052s | 18 | 2744480 | 394152 | 57748 13 | 1273 | 2627
1056.23/1056.46 c 1054s | 18 | 2748958 | 394852 | 57748 13 | 1273 | 2627
1058.33/1058.56 c 1057s | 18 | 2754822 | 395652 | 57748 13 | 1273 | 2627
1060.63/1060.87 c 1059s | 18 | 2759292 | 396452 | 57748 13 | 1273 | 2627
1062.73/1062.99 c 1061s | 18 | 2765463 | 397252 | 57748 13 | 1273 | 2627
1064.83/1065.05 c 1063s | 18 | 2772281 | 397952 | 57748 13 | 1273 | 2627
1067.13/1067.31 c 1065s | 18 | 2779956 | 398752 | 57748 13 | 1273 | 2627
1069.13/1069.32 c 1067s | 18 | 2785558 | 399452 | 57748 13 | 1273 | 2627
1071.23/1071.41 c 1069s | 18 | 2790576 | 400252 | 57748 13 | 1273 | 2627
1073.43/1073.61 c 1072s | 18 | 2796795 | 401052 | 57748 13 | 1273 | 2627
1075.63/1075.85 c 1074s | 18 | 2803388 | 401852 | 57748 13 | 1273 | 2627
1077.63/1077.89 c 1076s | 18 | 2809515 | 402552 | 57748 13 | 1273 | 2627
1079.93/1080.14 c 1078s | 18 | 2814425 | 403352 | 57748 13 | 1273 | 2627
1082.03/1082.24 c 1080s | 18 | 2820047 | 404152 | 57748 13 | 1273 | 2627
1084.33/1084.50 c 1082s | 18 | 2826718 | 405052 | 57748 13 | 1273 | 2627
1086.52/1086.76 c 1085s | 18 | 2833167 | 405952 | 57748 13 | 1273 | 2627
1088.62/1088.85 c 1087s | 18 | 2838262 | 406652 | 57748 13 | 1273 | 2627
1090.92/1091.11 c 1089s | 18 | 2843270 | 407352 | 57748 13 | 1273 | 2627
1093.02/1093.25 c 1091s | 18 | 2849613 | 408152 | 57748 13 | 1273 | 2627
1095.22/1095.50 c 1093s | 18 | 2855505 | 408952 | 57748 13 | 1273 | 2627
1097.32/1097.53 c 1096s | 18 | 2862079 | 409752 | 57748 13 | 1273 | 2627
1099.42/1099.64 c 1098s | 18 | 2866815 | 410552 | 57748 13 | 1273 | 2627
1101.52/1101.71 c 1100s | 18 | 2872220 | 411252 | 57748 13 | 1273 | 2627
1103.62/1103.83 c 1102s | 18 | 2877607 | 412052 | 57748 13 | 1273 | 2627
1105.82/1106.07 c 1104s | 18 | 2883668 | 412852 | 57748 13 | 1273 | 2627
1107.92/1108.13 c 1106s | 18 | 2888533 | 413552 | 57748 13 | 1273 | 2627
1109.92/1110.14 c 1108s | 18 | 2893442 | 414252 | 57748 13 | 1273 | 2627
1111.93/1112.19 c 1110s | 18 | 2897641 | 415052 | 57748 13 | 1273 | 2627
1114.02/1114.22 c 1112s | 18 | 2904512 | 415852 | 57748 13 | 1273 | 2627
1116.22/1116.43 c 1114s | 18 | 2909805 | 416652 | 57748 13 | 1273 | 2627
1118.42/1118.64 c 1117s | 18 | 2915647 | 417452 | 57748 13 | 1273 | 2627
1120.52/1120.77 c 1119s | 18 | 2920423 | 418152 | 57748 13 | 1273 | 2627
1122.72/1122.97 c 1121s | 18 | 2923766 | 418752 | 57748 13 | 1273 | 2627
1125.02/1125.28 c 1123s | 18 | 2927002 | 419352 | 57748 13 | 1273 | 2627
1127.12/1127.34 c 1125s | 18 | 2930258 | 419852 | 57748 13 | 1273 | 2627
1129.42/1129.66 c 1128s | 18 | 2933705 | 420452 | 57748 13 | 1273 | 2627
1131.62/1131.88 c 1130s | 18 | 2938359 | 421052 | 57748 13 | 1273 | 2627
1133.82/1134.03 c 1132s | 18 | 2944612 | 421752 | 57748 13 | 1273 | 2627
1135.82/1136.09 c 1134s | 18 | 2948954 | 422352 | 57748 14 | 1273 | 2627
1138.02/1138.24 c 1136s | 18 | 2953722 | 423152 | 57748 14 | 1273 | 2627
1140.12/1140.33 c 1138s | 18 | 2957397 | 423852 | 57748 14 | 1273 | 2627
1142.32/1142.58 c 1141s | 18 | 2963805 | 424752 | 57748 14 | 1273 | 2627
1144.42/1144.69 c 1143s | 18 | 2968628 | 425552 | 57748 14 | 1273 | 2627
1146.62/1146.85 c 1145s | 18 | 2974740 | 426352 | 57748 14 | 1273 | 2627
1148.92/1149.14 c 1147s | 18 | 2979653 | 427252 | 57748 14 | 1273 | 2627
1151.02/1151.20 c 1149s | 18 | 2985714 | 428052 | 57748 14 | 1273 | 2627
1153.11/1153.32 c 1151s | 18 | 2989983 | 428852 | 57748 14 | 1273 | 2627
1155.11/1155.34 c 1153s | 18 | 2994278 | 429652 | 57748 14 | 1273 | 2627
1157.21/1157.43 c 1155s | 18 | 2997190 | 429952 | 57748 14 | 1273 | 2627
1159.32/1159.55 c 1158s | 18 | 3003497 | 430752 | 57748 14 | 1273 | 2627
1161.31/1161.56 c 1160s | 18 | 3008413 | 431452 | 57748 14 | 1273 | 2627
1163.41/1163.63 c 1162s | 18 | 3012553 | 432152 | 57748 14 | 1273 | 2627
1165.51/1165.77 c 1164s | 18 | 3016897 | 432852 | 57748 14 | 1273 | 2627
1167.61/1167.82 c 1166s | 18 | 3021436 | 433552 | 57748 14 | 1273 | 2627
1169.81/1170.03 c 1168s | 18 | 3026295 | 434352 | 57748 14 | 1273 | 2627
1171.91/1172.18 c 1170s | 18 | 3029977 | 435052 | 57748 14 | 1273 | 2627
1174.11/1174.39 c 1172s | 18 | 3033735 | 435852 | 57748 14 | 1273 | 2627
1176.31/1176.56 c 1175s | 18 | 3037492 | 436352 | 57748 14 | 1273 | 2627
1178.51/1178.74 c 1177s | 18 | 3044218 | 437252 | 57748 14 | 1273 | 2627
1180.71/1180.90 c 1179s | 18 | 3049003 | 438152 | 57748 14 | 1273 | 2627
1182.71/1182.97 c 1181s | 18 | 3052692 | 438952 | 57748 14 | 1273 | 2627
1184.81/1185.04 c 1183s | 18 | 3057865 | 439752 | 57748 14 | 1273 | 2627
1187.01/1187.21 c 1185s | 18 | 3062554 | 440652 | 57748 14 | 1273 | 2627
1189.11/1189.32 c 1187s | 18 | 3068315 | 441452 | 63523 14 | 1273 | 2627
1191.21/1191.43 c 1189s | 18 | 3073158 | 442252 | 63523 14 | 1273 | 2627
1193.41/1193.62 c 1192s | 18 | 3078543 | 443052 | 63523 14 | 1273 | 2627
1195.61/1195.84 c 1194s | 18 | 3083381 | 443852 | 63523 14 | 1273 | 2627
1197.31/1197.52 c 1196s | 19 | 3086521 | 444482 | 63523 14 | 1273 | 2627
1217.00/1217.21 c 1215s | 19 | 3090027 | 444582 | 63523 14 | 1273 | 2627
1219.91/1220.11 c 1218s | 19 | 3096278 | 445482 | 63523 14 | 1273 | 2627
1221.92/1222.19 c 1220s | 19 | 3102870 | 446382 | 63523 14 | 1273 | 2627
1224.11/1224.36 c 1222s | 19 | 3109745 | 447282 | 63523 14 | 1273 | 2627
1226.41/1226.64 c 1225s | 19 | 3115136 | 448282 | 63523 14 | 1273 | 2627
1228.51/1228.78 c 1227s | 19 | 3120211 | 449082 | 63523 14 | 1273 | 2627
1230.61/1230.81 c 1229s | 19 | 3122961 | 449582 | 63523 14 | 1273 | 2627
1232.71/1232.94 c 1231s | 19 | 3128134 | 450282 | 63523 14 | 1273 | 2627
1234.81/1235.01 c 1233s | 19 | 3133034 | 450982 | 63523 14 | 1273 | 2627
1236.81/1237.05 c 1235s | 19 | 3139840 | 451882 | 63523 14 | 1273 | 2627
1238.91/1239.13 c 1237s | 19 | 3142588 | 452882 | 63523 14 | 1273 | 2627
1240.91/1241.14 c 1239s | 19 | 3145932 | 453582 | 63523 14 | 1273 | 2627
1243.01/1243.24 c 1241s | 19 | 3149125 | 454082 | 63523 14 | 1273 | 2627
1245.40/1245.68 c 1244s | 19 | 3152806 | 454682 | 63523 14 | 1273 | 2627
1247.80/1248.09 c 1246s | 19 | 3155716 | 455282 | 63523 14 | 1273 | 2627
1250.00/1250.29 c 1248s | 19 | 3159825 | 455982 | 63523 14 | 1273 | 2627
1252.30/1252.53 c 1251s | 19 | 3163960 | 456582 | 63523 14 | 1273 | 2627
1254.60/1254.80 c 1253s | 19 | 3168924 | 457282 | 63523 14 | 1273 | 2627
1256.90/1257.13 c 1255s | 19 | 3173118 | 457882 | 63523 14 | 1273 | 2627
1259.00/1259.23 c 1257s | 19 | 3176642 | 458582 | 63523 14 | 1273 | 2627
1261.20/1261.47 c 1259s | 19 | 3182063 | 459382 | 63523 14 | 1273 | 2627
1263.50/1263.75 c 1262s | 19 | 3186630 | 460182 | 63523 14 | 1273 | 2627
1265.60/1265.90 c 1264s | 19 | 3189911 | 460882 | 63523 15 | 1273 | 2627
1267.80/1268.03 c 1266s | 19 | 3194405 | 461782 | 63523 15 | 1273 | 2627
1269.90/1270.19 c 1268s | 19 | 3199753 | 462682 | 63523 15 | 1273 | 2627
1271.90/1272.19 c 1270s | 19 | 3204152 | 463482 | 63523 15 | 1273 | 2627
1274.00/1274.25 c 1272s | 19 | 3208955 | 464182 | 63523 15 | 1273 | 2627
1276.50/1276.70 c 1275s | 19 | 3213187 | 464982 | 63523 15 | 1273 | 2627
1278.60/1278.84 c 1277s | 19 | 3218958 | 465882 | 63523 15 | 1273 | 2627
1280.60/1280.85 c 1279s | 19 | 3224133 | 466682 | 63523 15 | 1273 | 2627
1282.60/1282.86 c 1281s | 19 | 3228101 | 467382 | 63523 15 | 1273 | 2627
1284.70/1284.97 c 1283s | 19 | 3232882 | 468182 | 63523 15 | 1273 | 2627
1286.90/1287.16 c 1285s | 19 | 3237247 | 468982 | 63523 15 | 1273 | 2627
1289.00/1289.22 c 1287s | 19 | 3241422 | 469682 | 63523 15 | 1273 | 2627
1291.09/1291.31 c 1289s | 19 | 3245603 | 470382 | 63523 15 | 1273 | 2627
1293.40/1293.67 c 1292s | 19 | 3250031 | 471182 | 63523 15 | 1273 | 2627
1295.79/1296.08 c 1294s | 19 | 3254709 | 471782 | 63523 15 | 1273 | 2627
1297.80/1298.09 c 1296s | 19 | 3258974 | 472482 | 63523 15 | 1273 | 2627
1299.89/1300.12 c 1298s | 19 | 3262782 | 473182 | 63523 15 | 1273 | 2627
1301.89/1302.13 c 1300s | 19 | 3268477 | 473982 | 63523 15 | 1273 | 2627
1303.99/1304.24 c 1302s | 19 | 3273790 | 474782 | 63523 15 | 1273 | 2627
1305.99/1306.26 c 1304s | 19 | 3278963 | 475482 | 63523 15 | 1273 | 2627
1308.19/1308.49 c 1306s | 19 | 3282925 | 476182 | 63523 15 | 1273 | 2627
1310.39/1310.62 c 1309s | 19 | 3287085 | 476882 | 63523 15 | 1273 | 2627
1312.49/1312.77 c 1311s | 19 | 3290715 | 477582 | 63523 15 | 1273 | 2627
1314.49/1314.78 c 1313s | 19 | 3294363 | 478182 | 63523 15 | 1273 | 2627
1316.69/1316.98 c 1315s | 19 | 3296827 | 478882 | 63523 15 | 1273 | 2627
1318.89/1319.17 c 1317s | 19 | 3300431 | 479582 | 63523 15 | 1273 | 2627
1321.09/1321.32 c 1319s | 19 | 3304248 | 480182 | 63523 15 | 1273 | 2627
1323.10/1323.37 c 1321s | 19 | 3308050 | 480882 | 63523 15 | 1273 | 2627
1325.19/1325.45 c 1323s | 19 | 3312795 | 481582 | 63523 15 | 1273 | 2627
1327.39/1327.63 c 1326s | 19 | 3317192 | 482282 | 63523 15 | 1273 | 2627
1329.59/1329.86 c 1328s | 19 | 3321622 | 482982 | 63523 15 | 1273 | 2627
1331.59/1331.88 c 1330s | 19 | 3325278 | 483682 | 63523 15 | 1273 | 2627
1333.68/1333.99 c 1332s | 19 | 3329307 | 484382 | 63523 15 | 1273 | 2627
1335.78/1336.10 c 1334s | 19 | 3334014 | 485082 | 63523 15 | 1273 | 2627
1337.98/1338.23 c 1336s | 19 | 3338161 | 485782 | 63523 15 | 1273 | 2627
1340.18/1340.41 c 1338s | 19 | 3342424 | 486482 | 63523 15 | 1273 | 2627
1342.38/1342.62 c 1341s | 19 | 3347174 | 487182 | 63523 15 | 1273 | 2627
1344.48/1344.71 c 1343s | 19 | 3350154 | 487782 | 63523 15 | 1273 | 2627
1346.48/1346.78 c 1345s | 19 | 3355277 | 488482 | 63523 15 | 1273 | 2627
1348.78/1349.07 c 1347s | 19 | 3360160 | 489182 | 63523 15 | 1273 | 2627
1351.18/1351.44 c 1349s | 19 | 3362764 | 489882 | 63523 15 | 1273 | 2627
1353.37/1353.65 c 1352s | 19 | 3366291 | 490482 | 63523 15 | 1273 | 2627
1355.47/1355.78 c 1354s | 19 | 3371270 | 491182 | 63523 15 | 1273 | 2627
1357.57/1357.80 c 1356s | 19 | 3373855 | 491782 | 63523 15 | 1273 | 2627
1359.87/1360.12 c 1358s | 19 | 3377464 | 492382 | 63523 15 | 1273 | 2627
1362.07/1362.36 c 1360s | 19 | 3381109 | 492982 | 63523 15 | 1273 | 2627
1364.16/1364.43 c 1362s | 19 | 3386820 | 493682 | 63523 15 | 1273 | 2627
1366.26/1366.50 c 1364s | 19 | 3390653 | 494382 | 63523 15 | 1273 | 2627
1368.46/1368.70 c 1367s | 19 | 3394723 | 494982 | 63523 15 | 1273 | 2627
1370.76/1371.01 c 1369s | 19 | 3397067 | 495482 | 63523 16 | 1273 | 2627
1372.96/1373.21 c 1371s | 19 | 3403892 | 496382 | 63523 16 | 1273 | 2627
1375.06/1375.36 c 1373s | 19 | 3409052 | 497182 | 63523 16 | 1273 | 2627
1377.26/1377.51 c 1375s | 19 | 3415582 | 497982 | 63523 16 | 1273 | 2627
1379.46/1379.74 c 1378s | 19 | 3420474 | 498882 | 63523 16 | 1273 | 2627
1381.47/1381.77 c 1380s | 19 | 3425735 | 499582 | 63523 16 | 1273 | 2627
1383.57/1383.84 c 1382s | 19 | 3430913 | 500282 | 63523 16 | 1273 | 2627
1385.77/1386.04 c 1384s | 19 | 3436009 | 501082 | 63523 16 | 1273 | 2627
1388.07/1388.35 c 1386s | 19 | 3442200 | 501982 | 63523 16 | 1273 | 2627
1390.17/1390.41 c 1388s | 19 | 3447184 | 502782 | 63523 16 | 1273 | 2627
1392.26/1392.50 c 1390s | 19 | 3452069 | 503482 | 63523 16 | 1273 | 2627
1394.46/1394.78 c 1393s | 19 | 3457419 | 504282 | 63523 16 | 1273 | 2627
1396.66/1396.91 c 1395s | 19 | 3462091 | 504982 | 63523 16 | 1273 | 2627
1398.86/1399.19 c 1397s | 19 | 3467567 | 505782 | 63523 16 | 1273 | 2627
1401.06/1401.30 c 1399s | 19 | 3471541 | 506482 | 63523 16 | 1273 | 2627
1403.25/1403.56 c 1402s | 19 | 3476224 | 507282 | 63523 16 | 1273 | 2627
1405.56/1405.82 c 1404s | 19 | 3480361 | 508082 | 63523 16 | 1273 | 2627
1407.65/1407.98 c 1406s | 19 | 3484755 | 508782 | 63523 16 | 1273 | 2627
1410.06/1410.37 c 1408s | 19 | 3488778 | 509482 | 63523 16 | 1273 | 2627
1412.16/1412.44 c 1410s | 19 | 3493540 | 510082 | 63523 16 | 1273 | 2627
1414.25/1414.51 c 1412s | 19 | 3497405 | 510682 | 63523 16 | 1273 | 2627
1416.35/1416.68 c 1415s | 19 | 3502154 | 511582 | 63523 16 | 1273 | 2627
1418.55/1418.86 c 1417s | 19 | 3508705 | 512382 | 63523 16 | 1273 | 2627
1420.75/1421.07 c 1419s | 19 | 3512849 | 513182 | 63523 16 | 1273 | 2627
1422.94/1423.28 c 1421s | 19 | 3518946 | 514082 | 63523 16 | 1273 | 2627
1425.14/1425.41 c 1423s | 19 | 3524374 | 514782 | 63523 16 | 1273 | 2627
1427.14/1427.43 c 1425s | 19 | 3529953 | 515582 | 63523 16 | 1273 | 2627
1429.24/1429.57 c 1428s | 19 | 3534030 | 516182 | 63523 16 | 1273 | 2627
1431.54/1431.81 c 1430s | 19 | 3540718 | 516982 | 63523 16 | 1273 | 2627
1433.54/1433.89 c 1432s | 19 | 3546037 | 517782 | 63523 16 | 1273 | 2627
1435.74/1436.01 c 1434s | 19 | 3550208 | 518482 | 63523 16 | 1273 | 2627
1438.04/1438.32 c 1436s | 19 | 3552838 | 519182 | 63523 16 | 1273 | 2627
1440.14/1440.42 c 1438s | 19 | 3556862 | 519782 | 63523 16 | 1273 | 2627
1442.23/1442.56 c 1441s | 19 | 3561173 | 520482 | 63523 16 | 1273 | 2627
1444.33/1444.62 c 1443s | 19 | 3563073 | 521082 | 63523 16 | 1273 | 2627
1446.63/1446.99 c 1445s | 19 | 3568031 | 521682 | 63523 16 | 1273 | 2627
1448.93/1449.24 c 1447s | 19 | 3572003 | 522382 | 63523 16 | 1273 | 2627
1451.23/1451.52 c 1450s | 19 | 3576622 | 523082 | 63523 16 | 1273 | 2627
1453.22/1453.56 c 1452s | 19 | 3580817 | 523682 | 63523 16 | 1273 | 2627
1455.42/1455.74 c 1454s | 19 | 3584149 | 524282 | 63523 16 | 1273 | 2627
1457.42/1457.75 c 1456s | 19 | 3588387 | 524882 | 63523 16 | 1273 | 2627
1459.62/1459.99 c 1458s | 19 | 3592835 | 525582 | 63523 16 | 1273 | 2627
1463.02/1463.34 c 1461s | 19 | 3597493 | 526282 | 63523 16 | 1273 | 2627
1465.22/1465.56 c 1464s | 19 | 3602591 | 527082 | 63523 16 | 1273 | 2627
1467.32/1467.68 c 1466s | 19 | 3607448 | 527882 | 63523 16 | 1273 | 2627
1469.52/1469.82 c 1468s | 19 | 3614432 | 528782 | 63523 16 | 1273 | 2627
1471.52/1471.86 c 1470s | 19 | 3619731 | 529482 | 63523 16 | 1273 | 2627
1473.61/1473.97 c 1472s | 19 | 3623947 | 530082 | 63523 17 | 1273 | 2627
1476.02/1476.36 c 1474s | 19 | 3627955 | 530682 | 63523 17 | 1273 | 2627
1478.12/1478.44 c 1476s | 19 | 3634286 | 531482 | 63523 17 | 1273 | 2627
1480.21/1480.53 c 1479s | 19 | 3639004 | 532182 | 63523 17 | 1273 | 2627
1482.31/1482.60 c 1481s | 19 | 3643873 | 532982 | 63523 17 | 1273 | 2627
1484.31/1484.69 c 1483s | 19 | 3648126 | 533782 | 63523 17 | 1273 | 2627
1490.11/1490.47 c 1488s | 19 | 3648881 | 533882 | 63523 17 | 1273 | 2627
1492.21/1492.55 c 1491s | 19 | 3654276 | 534782 | 63523 17 | 1273 | 2627
1500.61/1500.96 c 1499s | 19 | 3656290 | 535182 | 63523 17 | 1273 | 2627
1502.61/1502.97 c 1501s | 19 | 3662252 | 535982 | 63523 17 | 1273 | 2627
1504.70/1505.09 c 1503s | 19 | 3668221 | 536882 | 63523 17 | 1273 | 2627
1506.81/1507.17 c 1505s | 19 | 3673540 | 537682 | 63523 17 | 1273 | 2627
1509.10/1509.45 c 1507s | 19 | 3679742 | 538482 | 63523 17 | 1273 | 2627
1511.11/1511.47 c 1509s | 19 | 3683897 | 539282 | 63523 17 | 1273 | 2627
1513.40/1513.75 c 1512s | 19 | 3688108 | 540082 | 63523 17 | 1273 | 2627
1515.50/1515.82 c 1514s | 19 | 3693326 | 540882 | 63523 17 | 1273 | 2627
1517.49/1517.83 c 1516s | 19 | 3698911 | 541582 | 63523 17 | 1273 | 2627
1519.59/1519.96 c 1518s | 19 | 3703547 | 542382 | 63523 17 | 1273 | 2627
1521.59/1521.99 c 1520s | 19 | 3709455 | 543182 | 63523 17 | 1273 | 2627
1523.69/1524.08 c 1522s | 19 | 3714021 | 544082 | 63523 17 | 1273 | 2627
1525.89/1526.27 c 1524s | 19 | 3721037 | 545082 | 63523 17 | 1273 | 2627
1528.09/1528.43 c 1526s | 19 | 3726257 | 545882 | 63523 17 | 1273 | 2627
1530.29/1530.68 c 1529s | 19 | 3731715 | 546582 | 63523 17 | 1273 | 2627
1532.49/1532.81 c 1531s | 19 | 3737926 | 547382 | 63523 17 | 1273 | 2627
1534.48/1534.89 c 1533s | 19 | 3741583 | 548182 | 63523 17 | 1273 | 2627
1536.78/1537.12 c 1535s | 19 | 3748426 | 548982 | 63523 17 | 1273 | 2627
1538.78/1539.12 c 1537s | 19 | 3754706 | 549782 | 63523 17 | 1273 | 2627
1540.79/1541.18 c 1539s | 19 | 3759425 | 550582 | 63523 17 | 1273 | 2627
1542.98/1543.35 c 1541s | 19 | 3765389 | 551382 | 63523 17 | 1273 | 2627
1545.07/1545.43 c 1543s | 19 | 3770094 | 552182 | 63523 17 | 1273 | 2627
1547.07/1547.49 c 1545s | 19 | 3776276 | 552882 | 63523 17 | 1273 | 2627
1549.27/1549.60 c 1548s | 19 | 3781730 | 553682 | 63523 17 | 1273 | 2627
1551.47/1551.84 c 1550s | 19 | 3786551 | 554482 | 63523 17 | 1273 | 2627
1553.77/1554.18 c 1552s | 19 | 3789131 | 555182 | 63523 17 | 1273 | 2627
1555.77/1556.20 c 1554s | 19 | 3792566 | 555682 | 63523 17 | 1273 | 2627
1557.97/1558.31 c 1556s | 19 | 3795664 | 556282 | 63523 17 | 1273 | 2627
1560.06/1560.41 c 1558s | 19 | 3798815 | 556882 | 63523 17 | 1273 | 2627
1562.16/1562.51 c 1560s | 19 | 3802089 | 557382 | 63523 17 | 1273 | 2627
1564.26/1564.68 c 1563s | 19 | 3806488 | 557982 | 63523 17 | 1273 | 2627
1566.46/1566.80 c 1565s | 19 | 3811229 | 558682 | 63523 17 | 1273 | 2627
1568.46/1568.81 c 1567s | 19 | 3815535 | 559282 | 63523 17 | 1273 | 2627
1570.66/1571.02 c 1569s | 19 | 3822578 | 560082 | 63523 17 | 1273 | 2627
1572.86/1573.25 c 1571s | 19 | 3826878 | 560782 | 63523 17 | 1273 | 2627
1575.16/1575.58 c 1574s | 19 | 3830862 | 561382 | 63523 17 | 1273 | 2627
1577.26/1577.68 c 1576s | 19 | 3835011 | 561982 | 63523 17 | 1273 | 2627
1579.66/1580.01 c 1578s | 19 | 3839075 | 562582 | 63523 17 | 1273 | 2627
1581.96/1582.33 c 1580s | 19 | 3844443 | 563282 | 63523 17 | 1273 | 2627
1584.16/1584.58 c 1583s | 19 | 3850666 | 564082 | 63523 17 | 1273 | 2627
1586.26/1586.62 c 1585s | 19 | 3855562 | 564882 | 63523 17 | 1273 | 2627
1588.36/1588.78 c 1587s | 19 | 3857701 | 565282 | 63523 18 | 1273 | 2627
1590.76/1591.10 c 1589s | 19 | 3863280 | 566082 | 63523 18 | 1273 | 2627
1592.95/1593.30 c 1591s | 19 | 3868824 | 566982 | 63523 18 | 1273 | 2627
1595.05/1595.45 c 1593s | 19 | 3874988 | 567882 | 63523 18 | 1273 | 2627
1597.25/1597.64 c 1596s | 19 | 3880253 | 568782 | 63523 18 | 1273 | 2627
1599.45/1599.83 c 1598s | 19 | 3886063 | 569682 | 63523 18 | 1273 | 2627
1604.55/1604.93 c 1603s | 19 | 3890947 | 570382 | 63523 18 | 1273 | 2627
1606.65/1607.00 c 1605s | 19 | 3895908 | 571382 | 63523 18 | 1273 | 2627
1608.75/1609.16 c 1607s | 19 | 3902706 | 572382 | 63523 18 | 1273 | 2627
1610.85/1611.26 c 1609s | 19 | 3909606 | 573282 | 63523 18 | 1273 | 2627
1612.94/1613.35 c 1611s | 19 | 3914017 | 574082 | 63523 18 | 1273 | 2627
1614.94/1615.38 c 1613s | 19 | 3918560 | 574882 | 63523 18 | 1273 | 2627
1617.04/1617.43 c 1615s | 19 | 3922157 | 575582 | 63523 18 | 1273 | 2627
1619.24/1619.66 c 1618s | 19 | 3927394 | 576382 | 63523 18 | 1273 | 2627
1622.83/1623.25 c 1621s | 19 | 3928153 | 576482 | 63523 18 | 1273 | 2627
1624.93/1625.31 c 1623s | 19 | 3933268 | 577182 | 63523 18 | 1273 | 2627
1627.03/1627.40 c 1625s | 19 | 3937442 | 577882 | 63523 18 | 1273 | 2627
1629.13/1629.59 c 1628s | 19 | 3942965 | 578682 | 63523 18 | 1273 | 2627
1631.43/1631.86 c 1630s | 19 | 3947207 | 579382 | 63523 18 | 1273 | 2627
1633.63/1634.02 c 1632s | 19 | 3950864 | 580082 | 63523 18 | 1273 | 2627
1635.73/1636.10 c 1634s | 19 | 3955466 | 580882 | 63523 18 | 1273 | 2627
1637.93/1638.39 c 1636s | 19 | 3959852 | 581682 | 63523 18 | 1273 | 2627
1640.02/1640.48 c 1638s | 19 | 3963716 | 582182 | 63523 18 | 1273 | 2627
1642.03/1642.49 c 1640s | 19 | 3967346 | 582682 | 63523 18 | 1273 | 2627
1644.13/1644.55 c 1643s | 19 | 3973427 | 583282 | 63523 18 | 1273 | 2627
1646.33/1646.73 c 1645s | 19 | 3978102 | 583982 | 63523 18 | 1273 | 2627
1648.53/1648.94 c 1647s | 19 | 3981870 | 584682 | 63523 18 | 1273 | 2627
1650.83/1651.24 c 1649s | 19 | 3986608 | 585282 | 63523 18 | 1273 | 2627
1653.11/1653.52 c 1651s | 19 | 3991433 | 585882 | 63523 18 | 1273 | 2627
1655.41/1655.83 c 1654s | 19 | 3997211 | 586582 | 63523 18 | 1273 | 2627
1657.42/1657.84 c 1656s | 19 | 4000628 | 587182 | 63523 18 | 1273 | 2627
1659.72/1660.19 c 1658s | 19 | 4003840 | 587882 | 63523 18 | 1273 | 2627
1661.92/1662.36 c 1660s | 19 | 4008883 | 588482 | 63523 18 | 1273 | 2627
1664.12/1664.54 c 1663s | 19 | 4014309 | 589082 | 63523 18 | 1273 | 2627
1666.32/1666.71 c 1665s | 19 | 4018733 | 589782 | 63523 18 | 1273 | 2627
1668.52/1668.93 c 1667s | 19 | 4022989 | 590382 | 63523 18 | 1273 | 2627
1670.72/1671.11 c 1669s | 19 | 4025432 | 590882 | 63523 18 | 1273 | 2627
1673.01/1673.43 c 1671s | 19 | 4029029 | 591482 | 63523 18 | 1273 | 2627
1675.31/1675.75 c 1674s | 19 | 4031772 | 592082 | 63523 18 | 1273 | 2627
1677.41/1677.84 c 1676s | 19 | 4034659 | 592582 | 63523 18 | 1273 | 2627
1679.51/1679.97 c 1678s | 19 | 4038700 | 593182 | 63523 18 | 1273 | 2627
1681.81/1682.22 c 1680s | 19 | 4042126 | 593782 | 63523 18 | 1273 | 2627
1684.11/1684.51 c 1682s | 19 | 4045851 | 594382 | 63523 18 | 1273 | 2627
1686.21/1686.69 c 1685s | 19 | 4050262 | 595082 | 63523 18 | 1273 | 2627
1688.41/1688.88 c 1687s | 19 | 4053470 | 595782 | 63523 18 | 1273 | 2627
1690.61/1691.03 c 1689s | 19 | 4056938 | 596382 | 63523 18 | 1273 | 2627
1692.90/1693.38 c 1691s | 19 | 4060240 | 597082 | 63523 18 | 1273 | 2627
1695.10/1695.54 c 1694s | 19 | 4064079 | 597682 | 63523 18 | 1273 | 2627
1697.30/1697.76 c 1696s | 19 | 4068813 | 598382 | 63523 18 | 1273 | 2627
1699.60/1700.02 c 1698s | 19 | 4072178 | 599082 | 63523 18 | 1273 | 2627
1701.80/1702.22 c 1700s | 19 | 4076685 | 599682 | 63523 18 | 1273 | 2627
1704.20/1704.68 c 1703s | 19 | 4081120 | 600282 | 63523 19 | 1273 | 2627
1706.40/1706.89 c 1705s | 19 | 4086899 | 601282 | 63523 19 | 1273 | 2627
1708.60/1709.05 c 1707s | 19 | 4092480 | 602182 | 63523 19 | 1273 | 2627
1710.79/1711.20 c 1709s | 19 | 4099290 | 603082 | 63523 19 | 1273 | 2627
1712.79/1713.26 c 1711s | 19 | 4104298 | 603982 | 63523 19 | 1273 | 2627
1717.29/1717.76 c 1716s | 19 | 4108230 | 604782 | 63523 19 | 1273 | 2627
1719.39/1719.88 c 1718s | 19 | 4112589 | 605582 | 63523 19 | 1273 | 2627
1721.59/1722.02 c 1720s | 19 | 4117272 | 606382 | 63523 19 | 1273 | 2627
1723.89/1724.34 c 1722s | 19 | 4121034 | 607282 | 63523 19 | 1273 | 2627
1725.99/1726.45 c 1724s | 19 | 4124985 | 607982 | 63523 19 | 1273 | 2627
1728.09/1728.53 c 1727s | 19 | 4128407 | 608682 | 63523 19 | 1273 | 2627
1730.19/1730.64 c 1729s | 19 | 4133435 | 609582 | 63523 19 | 1273 | 2627
1732.39/1732.81 c 1731s | 19 | 4137484 | 610382 | 63523 19 | 1273 | 2627
1734.49/1734.91 c 1733s | 19 | 4143309 | 611282 | 63523 19 | 1273 | 2627
1740.28/1740.70 c 1739s | 19 | 4147719 | 612182 | 63523 19 | 1273 | 2627
1742.38/1742.85 c 1741s | 19 | 4150518 | 612582 | 63523 19 | 1273 | 2627
1744.48/1744.94 c 1743s | 19 | 4156101 | 613382 | 63523 19 | 1273 | 2627
1746.58/1747.10 c 1745s | 19 | 4160734 | 614182 | 63523 19 | 1273 | 2627
1748.69/1749.19 c 1747s | 19 | 4166434 | 614982 | 63523 19 | 1273 | 2627
1750.98/1751.42 c 1749s | 19 | 4171591 | 615782 | 63523 19 | 1273 | 2627
1752.99/1753.47 c 1751s | 19 | 4175576 | 616582 | 63523 19 | 1273 | 2627
1755.08/1755.52 c 1754s | 19 | 4180371 | 617382 | 63523 19 | 1273 | 2627
1757.18/1757.63 c 1756s | 19 | 4184737 | 618282 | 63523 19 | 1273 | 2627
1759.18/1759.66 c 1758s | 19 | 4190959 | 619082 | 63523 19 | 1273 | 2627
1761.38/1761.80 c 1760s | 19 | 4193590 | 619882 | 63523 19 | 1273 | 2627
1763.57/1764.01 c 1762s | 19 | 4199090 | 620582 | 63523 19 | 1273 | 2627
1765.77/1766.22 c 1764s | 19 | 4204906 | 621382 | 63523 19 | 1273 | 2627
1767.87/1768.38 c 1766s | 19 | 4209109 | 622182 | 63523 19 | 1273 | 2627
1769.97/1770.40 c 1768s | 19 | 4212775 | 622882 | 63523 19 | 1273 | 2627
1772.07/1772.56 c 1771s | 19 | 4216081 | 623382 | 63523 19 | 1273 | 2627
1774.17/1774.61 c 1773s | 19 | 4222068 | 624082 | 63523 19 | 1273 | 2627
1776.27/1776.74 c 1775s | 19 | 4225920 | 624782 | 63523 19 | 1273 | 2627
1778.27/1778.79 c 1777s | 19 | 4232027 | 625582 | 63523 19 | 1273 | 2627
1780.47/1780.98 c 1779s | 19 | 4236852 | 626282 | 63523 19 | 1273 | 2627
1782.57/1783.05 c 1781s | 19 | 4240279 | 626982 | 63523 19 | 1273 | 2627
1785.06/1785.52 c 1784s | 19 | 4243052 | 627682 | 63523 19 | 1273 | 2627
1787.36/1787.89 c 1786s | 19 | 4246136 | 628182 | 63523 19 | 1273 | 2627
1789.66/1790.19 c 1788s | 19 | 4250993 | 628782 | 63523 19 | 1273 | 2627
1791.86/1792.32 c 1790s | 19 | 4254406 | 629282 | 63523 19 | 1273 | 2627
1793.86/1794.39 c 1792s | 19 | 4258479 | 629982 | 63523 19 | 1273 | 2627
1795.97/1796.49 c 1794s | 19 | 4260895 | 630682 | 63523 19 | 1273 | 2627
1798.17/1798.68 c 1797s | 19 | 4264694 | 631282 | 63523 19 | 1273 | 2627
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-4079849-1465250036/watcher-4079849-1465250036 -o /tmp/evaluation-result-4079849-1465250036/solver-4079849-1465250036 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31671 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079849-1465250036.opb
pid=2248
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.29 2.27 2.26 4/180 2251
/proc/meminfo: memFree=29223660/32872528 swapFree=17892/1720544
[pid=2251] ppid=2248 vsize=805308 CPUtime=0 cores=0,2,4,6
/proc/2251/stat : 2251 (toysat) R 2248 2251 31655 0 -1 4202496 3022 0 0 0 0 0 0 0 20 0 4 0 106936730 824635392 2872 33554432000 4194304 16246674 140737486984224 140737486983648 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2251/statm: 202095 2882 441 2943 0 198989 0
[pid=2251/tid=2252] ppid=2248 vsize=850364 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2252/stat : 2252 (toysat) S 2248 2251 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106936730 870772736 3048 33554432000 4194304 16246674 140737486984224 139888413355248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2251/tid=2253] ppid=2248 vsize=855484 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2253/stat : 2253 (toysat) S 2248 2251 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936730 876015616 3067 33554432000 4194304 16246674 140737486984224 139888402865392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2251/tid=2254] ppid=2248 vsize=860604 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2254/stat : 2254 (toysat) S 2248 2251 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106936730 881258496 3084 33554432000 4194304 16246674 140737486984224 139888392391856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[startup+0.100167 s]
/proc/loadavg: 2.29 2.27 2.26 4/180 2251
/proc/meminfo: memFree=29223660/32872528 swapFree=17892/1720544
[pid=2251] ppid=2248 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/2251/stat : 2251 (toysat) R 2248 2251 31655 0 -1 4202496 28228 0 0 0 6 3 0 0 20 0 4 0 106936730 1333334016 28017 33554432000 4194304 16246674 140737486984224 140737486983536 8058796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2251/statm: 325521 28031 800 2943 0 322415 0
[pid=2251/tid=2252] ppid=2248 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2252/stat : 2252 (toysat) S 2248 2251 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106936730 1333334016 28042 33554432000 4194304 16246674 140737486984224 139888413355248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2251/tid=2253] ppid=2248 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2253/stat : 2253 (toysat) S 2248 2251 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936730 1333334016 28053 33554432000 4194304 16246674 140737486984224 139888402865392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2251/tid=2254] ppid=2248 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2254/stat : 2254 (toysat) S 2248 2251 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106936730 1333334016 28064 33554432000 4194304 16246674 140737486984224 139888392391856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084
[startup+0.200501 s]
/proc/loadavg: 2.29 2.27 2.26 4/180 2251
/proc/meminfo: memFree=29223660/32872528 swapFree=17892/1720544
[pid=2251] ppid=2248 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/2251/stat : 2251 (toysat) R 2248 2251 31655 0 -1 4202496 48223 0 0 0 13 6 0 0 20 0 4 0 106936730 1342771200 48011 33554432000 4194304 16246674 140737486984224 140737486983536 6975928 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2251/statm: 327825 48011 832 2943 0 324719 0
[pid=2251/tid=2252] ppid=2248 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2252/stat : 2252 (toysat) S 2248 2251 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106936730 1342771200 48011 33554432000 4194304 16246674 140737486984224 139888413355248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2251/tid=2253] ppid=2248 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2253/stat : 2253 (toysat) S 2248 2251 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936730 1342771200 48011 33554432000 4194304 16246674 140737486984224 139888402865392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2251/tid=2254] ppid=2248 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2254/stat : 2254 (toysat) S 2248 2251 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106936730 1342771200 48011 33554432000 4194304 16246674 140737486984224 139888392391856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300
[startup+0.300489 s]
/proc/loadavg: 2.29 2.27 2.26 4/180 2251
/proc/meminfo: memFree=29223660/32872528 swapFree=17892/1720544
[pid=2251] ppid=2248 vsize=1311300 CPUtime=0.29 cores=0,2,4,6
/proc/2251/stat : 2251 (toysat) R 2248 2251 31655 0 -1 4202496 48225 0 0 0 23 6 0 0 20 0 4 0 106936730 1342771200 48013 33554432000 4194304 16246674 140737486984224 140737486983536 13008217 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2251/statm: 327825 48013 832 2943 0 324719 0
[pid=2251/tid=2252] ppid=2248 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2252/stat : 2252 (toysat) S 2248 2251 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106936730 1342771200 48013 33554432000 4194304 16246674 140737486984224 139888413355248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2251/tid=2253] ppid=2248 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2253/stat : 2253 (toysat) S 2248 2251 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936730 1342771200 48013 33554432000 4194304 16246674 140737486984224 139888402865392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2251/tid=2254] ppid=2248 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2254/stat : 2254 (toysat) S 2248 2251 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106936730 1342771200 48013 33554432000 4194304 16246674 140737486984224 139888392391856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300
[startup+0.700402 s]
/proc/loadavg: 2.29 2.27 2.26 4/180 2251
/proc/meminfo: memFree=29223660/32872528 swapFree=17892/1720544
[pid=2251] ppid=2248 vsize=1316420 CPUtime=0.69 cores=0,2,4,6
/proc/2251/stat : 2251 (toysat) R 2248 2251 31655 0 -1 4202496 79642 0 0 0 60 9 0 0 20 0 4 0 106936730 1348014080 79430 33554432000 4194304 16246674 140737486984224 140737486966144 6074720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2251/statm: 329105 79430 896 2943 0 325999 0
[pid=2251/tid=2252] ppid=2248 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2252/stat : 2252 (toysat) S 2248 2251 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106936730 1348014080 79430 33554432000 4194304 16246674 140737486984224 139888413355248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2251/tid=2253] ppid=2248 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2253/stat : 2253 (toysat) S 2248 2251 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936730 1348014080 79430 33554432000 4194304 16246674 140737486984224 139888402865392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2251/tid=2254] ppid=2248 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2254/stat : 2254 (toysat) S 2248 2251 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106936730 1348014080 79430 33554432000 4194304 16246674 140737486984224 139888392391856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1316420
[startup+1.50038 s]
/proc/loadavg: 2.29 2.27 2.26 3/184 2255
/proc/meminfo: memFree=28907404/32872528 swapFree=17892/1720544
[pid=2251] ppid=2248 vsize=1316420 CPUtime=1.49 cores=0,2,4,6
/proc/2251/stat : 2251 (toysat) R 2248 2251 31655 0 -1 4202496 149515 0 0 0 131 18 0 0 20 0 4 0 106936730 1348014080 149303 33554432000 4194304 16246674 140737486984224 140737486966144 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2251/statm: 329105 149307 906 2943 0 325999 0
[pid=2251/tid=2252] ppid=2248 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2252/stat : 2252 (toysat) S 2248 2251 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106936730 1348014080 149310 33554432000 4194304 16246674 140737486984224 139888413355248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2251/tid=2253] ppid=2248 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2253/stat : 2253 (toysat) S 2248 2251 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936730 1348014080 149313 33554432000 4194304 16246674 140737486984224 139888402865392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2251/tid=2254] ppid=2248 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2254/stat : 2254 (toysat) S 2248 2251 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106936730 1348014080 149316 33554432000 4194304 16246674 140737486984224 139888392391856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1316420
[startup+3.10039 s]
/proc/loadavg: 2.27 2.26 2.26 3/184 2255
/proc/meminfo: memFree=28613772/32872528 swapFree=17892/1720544
[pid=2251] ppid=2248 vsize=1316420 CPUtime=3.09 cores=0,2,4,6
/proc/2251/stat : 2251 (toysat) R 2248 2251 31655 0 -1 4202496 255925 0 0 0 276 33 0 0 20 0 4 0 106936730 1348014080 255713 33554432000 4194304 16246674 140737486984224 140737486966144 5711820 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2251/statm: 329105 255715 906 2943 0 325999 0
[pid=2251/tid=2252] ppid=2248 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2252/stat : 2252 (toysat) S 2248 2251 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106936730 1348014080 255716 33554432000 4194304 16246674 140737486984224 139888413355248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2251/tid=2253] ppid=2248 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2253/stat : 2253 (toysat) S 2248 2251 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936730 1348014080 255717 33554432000 4194304 16246674 140737486984224 139888402865392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2251/tid=2254] ppid=2248 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2254/stat : 2254 (toysat) S 2248 2251 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106936730 1348014080 255718 33554432000 4194304 16246674 140737486984224 139888392391856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1316420
[startup+6.30041 s]
/proc/loadavg: 2.27 2.26 2.26 3/183 2255
/proc/meminfo: memFree=28144076/32872528 swapFree=17892/1720544
[pid=2251] ppid=2248 vsize=1316420 CPUtime=6.29 cores=0,2,4,6
/proc/2251/stat : 2251 (toysat) R 2248 2251 31655 0 -1 4202496 270311 0 0 0 594 35 0 0 20 0 4 0 106936730 1348014080 270099 33554432000 4194304 16246674 140737486984224 140737486966144 12477817 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2251/statm: 329105 270099 908 2943 0 325999 0
[pid=2251/tid=2252] ppid=2248 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2252/stat : 2252 (toysat) S 2248 2251 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106936730 1348014080 270099 33554432000 4194304 16246674 140737486984224 139888413355248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2251/tid=2253] ppid=2248 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2253/stat : 2253 (toysat) S 2248 2251 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936730 1348014080 270099 33554432000 4194304 16246674 140737486984224 139888402865392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2251/tid=2254] ppid=2248 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2254/stat : 2254 (toysat) S 2248 2251 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106936730 1348014080 270099 33554432000 4194304 16246674 140737486984224 139888392391856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1316420
[startup+12.7004 s]
/proc/loadavg: 2.39 2.29 2.27 4/183 2255
/proc/meminfo: memFree=28143736/32872528 swapFree=17892/1720544
[pid=2251] ppid=2248 vsize=1316420 CPUtime=12.69 cores=0,2,4,6
/proc/2251/stat : 2251 (toysat) R 2248 2251 31655 0 -1 4202496 270311 0 0 0 1234 35 0 0 20 0 4 0 106936730 1348014080 270099 33554432000 4194304 16246674 140737486984224 140737486966144 5675216 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2251/statm: 329105 270099 908 2943 0 325999 0
[pid=2251/tid=2252] ppid=2248 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2252/stat : 2252 (toysat) S 2248 2251 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106936730 1348014080 270099 33554432000 4194304 16246674 140737486984224 139888413355248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2251/tid=2253] ppid=2248 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2253/stat : 2253 (toysat) S 2248 2251 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936730 1348014080 270099 33554432000 4194304 16246674 140737486984224 139888402865392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2251/tid=2254] ppid=2248 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2254/stat : 2254 (toysat) S 2248 2251 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106936730 1348014080 270099 33554432000 4194304 16246674 140737486984224 139888392391856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1316420
[startup+25.5005 s]
/proc/loadavg: 2.33 2.28 2.26 3/183 2255
/proc/meminfo: memFree=28144376/32872528 swapFree=17892/1720544
[pid=2251] ppid=2248 vsize=1316420 CPUtime=25.48 cores=0,2,4,6
/proc/2251/stat : 2251 (toysat) R 2248 2251 31655 0 -1 4202496 270315 0 0 0 2513 35 0 0 20 0 4 0 106936730 1348014080 270103 33554432000 4194304 16246674 140737486984224 140737486966144 13780660 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2251/statm: 329105 270103 912 2943 0 325999 0
[pid=2251/tid=2252] ppid=2248 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2252/stat : 2252 (toysat) S 2248 2251 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106936730 1348014080 270103 33554432000 4194304 16246674 140737486984224 139888413355248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2251/tid=2253] ppid=2248 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2253/stat : 2253 (toysat) S 2248 2251 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936730 1348014080 270103 33554432000 4194304 16246674 140737486984224 139888402865392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2251/tid=2254] ppid=2248 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2254/stat : 2254 (toysat) S 2248 2251 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106936730 1348014080 270103 33554432000 4194304 16246674 140737486984224 139888392391856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1316420
[startup+51.1005 s]
/proc/loadavg: 2.28 2.27 2.26 3/183 2255
/proc/meminfo: memFree=28144052/32872528 swapFree=17892/1720544
[pid=2251] ppid=2248 vsize=1316420 CPUtime=51.08 cores=0,2,4,6
/proc/2251/stat : 2251 (toysat) R 2248 2251 31655 0 -1 4202496 270315 0 0 0 5073 35 0 0 20 0 4 0 106936730 1348014080 270103 33554432000 4194304 16246674 140737486984224 140737486966144 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2251/statm: 329105 270103 912 2943 0 325999 0
[pid=2251/tid=2252] ppid=2248 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2252/stat : 2252 (toysat) S 2248 2251 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106936730 1348014080 270103 33554432000 4194304 16246674 140737486984224 139888413355248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2251/tid=2253] ppid=2248 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2253/stat : 2253 (toysat) S 2248 2251 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936730 1348014080 270103 33554432000 4194304 16246674 140737486984224 139888402865392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2251/tid=2254] ppid=2248 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2254/stat : 2254 (toysat) S 2248 2251 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106936730 1348014080 270103 33554432000 4194304 16246674 140737486984224 139888392391856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1316420
[startup+102.3 s]
/proc/loadavg: 2.34 2.28 2.27 4/183 2256
/proc/meminfo: memFree=28131544/32872528 swapFree=17892/1720544
[pid=2251] ppid=2248 vsize=1328708 CPUtime=102.28 cores=0,2,4,6
/proc/2251/stat : 2251 (toysat) R 2248 2251 31655 0 -1 4202496 273310 0 0 0 10192 36 0 0 20 0 4 0 106936730 1360596992 273098 33554432000 4194304 16246674 140737486984224 140737486966144 6012285 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2251/statm: 332177 273098 914 2943 0 329071 0
[pid=2251/tid=2252] ppid=2248 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2252/stat : 2252 (toysat) S 2248 2251 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106936730 1360596992 273098 33554432000 4194304 16246674 140737486984224 139888413355248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2251/tid=2253] ppid=2248 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2253/stat : 2253 (toysat) S 2248 2251 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936730 1360596992 273098 33554432000 4194304 16246674 140737486984224 139888402865392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2251/tid=2254] ppid=2248 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2254/stat : 2254 (toysat) S 2248 2251 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106936730 1360596992 273098 33554432000 4194304 16246674 140737486984224 139888392391856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1328708
################
# More data... #
################
/proc/2251/task/2254/stat : 2254 (toysat) S 2248 2251 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287258 33554432000 4194304 16246674 140737486984224 139888392391856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1385028
[startup+1362.3 s]
/proc/loadavg: 2.21 2.21 2.20 3/183 2309
/proc/meminfo: memFree=27992776/32872528 swapFree=17892/1720544
[pid=2251] ppid=2248 vsize=1385028 CPUtime=1362.07 cores=0,2,4,6
/proc/2251/stat : 2251 (toysat) R 2248 2251 31655 0 -1 4202496 287493 0 0 0 136159 48 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 140737486966144 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2251/statm: 346257 287514 915 2943 0 343151 0
[pid=2251/tid=2252] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2252/stat : 2252 (toysat) S 2248 2251 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888413355248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2251/tid=2253] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2253/stat : 2253 (toysat) S 2248 2251 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888402865392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2251/tid=2254] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2254/stat : 2254 (toysat) S 2248 2251 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888392391856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1385028
[startup+1422.3 s]
/proc/loadavg: 2.22 2.21 2.20 4/183 2311
/proc/meminfo: memFree=27992528/32872528 swapFree=17892/1720544
[pid=2251] ppid=2248 vsize=1385028 CPUtime=1422.05 cores=0,2,4,6
/proc/2251/stat : 2251 (toysat) R 2248 2251 31655 0 -1 4202496 287514 0 0 0 142157 48 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 140737486966144 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2251/statm: 346257 287514 915 2943 0 343151 0
[pid=2251/tid=2252] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2252/stat : 2252 (toysat) S 2248 2251 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888413355248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2251/tid=2253] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2253/stat : 2253 (toysat) S 2248 2251 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888402865392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2251/tid=2254] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2254/stat : 2254 (toysat) S 2248 2251 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888392391856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1385028
[startup+1482.3 s]
/proc/loadavg: 2.23 2.21 2.19 3/183 2312
/proc/meminfo: memFree=27992560/32872528 swapFree=17892/1720544
[pid=2251] ppid=2248 vsize=1385028 CPUtime=1482.01 cores=0,2,4,6
/proc/2251/stat : 2251 (toysat) R 2248 2251 31655 0 -1 4202496 287549 0 0 0 148153 48 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 140737486966144 5711369 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2251/statm: 346257 287514 915 2943 0 343151 0
[pid=2251/tid=2252] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2252/stat : 2252 (toysat) S 2248 2251 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888413355248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2251/tid=2253] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2253/stat : 2253 (toysat) S 2248 2251 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888402865392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2251/tid=2254] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2254/stat : 2254 (toysat) S 2248 2251 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888392391856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 1385028
[startup+1542.31 s]
/proc/loadavg: 2.26 2.21 2.19 3/183 2313
/proc/meminfo: memFree=27992248/32872528 swapFree=17892/1720544
[pid=2251] ppid=2248 vsize=1385028 CPUtime=1541.99 cores=0,2,4,6
/proc/2251/stat : 2251 (toysat) R 2248 2251 31655 0 -1 4202496 287596 0 0 0 154149 50 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 140737486966144 12478799 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2251/statm: 346257 287514 915 2943 0 343151 0
[pid=2251/tid=2252] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2252/stat : 2252 (toysat) S 2248 2251 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888413355248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2251/tid=2253] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2253/stat : 2253 (toysat) S 2248 2251 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888402865392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2251/tid=2254] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2254/stat : 2254 (toysat) S 2248 2251 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888392391856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 1385028
[startup+1602.3 s]
/proc/loadavg: 2.33 2.23 2.19 3/184 2317
/proc/meminfo: memFree=27992388/32872528 swapFree=17892/1720544
[pid=2251] ppid=2248 vsize=1385028 CPUtime=1601.95 cores=0,2,4,6
/proc/2251/stat : 2251 (toysat) R 2248 2251 31655 0 -1 4202496 287626 0 0 0 160145 50 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 140737486982016 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2251/statm: 346257 287514 915 2943 0 343151 0
[pid=2251/tid=2252] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2252/stat : 2252 (toysat) S 2248 2251 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888413355248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2251/tid=2253] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2253/stat : 2253 (toysat) S 2248 2251 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888402865392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2251/tid=2254] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2254/stat : 2254 (toysat) S 2248 2251 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888392391856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1385028
[startup+1662.3 s]
/proc/loadavg: 2.24 2.22 2.19 3/183 2318
/proc/meminfo: memFree=27992312/32872528 swapFree=17892/1720544
[pid=2251] ppid=2248 vsize=1385028 CPUtime=1661.92 cores=0,2,4,6
/proc/2251/stat : 2251 (toysat) R 2248 2251 31655 0 -1 4202496 287660 0 0 0 166141 51 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 140737486966144 5712004 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2251/statm: 346257 287514 915 2943 0 343151 0
[pid=2251/tid=2252] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2252/stat : 2252 (toysat) S 2248 2251 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888413355248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2251/tid=2253] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2253/stat : 2253 (toysat) S 2248 2251 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888402865392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2251/tid=2254] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2254/stat : 2254 (toysat) S 2248 2251 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888392391856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1385028
[startup+1722.3 s]
/proc/loadavg: 2.33 2.24 2.19 4/183 2369
/proc/meminfo: memFree=28073616/32872528 swapFree=17892/1720544
[pid=2251] ppid=2248 vsize=1385028 CPUtime=1721.89 cores=0,2,4,6
/proc/2251/stat : 2251 (toysat) R 2248 2251 31655 0 -1 4202496 287694 0 0 0 172138 51 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 140737486966144 13780585 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2251/statm: 346257 287514 915 2943 0 343151 0
[pid=2251/tid=2252] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2252/stat : 2252 (toysat) S 2248 2251 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888413355248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2251/tid=2253] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2253/stat : 2253 (toysat) S 2248 2251 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888402865392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2251/tid=2254] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2254/stat : 2254 (toysat) S 2248 2251 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888392391856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1385028
[startup+1782.3 s]
/proc/loadavg: 2.31 2.25 2.19 3/183 2370
/proc/meminfo: memFree=28072988/32872528 swapFree=17892/1720544
[pid=2251] ppid=2248 vsize=1385028 CPUtime=1781.87 cores=0,2,4,6
/proc/2251/stat : 2251 (toysat) R 2248 2251 31655 0 -1 4202496 287717 0 0 0 178136 51 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 140737486966144 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2251/statm: 346257 287514 915 2943 0 343151 0
[pid=2251/tid=2252] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2252/stat : 2252 (toysat) S 2248 2251 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888413355248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2251/tid=2253] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2253/stat : 2253 (toysat) S 2248 2251 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888402865392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2251/tid=2254] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2254/stat : 2254 (toysat) S 2248 2251 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888392391856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1385028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.24 2.24 2.19 3/183 2370
/proc/meminfo: memFree=28072964/32872528 swapFree=17892/1720544
[pid=2251] ppid=2248 vsize=1385028 CPUtime=1800.06 cores=0,2,4,6
/proc/2251/stat : 2251 (toysat) R 2248 2251 31655 0 -1 4202496 287724 0 0 0 179955 51 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 140737486966144 6012041 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2251/statm: 346257 287514 915 2943 0 343151 0
[pid=2251/tid=2252] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2252/stat : 2252 (toysat) S 2248 2251 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888413355248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2251/tid=2253] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2253/stat : 2253 (toysat) S 2248 2251 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888402865392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2251/tid=2254] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2254/stat : 2254 (toysat) S 2248 2251 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888392391856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1385028
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 2251 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.24 2.24 2.19 3/183 2370
/proc/meminfo: memFree=28072964/32872528 swapFree=17892/1720544
[pid=2251] ppid=2248 vsize=1385028 CPUtime=1800.06 cores=0,2,4,6
/proc/2251/stat : 2251 (toysat) R 2248 2251 31655 0 -1 4202496 287724 0 0 0 179955 51 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 140737486966144 6012041 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2251/statm: 346257 287514 915 2943 0 343151 0
[pid=2251/tid=2252] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2252/stat : 2252 (toysat) S 2248 2251 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888413355248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2251/tid=2253] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2253/stat : 2253 (toysat) S 2248 2251 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888402865392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2251/tid=2254] ppid=2248 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2251/task/2254/stat : 2254 (toysat) S 2248 2251 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106936730 1418268672 287514 33554432000 4194304 16246674 140737486984224 139888392391856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1385028
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.1
CPU user time (s): 1799.56
CPU system time (s): 0.535918
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 1385028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.535918
maximum resident set size= 1150056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287724
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= 271
involuntary context switches= 1845
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.21206 second user time and 9.64453 second system time
The end