0.00/0.00 c 2016-06-07T08:37:09+0200
0.00/0.00 c version = 0.5.0
0.00/0.00 c githash = 1a49202
0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00 c arch = x86_64
0.00/0.00 c os = linux
0.00/0.00 c compiler = ghc 7.10
0.00/0.00 c packages:
0.00/0.00 c OptDir-0.0.3
0.00/0.00 c array-0.5.1.0
0.00/0.00 c base-4.8.2.0
0.00/0.00 c bytestring-0.10.6.0
0.00/0.00 c bytestring-builder-0.10.6.0.0
0.00/0.00 c clock-0.7.2
0.00/0.00 c containers-0.5.6.2
0.00/0.00 c data-default-0.5.3
0.00/0.00 c data-default-class-0.0.1
0.00/0.00 c data-interval-1.2.0
0.00/0.00 c deepseq-1.4.1.1
0.00/0.00 c directory-1.2.2.0
0.00/0.00 c exceptions-0.8.2.1
0.00/0.00 c extended-reals-0.2.1.0
0.00/0.00 c filepath-1.4.0.0
0.00/0.00 c finite-field-0.8.0
0.00/0.00 c hashable-1.2.4.0
0.00/0.00 c heaps-0.3.3
0.00/0.00 c intern-0.9.1.4
0.00/0.00 c loop-0.3.0
0.00/0.00 c mtl-2.2.1
0.00/0.00 c multiset-0.3.2
0.00/0.00 c mwc-random-0.13.3.2
0.00/0.00 c parse_dimacs-1.3
0.00/0.00 c parsec-3.1.9
0.00/0.00 c prettyclass-1.0.0.0
0.00/0.00 c primes-0.2.1.0
0.00/0.00 c primitive-0.6.1.0
0.00/0.00 c process-1.2.3.0
0.00/0.00 c pseudo-boolean-0.1.3.0
0.00/0.01 c queue-0.1.2
0.00/0.01 c semigroups-0.18.1
0.00/0.01 c sign-0.4.3
0.00/0.01 c stm-2.4.4.1
0.00/0.01 c template-haskell-2.10.0.0
0.00/0.01 c temporary-1.2.0.4
0.00/0.01 c time-1.5.0.1
0.00/0.01 c transformers-0.4.2.0
0.00/0.01 c transformers-compat-0.5.1.4
0.00/0.01 c type-level-numbers-0.1.1.1
0.00/0.01 c unbounded-delays-0.1.0.9
0.00/0.01 c unordered-containers-0.2.6.0
0.00/0.01 c vector-0.11.0.0
0.00/0.01 c vector-space-0.10.3
0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4080020-1465281429.opb"]
0.00/0.01 c use --random-gen="1851236904 1828862726 2180936226 1198750103 2345314697 1315633656 310135483 1618169752 2298274034 4048893983 1561194690 3088469186 711111671 851594 3769034828 2722932238 2369346085 2447394339 1590594024 3453428980 1865817670 1308353549 2126586277 1358548149 2645286084 681452922 319218880 4156232856 3279867923 1681982631 3971553946 625682128 3646407288 1053183103 2475749816 408366685 2282178387 3590388694 365255590 3862831067 1124632297 1083974973 2782072594 2724781436 1980313982 2781938685 2206616026 551096758 1282206479 824399364 343941293 343430794 711789789 617181605 237128686 535294463 2467634612 2640025244 2573557852 3429777232 2161744581 71759958 4147722049 1453553306 2710204594 3114849794 388481628 3007799643 775580597 3214817556 3115114745 15223376 3654504698 2498269376 3683815796 3586343113 3731289918 867436783 964564080 2907427292 143157820 3724356264 1080620191 1364049459 2174447092 1800625091 3305030149 2692392421 1125287047 3926251070 3090303567 1487545070 3858305022 3402227607 2650968655 1394530796 2128781366 3302096840 1071426339 2041446442 2029183441 3396503287 2441383942 1408797481 2412729501 4067353445 755846259 430032086 1962625399 4066129188 888733405 2996340150 2526202974 4139704801 3041236080 431165419 3843284502 387651172 1535820786 2738185209 4172758102 3245060778 964113663 1814775351 1847527746 1102558850 1343228345 1950710022 837144828 2206391622 2149408512 2781980474 4020434597 1075075222 2264874858 289714999 4219413637 338556822 1101692238 1860868148 2622901030 2556847807 2549043210 1400120589 480851357 446608870 4239810207 1706925495 1344544520 2660713518 3494863532 214093142 816334711 631174690 429603042 2046630223 2457180730 2809568599 3549920599 3722430328 3324818411 644522365 1659947607 2505372788 3783364715 4215153236 3567284137 2545562761 1367501323 2243210230 2793010596 3706592986 3525466458 1435869067 3205274732 186015038 156260461 3339032104 4131209764 3304913495 1152193126 4277392221 1254782342 554493439 459030775 3728966579 3869575625 1215541923 419662918 4219942375 1612083850 2316496292 2425867776 677637874 2553117080 4291389452 4094450093 2075092757 4131402042 2619889956 2601625410 3224028215 3512766775 3510989113 1439659019 1875916836 536750928 1308432974 3602739652 1170848117 2341479858 3160056840 48516063 2505128542 3223972164 886076597 3205440291 1195417171 2025305544 2169633286 2871446086 2862644576 267042911 1944708528 3524655719 654039781 1329872992 2135386374 2914015208 2857105137 1246902006 3856645247 2787104212 1292230858 960703634 1019004769 531379166 2075717367 3953442864 2536445879 456146802 3638967711 827846471 2008315427 3639520283 3870230923 3942172087 196490611 2999380396 3408373836 1629653003 1204147736 2133456372 1151059118 2244905400 1573679148 255 362436" option to reproduce the execution
3.79/3.80 c #vars 5048
3.79/3.80 c #constraints 65280
10.99/11.04 c BCD2: Hardening is enabled.
10.99/11.04 c BCD2: BiasedSearch is enabled.
10.99/11.04 c Solving starts ...
10.99/11.04 c ============================[ Search Statistics ]============================
10.99/11.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
10.99/11.04 c | | | | Limit GC | Var | Constra
10.99/11.04 c =============================================================================
10.99/11.04 c 0.0s | 0 | 0 | 0 | 23442 0 | 0 | 0
11.28/11.31 c 0.3s | 0 | 5048 | 0 | 23442 0 | 0 | 0
11.28/11.31 c #cpu_time = 0.276s
11.28/11.31 c #wall_clock_time = 0.276s
11.28/11.31 c #decision = 5048
11.28/11.31 c #random_decision = 19
11.28/11.31 c #conflict = 0
11.28/11.31 c #restart = 0
11.28/11.32 o 5048
11.28/11.34 c BCD2: updating upper bound: 5048 -> 5047
11.28/11.35 c BCD2: 0 <= obj <= 5047
11.28/11.35 c BCD2: #cores=0, #unrelaxed=5048, #relaxed=0, #hardened=0
11.28/11.35 c BCD2: #sat=1 #unsat=1 bias=1/2
11.28/11.35 c Solving starts ...
11.28/11.35 c ============================[ Search Statistics ]============================
11.28/11.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
11.28/11.35 c | | | | Limit GC | Var | Constra
11.28/11.35 c =============================================================================
11.28/11.35 c 0.0s | 0 | 0 | 0 | 23442 0 | 0 | 0
11.48/11.54 c 0.2s | 0 | 786 | 0 | 23442 0 | 0 | 0
11.48/11.54 c #cpu_time = 0.187s
11.48/11.54 c #wall_clock_time = 0.187s
11.48/11.54 c #decision = 786
11.48/11.54 c #random_decision = 0
11.48/11.54 c #conflict = 0
11.48/11.54 c #restart = 0
11.48/11.54 c BCD2: found a new core of size 21: cost of the new core is >=1
11.48/11.54 c lower bound updated to 1
11.48/11.56 c BCD2: 1 <= obj <= 5047
11.48/11.56 c BCD2: #cores=1, #unrelaxed=5027, #relaxed=21, #hardened=0
11.48/11.56 c BCD2: #sat=1 #unsat=2 bias=2/3
11.48/11.56 c Solving starts ...
11.48/11.56 c ============================[ Search Statistics ]============================
11.48/11.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
11.48/11.56 c | | | | Limit GC | Var | Constra
11.48/11.56 c =============================================================================
11.48/11.56 c 0.0s | 0 | 0 | 0 | 23442 0 | 0 | 1
11.68/11.75 c 0.2s | 0 | 767 | 0 | 23442 0 | 0 | 1
11.68/11.75 c #cpu_time = 0.187s
11.68/11.75 c #wall_clock_time = 0.187s
11.68/11.75 c #decision = 767
11.68/11.75 c #random_decision = 0
11.68/11.75 c #conflict = 0
11.68/11.75 c #restart = 0
11.68/11.75 c BCD2: found a new core of size 21: cost of the new core is >=1
11.68/11.75 c lower bound updated to 2
11.68/11.76 c BCD2: 2 <= obj <= 5047
11.68/11.76 c BCD2: #cores=2, #unrelaxed=5006, #relaxed=42, #hardened=0
11.68/11.76 c BCD2: #sat=1 #unsat=3 bias=3/4
11.68/11.76 c Solving starts ...
11.68/11.76 c ============================[ Search Statistics ]============================
11.68/11.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
11.68/11.76 c | | | | Limit GC | Var | Constra
11.68/11.76 c =============================================================================
11.68/11.76 c 0.0s | 0 | 0 | 0 | 23442 0 | 0 | 2
11.88/11.95 c 0.2s | 0 | 1534 | 0 | 23442 0 | 0 | 2
11.88/11.95 c #cpu_time = 0.186s
11.88/11.95 c #wall_clock_time = 0.186s
11.88/11.95 c #decision = 1534
11.88/11.95 c #random_decision = 0
11.88/11.95 c #conflict = 0
11.88/11.95 c #restart = 0
11.88/11.95 c BCD2: found a new core of size 21: cost of the new core is >=1
11.88/11.95 c lower bound updated to 3
11.88/11.97 c BCD2: 3 <= obj <= 5047
11.88/11.97 c BCD2: #cores=3, #unrelaxed=4985, #relaxed=63, #hardened=0
11.88/11.97 c BCD2: #sat=1 #unsat=4 bias=4/5
11.88/11.97 c Solving starts ...
11.88/11.97 c ============================[ Search Statistics ]============================
11.88/11.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
11.88/11.97 c | | | | Limit GC | Var | Constra
11.88/11.97 c =============================================================================
11.88/11.97 c 0.0s | 0 | 0 | 0 | 23442 0 | 0 | 3
12.09/12.16 c 0.2s | 0 | 1515 | 0 | 23442 0 | 0 | 3
12.09/12.16 c #cpu_time = 0.186s
12.09/12.16 c #wall_clock_time = 0.186s
12.09/12.16 c #decision = 1515
12.09/12.16 c #random_decision = 0
12.09/12.16 c #conflict = 0
12.09/12.16 c #restart = 0
12.09/12.16 c BCD2: found a new core of size 21: cost of the new core is >=1
12.09/12.16 c lower bound updated to 4
12.09/12.17 c BCD2: 4 <= obj <= 5047
12.09/12.17 c BCD2: #cores=4, #unrelaxed=4964, #relaxed=84, #hardened=0
12.09/12.17 c BCD2: #sat=1 #unsat=5 bias=5/6
12.09/12.17 c Solving starts ...
12.09/12.17 c ============================[ Search Statistics ]============================
12.09/12.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
12.09/12.17 c | | | | Limit GC | Var | Constra
12.09/12.17 c =============================================================================
12.09/12.17 c 0.0s | 0 | 0 | 0 | 23442 0 | 0 | 4
12.28/12.37 c 0.2s | 0 | 4530 | 0 | 23442 0 | 0 | 4
12.28/12.37 c #cpu_time = 0.195s
12.28/12.37 c #wall_clock_time = 0.195s
12.28/12.37 c #decision = 4530
12.28/12.37 c #random_decision = 0
12.28/12.37 c #conflict = 0
12.28/12.37 c #restart = 0
12.28/12.37 c BCD2: found a new core of size 35: cost of the new core is >=1
12.28/12.37 c lower bound updated to 5
12.28/12.38 c BCD2: 5 <= obj <= 5047
12.28/12.38 c BCD2: #cores=5, #unrelaxed=4929, #relaxed=119, #hardened=0
12.28/12.38 c BCD2: #sat=1 #unsat=6 bias=6/7
12.28/12.38 c Solving starts ...
12.28/12.38 c ============================[ Search Statistics ]============================
12.28/12.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
12.28/12.38 c | | | | Limit GC | Var | Constra
12.28/12.38 c =============================================================================
12.28/12.38 c 0.0s | 0 | 0 | 0 | 23442 0 | 0 | 5
12.48/12.58 c 0.2s | 0 | 4497 | 0 | 23442 0 | 0 | 5
12.48/12.58 c #cpu_time = 0.199s
12.48/12.58 c #wall_clock_time = 0.199s
12.48/12.58 c #decision = 4497
12.48/12.58 c #random_decision = 0
12.48/12.58 c #conflict = 0
12.48/12.58 c #restart = 0
12.48/12.58 c BCD2: found a new core of size 35: cost of the new core is >=1
12.48/12.58 c lower bound updated to 6
12.48/12.59 c BCD2: 6 <= obj <= 5047
12.48/12.59 c BCD2: #cores=6, #unrelaxed=4894, #relaxed=154, #hardened=0
12.48/12.59 c BCD2: #sat=1 #unsat=7 bias=7/8
12.48/12.59 c Solving starts ...
12.48/12.59 c ============================[ Search Statistics ]============================
12.48/12.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
12.48/12.59 c | | | | Limit GC | Var | Constra
12.48/12.59 c =============================================================================
12.48/12.59 c 0.0s | 0 | 0 | 0 | 23442 0 | 0 | 6
12.68/12.79 c 0.2s | 0 | 4581 | 0 | 23442 0 | 0 | 6
12.68/12.79 c #cpu_time = 0.198s
12.68/12.79 c #wall_clock_time = 0.198s
12.68/12.79 c #decision = 4581
12.68/12.79 c #random_decision = 0
12.68/12.79 c #conflict = 0
12.68/12.79 c #restart = 0
12.68/12.79 c BCD2: found a new core of size 38: cost of the new core is >=1
12.68/12.79 c lower bound updated to 7
12.78/12.80 c BCD2: 7 <= obj <= 5047
12.78/12.80 c BCD2: #cores=7, #unrelaxed=4856, #relaxed=192, #hardened=0
12.78/12.80 c BCD2: #sat=1 #unsat=8 bias=8/9
12.78/12.80 c Solving starts ...
12.78/12.80 c ============================[ Search Statistics ]============================
12.78/12.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
12.78/12.80 c | | | | Limit GC | Var | Constra
12.78/12.80 c =============================================================================
12.78/12.80 c 0.0s | 0 | 0 | 0 | 23442 0 | 0 | 7
12.88/12.99 c 0.2s | 0 | 4546 | 0 | 23442 0 | 0 | 7
12.88/12.99 c #cpu_time = 0.189s
12.88/12.99 c #wall_clock_time = 0.189s
12.88/12.99 c #decision = 4546
12.88/12.99 c #random_decision = 0
12.88/12.99 c #conflict = 0
12.88/12.99 c #restart = 0
12.88/12.99 c BCD2: found a new core of size 38: cost of the new core is >=1
12.88/12.99 c lower bound updated to 8
12.98/13.01 c BCD2: 8 <= obj <= 5047
12.98/13.01 c BCD2: #cores=8, #unrelaxed=4818, #relaxed=230, #hardened=0
12.98/13.01 c BCD2: #sat=1 #unsat=9 bias=9/10
12.98/13.01 c Solving starts ...
12.98/13.01 c ============================[ Search Statistics ]============================
12.98/13.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
12.98/13.01 c | | | | Limit GC | Var | Constra
12.98/13.01 c =============================================================================
12.98/13.01 c 0.0s | 0 | 0 | 0 | 23442 0 | 0 | 8
13.08/13.20 c 0.2s | 0 | 4626 | 0 | 23442 0 | 0 | 8
13.08/13.20 c #cpu_time = 0.189s
13.08/13.20 c #wall_clock_time = 0.189s
13.08/13.20 c #decision = 4626
13.08/13.20 c #random_decision = 0
13.08/13.20 c #conflict = 0
13.08/13.20 c #restart = 0
13.08/13.20 c BCD2: found a new core of size 38: cost of the new core is >=1
13.08/13.20 c lower bound updated to 9
13.19/13.21 c BCD2: 9 <= obj <= 5047
13.19/13.21 c BCD2: #cores=9, #unrelaxed=4780, #relaxed=268, #hardened=0
13.19/13.21 c BCD2: #sat=1 #unsat=10 bias=10/11
13.19/13.21 c Solving starts ...
13.19/13.21 c ============================[ Search Statistics ]============================
13.19/13.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
13.19/13.21 c | | | | Limit GC | Var | Constra
13.19/13.21 c =============================================================================
13.19/13.21 c 0.0s | 0 | 0 | 0 | 23442 0 | 0 | 9
13.38/13.41 c 0.2s | 0 | 4590 | 0 | 23442 0 | 0 | 9
13.38/13.41 c #cpu_time = 0.196s
13.38/13.41 c #wall_clock_time = 0.196s
13.38/13.41 c #decision = 4590
13.38/13.41 c #random_decision = 0
13.38/13.41 c #conflict = 0
13.38/13.41 c #restart = 0
13.38/13.41 c BCD2: found a new core of size 38: cost of the new core is >=1
13.38/13.41 c lower bound updated to 10
13.38/13.42 c BCD2: 10 <= obj <= 5047
13.38/13.42 c BCD2: #cores=10, #unrelaxed=4742, #relaxed=306, #hardened=0
13.38/13.42 c BCD2: #sat=1 #unsat=11 bias=11/12
13.38/13.42 c Solving starts ...
13.38/13.42 c ============================[ Search Statistics ]============================
13.38/13.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
13.38/13.42 c | | | | Limit GC | Var | Constra
13.38/13.42 c =============================================================================
13.38/13.42 c 0.0s | 0 | 0 | 0 | 23442 0 | 0 | 10
13.58/13.62 c 0.2s | 0 | 4554 | 0 | 23442 0 | 0 | 10
13.58/13.62 c #cpu_time = 0.200s
13.58/13.62 c #wall_clock_time = 0.200s
13.58/13.62 c #decision = 4554
13.58/13.62 c #random_decision = 0
13.58/13.62 c #conflict = 0
13.58/13.62 c #restart = 0
13.58/13.62 c BCD2: found a new core of size 38: cost of the new core is >=1
13.58/13.62 c lower bound updated to 11
13.58/13.63 c BCD2: 11 <= obj <= 5047
13.58/13.63 c BCD2: #cores=11, #unrelaxed=4704, #relaxed=344, #hardened=0
13.58/13.63 c BCD2: #sat=1 #unsat=12 bias=12/13
13.58/13.63 c Solving starts ...
13.58/13.63 c ============================[ Search Statistics ]============================
13.58/13.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
13.58/13.63 c | | | | Limit GC | Var | Constra
13.58/13.63 c =============================================================================
13.58/13.63 c 0.0s | 0 | 0 | 0 | 23442 0 | 0 | 11
13.78/13.83 c 0.2s | 0 | 4591 | 0 | 23442 0 | 0 | 11
13.78/13.83 c #cpu_time = 0.199s
13.78/13.83 c #wall_clock_time = 0.199s
13.78/13.83 c #decision = 4591
13.78/13.83 c #random_decision = 0
13.78/13.83 c #conflict = 0
13.78/13.83 c #restart = 0
13.78/13.83 c BCD2: found a new core of size 38: cost of the new core is >=1
13.78/13.83 c lower bound updated to 12
13.78/13.84 c BCD2: 12 <= obj <= 5047
13.78/13.84 c BCD2: #cores=12, #unrelaxed=4666, #relaxed=382, #hardened=0
13.78/13.84 c BCD2: #sat=1 #unsat=13 bias=13/14
13.78/13.84 c Solving starts ...
13.78/13.84 c ============================[ Search Statistics ]============================
13.78/13.84 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
13.78/13.84 c | | | | Limit GC | Var | Constra
13.78/13.84 c =============================================================================
13.78/13.84 c 0.0s | 0 | 0 | 0 | 23442 0 | 0 | 12
13.98/14.03 c 0.2s | 0 | 4555 | 0 | 23442 0 | 0 | 12
13.98/14.03 c #cpu_time = 0.190s
13.98/14.03 c #wall_clock_time = 0.190s
13.98/14.03 c #decision = 4555
13.98/14.03 c #random_decision = 0
13.98/14.03 c #conflict = 0
13.98/14.03 c #restart = 0
13.98/14.03 c BCD2: found a new core of size 38: cost of the new core is >=1
13.98/14.03 c lower bound updated to 13
13.98/14.05 c BCD2: 13 <= obj <= 5047
13.98/14.05 c BCD2: #cores=13, #unrelaxed=4628, #relaxed=420, #hardened=0
13.98/14.05 c BCD2: #sat=1 #unsat=14 bias=14/15
13.98/14.05 c Solving starts ...
13.98/14.05 c ============================[ Search Statistics ]============================
13.98/14.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
13.98/14.05 c | | | | Limit GC | Var | Constra
13.98/14.05 c =============================================================================
13.98/14.05 c 0.0s | 0 | 0 | 0 | 23442 0 | 0 | 13
14.18/14.24 c 0.2s | 0 | 4593 | 0 | 23442 0 | 0 | 13
14.18/14.24 c #cpu_time = 0.189s
14.18/14.24 c #wall_clock_time = 0.189s
14.18/14.24 c #decision = 4593
14.18/14.24 c #random_decision = 0
14.18/14.24 c #conflict = 0
14.18/14.24 c #restart = 0
14.18/14.24 c BCD2: found a new core of size 38: cost of the new core is >=1
14.18/14.24 c lower bound updated to 14
14.18/14.25 c BCD2: 14 <= obj <= 5047
14.18/14.25 c BCD2: #cores=14, #unrelaxed=4590, #relaxed=458, #hardened=0
14.18/14.25 c BCD2: #sat=1 #unsat=15 bias=15/16
14.18/14.25 c Solving starts ...
14.18/14.25 c ============================[ Search Statistics ]============================
14.18/14.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
14.18/14.25 c | | | | Limit GC | Var | Constra
14.18/14.25 c =============================================================================
14.18/14.25 c 0.0s | 0 | 0 | 0 | 23442 0 | 0 | 14
14.39/14.45 c 0.2s | 0 | 4572 | 0 | 23442 0 | 0 | 14
14.39/14.45 c #cpu_time = 0.196s
14.39/14.45 c #wall_clock_time = 0.196s
14.39/14.45 c #decision = 4572
14.39/14.45 c #random_decision = 0
14.39/14.45 c #conflict = 0
14.39/14.45 c #restart = 0
14.39/14.45 c BCD2: found a new core of size 35: cost of the new core is >=1
14.39/14.45 c lower bound updated to 15
14.39/14.46 c BCD2: 15 <= obj <= 5047
14.39/14.46 c BCD2: #cores=15, #unrelaxed=4555, #relaxed=493, #hardened=0
14.39/14.46 c BCD2: #sat=1 #unsat=16 bias=16/17
14.39/14.46 c Solving starts ...
14.39/14.46 c ============================[ Search Statistics ]============================
14.39/14.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
14.39/14.46 c | | | | Limit GC | Var | Constra
14.39/14.46 c =============================================================================
14.39/14.46 c 0.0s | 0 | 0 | 0 | 23442 0 | 0 | 15
14.58/14.66 c 0.2s | 0 | 4539 | 0 | 23442 0 | 0 | 15
14.58/14.66 c #cpu_time = 0.199s
14.58/14.66 c #wall_clock_time = 0.199s
14.58/14.66 c #decision = 4539
14.58/14.66 c #random_decision = 0
14.58/14.66 c #conflict = 0
14.58/14.66 c #restart = 0
14.58/14.66 c BCD2: found a new core of size 35: cost of the new core is >=1
14.58/14.66 c lower bound updated to 16
14.58/14.68 c BCD2: 16 <= obj <= 5047
14.58/14.68 c BCD2: #cores=16, #unrelaxed=4520, #relaxed=528, #hardened=0
14.58/14.68 c BCD2: #sat=1 #unsat=17 bias=17/18
14.58/14.68 c Solving starts ...
14.58/14.68 c ============================[ Search Statistics ]============================
14.58/14.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
14.58/14.68 c | | | | Limit GC | Var | Constra
14.58/14.68 c =============================================================================
14.58/14.68 c 0.0s | 0 | 0 | 0 | 23442 0 | 0 | 16
14.78/14.88 c 0.2s | 0 | 4518 | 0 | 23442 0 | 0 | 16
14.78/14.88 c #cpu_time = 0.199s
14.78/14.88 c #wall_clock_time = 0.199s
14.78/14.88 c #decision = 4518
14.78/14.88 c #random_decision = 0
14.78/14.88 c #conflict = 0
14.78/14.88 c #restart = 0
14.78/14.88 c BCD2: found a new core of size 35: cost of the new core is >=1
14.78/14.88 c lower bound updated to 17
14.78/14.89 c BCD2: 17 <= obj <= 5047
14.78/14.89 c BCD2: #cores=17, #unrelaxed=4485, #relaxed=563, #hardened=0
14.78/14.89 c BCD2: #sat=1 #unsat=18 bias=18/19
14.78/14.89 c Solving starts ...
14.78/14.89 c ============================[ Search Statistics ]============================
14.78/14.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
14.78/14.89 c | | | | Limit GC | Var | Constra
14.78/14.89 c =============================================================================
14.78/14.89 c 0.0s | 0 | 0 | 0 | 23442 0 | 0 | 17
14.98/15.08 c 0.2s | 0 | 4485 | 0 | 23442 0 | 0 | 17
14.98/15.08 c #cpu_time = 0.189s
14.98/15.08 c #wall_clock_time = 0.189s
14.98/15.08 c #decision = 4485
14.98/15.08 c #random_decision = 0
14.98/15.08 c #conflict = 0
14.98/15.08 c #restart = 0
14.98/15.08 c BCD2: found a new core of size 35: cost of the new core is >=1
14.98/15.08 c lower bound updated to 18
15.09/15.10 c BCD2: 18 <= obj <= 5047
15.09/15.10 c BCD2: #cores=18, #unrelaxed=4450, #relaxed=598, #hardened=0
15.09/15.10 c BCD2: #sat=1 #unsat=19 bias=19/20
15.09/15.10 c Solving starts ...
15.09/15.10 c ============================[ Search Statistics ]============================
15.09/15.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
15.09/15.10 c | | | | Limit GC | Var | Constra
15.09/15.10 c =============================================================================
15.09/15.10 c 0.0s | 0 | 0 | 0 | 23442 0 | 0 | 18
15.29/15.31 c 0.2s | 0 | 4462 | 0 | 23442 0 | 0 | 18
15.29/15.31 c #cpu_time = 0.204s
15.29/15.31 c #wall_clock_time = 0.204s
15.29/15.31 c #decision = 4462
15.29/15.31 c #random_decision = 0
15.29/15.31 c #conflict = 0
15.29/15.31 c #restart = 0
15.29/15.31 c BCD2: found a new core of size 34: cost of the new core is >=1
15.29/15.31 c lower bound updated to 19
15.29/15.32 c BCD2: 19 <= obj <= 5047
15.29/15.32 c BCD2: #cores=19, #unrelaxed=4416, #relaxed=632, #hardened=0
15.29/15.32 c BCD2: #sat=1 #unsat=20 bias=20/21
15.29/15.32 c Solving starts ...
15.29/15.32 c ============================[ Search Statistics ]============================
15.29/15.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
15.29/15.32 c | | | | Limit GC | Var | Constra
15.29/15.32 c =============================================================================
15.29/15.32 c 0.0s | 0 | 0 | 0 | 23442 0 | 0 | 19
15.50/15.53 c 0.2s | 0 | 4430 | 0 | 23442 0 | 0 | 19
15.50/15.53 c #cpu_time = 0.204s
15.50/15.53 c #wall_clock_time = 0.204s
15.50/15.53 c #decision = 4430
15.50/15.53 c #random_decision = 0
15.50/15.53 c #conflict = 0
15.50/15.53 c #restart = 0
15.50/15.53 c BCD2: found a new core of size 34: cost of the new core is >=1
15.50/15.53 c lower bound updated to 20
15.50/15.54 c BCD2: 20 <= obj <= 5047
15.50/15.54 c BCD2: #cores=20, #unrelaxed=4382, #relaxed=666, #hardened=0
15.50/15.54 c BCD2: #sat=1 #unsat=21 bias=21/22
15.50/15.54 c Solving starts ...
15.50/15.54 c ============================[ Search Statistics ]============================
15.50/15.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
15.50/15.54 c | | | | Limit GC | Var | Constra
15.50/15.54 c =============================================================================
15.50/15.54 c 0.0s | 0 | 0 | 0 | 23442 0 | 0 | 20
15.69/15.75 c 0.2s | 0 | 4400 | 0 | 23442 0 | 0 | 20
15.69/15.75 c #cpu_time = 0.206s
15.69/15.75 c #wall_clock_time = 0.206s
15.69/15.75 c #decision = 4400
15.69/15.75 c #random_decision = 0
15.69/15.75 c #conflict = 0
15.69/15.75 c #restart = 0
15.69/15.75 c BCD2: found a new core of size 35: cost of the new core is >=1
15.69/15.75 c lower bound updated to 21
15.69/15.76 c BCD2: 21 <= obj <= 5047
15.69/15.76 c BCD2: #cores=21, #unrelaxed=4347, #relaxed=701, #hardened=0
15.69/15.76 c BCD2: #sat=1 #unsat=22 bias=22/23
15.69/15.76 c Solving starts ...
15.69/15.76 c ============================[ Search Statistics ]============================
15.69/15.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
15.69/15.76 c | | | | Limit GC | Var | Constra
15.69/15.76 c =============================================================================
15.69/15.76 c 0.0s | 0 | 0 | 0 | 23442 0 | 0 | 21
15.89/15.97 c 0.2s | 0 | 4367 | 0 | 23442 0 | 0 | 21
15.89/15.97 c #cpu_time = 0.202s
15.89/15.97 c #wall_clock_time = 0.202s
15.89/15.97 c #decision = 4367
15.89/15.97 c #random_decision = 0
15.89/15.97 c #conflict = 0
15.89/15.97 c #restart = 0
15.89/15.97 c BCD2: found a new core of size 35: cost of the new core is >=1
15.89/15.97 c lower bound updated to 22
15.89/15.98 c BCD2: 22 <= obj <= 5047
15.89/15.98 c BCD2: #cores=22, #unrelaxed=4312, #relaxed=736, #hardened=0
15.89/15.98 c BCD2: #sat=1 #unsat=23 bias=23/24
15.89/15.98 c Solving starts ...
15.89/15.98 c ============================[ Search Statistics ]============================
15.89/15.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
15.89/15.98 c | | | | Limit GC | Var | Constra
15.89/15.98 c =============================================================================
15.89/15.98 c 0.0s | 0 | 0 | 0 | 23442 0 | 0 | 22
16.09/16.18 c 0.2s | 0 | 5056 | 0 | 23442 0 | 0 | 22
16.09/16.18 c #cpu_time = 0.200s
16.09/16.18 c #wall_clock_time = 0.200s
16.09/16.18 c #decision = 5056
16.09/16.18 c #random_decision = 0
16.09/16.18 c #conflict = 0
16.09/16.18 c #restart = 0
16.09/16.18 o 56
16.09/16.19 c BCD2: updating upper bound: 5047 -> 55
16.19/16.21 c BCD2: 22 <= obj <= 55
16.19/16.21 c BCD2: #cores=22, #unrelaxed=4312, #relaxed=736, #hardened=0
16.19/16.21 c BCD2: #sat=2 #unsat=23 bias=23/25
16.19/16.22 c Solving starts ...
16.19/16.22 c ============================[ Search Statistics ]============================
16.19/16.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
16.19/16.22 c | | | | Limit GC | Var | Constra
16.19/16.22 c =============================================================================
16.19/16.22 c 0.0s | 0 | 0 | 0 | 23442 0 | 0 | 23
16.39/16.42 c 0.2s | 0 | 4383 | 1 | 23442 0 | 0 | 23
16.39/16.42 c #cpu_time = 0.202s
16.39/16.42 c #wall_clock_time = 0.202s
16.39/16.42 c #decision = 4383
16.39/16.42 c #random_decision = 0
16.39/16.42 c #conflict = 1
16.39/16.42 c #restart = 0
16.39/16.42 c BCD2: relaxing 191 and merging with 4 cores into a new core of size 323: cost of the new core is >=5
16.39/16.42 c lower bound updated to 23
16.39/16.42 c BCD2: 23 <= obj <= 55
16.39/16.42 c BCD2: #cores=19, #unrelaxed=4121, #relaxed=927, #hardened=0
16.39/16.42 c BCD2: #sat=2 #unsat=24 bias=24/26
16.39/16.42 c Solving starts ...
16.39/16.42 c ============================[ Search Statistics ]============================
16.39/16.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
16.39/16.42 c | | | | Limit GC | Var | Constra
16.39/16.42 c =============================================================================
16.39/16.42 c 0.0s | 0 | 0 | 0 | 23442 0 | 20 | 23
16.60/16.61 c 0.2s | 0 | 4171 | 1 | 23442 0 | 20 | 59
16.60/16.61 c #cpu_time = 0.189s
16.60/16.61 c #wall_clock_time = 0.189s
16.60/16.61 c #decision = 4171
16.60/16.61 c #random_decision = 0
16.60/16.61 c #conflict = 1
16.60/16.61 c #restart = 0
16.60/16.61 c BCD2: relaxing 47 and merging with 1 cores into a new core of size 85: cost of the new core is >=2
16.60/16.61 c lower bound updated to 24
16.60/16.63 c BCD2: 24 <= obj <= 55
16.60/16.63 c BCD2: #cores=19, #unrelaxed=4074, #relaxed=974, #hardened=0
16.60/16.63 c BCD2: #sat=2 #unsat=25 bias=25/27
16.60/16.63 c Solving starts ...
16.60/16.63 c ============================[ Search Statistics ]============================
16.60/16.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
16.60/16.63 c | | | | Limit GC | Var | Constra
16.60/16.63 c =============================================================================
16.60/16.63 c 0.0s | 0 | 0 | 0 | 23442 0 | 23 | 59
16.79/16.82 c 0.2s | 0 | 4091 | 1 | 23442 0 | 23 | 64
16.79/16.82 c #cpu_time = 0.193s
16.79/16.82 c #wall_clock_time = 0.193s
16.79/16.82 c #decision = 4091
16.79/16.82 c #random_decision = 0
16.79/16.82 c #conflict = 1
16.79/16.82 c #restart = 0
16.79/16.82 c BCD2: relaxing 51 and merging with 1 cores into a new core of size 86: cost of the new core is >=2
16.79/16.82 c lower bound updated to 25
16.79/16.83 c BCD2: 25 <= obj <= 55
16.79/16.83 c BCD2: #cores=19, #unrelaxed=4023, #relaxed=1025, #hardened=0
16.79/16.83 c BCD2: #sat=2 #unsat=26 bias=26/28
16.79/16.83 c Solving starts ...
16.79/16.83 c ============================[ Search Statistics ]============================
16.79/16.83 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
16.79/16.83 c | | | | Limit GC | Var | Constra
16.79/16.83 c =============================================================================
16.79/16.83 c 0.0s | 0 | 0 | 0 | 23442 0 | 25 | 64
17.09/17.11 c 0.3s | 0 | 4283 | 63 | 23442 0 | 25 | 67
17.09/17.11 c #cpu_time = 0.277s
17.09/17.11 c #wall_clock_time = 0.277s
17.09/17.11 c #decision = 4283
17.09/17.11 c #random_decision = 1
17.09/17.11 c #conflict = 63
17.09/17.11 c #restart = 0
17.09/17.11 c BCD2: relaxing 312 and merging with 6 cores into a new core of size 571: cost of the new core is >=8
17.09/17.11 c lower bound updated to 26
17.09/17.11 c BCD2: 26 <= obj <= 55
17.09/17.11 c BCD2: #cores=14, #unrelaxed=3711, #relaxed=1337, #hardened=0
17.09/17.11 c BCD2: #sat=2 #unsat=27 bias=27/29
17.09/17.11 c Solving starts ...
17.09/17.11 c ============================[ Search Statistics ]============================
17.09/17.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
17.09/17.11 c | | | | Limit GC | Var | Constra
17.09/17.11 c =============================================================================
17.09/17.11 c 0.0s | 0 | 0 | 0 | 23442 0 | 36 | 67
17.29/17.39 c 0.3s | 1 | 4270 | 100 | 25787 0 | 36 | 83
17.60/17.70 c 0.6s | 2 | 8567 | 250 | 28366 0 | 36 | 83
17.99/18.07 c 1.0s | 3 | 13231 | 475 | 31203 0 | 36 | 83
18.39/18.48 c 1.4s | 4 | 17986 | 813 | 34324 0 | 36 | 83
18.89/18.99 c 1.9s | 5 | 23877 | 1320 | 37757 0 | 36 | 83
19.59/19.63 c 2.5s | 6 | 30475 | 2081 | 41533 0 | 36 | 83
20.49/20.50 c 3.4s | 7 | 37669 | 3223 | 45687 0 | 36 | 83
21.69/21.77 c 4.7s | 8 | 47123 | 4936 | 50256 0 | 36 | 83
23.59/23.66 c 6.5s | 9 | 59000 | 7506 | 55282 0 | 36 | 83
25.59/25.69 c 8.6s | 9 | 73157 | 10106 | 55282 0 | 36 | 83
26.50/26.57 c 9.5s | 10 | 77553 | 11361 | 60811 0 | 36 | 83
28.49/28.59 c 11.5s | 10 | 92020 | 13761 | 60811 0 | 36 | 83
30.59/30.62 c 13.5s | 10 | 100199 | 15961 | 60811 0 | 36 | 83
31.39/31.48 c 14.4s | 11 | 105141 | 17144 | 66893 0 | 36 | 83
33.39/33.48 c 16.4s | 11 | 119023 | 19444 | 66893 0 | 36 | 83
35.49/35.57 c 18.5s | 11 | 127861 | 21844 | 66893 0 | 36 | 83
37.49/37.58 c 20.5s | 11 | 136891 | 24144 | 66893 0 | 36 | 83
39.09/39.12 c 22.0s | 12 | 146520 | 25819 | 73583 0 | 36 | 83
41.08/41.13 c 24.0s | 12 | 158466 | 27819 | 73583 0 | 36 | 83
43.18/43.22 c 26.1s | 12 | 167613 | 30119 | 73583 0 | 36 | 83
45.29/45.31 c 28.2s | 12 | 175361 | 32119 | 73583 0 | 36 | 83
47.29/47.38 c 30.3s | 12 | 183244 | 33919 | 73583 0 | 36 | 83
49.38/49.46 c 32.3s | 12 | 190989 | 35919 | 73583 0 | 36 | 83
51.48/51.52 c 34.4s | 12 | 198623 | 37819 | 73583 0 | 36 | 83
52.48/52.59 c 35.5s | 13 | 202058 | 38832 | 80942 0 | 36 | 83
54.58/54.69 c 37.6s | 13 | 210849 | 40232 | 80942 0 | 36 | 83
56.68/56.72 c 39.6s | 13 | 217977 | 41932 | 80942 0 | 36 | 83
58.68/58.77 c 41.7s | 13 | 224756 | 43532 | 80942 0 | 36 | 83
60.78/60.88 c 43.8s | 13 | 231254 | 45232 | 80942 0 | 36 | 83
62.88/62.90 c 45.8s | 13 | 238497 | 47032 | 80942 0 | 36 | 83
64.89/64.97 c 47.9s | 13 | 246122 | 48732 | 80942 0 | 36 | 83
66.98/67.08 c 50.0s | 13 | 254989 | 50432 | 80942 0 | 36 | 83
69.08/69.13 c 52.0s | 13 | 262489 | 52032 | 80942 0 | 36 | 83
71.08/71.17 c 54.1s | 13 | 269884 | 53632 | 80942 0 | 36 | 83
73.28/73.30 c 56.2s | 13 | 275565 | 55132 | 80942 0 | 36 | 83
75.28/75.38 c 58.3s | 13 | 281691 | 56532 | 80942 0 | 36 | 83
77.38/77.48 c 60.4s | 13 | 287870 | 58032 | 89037 0 | 36 | 83
77.78/77.89 c 60.8s | 14 | 288788 | 58352 | 89037 0 | 36 | 83
79.98/80.03 c 62.9s | 14 | 298046 | 59552 | 89037 0 | 36 | 83
81.98/82.03 c 64.9s | 14 | 303235 | 60752 | 89037 0 | 36 | 83
84.08/84.10 c 67.0s | 14 | 309300 | 62252 | 89037 0 | 36 | 83
86.07/86.18 c 69.1s | 14 | 315821 | 63752 | 89037 0 | 36 | 83
88.27/88.31 c 71.2s | 14 | 321665 | 65252 | 89037 0 | 36 | 83
90.28/90.32 c 73.2s | 14 | 328369 | 66752 | 89037 0 | 36 | 83
92.38/92.43 c 75.3s | 14 | 335826 | 68552 | 89037 0 | 36 | 83
94.47/94.51 c 77.4s | 14 | 341409 | 70052 | 89037 0 | 36 | 83
96.57/96.69 c 79.6s | 14 | 348408 | 71552 | 89037 0 | 36 | 83
98.77/98.89 c 81.8s | 14 | 355366 | 72952 | 89037 0 | 36 | 83
100.97/101.06 c 83.9s | 14 | 360815 | 74252 | 89037 0 | 36 | 83
103.17/103.20 c 86.1s | 14 | 365451 | 75452 | 89037 0 | 36 | 83
105.17/105.29 c 88.2s | 14 | 371797 | 76852 | 89037 0 | 36 | 83
107.37/107.40 c 90.3s | 14 | 378394 | 78252 | 89037 0 | 36 | 83
109.37/109.45 c 92.3s | 14 | 383326 | 79552 | 89037 0 | 36 | 83
111.47/111.50 c 94.4s | 14 | 389518 | 80752 | 89037 0 | 36 | 83
113.47/113.52 c 96.4s | 14 | 393242 | 81752 | 89037 0 | 36 | 83
115.58/115.61 c 98.5s | 14 | 398238 | 82852 | 89037 0 | 36 | 83
117.57/117.68 c 100s | 14 | 402982 | 83952 | 89037 0 | 36 | 83
119.67/119.79 c 102s | 14 | 410181 | 85252 | 89037 0 | 36 | 83
121.77/121.81 c 104s | 14 | 415181 | 86352 | 89037 0 | 36 | 83
123.97/124.00 c 106s | 14 | 421639 | 87552 | 97941 0 | 36 | 83
124.07/124.16 c 107s | 15 | 421759 | 87632 | 97941 0 | 36 | 83
126.27/126.34 c 109s | 15 | 429831 | 88532 | 97941 0 | 36 | 83
128.27/128.34 c 111s | 15 | 436156 | 89732 | 97941 0 | 36 | 83
130.27/130.37 c 113s | 15 | 441052 | 90932 | 97941 0 | 36 | 83
132.47/132.50 c 115s | 15 | 446293 | 92132 | 97941 0 | 36 | 83
134.47/134.55 c 117s | 15 | 450706 | 93332 | 97941 0 | 36 | 83
136.47/136.57 c 119s | 15 | 454683 | 94532 | 97941 0 | 36 | 83
138.47/138.60 c 121s | 15 | 458190 | 95432 | 97941 0 | 36 | 83
140.57/140.68 c 123s | 15 | 462544 | 96532 | 97941 0 | 36 | 83
142.67/142.79 c 125s | 15 | 467767 | 97832 | 97941 0 | 36 | 83
144.77/144.82 c 127s | 15 | 470848 | 98732 | 97941 0 | 36 | 83
146.76/146.88 c 129s | 15 | 476765 | 99932 | 97941 0 | 36 | 83
148.96/149.09 c 131s | 15 | 482957 | 101132 | 97941 0 | 36 | 83
152.27/152.36 c 135s | 15 | 485871 | 101832 | 97941 1 | 36 | 83
154.87/154.90 c 137s | 15 | 487077 | 102132 | 97941 1 | 36 | 83
156.87/156.94 c 139s | 15 | 491073 | 102932 | 97941 1 | 36 | 83
158.97/159.05 c 141s | 15 | 498048 | 104532 | 97941 1 | 36 | 83
160.97/161.07 c 143s | 15 | 502868 | 105832 | 97941 1 | 36 | 83
163.07/163.16 c 146s | 15 | 507762 | 107032 | 97941 1 | 36 | 83
165.16/165.24 c 148s | 15 | 513471 | 108332 | 97941 1 | 36 | 83
167.27/167.35 c 150s | 15 | 519559 | 109632 | 97941 1 | 36 | 83
169.37/169.48 c 152s | 15 | 521341 | 110132 | 97941 1 | 36 | 83
171.46/171.50 c 154s | 15 | 527746 | 111632 | 97941 1 | 36 | 83
173.46/173.53 c 156s | 15 | 532979 | 112932 | 97941 1 | 36 | 83
175.46/175.56 c 158s | 15 | 539709 | 114532 | 97941 1 | 36 | 83
177.56/177.65 c 160s | 15 | 546030 | 116032 | 97941 1 | 36 | 83
179.66/179.77 c 162s | 15 | 552210 | 117632 | 97941 1 | 36 | 83
181.76/181.87 c 164s | 15 | 557108 | 118932 | 97941 1 | 36 | 83
183.77/183.87 c 166s | 15 | 561848 | 120032 | 97941 1 | 36 | 83
185.97/186.02 c 168s | 15 | 568642 | 121432 | 97941 1 | 36 | 83
188.07/188.13 c 171s | 15 | 575499 | 122932 | 97941 1 | 36 | 83
190.16/190.26 c 173s | 15 | 580416 | 124232 | 97941 1 | 36 | 83
192.26/192.35 c 175s | 15 | 584874 | 125332 | 97941 1 | 36 | 83
194.36/194.43 c 177s | 15 | 589621 | 126532 | 97941 1 | 36 | 83
196.46/196.58 c 179s | 15 | 594479 | 127832 | 97941 1 | 36 | 83
198.66/198.73 c 181s | 15 | 598791 | 129232 | 97941 1 | 36 | 83
200.76/200.82 c 183s | 15 | 603608 | 130532 | 97941 1 | 36 | 83
202.37/202.46 c 185s | 16 | 607852 | 131552 | 107736 1 | 36 | 83
204.56/204.63 c 187s | 16 | 615095 | 132452 | 107736 1 | 36 | 83
219.65/219.72 c 202s | 16 | 618033 | 133252 | 107736 1 | 36 | 83
221.85/221.90 c 204s | 16 | 622349 | 134252 | 107736 1 | 36 | 83
223.85/223.96 c 206s | 16 | 626716 | 135252 | 107736 1 | 36 | 83
226.05/226.10 c 208s | 16 | 631120 | 136252 | 107736 1 | 36 | 83
228.05/228.14 c 211s | 16 | 635889 | 137352 | 107736 1 | 36 | 83
230.05/230.17 c 213s | 16 | 640304 | 138452 | 107736 1 | 36 | 83
232.16/232.23 c 215s | 16 | 644693 | 139552 | 107736 1 | 36 | 83
234.15/234.24 c 217s | 16 | 648099 | 140352 | 107736 1 | 36 | 83
236.15/236.27 c 219s | 16 | 652992 | 141452 | 107736 1 | 36 | 83
238.35/238.42 c 221s | 16 | 657967 | 142552 | 107736 1 | 36 | 83
240.45/240.53 c 223s | 16 | 661114 | 143452 | 107736 1 | 36 | 83
242.55/242.61 c 225s | 16 | 665809 | 144652 | 107736 1 | 36 | 83
244.65/244.79 c 227s | 16 | 670119 | 145652 | 107736 1 | 36 | 83
246.65/246.79 c 229s | 16 | 673794 | 146652 | 107736 1 | 36 | 83
248.75/248.86 c 231s | 16 | 678079 | 147752 | 107736 1 | 36 | 83
250.75/250.89 c 233s | 16 | 684442 | 149252 | 107736 1 | 36 | 83
252.95/253.07 c 235s | 16 | 690392 | 150752 | 107736 1 | 36 | 83
255.05/255.17 c 238s | 16 | 695310 | 151852 | 107736 1 | 36 | 83
257.15/257.25 c 240s | 16 | 698502 | 152852 | 107736 1 | 36 | 83
259.45/259.50 c 242s | 16 | 702425 | 153852 | 107736 1 | 36 | 83
261.45/261.50 c 244s | 16 | 706760 | 155052 | 107736 1 | 36 | 83
263.54/263.62 c 246s | 16 | 712177 | 156352 | 107736 1 | 36 | 83
265.64/265.72 c 248s | 16 | 717066 | 157552 | 107736 1 | 36 | 83
267.64/267.78 c 250s | 16 | 721753 | 158752 | 107736 1 | 36 | 83
269.74/269.87 c 252s | 16 | 726794 | 160052 | 107736 1 | 36 | 83
271.84/271.90 c 254s | 16 | 730685 | 161052 | 107736 1 | 36 | 83
273.85/273.91 c 256s | 16 | 735376 | 162152 | 107736 1 | 36 | 83
276.44/276.56 c 259s | 16 | 736945 | 162752 | 107736 2 | 36 | 83
278.54/278.64 c 261s | 16 | 741642 | 164052 | 107736 2 | 36 | 83
306.64/306.72 c 289s | 16 | 744927 | 164952 | 107736 2 | 36 | 83
308.74/308.83 c 291s | 16 | 746458 | 165352 | 107736 2 | 36 | 83
310.84/310.90 c 293s | 16 | 755176 | 166952 | 107736 2 | 36 | 83
312.84/312.93 c 295s | 16 | 759224 | 167952 | 107736 2 | 36 | 83
314.93/315.06 c 297s | 16 | 764356 | 169152 | 107736 2 | 36 | 83
317.03/317.12 c 300s | 16 | 771679 | 170652 | 107736 2 | 36 | 83
319.04/319.13 c 302s | 16 | 778069 | 172052 | 107736 2 | 36 | 83
321.14/321.24 c 304s | 16 | 785042 | 173452 | 107736 2 | 36 | 83
323.13/323.29 c 306s | 16 | 789917 | 174952 | 107736 2 | 36 | 83
325.33/325.46 c 308s | 16 | 795576 | 176452 | 107736 2 | 36 | 83
327.43/327.53 c 310s | 16 | 801809 | 177852 | 107736 2 | 36 | 83
329.53/329.60 c 312s | 16 | 807323 | 179052 | 107736 2 | 36 | 83
331.63/331.78 c 314s | 16 | 812024 | 180152 | 107736 2 | 36 | 83
333.72/333.84 c 316s | 16 | 818420 | 181752 | 107736 2 | 36 | 83
335.72/335.85 c 318s | 16 | 825999 | 182952 | 107736 2 | 36 | 83
337.82/337.96 c 320s | 16 | 832080 | 184252 | 107736 2 | 36 | 83
339.93/340.01 c 322s | 16 | 837470 | 185652 | 107736 2 | 36 | 83
341.93/342.06 c 324s | 16 | 843031 | 187152 | 107736 2 | 36 | 83
344.02/344.15 c 327s | 16 | 849172 | 188452 | 107736 2 | 36 | 83
346.02/346.19 c 329s | 16 | 854563 | 189652 | 107736 2 | 36 | 83
348.12/348.20 c 331s | 16 | 860269 | 191052 | 107736 2 | 36 | 83
350.22/350.34 c 333s | 16 | 864983 | 192252 | 107736 2 | 36 | 83
352.22/352.37 c 335s | 16 | 870930 | 193452 | 107736 2 | 36 | 83
354.32/354.44 c 337s | 16 | 876119 | 194552 | 107736 2 | 36 | 83
356.32/356.49 c 339s | 16 | 880379 | 195552 | 107736 2 | 36 | 83
358.42/358.58 c 341s | 16 | 887476 | 196952 | 118510 2 | 36 | 83
359.32/359.42 c 342s | 17 | 890112 | 197432 | 118510 2 | 36 | 83
361.42/361.59 c 344s | 17 | 898769 | 198432 | 118510 2 | 36 | 83
363.61/363.72 c 346s | 17 | 904988 | 199732 | 118510 2 | 36 | 83
365.61/365.78 c 348s | 17 | 910848 | 201132 | 118510 2 | 36 | 83
367.71/367.81 c 350s | 17 | 915875 | 202232 | 118510 2 | 36 | 83
370.11/370.22 c 353s | 17 | 919262 | 203032 | 118510 2 | 36 | 83
372.11/372.23 c 355s | 17 | 923690 | 204132 | 118510 2 | 36 | 83
374.21/374.32 c 357s | 17 | 929075 | 205432 | 118510 2 | 36 | 83
376.21/376.35 c 359s | 17 | 934773 | 207032 | 118510 2 | 36 | 83
378.31/378.45 c 361s | 17 | 939620 | 208632 | 118510 2 | 36 | 83
380.41/380.53 c 363s | 17 | 944185 | 209932 | 118510 2 | 36 | 83
382.40/382.57 c 365s | 17 | 949507 | 211232 | 118510 2 | 36 | 83
384.50/384.61 c 367s | 17 | 955388 | 212732 | 118510 2 | 36 | 83
386.50/386.68 c 369s | 17 | 960739 | 214332 | 118510 2 | 36 | 83
388.70/388.83 c 371s | 17 | 966352 | 215932 | 118510 2 | 36 | 83
390.70/390.85 c 373s | 17 | 972464 | 217332 | 118510 2 | 36 | 83
392.80/392.92 c 375s | 17 | 979122 | 219032 | 118510 2 | 36 | 83
394.81/395.00 c 377s | 17 | 984181 | 220532 | 118510 2 | 36 | 83
396.90/397.04 c 379s | 17 | 988881 | 221632 | 118510 2 | 36 | 83
399.10/399.23 c 382s | 17 | 994240 | 223032 | 118510 2 | 36 | 83
401.10/401.28 c 384s | 17 | 999785 | 224332 | 118510 2 | 36 | 83
403.09/403.29 c 386s | 17 | 1005611 | 225532 | 118510 2 | 36 | 83
405.19/405.37 c 388s | 17 | 1011054 | 226832 | 118510 2 | 36 | 83
411.79/411.96 c 394s | 17 | 1015395 | 228032 | 118510 2 | 36 | 83
414.69/414.86 c 397s | 17 | 1018253 | 229032 | 118510 3 | 36 | 83
416.79/416.95 c 399s | 17 | 1020068 | 229632 | 118510 3 | 36 | 83
418.79/418.97 c 401s | 17 | 1023414 | 230732 | 118510 3 | 36 | 83
420.99/421.12 c 404s | 17 | 1026232 | 231732 | 118510 3 | 36 | 83
422.99/423.16 c 406s | 17 | 1031699 | 233132 | 118510 3 | 36 | 83
425.09/425.25 c 408s | 17 | 1037912 | 234832 | 118510 3 | 36 | 83
427.19/427.30 c 410s | 17 | 1045040 | 236332 | 118510 3 | 36 | 83
429.19/429.39 c 412s | 17 | 1049737 | 238132 | 118510 3 | 36 | 83
431.29/431.47 c 414s | 17 | 1055403 | 239832 | 118510 3 | 36 | 83
433.39/433.55 c 416s | 17 | 1060499 | 241532 | 118510 3 | 36 | 83
435.49/435.67 c 418s | 17 | 1065791 | 243332 | 118510 3 | 36 | 83
437.48/437.68 c 420s | 17 | 1071739 | 245032 | 118510 3 | 36 | 83
439.58/439.72 c 422s | 17 | 1076731 | 246732 | 118510 3 | 36 | 83
441.68/441.80 c 424s | 17 | 1081352 | 248232 | 118510 3 | 36 | 83
443.68/443.84 c 426s | 17 | 1085528 | 249732 | 118510 3 | 36 | 83
445.88/446.00 c 428s | 17 | 1090184 | 251232 | 118510 3 | 36 | 83
447.87/448.09 c 430s | 17 | 1094451 | 252632 | 118510 3 | 36 | 83
449.98/450.15 c 433s | 17 | 1098549 | 254032 | 118510 3 | 36 | 83
452.08/452.28 c 435s | 17 | 1102974 | 255332 | 118510 3 | 36 | 83
454.28/454.41 c 437s | 17 | 1107385 | 256732 | 118510 3 | 36 | 83
456.38/456.50 c 439s | 17 | 1111737 | 258032 | 118510 3 | 36 | 83
458.37/458.51 c 441s | 17 | 1116174 | 259232 | 118510 3 | 36 | 83
460.37/460.54 c 443s | 17 | 1119619 | 260432 | 118510 3 | 36 | 83
462.47/462.65 c 445s | 17 | 1122025 | 261332 | 118510 3 | 36 | 83
464.66/464.80 c 447s | 17 | 1127700 | 262932 | 118510 3 | 36 | 83
466.66/466.82 c 449s | 17 | 1133233 | 264232 | 118510 3 | 36 | 83
468.76/468.97 c 451s | 17 | 1137921 | 265632 | 118510 3 | 36 | 83
470.86/471.03 c 453s | 17 | 1143568 | 267032 | 118510 3 | 36 | 83
472.97/473.19 c 456s | 17 | 1149280 | 268332 | 118510 3 | 36 | 83
475.07/475.25 c 458s | 17 | 1154226 | 269632 | 118510 3 | 36 | 83
477.27/477.50 c 460s | 17 | 1159771 | 270632 | 118510 3 | 36 | 83
479.36/479.60 c 462s | 17 | 1164017 | 271732 | 118510 3 | 36 | 83
481.67/481.88 c 464s | 17 | 1169040 | 272632 | 118510 3 | 36 | 83
483.76/483.93 c 466s | 17 | 1173019 | 273532 | 118510 3 | 36 | 83
485.75/485.99 c 468s | 17 | 1178082 | 274432 | 118510 3 | 36 | 83
487.95/488.17 c 471s | 17 | 1181356 | 275232 | 118510 3 | 36 | 83
489.95/490.19 c 473s | 17 | 1185617 | 276132 | 118510 3 | 36 | 83
492.15/492.31 c 475s | 17 | 1189040 | 277032 | 118510 3 | 36 | 83
494.15/494.35 c 477s | 17 | 1192700 | 278032 | 118510 3 | 36 | 83
496.25/496.45 c 479s | 17 | 1197351 | 279032 | 118510 3 | 36 | 83
498.35/498.52 c 481s | 17 | 1202577 | 280232 | 118510 3 | 36 | 83
500.45/500.61 c 483s | 17 | 1208419 | 281432 | 118510 3 | 36 | 83
502.44/502.63 c 485s | 17 | 1212120 | 282632 | 118510 3 | 36 | 83
504.44/504.69 c 487s | 17 | 1216048 | 283732 | 118510 3 | 36 | 83
506.64/506.88 c 489s | 17 | 1221464 | 284932 | 118510 3 | 36 | 83
508.84/509.01 c 491s | 17 | 1226999 | 286232 | 118510 3 | 36 | 83
510.94/511.11 c 493s | 17 | 1232401 | 287432 | 118510 3 | 36 | 83
513.04/513.27 c 496s | 17 | 1237076 | 288732 | 118510 3 | 36 | 83
515.44/515.66 c 498s | 17 | 1240797 | 289632 | 118510 3 | 36 | 83
517.64/517.81 c 500s | 17 | 1242890 | 290232 | 118510 4 | 36 | 83
519.64/519.82 c 502s | 17 | 1245021 | 290832 | 118510 4 | 36 | 83
522.83/523.00 c 505s | 17 | 1249757 | 291932 | 118510 4 | 36 | 83
524.83/525.07 c 507s | 17 | 1251360 | 292332 | 118510 4 | 36 | 83
526.84/527.08 c 509s | 17 | 1256852 | 293532 | 118510 4 | 36 | 83
528.94/529.17 c 512s | 17 | 1264664 | 295332 | 130362 4 | 36 | 83
530.24/530.45 c 513s | 18 | 1269662 | 296252 | 130362 4 | 36 | 83
532.34/532.51 c 515s | 18 | 1277671 | 297252 | 130362 4 | 36 | 83
544.93/545.19 c 528s | 18 | 1286385 | 298952 | 130362 4 | 36 | 83
547.23/547.49 c 530s | 18 | 1287672 | 299152 | 130362 4 | 36 | 83
549.32/549.59 c 532s | 18 | 1292498 | 300152 | 130362 4 | 36 | 83
551.42/551.65 c 534s | 18 | 1297420 | 301552 | 130362 4 | 36 | 83
553.52/553.70 c 536s | 18 | 1305214 | 303152 | 130362 4 | 36 | 83
555.62/555.82 c 538s | 18 | 1313001 | 304552 | 130362 4 | 36 | 83
557.72/557.97 c 540s | 18 | 1320655 | 306052 | 130362 4 | 36 | 83
559.73/559.98 c 542s | 18 | 1326170 | 307552 | 130362 4 | 36 | 83
561.83/562.05 c 544s | 18 | 1329086 | 308052 | 130362 4 | 36 | 83
563.93/564.13 c 547s | 18 | 1335724 | 309552 | 130362 4 | 36 | 83
566.03/566.21 c 549s | 18 | 1341519 | 311052 | 130362 4 | 36 | 83
568.13/568.30 c 551s | 18 | 1346495 | 312452 | 130362 4 | 36 | 83
570.13/570.36 c 553s | 18 | 1353340 | 313952 | 130362 4 | 36 | 83
572.22/572.45 c 555s | 18 | 1359067 | 315452 | 130362 4 | 36 | 83
574.32/574.51 c 557s | 18 | 1364526 | 316952 | 130362 4 | 36 | 83
576.33/576.53 c 559s | 18 | 1369833 | 318352 | 130362 4 | 36 | 83
578.42/578.64 c 561s | 18 | 1376432 | 319852 | 130362 4 | 36 | 83
582.92/583.18 c 566s | 18 | 1381511 | 321152 | 130362 4 | 36 | 83
585.12/585.36 c 568s | 18 | 1385928 | 322152 | 130362 4 | 36 | 83
587.11/587.38 c 570s | 18 | 1391179 | 323352 | 130362 4 | 36 | 83
589.21/589.49 c 572s | 18 | 1396750 | 324552 | 130362 4 | 36 | 83
591.31/591.59 c 574s | 18 | 1402750 | 325952 | 130362 4 | 36 | 83
593.51/593.77 c 576s | 18 | 1408392 | 327152 | 130362 4 | 36 | 83
595.61/595.83 c 578s | 18 | 1413646 | 328352 | 130362 4 | 36 | 83
597.71/597.94 c 580s | 18 | 1419087 | 329552 | 130362 4 | 36 | 83
599.91/600.16 c 583s | 18 | 1424013 | 330652 | 130362 4 | 36 | 83
601.91/602.17 c 585s | 18 | 1428640 | 331652 | 130362 4 | 36 | 83
604.11/604.34 c 587s | 18 | 1433454 | 332652 | 130362 4 | 36 | 83
606.20/606.42 c 589s | 18 | 1436819 | 333652 | 130362 4 | 36 | 83
608.31/608.58 c 591s | 18 | 1442288 | 334752 | 130362 4 | 36 | 83
610.31/610.59 c 593s | 18 | 1448499 | 335952 | 130362 4 | 36 | 83
612.40/612.69 c 595s | 18 | 1453742 | 337152 | 130362 4 | 36 | 83
614.50/614.78 c 597s | 18 | 1458182 | 338252 | 130362 4 | 36 | 83
616.50/616.79 c 599s | 18 | 1463694 | 339252 | 130362 4 | 36 | 83
618.70/618.92 c 601s | 18 | 1468108 | 340552 | 130362 4 | 36 | 83
621.00/621.21 c 604s | 18 | 1471648 | 341652 | 130362 4 | 36 | 83
623.10/623.33 c 606s | 18 | 1475972 | 342652 | 130362 4 | 36 | 83
625.10/625.36 c 608s | 18 | 1479377 | 343652 | 130362 4 | 36 | 83
627.30/627.52 c 610s | 18 | 1482852 | 344352 | 130362 4 | 36 | 83
629.39/629.67 c 612s | 18 | 1487441 | 345252 | 130362 4 | 36 | 83
631.49/631.77 c 614s | 18 | 1489991 | 346052 | 130362 4 | 36 | 83
633.69/633.91 c 616s | 18 | 1493557 | 346852 | 130362 4 | 36 | 83
635.89/636.19 c 619s | 18 | 1497103 | 347752 | 130362 4 | 36 | 83
637.99/638.23 c 621s | 18 | 1500364 | 348552 | 130362 4 | 36 | 83
640.00/640.26 c 623s | 18 | 1505529 | 349452 | 130362 4 | 36 | 83
642.09/642.39 c 625s | 18 | 1508274 | 350252 | 130362 4 | 36 | 83
644.19/644.41 c 627s | 18 | 1510775 | 350952 | 130362 4 | 36 | 83
646.19/646.47 c 629s | 18 | 1513350 | 351752 | 130362 4 | 36 | 83
648.29/648.56 c 631s | 18 | 1515737 | 352452 | 130362 4 | 36 | 83
650.39/650.63 c 633s | 18 | 1518786 | 353252 | 130362 4 | 36 | 83
652.58/652.84 c 635s | 18 | 1521389 | 354052 | 130362 4 | 36 | 83
654.88/655.10 c 637s | 18 | 1523626 | 354752 | 130362 4 | 36 | 83
656.98/657.24 c 640s | 18 | 1526495 | 355552 | 130362 4 | 36 | 83
659.08/659.37 c 642s | 18 | 1530886 | 356352 | 130362 4 | 36 | 83
661.28/661.53 c 644s | 18 | 1536052 | 357352 | 130362 4 | 36 | 83
663.48/663.72 c 646s | 18 | 1541281 | 358252 | 130362 4 | 36 | 83
665.58/665.89 c 648s | 18 | 1544830 | 359252 | 130362 4 | 36 | 83
667.78/668.01 c 650s | 18 | 1548799 | 360352 | 130362 4 | 36 | 83
669.88/670.19 c 653s | 18 | 1552838 | 361352 | 130362 4 | 36 | 83
672.17/672.40 c 655s | 18 | 1557339 | 362152 | 130362 4 | 36 | 83
674.27/674.58 c 657s | 18 | 1561297 | 363052 | 130362 4 | 36 | 83
676.38/676.65 c 659s | 18 | 1564315 | 363652 | 130362 5 | 36 | 83
678.58/678.82 c 661s | 18 | 1570355 | 364852 | 130362 5 | 36 | 83
680.57/680.90 c 663s | 18 | 1572805 | 365352 | 130362 5 | 36 | 83
682.66/682.94 c 665s | 18 | 1577306 | 366552 | 130362 5 | 36 | 83
684.76/685.02 c 667s | 18 | 1583640 | 367852 | 130362 5 | 36 | 83
686.76/687.04 c 669s | 18 | 1589149 | 368852 | 130362 5 | 36 | 83
690.87/691.14 c 674s | 18 | 1592816 | 369852 | 130362 5 | 36 | 83
692.97/693.20 c 676s | 18 | 1599304 | 371252 | 130362 5 | 36 | 83
694.97/695.29 c 678s | 18 | 1604906 | 372852 | 130362 5 | 36 | 83
697.07/697.31 c 680s | 18 | 1611913 | 374452 | 130362 5 | 36 | 83
699.17/699.41 c 682s | 18 | 1618948 | 376052 | 130362 5 | 36 | 83
701.17/701.43 c 684s | 18 | 1626254 | 377752 | 130362 5 | 36 | 83
703.26/703.51 c 686s | 18 | 1635557 | 379452 | 130362 5 | 36 | 83
705.36/705.61 c 688s | 18 | 1643184 | 380952 | 130362 5 | 36 | 83
707.46/707.70 c 690s | 18 | 1648827 | 382052 | 130362 5 | 36 | 83
709.46/709.73 c 692s | 18 | 1653794 | 383352 | 130362 5 | 36 | 83
711.47/711.76 c 694s | 18 | 1660548 | 384852 | 130362 5 | 36 | 83
713.46/713.78 c 696s | 18 | 1666175 | 386152 | 130362 5 | 36 | 83
715.56/715.85 c 698s | 18 | 1671404 | 387552 | 130362 5 | 36 | 83
717.66/717.91 c 700s | 18 | 1676422 | 388852 | 130362 5 | 36 | 83
719.76/720.01 c 702s | 18 | 1680674 | 390152 | 130362 5 | 36 | 83
721.76/722.09 c 704s | 18 | 1685109 | 391452 | 130362 5 | 36 | 83
723.85/724.13 c 707s | 18 | 1691097 | 392852 | 130362 5 | 36 | 83
725.86/726.14 c 709s | 18 | 1694272 | 393952 | 130362 5 | 36 | 83
727.96/728.25 c 711s | 18 | 1698232 | 395152 | 130362 5 | 36 | 83
730.05/730.38 c 713s | 18 | 1700640 | 395852 | 130362 5 | 36 | 83
732.25/732.56 c 715s | 18 | 1704761 | 396952 | 130362 5 | 36 | 83
734.35/734.65 c 717s | 18 | 1709016 | 397952 | 130362 5 | 36 | 83
736.45/736.74 c 719s | 18 | 1714557 | 399152 | 130362 5 | 36 | 83
738.65/738.94 c 721s | 18 | 1718812 | 400252 | 130362 5 | 36 | 83
740.84/741.12 c 724s | 18 | 1724838 | 401452 | 130362 5 | 36 | 83
742.94/743.25 c 726s | 18 | 1730138 | 402552 | 130362 5 | 36 | 83
745.14/745.40 c 728s | 18 | 1737032 | 403852 | 130362 5 | 36 | 83
747.14/747.43 c 730s | 18 | 1744880 | 405052 | 130362 5 | 36 | 83
749.14/749.48 c 732s | 18 | 1750354 | 406252 | 130362 5 | 36 | 83
751.34/751.63 c 734s | 18 | 1755872 | 407452 | 130362 5 | 36 | 83
753.44/753.74 c 736s | 18 | 1760317 | 408552 | 130362 5 | 36 | 83
755.64/755.94 c 738s | 18 | 1765410 | 409852 | 130362 5 | 36 | 83
757.75/758.00 c 740s | 18 | 1771304 | 410952 | 130362 5 | 36 | 83
759.74/760.03 c 742s | 18 | 1775689 | 411852 | 130362 5 | 36 | 83
761.94/762.22 c 745s | 18 | 1780375 | 413052 | 130362 5 | 36 | 83
763.94/764.26 c 747s | 18 | 1784577 | 414052 | 130362 5 | 36 | 83
766.14/766.40 c 749s | 18 | 1788560 | 415052 | 130362 5 | 36 | 83
768.14/768.45 c 751s | 18 | 1795026 | 416252 | 130362 5 | 36 | 83
770.13/770.46 c 753s | 18 | 1802775 | 417452 | 130362 5 | 36 | 83
772.13/772.46 c 755s | 18 | 1808090 | 418552 | 130362 5 | 36 | 83
774.33/774.60 c 757s | 18 | 1813429 | 419452 | 130362 5 | 36 | 83
776.44/776.75 c 759s | 18 | 1818235 | 420752 | 130362 5 | 36 | 83
778.54/778.88 c 761s | 18 | 1824814 | 421952 | 130362 5 | 36 | 83
780.63/780.95 c 763s | 18 | 1828585 | 423052 | 130362 5 | 36 | 83
782.72/783.01 c 765s | 18 | 1831910 | 423952 | 130362 5 | 36 | 83
784.82/785.10 c 767s | 18 | 1834830 | 424952 | 130362 5 | 36 | 83
786.92/787.26 c 770s | 18 | 1843213 | 426152 | 130362 5 | 36 | 83
789.02/789.37 c 772s | 18 | 1846973 | 427152 | 130362 5 | 36 | 83
791.12/791.46 c 774s | 18 | 1850495 | 428052 | 130362 5 | 36 | 83
793.12/793.46 c 776s | 18 | 1853816 | 429052 | 130362 5 | 36 | 83
795.22/795.56 c 778s | 18 | 1859167 | 430252 | 130362 5 | 36 | 83
798.32/798.62 c 781s | 18 | 1861924 | 430652 | 130362 6 | 36 | 83
800.32/800.62 c 783s | 18 | 1866415 | 431652 | 130362 6 | 36 | 83
802.51/802.81 c 785s | 18 | 1873997 | 433052 | 130362 6 | 36 | 83
804.71/805.06 c 787s | 18 | 1878986 | 434252 | 130362 6 | 36 | 83
806.71/807.08 c 789s | 18 | 1880919 | 434952 | 130362 6 | 36 | 83
808.91/809.22 c 792s | 18 | 1884354 | 436252 | 130362 6 | 36 | 83
811.01/811.38 c 794s | 18 | 1888734 | 437852 | 130362 6 | 36 | 83
813.01/813.38 c 796s | 18 | 1894844 | 439352 | 130362 6 | 36 | 83
815.21/815.50 c 798s | 18 | 1898824 | 440452 | 130362 6 | 36 | 83
817.21/817.54 c 800s | 18 | 1903837 | 441952 | 143399 6 | 36 | 83
819.21/819.55 c 802s | 18 | 1908888 | 443252 | 143399 6 | 36 | 83
821.21/821.51 c 804s | 19 | 1912741 | 444482 | 143399 6 | 36 | 83
823.30/823.60 c 806s | 19 | 1919182 | 445482 | 143399 6 | 36 | 83
827.31/827.63 c 810s | 19 | 1920506 | 445982 | 143399 6 | 36 | 83
829.51/829.89 c 812s | 19 | 1921035 | 446082 | 143399 6 | 36 | 83
833.21/833.52 c 816s | 19 | 1923973 | 446682 | 143399 6 | 36 | 83
835.21/835.56 c 818s | 19 | 1929718 | 448182 | 143399 6 | 36 | 83
845.09/845.42 c 828s | 19 | 1934393 | 449582 | 143399 6 | 36 | 83
847.09/847.42 c 830s | 19 | 1939188 | 450682 | 143399 6 | 36 | 83
849.29/849.60 c 832s | 19 | 1943943 | 452182 | 143399 6 | 36 | 83
851.29/851.60 c 834s | 19 | 1947411 | 453382 | 143399 6 | 36 | 83
853.40/853.71 c 836s | 19 | 1954009 | 454682 | 143399 6 | 36 | 83
855.39/855.79 c 838s | 19 | 1959512 | 456082 | 143399 6 | 36 | 83
857.59/857.97 c 840s | 19 | 1965307 | 457382 | 143399 6 | 36 | 83
859.69/860.09 c 842s | 19 | 1970748 | 458782 | 143399 6 | 36 | 83
861.79/862.10 c 844s | 19 | 1975130 | 460082 | 143399 6 | 36 | 83
863.78/864.18 c 847s | 19 | 1980299 | 461382 | 143399 6 | 36 | 83
865.88/866.21 c 849s | 19 | 1984811 | 462682 | 143399 6 | 36 | 83
867.98/868.33 c 851s | 19 | 1990221 | 463982 | 143399 6 | 36 | 83
870.08/870.46 c 853s | 19 | 1995823 | 465582 | 143399 6 | 36 | 83
872.18/872.51 c 855s | 19 | 2001457 | 466882 | 143399 6 | 36 | 83
874.28/874.64 c 857s | 19 | 2007387 | 468082 | 143399 6 | 36 | 83
876.27/876.68 c 859s | 19 | 2014025 | 469382 | 143399 6 | 36 | 83
878.37/878.71 c 861s | 19 | 2021099 | 470882 | 143399 6 | 36 | 83
880.47/880.85 c 863s | 19 | 2026666 | 472182 | 143399 6 | 36 | 83
884.09/884.50 c 867s | 19 | 2029479 | 472882 | 143399 6 | 36 | 83
886.29/886.62 c 869s | 19 | 2034949 | 474482 | 143399 6 | 36 | 83
888.38/888.75 c 871s | 19 | 2040207 | 475882 | 143399 6 | 36 | 83
890.48/890.86 c 873s | 19 | 2044815 | 476882 | 143399 6 | 36 | 83
899.77/900.16 c 883s | 19 | 2045411 | 477082 | 143399 6 | 36 | 83
901.96/902.30 c 885s | 19 | 2051236 | 478282 | 143399 6 | 36 | 83
903.97/904.37 c 887s | 19 | 2056261 | 479482 | 143399 6 | 36 | 83
906.07/906.49 c 889s | 19 | 2061257 | 480782 | 143399 6 | 36 | 83
908.27/908.62 c 891s | 19 | 2066195 | 482282 | 143399 6 | 36 | 83
910.36/910.74 c 893s | 19 | 2068262 | 483282 | 143399 6 | 36 | 83
912.46/912.83 c 895s | 19 | 2072068 | 484482 | 143399 6 | 36 | 83
914.56/914.98 c 897s | 19 | 2077133 | 485682 | 143399 6 | 36 | 83
916.76/917.12 c 900s | 19 | 2080953 | 486882 | 143399 6 | 36 | 83
918.76/919.14 c 902s | 19 | 2085975 | 488282 | 143399 6 | 36 | 83
920.86/921.21 c 904s | 19 | 2089261 | 489382 | 143399 6 | 36 | 83
922.96/923.31 c 906s | 19 | 2093330 | 490582 | 143399 6 | 36 | 83
924.96/925.37 c 908s | 19 | 2098587 | 491882 | 143399 6 | 36 | 83
926.96/927.38 c 910s | 19 | 2103174 | 493082 | 143399 6 | 36 | 83
929.16/929.53 c 912s | 19 | 2107272 | 494282 | 143399 6 | 36 | 83
933.45/933.85 c 916s | 19 | 2111346 | 495382 | 143399 6 | 36 | 83
935.56/935.91 c 918s | 19 | 2115590 | 496682 | 143399 6 | 36 | 83
937.66/938.03 c 920s | 19 | 2119451 | 497682 | 143399 6 | 36 | 83
939.76/940.13 c 923s | 19 | 2124308 | 498882 | 143399 6 | 36 | 83
941.76/942.16 c 925s | 19 | 2130577 | 500182 | 143399 6 | 36 | 83
943.86/944.21 c 927s | 19 | 2135126 | 501482 | 143399 6 | 36 | 83
945.86/946.29 c 929s | 19 | 2138609 | 502582 | 143399 6 | 36 | 83
947.86/948.30 c 931s | 19 | 2143541 | 503882 | 143399 6 | 36 | 83
949.96/950.40 c 933s | 19 | 2149431 | 505282 | 143399 6 | 36 | 83
952.15/952.53 c 935s | 19 | 2155365 | 506582 | 143399 6 | 36 | 83
954.15/954.54 c 937s | 19 | 2159744 | 507782 | 143399 6 | 36 | 83
956.25/956.61 c 939s | 19 | 2163994 | 508682 | 143399 6 | 36 | 83
958.25/958.64 c 941s | 19 | 2167655 | 510082 | 143399 6 | 36 | 83
960.55/960.92 c 943s | 19 | 2169163 | 510582 | 143399 7 | 36 | 83
966.15/966.56 c 949s | 19 | 2170242 | 511082 | 143399 7 | 36 | 83
968.14/968.57 c 951s | 19 | 2171415 | 511382 | 143399 7 | 36 | 83
971.05/971.46 c 954s | 19 | 2174661 | 512582 | 143399 7 | 36 | 83
975.54/975.91 c 958s | 19 | 2179365 | 513482 | 143399 7 | 36 | 83
977.55/978.00 c 960s | 19 | 2184676 | 514882 | 143399 7 | 36 | 83
979.64/980.09 c 962s | 19 | 2191908 | 516482 | 143399 7 | 36 | 83
981.64/982.09 c 964s | 19 | 2197493 | 517882 | 143399 7 | 36 | 83
983.84/984.21 c 967s | 19 | 2203156 | 519282 | 143399 7 | 36 | 83
985.94/986.33 c 969s | 19 | 2208002 | 520682 | 143399 7 | 36 | 83
988.04/988.42 c 971s | 19 | 2213291 | 521982 | 143399 7 | 36 | 83
990.04/990.44 c 973s | 19 | 2219016 | 523382 | 143399 7 | 36 | 83
992.14/992.50 c 975s | 19 | 2225456 | 524882 | 143399 7 | 36 | 83
994.14/994.57 c 977s | 19 | 2232129 | 526382 | 143399 7 | 36 | 83
996.24/996.62 c 979s | 19 | 2238349 | 527882 | 143399 7 | 36 | 83
998.34/998.71 c 981s | 19 | 2245758 | 529382 | 143399 7 | 36 | 83
1000.44/1000.83 c 983s | 19 | 2249847 | 530782 | 143399 7 | 36 | 83
1002.44/1002.87 c 985s | 19 | 2254466 | 532382 | 143399 7 | 36 | 83
1004.54/1004.93 c 987s | 19 | 2261998 | 533782 | 143399 7 | 36 | 83
1006.64/1007.04 c 989s | 19 | 2268471 | 535282 | 143399 7 | 36 | 83
1008.64/1009.04 c 991s | 19 | 2275576 | 536782 | 143399 7 | 36 | 83
1010.74/1011.14 c 994s | 19 | 2281608 | 538282 | 143399 7 | 36 | 83
1012.74/1013.18 c 996s | 19 | 2287258 | 539882 | 143399 7 | 36 | 83
1014.73/1015.19 c 998s | 19 | 2292689 | 541082 | 143399 7 | 36 | 83
1016.83/1017.28 c 1000s | 19 | 2298486 | 542482 | 143399 7 | 36 | 83
1018.93/1019.33 c 1002s | 19 | 2306028 | 544082 | 143399 7 | 36 | 83
1021.03/1021.48 c 1004s | 19 | 2311725 | 545382 | 143399 7 | 36 | 83
1023.23/1023.65 c 1006s | 19 | 2317381 | 546682 | 143399 7 | 36 | 83
1025.23/1025.66 c 1008s | 19 | 2323865 | 548082 | 143399 7 | 36 | 83
1027.33/1027.70 c 1010s | 19 | 2328516 | 549582 | 143399 7 | 36 | 83
1029.34/1029.75 c 1012s | 19 | 2332930 | 550982 | 143399 7 | 36 | 83
1031.44/1031.88 c 1014s | 19 | 2338357 | 552382 | 143399 7 | 36 | 83
1033.53/1033.91 c 1016s | 19 | 2342595 | 553882 | 143399 7 | 36 | 83
1035.53/1035.99 c 1018s | 19 | 2347925 | 555282 | 143399 7 | 36 | 83
1037.63/1038.00 c 1020s | 19 | 2352435 | 556482 | 143399 7 | 36 | 83
1039.73/1040.13 c 1023s | 19 | 2357869 | 557882 | 143399 7 | 36 | 83
1041.93/1042.30 c 1025s | 19 | 2364303 | 559182 | 143399 7 | 36 | 83
1043.93/1044.31 c 1027s | 19 | 2370606 | 560482 | 143399 7 | 36 | 83
1046.03/1046.42 c 1029s | 19 | 2375038 | 561782 | 143399 7 | 36 | 83
1048.04/1048.47 c 1031s | 19 | 2379640 | 562982 | 143399 7 | 36 | 83
1050.24/1050.61 c 1033s | 19 | 2385283 | 564282 | 143399 7 | 36 | 83
1052.34/1052.73 c 1035s | 19 | 2390334 | 565682 | 143399 7 | 36 | 83
1054.33/1054.79 c 1037s | 19 | 2395793 | 566982 | 143399 7 | 36 | 83
1056.43/1056.85 c 1039s | 19 | 2401422 | 568182 | 143399 7 | 36 | 83
1058.53/1058.96 c 1041s | 19 | 2407596 | 569482 | 143399 7 | 36 | 83
1060.53/1060.97 c 1043s | 19 | 2411206 | 570582 | 143399 7 | 36 | 83
1062.63/1063.03 c 1045s | 19 | 2414993 | 571782 | 143399 7 | 36 | 83
1064.73/1065.13 c 1048s | 19 | 2420068 | 572882 | 143399 7 | 36 | 83
1066.83/1067.28 c 1050s | 19 | 2425504 | 573982 | 143399 7 | 36 | 83
1069.03/1069.45 c 1052s | 19 | 2430286 | 575182 | 143399 7 | 36 | 83
1071.13/1071.59 c 1054s | 19 | 2435349 | 576282 | 143399 7 | 36 | 83
1073.33/1073.72 c 1056s | 19 | 2439223 | 577182 | 143399 7 | 36 | 83
1075.43/1075.84 c 1058s | 19 | 2443569 | 578282 | 143399 7 | 36 | 83
1077.53/1077.97 c 1060s | 19 | 2446894 | 579182 | 143399 7 | 36 | 83
1079.62/1080.04 c 1062s | 19 | 2451476 | 580182 | 143399 7 | 36 | 83
1081.72/1082.17 c 1065s | 19 | 2456252 | 581382 | 143399 7 | 36 | 83
1083.92/1084.34 c 1067s | 19 | 2460036 | 582482 | 143399 7 | 36 | 83
1086.12/1086.50 c 1069s | 19 | 2463395 | 583482 | 143399 7 | 36 | 83
1088.32/1088.71 c 1071s | 19 | 2465871 | 584082 | 143399 8 | 36 | 83
1090.62/1091.02 c 1073s | 19 | 2468726 | 584682 | 143399 8 | 36 | 83
1092.82/1093.22 c 1076s | 19 | 2471742 | 585382 | 143399 8 | 36 | 83
1094.92/1095.32 c 1078s | 19 | 2476802 | 586782 | 143399 8 | 36 | 83
1097.02/1097.45 c 1080s | 19 | 2482656 | 588282 | 143399 8 | 36 | 83
1099.12/1099.56 c 1082s | 19 | 2489116 | 589782 | 143399 8 | 36 | 83
1101.22/1101.64 c 1084s | 19 | 2494064 | 591082 | 143399 8 | 36 | 83
1103.22/1103.66 c 1086s | 19 | 2498191 | 592082 | 143399 8 | 36 | 83
1105.32/1105.76 c 1088s | 19 | 2503184 | 593682 | 143399 8 | 36 | 83
1110.22/1110.69 c 1093s | 19 | 2506424 | 594882 | 143399 8 | 36 | 83
1112.62/1113.00 c 1095s | 19 | 2508589 | 595582 | 143399 8 | 36 | 83
1114.62/1115.09 c 1097s | 19 | 2510190 | 595982 | 143399 8 | 36 | 83
1116.72/1117.19 c 1100s | 19 | 2517347 | 597382 | 143399 8 | 36 | 83
1118.72/1119.19 c 1102s | 19 | 2523771 | 598782 | 143399 8 | 36 | 83
1120.82/1121.24 c 1104s | 19 | 2529873 | 600082 | 143399 8 | 36 | 83
1123.02/1123.48 c 1106s | 19 | 2532233 | 600682 | 143399 8 | 36 | 83
1125.12/1125.53 c 1108s | 19 | 2537544 | 601982 | 143399 8 | 36 | 83
1127.23/1127.61 c 1110s | 19 | 2545331 | 603582 | 143399 8 | 36 | 83
1129.33/1129.71 c 1112s | 19 | 2550387 | 604982 | 143399 8 | 36 | 83
1131.32/1131.78 c 1114s | 19 | 2555737 | 606582 | 143399 8 | 36 | 83
1133.42/1133.84 c 1116s | 19 | 2559729 | 607782 | 143399 8 | 36 | 83
1135.52/1135.98 c 1118s | 19 | 2564535 | 609182 | 143399 8 | 36 | 83
1137.52/1137.99 c 1120s | 19 | 2569955 | 610482 | 143399 8 | 36 | 83
1139.72/1140.10 c 1122s | 19 | 2574404 | 611682 | 143399 8 | 36 | 83
1141.72/1142.10 c 1124s | 19 | 2578008 | 612882 | 143399 8 | 36 | 83
1143.72/1144.18 c 1127s | 19 | 2582135 | 614082 | 143399 8 | 36 | 83
1145.82/1146.21 c 1129s | 19 | 2585808 | 615282 | 143399 8 | 36 | 83
1147.92/1148.36 c 1131s | 19 | 2590664 | 616482 | 143399 8 | 36 | 83
1150.02/1150.41 c 1133s | 19 | 2594692 | 617582 | 143399 8 | 36 | 83
1152.02/1152.49 c 1135s | 19 | 2598525 | 618582 | 143399 8 | 36 | 83
1154.22/1154.62 c 1137s | 19 | 2602537 | 619682 | 143399 8 | 36 | 83
1156.32/1156.72 c 1139s | 19 | 2606161 | 620882 | 143399 8 | 36 | 83
1158.41/1158.80 c 1141s | 19 | 2609817 | 622082 | 143399 8 | 36 | 83
1160.61/1161.02 c 1143s | 19 | 2614150 | 623182 | 143399 8 | 36 | 83
1162.72/1163.10 c 1145s | 19 | 2617959 | 624382 | 143399 8 | 36 | 83
1164.72/1165.11 c 1147s | 19 | 2621692 | 625282 | 143399 8 | 36 | 83
1166.82/1167.23 c 1150s | 19 | 2626333 | 626482 | 143399 8 | 36 | 83
1168.92/1169.36 c 1152s | 19 | 2631907 | 627782 | 143399 8 | 36 | 83
1171.01/1171.42 c 1154s | 19 | 2637785 | 628982 | 143399 8 | 36 | 83
1173.11/1173.57 c 1156s | 19 | 2641547 | 630082 | 143399 8 | 36 | 83
1175.31/1175.71 c 1158s | 19 | 2647571 | 631182 | 143399 8 | 36 | 83
1177.31/1177.78 c 1160s | 19 | 2651532 | 632382 | 143399 8 | 36 | 83
1179.41/1179.82 c 1162s | 19 | 2655373 | 633482 | 143399 8 | 36 | 83
1181.51/1181.96 c 1164s | 19 | 2658791 | 634682 | 143399 8 | 36 | 83
1183.61/1184.03 c 1166s | 19 | 2662221 | 635782 | 143399 8 | 36 | 83
1185.71/1186.12 c 1169s | 19 | 2665253 | 636982 | 143399 8 | 36 | 83
1187.72/1188.16 c 1171s | 19 | 2668459 | 637982 | 143399 8 | 36 | 83
1189.82/1190.23 c 1173s | 19 | 2672597 | 638882 | 143399 8 | 36 | 83
1191.91/1192.32 c 1175s | 19 | 2676347 | 639982 | 143399 8 | 36 | 83
1193.91/1194.34 c 1177s | 19 | 2679143 | 641082 | 143399 8 | 36 | 83
1196.01/1196.46 c 1179s | 19 | 2682276 | 642082 | 143399 8 | 36 | 83
1198.11/1198.56 c 1181s | 19 | 2685627 | 643182 | 143399 8 | 36 | 83
1200.21/1200.61 c 1183s | 19 | 2688944 | 644382 | 143399 8 | 36 | 83
1202.21/1202.66 c 1185s | 19 | 2692474 | 645482 | 143399 8 | 36 | 83
1204.31/1204.71 c 1187s | 19 | 2697388 | 646582 | 143399 8 | 36 | 83
1206.32/1206.80 c 1189s | 19 | 2700622 | 647582 | 143399 8 | 36 | 83
1208.51/1208.97 c 1191s | 19 | 2705900 | 648782 | 143399 8 | 36 | 83
1210.61/1211.08 c 1193s | 19 | 2710899 | 649882 | 143399 8 | 36 | 83
1212.81/1213.27 c 1196s | 19 | 2714382 | 650882 | 143399 8 | 36 | 83
1215.01/1215.48 c 1198s | 19 | 2718724 | 651882 | 143399 8 | 36 | 83
1217.11/1217.53 c 1200s | 19 | 2722043 | 652782 | 143399 8 | 36 | 83
1219.31/1219.70 c 1202s | 19 | 2725966 | 653682 | 143399 8 | 36 | 83
1221.41/1221.89 c 1204s | 19 | 2730148 | 654682 | 143399 8 | 36 | 83
1223.61/1224.06 c 1206s | 19 | 2734323 | 655682 | 143399 8 | 36 | 83
1225.60/1226.08 c 1208s | 19 | 2737391 | 656582 | 143399 8 | 36 | 83
1227.80/1228.21 c 1211s | 19 | 2740825 | 657582 | 143399 8 | 36 | 83
1230.00/1230.49 c 1213s | 19 | 2741487 | 657782 | 143399 9 | 36 | 83
1232.20/1232.65 c 1215s | 19 | 2745244 | 658682 | 143399 9 | 36 | 83
1239.20/1239.63 c 1222s | 19 | 2745769 | 658782 | 143399 9 | 36 | 83
1243.00/1243.49 c 1226s | 19 | 2746065 | 658882 | 143399 9 | 36 | 83
1245.60/1246.09 c 1228s | 19 | 2746551 | 658982 | 143399 9 | 36 | 83
1248.70/1249.16 c 1232s | 19 | 2747676 | 659182 | 143399 9 | 36 | 83
1250.80/1251.25 c 1234s | 19 | 2752386 | 660382 | 143399 9 | 36 | 83
1252.90/1253.37 c 1236s | 19 | 2759099 | 661782 | 143399 9 | 36 | 83
1255.50/1255.92 c 1238s | 19 | 2759626 | 661882 | 143399 9 | 36 | 83
1257.50/1257.98 c 1240s | 19 | 2765162 | 663082 | 157739 9 | 36 | 83
1259.59/1260.04 c 1242s | 19 | 2767701 | 663682 | 157739 9 | 36 | 83
1261.59/1262.05 c 1244s | 19 | 2771726 | 664782 | 157739 9 | 36 | 83
1263.60/1264.06 c 1246s | 19 | 2777043 | 666082 | 157739 9 | 36 | 83
1264.60/1265.07 c 1247s | 20 | 2779626 | 666827 | 157739 9 | 36 | 83
1266.59/1267.08 c 1249s | 20 | 2787358 | 667827 | 157739 9 | 36 | 83
1268.79/1269.23 c 1252s | 20 | 2790596 | 668527 | 157739 9 | 36 | 83
1270.80/1271.28 c 1254s | 20 | 2795046 | 669427 | 157739 9 | 36 | 83
1272.90/1273.38 c 1256s | 20 | 2803549 | 671027 | 157739 9 | 36 | 83
1275.00/1275.41 c 1258s | 20 | 2809809 | 672427 | 157739 9 | 36 | 83
1276.99/1277.46 c 1260s | 20 | 2816167 | 673627 | 157739 9 | 36 | 83
1284.79/1285.22 c 1268s | 20 | 2817349 | 673827 | 157739 9 | 36 | 83
1286.79/1287.28 c 1270s | 20 | 2820511 | 674527 | 157739 9 | 36 | 83
1288.80/1289.28 c 1272s | 20 | 2826743 | 675927 | 157739 9 | 36 | 83
1293.20/1293.70 c 1276s | 20 | 2831518 | 677127 | 157739 9 | 36 | 83
1295.40/1295.83 c 1278s | 20 | 2838552 | 678627 | 157739 9 | 36 | 83
1297.49/1297.95 c 1280s | 20 | 2844093 | 679927 | 157739 9 | 36 | 83
1299.59/1300.03 c 1282s | 20 | 2849029 | 681227 | 157739 9 | 36 | 83
1301.69/1302.12 c 1285s | 20 | 2853736 | 682427 | 157739 9 | 36 | 83
1303.79/1304.21 c 1287s | 20 | 2861191 | 683727 | 157739 9 | 36 | 83
1305.89/1306.30 c 1289s | 20 | 2866161 | 684927 | 157739 9 | 36 | 83
1307.99/1308.40 c 1291s | 20 | 2871675 | 686327 | 157739 9 | 36 | 83
1309.99/1310.46 c 1293s | 20 | 2878804 | 687927 | 157739 9 | 36 | 83
1312.29/1312.73 c 1295s | 20 | 2885010 | 689127 | 157739 9 | 36 | 83
1314.29/1314.78 c 1297s | 20 | 2891039 | 690427 | 157739 9 | 36 | 83
1316.39/1316.85 c 1299s | 20 | 2896004 | 691727 | 157739 9 | 36 | 83
1318.49/1318.92 c 1301s | 20 | 2901519 | 692927 | 157739 9 | 36 | 83
1320.49/1320.97 c 1303s | 20 | 2906173 | 694127 | 157739 9 | 36 | 83
1322.59/1323.04 c 1305s | 20 | 2910717 | 695227 | 157739 9 | 36 | 83
1324.69/1325.18 c 1308s | 20 | 2916468 | 696427 | 157739 9 | 36 | 83
1326.79/1327.26 c 1310s | 20 | 2921143 | 697827 | 157739 9 | 36 | 83
1328.89/1329.36 c 1312s | 20 | 2926187 | 698927 | 157739 9 | 36 | 83
1330.98/1331.46 c 1314s | 20 | 2931456 | 700027 | 157739 9 | 36 | 83
1332.98/1333.48 c 1316s | 20 | 2936879 | 701127 | 157739 9 | 36 | 83
1335.18/1335.61 c 1318s | 20 | 2941324 | 702127 | 157739 9 | 36 | 83
1337.19/1337.62 c 1320s | 20 | 2945523 | 703127 | 157739 9 | 36 | 83
1339.28/1339.75 c 1322s | 20 | 2949270 | 704027 | 157739 9 | 36 | 83
1341.28/1341.77 c 1324s | 20 | 2952833 | 705027 | 157739 9 | 36 | 83
1343.48/1344.00 c 1326s | 20 | 2956615 | 706127 | 157739 9 | 36 | 83
1345.58/1346.05 c 1328s | 20 | 2961318 | 707127 | 157739 9 | 36 | 83
1347.68/1348.17 c 1331s | 20 | 2966152 | 708427 | 157739 9 | 36 | 83
1349.98/1350.43 c 1333s | 20 | 2971234 | 709627 | 157739 9 | 36 | 83
1351.98/1352.44 c 1335s | 20 | 2974152 | 710527 | 157739 9 | 36 | 83
1353.98/1354.49 c 1337s | 20 | 2978313 | 711627 | 157739 9 | 36 | 83
1356.28/1356.72 c 1339s | 20 | 2981836 | 712827 | 157739 9 | 36 | 83
1358.38/1358.84 c 1341s | 20 | 2985880 | 713927 | 157739 9 | 36 | 83
1360.38/1360.84 c 1343s | 20 | 2990668 | 714827 | 157739 9 | 36 | 83
1362.38/1362.90 c 1345s | 20 | 2996065 | 716127 | 157739 9 | 36 | 83
1364.48/1364.97 c 1347s | 20 | 3000713 | 717227 | 157739 9 | 36 | 83
1366.68/1367.10 c 1349s | 20 | 3005616 | 718427 | 157739 9 | 36 | 83
1368.77/1369.20 c 1352s | 20 | 3010776 | 719727 | 157739 9 | 36 | 83
1370.77/1371.22 c 1354s | 20 | 3017069 | 721227 | 157739 9 | 36 | 83
1372.87/1373.35 c 1356s | 20 | 3022460 | 722427 | 157739 9 | 36 | 83
1374.97/1375.45 c 1358s | 20 | 3028254 | 723627 | 157739 9 | 36 | 83
1377.17/1377.60 c 1360s | 20 | 3034472 | 724927 | 157739 9 | 36 | 83
1379.17/1379.68 c 1362s | 20 | 3039761 | 725927 | 157739 9 | 36 | 83
1381.37/1381.86 c 1364s | 20 | 3043086 | 726727 | 157739 9 | 36 | 83
1383.48/1383.93 c 1366s | 20 | 3046711 | 727727 | 157739 9 | 36 | 83
1385.58/1386.01 c 1368s | 20 | 3052741 | 729127 | 157739 9 | 36 | 83
1387.57/1388.03 c 1370s | 20 | 3058191 | 730327 | 157739 9 | 36 | 83
1389.67/1390.10 c 1372s | 20 | 3063363 | 731527 | 157739 9 | 36 | 83
1391.67/1392.13 c 1375s | 20 | 3069707 | 732727 | 157739 9 | 36 | 83
1393.77/1394.24 c 1377s | 20 | 3074344 | 733827 | 157739 9 | 36 | 83
1395.77/1396.27 c 1379s | 20 | 3077952 | 734727 | 157739 9 | 36 | 83
1397.77/1398.28 c 1381s | 20 | 3080772 | 735527 | 157739 9 | 36 | 83
1399.87/1400.37 c 1383s | 20 | 3085803 | 736627 | 157739 9 | 36 | 83
1402.07/1402.59 c 1385s | 20 | 3090414 | 737827 | 157739 9 | 36 | 83
1404.27/1404.74 c 1387s | 20 | 3094351 | 738827 | 157739 9 | 36 | 83
1406.37/1406.83 c 1389s | 20 | 3097604 | 739627 | 157739 9 | 36 | 83
1408.37/1408.88 c 1391s | 20 | 3101683 | 740627 | 157739 9 | 36 | 83
1410.47/1410.91 c 1393s | 20 | 3106765 | 741727 | 157739 9 | 36 | 83
1412.47/1412.92 c 1395s | 20 | 3110224 | 742527 | 157739 9 | 36 | 83
1414.67/1415.13 c 1398s | 20 | 3114037 | 743427 | 157739 9 | 36 | 83
1416.86/1417.32 c 1400s | 20 | 3118561 | 744427 | 157739 9 | 36 | 83
1418.97/1419.49 c 1402s | 20 | 3123070 | 745627 | 157739 9 | 36 | 83
1421.06/1421.52 c 1404s | 20 | 3125394 | 746227 | 157739 10 | 36 | 83
1423.07/1423.54 c 1406s | 20 | 3129589 | 747327 | 157739 10 | 36 | 83
1425.17/1425.69 c 1408s | 20 | 3134573 | 748527 | 157739 10 | 36 | 83
1435.67/1436.18 c 1419s | 20 | 3138288 | 749527 | 157739 10 | 36 | 83
1437.77/1438.27 c 1421s | 20 | 3145067 | 751027 | 157739 10 | 36 | 83
1439.87/1440.38 c 1423s | 20 | 3152624 | 752727 | 157739 10 | 36 | 83
1441.97/1442.44 c 1425s | 20 | 3159530 | 754327 | 157739 10 | 36 | 83
1444.07/1444.52 c 1427s | 20 | 3167450 | 756027 | 157739 10 | 36 | 83
1446.07/1446.55 c 1429s | 20 | 3175115 | 757827 | 157739 10 | 36 | 83
1448.17/1448.60 c 1431s | 20 | 3181814 | 759627 | 157739 10 | 36 | 83
1450.27/1450.70 c 1433s | 20 | 3189932 | 761527 | 157739 10 | 36 | 83
1452.27/1452.78 c 1435s | 20 | 3198431 | 763427 | 157739 10 | 36 | 83
1455.26/1455.79 c 1438s | 20 | 3199890 | 763727 | 157739 10 | 36 | 83
1457.46/1457.94 c 1440s | 20 | 3207131 | 765627 | 157739 10 | 36 | 83
1459.56/1460.01 c 1442s | 20 | 3214122 | 766927 | 157739 10 | 36 | 83
1461.66/1462.12 c 1445s | 20 | 3221311 | 768527 | 157739 10 | 36 | 83
1463.86/1464.32 c 1447s | 20 | 3226729 | 769727 | 157739 10 | 36 | 83
1465.96/1466.44 c 1449s | 20 | 3232455 | 770927 | 157739 10 | 36 | 83
1468.36/1468.85 c 1451s | 20 | 3234397 | 771327 | 157739 10 | 36 | 83
1470.56/1471.03 c 1453s | 20 | 3240375 | 772627 | 157739 10 | 36 | 83
1472.57/1473.06 c 1455s | 20 | 3247096 | 773927 | 157739 10 | 36 | 83
1474.56/1475.08 c 1457s | 20 | 3250460 | 775027 | 157739 10 | 36 | 83
1476.87/1477.40 c 1460s | 20 | 3253796 | 775927 | 157739 10 | 36 | 83
1478.96/1479.41 c 1462s | 20 | 3261729 | 777227 | 157739 10 | 36 | 83
1480.96/1481.45 c 1464s | 20 | 3267533 | 778527 | 157739 10 | 36 | 83
1483.06/1483.55 c 1466s | 20 | 3273406 | 779827 | 157739 10 | 36 | 83
1485.26/1485.70 c 1468s | 20 | 3278514 | 781027 | 157739 10 | 36 | 83
1487.26/1487.73 c 1470s | 20 | 3283174 | 782527 | 157739 10 | 36 | 83
1489.75/1490.28 c 1473s | 20 | 3286259 | 783427 | 157739 10 | 36 | 83
1491.85/1492.33 c 1475s | 20 | 3290879 | 784527 | 157739 10 | 36 | 83
1494.05/1494.52 c 1477s | 20 | 3295718 | 785727 | 157739 10 | 36 | 83
1496.15/1496.61 c 1479s | 20 | 3301627 | 786927 | 157739 10 | 36 | 83
1498.15/1498.69 c 1481s | 20 | 3306541 | 788027 | 157739 10 | 36 | 83
1500.35/1500.81 c 1483s | 20 | 3312130 | 789227 | 157739 10 | 36 | 83
1502.35/1502.89 c 1485s | 20 | 3317806 | 790527 | 157739 10 | 36 | 83
1504.46/1504.97 c 1487s | 20 | 3324038 | 791827 | 157739 10 | 36 | 83
1506.66/1507.13 c 1490s | 20 | 3329092 | 793027 | 157739 10 | 36 | 83
1508.65/1509.19 c 1492s | 20 | 3333163 | 793927 | 157739 10 | 36 | 83
1510.85/1511.35 c 1494s | 20 | 3338331 | 795327 | 157739 10 | 36 | 83
1512.95/1513.40 c 1496s | 20 | 3342605 | 796427 | 157739 10 | 36 | 83
1514.95/1515.41 c 1498s | 20 | 3349527 | 797927 | 157739 10 | 36 | 83
1516.95/1517.42 c 1500s | 20 | 3354140 | 799127 | 157739 10 | 36 | 83
1519.15/1519.63 c 1502s | 20 | 3358985 | 800327 | 157739 10 | 36 | 83
1521.15/1521.65 c 1504s | 20 | 3365023 | 801727 | 157739 10 | 36 | 83
1523.25/1523.72 c 1506s | 20 | 3369578 | 803027 | 157739 10 | 36 | 83
1525.25/1525.74 c 1508s | 20 | 3373761 | 804127 | 157739 10 | 36 | 83
1527.45/1527.94 c 1510s | 20 | 3377818 | 805227 | 157739 10 | 36 | 83
1529.55/1530.08 c 1512s | 20 | 3381846 | 806327 | 157739 10 | 36 | 83
1531.55/1532.09 c 1514s | 20 | 3386817 | 807427 | 157739 10 | 36 | 83
1533.75/1534.21 c 1517s | 20 | 3390700 | 808427 | 157739 10 | 36 | 83
1535.95/1536.48 c 1519s | 20 | 3395450 | 809527 | 157739 10 | 36 | 83
1538.05/1538.51 c 1521s | 20 | 3398905 | 810327 | 157739 10 | 36 | 83
1540.24/1540.78 c 1523s | 20 | 3402517 | 811227 | 157739 10 | 36 | 83
1542.64/1543.17 c 1526s | 20 | 3404763 | 812127 | 157739 10 | 36 | 83
1544.74/1545.29 c 1528s | 20 | 3407924 | 812927 | 157739 10 | 36 | 83
1546.84/1547.30 c 1530s | 20 | 3411279 | 813727 | 157739 10 | 36 | 83
1549.14/1549.61 c 1532s | 20 | 3414251 | 814427 | 157739 10 | 36 | 83
1551.24/1551.76 c 1534s | 20 | 3417571 | 815127 | 157739 10 | 36 | 83
1553.24/1553.79 c 1536s | 20 | 3422808 | 816127 | 157739 10 | 36 | 83
1555.34/1555.89 c 1538s | 20 | 3429771 | 817527 | 157739 10 | 36 | 83
1557.44/1557.99 c 1540s | 20 | 3433949 | 818527 | 157739 10 | 36 | 83
1559.64/1560.12 c 1543s | 20 | 3439416 | 819527 | 157739 10 | 36 | 83
1561.65/1562.13 c 1545s | 20 | 3444450 | 820427 | 157739 10 | 36 | 83
1563.64/1564.16 c 1547s | 20 | 3448367 | 821227 | 157739 10 | 36 | 83
1565.84/1566.37 c 1549s | 20 | 3451355 | 822127 | 157739 10 | 36 | 83
1568.04/1568.56 c 1551s | 20 | 3454870 | 822927 | 157739 10 | 36 | 83
1570.24/1570.77 c 1553s | 20 | 3458730 | 823627 | 157739 10 | 36 | 83
1572.44/1572.94 c 1555s | 20 | 3460668 | 824327 | 157739 10 | 36 | 83
1574.54/1575.02 c 1557s | 20 | 3463859 | 825127 | 157739 10 | 36 | 83
1576.64/1577.14 c 1560s | 20 | 3467554 | 826027 | 157739 10 | 36 | 83
1580.03/1580.53 c 1563s | 20 | 3468593 | 826427 | 157739 11 | 36 | 83
1584.54/1585.05 c 1567s | 20 | 3469757 | 826727 | 157739 11 | 36 | 83
1588.33/1588.88 c 1571s | 20 | 3471838 | 827127 | 157739 11 | 36 | 83
1592.44/1592.97 c 1575s | 20 | 3474368 | 827827 | 157739 11 | 36 | 83
1594.64/1595.14 c 1578s | 20 | 3477006 | 828327 | 157739 11 | 36 | 83
1596.63/1597.19 c 1580s | 20 | 3485757 | 830127 | 157739 11 | 36 | 83
1598.94/1599.44 c 1582s | 20 | 3489885 | 831427 | 157739 11 | 36 | 83
1601.24/1601.78 c 1584s | 20 | 3491165 | 831827 | 157739 11 | 36 | 83
1603.34/1603.81 c 1586s | 20 | 3495449 | 833027 | 157739 11 | 36 | 83
1605.43/1605.93 c 1588s | 20 | 3498580 | 833927 | 157739 11 | 36 | 83
1607.43/1607.95 c 1590s | 20 | 3503902 | 835327 | 157739 11 | 36 | 83
1609.53/1610.06 c 1592s | 20 | 3509102 | 836427 | 157739 11 | 36 | 83
1611.63/1612.12 c 1595s | 20 | 3513293 | 837527 | 157739 11 | 36 | 83
1613.93/1614.49 c 1597s | 20 | 3517721 | 838327 | 157739 11 | 36 | 83
1616.13/1616.69 c 1599s | 20 | 3521790 | 839327 | 157739 11 | 36 | 83
1618.33/1618.87 c 1601s | 20 | 3526310 | 840327 | 157739 11 | 36 | 83
1620.63/1621.12 c 1604s | 20 | 3531585 | 841427 | 157739 11 | 36 | 83
1622.73/1623.25 c 1606s | 20 | 3536171 | 842427 | 157739 11 | 36 | 83
1624.83/1625.34 c 1608s | 20 | 3541339 | 843527 | 157739 11 | 36 | 83
1627.03/1627.53 c 1610s | 20 | 3546925 | 844627 | 157739 11 | 36 | 83
1629.13/1629.65 c 1612s | 20 | 3551561 | 845727 | 157739 11 | 36 | 83
1631.32/1631.84 c 1614s | 20 | 3557652 | 846927 | 157739 11 | 36 | 83
1633.42/1633.94 c 1616s | 20 | 3563327 | 848127 | 157739 11 | 36 | 83
1635.72/1636.20 c 1619s | 20 | 3568316 | 849227 | 157739 11 | 36 | 83
1637.82/1638.33 c 1621s | 20 | 3572835 | 850127 | 157739 11 | 36 | 83
1639.82/1640.33 c 1623s | 20 | 3577082 | 851227 | 157739 11 | 36 | 83
1641.83/1642.37 c 1625s | 20 | 3581516 | 852227 | 157739 11 | 36 | 83
1643.92/1644.43 c 1627s | 20 | 3587420 | 853327 | 157739 11 | 36 | 83
1646.02/1646.60 c 1629s | 20 | 3591679 | 854427 | 157739 11 | 36 | 83
1648.22/1648.78 c 1631s | 20 | 3594839 | 855427 | 157739 11 | 36 | 83
1650.52/1651.08 c 1633s | 20 | 3598315 | 856227 | 157739 11 | 36 | 83
1652.62/1653.19 c 1636s | 20 | 3602227 | 857227 | 157739 11 | 36 | 83
1654.82/1655.35 c 1638s | 20 | 3606485 | 858227 | 157739 11 | 36 | 83
1657.02/1657.52 c 1640s | 20 | 3610468 | 858927 | 157739 11 | 36 | 83
1659.02/1659.54 c 1642s | 20 | 3616020 | 860027 | 157739 11 | 36 | 83
1661.12/1661.65 c 1644s | 20 | 3621006 | 861027 | 157739 11 | 36 | 83
1663.12/1663.68 c 1646s | 20 | 3624387 | 861927 | 157739 11 | 36 | 83
1665.22/1665.76 c 1648s | 20 | 3628935 | 862927 | 157739 11 | 36 | 83
1667.52/1668.00 c 1650s | 20 | 3633390 | 863927 | 157739 11 | 36 | 83
1669.62/1670.13 c 1653s | 20 | 3636803 | 864827 | 157739 11 | 36 | 83
1671.62/1672.19 c 1655s | 20 | 3641157 | 865927 | 157739 11 | 36 | 83
1673.72/1674.29 c 1657s | 20 | 3645926 | 866927 | 157739 11 | 36 | 83
1675.92/1676.42 c 1659s | 20 | 3651613 | 868227 | 157739 11 | 36 | 83
1677.92/1678.44 c 1661s | 20 | 3655466 | 869227 | 157739 11 | 36 | 83
1680.02/1680.59 c 1663s | 20 | 3658183 | 870127 | 157739 11 | 36 | 83
1682.32/1682.87 c 1665s | 20 | 3661798 | 871027 | 157739 11 | 36 | 83
1684.42/1684.91 c 1667s | 20 | 3665029 | 871827 | 157739 11 | 36 | 83
1686.52/1687.00 c 1669s | 20 | 3667638 | 872527 | 157739 11 | 36 | 83
1688.52/1689.01 c 1671s | 20 | 3673294 | 873427 | 157739 11 | 36 | 83
1690.62/1691.14 c 1674s | 20 | 3678176 | 874327 | 157739 11 | 36 | 83
1692.72/1693.25 c 1676s | 20 | 3681845 | 875127 | 157739 11 | 36 | 83
1694.91/1695.47 c 1678s | 20 | 3685985 | 875827 | 157739 11 | 36 | 83
1697.02/1697.51 c 1680s | 20 | 3689281 | 876627 | 157739 11 | 36 | 83
1699.21/1699.75 c 1682s | 20 | 3691631 | 877327 | 157739 11 | 36 | 83
1701.22/1701.78 c 1684s | 20 | 3693607 | 877927 | 157739 11 | 36 | 83
1703.21/1703.78 c 1686s | 20 | 3695888 | 878527 | 157739 11 | 36 | 83
1705.51/1706.01 c 1688s | 20 | 3698512 | 879227 | 157739 11 | 36 | 83
1707.61/1708.14 c 1691s | 20 | 3702460 | 880027 | 157739 11 | 36 | 83
1709.82/1710.39 c 1693s | 20 | 3705622 | 880627 | 157739 11 | 36 | 83
1712.12/1712.62 c 1695s | 20 | 3710194 | 881627 | 157739 11 | 36 | 83
1714.12/1714.69 c 1697s | 20 | 3713791 | 882527 | 157739 11 | 36 | 83
1716.22/1716.75 c 1699s | 20 | 3720471 | 883727 | 157739 11 | 36 | 83
1718.32/1718.83 c 1701s | 20 | 3726125 | 885027 | 157739 11 | 36 | 83
1720.72/1721.27 c 1704s | 20 | 3729148 | 885727 | 157739 11 | 36 | 83
1722.92/1723.44 c 1706s | 20 | 3733853 | 886627 | 157739 11 | 36 | 83
1725.02/1725.59 c 1708s | 20 | 3737364 | 887527 | 157739 11 | 36 | 83
1727.02/1727.59 c 1710s | 20 | 3740870 | 888427 | 157739 11 | 36 | 83
1729.22/1729.74 c 1712s | 20 | 3745156 | 889327 | 157739 11 | 36 | 83
1731.32/1731.85 c 1714s | 20 | 3749263 | 890427 | 157739 11 | 36 | 83
1733.42/1733.98 c 1716s | 20 | 3752709 | 891327 | 157739 11 | 36 | 83
1735.72/1736.25 c 1719s | 20 | 3756504 | 892227 | 157739 11 | 36 | 83
1737.91/1738.45 c 1721s | 20 | 3761020 | 893127 | 157739 11 | 36 | 83
1739.91/1740.45 c 1723s | 20 | 3765610 | 893927 | 157739 11 | 36 | 83
1742.11/1742.66 c 1725s | 20 | 3768702 | 894727 | 157739 11 | 36 | 83
1744.22/1744.71 c 1727s | 20 | 3772622 | 895527 | 157739 11 | 36 | 83
1746.42/1746.93 c 1729s | 20 | 3776671 | 896327 | 157739 11 | 36 | 83
1748.52/1749.05 c 1731s | 20 | 3780429 | 897227 | 157739 11 | 36 | 83
1750.61/1751.15 c 1734s | 20 | 3784605 | 898327 | 157739 11 | 36 | 83
1752.71/1753.30 c 1736s | 20 | 3788568 | 899327 | 157739 11 | 36 | 83
1754.81/1755.36 c 1738s | 20 | 3792268 | 900427 | 157739 11 | 36 | 83
1756.91/1757.45 c 1740s | 20 | 3795624 | 901127 | 157739 11 | 36 | 83
1759.01/1759.52 c 1742s | 20 | 3797893 | 901627 | 157739 11 | 36 | 83
1761.11/1761.65 c 1744s | 20 | 3801110 | 902327 | 157739 11 | 36 | 83
1763.11/1763.69 c 1746s | 20 | 3803795 | 902927 | 157739 11 | 36 | 83
1765.41/1765.90 c 1748s | 20 | 3806789 | 903627 | 157739 11 | 36 | 83
1767.71/1768.26 c 1751s | 20 | 3809693 | 904427 | 157739 11 | 36 | 83
1769.81/1770.34 c 1753s | 20 | 3812867 | 905127 | 157739 11 | 36 | 83
1771.91/1772.47 c 1755s | 20 | 3819756 | 905927 | 157739 11 | 36 | 83
1773.91/1774.49 c 1757s | 20 | 3822397 | 906627 | 157739 11 | 36 | 83
1776.80/1777.35 c 1760s | 20 | 3825523 | 907227 | 157739 12 | 36 | 83
1780.51/1781.04 c 1763s | 20 | 3826844 | 907627 | 157739 12 | 36 | 83
1782.61/1783.13 c 1766s | 20 | 3829207 | 908027 | 157739 12 | 36 | 83
1784.70/1785.27 c 1768s | 20 | 3836073 | 909127 | 157739 12 | 36 | 83
1786.90/1787.50 c 1770s | 20 | 3839598 | 909727 | 157739 12 | 36 | 83
1789.10/1789.61 c 1772s | 20 | 3846822 | 911127 | 157739 12 | 36 | 83
1791.20/1791.70 c 1774s | 20 | 3853048 | 912527 | 157739 12 | 36 | 83
1793.30/1793.82 c 1776s | 20 | 3858069 | 913627 | 157739 12 | 36 | 83
1795.60/1796.10 c 1778s | 20 | 3862717 | 914727 | 157739 12 | 36 | 83
1797.70/1798.25 c 1781s | 20 | 3867573 | 915827 | 157739 12 | 36 | 83
1799.70/1800.29 c 1783s | 20 | 3872718 | 916827 | 157739 12 | 36 | 83
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-4080020-1465281429/watcher-4080020-1465281429 -o /tmp/evaluation-result-4080020-1465281429/solver-4080020-1465281429 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5799 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080020-1465281429.opb
pid=9921
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.96 2.12 2.15 3/179 9924
/proc/meminfo: memFree=29163752/32872528 swapFree=16252/1391864
[pid=9924] ppid=9921 vsize=727484 CPUtime=0 cores=0,2,4,6
/proc/9924/stat : 9924 (toysat) R 9921 9924 5783 0 -1 4202496 2717 0 0 0 0 0 0 0 20 0 4 0 110076068 744943616 2567 33554432000 4194304 16246674 140736962708256 140736962707680 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9924/statm: 182639 2577 441 2943 0 179533 0
[pid=9924/tid=9925] ppid=9921 vsize=745916 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9925/stat : 9925 (toysat) S 9921 9924 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110076068 763817984 2636 33554432000 4194304 16246674 140736962708256 140659022343408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9924/tid=9926] ppid=9921 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9926/stat : 9926 (toysat) S 9921 9924 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076068 768012288 2654 33554432000 4194304 16246674 140736962708256 140659011853552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9924/tid=9927] ppid=9921 vsize=754108 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9927/stat : 9927 (toysat) S 9921 9924 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110076068 772206592 2669 33554432000 4194304 16246674 140736962708256 140659001380016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[startup+0.100169 s]
/proc/loadavg: 1.96 2.12 2.15 3/179 9924
/proc/meminfo: memFree=29163752/32872528 swapFree=16252/1391864
[pid=9924] ppid=9921 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/9924/stat : 9924 (toysat) R 9921 9924 5783 0 -1 4202496 26770 0 0 0 6 3 0 0 20 0 4 0 110076068 1333334016 26559 33554432000 4194304 16246674 140736962708256 140736962707568 12752373 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9924/statm: 325521 26572 799 2943 0 322415 0
[pid=9924/tid=9925] ppid=9921 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9925/stat : 9925 (toysat) S 9921 9924 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110076068 1333334016 26583 33554432000 4194304 16246674 140736962708256 140659022343408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9924/tid=9926] ppid=9921 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9926/stat : 9926 (toysat) S 9921 9924 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076068 1333334016 26594 33554432000 4194304 16246674 140736962708256 140659011853552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9924/tid=9927] ppid=9921 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9927/stat : 9927 (toysat) S 9921 9924 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076068 1333334016 26606 33554432000 4194304 16246674 140736962708256 140659001380016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084
[startup+0.2006 s]
/proc/loadavg: 1.96 2.12 2.15 3/179 9924
/proc/meminfo: memFree=29163752/32872528 swapFree=16252/1391864
[pid=9924] ppid=9921 vsize=1313348 CPUtime=0.18 cores=0,2,4,6
/proc/9924/stat : 9924 (toysat) R 9921 9924 5783 0 -1 4202496 48593 0 0 0 13 5 0 0 20 0 4 0 110076068 1344868352 48892 33554432000 4194304 16246674 140736962708256 140736962707568 13752808 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9924/statm: 328337 48892 800 2943 0 325231 0
[pid=9924/tid=9925] ppid=9921 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9925/stat : 9925 (toysat) S 9921 9924 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110076068 1344868352 48892 33554432000 4194304 16246674 140736962708256 140659022343408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9924/tid=9926] ppid=9921 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9926/stat : 9926 (toysat) S 9921 9924 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076068 1344868352 48892 33554432000 4194304 16246674 140736962708256 140659011853552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9924/tid=9927] ppid=9921 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9927/stat : 9927 (toysat) S 9921 9924 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076068 1344868352 48892 33554432000 4194304 16246674 140736962708256 140659001380016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348
[startup+0.300546 s]
/proc/loadavg: 1.96 2.12 2.15 3/179 9924
/proc/meminfo: memFree=29163752/32872528 swapFree=16252/1391864
[pid=9924] ppid=9921 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/9924/stat : 9924 (toysat) R 9921 9924 5783 0 -1 4202496 62433 0 0 0 22 7 0 0 20 0 4 0 110076068 1344868352 62732 33554432000 4194304 16246674 140736962708256 140736962707568 7369427 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9924/statm: 328337 62732 800 2943 0 325231 0
[pid=9924/tid=9925] ppid=9921 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9925/stat : 9925 (toysat) S 9921 9924 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110076068 1344868352 62732 33554432000 4194304 16246674 140736962708256 140659022343408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9924/tid=9926] ppid=9921 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9926/stat : 9926 (toysat) S 9921 9924 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076068 1344868352 62732 33554432000 4194304 16246674 140736962708256 140659011853552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9924/tid=9927] ppid=9921 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9927/stat : 9927 (toysat) S 9921 9924 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076068 1344868352 62732 33554432000 4194304 16246674 140736962708256 140659001380016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348
[startup+0.70041 s]
/proc/loadavg: 1.96 2.12 2.15 3/179 9924
/proc/meminfo: memFree=29163752/32872528 swapFree=16252/1391864
[pid=9924] ppid=9921 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/9924/stat : 9924 (toysat) R 9921 9924 5783 0 -1 4202496 70514 0 0 0 61 8 0 0 20 0 4 0 110076068 1344868352 70813 33554432000 4194304 16246674 140736962708256 140736962707568 7378300 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9924/statm: 328337 70813 800 2943 0 325231 0
[pid=9924/tid=9925] ppid=9921 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9925/stat : 9925 (toysat) S 9921 9924 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110076068 1344868352 70813 33554432000 4194304 16246674 140736962708256 140659022343408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9924/tid=9926] ppid=9921 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9926/stat : 9926 (toysat) S 9921 9924 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076068 1344868352 70813 33554432000 4194304 16246674 140736962708256 140659011853552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9924/tid=9927] ppid=9921 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9927/stat : 9927 (toysat) S 9921 9924 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076068 1344868352 70813 33554432000 4194304 16246674 140736962708256 140659001380016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348
[startup+1.50042 s]
/proc/loadavg: 1.96 2.12 2.15 3/183 9928
/proc/meminfo: memFree=28839984/32872528 swapFree=16252/1391864
[pid=9924] ppid=9921 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/9924/stat : 9924 (toysat) R 9921 9924 5783 0 -1 4202496 92063 0 0 0 137 12 0 0 20 0 4 0 110076068 1344868352 92362 33554432000 4194304 16246674 140736962708256 140736962691248 7364552 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9924/statm: 328337 92362 801 2943 0 325231 0
[pid=9924/tid=9925] ppid=9921 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9925/stat : 9925 (toysat) S 9921 9924 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110076068 1344868352 92362 33554432000 4194304 16246674 140736962708256 140659022343408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9924/tid=9926] ppid=9921 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9926/stat : 9926 (toysat) S 9921 9924 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076068 1344868352 92362 33554432000 4194304 16246674 140736962708256 140659011853552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9924/tid=9927] ppid=9921 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9927/stat : 9927 (toysat) S 9921 9924 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076068 1344868352 92362 33554432000 4194304 16246674 140736962708256 140659001380016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348
[startup+3.10041 s]
/proc/loadavg: 1.96 2.12 2.15 3/183 9928
/proc/meminfo: memFree=28730612/32872528 swapFree=16252/1391864
[pid=9924] ppid=9921 vsize=1337924 CPUtime=3.09 cores=0,2,4,6
/proc/9924/stat : 9924 (toysat) R 9921 9924 5783 0 -1 4202496 135798 0 0 0 291 18 0 0 20 0 4 0 110076068 1370034176 140185 33554432000 4194304 16246674 140736962708256 140736962707352 4220936 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9924/statm: 334481 140185 801 2943 0 331375 0
[pid=9924/tid=9925] ppid=9921 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9925/stat : 9925 (toysat) S 9921 9924 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110076068 1370034176 140185 33554432000 4194304 16246674 140736962708256 140659022343408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9924/tid=9926] ppid=9921 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9926/stat : 9926 (toysat) S 9921 9924 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076068 1370034176 140185 33554432000 4194304 16246674 140736962708256 140659011853552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9924/tid=9927] ppid=9921 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9927/stat : 9927 (toysat) S 9921 9924 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076068 1370034176 140185 33554432000 4194304 16246674 140736962708256 140659001380016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1337924
[startup+6.30041 s]
/proc/loadavg: 2.04 2.14 2.16 3/183 9928
/proc/meminfo: memFree=28065332/32872528 swapFree=16252/1391864
[pid=9924] ppid=9921 vsize=1337924 CPUtime=6.28 cores=0,2,4,6
/proc/9924/stat : 9924 (toysat) R 9921 9924 5783 0 -1 4202496 269475 0 0 0 593 35 0 0 20 0 4 0 110076068 1370034176 275395 33554432000 4194304 16246674 140736962708256 140736962690176 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9924/statm: 334481 275395 833 2943 0 331375 0
[pid=9924/tid=9925] ppid=9921 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9925/stat : 9925 (toysat) S 9921 9924 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110076068 1370034176 275395 33554432000 4194304 16246674 140736962708256 140659022343408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9924/tid=9926] ppid=9921 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9926/stat : 9926 (toysat) S 9921 9924 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076068 1370034176 275395 33554432000 4194304 16246674 140736962708256 140659011853552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9924/tid=9927] ppid=9921 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9927/stat : 9927 (toysat) S 9921 9924 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076068 1370034176 275395 33554432000 4194304 16246674 140736962708256 140659001380016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1337924
[startup+12.7004 s]
/proc/loadavg: 2.12 2.15 2.16 4/183 9928
/proc/meminfo: memFree=28062168/32872528 swapFree=16252/1391864
[pid=9924] ppid=9921 vsize=1337924 CPUtime=12.68 cores=0,2,4,6
/proc/9924/stat : 9924 (toysat) R 9921 9924 5783 0 -1 4202496 269548 0 0 0 1233 35 0 0 20 0 4 0 110076068 1370034176 275468 33554432000 4194304 16246674 140736962708256 140736962690176 5532104 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9924/statm: 334481 275468 900 2943 0 331375 0
[pid=9924/tid=9925] ppid=9921 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9925/stat : 9925 (toysat) S 9921 9924 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110076068 1370034176 275468 33554432000 4194304 16246674 140736962708256 140659022343408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9924/tid=9926] ppid=9921 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9926/stat : 9926 (toysat) S 9921 9924 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076068 1370034176 275468 33554432000 4194304 16246674 140736962708256 140659011853552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9924/tid=9927] ppid=9921 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9927/stat : 9927 (toysat) S 9921 9924 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076068 1370034176 275468 33554432000 4194304 16246674 140736962708256 140659001380016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1337924
[startup+25.5005 s]
/proc/loadavg: 2.09 2.14 2.16 3/183 9928
/proc/meminfo: memFree=28063096/32872528 swapFree=16252/1391864
[pid=9924] ppid=9921 vsize=1337924 CPUtime=25.49 cores=0,2,4,6
/proc/9924/stat : 9924 (toysat) R 9921 9924 5783 0 -1 4202496 269556 0 0 0 2513 36 0 0 20 0 4 0 110076068 1370034176 275476 33554432000 4194304 16246674 140736962708256 140736962690176 5523464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9924/statm: 334481 275476 908 2943 0 331375 0
[pid=9924/tid=9925] ppid=9921 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9925/stat : 9925 (toysat) S 9921 9924 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110076068 1370034176 275476 33554432000 4194304 16246674 140736962708256 140659022343408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9924/tid=9926] ppid=9921 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9926/stat : 9926 (toysat) S 9921 9924 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076068 1370034176 275476 33554432000 4194304 16246674 140736962708256 140659011853552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9924/tid=9927] ppid=9921 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9927/stat : 9927 (toysat) S 9921 9924 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076068 1370034176 275476 33554432000 4194304 16246674 140736962708256 140659001380016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1337924
[startup+51.1005 s]
/proc/loadavg: 2.14 2.15 2.16 3/183 9928
/proc/meminfo: memFree=28063448/32872528 swapFree=16252/1391864
[pid=9924] ppid=9921 vsize=1337924 CPUtime=51.08 cores=0,2,4,6
/proc/9924/stat : 9924 (toysat) R 9921 9924 5783 0 -1 4202496 269562 0 0 0 5072 36 0 0 20 0 4 0 110076068 1370034176 275482 33554432000 4194304 16246674 140736962708256 140736962690176 12477756 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9924/statm: 334481 275482 913 2943 0 331375 0
[pid=9924/tid=9925] ppid=9921 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9925/stat : 9925 (toysat) S 9921 9924 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110076068 1370034176 275482 33554432000 4194304 16246674 140736962708256 140659022343408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9924/tid=9926] ppid=9921 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9926/stat : 9926 (toysat) S 9921 9924 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076068 1370034176 275482 33554432000 4194304 16246674 140736962708256 140659011853552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9924/tid=9927] ppid=9921 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9927/stat : 9927 (toysat) S 9921 9924 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076068 1370034176 275482 33554432000 4194304 16246674 140736962708256 140659001380016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1337924
[startup+102.3 s]
/proc/loadavg: 2.20 2.16 2.16 4/183 9929
/proc/meminfo: memFree=28063104/32872528 swapFree=16252/1391864
[pid=9924] ppid=9921 vsize=1337924 CPUtime=102.28 cores=0,2,4,6
/proc/9924/stat : 9924 (toysat) R 9921 9924 5783 0 -1 4202496 269562 0 0 0 10192 36 0 0 20 0 4 0 110076068 1370034176 275482 33554432000 4194304 16246674 140736962708256 140736962690176 5546001 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9924/statm: 334481 275482 913 2943 0 331375 0
[pid=9924/tid=9925] ppid=9921 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9925/stat : 9925 (toysat) S 9921 9924 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110076068 1370034176 275482 33554432000 4194304 16246674 140736962708256 140659022343408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9924/tid=9926] ppid=9921 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9926/stat : 9926 (toysat) S 9921 9924 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076068 1370034176 275482 33554432000 4194304 16246674 140736962708256 140659011853552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9924/tid=9927] ppid=9921 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9927/stat : 9927 (toysat) S 9921 9924 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076068 1370034176 275482 33554432000 4194304 16246674 140736962708256 140659001380016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1337924
################
# More data... #
################
[pid=9924/tid=9927] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9927/stat : 9927 (toysat) S 9921 9924 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659001380016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1400388
[startup+1422.3 s]
/proc/loadavg: 2.18 2.17 2.17 3/184 10013
/proc/meminfo: memFree=28171704/32872528 swapFree=16252/1391864
[pid=9924] ppid=9921 vsize=1400388 CPUtime=1421.87 cores=0,2,4,6
/proc/9924/stat : 9924 (toysat) R 9921 9924 5783 0 -1 4202496 285524 0 0 0 142127 60 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140736962706112 5661532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9924/statm: 350097 291358 916 2943 0 346991 0
[pid=9924/tid=9925] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9925/stat : 9925 (toysat) S 9921 9924 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659022343408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9924/tid=9926] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9926/stat : 9926 (toysat) S 9921 9924 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659011853552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9924/tid=9927] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9927/stat : 9927 (toysat) S 9921 9924 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659001380016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1400388
[startup+1482.3 s]
/proc/loadavg: 2.19 2.18 2.18 3/184 10037
/proc/meminfo: memFree=28171688/32872528 swapFree=16252/1391864
[pid=9924] ppid=9921 vsize=1400388 CPUtime=1481.86 cores=0,2,4,6
/proc/9924/stat : 9924 (toysat) R 9921 9924 5783 0 -1 4202496 285524 0 0 0 148123 63 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140736962690176 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9924/statm: 350097 291358 916 2943 0 346991 0
[pid=9924/tid=9925] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9925/stat : 9925 (toysat) S 9921 9924 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659022343408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9924/tid=9926] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9926/stat : 9926 (toysat) S 9921 9924 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659011853552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9924/tid=9927] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9927/stat : 9927 (toysat) S 9921 9924 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659001380016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1400388
[startup+1542.31 s]
/proc/loadavg: 2.14 2.17 2.18 3/183 10039
/proc/meminfo: memFree=28171700/32872528 swapFree=16252/1391864
[pid=9924] ppid=9921 vsize=1400388 CPUtime=1541.85 cores=0,2,4,6
/proc/9924/stat : 9924 (toysat) R 9921 9924 5783 0 -1 4202496 285524 0 0 0 154122 63 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140736962690176 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9924/statm: 350097 291358 916 2943 0 346991 0
[pid=9924/tid=9925] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9925/stat : 9925 (toysat) S 9921 9924 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659022343408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9924/tid=9926] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9926/stat : 9926 (toysat) S 9921 9924 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659011853552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9924/tid=9927] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9927/stat : 9927 (toysat) S 9921 9924 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659001380016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1400388
[startup+1602.3 s]
/proc/loadavg: 2.24 2.19 2.18 3/183 10040
/proc/meminfo: memFree=28170932/32872528 swapFree=16252/1391864
[pid=9924] ppid=9921 vsize=1400388 CPUtime=1601.83 cores=0,2,4,6
/proc/9924/stat : 9924 (toysat) R 9921 9924 5783 0 -1 4202496 285524 0 0 0 160118 65 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140736962690176 5829153 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9924/statm: 350097 291358 916 2943 0 346991 0
[pid=9924/tid=9925] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9925/stat : 9925 (toysat) S 9921 9924 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659022343408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9924/tid=9926] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9926/stat : 9926 (toysat) S 9921 9924 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659011853552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9924/tid=9927] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9927/stat : 9927 (toysat) S 9921 9924 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659001380016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1400388
[startup+1662.3 s]
/proc/loadavg: 2.21 2.18 2.18 3/183 10041
/proc/meminfo: memFree=28169556/32872528 swapFree=16252/1391864
[pid=9924] ppid=9921 vsize=1400388 CPUtime=1661.82 cores=0,2,4,6
/proc/9924/stat : 9924 (toysat) R 9921 9924 5783 0 -1 4202496 285524 0 0 0 166117 65 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140736962690176 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9924/statm: 350097 291358 916 2943 0 346991 0
[pid=9924/tid=9925] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9925/stat : 9925 (toysat) S 9921 9924 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659022343408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9924/tid=9926] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9926/stat : 9926 (toysat) S 9921 9924 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659011853552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9924/tid=9927] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9927/stat : 9927 (toysat) S 9921 9924 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659001380016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1400388
[startup+1722.3 s]
/proc/loadavg: 2.25 2.19 2.18 3/183 10042
/proc/meminfo: memFree=28169620/32872528 swapFree=16252/1391864
[pid=9924] ppid=9921 vsize=1400388 CPUtime=1721.82 cores=0,2,4,6
/proc/9924/stat : 9924 (toysat) R 9921 9924 5783 0 -1 4202496 285524 0 0 0 172116 66 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140736962690176 6837038 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9924/statm: 350097 291358 916 2943 0 346991 0
[pid=9924/tid=9925] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9925/stat : 9925 (toysat) S 9921 9924 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659022343408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9924/tid=9926] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9926/stat : 9926 (toysat) S 9921 9924 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659011853552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9924/tid=9927] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9927/stat : 9927 (toysat) S 9921 9924 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659001380016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1400388
[startup+1782.3 s]
/proc/loadavg: 2.25 2.20 2.18 3/183 10043
/proc/meminfo: memFree=28169212/32872528 swapFree=16252/1391864
[pid=9924] ppid=9921 vsize=1400388 CPUtime=1781.8 cores=0,2,4,6
/proc/9924/stat : 9924 (toysat) R 9921 9924 5783 0 -1 4202496 285524 0 0 0 178114 66 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140736962690176 4220543 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9924/statm: 350097 291358 916 2943 0 346991 0
[pid=9924/tid=9925] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9925/stat : 9925 (toysat) S 9921 9924 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659022343408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9924/tid=9926] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9926/stat : 9926 (toysat) S 9921 9924 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659011853552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9924/tid=9927] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9927/stat : 9927 (toysat) S 9921 9924 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659001380016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1400388
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.27 2.21 2.18 3/183 10043
/proc/meminfo: memFree=28169256/32872528 swapFree=16252/1391864
[pid=9924] ppid=9921 vsize=1400388 CPUtime=1800 cores=0,2,4,6
/proc/9924/stat : 9924 (toysat) R 9921 9924 5783 0 -1 4202496 285524 0 0 0 179934 66 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140736962691248 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9924/statm: 350097 291358 916 2943 0 346991 0
[pid=9924/tid=9925] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9925/stat : 9925 (toysat) S 9921 9924 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659022343408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9924/tid=9926] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9926/stat : 9926 (toysat) S 9921 9924 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659011853552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9924/tid=9927] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9927/stat : 9927 (toysat) S 9921 9924 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659001380016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1400388
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 9924 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.27 2.21 2.18 3/183 10043
/proc/meminfo: memFree=28169256/32872528 swapFree=16252/1391864
[pid=9924] ppid=9921 vsize=1400388 CPUtime=1800 cores=0,2,4,6
/proc/9924/stat : 9924 (toysat) R 9921 9924 5783 0 -1 4202496 285524 0 0 0 179934 66 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140736962691248 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9924/statm: 350097 291358 916 2943 0 346991 0
[pid=9924/tid=9925] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9925/stat : 9925 (toysat) S 9921 9924 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659022343408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9924/tid=9926] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9926/stat : 9926 (toysat) S 9921 9924 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659011853552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9924/tid=9927] ppid=9921 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/9924/task/9927/stat : 9927 (toysat) S 9921 9924 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110076068 1433997312 291358 33554432000 4194304 16246674 140736962708256 140659001380016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1400388
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9924 and gives
# childrusage.ru_utime.tv_sec=1799
# childrusage.ru_utime.tv_usec=335459
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=639902
# CPU time returned by wait4() is 1799.98
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800
CPU user time (s): 1799.34
CPU system time (s): 0.66
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 1400388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 0.639902
maximum resident set size= 1165432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285524
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= 885
involuntary context switches= 2246
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9229 second user time and 15.1797 second system time
The end