0.00/0.00 c 2016-06-18T13:15:08+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-4105529-1466248508.opb"]
0.00/0.01 c use --random-gen="3386557518 3756106247 2232323685 2246318184 3214565185 3153868368 1331952683 3552771124 2882408714 649059544 2864977988 963957737 3893110652 1926255630 1349682746 2456392694 322213918 3931838942 715998087 1909728095 603383170 2810088 223964446 133207084 742937395 254175556 2434768763 225311967 2344003888 876996389 595356859 4050478236 2127708970 952241433 2141272405 957446564 3264665973 1756117879 1351050992 801824179 4267216217 3358639770 3900869864 390264923 2286478094 2092514776 2732226129 275344443 2896310649 358401600 3487712888 2944114770 1572465962 893109523 3358096990 2643719999 2342385764 1314671039 820105898 4225392133 1404814045 3184587348 3244585590 2333537523 4156113692 1535738738 1012677500 970284183 821949652 1602688694 1633380351 933652143 814096490 3584297423 461029703 2852001448 2372626046 4230395698 361796583 3073315115 4154238577 4283863673 1441706334 4244856822 2529475202 4063472157 3764869070 1672148561 1689284391 3740296543 2617098305 1717372948 2367398766 230140329 2273020647 3108345153 3514625370 4077937743 2082915961 356688771 1044553002 3212714175 3565956942 4221485650 3632118841 3795031713 3121130918 463868757 776789297 1696217944 2561205767 2846555172 3472648812 2651121923 2637630076 1959621322 2857564875 3441731337 4090872384 3158425499 4245525767 3080897018 1033954348 207365689 1086410556 628070212 3525679027 2480795016 2127247604 3109718962 3542295900 2893833402 3808162836 3882920161 3250579368 968649058 2253046451 525350435 3538356840 1548385869 688990087 907333309 702376573 1169170104 330399649 3283506092 4251723769 581321262 3705476798 2956149408 930644444 1423504435 3107121432 1847588260 957834100 1361495039 3357171457 3667258313 3054239660 2636115544 4219452995 2823919738 2485591660 1224111392 909406518 1070856374 89673057 2973472801 1924531477 2013211883 3787049294 2935652330 3570067801 535654837 3252092550 799591381 952315787 1145769457 2149230520 13648269 1633635647 147450027 437718038 3115106219 3150346821 1946902091 3905016317 3821207539 10739178 2235616749 1950330305 3869194273 3087410603 1784689110 4260043025 2341106622 449215531 2395820661 994672396 2841476732 357145921 240690963 900846037 1596702498 1698817274 1251224993 3620175584 511924120 1112177635 3912091712 974489026 1379923747 2182486535 3310265042 2418930351 3017739341 2196937989 3968004538 45044840 299788591 67871668 2898774570 4036195705 3361912683 1358093500 3685240527 3135255894 719709009 1868556567 2292983879 1306161050 3853282840 3210068152 4132062018 1222663504 3013076343 3270594403 3909147968 2843951755 28429835 1063178844 2129615052 4002024452 354499799 3855984696 626031766 3771896176 3255767067 2737568888 3077607790 3035841925 1313593457 4039487344 2514975950 3269553725 3538370558 255 362436" option to reproduce the execution
0.49/0.54 c #vars 2847
0.49/0.54 c #constraints 4902
1.29/1.35 c BCD2: Hardening is enabled.
1.29/1.35 c BCD2: BiasedSearch is enabled.
1.29/1.35 c Solving starts ...
1.29/1.35 c ============================[ Search Statistics ]============================
1.29/1.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.29/1.35 c | | | | Limit GC | Var | Constra
1.29/1.35 c =============================================================================
1.29/1.35 c 0.0s | 0 | 0 | 0 | 2583 0 | 0 | 0
1.39/1.45 c 0.1s | 0 | 2847 | 0 | 2583 0 | 0 | 0
1.39/1.45 c #cpu_time = 0.098s
1.39/1.45 c #wall_clock_time = 0.099s
1.39/1.45 c #decision = 2847
1.39/1.45 c #random_decision = 13
1.39/1.45 c #conflict = 0
1.39/1.45 c #restart = 0
1.39/1.45 o 2847
1.39/1.45 c BCD2: updating upper bound: 2847 -> 2846
1.39/1.49 c BCD2: 0 <= obj <= 2846
1.39/1.49 c BCD2: #cores=0, #unrelaxed=2847, #relaxed=0, #hardened=0
1.39/1.49 c BCD2: #sat=1 #unsat=1 bias=1/2
1.39/1.49 c Solving starts ...
1.39/1.49 c ============================[ Search Statistics ]============================
1.39/1.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.39/1.49 c | | | | Limit GC | Var | Constra
1.39/1.49 c =============================================================================
1.39/1.49 c 0.0s | 0 | 0 | 0 | 2583 0 | 0 | 0
1.49/1.52 c 0.0s | 0 | 2128 | 0 | 2583 0 | 0 | 0
1.49/1.52 c #cpu_time = 0.025s
1.49/1.52 c #wall_clock_time = 0.025s
1.49/1.52 c #decision = 2128
1.49/1.52 c #random_decision = 0
1.49/1.52 c #conflict = 0
1.49/1.52 c #restart = 0
1.49/1.52 c BCD2: found a new core of size 34: cost of the new core is >=1
1.49/1.52 c lower bound updated to 1
1.49/1.52 c BCD2: 1 <= obj <= 2846
1.49/1.52 c BCD2: #cores=1, #unrelaxed=2813, #relaxed=34, #hardened=0
1.49/1.52 c BCD2: #sat=1 #unsat=2 bias=2/3
1.49/1.55 c Solving starts ...
1.49/1.55 c ============================[ Search Statistics ]============================
1.49/1.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.49/1.55 c | | | | Limit GC | Var | Constra
1.49/1.55 c =============================================================================
1.49/1.55 c 0.0s | 0 | 0 | 0 | 2583 0 | 0 | 2
1.49/1.58 c 0.0s | 0 | 2114 | 0 | 2583 0 | 0 | 2
1.49/1.58 c #cpu_time = 0.023s
1.49/1.58 c #wall_clock_time = 0.023s
1.49/1.58 c #decision = 2114
1.49/1.58 c #random_decision = 0
1.49/1.58 c #conflict = 0
1.49/1.58 c #restart = 0
1.49/1.58 c BCD2: found a new core of size 52: cost of the new core is >=1
1.49/1.58 c lower bound updated to 2
1.49/1.58 c BCD2: 2 <= obj <= 2846
1.49/1.58 c BCD2: #cores=2, #unrelaxed=2761, #relaxed=86, #hardened=0
1.49/1.58 c BCD2: #sat=1 #unsat=3 bias=3/4
1.49/1.58 c Solving starts ...
1.49/1.58 c ============================[ Search Statistics ]============================
1.49/1.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.49/1.58 c | | | | Limit GC | Var | Constra
1.49/1.58 c =============================================================================
1.49/1.58 c 0.0s | 0 | 0 | 0 | 2583 0 | 0 | 5
1.59/1.60 c 0.0s | 0 | 2383 | 1 | 2583 0 | 0 | 5
1.59/1.60 c #cpu_time = 0.024s
1.59/1.60 c #wall_clock_time = 0.024s
1.59/1.60 c #decision = 2383
1.59/1.60 c #random_decision = 0
1.59/1.60 c #conflict = 1
1.59/1.60 c #restart = 0
1.59/1.60 c BCD2: found a new core of size 72: cost of the new core is >=1
1.59/1.60 c lower bound updated to 3
1.59/1.60 c BCD2: 3 <= obj <= 2846
1.59/1.60 c BCD2: #cores=3, #unrelaxed=2689, #relaxed=158, #hardened=0
1.59/1.60 c BCD2: #sat=1 #unsat=4 bias=4/5
1.59/1.61 c Solving starts ...
1.59/1.61 c ============================[ Search Statistics ]============================
1.59/1.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.59/1.61 c | | | | Limit GC | Var | Constra
1.59/1.61 c =============================================================================
1.59/1.61 c 0.0s | 0 | 0 | 0 | 2583 0 | 0 | 5
1.59/1.63 c 0.0s | 0 | 2386 | 1 | 2583 0 | 0 | 5
1.59/1.63 c #cpu_time = 0.026s
1.59/1.63 c #wall_clock_time = 0.026s
1.59/1.63 c #decision = 2386
1.59/1.63 c #random_decision = 0
1.59/1.63 c #conflict = 1
1.59/1.63 c #restart = 0
1.59/1.63 c BCD2: found a new core of size 168: cost of the new core is >=1
1.59/1.63 c lower bound updated to 4
1.59/1.63 c BCD2: 4 <= obj <= 2846
1.59/1.63 c BCD2: #cores=4, #unrelaxed=2521, #relaxed=326, #hardened=0
1.59/1.63 c BCD2: #sat=1 #unsat=5 bias=5/6
1.59/1.64 c Solving starts ...
1.59/1.64 c ============================[ Search Statistics ]============================
1.59/1.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.59/1.64 c | | | | Limit GC | Var | Constra
1.59/1.64 c =============================================================================
1.59/1.64 c 0.0s | 0 | 0 | 0 | 2583 0 | 0 | 5
1.59/1.66 c 0.0s | 0 | 2478 | 0 | 2583 0 | 0 | 5
1.59/1.66 c #cpu_time = 0.027s
1.59/1.66 c #wall_clock_time = 0.027s
1.59/1.66 c #decision = 2478
1.59/1.66 c #random_decision = 0
1.59/1.66 c #conflict = 0
1.59/1.66 c #restart = 0
1.59/1.66 c BCD2: found a new core of size 2: cost of the new core is >=1
1.59/1.66 c lower bound updated to 5
1.59/1.66 c BCD2: 5 <= obj <= 2846
1.59/1.66 c BCD2: #cores=5, #unrelaxed=2519, #relaxed=328, #hardened=0
1.59/1.66 c BCD2: #sat=1 #unsat=6 bias=6/7
1.59/1.67 c Solving starts ...
1.59/1.67 c ============================[ Search Statistics ]============================
1.59/1.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.59/1.67 c | | | | Limit GC | Var | Constra
1.59/1.67 c =============================================================================
1.59/1.67 c 0.0s | 0 | 0 | 0 | 2583 0 | 0 | 7
1.59/1.69 c 0.0s | 0 | 2482 | 0 | 2583 0 | 0 | 7
1.59/1.69 c #cpu_time = 0.023s
1.59/1.69 c #wall_clock_time = 0.023s
1.59/1.69 c #decision = 2482
1.59/1.69 c #random_decision = 0
1.59/1.69 c #conflict = 0
1.59/1.69 c #restart = 0
1.59/1.69 c BCD2: found a new core of size 4: cost of the new core is >=1
1.59/1.69 c lower bound updated to 6
1.59/1.69 c BCD2: 6 <= obj <= 2846
1.59/1.69 c BCD2: #cores=6, #unrelaxed=2515, #relaxed=332, #hardened=0
1.59/1.69 c BCD2: #sat=1 #unsat=7 bias=7/8
1.59/1.69 c Solving starts ...
1.59/1.69 c ============================[ Search Statistics ]============================
1.59/1.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.59/1.69 c | | | | Limit GC | Var | Constra
1.59/1.69 c =============================================================================
1.59/1.69 c 0.0s | 0 | 0 | 0 | 2583 0 | 0 | 36
1.69/1.72 c 0.0s | 0 | 2482 | 0 | 2583 0 | 0 | 36
1.69/1.72 c #cpu_time = 0.024s
1.69/1.72 c #wall_clock_time = 0.024s
1.69/1.72 c #decision = 2482
1.69/1.72 c #random_decision = 0
1.69/1.72 c #conflict = 0
1.69/1.72 c #restart = 0
1.69/1.72 c BCD2: found a new core of size 7: cost of the new core is >=1
1.69/1.72 c lower bound updated to 7
1.69/1.72 c BCD2: 7 <= obj <= 2846
1.69/1.72 c BCD2: #cores=7, #unrelaxed=2508, #relaxed=339, #hardened=0
1.69/1.72 c BCD2: #sat=1 #unsat=8 bias=8/9
1.69/1.72 c Solving starts ...
1.69/1.72 c ============================[ Search Statistics ]============================
1.69/1.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.69/1.72 c | | | | Limit GC | Var | Constra
1.69/1.72 c =============================================================================
1.69/1.72 c 0.0s | 0 | 0 | 0 | 2583 0 | 0 | 38
1.69/1.74 c 0.0s | 0 | 2478 | 0 | 2583 0 | 0 | 38
1.69/1.74 c #cpu_time = 0.023s
1.69/1.74 c #wall_clock_time = 0.023s
1.69/1.74 c #decision = 2478
1.69/1.74 c #random_decision = 0
1.69/1.74 c #conflict = 0
1.69/1.74 c #restart = 0
1.69/1.74 c BCD2: found a new core of size 5: cost of the new core is >=1
1.69/1.74 c lower bound updated to 8
1.69/1.75 c BCD2: 8 <= obj <= 2846
1.69/1.75 c BCD2: #cores=8, #unrelaxed=2503, #relaxed=344, #hardened=0
1.69/1.75 c BCD2: #sat=1 #unsat=9 bias=9/10
1.69/1.75 c Solving starts ...
1.69/1.75 c ============================[ Search Statistics ]============================
1.69/1.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.69/1.75 c | | | | Limit GC | Var | Constra
1.69/1.75 c =============================================================================
1.69/1.75 c 0.0s | 0 | 0 | 0 | 2583 0 | 0 | 46
1.69/1.77 c 0.0s | 0 | 2475 | 0 | 2583 0 | 0 | 46
1.69/1.77 c #cpu_time = 0.023s
1.69/1.77 c #wall_clock_time = 0.023s
1.69/1.77 c #decision = 2475
1.69/1.77 c #random_decision = 0
1.69/1.77 c #conflict = 0
1.69/1.77 c #restart = 0
1.69/1.77 c BCD2: found a new core of size 2: cost of the new core is >=1
1.69/1.77 c lower bound updated to 9
1.69/1.77 c BCD2: 9 <= obj <= 2846
1.69/1.77 c BCD2: #cores=9, #unrelaxed=2501, #relaxed=346, #hardened=0
1.69/1.77 c BCD2: #sat=1 #unsat=10 bias=10/11
1.69/1.77 c Solving starts ...
1.69/1.77 c ============================[ Search Statistics ]============================
1.69/1.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.69/1.77 c | | | | Limit GC | Var | Constra
1.69/1.77 c =============================================================================
1.69/1.77 c 0.0s | 0 | 0 | 0 | 2583 0 | 0 | 52
1.79/1.80 c 0.0s | 0 | 2477 | 0 | 2583 0 | 0 | 52
1.79/1.80 c #cpu_time = 0.024s
1.79/1.80 c #wall_clock_time = 0.025s
1.79/1.80 c #decision = 2477
1.79/1.80 c #random_decision = 0
1.79/1.80 c #conflict = 0
1.79/1.80 c #restart = 0
1.79/1.80 c BCD2: found a new core of size 17: cost of the new core is >=1
1.79/1.80 c lower bound updated to 10
1.79/1.80 c BCD2: 10 <= obj <= 2846
1.79/1.80 c BCD2: #cores=10, #unrelaxed=2484, #relaxed=363, #hardened=0
1.79/1.80 c BCD2: #sat=1 #unsat=11 bias=11/12
1.79/1.80 c Solving starts ...
1.79/1.80 c ============================[ Search Statistics ]============================
1.79/1.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.79/1.80 c | | | | Limit GC | Var | Constra
1.79/1.80 c =============================================================================
1.79/1.80 c 0.0s | 0 | 0 | 0 | 2583 0 | 0 | 55
1.79/1.83 c 0.0s | 0 | 2465 | 0 | 2583 0 | 0 | 55
1.79/1.83 c #cpu_time = 0.023s
1.79/1.83 c #wall_clock_time = 0.023s
1.79/1.83 c #decision = 2465
1.79/1.83 c #random_decision = 0
1.79/1.83 c #conflict = 0
1.79/1.83 c #restart = 0
1.79/1.83 c BCD2: found a new core of size 3: cost of the new core is >=1
1.79/1.83 c lower bound updated to 11
1.79/1.83 c BCD2: 11 <= obj <= 2846
1.79/1.83 c BCD2: #cores=11, #unrelaxed=2481, #relaxed=366, #hardened=0
1.79/1.83 c BCD2: #sat=1 #unsat=12 bias=12/13
1.79/1.83 c Solving starts ...
1.79/1.83 c ============================[ Search Statistics ]============================
1.79/1.83 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.79/1.83 c | | | | Limit GC | Var | Constra
1.79/1.83 c =============================================================================
1.79/1.83 c 0.0s | 0 | 0 | 0 | 2583 0 | 0 | 139
1.79/1.85 c 0.0s | 0 | 2464 | 0 | 2583 0 | 0 | 139
1.79/1.85 c #cpu_time = 0.023s
1.79/1.85 c #wall_clock_time = 0.023s
1.79/1.85 c #decision = 2464
1.79/1.85 c #random_decision = 0
1.79/1.85 c #conflict = 0
1.79/1.85 c #restart = 0
1.79/1.85 c BCD2: found a new core of size 4: cost of the new core is >=1
1.79/1.85 c lower bound updated to 12
1.79/1.86 c BCD2: 12 <= obj <= 2846
1.79/1.86 c BCD2: #cores=12, #unrelaxed=2477, #relaxed=370, #hardened=0
1.79/1.86 c BCD2: #sat=1 #unsat=13 bias=13/14
1.79/1.86 c Solving starts ...
1.79/1.86 c ============================[ Search Statistics ]============================
1.79/1.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.79/1.86 c | | | | Limit GC | Var | Constra
1.79/1.86 c =============================================================================
1.79/1.86 c 0.0s | 0 | 0 | 0 | 2583 0 | 0 | 149
1.79/1.88 c 0.0s | 0 | 2462 | 0 | 2583 0 | 0 | 149
1.79/1.88 c #cpu_time = 0.024s
1.79/1.88 c #wall_clock_time = 0.025s
1.79/1.88 c #decision = 2462
1.79/1.88 c #random_decision = 0
1.79/1.88 c #conflict = 0
1.79/1.88 c #restart = 0
1.79/1.88 c BCD2: found a new core of size 5: cost of the new core is >=1
1.79/1.88 c lower bound updated to 13
1.79/1.88 c BCD2: 13 <= obj <= 2846
1.79/1.88 c BCD2: #cores=13, #unrelaxed=2472, #relaxed=375, #hardened=0
1.79/1.88 c BCD2: #sat=1 #unsat=14 bias=14/15
1.79/1.88 c Solving starts ...
1.79/1.88 c ============================[ Search Statistics ]============================
1.79/1.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.79/1.88 c | | | | Limit GC | Var | Constra
1.79/1.88 c =============================================================================
1.79/1.88 c 0.0s | 0 | 0 | 0 | 2583 0 | 0 | 157
1.89/1.91 c 0.0s | 0 | 2459 | 0 | 2583 0 | 0 | 157
1.89/1.91 c #cpu_time = 0.023s
1.89/1.91 c #wall_clock_time = 0.023s
1.89/1.91 c #decision = 2459
1.89/1.91 c #random_decision = 0
1.89/1.91 c #conflict = 0
1.89/1.91 c #restart = 0
1.89/1.91 c BCD2: found a new core of size 25: cost of the new core is >=1
1.89/1.91 c lower bound updated to 14
1.89/1.91 c BCD2: 14 <= obj <= 2846
1.89/1.91 c BCD2: #cores=14, #unrelaxed=2447, #relaxed=400, #hardened=0
1.89/1.91 c BCD2: #sat=1 #unsat=15 bias=15/16
1.89/1.91 c Solving starts ...
1.89/1.91 c ============================[ Search Statistics ]============================
1.89/1.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.89/1.91 c | | | | Limit GC | Var | Constra
1.89/1.91 c =============================================================================
1.89/1.91 c 0.0s | 0 | 0 | 0 | 2583 0 | 0 | 157
1.89/1.94 c 0.0s | 0 | 2437 | 0 | 2583 0 | 0 | 157
1.89/1.94 c #cpu_time = 0.026s
1.89/1.94 c #wall_clock_time = 0.026s
1.89/1.94 c #decision = 2437
1.89/1.94 c #random_decision = 0
1.89/1.94 c #conflict = 0
1.89/1.94 c #restart = 0
1.89/1.94 c BCD2: found a new core of size 10: cost of the new core is >=1
1.89/1.94 c lower bound updated to 15
1.89/1.94 c BCD2: 15 <= obj <= 2846
1.89/1.94 c BCD2: #cores=15, #unrelaxed=2437, #relaxed=410, #hardened=0
1.89/1.94 c BCD2: #sat=1 #unsat=16 bias=16/17
1.89/1.94 c Solving starts ...
1.89/1.94 c ============================[ Search Statistics ]============================
1.89/1.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.89/1.94 c | | | | Limit GC | Var | Constra
1.89/1.94 c =============================================================================
1.89/1.94 c 0.0s | 0 | 0 | 0 | 2583 0 | 0 | 191
1.89/1.96 c 0.0s | 0 | 2436 | 0 | 2583 0 | 0 | 191
1.89/1.96 c #cpu_time = 0.024s
1.89/1.96 c #wall_clock_time = 0.024s
1.89/1.96 c #decision = 2436
1.89/1.96 c #random_decision = 0
1.89/1.96 c #conflict = 0
1.89/1.96 c #restart = 0
1.89/1.96 c BCD2: found a new core of size 2: cost of the new core is >=1
1.89/1.96 c lower bound updated to 16
1.89/1.97 c BCD2: 16 <= obj <= 2846
1.89/1.97 c BCD2: #cores=16, #unrelaxed=2435, #relaxed=412, #hardened=0
1.89/1.97 c BCD2: #sat=1 #unsat=17 bias=17/18
1.89/1.97 c Solving starts ...
1.89/1.97 c ============================[ Search Statistics ]============================
1.89/1.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.89/1.97 c | | | | Limit GC | Var | Constra
1.89/1.97 c =============================================================================
1.89/1.97 c 0.0s | 0 | 0 | 0 | 2583 0 | 0 | 231
1.89/2.00 c 0.0s | 0 | 2692 | 1 | 2583 0 | 0 | 231
1.89/2.00 c #cpu_time = 0.028s
1.89/2.00 c #wall_clock_time = 0.028s
1.89/2.00 c #decision = 2692
1.89/2.00 c #random_decision = 0
1.89/2.00 c #conflict = 1
1.89/2.00 c #restart = 0
1.99/2.00 o 41
1.99/2.00 c BCD2: updating upper bound: 2846 -> 40
1.99/2.00 c BCD2: 16 <= obj <= 40
1.99/2.00 c BCD2: #cores=16, #unrelaxed=2435, #relaxed=412, #hardened=0
1.99/2.00 c BCD2: #sat=2 #unsat=17 bias=17/19
1.99/2.01 c Solving starts ...
1.99/2.01 c ============================[ Search Statistics ]============================
1.99/2.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.99/2.01 c | | | | Limit GC | Var | Constra
1.99/2.01 c =============================================================================
1.99/2.01 c 0.0s | 0 | 0 | 0 | 2583 0 | 0 | 232
1.99/2.09 c 0.1s | 1 | 2793 | 100 | 2842 0 | 0 | 232
2.20/2.23 c 0.2s | 2 | 5964 | 250 | 3127 0 | 0 | 232
2.49/2.54 c 0.5s | 3 | 16292 | 475 | 3440 0 | 0 | 232
2.89/2.97 c 1.0s | 4 | 19777 | 813 | 3785 0 | 0 | 232
3.79/3.85 c 1.8s | 5 | 35791 | 1320 | 4164 0 | 0 | 232
5.09/5.14 c 3.1s | 6 | 42434 | 2081 | 4581 0 | 0 | 232
6.49/6.53 c 4.5s | 7 | 50981 | 3223 | 5040 0 | 0 | 232
8.59/8.65 c 6.6s | 7 | 67466 | 4823 | 5040 0 | 0 | 232
8.69/8.80 c 6.8s | 8 | 67831 | 4936 | 5544 0 | 0 | 232
10.79/10.88 c 8.9s | 8 | 75242 | 6036 | 5544 0 | 0 | 232
12.99/13.00 c 11.0s | 8 | 81182 | 7136 | 5544 1 | 0 | 232
13.39/13.47 c 11.5s | 9 | 82223 | 7506 | 6099 1 | 0 | 232
15.68/15.73 c 13.7s | 9 | 87755 | 8406 | 6099 1 | 0 | 232
17.70/17.76 c 15.8s | 9 | 93550 | 9506 | 6099 1 | 0 | 232
19.90/19.95 c 17.9s | 9 | 112540 | 10306 | 6099 2 | 0 | 232
21.89/21.98 c 20.0s | 9 | 116812 | 11206 | 6099 2 | 0 | 232
22.29/22.37 c 20.4s | 10 | 119753 | 11361 | 6709 2 | 0 | 232
24.48/24.51 c 22.5s | 10 | 123881 | 12161 | 6709 2 | 0 | 232
26.49/26.54 c 24.5s | 10 | 128681 | 13261 | 6709 2 | 0 | 232
28.59/28.67 c 26.7s | 10 | 130798 | 14361 | 6709 2 | 0 | 232
30.69/30.79 c 28.8s | 10 | 134361 | 14961 | 6709 3 | 0 | 232
32.88/32.97 c 31.0s | 10 | 136484 | 16061 | 6709 3 | 0 | 232
35.19/35.21 c 33.2s | 10 | 137928 | 16961 | 6709 3 | 0 | 232
35.58/35.63 c 33.6s | 11 | 138309 | 17144 | 7380 3 | 0 | 232
37.69/37.75 c 35.7s | 11 | 142095 | 17944 | 7380 3 | 0 | 232
39.69/39.76 c 37.8s | 11 | 142953 | 18544 | 7380 3 | 0 | 232
41.89/41.92 c 39.9s | 11 | 144884 | 19544 | 7380 3 | 0 | 232
43.89/43.99 c 42.0s | 11 | 147148 | 20544 | 7380 3 | 0 | 232
45.98/46.04 c 44.0s | 11 | 148037 | 20944 | 7380 4 | 0 | 232
48.18/48.22 c 46.2s | 11 | 149585 | 21844 | 7380 4 | 0 | 232
50.19/50.26 c 48.3s | 11 | 152236 | 22744 | 7380 4 | 0 | 232
52.38/52.49 c 50.5s | 11 | 155799 | 23644 | 7380 4 | 0 | 232
54.68/54.73 c 52.7s | 11 | 157414 | 24444 | 7380 4 | 0 | 232
56.88/56.94 c 54.9s | 11 | 158754 | 25144 | 7380 4 | 0 | 232
59.08/59.14 c 57.1s | 12 | 160159 | 25819 | 8119 4 | 0 | 232
61.28/61.33 c 59.3s | 12 | 163489 | 26119 | 8119 5 | 0 | 232
63.38/63.47 c 61.5s | 12 | 165384 | 27119 | 8119 5 | 0 | 232
65.48/65.58 c 63.6s | 12 | 167739 | 28119 | 8119 5 | 0 | 232
67.58/67.69 c 65.7s | 12 | 169597 | 29019 | 8119 5 | 0 | 232
69.78/69.88 c 67.9s | 12 | 171255 | 29919 | 8119 5 | 0 | 232
72.07/72.10 c 70.1s | 12 | 172721 | 30719 | 8119 5 | 0 | 232
74.08/74.14 c 72.1s | 12 | 174170 | 31519 | 8119 5 | 0 | 232
76.28/76.32 c 74.3s | 12 | 174925 | 31819 | 8119 6 | 0 | 232
78.37/78.42 c 76.4s | 12 | 176763 | 32619 | 8119 6 | 0 | 232
80.68/80.74 c 78.7s | 12 | 178510 | 33419 | 8119 6 | 0 | 232
82.98/83.00 c 81.0s | 12 | 180066 | 34119 | 8119 6 | 0 | 232
84.97/85.08 c 83.1s | 12 | 182069 | 34819 | 8119 6 | 0 | 232
87.07/87.15 c 85.1s | 12 | 185106 | 35719 | 8119 6 | 0 | 232
89.27/89.36 c 87.4s | 12 | 188589 | 36519 | 8119 6 | 0 | 232
91.98/92.01 c 90.0s | 12 | 189677 | 36919 | 8119 7 | 0 | 232
94.08/94.10 c 92.1s | 12 | 191732 | 37619 | 8119 7 | 0 | 232
96.17/96.28 c 94.3s | 12 | 194842 | 38519 | 8119 7 | 0 | 232
97.17/97.21 c 95.2s | 13 | 195628 | 38832 | 8931 7 | 0 | 232
99.37/99.44 c 97.4s | 13 | 199828 | 39632 | 8931 7 | 0 | 232
101.48/101.51 c 99.5s | 13 | 201983 | 40632 | 8931 7 | 0 | 232
103.67/103.72 c 101s | 13 | 203638 | 41532 | 8931 7 | 0 | 232
105.77/105.86 c 103s | 13 | 205227 | 42532 | 8931 7 | 0 | 232
108.47/108.52 c 106s | 13 | 206285 | 43132 | 8931 8 | 0 | 232
110.58/110.66 c 108s | 13 | 208003 | 43932 | 8931 8 | 0 | 232
112.67/112.79 c 110s | 13 | 209393 | 44732 | 8931 8 | 0 | 232
114.77/114.83 c 112s | 13 | 210756 | 45432 | 8931 8 | 0 | 232
116.97/117.07 c 115s | 13 | 211894 | 46132 | 8931 8 | 0 | 232
119.07/119.14 c 117s | 13 | 212906 | 46732 | 8931 8 | 0 | 232
121.27/121.33 c 119s | 13 | 214765 | 47632 | 8931 8 | 0 | 232
123.37/123.45 c 121s | 13 | 216435 | 48432 | 8931 8 | 0 | 232
126.17/126.27 c 124s | 13 | 217554 | 48932 | 8931 9 | 0 | 232
128.17/128.29 c 126s | 13 | 218919 | 49632 | 8931 9 | 0 | 232
130.47/130.50 c 128s | 13 | 220863 | 50432 | 8931 9 | 0 | 232
132.57/132.67 c 130s | 13 | 223154 | 51132 | 8931 9 | 0 | 232
134.97/135.02 c 133s | 13 | 224861 | 51832 | 8931 9 | 0 | 232
137.17/137.20 c 135s | 13 | 226489 | 52632 | 8931 9 | 0 | 232
139.26/139.32 c 137s | 13 | 228387 | 53532 | 8931 9 | 0 | 232
141.27/141.37 c 139s | 13 | 229804 | 54332 | 8931 9 | 0 | 232
143.67/143.72 c 141s | 13 | 230281 | 54632 | 8931 10 | 0 | 232
145.86/145.96 c 143s | 13 | 231544 | 55632 | 8931 10 | 0 | 232
148.06/148.10 c 146s | 13 | 233265 | 56532 | 8931 10 | 0 | 232
150.06/150.18 c 148s | 13 | 235072 | 57332 | 8931 10 | 0 | 232
152.37/152.46 c 150s | 13 | 236654 | 58032 | 9825 10 | 0 | 232
153.26/153.34 c 151s | 14 | 237699 | 58352 | 9825 10 | 0 | 232
155.46/155.51 c 153s | 14 | 241442 | 58852 | 9825 10 | 0 | 232
157.56/157.64 c 155s | 14 | 245252 | 59952 | 9825 10 | 0 | 232
159.66/159.71 c 157s | 14 | 249164 | 60952 | 9825 10 | 0 | 232
161.77/161.86 c 159s | 14 | 250692 | 61352 | 9825 11 | 0 | 232
163.87/164.00 c 161s | 14 | 253787 | 62352 | 9825 11 | 0 | 232
166.07/166.19 c 164s | 14 | 258019 | 63352 | 9825 11 | 0 | 232
168.26/168.38 c 166s | 14 | 260486 | 64252 | 9825 11 | 0 | 232
170.46/170.56 c 168s | 14 | 263694 | 65152 | 9825 11 | 0 | 232
172.67/172.79 c 170s | 14 | 266162 | 66052 | 9825 11 | 0 | 232
174.75/174.84 c 172s | 14 | 268474 | 66752 | 9825 11 | 0 | 232
176.85/176.97 c 174s | 14 | 270691 | 67452 | 9825 11 | 0 | 232
178.85/178.99 c 176s | 14 | 271466 | 67752 | 9825 12 | 0 | 232
181.06/181.17 c 179s | 14 | 273850 | 68552 | 9825 12 | 0 | 232
183.35/183.45 c 181s | 14 | 275720 | 69352 | 9825 12 | 0 | 232
185.55/185.61 c 183s | 14 | 277433 | 70052 | 9825 12 | 0 | 232
187.55/187.65 c 185s | 14 | 278967 | 70652 | 9825 12 | 0 | 232
189.66/189.78 c 187s | 14 | 280074 | 71252 | 9825 12 | 0 | 232
191.65/191.79 c 189s | 14 | 281103 | 71752 | 9825 12 | 0 | 232
193.85/193.93 c 191s | 14 | 283081 | 72552 | 9825 12 | 0 | 232
195.95/196.02 c 194s | 14 | 286674 | 73452 | 9825 12 | 0 | 232
198.06/198.15 c 196s | 14 | 287357 | 73752 | 9825 13 | 0 | 232
200.26/200.38 c 198s | 14 | 290324 | 74652 | 9825 13 | 0 | 232
202.35/202.45 c 200s | 14 | 292571 | 75452 | 9825 13 | 0 | 232
204.55/204.63 c 202s | 14 | 294323 | 76252 | 9825 13 | 0 | 232
206.75/206.82 c 204s | 14 | 296309 | 77052 | 9825 13 | 0 | 232
208.95/209.05 c 207s | 14 | 297476 | 77652 | 9825 13 | 0 | 232
210.95/211.09 c 209s | 14 | 299046 | 78352 | 9825 13 | 0 | 232
213.04/213.19 c 211s | 14 | 300741 | 78952 | 9825 13 | 0 | 232
215.34/215.44 c 213s | 14 | 303793 | 79852 | 9825 13 | 0 | 232
217.54/217.62 c 215s | 14 | 304508 | 80152 | 9825 14 | 0 | 232
219.64/219.77 c 217s | 14 | 307529 | 81252 | 9825 14 | 0 | 232
221.74/221.84 c 219s | 14 | 310206 | 82452 | 9825 14 | 0 | 232
223.94/224.00 c 221s | 14 | 312825 | 83552 | 9825 14 | 0 | 232
225.94/226.05 c 224s | 14 | 315338 | 84552 | 9825 14 | 0 | 232
228.24/228.37 c 226s | 14 | 317360 | 85452 | 9825 14 | 0 | 232
231.14/231.21 c 229s | 14 | 319468 | 86152 | 9825 15 | 0 | 232
233.34/233.42 c 231s | 14 | 322831 | 87252 | 10808 15 | 0 | 232
234.04/234.14 c 232s | 15 | 323947 | 87632 | 10808 15 | 0 | 232
236.14/236.25 c 234s | 15 | 330933 | 88532 | 10808 15 | 0 | 232
238.24/238.39 c 236s | 15 | 333194 | 89532 | 10808 15 | 0 | 232
240.34/240.40 c 238s | 15 | 335882 | 90532 | 10808 15 | 0 | 232
242.34/242.46 c 240s | 15 | 337836 | 91532 | 10808 15 | 0 | 232
244.34/244.47 c 242s | 15 | 340923 | 92432 | 10808 15 | 0 | 232
247.74/247.85 c 245s | 15 | 343660 | 93332 | 10808 16 | 0 | 232
249.83/249.99 c 247s | 15 | 346741 | 94332 | 10808 16 | 0 | 232
252.03/252.18 c 250s | 15 | 351433 | 95432 | 10808 16 | 0 | 232
254.24/254.32 c 252s | 15 | 354466 | 96432 | 10808 16 | 0 | 232
256.44/256.57 c 254s | 15 | 357426 | 97332 | 10808 16 | 0 | 232
258.63/258.78 c 256s | 15 | 360125 | 98132 | 10808 16 | 0 | 232
260.75/260.83 c 258s | 15 | 362320 | 98832 | 10808 16 | 0 | 232
263.04/263.17 c 261s | 15 | 365060 | 99532 | 10808 16 | 0 | 232
265.94/266.09 c 264s | 15 | 366302 | 100032 | 10808 17 | 0 | 232
268.13/268.20 c 266s | 15 | 368994 | 100932 | 10808 17 | 0 | 232
270.14/270.22 c 268s | 15 | 372473 | 101932 | 10808 17 | 0 | 232
272.23/272.33 c 270s | 15 | 374851 | 102832 | 10808 17 | 0 | 232
274.23/274.39 c 272s | 15 | 377647 | 103732 | 10808 17 | 0 | 232
276.33/276.42 c 274s | 15 | 380153 | 104532 | 10808 17 | 0 | 232
278.63/278.70 c 276s | 15 | 383131 | 105432 | 10808 17 | 0 | 232
280.63/280.71 c 278s | 15 | 386162 | 106232 | 10808 17 | 0 | 232
283.43/283.59 c 281s | 15 | 388001 | 106732 | 10808 18 | 0 | 232
285.63/285.76 c 283s | 15 | 390397 | 107432 | 10808 18 | 0 | 232
287.72/287.86 c 285s | 15 | 393542 | 108232 | 10808 18 | 0 | 232
289.93/290.07 c 288s | 15 | 396805 | 109532 | 10808 18 | 0 | 232
292.13/292.23 c 290s | 15 | 400577 | 110732 | 10808 18 | 0 | 232
294.23/294.33 c 292s | 15 | 404067 | 111732 | 10808 18 | 0 | 232
296.32/296.47 c 294s | 15 | 406131 | 112632 | 10808 18 | 0 | 232
300.02/300.13 c 298s | 15 | 407841 | 113432 | 10808 19 | 0 | 232
302.02/302.13 c 300s | 15 | 411062 | 114232 | 10808 19 | 0 | 232
304.22/304.31 c 302s | 15 | 416134 | 115332 | 10808 19 | 0 | 232
306.42/306.55 c 304s | 15 | 419929 | 116332 | 10808 19 | 0 | 232
308.62/308.71 c 306s | 15 | 423873 | 117232 | 10808 19 | 0 | 232
310.72/310.85 c 308s | 15 | 428645 | 118132 | 10808 19 | 0 | 232
313.12/313.20 c 311s | 15 | 434163 | 119032 | 10808 19 | 0 | 232
315.31/315.45 c 313s | 15 | 436656 | 119732 | 10808 19 | 0 | 232
317.71/317.87 c 315s | 15 | 438031 | 120132 | 10808 20 | 0 | 232
319.81/319.96 c 317s | 15 | 441502 | 120932 | 10808 20 | 0 | 232
322.10/322.22 c 320s | 15 | 446556 | 121832 | 10808 20 | 0 | 232
324.30/324.48 c 322s | 15 | 448416 | 122432 | 10808 20 | 0 | 232
326.62/326.71 c 324s | 15 | 451580 | 123232 | 10808 20 | 0 | 232
328.61/328.74 c 326s | 15 | 456911 | 124032 | 10808 20 | 0 | 232
330.70/330.88 c 328s | 15 | 459369 | 124632 | 10808 20 | 0 | 232
332.71/332.88 c 330s | 15 | 461903 | 125132 | 10808 20 | 0 | 232
335.10/335.29 c 333s | 15 | 464875 | 125932 | 10808 20 | 0 | 232
337.31/337.48 c 335s | 15 | 467566 | 126632 | 10808 20 | 0 | 232
339.61/339.76 c 337s | 15 | 468298 | 126932 | 10808 21 | 0 | 232
341.60/341.78 c 339s | 15 | 470154 | 127432 | 10808 21 | 0 | 232
343.59/343.80 c 341s | 15 | 471447 | 127932 | 10808 21 | 0 | 232
345.79/345.95 c 343s | 15 | 476049 | 129432 | 10808 21 | 0 | 232
348.10/348.25 c 346s | 15 | 480431 | 130432 | 10808 21 | 0 | 232
350.10/350.26 c 348s | 15 | 484485 | 131332 | 11889 21 | 0 | 232
350.50/350.62 c 348s | 16 | 484993 | 131552 | 11889 21 | 0 | 232
352.49/352.63 c 350s | 16 | 488894 | 132152 | 11889 21 | 0 | 232
354.59/354.74 c 352s | 16 | 492306 | 133152 | 11889 21 | 0 | 232
356.79/356.90 c 354s | 16 | 495532 | 134052 | 11889 21 | 0 | 232
360.09/360.24 c 358s | 16 | 497109 | 134652 | 11889 22 | 0 | 232
362.09/362.28 c 360s | 16 | 499741 | 135552 | 11889 22 | 0 | 232
364.18/364.39 c 362s | 16 | 503334 | 136652 | 11889 22 | 0 | 232
366.38/366.52 c 364s | 16 | 506367 | 137852 | 11889 22 | 0 | 232
368.40/368.58 c 366s | 16 | 508075 | 138852 | 11889 22 | 0 | 232
370.69/370.88 c 368s | 16 | 509965 | 139752 | 11889 22 | 0 | 232
372.79/372.98 c 370s | 16 | 511966 | 140752 | 11889 22 | 0 | 232
374.89/375.01 c 373s | 16 | 513852 | 141552 | 11889 22 | 0 | 232
377.39/377.58 c 375s | 16 | 514745 | 141952 | 11889 23 | 0 | 232
379.49/379.69 c 377s | 16 | 516712 | 142752 | 11889 23 | 0 | 232
381.78/381.91 c 379s | 16 | 518166 | 143452 | 11889 23 | 0 | 232
383.88/384.09 c 382s | 16 | 519657 | 144052 | 11889 23 | 0 | 232
386.08/386.21 c 384s | 16 | 521511 | 144652 | 11889 23 | 0 | 232
388.19/388.33 c 386s | 16 | 523404 | 145352 | 11889 23 | 0 | 232
390.39/390.51 c 388s | 16 | 524408 | 145952 | 11889 23 | 0 | 232
392.37/392.54 c 390s | 16 | 525809 | 146752 | 11889 23 | 0 | 232
394.38/394.54 c 392s | 16 | 526842 | 147352 | 11889 23 | 0 | 232
396.47/396.68 c 394s | 16 | 528042 | 147952 | 11889 23 | 0 | 232
398.87/399.00 c 396s | 16 | 529706 | 148652 | 11889 23 | 0 | 232
402.48/402.61 c 400s | 16 | 530761 | 149152 | 11889 24 | 0 | 232
404.68/404.85 c 402s | 16 | 532944 | 150252 | 11889 24 | 0 | 232
406.67/406.88 c 404s | 16 | 534504 | 151152 | 11889 24 | 0 | 232
408.87/409.09 c 407s | 16 | 536051 | 151952 | 11889 24 | 0 | 232
411.07/411.23 c 409s | 16 | 537751 | 152652 | 11889 24 | 0 | 232
413.17/413.31 c 411s | 16 | 539727 | 153652 | 11889 24 | 0 | 232
415.27/415.40 c 413s | 16 | 541120 | 154352 | 11889 24 | 0 | 232
417.47/417.60 c 415s | 16 | 542681 | 155052 | 11889 24 | 0 | 232
419.56/419.71 c 417s | 16 | 544286 | 155852 | 11889 24 | 0 | 232
422.76/422.95 c 420s | 16 | 545262 | 156352 | 11889 25 | 0 | 232
424.96/425.12 c 423s | 16 | 546900 | 156952 | 11889 25 | 0 | 232
427.16/427.35 c 425s | 16 | 550171 | 157952 | 11889 25 | 0 | 232
429.37/429.57 c 427s | 16 | 554315 | 159052 | 11889 25 | 0 | 232
431.46/431.63 c 429s | 16 | 557459 | 160052 | 11889 25 | 0 | 232
433.66/433.80 c 431s | 16 | 559469 | 160852 | 11889 25 | 0 | 232
435.65/435.84 c 433s | 16 | 561316 | 161452 | 11889 25 | 0 | 232
437.86/438.04 c 436s | 16 | 565180 | 162452 | 11889 25 | 0 | 232
440.16/440.36 c 438s | 16 | 567114 | 163352 | 11889 25 | 0 | 232
442.45/442.64 c 440s | 16 | 568153 | 163652 | 11889 26 | 0 | 232
444.56/444.70 c 442s | 16 | 570699 | 164652 | 11889 26 | 0 | 232
446.56/446.72 c 444s | 16 | 573367 | 165352 | 11889 26 | 0 | 232
448.76/448.90 c 446s | 16 | 576410 | 166552 | 11889 26 | 0 | 232
450.96/451.17 c 449s | 16 | 578053 | 167252 | 11889 26 | 0 | 232
453.17/453.31 c 451s | 16 | 580673 | 167952 | 11889 26 | 0 | 232
455.15/455.40 c 453s | 16 | 582626 | 168952 | 11889 26 | 0 | 232
457.46/457.61 c 455s | 16 | 584372 | 169752 | 11889 26 | 0 | 232
459.55/459.78 c 457s | 16 | 586893 | 170552 | 11889 26 | 0 | 232
461.95/462.16 c 460s | 16 | 587692 | 170852 | 11889 27 | 0 | 232
464.06/464.28 c 462s | 16 | 589576 | 171552 | 11889 27 | 0 | 232
466.15/466.37 c 464s | 16 | 591560 | 172452 | 11889 27 | 0 | 232
468.46/468.61 c 466s | 16 | 593307 | 173052 | 11889 27 | 0 | 232
470.45/470.68 c 468s | 16 | 595377 | 173752 | 11889 27 | 0 | 232
472.65/472.83 c 470s | 16 | 596956 | 174352 | 11889 27 | 0 | 232
474.64/474.86 c 472s | 16 | 598336 | 174852 | 11889 27 | 0 | 232
476.74/476.93 c 474s | 16 | 600552 | 175652 | 11889 27 | 0 | 232
478.75/478.96 c 476s | 16 | 603187 | 176452 | 11889 27 | 0 | 232
480.94/481.10 c 479s | 16 | 606763 | 177652 | 11889 27 | 0 | 232
483.64/483.86 c 481s | 16 | 608732 | 178152 | 11889 28 | 0 | 232
486.15/486.32 c 484s | 16 | 612172 | 178952 | 11889 28 | 0 | 232
488.24/488.46 c 486s | 16 | 615394 | 179952 | 11889 28 | 0 | 232
490.45/490.61 c 488s | 16 | 617791 | 180652 | 11889 28 | 0 | 232
492.64/492.83 c 490s | 16 | 620114 | 181252 | 11889 28 | 0 | 232
494.84/495.03 c 493s | 16 | 622324 | 181852 | 11889 28 | 0 | 232
496.93/497.18 c 495s | 16 | 624921 | 182552 | 11889 28 | 0 | 232
499.03/499.25 c 497s | 16 | 627217 | 183252 | 11889 28 | 0 | 232
501.14/501.34 c 499s | 16 | 629649 | 184152 | 11889 28 | 0 | 232
503.33/503.52 c 501s | 16 | 631458 | 184852 | 11889 28 | 0 | 232
506.33/506.53 c 504s | 16 | 633416 | 185352 | 11889 29 | 0 | 232
508.63/508.89 c 506s | 16 | 635849 | 186352 | 11889 29 | 0 | 232
510.93/511.13 c 509s | 16 | 637913 | 187052 | 11889 29 | 0 | 232
513.22/513.49 c 511s | 16 | 639388 | 187852 | 11889 29 | 0 | 232
515.33/515.55 c 513s | 16 | 640631 | 188352 | 11889 29 | 0 | 232
517.53/517.71 c 515s | 16 | 642498 | 188952 | 11889 29 | 0 | 232
519.83/520.03 c 518s | 16 | 644844 | 189652 | 11889 29 | 0 | 232
521.92/522.12 c 520s | 16 | 648030 | 190252 | 11889 29 | 0 | 232
523.92/524.17 c 522s | 16 | 649631 | 190752 | 11889 29 | 0 | 232
526.32/526.56 c 524s | 16 | 651517 | 191452 | 11889 29 | 0 | 232
528.42/528.61 c 526s | 16 | 652523 | 191952 | 11889 29 | 0 | 232
530.41/530.67 c 528s | 16 | 654551 | 192552 | 11889 29 | 0 | 232
532.72/532.97 c 530s | 16 | 655257 | 192852 | 11889 30 | 0 | 232
534.82/535.05 c 533s | 16 | 656272 | 193352 | 11889 30 | 0 | 232
537.11/537.34 c 535s | 16 | 658165 | 193852 | 11889 30 | 0 | 232
539.32/539.51 c 537s | 16 | 658992 | 194252 | 11889 30 | 0 | 232
541.41/541.63 c 539s | 16 | 661134 | 195052 | 11889 30 | 0 | 232
543.72/543.91 c 541s | 16 | 662836 | 195852 | 11889 30 | 0 | 232
545.81/546.06 c 544s | 16 | 664869 | 196552 | 13078 30 | 0 | 232
548.31/548.52 c 546s | 16 | 666943 | 197352 | 13078 30 | 0 | 232
548.41/548.68 c 546s | 17 | 667110 | 197432 | 13078 30 | 0 | 232
550.62/550.89 c 548s | 17 | 670850 | 197932 | 13078 30 | 0 | 232
552.71/552.90 c 550s | 17 | 673041 | 198732 | 13078 30 | 0 | 232
554.70/554.97 c 552s | 17 | 675458 | 199732 | 13078 30 | 0 | 232
557.00/557.28 c 555s | 17 | 678621 | 200532 | 13078 30 | 0 | 232
560.91/561.14 c 559s | 17 | 680209 | 201132 | 13078 31 | 0 | 232
563.11/563.36 c 561s | 17 | 682441 | 201832 | 13078 31 | 0 | 232
565.31/565.53 c 563s | 17 | 685056 | 202532 | 13078 31 | 0 | 232
567.41/567.63 c 565s | 17 | 687483 | 203532 | 13078 31 | 0 | 232
569.40/569.65 c 567s | 17 | 689395 | 204132 | 13078 31 | 0 | 232
571.40/571.66 c 569s | 17 | 691953 | 205032 | 13078 31 | 0 | 232
573.49/573.73 c 571s | 17 | 693248 | 205632 | 13078 31 | 0 | 232
575.60/575.82 c 573s | 17 | 695683 | 206332 | 13078 31 | 0 | 232
577.60/577.88 c 575s | 17 | 698182 | 206932 | 13078 31 | 0 | 232
579.79/580.09 c 578s | 17 | 701309 | 207832 | 13078 31 | 0 | 232
581.89/582.14 c 580s | 17 | 702647 | 208532 | 13078 31 | 0 | 232
584.79/585.08 c 583s | 17 | 704788 | 208932 | 13078 32 | 0 | 232
586.99/587.23 c 585s | 17 | 707442 | 210232 | 13078 32 | 0 | 232
589.00/589.27 c 587s | 17 | 709347 | 211132 | 13078 32 | 0 | 232
591.09/591.36 c 589s | 17 | 711657 | 211832 | 13078 32 | 0 | 232
593.19/593.47 c 591s | 17 | 713693 | 212632 | 13078 32 | 0 | 232
595.29/595.53 c 593s | 17 | 717229 | 213332 | 13078 32 | 0 | 232
597.49/597.77 c 595s | 17 | 719832 | 214032 | 13078 32 | 0 | 232
599.59/599.82 c 597s | 17 | 722079 | 214732 | 13078 32 | 0 | 232
601.79/602.04 c 600s | 17 | 723518 | 215332 | 13078 32 | 0 | 232
603.79/604.09 c 602s | 17 | 725810 | 216032 | 13078 32 | 0 | 232
607.28/607.51 c 605s | 17 | 728553 | 216732 | 13078 33 | 0 | 232
609.58/609.86 c 607s | 17 | 730456 | 217332 | 13078 33 | 0 | 232
611.88/612.13 c 610s | 17 | 733114 | 218032 | 13078 33 | 0 | 232
613.99/614.28 c 612s | 17 | 735754 | 218832 | 13078 33 | 0 | 232
616.08/616.38 c 614s | 17 | 737038 | 219432 | 13078 33 | 0 | 232
618.48/618.76 c 616s | 17 | 739639 | 220332 | 13078 33 | 0 | 232
620.48/620.76 c 618s | 17 | 741036 | 220832 | 13078 33 | 0 | 232
622.88/623.12 c 621s | 17 | 742865 | 221432 | 13078 33 | 0 | 232
625.08/625.32 c 623s | 17 | 743682 | 221832 | 13078 33 | 0 | 232
627.48/627.71 c 625s | 17 | 745192 | 222432 | 13078 33 | 0 | 232
629.57/629.82 c 627s | 17 | 746500 | 222932 | 13078 33 | 0 | 232
631.98/632.23 c 630s | 17 | 747574 | 223432 | 13078 33 | 0 | 232
634.07/634.35 c 632s | 17 | 748694 | 223932 | 13078 33 | 0 | 232
637.47/637.70 c 635s | 17 | 750314 | 224632 | 13078 34 | 0 | 232
639.47/639.74 c 637s | 17 | 752448 | 225732 | 13078 34 | 0 | 232
641.57/641.88 c 639s | 17 | 754715 | 226532 | 13078 34 | 0 | 232
643.77/644.00 c 641s | 17 | 757506 | 227232 | 13078 34 | 0 | 232
645.77/646.02 c 644s | 17 | 759789 | 227932 | 13078 34 | 0 | 232
647.87/648.18 c 646s | 17 | 761541 | 228632 | 13078 34 | 0 | 232
650.17/650.46 c 648s | 17 | 763913 | 229532 | 13078 34 | 0 | 232
652.36/652.63 c 650s | 17 | 765872 | 230432 | 13078 34 | 0 | 232
654.37/654.65 c 652s | 17 | 767261 | 231232 | 13078 34 | 0 | 232
656.47/656.74 c 654s | 17 | 769287 | 231932 | 13078 34 | 0 | 232
659.16/659.41 c 657s | 17 | 770165 | 232432 | 13078 35 | 0 | 232
661.26/661.57 c 659s | 17 | 771619 | 233232 | 13078 35 | 0 | 232
663.46/663.78 c 661s | 17 | 772940 | 234132 | 13078 35 | 0 | 232
665.56/665.82 c 663s | 17 | 775510 | 235332 | 13078 35 | 0 | 232
667.76/668.01 c 665s | 17 | 777117 | 236332 | 13078 35 | 0 | 232
669.96/670.22 c 668s | 17 | 778349 | 237232 | 13078 35 | 0 | 232
672.06/672.39 c 670s | 17 | 779267 | 237932 | 13078 35 | 0 | 232
674.45/674.70 c 672s | 17 | 780591 | 238732 | 13078 35 | 0 | 232
676.55/676.84 c 674s | 17 | 781973 | 239432 | 13078 35 | 0 | 232
678.85/679.10 c 677s | 17 | 783045 | 240132 | 13078 35 | 0 | 232
681.05/681.39 c 679s | 17 | 783328 | 240332 | 13078 36 | 0 | 232
683.25/683.54 c 681s | 17 | 785825 | 241332 | 13078 36 | 0 | 232
685.44/685.77 c 683s | 17 | 788258 | 242432 | 13078 36 | 0 | 232
687.75/688.04 c 686s | 17 | 789979 | 243432 | 13078 36 | 0 | 232
689.85/690.17 c 688s | 17 | 791673 | 244332 | 13078 36 | 0 | 232
692.04/692.34 c 690s | 17 | 793558 | 245432 | 13078 36 | 0 | 232
694.24/694.51 c 692s | 17 | 794807 | 246232 | 13078 36 | 0 | 232
696.54/696.83 c 694s | 17 | 796565 | 246932 | 13078 36 | 0 | 232
698.65/698.92 c 696s | 17 | 797711 | 247632 | 13078 36 | 0 | 232
701.65/701.99 c 699s | 17 | 798660 | 248132 | 13078 37 | 0 | 232
703.94/704.23 c 702s | 17 | 800443 | 248932 | 13078 37 | 0 | 232
706.13/706.43 c 704s | 17 | 802664 | 250032 | 13078 37 | 0 | 232
708.24/708.58 c 706s | 17 | 804836 | 251032 | 13078 37 | 0 | 232
710.35/710.63 c 708s | 17 | 806321 | 251932 | 13078 37 | 0 | 232
712.43/712.74 c 710s | 17 | 807833 | 252732 | 13078 37 | 0 | 232
714.43/714.75 c 712s | 17 | 808933 | 253332 | 13078 37 | 0 | 232
716.54/716.81 c 714s | 17 | 810583 | 254232 | 13078 37 | 0 | 232
718.83/719.10 c 717s | 17 | 811883 | 255032 | 13078 37 | 0 | 232
720.83/721.10 c 719s | 17 | 813038 | 255632 | 13078 37 | 0 | 232
723.43/723.77 c 721s | 17 | 814053 | 256032 | 13078 38 | 0 | 232
725.74/726.02 c 724s | 17 | 815493 | 256832 | 13078 38 | 0 | 232
727.83/728.13 c 726s | 17 | 816756 | 257432 | 13078 38 | 0 | 232
730.13/730.42 c 728s | 17 | 817555 | 257932 | 13078 38 | 0 | 232
732.13/732.47 c 730s | 17 | 818596 | 258432 | 13078 38 | 0 | 232
734.22/734.58 c 732s | 17 | 820280 | 259332 | 13078 38 | 0 | 232
736.42/736.70 c 734s | 17 | 823399 | 260532 | 13078 38 | 0 | 232
738.52/738.89 c 736s | 17 | 825586 | 261632 | 13078 38 | 0 | 232
740.72/741.01 c 739s | 17 | 827258 | 262432 | 13078 38 | 0 | 232
742.71/743.04 c 741s | 17 | 828785 | 263232 | 13078 38 | 0 | 232
745.92/746.24 c 744s | 17 | 829813 | 263832 | 13078 39 | 0 | 232
748.01/748.33 c 746s | 17 | 830872 | 264532 | 13078 39 | 0 | 232
750.22/750.57 c 748s | 17 | 833135 | 265332 | 13078 39 | 0 | 232
752.31/752.60 c 750s | 17 | 834825 | 266132 | 13078 39 | 0 | 232
754.62/754.91 c 752s | 17 | 836370 | 267032 | 13078 39 | 0 | 232
756.82/757.14 c 755s | 17 | 837442 | 267632 | 13078 39 | 0 | 232
758.91/759.27 c 757s | 17 | 838691 | 268232 | 13078 39 | 0 | 232
761.22/761.56 c 759s | 17 | 840233 | 269032 | 13078 39 | 0 | 232
763.51/763.86 c 761s | 17 | 841489 | 269732 | 13078 39 | 0 | 232
765.61/765.90 c 763s | 17 | 842333 | 270332 | 13078 39 | 0 | 232
767.71/768.07 c 766s | 17 | 844808 | 271432 | 13078 39 | 0 | 232
769.82/770.12 c 768s | 17 | 845309 | 271732 | 13078 40 | 0 | 232
771.92/772.29 c 770s | 17 | 847564 | 272732 | 13078 40 | 0 | 232
774.01/774.37 c 772s | 17 | 849006 | 273532 | 13078 40 | 0 | 232
776.01/776.39 c 774s | 17 | 850201 | 274232 | 13078 40 | 0 | 232
778.11/778.44 c 776s | 17 | 851708 | 274932 | 13078 40 | 0 | 232
780.11/780.45 c 778s | 17 | 853579 | 275832 | 13078 40 | 0 | 232
782.20/782.57 c 780s | 17 | 855706 | 276832 | 13078 40 | 0 | 232
784.41/784.71 c 782s | 17 | 857494 | 277732 | 13078 40 | 0 | 232
786.41/786.76 c 784s | 17 | 859052 | 278532 | 13078 40 | 0 | 232
788.61/788.96 c 786s | 17 | 860905 | 279232 | 13078 40 | 0 | 232
791.01/791.39 c 789s | 17 | 861531 | 279532 | 13078 41 | 0 | 232
793.51/793.83 c 791s | 17 | 862982 | 280232 | 13078 41 | 0 | 232
795.61/795.93 c 793s | 17 | 864789 | 281132 | 13078 41 | 0 | 232
797.91/798.20 c 796s | 17 | 866261 | 282032 | 13078 41 | 0 | 232
800.01/800.31 c 798s | 17 | 868440 | 282832 | 13078 41 | 0 | 232
802.21/802.57 c 800s | 17 | 872041 | 283732 | 13078 41 | 0 | 232
804.31/804.66 c 802s | 17 | 875074 | 284432 | 13078 41 | 0 | 232
806.30/806.67 c 804s | 17 | 876691 | 285232 | 13078 41 | 0 | 232
808.41/808.70 c 806s | 17 | 878563 | 286232 | 13078 41 | 0 | 232
810.51/810.88 c 808s | 17 | 879784 | 287032 | 13078 41 | 0 | 232
812.50/812.89 c 810s | 17 | 880804 | 287432 | 13078 42 | 0 | 232
815.00/815.32 c 813s | 17 | 882549 | 288132 | 13078 42 | 0 | 232
817.20/817.56 c 815s | 17 | 883362 | 288732 | 13078 42 | 0 | 232
819.50/819.84 c 817s | 17 | 884387 | 289332 | 13078 42 | 0 | 232
821.71/822.02 c 820s | 17 | 886229 | 289932 | 13078 42 | 0 | 232
823.90/824.23 c 822s | 17 | 887981 | 290632 | 13078 42 | 0 | 232
826.20/826.51 c 824s | 17 | 889412 | 291232 | 13078 42 | 0 | 232
828.51/828.86 c 826s | 17 | 890821 | 291832 | 13078 42 | 0 | 232
830.70/831.04 c 829s | 17 | 893001 | 292632 | 13078 42 | 0 | 232
832.90/833.22 c 831s | 17 | 894146 | 293332 | 13078 42 | 0 | 232
835.20/835.58 c 833s | 17 | 896025 | 294032 | 13078 42 | 0 | 232
837.20/837.58 c 835s | 17 | 897458 | 294532 | 14386 42 | 0 | 232
839.30/839.63 c 837s | 17 | 898624 | 295032 | 14386 42 | 0 | 232
841.40/841.73 c 839s | 17 | 899730 | 295532 | 14386 42 | 0 | 232
843.60/843.90 c 841s | 17 | 900832 | 296132 | 14386 42 | 0 | 232
844.00/844.33 c 842s | 18 | 901061 | 296252 | 14386 42 | 0 | 232
847.60/847.95 c 845s | 18 | 903752 | 296352 | 14386 43 | 0 | 232
849.70/850.09 c 848s | 18 | 906398 | 297452 | 14386 43 | 0 | 232
852.00/852.31 c 850s | 18 | 909476 | 298352 | 14386 43 | 0 | 232
854.20/854.50 c 852s | 18 | 912059 | 299052 | 14386 43 | 0 | 232
856.30/856.66 c 854s | 18 | 913536 | 299652 | 14386 43 | 0 | 232
858.30/858.68 c 856s | 18 | 915419 | 300152 | 14386 43 | 0 | 232
860.39/860.73 c 858s | 18 | 919812 | 301152 | 14386 43 | 0 | 232
862.49/862.80 c 860s | 18 | 923672 | 302252 | 14386 43 | 0 | 232
864.50/864.86 c 862s | 18 | 925599 | 302952 | 14386 43 | 0 | 232
866.50/866.89 c 864s | 18 | 927881 | 303952 | 14386 43 | 0 | 232
868.50/868.89 c 866s | 18 | 930496 | 304752 | 14386 43 | 0 | 232
870.80/871.16 c 869s | 18 | 931163 | 304952 | 14386 44 | 0 | 232
872.90/873.23 c 871s | 18 | 933176 | 305952 | 14386 44 | 0 | 232
875.10/875.43 c 873s | 18 | 936250 | 306952 | 14386 44 | 0 | 232
877.30/877.63 c 875s | 18 | 939301 | 307852 | 14386 44 | 0 | 232
879.29/879.64 c 877s | 18 | 941019 | 308752 | 14386 44 | 0 | 232
881.29/881.65 c 879s | 18 | 943328 | 309652 | 14386 44 | 0 | 232
883.60/883.91 c 881s | 18 | 945385 | 310552 | 14386 44 | 0 | 232
885.79/886.15 c 884s | 18 | 948351 | 311552 | 14386 44 | 0 | 232
888.09/888.44 c 886s | 18 | 950371 | 312252 | 14386 44 | 0 | 232
890.39/890.70 c 888s | 18 | 951772 | 312752 | 14386 44 | 0 | 232
892.49/892.84 c 890s | 18 | 953752 | 313352 | 14386 44 | 0 | 232
894.60/894.95 c 892s | 18 | 954444 | 313652 | 14386 45 | 0 | 232
896.69/897.06 c 895s | 18 | 956169 | 314352 | 14386 45 | 0 | 232
898.79/899.11 c 897s | 18 | 957490 | 314952 | 14386 45 | 0 | 232
900.89/901.22 c 899s | 18 | 959699 | 315652 | 14386 45 | 0 | 232
902.89/903.28 c 901s | 18 | 962087 | 316252 | 14386 45 | 0 | 232
905.19/905.57 c 903s | 18 | 966209 | 317152 | 14386 45 | 0 | 232
907.39/907.78 c 905s | 18 | 969463 | 317952 | 14386 45 | 0 | 232
909.59/909.94 c 907s | 18 | 972355 | 318852 | 14386 45 | 0 | 232
911.79/912.18 c 910s | 18 | 974972 | 319652 | 14386 45 | 0 | 232
913.99/914.36 c 912s | 18 | 977744 | 320352 | 14386 45 | 0 | 232
916.10/916.43 c 914s | 18 | 980622 | 321252 | 14386 45 | 0 | 232
920.08/920.42 c 918s | 18 | 983604 | 321952 | 14386 46 | 0 | 232
922.29/922.65 c 920s | 18 | 986677 | 322752 | 14386 46 | 0 | 232
924.49/924.80 c 922s | 18 | 988517 | 323352 | 14386 46 | 0 | 232
926.59/926.91 c 924s | 18 | 991406 | 324252 | 14386 46 | 0 | 232
928.69/929.00 c 926s | 18 | 993656 | 324952 | 14386 46 | 0 | 232
930.68/931.07 c 929s | 18 | 995173 | 325952 | 14386 46 | 0 | 232
932.88/933.27 c 931s | 18 | 997459 | 326852 | 14386 46 | 0 | 232
935.09/935.44 c 933s | 18 | 998512 | 327452 | 14386 46 | 0 | 232
937.09/937.46 c 935s | 18 | 1000275 | 328152 | 14386 46 | 0 | 232
939.19/939.57 c 937s | 18 | 1001967 | 328852 | 14386 46 | 0 | 232
941.18/941.58 c 939s | 18 | 1004277 | 329452 | 14386 46 | 0 | 232
943.69/944.04 c 942s | 18 | 1007522 | 330152 | 14386 46 | 0 | 232
947.48/947.86 c 945s | 18 | 1008139 | 330452 | 14386 47 | 0 | 232
949.78/950.18 c 948s | 18 | 1010363 | 331152 | 14386 47 | 0 | 232
951.89/952.29 c 950s | 18 | 1013060 | 331852 | 14386 47 | 0 | 232
954.18/954.57 c 952s | 18 | 1016137 | 332652 | 14386 47 | 0 | 232
956.18/956.60 c 954s | 18 | 1018411 | 333452 | 14386 47 | 0 | 232
958.49/958.86 c 956s | 18 | 1020270 | 334152 | 14386 47 | 0 | 232
960.68/961.09 c 959s | 18 | 1022629 | 334852 | 14386 47 | 0 | 232
962.88/963.28 c 961s | 18 | 1024923 | 335552 | 14386 47 | 0 | 232
964.98/965.34 c 963s | 18 | 1026812 | 336152 | 14386 47 | 0 | 232
967.08/967.41 c 965s | 18 | 1028412 | 336752 | 14386 47 | 0 | 232
969.08/969.47 c 967s | 18 | 1030719 | 337452 | 14386 47 | 0 | 232
971.09/971.48 c 969s | 18 | 1032591 | 338052 | 14386 47 | 0 | 232
973.19/973.55 c 971s | 18 | 1033754 | 338452 | 14386 47 | 0 | 232
975.49/975.89 c 973s | 18 | 1034772 | 338852 | 14386 47 | 0 | 232
977.58/977.97 c 975s | 18 | 1035025 | 338952 | 14386 48 | 0 | 232
979.68/980.01 c 978s | 18 | 1037178 | 339552 | 14386 48 | 0 | 232
981.78/982.10 c 980s | 18 | 1038610 | 340152 | 14386 48 | 0 | 232
983.98/984.35 c 982s | 18 | 1040256 | 340752 | 14386 48 | 0 | 232
986.18/986.54 c 984s | 18 | 1041678 | 341352 | 14386 48 | 0 | 232
988.28/988.67 c 986s | 18 | 1043197 | 341952 | 14386 48 | 0 | 232
990.37/990.77 c 988s | 18 | 1045379 | 342752 | 14386 48 | 0 | 232
992.48/992.81 c 990s | 18 | 1048762 | 343552 | 14386 48 | 0 | 232
994.58/994.96 c 992s | 18 | 1051610 | 344352 | 14386 48 | 0 | 232
996.77/997.13 c 995s | 18 | 1054362 | 345252 | 14386 48 | 0 | 232
998.98/999.36 c 997s | 18 | 1056770 | 345952 | 14386 48 | 0 | 232
1001.18/1001.55 c 999s | 18 | 1059319 | 346852 | 14386 48 | 0 | 232
1004.57/1004.90 c 1002s | 18 | 1060727 | 347352 | 14386 49 | 0 | 232
1006.58/1006.91 c 1004s | 18 | 1063328 | 348152 | 14386 49 | 0 | 232
1008.57/1008.97 c 1006s | 18 | 1066365 | 348952 | 14386 49 | 0 | 232
1010.98/1011.35 c 1009s | 18 | 1068991 | 349752 | 14386 49 | 0 | 232
1013.27/1013.66 c 1011s | 18 | 1071465 | 350552 | 14386 49 | 0 | 232
1015.38/1015.72 c 1013s | 18 | 1073684 | 351252 | 14386 49 | 0 | 232
1017.67/1018.07 c 1016s | 18 | 1076175 | 351952 | 14386 49 | 0 | 232
1019.88/1020.23 c 1018s | 18 | 1078120 | 352552 | 14386 49 | 0 | 232
1021.87/1022.27 c 1020s | 18 | 1079576 | 353052 | 14386 49 | 0 | 232
1023.97/1024.39 c 1022s | 18 | 1081047 | 353552 | 14386 49 | 0 | 232
1026.38/1026.76 c 1024s | 18 | 1082849 | 354152 | 14386 49 | 0 | 232
1028.87/1029.23 c 1027s | 18 | 1084106 | 354652 | 14386 49 | 0 | 232
1030.87/1031.25 c 1029s | 18 | 1086555 | 355552 | 14386 49 | 0 | 232
1033.37/1033.70 c 1031s | 18 | 1087245 | 355852 | 14386 50 | 0 | 232
1035.37/1035.76 c 1033s | 18 | 1089567 | 356652 | 14386 50 | 0 | 232
1037.57/1038.00 c 1035s | 18 | 1092024 | 357452 | 14386 50 | 0 | 232
1039.67/1040.00 c 1037s | 18 | 1093969 | 358352 | 14386 50 | 0 | 232
1041.87/1042.21 c 1040s | 18 | 1095988 | 359352 | 14386 50 | 0 | 232
1044.07/1044.44 c 1042s | 18 | 1098789 | 360252 | 14386 50 | 0 | 232
1046.27/1046.62 c 1044s | 18 | 1101701 | 361052 | 14386 50 | 0 | 232
1048.37/1048.75 c 1046s | 18 | 1105009 | 361852 | 14386 50 | 0 | 232
1050.47/1050.83 c 1048s | 18 | 1107438 | 362752 | 14386 50 | 0 | 232
1052.77/1053.10 c 1051s | 18 | 1111244 | 363552 | 14386 50 | 0 | 232
1055.06/1055.42 c 1053s | 18 | 1112649 | 364152 | 14386 50 | 0 | 232
1057.57/1057.93 c 1055s | 18 | 1113774 | 364352 | 14386 51 | 0 | 232
1059.67/1060.00 c 1057s | 18 | 1116283 | 365552 | 14386 51 | 0 | 232
1061.77/1062.10 c 1060s | 18 | 1118568 | 366452 | 14386 51 | 0 | 232
1063.77/1064.10 c 1062s | 18 | 1121383 | 367252 | 14386 51 | 0 | 232
1065.77/1066.13 c 1064s | 18 | 1123779 | 367952 | 14386 51 | 0 | 232
1067.77/1068.14 c 1066s | 18 | 1127130 | 368852 | 14386 51 | 0 | 232
1069.87/1070.28 c 1068s | 18 | 1129043 | 369952 | 14386 51 | 0 | 232
1072.07/1072.45 c 1070s | 18 | 1132427 | 370952 | 14386 51 | 0 | 232
1074.27/1074.60 c 1072s | 18 | 1136196 | 371852 | 14386 51 | 0 | 232
1076.37/1076.76 c 1074s | 18 | 1138375 | 372552 | 14386 51 | 0 | 232
1079.06/1079.41 c 1077s | 18 | 1139782 | 372852 | 14386 52 | 0 | 232
1081.07/1081.46 c 1079s | 18 | 1141846 | 373752 | 14386 52 | 0 | 232
1083.06/1083.46 c 1081s | 18 | 1143512 | 374652 | 14386 52 | 0 | 232
1085.16/1085.51 c 1083s | 18 | 1145133 | 375452 | 14386 52 | 0 | 232
1087.16/1087.53 c 1085s | 18 | 1146356 | 376052 | 14386 52 | 0 | 232
1089.27/1089.67 c 1087s | 18 | 1148178 | 376752 | 14386 52 | 0 | 232
1091.46/1091.81 c 1089s | 18 | 1149549 | 377252 | 14386 52 | 0 | 232
1093.46/1093.84 c 1091s | 18 | 1150944 | 377852 | 14386 52 | 0 | 232
1095.66/1096.08 c 1094s | 18 | 1153138 | 378852 | 14386 52 | 0 | 232
1097.66/1098.09 c 1096s | 18 | 1154191 | 379552 | 14386 52 | 0 | 232
1099.87/1100.21 c 1098s | 18 | 1155576 | 380152 | 14386 52 | 0 | 232
1102.06/1102.46 c 1100s | 18 | 1156449 | 380652 | 14386 52 | 0 | 232
1105.86/1106.21 c 1104s | 18 | 1158236 | 381352 | 14386 53 | 0 | 232
1107.85/1108.22 c 1106s | 18 | 1159620 | 382052 | 14386 53 | 0 | 232
1109.86/1110.24 c 1108s | 18 | 1161338 | 382952 | 14386 53 | 0 | 232
1111.96/1112.32 c 1110s | 18 | 1162909 | 383952 | 14386 53 | 0 | 232
1113.97/1114.38 c 1112s | 18 | 1165052 | 384752 | 14386 53 | 0 | 232
1116.06/1116.44 c 1114s | 18 | 1167083 | 385452 | 14386 53 | 0 | 232
1118.06/1118.44 c 1116s | 18 | 1169087 | 386252 | 14386 53 | 0 | 232
1120.05/1120.49 c 1118s | 18 | 1171141 | 387052 | 14386 53 | 0 | 232
1122.26/1122.69 c 1120s | 18 | 1172672 | 387752 | 14386 53 | 0 | 232
1124.36/1124.71 c 1122s | 18 | 1174340 | 388452 | 14386 53 | 0 | 232
1126.36/1126.78 c 1124s | 18 | 1177604 | 389252 | 14386 53 | 0 | 232
1129.25/1129.66 c 1127s | 18 | 1178731 | 389852 | 14386 54 | 0 | 232
1131.45/1131.82 c 1129s | 18 | 1181633 | 390852 | 14386 54 | 0 | 232
1133.56/1133.92 c 1131s | 18 | 1183763 | 391752 | 14386 54 | 0 | 232
1135.65/1136.01 c 1134s | 18 | 1185962 | 392752 | 14386 54 | 0 | 232
1137.65/1138.09 c 1136s | 18 | 1187252 | 393552 | 14386 54 | 0 | 232
1139.76/1140.17 c 1138s | 18 | 1188783 | 394352 | 14386 54 | 0 | 232
1142.05/1142.44 c 1140s | 18 | 1190163 | 395252 | 14386 54 | 0 | 232
1144.05/1144.45 c 1142s | 18 | 1191660 | 396052 | 14386 54 | 0 | 232
1146.15/1146.52 c 1144s | 18 | 1193216 | 396752 | 14386 54 | 0 | 232
1148.26/1148.60 c 1146s | 18 | 1194496 | 397452 | 14386 54 | 0 | 232
1150.36/1150.74 c 1148s | 18 | 1195342 | 398052 | 14386 54 | 0 | 232
1152.66/1153.09 c 1151s | 18 | 1195793 | 398352 | 14386 55 | 0 | 232
1154.95/1155.34 c 1153s | 18 | 1197493 | 399252 | 14386 55 | 0 | 232
1157.05/1157.41 c 1155s | 18 | 1199042 | 399952 | 14386 55 | 0 | 232
1159.16/1159.53 c 1157s | 18 | 1200741 | 400852 | 14386 55 | 0 | 232
1161.15/1161.53 c 1159s | 18 | 1203311 | 401652 | 14386 55 | 0 | 232
1163.35/1163.74 c 1161s | 18 | 1204823 | 402252 | 14386 55 | 0 | 232
1165.35/1165.76 c 1163s | 18 | 1206841 | 403052 | 14386 55 | 0 | 232
1167.55/1167.92 c 1165s | 18 | 1208327 | 403852 | 14386 55 | 0 | 232
1169.55/1169.99 c 1167s | 18 | 1210182 | 404552 | 14386 55 | 0 | 232
1171.65/1172.09 c 1170s | 18 | 1212067 | 405452 | 14386 55 | 0 | 232
1173.65/1174.09 c 1172s | 18 | 1213635 | 406152 | 14386 55 | 0 | 232
1176.45/1176.84 c 1174s | 18 | 1214663 | 406852 | 14386 56 | 0 | 232
1178.65/1179.03 c 1177s | 18 | 1216447 | 407552 | 14386 56 | 0 | 232
1180.75/1181.11 c 1179s | 18 | 1218207 | 408252 | 14386 56 | 0 | 232
1182.95/1183.32 c 1181s | 18 | 1219574 | 409052 | 14386 56 | 0 | 232
1185.05/1185.49 c 1183s | 18 | 1220891 | 409852 | 14386 56 | 0 | 232
1187.35/1187.75 c 1185s | 18 | 1222449 | 410652 | 14386 56 | 0 | 232
1189.55/1189.97 c 1187s | 18 | 1224049 | 411352 | 14386 56 | 0 | 232
1191.85/1192.25 c 1190s | 18 | 1225810 | 412052 | 14386 56 | 0 | 232
1194.14/1194.53 c 1192s | 18 | 1227927 | 412952 | 14386 56 | 0 | 232
1196.55/1196.91 c 1194s | 18 | 1229424 | 413552 | 14386 56 | 0 | 232
1198.66/1199.08 c 1197s | 18 | 1230543 | 414152 | 14386 56 | 0 | 232
1200.85/1201.27 c 1199s | 18 | 1231621 | 414752 | 14386 56 | 0 | 232
1202.94/1203.33 c 1201s | 18 | 1232523 | 415252 | 14386 56 | 0 | 232
1205.15/1205.50 c 1203s | 18 | 1232948 | 415452 | 14386 57 | 0 | 232
1207.45/1207.81 c 1205s | 18 | 1234258 | 416052 | 14386 57 | 0 | 232
1209.45/1209.87 c 1207s | 18 | 1235640 | 416652 | 14386 57 | 0 | 232
1211.55/1211.94 c 1209s | 18 | 1237642 | 417352 | 14386 57 | 0 | 232
1213.64/1214.06 c 1212s | 18 | 1239254 | 418152 | 14386 57 | 0 | 232
1215.74/1216.14 c 1214s | 18 | 1240587 | 418852 | 14386 57 | 0 | 232
1218.15/1218.55 c 1216s | 18 | 1241842 | 419452 | 14386 57 | 0 | 232
1220.34/1220.71 c 1218s | 18 | 1243711 | 420052 | 14386 57 | 0 | 232
1222.44/1222.89 c 1220s | 18 | 1246368 | 420652 | 14386 57 | 0 | 232
1224.54/1224.93 c 1222s | 18 | 1248113 | 421252 | 14386 57 | 0 | 232
1226.64/1227.08 c 1225s | 18 | 1249596 | 421852 | 14386 57 | 0 | 232
1228.94/1229.31 c 1227s | 18 | 1251673 | 422452 | 14386 57 | 0 | 232
1231.14/1231.58 c 1229s | 18 | 1252682 | 422952 | 14386 57 | 0 | 232
1233.34/1233.78 c 1231s | 18 | 1255019 | 423552 | 14386 57 | 0 | 232
1235.54/1235.95 c 1233s | 18 | 1255749 | 423752 | 14386 58 | 0 | 232
1237.64/1238.03 c 1236s | 18 | 1257758 | 424252 | 14386 58 | 0 | 232
1239.64/1240.07 c 1238s | 18 | 1259944 | 424852 | 14386 58 | 0 | 232
1241.84/1242.27 c 1240s | 18 | 1262712 | 425852 | 14386 58 | 0 | 232
1244.04/1244.45 c 1242s | 18 | 1265743 | 427052 | 14386 58 | 0 | 232
1246.24/1246.64 c 1244s | 18 | 1269286 | 427952 | 14386 58 | 0 | 232
1248.34/1248.70 c 1246s | 18 | 1271236 | 428852 | 14386 58 | 0 | 232
1250.54/1250.91 c 1248s | 18 | 1272858 | 429652 | 14386 58 | 0 | 232
1252.64/1253.07 c 1251s | 18 | 1275438 | 430452 | 14386 58 | 0 | 232
1254.85/1255.20 c 1253s | 18 | 1278924 | 431252 | 14386 58 | 0 | 232
1256.84/1257.24 c 1255s | 18 | 1280657 | 432052 | 14386 58 | 0 | 232
1258.94/1259.39 c 1257s | 18 | 1281046 | 432252 | 14386 59 | 0 | 232
1261.14/1261.58 c 1259s | 18 | 1284023 | 433052 | 14386 59 | 0 | 232
1263.34/1263.78 c 1261s | 18 | 1285476 | 433652 | 14386 59 | 0 | 232
1265.34/1265.79 c 1263s | 18 | 1288043 | 434452 | 14386 59 | 0 | 232
1267.73/1268.10 c 1266s | 18 | 1290078 | 435152 | 14386 59 | 0 | 232
1269.74/1270.11 c 1268s | 18 | 1291839 | 436052 | 14386 59 | 0 | 232
1272.03/1272.41 c 1270s | 18 | 1292872 | 436752 | 14386 59 | 0 | 232
1274.24/1274.65 c 1272s | 18 | 1295040 | 437452 | 14386 59 | 0 | 232
1276.33/1276.75 c 1274s | 18 | 1296199 | 438052 | 14386 59 | 0 | 232
1278.33/1278.79 c 1276s | 18 | 1297495 | 438552 | 14386 59 | 0 | 232
1280.43/1280.82 c 1278s | 18 | 1300226 | 439252 | 14386 59 | 0 | 232
1282.53/1282.91 c 1280s | 18 | 1303062 | 439952 | 14386 59 | 0 | 232
1284.63/1285.09 c 1283s | 18 | 1305688 | 440652 | 14386 59 | 0 | 232
1286.74/1287.12 c 1285s | 18 | 1306192 | 440752 | 14386 60 | 0 | 232
1288.84/1289.29 c 1287s | 18 | 1308575 | 441452 | 15825 60 | 0 | 232
1291.04/1291.42 c 1289s | 18 | 1310749 | 442052 | 15825 60 | 0 | 232
1293.13/1293.59 c 1291s | 18 | 1314642 | 442752 | 15825 60 | 0 | 232
1295.23/1295.61 c 1293s | 18 | 1316842 | 443652 | 15825 60 | 0 | 232
1297.23/1297.62 c 1295s | 19 | 1318935 | 444482 | 15825 60 | 0 | 232
1299.33/1299.74 c 1297s | 19 | 1323129 | 444982 | 15825 60 | 0 | 232
1301.33/1301.79 c 1299s | 19 | 1325627 | 445582 | 15825 60 | 0 | 232
1303.53/1303.97 c 1301s | 19 | 1328397 | 446182 | 15825 60 | 0 | 232
1305.63/1306.01 c 1303s | 19 | 1330502 | 446882 | 15825 60 | 0 | 232
1307.93/1308.31 c 1306s | 19 | 1332416 | 447582 | 15825 60 | 0 | 232
1309.93/1310.33 c 1308s | 19 | 1335624 | 448782 | 15825 60 | 0 | 232
1312.13/1312.54 c 1310s | 19 | 1337698 | 449682 | 15825 60 | 0 | 232
1314.33/1314.76 c 1312s | 19 | 1340582 | 450582 | 15825 60 | 0 | 232
1316.43/1316.83 c 1314s | 19 | 1340904 | 450682 | 15825 61 | 0 | 232
1318.54/1318.96 c 1316s | 19 | 1342662 | 451382 | 15825 61 | 0 | 232
1320.62/1321.00 c 1318s | 19 | 1345897 | 452182 | 15825 61 | 0 | 232
1322.72/1323.16 c 1321s | 19 | 1349977 | 453082 | 15825 61 | 0 | 232
1324.73/1325.16 c 1323s | 19 | 1353711 | 453882 | 15825 61 | 0 | 232
1326.93/1327.36 c 1325s | 19 | 1356933 | 454482 | 15825 61 | 0 | 232
1329.12/1329.53 c 1327s | 19 | 1361252 | 455282 | 15825 61 | 0 | 232
1331.33/1331.78 c 1329s | 19 | 1363880 | 455882 | 15825 61 | 0 | 232
1333.62/1334.02 c 1332s | 19 | 1367738 | 456682 | 15825 61 | 0 | 232
1335.73/1336.15 c 1334s | 19 | 1370242 | 457282 | 15825 61 | 0 | 232
1337.93/1338.35 c 1336s | 19 | 1372836 | 457882 | 15825 61 | 0 | 232
1340.22/1340.65 c 1338s | 19 | 1375161 | 458482 | 15825 61 | 0 | 232
1342.33/1342.71 c 1340s | 19 | 1376699 | 458882 | 15825 61 | 0 | 232
1344.32/1344.76 c 1342s | 19 | 1377861 | 459282 | 15825 61 | 0 | 232
1347.62/1348.02 c 1346s | 19 | 1379561 | 459882 | 15825 62 | 0 | 232
1349.72/1350.19 c 1348s | 19 | 1383203 | 460882 | 15825 62 | 0 | 232
1351.82/1352.23 c 1350s | 19 | 1384949 | 461582 | 15825 62 | 0 | 232
1353.83/1354.25 c 1352s | 19 | 1386791 | 462182 | 15825 62 | 0 | 232
1356.12/1356.50 c 1354s | 19 | 1389183 | 462982 | 15825 62 | 0 | 232
1358.13/1358.57 c 1356s | 19 | 1390956 | 463782 | 15825 62 | 0 | 232
1360.33/1360.78 c 1358s | 19 | 1392468 | 464682 | 15825 62 | 0 | 232
1362.42/1362.80 c 1360s | 19 | 1393748 | 465382 | 15825 62 | 0 | 232
1364.42/1364.88 c 1362s | 19 | 1395531 | 466182 | 15825 62 | 0 | 232
1366.72/1367.14 c 1365s | 19 | 1396571 | 466882 | 15825 62 | 0 | 232
1368.82/1369.24 c 1367s | 19 | 1397824 | 467682 | 15825 62 | 0 | 232
1371.02/1371.46 c 1369s | 19 | 1400428 | 468582 | 15825 62 | 0 | 232
1374.32/1374.74 c 1372s | 19 | 1402368 | 469182 | 15825 63 | 0 | 232
1376.42/1376.87 c 1374s | 19 | 1404313 | 469882 | 15825 63 | 0 | 232
1378.52/1378.91 c 1376s | 19 | 1405797 | 470482 | 15825 63 | 0 | 232
1380.71/1381.16 c 1379s | 19 | 1407748 | 471282 | 15825 63 | 0 | 232
1383.12/1383.59 c 1381s | 19 | 1409491 | 471982 | 15825 63 | 0 | 232
1385.32/1385.74 c 1383s | 19 | 1411202 | 472582 | 15825 63 | 0 | 232
1387.62/1388.03 c 1386s | 19 | 1413421 | 473482 | 15825 63 | 0 | 232
1389.72/1390.19 c 1388s | 19 | 1416646 | 474282 | 15825 63 | 0 | 232
1392.01/1392.44 c 1390s | 19 | 1418859 | 475282 | 15825 63 | 0 | 232
1394.22/1394.67 c 1392s | 19 | 1421137 | 476082 | 15825 63 | 0 | 232
1396.52/1396.94 c 1394s | 19 | 1423606 | 476782 | 15825 63 | 0 | 232
1398.61/1399.01 c 1397s | 19 | 1426027 | 477582 | 15825 63 | 0 | 232
1402.72/1403.17 c 1401s | 19 | 1428829 | 478382 | 15825 64 | 0 | 232
1404.91/1405.31 c 1403s | 19 | 1430835 | 479082 | 15825 64 | 0 | 232
1407.01/1407.41 c 1405s | 19 | 1433322 | 479982 | 15825 64 | 0 | 232
1409.01/1409.47 c 1407s | 19 | 1435464 | 480782 | 15825 64 | 0 | 232
1411.11/1411.50 c 1409s | 19 | 1437140 | 481482 | 15825 64 | 0 | 232
1413.12/1413.52 c 1411s | 19 | 1440336 | 482282 | 15825 64 | 0 | 232
1415.21/1415.68 c 1413s | 19 | 1442135 | 483082 | 15825 64 | 0 | 232
1417.52/1418.00 c 1415s | 19 | 1445059 | 483982 | 15825 64 | 0 | 232
1419.72/1420.15 c 1418s | 19 | 1447667 | 484682 | 15825 64 | 0 | 232
1421.71/1422.19 c 1420s | 19 | 1450187 | 485382 | 15825 64 | 0 | 232
1424.12/1424.55 c 1422s | 19 | 1451592 | 486082 | 15825 64 | 0 | 232
1426.21/1426.64 c 1424s | 19 | 1452951 | 486782 | 15825 64 | 0 | 232
1428.51/1428.91 c 1426s | 19 | 1454160 | 487482 | 15825 64 | 0 | 232
1430.51/1430.96 c 1428s | 19 | 1454306 | 487582 | 15825 65 | 0 | 232
1432.81/1433.28 c 1431s | 19 | 1456219 | 488182 | 15825 65 | 0 | 232
1435.22/1435.61 c 1433s | 19 | 1457984 | 488882 | 15825 65 | 0 | 232
1437.31/1437.77 c 1435s | 19 | 1459807 | 489682 | 15825 65 | 0 | 232
1439.41/1439.81 c 1437s | 19 | 1461253 | 490282 | 15825 65 | 0 | 232
1441.41/1441.84 c 1439s | 19 | 1462677 | 490982 | 15825 65 | 0 | 232
1443.61/1444.04 c 1442s | 19 | 1464955 | 491982 | 15825 65 | 0 | 232
1445.70/1446.16 c 1444s | 19 | 1466032 | 492582 | 15825 65 | 0 | 232
1447.91/1448.39 c 1446s | 19 | 1469549 | 493282 | 15825 65 | 0 | 232
1450.21/1450.62 c 1448s | 19 | 1471700 | 493882 | 15825 65 | 0 | 232
1452.40/1452.85 c 1450s | 19 | 1473283 | 494482 | 15825 65 | 0 | 232
1454.61/1455.09 c 1453s | 19 | 1475874 | 495082 | 15825 65 | 0 | 232
1456.81/1457.23 c 1455s | 19 | 1477913 | 495782 | 15825 65 | 0 | 232
1459.10/1459.55 c 1457s | 19 | 1479086 | 496382 | 15825 65 | 0 | 232
1462.21/1462.66 c 1460s | 19 | 1479714 | 496782 | 15825 66 | 0 | 232
1464.31/1464.73 c 1462s | 19 | 1480690 | 497182 | 15825 66 | 0 | 232
1466.80/1467.24 c 1465s | 19 | 1482386 | 497682 | 15825 66 | 0 | 232
1469.01/1469.47 c 1467s | 19 | 1484199 | 498282 | 15825 66 | 0 | 232
1471.51/1471.92 c 1469s | 19 | 1486842 | 498882 | 15825 66 | 0 | 232
1473.81/1474.25 c 1472s | 19 | 1488894 | 499382 | 15825 66 | 0 | 232
1475.81/1476.26 c 1474s | 19 | 1490883 | 499882 | 15825 66 | 0 | 232
1478.11/1478.50 c 1476s | 19 | 1492206 | 500382 | 15825 66 | 0 | 232
1480.40/1480.89 c 1478s | 19 | 1494412 | 500982 | 15825 66 | 0 | 232
1482.80/1483.20 c 1481s | 19 | 1496460 | 501482 | 15825 66 | 0 | 232
1485.11/1485.54 c 1483s | 19 | 1497640 | 501882 | 15825 66 | 0 | 232
1487.30/1487.79 c 1485s | 19 | 1498992 | 502282 | 15825 66 | 0 | 232
1489.50/1489.97 c 1487s | 19 | 1500598 | 502682 | 15825 66 | 0 | 232
1492.00/1492.46 c 1490s | 19 | 1501833 | 503082 | 15825 66 | 0 | 232
1494.20/1494.60 c 1492s | 19 | 1502577 | 503382 | 15825 66 | 0 | 232
1496.40/1496.87 c 1494s | 19 | 1503161 | 503682 | 15825 66 | 0 | 232
1498.40/1498.88 c 1496s | 19 | 1503728 | 503982 | 15825 66 | 0 | 232
1500.90/1501.33 c 1499s | 19 | 1505626 | 504782 | 15825 66 | 0 | 232
1503.00/1503.45 c 1501s | 19 | 1507602 | 505582 | 15825 66 | 0 | 232
1505.80/1506.23 c 1504s | 19 | 1508502 | 506082 | 15825 67 | 0 | 232
1507.90/1508.38 c 1506s | 19 | 1510611 | 506982 | 15825 67 | 0 | 232
1510.01/1510.44 c 1508s | 19 | 1513073 | 507782 | 15825 67 | 0 | 232
1512.30/1512.71 c 1510s | 19 | 1515856 | 508682 | 15825 67 | 0 | 232
1514.49/1514.93 c 1512s | 19 | 1518244 | 509482 | 15825 67 | 0 | 232
1516.61/1517.07 c 1515s | 19 | 1521777 | 510282 | 15825 67 | 0 | 232
1518.70/1519.11 c 1517s | 19 | 1524066 | 510882 | 15825 67 | 0 | 232
1521.00/1521.41 c 1519s | 19 | 1526405 | 511582 | 15825 67 | 0 | 232
1523.40/1523.81 c 1521s | 19 | 1529086 | 512282 | 15825 67 | 0 | 232
1525.69/1526.12 c 1524s | 19 | 1531166 | 512882 | 15825 67 | 0 | 232
1527.80/1528.24 c 1526s | 19 | 1533951 | 513582 | 15825 67 | 0 | 232
1529.90/1530.33 c 1528s | 19 | 1537411 | 514382 | 15825 67 | 0 | 232
1533.99/1534.40 c 1532s | 19 | 1540787 | 515182 | 15825 68 | 0 | 232
1536.00/1536.45 c 1534s | 19 | 1542705 | 515982 | 15825 68 | 0 | 232
1538.19/1538.61 c 1536s | 19 | 1546104 | 516882 | 15825 68 | 0 | 232
1540.30/1540.77 c 1538s | 19 | 1548978 | 517682 | 15825 68 | 0 | 232
1542.49/1542.91 c 1540s | 19 | 1551711 | 518482 | 15825 68 | 0 | 232
1544.59/1545.07 c 1543s | 19 | 1554146 | 519282 | 15825 68 | 0 | 232
1546.60/1547.09 c 1545s | 19 | 1556338 | 519882 | 15825 68 | 0 | 232
1548.69/1549.19 c 1547s | 19 | 1558421 | 520482 | 15825 68 | 0 | 232
1550.89/1551.31 c 1549s | 19 | 1561119 | 521182 | 15825 68 | 0 | 232
1553.09/1553.55 c 1551s | 19 | 1562962 | 521782 | 15825 68 | 0 | 232
1555.69/1556.13 c 1554s | 19 | 1564494 | 522282 | 15825 68 | 0 | 232
1557.80/1558.20 c 1556s | 19 | 1566200 | 522882 | 15825 68 | 0 | 232
1559.89/1560.33 c 1558s | 19 | 1567751 | 523682 | 15825 68 | 0 | 232
1563.80/1564.22 c 1562s | 19 | 1571243 | 524482 | 15825 69 | 0 | 232
1565.89/1566.38 c 1564s | 19 | 1573258 | 525182 | 15825 69 | 0 | 232
1568.09/1568.53 c 1566s | 19 | 1575001 | 525682 | 15825 69 | 0 | 232
1570.19/1570.66 c 1568s | 19 | 1578007 | 526582 | 15825 69 | 0 | 232
1572.29/1572.78 c 1570s | 19 | 1580576 | 527682 | 15825 69 | 0 | 232
1574.39/1574.85 c 1572s | 19 | 1582989 | 528482 | 15825 69 | 0 | 232
1576.48/1576.95 c 1574s | 19 | 1586190 | 529682 | 15825 69 | 0 | 232
1578.79/1579.25 c 1577s | 19 | 1588259 | 530482 | 15825 69 | 0 | 232
1580.89/1581.32 c 1579s | 19 | 1590893 | 531282 | 15825 69 | 0 | 232
1582.98/1583.48 c 1581s | 19 | 1592441 | 532082 | 15825 69 | 0 | 232
1585.08/1585.53 c 1583s | 19 | 1593622 | 532682 | 15825 69 | 0 | 232
1587.18/1587.66 c 1585s | 19 | 1594217 | 533082 | 15825 69 | 0 | 232
1590.89/1591.34 c 1589s | 19 | 1595873 | 533582 | 15825 70 | 0 | 232
1592.98/1593.48 c 1591s | 19 | 1597308 | 534382 | 15825 70 | 0 | 232
1595.08/1595.52 c 1593s | 19 | 1599133 | 535182 | 15825 70 | 0 | 232
1597.09/1597.53 c 1595s | 19 | 1601497 | 535882 | 15825 70 | 0 | 232
1599.29/1599.75 c 1597s | 19 | 1603790 | 536582 | 15825 70 | 0 | 232
1601.58/1602.09 c 1600s | 19 | 1605596 | 537482 | 15825 70 | 0 | 232
1603.99/1604.47 c 1602s | 19 | 1607299 | 538082 | 15825 70 | 0 | 232
1606.18/1606.64 c 1604s | 19 | 1610453 | 538782 | 15825 70 | 0 | 232
1608.38/1608.85 c 1606s | 19 | 1612798 | 539482 | 15825 70 | 0 | 232
1610.48/1610.90 c 1608s | 19 | 1616710 | 540182 | 15825 70 | 0 | 232
1612.48/1612.97 c 1610s | 19 | 1618832 | 540882 | 15825 70 | 0 | 232
1614.49/1614.99 c 1612s | 19 | 1621264 | 541482 | 15825 70 | 0 | 232
1616.59/1617.04 c 1615s | 19 | 1622043 | 541882 | 15825 70 | 0 | 232
1618.88/1619.36 c 1617s | 19 | 1624831 | 542482 | 15825 70 | 0 | 232
1621.99/1622.46 c 1620s | 19 | 1626086 | 542882 | 15825 71 | 0 | 232
1624.18/1624.67 c 1622s | 19 | 1627820 | 543482 | 15825 71 | 0 | 232
1626.59/1627.10 c 1625s | 19 | 1628936 | 544082 | 15825 71 | 0 | 232
1629.08/1629.55 c 1627s | 19 | 1630224 | 544682 | 15825 71 | 0 | 232
1631.58/1632.04 c 1630s | 19 | 1631378 | 545182 | 15825 71 | 0 | 232
1633.68/1634.11 c 1632s | 19 | 1633085 | 545682 | 15825 71 | 0 | 232
1635.98/1636.46 c 1634s | 19 | 1635367 | 546282 | 15825 71 | 0 | 232
1638.18/1638.67 c 1636s | 19 | 1638711 | 546882 | 15825 71 | 0 | 232
1640.48/1640.92 c 1638s | 19 | 1642897 | 547682 | 15825 71 | 0 | 232
1642.68/1643.11 c 1641s | 19 | 1645433 | 548382 | 15825 71 | 0 | 232
1644.68/1645.15 c 1643s | 19 | 1648427 | 549182 | 15825 71 | 0 | 232
1646.88/1647.32 c 1645s | 19 | 1650583 | 549782 | 15825 71 | 0 | 232
1648.88/1649.39 c 1647s | 19 | 1653694 | 550382 | 15825 71 | 0 | 232
1651.17/1651.68 c 1649s | 19 | 1657295 | 551082 | 15825 71 | 0 | 232
1653.48/1653.97 c 1651s | 19 | 1659231 | 551682 | 15825 71 | 0 | 232
1656.88/1657.37 c 1655s | 19 | 1661940 | 552082 | 15825 72 | 0 | 232
1658.87/1659.37 c 1657s | 19 | 1664191 | 552782 | 15825 72 | 0 | 232
1661.08/1661.50 c 1659s | 19 | 1665612 | 553382 | 15825 72 | 0 | 232
1663.47/1663.96 c 1661s | 19 | 1667136 | 553882 | 15825 72 | 0 | 232
1665.57/1666.03 c 1664s | 19 | 1668260 | 554382 | 15825 72 | 0 | 232
1667.78/1668.24 c 1666s | 19 | 1671508 | 555182 | 15825 72 | 0 | 232
1670.07/1670.51 c 1668s | 19 | 1675453 | 555882 | 15825 72 | 0 | 232
1672.37/1672.86 c 1670s | 19 | 1677796 | 556482 | 15825 72 | 0 | 232
1674.57/1675.01 c 1673s | 19 | 1680805 | 556982 | 15825 72 | 0 | 232
1676.68/1677.19 c 1675s | 19 | 1682586 | 557382 | 15825 72 | 0 | 232
1678.97/1679.45 c 1677s | 19 | 1684137 | 557882 | 15825 72 | 0 | 232
1680.98/1681.47 c 1679s | 19 | 1684930 | 558282 | 15825 72 | 0 | 232
1683.27/1683.77 c 1681s | 19 | 1686364 | 558782 | 15825 72 | 0 | 232
1685.37/1685.82 c 1683s | 19 | 1687607 | 559182 | 15825 72 | 0 | 232
1687.57/1688.06 c 1686s | 19 | 1690545 | 559682 | 15825 72 | 0 | 232
1689.87/1690.32 c 1688s | 19 | 1691817 | 560282 | 15825 72 | 0 | 232
1692.37/1692.84 c 1690s | 19 | 1694108 | 560882 | 15825 72 | 0 | 232
1696.27/1696.74 c 1694s | 19 | 1696329 | 561282 | 15825 73 | 0 | 232
1698.87/1699.35 c 1697s | 19 | 1697451 | 561682 | 15825 73 | 0 | 232
1701.17/1701.62 c 1699s | 19 | 1698594 | 562082 | 15825 73 | 0 | 232
1703.48/1703.96 c 1701s | 19 | 1699133 | 562382 | 15825 73 | 0 | 232
1705.87/1706.35 c 1704s | 19 | 1699702 | 562682 | 15825 73 | 0 | 232
1707.87/1708.38 c 1706s | 19 | 1701222 | 563282 | 15825 73 | 0 | 232
1710.08/1710.56 c 1708s | 19 | 1703856 | 564082 | 15825 73 | 0 | 232
1712.27/1712.73 c 1710s | 19 | 1706180 | 564782 | 15825 73 | 0 | 232
1714.48/1714.98 c 1712s | 19 | 1709528 | 565582 | 15825 73 | 0 | 232
1716.87/1717.33 c 1715s | 19 | 1711031 | 566182 | 15825 73 | 0 | 232
1718.98/1719.42 c 1717s | 19 | 1712572 | 566682 | 15825 73 | 0 | 232
1721.08/1721.58 c 1719s | 19 | 1713758 | 567182 | 15825 73 | 0 | 232
1723.16/1723.68 c 1721s | 19 | 1714608 | 567582 | 15825 73 | 0 | 232
1725.37/1725.85 c 1723s | 19 | 1716859 | 568282 | 15825 73 | 0 | 232
1727.56/1728.05 c 1726s | 19 | 1718277 | 568882 | 15825 73 | 0 | 232
1729.98/1730.44 c 1728s | 19 | 1719961 | 569582 | 15825 73 | 0 | 232
1732.07/1732.58 c 1730s | 19 | 1722751 | 570382 | 15825 73 | 0 | 232
1734.06/1734.60 c 1732s | 19 | 1723046 | 570482 | 15825 74 | 0 | 232
1736.16/1736.66 c 1734s | 19 | 1725450 | 571182 | 15825 74 | 0 | 232
1738.26/1738.74 c 1736s | 19 | 1727280 | 571882 | 15825 74 | 0 | 232
1740.46/1740.90 c 1738s | 19 | 1729452 | 572682 | 15825 74 | 0 | 232
1742.57/1743.02 c 1741s | 19 | 1732212 | 573482 | 15825 74 | 0 | 232
1744.66/1745.14 c 1743s | 19 | 1733820 | 574082 | 15825 74 | 0 | 232
1746.76/1747.21 c 1745s | 19 | 1735653 | 574682 | 15825 74 | 0 | 232
1748.96/1749.49 c 1747s | 19 | 1738435 | 575482 | 15825 74 | 0 | 232
1751.16/1751.62 c 1749s | 19 | 1741107 | 576082 | 15825 74 | 0 | 232
1753.56/1754.01 c 1752s | 19 | 1744090 | 576782 | 15825 74 | 0 | 232
1755.56/1756.09 c 1754s | 19 | 1746241 | 577382 | 15825 74 | 0 | 232
1757.66/1758.12 c 1756s | 19 | 1747686 | 577882 | 15825 74 | 0 | 232
1759.76/1760.21 c 1758s | 19 | 1749163 | 578482 | 15825 74 | 0 | 232
1762.16/1762.65 c 1760s | 19 | 1750946 | 579182 | 15825 74 | 0 | 232
1765.36/1765.84 c 1763s | 19 | 1752426 | 579682 | 15825 75 | 0 | 232
1767.46/1767.96 c 1765s | 19 | 1755120 | 580382 | 15825 75 | 0 | 232
1769.66/1770.16 c 1768s | 19 | 1756808 | 581182 | 15825 75 | 0 | 232
1771.96/1772.47 c 1770s | 19 | 1758396 | 581882 | 15825 75 | 0 | 232
1774.35/1774.81 c 1772s | 19 | 1759619 | 582482 | 15825 75 | 0 | 232
1776.56/1777.04 c 1775s | 19 | 1761575 | 583082 | 15825 75 | 0 | 232
1778.66/1779.20 c 1777s | 19 | 1763598 | 583882 | 15825 75 | 0 | 232
1780.96/1781.45 c 1779s | 19 | 1766166 | 584882 | 15825 75 | 0 | 232
1783.16/1783.66 c 1781s | 19 | 1767993 | 585482 | 15825 75 | 0 | 232
1785.45/1785.91 c 1783s | 19 | 1770566 | 586082 | 15825 75 | 0 | 232
1787.56/1788.08 c 1786s | 19 | 1772408 | 586582 | 15825 75 | 0 | 232
1789.85/1790.37 c 1788s | 19 | 1773197 | 586982 | 15825 75 | 0 | 232
1792.16/1792.64 c 1790s | 19 | 1773647 | 587282 | 15825 75 | 0 | 232
1794.36/1794.86 c 1792s | 19 | 1775173 | 587982 | 15825 75 | 0 | 232
1796.45/1796.98 c 1794s | 19 | 1776424 | 588482 | 15825 75 | 0 | 232
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-4105529-1466248508/watcher-4105529-1466248508 -o /tmp/evaluation-result-4105529-1466248508/solver-4105529-1466248508 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105529-1466248508.opb
pid=5324
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.11 2.13 2.09 3/179 5327
/proc/meminfo: memFree=30145816/32872528 swapFree=526336/559040
[pid=5327] ppid=5324 vsize=695740 CPUtime=0 cores=1,3,5,7
/proc/5327/stat : 5327 (toysat) R 5324 5327 28898 0 -1 4202496 2591 0 0 0 0 0 0 0 20 0 4 0 26900895 712437760 2951 33554432000 4194304 16246674 140734606173248 140734606172672 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5327/statm: 174447 2962 441 2943 0 171341 0
[pid=5327/tid=5328] ppid=5324 vsize=738748 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (toysat) S 5324 5327 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26900895 756477952 3122 33554432000 4194304 16246674 140734606173248 140301273378032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5327/tid=5329] ppid=5324 vsize=743868 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5329/stat : 5329 (toysat) S 5324 5327 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26900895 761720832 3139 33554432000 4194304 16246674 140734606173248 140301262888176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5327/tid=5330] ppid=5324 vsize=747964 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5330/stat : 5330 (toysat) S 5324 5327 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26900895 765915136 3157 33554432000 4194304 16246674 140734606173248 140301146516656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[startup+0.100173 s]
/proc/loadavg: 2.11 2.13 2.09 3/179 5327
/proc/meminfo: memFree=30145816/32872528 swapFree=526336/559040
[pid=5327] ppid=5324 vsize=1273412 CPUtime=0.09 cores=1,3,5,7
/proc/5327/stat : 5327 (toysat) R 5324 5327 28898 0 -1 4202496 26367 0 0 0 6 3 0 0 20 0 4 0 26900895 1303973888 26665 33554432000 4194304 16246674 140734606173248 140734606172560 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5327/statm: 319633 26685 799 2943 0 316527 0
[pid=5327/tid=5328] ppid=5324 vsize=1282628 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (toysat) S 5324 5327 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26900895 1313411072 26699 33554432000 4194304 16246674 140734606173248 140301273378032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5327/tid=5329] ppid=5324 vsize=1285700 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5329/stat : 5329 (toysat) S 5324 5327 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26900895 1316556800 26713 33554432000 4194304 16246674 140734606173248 140301262888176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5327/tid=5330] ppid=5324 vsize=1289796 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5330/stat : 5330 (toysat) S 5324 5327 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26900895 1320751104 26728 33554432000 4194304 16246674 140734606173248 140301146516656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1273412
[startup+0.200527 s]
/proc/loadavg: 2.11 2.13 2.09 3/179 5327
/proc/meminfo: memFree=30145816/32872528 swapFree=526336/559040
[pid=5327] ppid=5324 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/5327/stat : 5327 (toysat) R 5324 5327 28898 0 -1 4202496 48412 0 0 0 13 6 0 0 20 0 4 0 26900895 1343819776 49221 33554432000 4194304 16246674 140734606173248 140734606172560 7364368 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5327/statm: 328081 49221 800 2943 0 324975 0
[pid=5327/tid=5328] ppid=5324 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (toysat) S 5324 5327 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26900895 1343819776 49221 33554432000 4194304 16246674 140734606173248 140301273378032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5327/tid=5329] ppid=5324 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5329/stat : 5329 (toysat) S 5324 5327 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26900895 1343819776 49221 33554432000 4194304 16246674 140734606173248 140301262888176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5327/tid=5330] ppid=5324 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5330/stat : 5330 (toysat) S 5324 5327 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26900895 1343819776 49221 33554432000 4194304 16246674 140734606173248 140301146516656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324
[startup+0.300522 s]
/proc/loadavg: 2.11 2.13 2.09 3/179 5327
/proc/meminfo: memFree=30145816/32872528 swapFree=526336/559040
[pid=5327] ppid=5324 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/5327/stat : 5327 (toysat) R 5324 5327 28898 0 -1 4202496 61616 0 0 0 21 8 0 0 20 0 4 0 26900895 1344868352 62425 33554432000 4194304 16246674 140734606173248 140734606172560 8055421 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5327/statm: 328337 62425 800 2943 0 325231 0
[pid=5327/tid=5328] ppid=5324 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (toysat) S 5324 5327 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26900895 1344868352 62425 33554432000 4194304 16246674 140734606173248 140301273378032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5327/tid=5329] ppid=5324 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5329/stat : 5329 (toysat) S 5324 5327 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26900895 1344868352 62425 33554432000 4194304 16246674 140734606173248 140301262888176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5327/tid=5330] ppid=5324 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5330/stat : 5330 (toysat) S 5324 5327 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26900895 1344868352 62425 33554432000 4194304 16246674 140734606173248 140301146516656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348
[startup+0.700426 s]
/proc/loadavg: 2.11 2.13 2.09 3/179 5327
/proc/meminfo: memFree=30145816/32872528 swapFree=526336/559040
[pid=5327] ppid=5324 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/5327/stat : 5327 (toysat) R 5324 5327 28898 0 -1 4202496 79106 0 0 0 58 11 0 0 20 0 4 0 26900895 1344868352 79916 33554432000 4194304 16246674 140734606173248 140734606172560 5563355 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5327/statm: 328337 79933 833 2943 0 325231 0
[pid=5327/tid=5328] ppid=5324 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (toysat) S 5324 5327 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26900895 1344868352 79946 33554432000 4194304 16246674 140734606173248 140301273378032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5327/tid=5329] ppid=5324 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5329/stat : 5329 (toysat) S 5324 5327 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26900895 1344868352 79956 33554432000 4194304 16246674 140734606173248 140301262888176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5327/tid=5330] ppid=5324 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5330/stat : 5330 (toysat) S 5324 5327 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26900895 1344868352 79969 33554432000 4194304 16246674 140734606173248 140301146516656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348
[startup+1.50039 s]
/proc/loadavg: 2.11 2.13 2.09 3/183 5331
/proc/meminfo: memFree=29367556/32872528 swapFree=526336/559040
[pid=5327] ppid=5324 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/5327/stat : 5327 (toysat) R 5324 5327 28898 0 -1 4202496 269013 0 0 0 112 37 0 0 20 0 4 0 26900895 1344868352 269822 33554432000 4194304 16246674 140734606173248 140734606172560 5530736 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5327/statm: 328337 269822 888 2943 0 325231 0
[pid=5327/tid=5328] ppid=5324 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (toysat) S 5324 5327 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26900895 1344868352 269822 33554432000 4194304 16246674 140734606173248 140301273378032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5327/tid=5329] ppid=5324 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5329/stat : 5329 (toysat) S 5324 5327 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26900895 1344868352 269822 33554432000 4194304 16246674 140734606173248 140301262888176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5327/tid=5330] ppid=5324 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5330/stat : 5330 (toysat) S 5324 5327 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26900895 1344868352 269822 33554432000 4194304 16246674 140734606173248 140301146516656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348
[startup+3.10038 s]
/proc/loadavg: 2.11 2.13 2.09 3/183 5331
/proc/meminfo: memFree=29066824/32872528 swapFree=526336/559040
[pid=5327] ppid=5324 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/5327/stat : 5327 (toysat) R 5324 5327 28898 0 -1 4202496 269038 0 0 0 272 37 0 0 20 0 4 0 26900895 1344868352 269847 33554432000 4194304 16246674 140734606173248 140734606172424 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5327/statm: 328337 269847 912 2943 0 325231 0
[pid=5327/tid=5328] ppid=5324 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (toysat) S 5324 5327 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26900895 1344868352 269847 33554432000 4194304 16246674 140734606173248 140301273378032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5327/tid=5329] ppid=5324 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5329/stat : 5329 (toysat) S 5324 5327 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26900895 1344868352 269847 33554432000 4194304 16246674 140734606173248 140301262888176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5327/tid=5330] ppid=5324 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5330/stat : 5330 (toysat) S 5324 5327 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26900895 1344868352 269847 33554432000 4194304 16246674 140734606173248 140301146516656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348
[startup+6.30044 s]
/proc/loadavg: 2.10 2.13 2.09 3/183 5331
/proc/meminfo: memFree=29067020/32872528 swapFree=526336/559040
[pid=5327] ppid=5324 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/5327/stat : 5327 (toysat) R 5324 5327 28898 0 -1 4202496 269039 0 0 0 591 38 0 0 20 0 4 0 26900895 1344868352 269848 33554432000 4194304 16246674 140734606173248 140734606172424 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5327/statm: 328337 269848 913 2943 0 325231 0
[pid=5327/tid=5328] ppid=5324 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (toysat) S 5324 5327 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26900895 1344868352 269848 33554432000 4194304 16246674 140734606173248 140301273378032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5327/tid=5329] ppid=5324 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5329/stat : 5329 (toysat) S 5324 5327 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26900895 1344868352 269848 33554432000 4194304 16246674 140734606173248 140301262888176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5327/tid=5330] ppid=5324 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5330/stat : 5330 (toysat) S 5324 5327 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26900895 1344868352 269848 33554432000 4194304 16246674 140734606173248 140301146516656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348
[startup+12.7004 s]
/proc/loadavg: 2.17 2.15 2.10 3/183 5331
/proc/meminfo: memFree=29067052/32872528 swapFree=526336/559040
[pid=5327] ppid=5324 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/5327/stat : 5327 (toysat) R 5324 5327 28898 0 -1 4202496 269041 0 0 0 1231 38 0 0 20 0 4 0 26900895 1344868352 269850 33554432000 4194304 16246674 140734606173248 140734606155136 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5327/statm: 328337 269850 915 2943 0 325231 0
[pid=5327/tid=5328] ppid=5324 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (toysat) S 5324 5327 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26900895 1344868352 269850 33554432000 4194304 16246674 140734606173248 140301273378032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5327/tid=5329] ppid=5324 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5329/stat : 5329 (toysat) S 5324 5327 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26900895 1344868352 269850 33554432000 4194304 16246674 140734606173248 140301262888176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5327/tid=5330] ppid=5324 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5330/stat : 5330 (toysat) S 5324 5327 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26900895 1344868352 269850 33554432000 4194304 16246674 140734606173248 140301146516656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348
[startup+25.5005 s]
/proc/loadavg: 2.21 2.16 2.10 3/183 5331
/proc/meminfo: memFree=29067316/32872528 swapFree=526336/559040
[pid=5327] ppid=5324 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/5327/stat : 5327 (toysat) R 5324 5327 28898 0 -1 4202496 269042 0 0 0 2509 39 0 0 20 0 4 0 26900895 1344868352 269851 33554432000 4194304 16246674 140734606173248 140734606172424 5546219 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5327/statm: 328337 269851 916 2943 0 325231 0
[pid=5327/tid=5328] ppid=5324 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (toysat) S 5324 5327 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26900895 1344868352 269851 33554432000 4194304 16246674 140734606173248 140301273378032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5327/tid=5329] ppid=5324 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5329/stat : 5329 (toysat) S 5324 5327 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26900895 1344868352 269851 33554432000 4194304 16246674 140734606173248 140301262888176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5327/tid=5330] ppid=5324 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5330/stat : 5330 (toysat) S 5324 5327 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26900895 1344868352 269851 33554432000 4194304 16246674 140734606173248 140301146516656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348
[startup+51.1005 s]
/proc/loadavg: 2.14 2.14 2.09 3/183 5331
/proc/meminfo: memFree=29065424/32872528 swapFree=526336/559040
[pid=5327] ppid=5324 vsize=1315396 CPUtime=51.08 cores=1,3,5,7
/proc/5327/stat : 5327 (toysat) R 5324 5327 28898 0 -1 4202496 269554 0 0 0 5065 43 0 0 20 0 4 0 26900895 1346965504 270363 33554432000 4194304 16246674 140734606173248 140734606172344 5523513 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5327/statm: 328849 270363 916 2943 0 325743 0
[pid=5327/tid=5328] ppid=5324 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (toysat) S 5324 5327 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26900895 1346965504 270363 33554432000 4194304 16246674 140734606173248 140301273378032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5327/tid=5329] ppid=5324 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5329/stat : 5329 (toysat) S 5324 5327 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26900895 1346965504 270363 33554432000 4194304 16246674 140734606173248 140301262888176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5327/tid=5330] ppid=5324 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5330/stat : 5330 (toysat) S 5324 5327 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26900895 1346965504 270363 33554432000 4194304 16246674 140734606173248 140301146516656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396
[startup+102.301 s]
/proc/loadavg: 2.14 2.15 2.09 3/183 5332
/proc/meminfo: memFree=29061416/32872528 swapFree=526336/559040
[pid=5327] ppid=5324 vsize=1318468 CPUtime=102.28 cores=1,3,5,7
/proc/5327/stat : 5327 (toysat) R 5324 5327 28898 0 -1 4202496 270323 0 0 0 10179 49 0 0 20 0 4 0 26900895 1350111232 271387 33554432000 4194304 16246674 140734606173248 140734606172424 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5327/statm: 329617 271387 916 2943 0 326511 0
[pid=5327/tid=5328] ppid=5324 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (toysat) S 5324 5327 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26900895 1350111232 271387 33554432000 4194304 16246674 140734606173248 140301273378032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5327/tid=5329] ppid=5324 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5329/stat : 5329 (toysat) S 5324 5327 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26900895 1350111232 271387 33554432000 4194304 16246674 140734606173248 140301262888176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5327/tid=5330] ppid=5324 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5330/stat : 5330 (toysat) S 5324 5327 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26900895 1350111232 271387 33554432000 4194304 16246674 140734606173248 140301146516656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1318468
################
# More data... #
################
/proc/5327/task/5330/stat : 5330 (toysat) S 5324 5327 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26900895 1392054272 281540 33554432000 4194304 16246674 140734606173248 140301146516656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1359428
[startup+1362.3 s]
/proc/loadavg: 2.18 2.14 2.10 3/183 5413
/proc/meminfo: memFree=29021720/32872528 swapFree=526336/559040
[pid=5327] ppid=5324 vsize=1359428 CPUtime=1361.92 cores=1,3,5,7
/proc/5327/stat : 5327 (toysat) R 5324 5327 28898 0 -1 4202496 280805 0 0 0 135961 231 0 0 20 0 4 0 26900895 1392054272 281540 33554432000 4194304 16246674 140734606173248 140734606172424 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5327/statm: 339857 281540 918 2943 0 336751 0
[pid=5327/tid=5328] ppid=5324 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (toysat) S 5324 5327 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26900895 1392054272 281540 33554432000 4194304 16246674 140734606173248 140301273378032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5327/tid=5329] ppid=5324 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5329/stat : 5329 (toysat) S 5324 5327 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26900895 1392054272 281540 33554432000 4194304 16246674 140734606173248 140301262888176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5327/tid=5330] ppid=5324 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5330/stat : 5330 (toysat) S 5324 5327 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26900895 1392054272 281540 33554432000 4194304 16246674 140734606173248 140301146516656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1359428
[startup+1422.3 s]
/proc/loadavg: 2.13 2.12 2.10 3/183 5415
/proc/meminfo: memFree=29021476/32872528 swapFree=526336/559040
[pid=5327] ppid=5324 vsize=1359428 CPUtime=1421.92 cores=1,3,5,7
/proc/5327/stat : 5327 (toysat) R 5324 5327 28898 0 -1 4202496 280805 0 0 0 141953 239 0 0 20 0 4 0 26900895 1392054272 281540 33554432000 4194304 16246674 140734606173248 140734606172424 12478241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5327/statm: 339857 281540 918 2943 0 336751 0
[pid=5327/tid=5328] ppid=5324 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (toysat) S 5324 5327 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26900895 1392054272 281540 33554432000 4194304 16246674 140734606173248 140301273378032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5327/tid=5329] ppid=5324 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5329/stat : 5329 (toysat) S 5324 5327 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26900895 1392054272 281540 33554432000 4194304 16246674 140734606173248 140301262888176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5327/tid=5330] ppid=5324 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5330/stat : 5330 (toysat) S 5324 5327 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26900895 1392054272 281540 33554432000 4194304 16246674 140734606173248 140301146516656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1359428
[startup+1482.3 s]
/proc/loadavg: 2.09 2.11 2.09 3/183 5416
/proc/meminfo: memFree=29021352/32872528 swapFree=526336/559040
[pid=5327] ppid=5324 vsize=1359428 CPUtime=1481.9 cores=1,3,5,7
/proc/5327/stat : 5327 (toysat) R 5324 5327 28898 0 -1 4202496 280805 0 0 0 147942 248 0 0 20 0 4 0 26900895 1392054272 281540 33554432000 4194304 16246674 140734606173248 140734606172424 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5327/statm: 339857 281540 918 2943 0 336751 0
[pid=5327/tid=5328] ppid=5324 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (toysat) S 5324 5327 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26900895 1392054272 281540 33554432000 4194304 16246674 140734606173248 140301273378032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5327/tid=5329] ppid=5324 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5329/stat : 5329 (toysat) S 5324 5327 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26900895 1392054272 281540 33554432000 4194304 16246674 140734606173248 140301262888176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5327/tid=5330] ppid=5324 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5330/stat : 5330 (toysat) S 5324 5327 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26900895 1392054272 281540 33554432000 4194304 16246674 140734606173248 140301146516656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1359428
[startup+1542.31 s]
/proc/loadavg: 2.03 2.09 2.08 3/184 5420
/proc/meminfo: memFree=29021580/32872528 swapFree=526336/559040
[pid=5327] ppid=5324 vsize=1359428 CPUtime=1541.9 cores=1,3,5,7
/proc/5327/stat : 5327 (toysat) R 5324 5327 28898 0 -1 4202496 280805 0 0 0 153933 257 0 0 20 0 4 0 26900895 1392054272 281540 33554432000 4194304 16246674 140734606173248 140734606172424 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5327/statm: 339857 281540 918 2943 0 336751 0
[pid=5327/tid=5328] ppid=5324 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (toysat) S 5324 5327 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26900895 1392054272 281540 33554432000 4194304 16246674 140734606173248 140301273378032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5327/tid=5329] ppid=5324 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5329/stat : 5329 (toysat) S 5324 5327 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26900895 1392054272 281540 33554432000 4194304 16246674 140734606173248 140301262888176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5327/tid=5330] ppid=5324 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5330/stat : 5330 (toysat) S 5324 5327 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26900895 1392054272 281540 33554432000 4194304 16246674 140734606173248 140301146516656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1359428
[startup+1602.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/183 5421
/proc/meminfo: memFree=29021968/32872528 swapFree=526336/559040
[pid=5327] ppid=5324 vsize=1359428 CPUtime=1601.88 cores=1,3,5,7
/proc/5327/stat : 5327 (toysat) R 5324 5327 28898 0 -1 4202496 280805 0 0 0 159923 265 0 0 20 0 4 0 26900895 1392054272 281540 33554432000 4194304 16246674 140734606173248 140734606172424 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5327/statm: 339857 281540 918 2943 0 336751 0
[pid=5327/tid=5328] ppid=5324 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (toysat) S 5324 5327 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26900895 1392054272 281540 33554432000 4194304 16246674 140734606173248 140301273378032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5327/tid=5329] ppid=5324 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5329/stat : 5329 (toysat) S 5324 5327 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26900895 1392054272 281540 33554432000 4194304 16246674 140734606173248 140301262888176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5327/tid=5330] ppid=5324 vsize=1359428 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5330/stat : 5330 (toysat) S 5324 5327 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26900895 1392054272 281540 33554432000 4194304 16246674 140734606173248 140301146516656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1359428
[startup+1662.3 s]
/proc/loadavg: 2.22 2.14 2.10 3/183 5422
/proc/meminfo: memFree=28965556/32872528 swapFree=526336/559040
[pid=5327] ppid=5324 vsize=1415748 CPUtime=1661.88 cores=1,3,5,7
/proc/5327/stat : 5327 (toysat) R 5324 5327 28898 0 -1 4202496 294834 0 0 0 165911 277 0 0 20 0 4 0 26900895 1449725952 295569 33554432000 4194304 16246674 140734606173248 140734606172424 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5327/statm: 353937 295569 918 2943 0 350831 0
[pid=5327/tid=5328] ppid=5324 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (toysat) S 5324 5327 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26900895 1449725952 295569 33554432000 4194304 16246674 140734606173248 140301273378032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5327/tid=5329] ppid=5324 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5329/stat : 5329 (toysat) S 5324 5327 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26900895 1449725952 295569 33554432000 4194304 16246674 140734606173248 140301262888176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5327/tid=5330] ppid=5324 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5330/stat : 5330 (toysat) S 5324 5327 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26900895 1449725952 295569 33554432000 4194304 16246674 140734606173248 140301146516656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1415748
[startup+1722.3 s]
/proc/loadavg: 2.20 2.14 2.10 3/183 5424
/proc/meminfo: memFree=28964804/32872528 swapFree=526336/559040
[pid=5327] ppid=5324 vsize=1415748 CPUtime=1721.86 cores=1,3,5,7
/proc/5327/stat : 5327 (toysat) R 5324 5327 28898 0 -1 4202496 294974 0 0 0 171898 288 0 0 20 0 4 0 26900895 1449725952 295709 33554432000 4194304 16246674 140734606173248 140734606172424 13857076 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5327/statm: 353937 295709 918 2943 0 350831 0
[pid=5327/tid=5328] ppid=5324 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (toysat) S 5324 5327 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26900895 1449725952 295709 33554432000 4194304 16246674 140734606173248 140301273378032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5327/tid=5329] ppid=5324 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5329/stat : 5329 (toysat) S 5324 5327 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26900895 1449725952 295709 33554432000 4194304 16246674 140734606173248 140301262888176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5327/tid=5330] ppid=5324 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5330/stat : 5330 (toysat) S 5324 5327 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26900895 1449725952 295709 33554432000 4194304 16246674 140734606173248 140301146516656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1415748
[startup+1782.3 s]
/proc/loadavg: 2.17 2.14 2.10 3/183 5425
/proc/meminfo: memFree=28964424/32872528 swapFree=526336/559040
[pid=5327] ppid=5324 vsize=1415748 CPUtime=1781.86 cores=1,3,5,7
/proc/5327/stat : 5327 (toysat) R 5324 5327 28898 0 -1 4202496 294974 0 0 0 177889 297 0 0 20 0 4 0 26900895 1449725952 295709 33554432000 4194304 16246674 140734606173248 140734606172424 5545752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5327/statm: 353937 295709 918 2943 0 350831 0
[pid=5327/tid=5328] ppid=5324 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (toysat) S 5324 5327 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26900895 1449725952 295709 33554432000 4194304 16246674 140734606173248 140301273378032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5327/tid=5329] ppid=5324 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5329/stat : 5329 (toysat) S 5324 5327 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26900895 1449725952 295709 33554432000 4194304 16246674 140734606173248 140301262888176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5327/tid=5330] ppid=5324 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5330/stat : 5330 (toysat) S 5324 5327 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26900895 1449725952 295709 33554432000 4194304 16246674 140734606173248 140301146516656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1415748
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.21 2.15 2.10 3/183 5425
/proc/meminfo: memFree=28891396/32872528 swapFree=526336/559040
[pid=5327] ppid=5324 vsize=1489476 CPUtime=1800.05 cores=1,3,5,7
/proc/5327/stat : 5327 (toysat) R 5324 5327 28898 0 -1 4202496 313191 0 0 0 179702 303 0 0 20 0 4 0 26900895 1525223424 313926 33554432000 4194304 16246674 140734606173248 140734606155136 7249949 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5327/statm: 372369 313926 918 2943 0 369263 0
[pid=5327/tid=5328] ppid=5324 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (toysat) S 5324 5327 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26900895 1525223424 313926 33554432000 4194304 16246674 140734606173248 140301273378032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5327/tid=5329] ppid=5324 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5329/stat : 5329 (toysat) S 5324 5327 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26900895 1525223424 313926 33554432000 4194304 16246674 140734606173248 140301262888176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5327/tid=5330] ppid=5324 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5330/stat : 5330 (toysat) S 5324 5327 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26900895 1525223424 313926 33554432000 4194304 16246674 140734606173248 140301146516656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1489476
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 5327 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.21 2.15 2.10 3/183 5425
/proc/meminfo: memFree=28891396/32872528 swapFree=526336/559040
[pid=5327] ppid=5324 vsize=1489476 CPUtime=1800.05 cores=1,3,5,7
/proc/5327/stat : 5327 (toysat) R 5324 5327 28898 0 -1 4202496 313191 0 0 0 179702 303 0 0 20 0 4 0 26900895 1525223424 313926 33554432000 4194304 16246674 140734606173248 140734606155136 7249949 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5327/statm: 372369 313926 918 2943 0 369263 0
[pid=5327/tid=5328] ppid=5324 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5328/stat : 5328 (toysat) S 5324 5327 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26900895 1525223424 313926 33554432000 4194304 16246674 140734606173248 140301273378032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5327/tid=5329] ppid=5324 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5329/stat : 5329 (toysat) S 5324 5327 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26900895 1525223424 313926 33554432000 4194304 16246674 140734606173248 140301262888176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5327/tid=5330] ppid=5324 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/5327/task/5330/stat : 5330 (toysat) S 5324 5327 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26900895 1525223424 313926 33554432000 4194304 16246674 140734606173248 140301146516656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1489476
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.08
CPU user time (s): 1797.03
CPU system time (s): 3.04754
CPU usage (%): 99.9757
Max. virtual memory (cumulated for all children) (KiB): 1489476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.03
system time used= 3.04754
maximum resident set size= 1255704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 313191
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= 345
involuntary context switches= 1835
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.19021 second user time and 7.27889 second system time
The end