0.00/0.00 c 2016-06-07T06:47:07+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-4079967-1465274826.opb"]
0.00/0.01 c use --random-gen="1156821963 3924789979 3048462124 426125143 436451539 2852551255 3865721318 689736035 623207119 400895197 614171924 1380344091 330385855 3475327302 2000346455 3010708765 1060091077 624005913 3874414347 177293008 280828767 3867506438 1128874333 401610406 711398189 183191424 628149012 2997152791 1600621663 854168566 3442841670 3729478575 116661468 4176669819 1517022884 1080287789 2705891892 1328118193 4201929958 2012992419 4225562817 1325626327 1983053528 280977034 3694309344 2286708806 3281228410 3916992929 1900940811 4286072185 2795527865 876503552 437627845 610322439 1193774132 2489552936 3576688269 1139874368 3439948116 70903894 2016811085 647467499 3878782506 687301076 162048932 2822386417 2022639668 3116487208 3811079796 2499180705 2993921976 1096600899 1651308600 3255143886 3148524467 3416934632 199979029 3891071811 1251502598 359304879 3628121891 1840022071 682879423 511849818 1859504948 729012074 2600504011 3294044808 1688836236 3704420476 3048955557 1859720253 1904030239 1031031679 4222012431 1326279434 3638950218 2541735653 1848211267 2492883330 3835774530 3655624757 4223818639 3046029241 1344668600 4199956942 647477059 3808117358 476795227 4234614657 2400617924 2655741541 3862743089 3551850205 1106083379 2093985121 3849435837 1926151018 4189054447 1150009081 1038956453 197233129 334315002 3325754325 2521073031 317306985 498805282 3899551875 3947831276 2320971932 1241581196 2492926393 4257204353 3399811465 752142360 327809937 836814299 2131813618 776968371 2860070585 3306396191 1026807723 1643331267 2345511250 2746343069 4210159022 3988251486 2658744597 2950139071 3851504204 3964765767 3975381117 2913712608 11156782 639277273 2250402102 1952482547 1214085190 1406720397 2660183211 1016589040 771806709 3331066802 1442761075 3071634400 3612656036 1129200293 918842289 130488863 410299455 1322237816 3127832998 1207268331 1046379965 3332324356 4134904373 946459535 317191141 3081498045 2091798225 3900695110 2546604736 586797492 2858149113 2316586145 4027498047 977105263 3111232103 3877198881 321726217 2760962121 2995672693 4041287458 135749858 3001978099 3223394622 474487961 2543059323 3032381882 3600452826 3513186814 3232306431 1570448113 3290840548 2715069499 1948092225 452049994 22066571 2717556239 3079569422 1972628304 3202334574 424481561 442989443 2582686851 1662046981 4182360754 3864425520 3435919894 2070161377 3348211857 3664473660 3399962532 2254812053 3618790405 1325856961 3503016616 1064358689 1533159439 4133909854 2150339816 4080933975 588831484 2970035256 1321162946 3410490601 2500526835 1119959721 3405526495 2107641819 2319918757 2214078560 3438449283 2396859893 559251198 2395152006 2718896961 2448337540 3135011225 1311052944 3944366365 1834621870 2519949357 928861088 209388592 2705754453 255 362436" option to reproduce the execution
0.98/1.03 c #vars 54782
0.98/1.03 c #constraints 176044
3.29/3.36 c BCD2: Hardening is enabled.
3.29/3.36 c BCD2: BiasedSearch is enabled.
3.29/3.36 c Solving starts ...
3.29/3.36 c ============================[ Search Statistics ]============================
3.29/3.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.29/3.36 c | | | | Limit GC | Var | Constra
3.29/3.36 c =============================================================================
3.49/3.50 c 0.0s | 0 | 0 | 0 | 66628 0 | 12292 | 0
3.59/3.69 c 0.2s | 0 | 91 | 0 | 66628 0 | 12292 | 12968
3.59/3.69 c #cpu_time = 0.165s
3.59/3.69 c #wall_clock_time = 0.165s
3.59/3.69 c #decision = 91
3.59/3.69 c #random_decision = 0
3.59/3.69 c #conflict = 0
3.59/3.69 c #restart = 0
3.59/3.69 o 300
3.59/3.69 c BCD2: hardening fixes 1 literals
3.59/3.69 c BCD2: updating upper bound: 45150 -> 299
3.59/3.69 c BCD2: 0 <= obj <= 299
3.59/3.69 c BCD2: #cores=0, #unrelaxed=299, #relaxed=0, #hardened=1
3.59/3.69 c BCD2: #sat=1 #unsat=1 bias=1/2
3.59/3.69 c Solving starts ...
3.59/3.69 c ============================[ Search Statistics ]============================
3.59/3.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.59/3.69 c | | | | Limit GC | Var | Constra
3.59/3.69 c =============================================================================
3.59/3.69 c 0.0s | 0 | 0 | 0 | 66628 0 | 12474 | 12968
3.79/3.86 c 0.2s | 0 | 213 | 1 | 66628 0 | 12474 | 13558
3.79/3.86 c #cpu_time = 0.156s
3.79/3.86 c #wall_clock_time = 0.156s
3.79/3.86 c #decision = 213
3.79/3.86 c #random_decision = 0
3.79/3.86 c #conflict = 1
3.79/3.86 c #restart = 0
3.79/3.86 c BCD2: found a new core of size 213: cost of the new core is >=87
3.79/3.86 c lower bound updated to 87
3.79/3.86 c BCD2: 87 <= obj <= 299
3.79/3.86 c BCD2: #cores=1, #unrelaxed=86, #relaxed=213, #hardened=1
3.79/3.86 c BCD2: #sat=1 #unsat=2 bias=2/3
5.50/5.58 c Solving starts ...
5.50/5.58 c ============================[ Search Statistics ]============================
5.50/5.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
5.50/5.58 c | | | | Limit GC | Var | Constra
5.50/5.58 c =============================================================================
5.50/5.58 c 0.0s | 0 | 0 | 0 | 66628 0 | 12474 | 13558
5.79/5.80 c 0.2s | 0 | 5 | 5 | 66628 0 | 12475 | 13559
5.79/5.80 c #cpu_time = 0.225s
5.79/5.80 c #wall_clock_time = 0.225s
5.79/5.80 c #decision = 5
5.79/5.80 c #random_decision = 0
5.79/5.80 c #conflict = 5
5.79/5.80 c #restart = 0
5.79/5.80 c BCD2: updating lower bound of a core
5.79/5.80 c lower bound updated to 88
5.79/5.81 c BCD2: 88 <= obj <= 299
5.79/5.81 c BCD2: #cores=1, #unrelaxed=86, #relaxed=213, #hardened=1
5.79/5.81 c BCD2: #sat=1 #unsat=3 bias=3/4
7.29/7.30 c Solving starts ...
7.29/7.30 c ============================[ Search Statistics ]============================
7.29/7.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
7.29/7.30 c | | | | Limit GC | Var | Constra
7.29/7.30 c =============================================================================
7.29/7.30 c 0.0s | 0 | 0 | 0 | 66628 0 | 12475 | 13559
7.49/7.52 c 0.2s | 0 | 8 | 7 | 66628 0 | 12476 | 13560
7.49/7.52 c #cpu_time = 0.228s
7.49/7.52 c #wall_clock_time = 0.228s
7.49/7.52 c #decision = 8
7.49/7.52 c #random_decision = 0
7.49/7.52 c #conflict = 7
7.49/7.52 c #restart = 0
7.49/7.52 c BCD2: updating lower bound of a core
7.49/7.52 c lower bound updated to 89
7.49/7.52 c BCD2: 89 <= obj <= 299
7.49/7.52 c BCD2: #cores=1, #unrelaxed=86, #relaxed=213, #hardened=1
7.49/7.52 c BCD2: #sat=1 #unsat=4 bias=4/5
8.99/9.03 c Solving starts ...
8.99/9.03 c ============================[ Search Statistics ]============================
8.99/9.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
8.99/9.03 c | | | | Limit GC | Var | Constra
8.99/9.03 c =============================================================================
8.99/9.03 c 0.0s | 0 | 0 | 0 | 66628 0 | 12476 | 13560
9.19/9.27 c 0.2s | 0 | 31 | 10 | 66628 0 | 12477 | 13561
9.19/9.27 c #cpu_time = 0.232s
9.19/9.27 c #wall_clock_time = 0.232s
9.19/9.27 c #decision = 31
9.19/9.27 c #random_decision = 0
9.19/9.27 c #conflict = 10
9.19/9.27 c #restart = 0
9.19/9.27 c BCD2: updating lower bound of a core
9.19/9.27 c lower bound updated to 90
9.19/9.27 c BCD2: 90 <= obj <= 299
9.19/9.27 c BCD2: #cores=1, #unrelaxed=86, #relaxed=213, #hardened=1
9.19/9.27 c BCD2: #sat=1 #unsat=5 bias=5/6
10.69/10.72 c Solving starts ...
10.69/10.72 c ============================[ Search Statistics ]============================
10.69/10.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
10.69/10.72 c | | | | Limit GC | Var | Constra
10.69/10.72 c =============================================================================
10.69/10.72 c 0.0s | 0 | 0 | 0 | 66628 0 | 12477 | 13561
10.89/10.96 c 0.2s | 0 | 31 | 23 | 66628 0 | 12478 | 13562
10.89/10.96 c #cpu_time = 0.241s
10.89/10.96 c #wall_clock_time = 0.241s
10.89/10.96 c #decision = 31
10.89/10.96 c #random_decision = 0
10.89/10.96 c #conflict = 23
10.89/10.96 c #restart = 0
10.89/10.96 c BCD2: updating lower bound of a core
10.89/10.96 c lower bound updated to 91
10.89/10.96 c BCD2: 91 <= obj <= 299
10.89/10.96 c BCD2: #cores=1, #unrelaxed=86, #relaxed=213, #hardened=1
10.89/10.96 c BCD2: #sat=1 #unsat=6 bias=6/7
12.39/12.40 c Solving starts ...
12.39/12.40 c ============================[ Search Statistics ]============================
12.39/12.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
12.39/12.40 c | | | | Limit GC | Var | Constra
12.39/12.40 c =============================================================================
12.39/12.41 c 0.0s | 0 | 0 | 0 | 66628 0 | 12478 | 13562
12.59/12.69 c 0.3s | 0 | 70 | 41 | 66628 0 | 12479 | 13563
12.59/12.69 c #cpu_time = 0.282s
12.59/12.69 c #wall_clock_time = 0.282s
12.59/12.69 c #decision = 70
12.59/12.69 c #random_decision = 0
12.59/12.69 c #conflict = 41
12.59/12.69 c #restart = 0
12.59/12.69 c BCD2: updating lower bound of a core
12.59/12.69 c lower bound updated to 92
12.59/12.69 c BCD2: 92 <= obj <= 299
12.59/12.69 c BCD2: #cores=1, #unrelaxed=86, #relaxed=213, #hardened=1
12.59/12.69 c BCD2: #sat=1 #unsat=7 bias=7/8
14.09/14.16 c Solving starts ...
14.09/14.16 c ============================[ Search Statistics ]============================
14.09/14.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
14.09/14.16 c | | | | Limit GC | Var | Constra
14.09/14.16 c =============================================================================
14.09/14.16 c 0.0s | 0 | 0 | 0 | 66628 0 | 12479 | 13563
14.40/14.43 c 0.3s | 1 | 142 | 100 | 73291 0 | 12479 | 13563
14.59/14.66 c 0.5s | 1 | 146 | 103 | 73291 0 | 12480 | 13564
14.59/14.66 c #cpu_time = 0.492s
14.59/14.66 c #wall_clock_time = 0.492s
14.59/14.66 c #decision = 146
14.59/14.66 c #random_decision = 0
14.59/14.66 c #conflict = 103
14.59/14.66 c #restart = 1
14.59/14.66 c BCD2: updating lower bound of a core
14.59/14.66 c lower bound updated to 93
14.59/14.66 c BCD2: 93 <= obj <= 299
14.59/14.66 c BCD2: #cores=1, #unrelaxed=86, #relaxed=213, #hardened=1
14.59/14.66 c BCD2: #sat=1 #unsat=8 bias=8/9
15.99/16.08 c Solving starts ...
15.99/16.08 c ============================[ Search Statistics ]============================
15.99/16.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
15.99/16.08 c | | | | Limit GC | Var | Constra
15.99/16.08 c =============================================================================
15.99/16.08 c 0.0s | 0 | 0 | 0 | 73291 0 | 12480 | 13564
16.29/16.39 c 0.3s | 1 | 126 | 100 | 80621 0 | 12480 | 13564
16.60/16.64 c 0.6s | 1 | 162 | 126 | 80621 0 | 12481 | 13565
16.60/16.64 c #cpu_time = 0.557s
16.60/16.64 c #wall_clock_time = 0.557s
16.60/16.64 c #decision = 162
16.60/16.64 c #random_decision = 0
16.60/16.64 c #conflict = 126
16.60/16.64 c #restart = 1
16.60/16.64 c BCD2: updating lower bound of a core
16.60/16.64 c lower bound updated to 94
16.60/16.64 c BCD2: 94 <= obj <= 299
16.60/16.64 c BCD2: #cores=1, #unrelaxed=86, #relaxed=213, #hardened=1
16.60/16.64 c BCD2: #sat=1 #unsat=9 bias=9/10
17.99/18.03 c Solving starts ...
17.99/18.03 c ============================[ Search Statistics ]============================
17.99/18.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
17.99/18.03 c | | | | Limit GC | Var | Constra
17.99/18.03 c =============================================================================
17.99/18.03 c 0.0s | 0 | 0 | 0 | 80621 0 | 12481 | 13565
18.29/18.31 c 0.3s | 1 | 136 | 100 | 80621 0 | 12481 | 13565
18.59/18.68 c 0.7s | 1 | 302 | 210 | 88684 0 | 12482 | 13566
18.59/18.68 c #cpu_time = 0.657s
18.59/18.68 c #wall_clock_time = 0.657s
18.59/18.68 c #decision = 302
18.59/18.68 c #random_decision = 0
18.59/18.68 c #conflict = 210
18.59/18.68 c #restart = 1
18.59/18.68 c BCD2: updating lower bound of a core
18.59/18.68 c lower bound updated to 95
18.59/18.68 c BCD2: 95 <= obj <= 299
18.59/18.68 c BCD2: #cores=1, #unrelaxed=86, #relaxed=213, #hardened=1
18.59/18.68 c BCD2: #sat=1 #unsat=10 bias=10/11
19.99/20.06 c Solving starts ...
19.99/20.06 c ============================[ Search Statistics ]============================
19.99/20.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
19.99/20.06 c | | | | Limit GC | Var | Constra
19.99/20.06 c =============================================================================
19.99/20.06 c 0.0s | 0 | 0 | 0 | 88684 0 | 12482 | 13566
20.29/20.36 c 0.3s | 1 | 143 | 100 | 88684 0 | 12482 | 13566
20.69/20.75 c 0.7s | 2 | 331 | 250 | 88684 0 | 12482 | 13566
21.29/21.34 c 1.3s | 2 | 590 | 461 | 97553 0 | 12483 | 13567
21.29/21.34 c #cpu_time = 1.279s
21.29/21.34 c #wall_clock_time = 1.279s
21.29/21.34 c #decision = 590
21.29/21.34 c #random_decision = 0
21.29/21.34 c #conflict = 461
21.29/21.34 c #restart = 2
21.29/21.34 c BCD2: updating lower bound of a core
21.29/21.34 c lower bound updated to 96
21.29/21.34 c BCD2: 96 <= obj <= 299
21.29/21.34 c BCD2: #cores=1, #unrelaxed=86, #relaxed=213, #hardened=1
21.29/21.34 c BCD2: #sat=1 #unsat=11 bias=11/12
22.69/22.72 c Solving starts ...
22.69/22.72 c ============================[ Search Statistics ]============================
22.69/22.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
22.69/22.72 c | | | | Limit GC | Var | Constra
22.69/22.72 c =============================================================================
22.69/22.72 c 0.0s | 0 | 0 | 0 | 97553 0 | 12483 | 13567
22.99/23.02 c 0.3s | 1 | 143 | 100 | 97553 0 | 12483 | 13567
23.29/23.36 c 0.6s | 2 | 339 | 250 | 97553 0 | 12483 | 13567
23.89/23.90 c 1.2s | 3 | 626 | 475 | 107309 0 | 12483 | 13567
24.59/24.64 c 1.9s | 3 | 1072 | 799 | 107309 0 | 12484 | 13568
24.59/24.64 c #cpu_time = 1.914s
24.59/24.64 c #wall_clock_time = 1.914s
24.59/24.64 c #decision = 1072
24.59/24.64 c #random_decision = 1
24.59/24.64 c #conflict = 799
24.59/24.64 c #restart = 3
24.59/24.64 c BCD2: updating lower bound of a core
24.59/24.64 c lower bound updated to 97
24.59/24.64 c BCD2: 97 <= obj <= 299
24.59/24.64 c BCD2: #cores=1, #unrelaxed=86, #relaxed=213, #hardened=1
24.59/24.64 c BCD2: #sat=1 #unsat=12 bias=12/13
25.99/26.00 c Solving starts ...
25.99/26.00 c ============================[ Search Statistics ]============================
25.99/26.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
25.99/26.00 c | | | | Limit GC | Var | Constra
25.99/26.00 c =============================================================================
25.99/26.00 c 0.0s | 0 | 0 | 0 | 107309 0 | 12484 | 13568
26.19/26.28 c 0.3s | 1 | 142 | 100 | 107309 0 | 12484 | 13568
26.59/26.67 c 0.7s | 2 | 352 | 250 | 107309 0 | 12484 | 13568
27.19/27.25 c 1.3s | 3 | 641 | 475 | 118040 0 | 12484 | 13568
27.89/27.91 c 1.9s | 4 | 1101 | 813 | 118040 0 | 12484 | 13568
28.89/28.97 c 3.0s | 5 | 1734 | 1320 | 118040 0 | 12484 | 13568
30.09/30.15 c 4.2s | 5 | 2403 | 1832 | 129845 0 | 12485 | 13569
30.09/30.15 c #cpu_time = 4.155s
30.09/30.15 c #wall_clock_time = 4.156s
30.09/30.15 c #decision = 2403
30.09/30.15 c #random_decision = 0
30.09/30.15 c #conflict = 1832
30.09/30.15 c #restart = 5
30.09/30.15 c BCD2: updating lower bound of a core
30.09/30.15 c lower bound updated to 98
30.09/30.15 c BCD2: 98 <= obj <= 299
30.09/30.15 c BCD2: #cores=1, #unrelaxed=86, #relaxed=213, #hardened=1
30.09/30.15 c BCD2: #sat=1 #unsat=13 bias=13/14
31.59/31.68 c Solving starts ...
31.59/31.68 c ============================[ Search Statistics ]============================
31.59/31.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
31.59/31.68 c | | | | Limit GC | Var | Constra
31.59/31.68 c =============================================================================
31.59/31.68 c 0.0s | 0 | 0 | 0 | 129845 0 | 12485 | 13569
31.99/32.02 c 0.3s | 1 | 126 | 100 | 129845 0 | 12485 | 13569
32.39/32.45 c 0.8s | 2 | 326 | 250 | 129845 0 | 12485 | 13569
32.89/33.00 c 1.3s | 3 | 627 | 475 | 129845 0 | 12485 | 13569
33.79/33.82 c 2.1s | 4 | 1045 | 813 | 129845 0 | 12485 | 13569
34.89/34.96 c 3.3s | 5 | 1688 | 1320 | 142830 0 | 12485 | 13569
36.59/36.65 c 5.0s | 6 | 2651 | 2081 | 142830 0 | 12485 | 13569
38.69/38.70 c 7.0s | 6 | 3826 | 2981 | 142830 0 | 12485 | 13569
39.19/39.20 c 7.5s | 7 | 4131 | 3223 | 142830 0 | 12485 | 13569
39.69/39.77 c 8.1s | 7 | 4310 | 3367 | 142830 0 | 12486 | 13570
39.69/39.77 c #cpu_time = 8.095s
39.69/39.77 c #wall_clock_time = 8.097s
39.69/39.77 c #decision = 4310
39.69/39.77 c #random_decision = 2
39.69/39.77 c #conflict = 3367
39.69/39.77 c #restart = 7
39.69/39.77 c BCD2: updating lower bound of a core
39.69/39.77 c lower bound updated to 99
39.69/39.78 c BCD2: 99 <= obj <= 299
39.69/39.78 c BCD2: #cores=1, #unrelaxed=86, #relaxed=213, #hardened=1
39.69/39.78 c BCD2: #sat=1 #unsat=14 bias=14/15
41.08/41.12 c Solving starts ...
41.08/41.12 c ============================[ Search Statistics ]============================
41.08/41.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
41.08/41.12 c | | | | Limit GC | Var | Constra
41.08/41.12 c =============================================================================
41.08/41.12 c 0.0s | 0 | 0 | 0 | 142830 0 | 12486 | 13570
41.38/41.46 c 0.3s | 1 | 167 | 100 | 142830 0 | 12486 | 13570
41.89/41.96 c 0.8s | 2 | 357 | 250 | 142830 0 | 12486 | 13570
42.48/42.59 c 1.5s | 3 | 640 | 475 | 142830 0 | 12486 | 13570
43.48/43.53 c 2.4s | 4 | 1085 | 813 | 157113 0 | 12486 | 13570
44.68/44.75 c 3.6s | 5 | 1716 | 1320 | 157113 0 | 12486 | 13570
46.58/46.60 c 5.5s | 6 | 2743 | 2081 | 157113 0 | 12486 | 13570
48.58/48.64 c 7.5s | 6 | 3858 | 2981 | 157113 0 | 12486 | 13570
49.08/49.16 c 8.0s | 7 | 4149 | 3223 | 157113 0 | 12486 | 13570
51.08/51.18 c 10.1s | 7 | 5262 | 4123 | 157113 0 | 12486 | 13570
52.79/52.88 c 11.8s | 8 | 6336 | 4936 | 172825 0 | 12486 | 13570
54.99/55.07 c 13.9s | 8 | 7458 | 5836 | 172825 0 | 12486 | 13570
55.48/55.53 c 14.4s | 8 | 7664 | 6017 | 172825 0 | 12487 | 13571
55.48/55.53 c #cpu_time = 14.399s
55.48/55.53 c #wall_clock_time = 14.402s
55.48/55.53 c #decision = 7664
55.48/55.53 c #random_decision = 2
55.48/55.53 c #conflict = 6017
55.48/55.53 c #restart = 8
55.48/55.53 c BCD2: updating lower bound of a core
55.48/55.53 c lower bound updated to 100
55.48/55.53 c BCD2: 100 <= obj <= 299
55.48/55.53 c BCD2: #cores=1, #unrelaxed=86, #relaxed=213, #hardened=1
55.48/55.53 c BCD2: #sat=1 #unsat=15 bias=15/16
56.78/56.86 c Solving starts ...
56.78/56.86 c ============================[ Search Statistics ]============================
56.78/56.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
56.78/56.86 c | | | | Limit GC | Var | Constra
56.78/56.86 c =============================================================================
56.78/56.86 c 0.0s | 0 | 0 | 0 | 172825 0 | 12487 | 13571
57.19/57.22 c 0.4s | 1 | 149 | 100 | 172825 0 | 12487 | 13571
57.58/57.64 c 0.8s | 2 | 356 | 250 | 172825 0 | 12487 | 13571
58.18/58.27 c 1.4s | 3 | 678 | 475 | 172825 0 | 12487 | 13571
59.18/59.25 c 2.4s | 4 | 1113 | 813 | 172825 0 | 12487 | 13571
60.58/60.62 c 3.8s | 5 | 1774 | 1320 | 172825 0 | 12487 | 13571
62.48/62.56 c 5.7s | 6 | 2741 | 2081 | 172825 0 | 12487 | 13571
64.48/64.58 c 7.7s | 6 | 3722 | 2881 | 172825 0 | 12487 | 13571
65.28/65.38 c 8.5s | 7 | 4182 | 3223 | 172825 0 | 12487 | 13571
67.37/67.47 c 10.6s | 7 | 5186 | 4023 | 172825 0 | 12487 | 13571
69.47/69.53 c 12.7s | 7 | 6343 | 4923 | 190108 0 | 12487 | 13571
69.47/69.57 c 12.7s | 8 | 6358 | 4936 | 190108 0 | 12487 | 13571
71.58/71.66 c 14.8s | 8 | 7380 | 5736 | 190108 0 | 12487 | 13571
73.68/73.74 c 16.9s | 8 | 8357 | 6536 | 190108 0 | 12487 | 13571
75.77/75.82 c 19.0s | 8 | 9432 | 7436 | 190108 0 | 12487 | 13571
75.88/75.99 c 19.1s | 9 | 9517 | 7506 | 190108 0 | 12487 | 13571
78.07/78.19 c 21.3s | 9 | 10566 | 8306 | 190108 0 | 12487 | 13571
80.37/80.41 c 23.6s | 9 | 11569 | 9106 | 190108 0 | 12487 | 13571
82.47/82.57 c 25.7s | 9 | 12566 | 9906 | 190108 0 | 12487 | 13571
83.77/83.88 c 27.0s | 9 | 13090 | 10320 | 190108 0 | 12488 | 13572
83.77/83.88 c #cpu_time = 27.011s
83.77/83.88 c #wall_clock_time = 27.020s
83.77/83.88 c #decision = 13090
83.77/83.88 c #random_decision = 5
83.77/83.88 c #conflict = 10320
83.77/83.88 c #restart = 9
83.77/83.88 c BCD2: updating lower bound of a core
83.77/83.88 c lower bound updated to 101
83.77/83.88 c BCD2: 101 <= obj <= 299
83.77/83.88 c BCD2: #cores=1, #unrelaxed=86, #relaxed=213, #hardened=1
83.77/83.88 c BCD2: #sat=1 #unsat=16 bias=16/17
85.17/85.20 c Solving starts ...
85.17/85.20 c ============================[ Search Statistics ]============================
85.17/85.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
85.17/85.20 c | | | | Limit GC | Var | Constra
85.17/85.20 c =============================================================================
85.17/85.20 c 0.0s | 0 | 0 | 0 | 190108 0 | 12488 | 13572
85.57/85.66 c 0.5s | 1 | 146 | 100 | 190108 0 | 12488 | 13572
86.17/86.27 c 1.1s | 2 | 358 | 250 | 190108 0 | 12488 | 13572
86.88/86.98 c 1.8s | 3 | 682 | 475 | 190108 0 | 12488 | 13572
88.08/88.16 c 3.0s | 4 | 1159 | 813 | 190108 0 | 12488 | 13572
89.57/89.65 c 4.5s | 5 | 1802 | 1320 | 190108 0 | 12488 | 13572
91.67/91.79 c 6.6s | 6 | 2808 | 2081 | 190108 0 | 12488 | 13572
93.87/93.92 c 8.7s | 6 | 3741 | 2781 | 209119 0 | 12488 | 13572
95.07/95.15 c 10.0s | 7 | 4282 | 3223 | 209119 0 | 12488 | 13572
97.27/97.32 c 12.1s | 7 | 5217 | 3923 | 209119 0 | 12488 | 13572
99.37/99.42 c 14.2s | 7 | 6194 | 4723 | 209119 0 | 12488 | 13572
99.87/99.97 c 14.8s | 8 | 6469 | 4936 | 209119 0 | 12488 | 13572
102.06/102.18 c 17.0s | 8 | 7356 | 5636 | 209119 0 | 12488 | 13572
104.36/104.44 c 19.2s | 8 | 8196 | 6336 | 209119 0 | 12488 | 13572
106.36/106.48 c 21.3s | 8 | 9046 | 7036 | 209119 0 | 12488 | 13572
107.96/108.00 c 22.8s | 9 | 9642 | 7506 | 209119 0 | 12488 | 13572
110.07/110.14 c 24.9s | 9 | 10546 | 8206 | 209119 0 | 12488 | 13572
112.06/112.19 c 27.0s | 9 | 11445 | 8906 | 209119 0 | 12488 | 13572
114.16/114.27 c 29.1s | 9 | 12341 | 9606 | 209119 0 | 12488 | 13572
116.26/116.33 c 31.1s | 9 | 13180 | 10306 | 209119 0 | 12488 | 13572
118.45/118.55 c 33.4s | 9 | 14056 | 11006 | 209119 0 | 12488 | 13572
119.55/119.69 c 34.5s | 10 | 14467 | 11361 | 209119 0 | 12488 | 13572
121.75/121.82 c 36.6s | 10 | 15325 | 12061 | 209119 0 | 12488 | 13572
123.95/124.02 c 38.8s | 10 | 16299 | 12861 | 209119 0 | 12488 | 13572
126.16/126.26 c 41.1s | 10 | 17159 | 13561 | 209119 0 | 12488 | 13572
128.26/128.36 c 43.2s | 10 | 17898 | 14161 | 209119 0 | 12488 | 13572
130.56/130.66 c 45.5s | 10 | 18760 | 14861 | 209119 0 | 12488 | 13572
132.86/132.96 c 47.8s | 10 | 19638 | 15561 | 230031 0 | 12488 | 13572
135.16/135.25 c 50.1s | 10 | 20479 | 16261 | 230031 0 | 12488 | 13572
137.36/137.50 c 52.3s | 10 | 21403 | 16961 | 230031 0 | 12488 | 13572
138.06/138.13 c 52.9s | 11 | 21623 | 17144 | 230031 0 | 12488 | 13572
140.16/140.23 c 55.0s | 11 | 22217 | 17644 | 230031 0 | 12488 | 13572
142.46/142.52 c 57.3s | 11 | 23164 | 18344 | 230031 0 | 12488 | 13572
144.66/144.76 c 59.6s | 11 | 24049 | 19044 | 230031 0 | 12488 | 13572
146.76/146.82 c 61.6s | 11 | 24786 | 19644 | 230031 0 | 12488 | 13572
148.96/149.05 c 63.9s | 11 | 25640 | 20344 | 230031 0 | 12488 | 13572
151.36/151.42 c 66.2s | 11 | 26516 | 21044 | 230031 0 | 12488 | 13572
153.45/153.59 c 68.4s | 11 | 27336 | 21744 | 230031 0 | 12488 | 13572
155.75/155.84 c 70.6s | 11 | 28061 | 22344 | 230031 0 | 12488 | 13572
158.05/158.13 c 72.9s | 11 | 28775 | 22944 | 230031 0 | 12488 | 13572
159.05/159.15 c 73.9s | 11 | 29010 | 23139 | 230031 0 | 12489 | 13573
159.05/159.15 c #cpu_time = 73.933s
159.05/159.15 c #wall_clock_time = 73.949s
159.05/159.15 c #decision = 29010
159.05/159.15 c #random_decision = 9
159.05/159.15 c #conflict = 23139
159.05/159.15 c #restart = 11
159.05/159.15 c BCD2: updating lower bound of a core
159.05/159.15 c lower bound updated to 102
159.05/159.15 c BCD2: 102 <= obj <= 299
159.05/159.15 c BCD2: #cores=1, #unrelaxed=86, #relaxed=213, #hardened=1
159.05/159.15 c BCD2: #sat=1 #unsat=17 bias=17/18
160.35/160.42 c Solving starts ...
160.35/160.42 c ============================[ Search Statistics ]============================
160.35/160.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
160.35/160.42 c | | | | Limit GC | Var | Constra
160.35/160.42 c =============================================================================
160.35/160.42 c 0.0s | 0 | 0 | 0 | 230031 0 | 12489 | 13573
160.95/161.05 c 0.6s | 1 | 163 | 100 | 230031 0 | 12489 | 13573
161.76/161.82 c 1.4s | 2 | 359 | 250 | 230031 0 | 12489 | 13573
162.65/162.80 c 2.4s | 3 | 646 | 475 | 230031 0 | 12489 | 13573
164.05/164.12 c 3.7s | 4 | 1060 | 813 | 230031 0 | 12489 | 13573
165.95/166.08 c 5.7s | 5 | 1718 | 1320 | 230031 0 | 12489 | 13573
168.15/168.24 c 7.8s | 5 | 2438 | 1920 | 230031 0 | 12489 | 13573
168.65/168.77 c 8.4s | 6 | 2628 | 2081 | 230031 0 | 12489 | 13573
170.65/170.78 c 10.4s | 6 | 3241 | 2581 | 230031 0 | 12489 | 13573
172.76/172.89 c 12.5s | 6 | 3979 | 3181 | 230031 0 | 12489 | 13573
172.95/173.05 c 12.6s | 7 | 4034 | 3223 | 230031 0 | 12489 | 13573
175.15/175.20 c 14.8s | 7 | 4667 | 3723 | 230031 0 | 12489 | 13573
177.45/177.55 c 17.1s | 7 | 5514 | 4423 | 230031 0 | 12489 | 13573
179.26/179.31 c 18.9s | 8 | 6168 | 4936 | 230031 0 | 12489 | 13573
181.25/181.32 c 20.9s | 8 | 6804 | 5436 | 230031 0 | 12489 | 13573
183.35/183.47 c 23.1s | 8 | 7660 | 6136 | 230031 0 | 12489 | 13573
185.75/185.82 c 25.4s | 8 | 8548 | 6836 | 230031 0 | 12489 | 13573
188.05/188.11 c 27.7s | 8 | 9256 | 7436 | 230031 0 | 12489 | 13573
188.35/188.40 c 28.0s | 9 | 9345 | 7506 | 230031 0 | 12489 | 13573
190.65/190.77 c 30.4s | 9 | 9992 | 8006 | 230031 0 | 12489 | 13573
192.85/192.99 c 32.6s | 9 | 10706 | 8606 | 230031 0 | 12489 | 13573
195.05/195.16 c 34.7s | 9 | 11441 | 9206 | 230031 0 | 12489 | 13573
197.05/197.19 c 36.8s | 9 | 12031 | 9706 | 230031 0 | 12489 | 13573
199.15/199.27 c 38.9s | 9 | 12660 | 10206 | 230031 0 | 12489 | 13573
201.54/201.64 c 41.2s | 9 | 13386 | 10806 | 230031 0 | 12489 | 13573
203.55/203.68 c 43.3s | 9 | 14015 | 11306 | 230031 0 | 12489 | 13573
203.84/203.97 c 43.6s | 10 | 14076 | 11361 | 230031 0 | 12489 | 13573
205.94/206.01 c 45.6s | 10 | 14594 | 11761 | 253035 0 | 12489 | 13573
208.04/208.15 c 47.7s | 10 | 15360 | 12361 | 253035 0 | 12489 | 13573
210.34/210.40 c 50.0s | 10 | 16146 | 12961 | 253035 0 | 12489 | 13573
212.44/212.56 c 52.1s | 10 | 16922 | 13561 | 253035 0 | 12489 | 13573
214.45/214.59 c 54.2s | 10 | 17540 | 14061 | 253035 0 | 12489 | 13573
216.54/216.61 c 56.2s | 10 | 18149 | 14561 | 253035 0 | 12489 | 13573
218.74/218.86 c 58.4s | 10 | 18935 | 15161 | 253035 0 | 12489 | 13573
220.94/221.10 c 60.7s | 10 | 19707 | 15761 | 253035 0 | 12489 | 13573
223.04/223.17 c 62.8s | 10 | 20289 | 16261 | 253035 0 | 12489 | 13573
225.04/225.19 c 64.8s | 10 | 20910 | 16761 | 253035 0 | 12489 | 13573
226.64/226.79 c 66.4s | 11 | 21405 | 17144 | 253035 0 | 12489 | 13573
228.84/228.98 c 68.6s | 11 | 21887 | 17544 | 253035 0 | 12489 | 13573
230.94/231.07 c 70.7s | 11 | 22363 | 17944 | 253035 0 | 12489 | 13573
233.03/233.11 c 72.7s | 11 | 22991 | 18444 | 253035 0 | 12489 | 13573
235.13/235.20 c 74.8s | 11 | 23576 | 18944 | 253035 0 | 12489 | 13573
237.23/237.35 c 76.9s | 11 | 24171 | 19444 | 253035 0 | 12489 | 13573
239.23/239.36 c 78.9s | 11 | 24789 | 19944 | 253035 0 | 12489 | 13573
241.53/241.62 c 81.2s | 11 | 25519 | 20544 | 253035 0 | 12489 | 13573
243.83/243.99 c 83.6s | 11 | 26265 | 21144 | 253035 0 | 12489 | 13573
245.93/246.06 c 85.6s | 11 | 26848 | 21644 | 253035 0 | 12489 | 13573
248.04/248.18 c 87.8s | 11 | 27457 | 22144 | 253035 0 | 12489 | 13573
250.44/250.51 c 90.1s | 11 | 28173 | 22744 | 253035 0 | 12489 | 13573
252.54/252.69 c 92.3s | 11 | 28756 | 23244 | 253035 0 | 12489 | 13573
254.84/254.90 c 94.5s | 11 | 29503 | 23844 | 253035 0 | 12489 | 13573
257.03/257.15 c 96.7s | 11 | 30365 | 24544 | 253035 0 | 12489 | 13573
259.23/259.33 c 98.9s | 11 | 31105 | 25144 | 253035 0 | 12489 | 13573
261.43/261.51 c 101s | 11 | 31872 | 25744 | 253035 0 | 12489 | 13573
261.63/261.77 c 101s | 12 | 31964 | 25819 | 253035 0 | 12489 | 13573
263.83/263.93 c 103s | 12 | 32666 | 26319 | 253035 0 | 12489 | 13573
266.33/266.40 c 105s | 12 | 33301 | 26819 | 253035 0 | 12489 | 13573
268.53/268.62 c 108s | 12 | 33961 | 27319 | 253035 0 | 12489 | 13573
270.53/270.70 c 110s | 12 | 34544 | 27819 | 253035 0 | 12489 | 13573
272.93/273.00 c 112s | 12 | 35276 | 28419 | 253035 0 | 12489 | 13573
275.03/275.15 c 114s | 12 | 35911 | 28919 | 253035 0 | 12489 | 13573
277.13/277.25 c 116s | 12 | 36502 | 29419 | 253035 0 | 12489 | 13573
279.33/279.41 c 118s | 12 | 37073 | 29919 | 253035 0 | 12489 | 13573
281.63/281.78 c 121s | 12 | 37646 | 30419 | 253035 0 | 12489 | 13573
283.83/283.93 c 123s | 12 | 38217 | 30919 | 253035 0 | 12489 | 13573
285.93/286.08 c 125s | 12 | 38797 | 31419 | 253035 0 | 12489 | 13573
288.32/288.41 c 127s | 12 | 39418 | 31919 | 253035 0 | 12489 | 13573
290.62/290.74 c 130s | 12 | 40070 | 32419 | 253035 0 | 12489 | 13573
293.02/293.15 c 132s | 12 | 40650 | 32919 | 253035 0 | 12489 | 13573
295.42/295.52 c 135s | 12 | 41228 | 33419 | 253035 0 | 12489 | 13573
297.51/297.67 c 137s | 12 | 41884 | 33919 | 253035 0 | 12489 | 13573
299.61/299.75 c 139s | 12 | 42463 | 34419 | 253035 0 | 12489 | 13573
302.01/302.12 c 141s | 12 | 43212 | 35019 | 253035 0 | 12489 | 13573
304.21/304.34 c 143s | 12 | 43830 | 35519 | 253035 0 | 12489 | 13573
306.41/306.52 c 146s | 12 | 44457 | 36019 | 253035 0 | 12489 | 13573
308.71/308.89 c 148s | 12 | 45065 | 36519 | 253035 0 | 12489 | 13573
311.10/311.21 c 150s | 12 | 45662 | 37019 | 253035 0 | 12489 | 13573
313.20/313.32 c 152s | 12 | 46273 | 37519 | 253035 0 | 12489 | 13573
315.40/315.50 c 155s | 12 | 46856 | 38019 | 253035 0 | 12489 | 13573
318.00/318.10 c 157s | 12 | 47456 | 38519 | 253035 0 | 12489 | 13573
319.40/319.52 c 159s | 13 | 47868 | 38832 | 253035 0 | 12489 | 13573
321.40/321.58 c 161s | 13 | 48365 | 39232 | 253035 0 | 12489 | 13573
323.60/323.77 c 163s | 13 | 49120 | 39832 | 253035 0 | 12489 | 13573
326.00/326.17 c 165s | 13 | 49855 | 40432 | 253035 0 | 12489 | 13573
328.29/328.43 c 168s | 13 | 50477 | 40932 | 278339 0 | 12489 | 13573
330.29/330.45 c 170s | 13 | 50956 | 41332 | 278339 0 | 12489 | 13573
332.69/332.81 c 172s | 13 | 51659 | 41832 | 278339 0 | 12489 | 13573
334.69/334.87 c 174s | 13 | 52160 | 42232 | 278339 0 | 12489 | 13573
337.10/337.27 c 176s | 13 | 52781 | 42732 | 278339 0 | 12489 | 13573
339.60/339.75 c 179s | 13 | 53373 | 43232 | 278339 0 | 12489 | 13573
341.80/341.98 c 181s | 13 | 53955 | 43732 | 278339 0 | 12489 | 13573
344.30/344.47 c 184s | 13 | 54550 | 44232 | 278339 0 | 12489 | 13573
346.69/346.85 c 186s | 13 | 55135 | 44732 | 278339 0 | 12489 | 13573
349.09/349.24 c 188s | 13 | 55730 | 45232 | 278339 0 | 12489 | 13573
351.49/351.68 c 191s | 13 | 56357 | 45732 | 278339 0 | 12489 | 13573
352.59/352.75 c 192s | 13 | 56515 | 45864 | 278339 0 | 12490 | 13574
352.59/352.75 c #cpu_time = 192.285s
352.59/352.75 c #wall_clock_time = 192.338s
352.59/352.75 c #decision = 56515
352.59/352.75 c #random_decision = 20
352.59/352.75 c #conflict = 45864
352.59/352.75 c #restart = 13
352.59/352.75 c BCD2: updating lower bound of a core
352.59/352.75 c lower bound updated to 103
352.59/352.76 c BCD2: 103 <= obj <= 299
352.59/352.76 c BCD2: #cores=1, #unrelaxed=86, #relaxed=213, #hardened=1
352.59/352.76 c BCD2: #sat=1 #unsat=18 bias=18/19
353.89/354.04 c Solving starts ...
353.89/354.04 c ============================[ Search Statistics ]============================
353.89/354.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
353.89/354.04 c | | | | Limit GC | Var | Constra
353.89/354.04 c =============================================================================
353.89/354.04 c 0.0s | 0 | 0 | 0 | 278339 0 | 12490 | 13574
354.89/355.06 c 1.0s | 1 | 128 | 100 | 278339 0 | 12490 | 13574
356.09/356.23 c 2.2s | 2 | 342 | 250 | 278339 0 | 12490 | 13574
357.49/357.61 c 3.6s | 3 | 682 | 475 | 278339 0 | 12490 | 13574
359.59/359.73 c 5.7s | 3 | 1076 | 775 | 278339 0 | 12490 | 13574
359.78/359.92 c 5.9s | 4 | 1122 | 813 | 278339 0 | 12490 | 13574
362.08/362.26 c 8.2s | 4 | 1654 | 1213 | 278339 0 | 12490 | 13574
362.58/362.73 c 8.7s | 5 | 1783 | 1320 | 278339 0 | 12490 | 13574
364.78/364.91 c 10.9s | 5 | 2286 | 1720 | 278339 0 | 12490 | 13574
366.29/366.42 c 12.4s | 6 | 2761 | 2081 | 278339 0 | 12490 | 13574
368.48/368.65 c 14.6s | 6 | 3269 | 2481 | 278339 0 | 12490 | 13574
370.78/370.90 c 16.9s | 6 | 3932 | 2981 | 278339 0 | 12490 | 13574
371.58/371.75 c 17.7s | 7 | 4237 | 3223 | 278339 0 | 12490 | 13574
373.88/374.08 c 20.0s | 7 | 4765 | 3623 | 278339 0 | 12490 | 13574
376.37/376.54 c 22.5s | 7 | 5403 | 4123 | 278339 0 | 12490 | 13574
378.67/378.80 c 24.8s | 7 | 6022 | 4623 | 278339 0 | 12490 | 13574
380.07/380.24 c 26.2s | 8 | 6384 | 4936 | 278339 0 | 12490 | 13574
382.47/382.61 c 28.6s | 8 | 6928 | 5336 | 278339 0 | 12490 | 13574
384.88/385.06 c 31.0s | 8 | 7554 | 5836 | 278339 0 | 12490 | 13574
387.17/387.34 c 33.3s | 8 | 8064 | 6236 | 278339 0 | 12490 | 13574
389.27/389.47 c 35.4s | 8 | 8708 | 6736 | 278339 0 | 12490 | 13574
391.67/391.87 c 37.8s | 8 | 9387 | 7236 | 278339 0 | 12490 | 13574
392.87/393.06 c 39.0s | 9 | 9733 | 7506 | 278339 0 | 12490 | 13574
395.16/395.36 c 41.3s | 9 | 10254 | 7906 | 278339 0 | 12490 | 13574
397.46/397.64 c 43.6s | 9 | 10859 | 8406 | 278339 0 | 12490 | 13574
399.66/399.88 c 45.8s | 9 | 11517 | 8906 | 278339 0 | 12490 | 13574
401.86/402.01 c 48.0s | 9 | 12174 | 9406 | 278339 0 | 12490 | 13574
404.06/404.23 c 50.2s | 9 | 12769 | 9906 | 278339 0 | 12490 | 13574
406.36/406.58 c 52.5s | 9 | 13403 | 10406 | 278339 0 | 12490 | 13574
408.85/409.03 c 55.0s | 9 | 13984 | 10906 | 278339 0 | 12490 | 13574
410.95/411.12 c 57.1s | 10 | 14562 | 11361 | 278339 0 | 12490 | 13574
413.25/413.48 c 59.4s | 10 | 14947 | 11661 | 278339 0 | 12490 | 13574
415.35/415.50 c 61.5s | 10 | 15451 | 12061 | 278339 0 | 12490 | 13574
417.65/417.83 c 63.8s | 10 | 16058 | 12561 | 278339 0 | 12490 | 13574
419.95/420.12 c 66.1s | 10 | 16694 | 13061 | 278339 0 | 12490 | 13574
421.95/422.17 c 68.1s | 10 | 17344 | 13561 | 278339 0 | 12490 | 13574
424.05/424.21 c 70.2s | 10 | 17981 | 14061 | 278339 0 | 12490 | 13574
426.25/426.43 c 72.4s | 10 | 18611 | 14561 | 278339 0 | 12490 | 13574
428.34/428.56 c 74.5s | 10 | 19239 | 15061 | 278339 0 | 12490 | 13574
430.74/430.99 c 77.0s | 10 | 19863 | 15561 | 278339 0 | 12490 | 13574
433.25/433.48 c 79.4s | 10 | 20473 | 16061 | 278339 0 | 12490 | 13574
435.45/435.69 c 81.7s | 10 | 21007 | 16461 | 278339 0 | 12490 | 13574
437.53/437.74 c 83.7s | 10 | 21518 | 16861 | 278339 0 | 12490 | 13574
438.74/438.94 c 84.9s | 11 | 21877 | 17144 | 278339 0 | 12490 | 13574
440.94/441.18 c 87.1s | 11 | 22262 | 17444 | 278339 0 | 12490 | 13574
443.43/443.65 c 89.6s | 11 | 22881 | 17944 | 278339 0 | 12490 | 13574
445.44/445.69 c 91.7s | 11 | 23371 | 18344 | 278339 0 | 12490 | 13574
447.54/447.75 c 93.7s | 11 | 24010 | 18844 | 278339 0 | 12490 | 13574
449.64/449.86 c 95.8s | 11 | 24484 | 19244 | 278339 0 | 12490 | 13574
452.05/452.28 c 98.2s | 11 | 25190 | 19744 | 278339 0 | 12490 | 13574
454.25/454.49 c 100s | 11 | 25814 | 20244 | 278339 0 | 12490 | 13574
456.45/456.62 c 102s | 11 | 26411 | 20744 | 278339 0 | 12490 | 13574
458.73/458.96 c 104s | 11 | 27165 | 21344 | 278339 0 | 12490 | 13574
460.93/461.15 c 107s | 11 | 27763 | 21844 | 278339 0 | 12490 | 13574
463.04/463.28 c 109s | 11 | 28216 | 22244 | 278339 0 | 12490 | 13574
465.53/465.74 c 111s | 11 | 28820 | 22744 | 278339 0 | 12490 | 13574
467.53/467.78 c 113s | 11 | 29319 | 23144 | 278339 0 | 12490 | 13574
469.93/470.16 c 116s | 11 | 29947 | 23644 | 278339 0 | 12490 | 13574
472.43/472.62 c 118s | 11 | 30570 | 24144 | 278339 0 | 12490 | 13574
474.93/475.12 c 121s | 11 | 31190 | 24644 | 278339 0 | 12490 | 13574
477.23/477.41 c 123s | 11 | 31800 | 25144 | 278339 0 | 12490 | 13574
479.32/479.58 c 125s | 11 | 32401 | 25644 | 278339 0 | 12490 | 13574
480.22/480.45 c 126s | 12 | 32629 | 25819 | 278339 0 | 12490 | 13574
482.42/482.60 c 128s | 12 | 33000 | 26119 | 278339 0 | 12490 | 13574
484.72/484.93 c 130s | 12 | 33592 | 26619 | 278339 0 | 12490 | 13574
487.22/487.46 c 133s | 12 | 34221 | 27119 | 278339 0 | 12490 | 13574
489.71/489.92 c 135s | 12 | 34855 | 27619 | 278339 0 | 12490 | 13574
491.91/492.13 c 138s | 12 | 35308 | 28019 | 278339 0 | 12490 | 13574
494.21/494.41 c 140s | 12 | 35807 | 28419 | 278339 0 | 12490 | 13574
496.51/496.73 c 142s | 12 | 36266 | 28819 | 278339 0 | 12490 | 13574
498.71/498.99 c 144s | 12 | 36888 | 29319 | 278339 0 | 12490 | 13574
501.21/501.44 c 147s | 12 | 37519 | 29819 | 278339 0 | 12490 | 13574
503.41/503.61 c 149s | 12 | 37984 | 30219 | 278339 0 | 12490 | 13574
505.71/505.94 c 151s | 12 | 38450 | 30619 | 278339 0 | 12490 | 13574
508.01/508.29 c 154s | 12 | 39051 | 31119 | 278339 0 | 12490 | 13574
510.10/510.36 c 156s | 12 | 39509 | 31519 | 278339 0 | 12490 | 13574
512.10/512.37 c 158s | 12 | 40019 | 31919 | 278339 0 | 12490 | 13574
514.50/514.72 c 160s | 12 | 40568 | 32319 | 278339 0 | 12490 | 13574
516.60/516.85 c 162s | 12 | 41084 | 32719 | 278339 0 | 12490 | 13574
518.90/519.17 c 165s | 12 | 41587 | 33119 | 278339 0 | 12490 | 13574
521.31/521.53 c 167s | 12 | 42308 | 33719 | 278339 0 | 12490 | 13574
523.30/523.54 c 169s | 12 | 42977 | 34219 | 278339 0 | 12490 | 13574
525.80/526.01 c 171s | 12 | 43581 | 34719 | 278339 0 | 12490 | 13574
527.99/528.24 c 174s | 12 | 44198 | 35219 | 278339 0 | 12490 | 13574
530.39/530.67 c 176s | 12 | 44822 | 35719 | 278339 0 | 12490 | 13574
532.49/532.72 c 178s | 12 | 45307 | 36119 | 278339 0 | 12490 | 13574
534.89/535.14 c 181s | 12 | 45936 | 36619 | 278339 0 | 12490 | 13574
536.89/537.17 c 183s | 12 | 46406 | 37019 | 278339 0 | 12490 | 13574
539.29/539.57 c 185s | 12 | 47026 | 37519 | 278339 0 | 12490 | 13574
541.89/542.14 c 188s | 12 | 47650 | 38019 | 278339 0 | 12490 | 13574
543.99/544.20 c 190s | 12 | 48146 | 38419 | 306173 0 | 12490 | 13574
546.39/546.62 c 192s | 12 | 48637 | 38819 | 306173 0 | 12490 | 13574
546.39/546.70 c 192s | 13 | 48652 | 38832 | 306173 0 | 12490 | 13574
548.79/549.03 c 194s | 13 | 49028 | 39132 | 306173 0 | 12490 | 13574
550.90/551.14 c 197s | 13 | 49503 | 39532 | 306173 0 | 12490 | 13574
552.99/553.23 c 199s | 13 | 49981 | 39932 | 306173 0 | 12490 | 13574
555.19/555.50 c 201s | 13 | 50462 | 40332 | 306173 0 | 12490 | 13574
557.29/557.56 c 203s | 13 | 50963 | 40732 | 306173 0 | 12490 | 13574
559.70/559.94 c 205s | 13 | 51442 | 41132 | 306173 0 | 12490 | 13574
561.79/562.07 c 208s | 13 | 51896 | 41532 | 306173 0 | 12490 | 13574
564.20/564.48 c 210s | 13 | 52451 | 41932 | 306173 0 | 12490 | 13574
566.40/566.64 c 212s | 13 | 52954 | 42332 | 306173 0 | 12490 | 13574
568.89/569.16 c 215s | 13 | 53522 | 42832 | 306173 0 | 12490 | 13574
571.29/571.54 c 217s | 13 | 54043 | 43232 | 306173 0 | 12490 | 13574
573.99/574.20 c 220s | 13 | 54521 | 43632 | 306173 0 | 12490 | 13574
576.39/576.64 c 222s | 13 | 55000 | 44032 | 306173 0 | 12490 | 13574
578.78/579.03 c 224s | 13 | 55493 | 44432 | 306173 0 | 12490 | 13574
580.98/581.21 c 227s | 13 | 55979 | 44832 | 306173 0 | 12490 | 13574
583.38/583.68 c 229s | 13 | 56456 | 45232 | 306173 0 | 12490 | 13574
585.58/585.86 c 231s | 13 | 56907 | 45632 | 306173 0 | 12490 | 13574
587.58/587.89 c 233s | 13 | 57376 | 46032 | 306173 0 | 12490 | 13574
589.98/590.22 c 236s | 13 | 57830 | 46432 | 306173 0 | 12490 | 13574
592.38/592.69 c 238s | 13 | 58288 | 46832 | 306173 0 | 12490 | 13574
594.57/594.80 c 240s | 13 | 58791 | 47232 | 306173 0 | 12490 | 13574
596.87/597.15 c 243s | 13 | 59300 | 47632 | 306173 0 | 12490 | 13574
599.28/599.52 c 245s | 13 | 59830 | 48032 | 306173 0 | 12490 | 13574
601.48/601.73 c 247s | 13 | 60444 | 48532 | 306173 0 | 12490 | 13574
603.57/603.81 c 249s | 13 | 61032 | 49032 | 306173 0 | 12490 | 13574
605.97/606.28 c 252s | 13 | 61790 | 49632 | 306173 0 | 12490 | 13574
608.07/608.40 c 254s | 13 | 62273 | 50032 | 306173 0 | 12490 | 13574
610.56/610.81 c 256s | 13 | 62761 | 50432 | 306173 0 | 12490 | 13574
613.06/613.30 c 259s | 13 | 63249 | 50832 | 306173 0 | 12490 | 13574
615.26/615.57 c 261s | 13 | 63714 | 51232 | 306173 0 | 12490 | 13574
617.66/617.90 c 263s | 13 | 64225 | 51632 | 306173 0 | 12490 | 13574
620.16/620.43 c 266s | 13 | 64716 | 52032 | 306173 0 | 12490 | 13574
622.16/622.48 c 268s | 13 | 65081 | 52332 | 306173 0 | 12490 | 13574
624.46/624.76 c 270s | 13 | 65561 | 52732 | 306173 0 | 12490 | 13574
626.95/627.20 c 273s | 13 | 66049 | 53132 | 306173 0 | 12490 | 13574
629.25/629.54 c 275s | 13 | 66580 | 53532 | 306173 0 | 12490 | 13574
631.75/632.02 c 277s | 13 | 67165 | 54032 | 306173 0 | 12490 | 13574
634.25/634.59 c 280s | 13 | 67772 | 54532 | 306173 0 | 12490 | 13574
636.55/636.82 c 282s | 13 | 68385 | 55032 | 306173 0 | 12490 | 13574
639.14/639.46 c 285s | 13 | 68838 | 55432 | 306173 0 | 12490 | 13574
641.54/641.87 c 287s | 13 | 69311 | 55832 | 306173 0 | 12490 | 13574
643.84/644.17 c 290s | 13 | 69786 | 56232 | 306173 0 | 12490 | 13574
645.94/646.21 c 292s | 13 | 70293 | 56632 | 306173 0 | 12490 | 13574
648.24/648.57 c 294s | 13 | 70776 | 57032 | 306173 0 | 12490 | 13574
650.54/650.86 c 296s | 13 | 71229 | 57432 | 306173 0 | 12490 | 13574
652.54/652.88 c 298s | 13 | 71724 | 57832 | 306173 0 | 12490 | 13574
654.94/655.25 c 301s | 13 | 72196 | 58232 | 306173 0 | 12490 | 13574
655.54/655.89 c 301s | 14 | 72323 | 58352 | 306173 0 | 12490 | 13574
658.03/658.32 c 304s | 14 | 72709 | 58652 | 306173 0 | 12490 | 13574
660.33/660.65 c 306s | 14 | 73305 | 59152 | 306173 0 | 12490 | 13574
662.63/662.98 c 308s | 14 | 73890 | 59652 | 306173 0 | 12490 | 13574
664.93/665.27 c 311s | 14 | 74513 | 60152 | 306173 0 | 12490 | 13574
667.33/667.70 c 313s | 14 | 75090 | 60652 | 306173 0 | 12490 | 13574
669.73/670.00 c 315s | 14 | 75563 | 61052 | 306173 0 | 12490 | 13574
672.23/672.59 c 318s | 14 | 76019 | 61452 | 306173 0 | 12490 | 13574
674.43/674.77 c 320s | 14 | 76535 | 61852 | 306173 0 | 12490 | 13574
676.43/676.79 c 322s | 14 | 77008 | 62252 | 306173 0 | 12490 | 13574
679.12/679.43 c 325s | 14 | 77636 | 62752 | 306173 0 | 12490 | 13574
681.22/681.53 c 327s | 14 | 78010 | 63052 | 306173 0 | 12490 | 13574
683.72/684.06 c 330s | 14 | 78637 | 63552 | 306173 0 | 12490 | 13574
685.92/686.27 c 332s | 14 | 79260 | 64052 | 306173 0 | 12490 | 13574
688.52/688.82 c 334s | 14 | 79863 | 64552 | 306173 0 | 12490 | 13574
690.52/690.88 c 336s | 14 | 80374 | 64952 | 306173 0 | 12490 | 13574
692.82/693.14 c 339s | 14 | 80988 | 65452 | 306173 0 | 12490 | 13574
694.81/695.17 c 341s | 14 | 81464 | 65852 | 306173 0 | 12490 | 13574
697.41/697.70 c 343s | 14 | 82069 | 66352 | 306173 0 | 12490 | 13574
699.51/699.89 c 345s | 14 | 82594 | 66752 | 306173 0 | 12490 | 13574
701.81/702.14 c 348s | 14 | 83032 | 67152 | 306173 0 | 12490 | 13574
704.31/704.63 c 350s | 14 | 83508 | 67552 | 306173 0 | 12490 | 13574
706.51/706.83 c 352s | 14 | 84023 | 67952 | 306173 0 | 12490 | 13574
708.61/708.92 c 354s | 14 | 84405 | 68252 | 306173 0 | 12490 | 13574
710.71/711.07 c 357s | 14 | 84776 | 68552 | 306173 0 | 12490 | 13574
713.20/713.54 c 359s | 14 | 85287 | 68952 | 306173 0 | 12490 | 13574
715.91/716.23 c 362s | 14 | 85783 | 69352 | 306173 0 | 12490 | 13574
718.40/718.78 c 364s | 14 | 86377 | 69852 | 306173 0 | 12490 | 13574
720.90/721.26 c 367s | 14 | 86852 | 70252 | 306173 0 | 12490 | 13574
723.30/723.67 c 369s | 14 | 87346 | 70652 | 306173 0 | 12490 | 13574
725.81/726.15 c 372s | 14 | 88024 | 71152 | 306173 0 | 12490 | 13574
728.30/728.66 c 374s | 14 | 88498 | 71552 | 306173 0 | 12490 | 13574
730.50/730.86 c 376s | 14 | 88974 | 71952 | 306173 0 | 12490 | 13574
732.60/732.94 c 378s | 14 | 89358 | 72252 | 306173 0 | 12490 | 13574
735.20/735.50 c 381s | 14 | 89852 | 72652 | 306173 0 | 12490 | 13574
737.30/737.62 c 383s | 14 | 90283 | 72952 | 306173 0 | 12490 | 13574
739.40/739.75 c 385s | 14 | 90791 | 73352 | 306173 0 | 12490 | 13574
741.70/742.07 c 388s | 14 | 91434 | 73852 | 306173 0 | 12490 | 13574
744.30/744.70 c 390s | 14 | 91995 | 74252 | 306173 0 | 12490 | 13574
746.60/746.90 c 392s | 14 | 92473 | 74652 | 306173 0 | 12490 | 13574
748.90/749.25 c 395s | 14 | 92990 | 75052 | 306173 0 | 12490 | 13574
751.50/751.80 c 397s | 14 | 93451 | 75452 | 306173 0 | 12490 | 13574
753.90/754.26 c 400s | 14 | 93936 | 75852 | 306173 0 | 12490 | 13574
756.50/756.80 c 402s | 14 | 94461 | 76252 | 306173 0 | 12490 | 13574
759.00/759.34 c 405s | 14 | 94928 | 76652 | 306173 0 | 12490 | 13574
761.30/761.65 c 407s | 14 | 95393 | 77052 | 306173 0 | 12490 | 13574
763.60/763.93 c 409s | 14 | 95875 | 77452 | 306173 0 | 12490 | 13574
765.60/765.96 c 411s | 14 | 96232 | 77752 | 306173 0 | 12490 | 13574
768.00/768.35 c 414s | 14 | 96721 | 78152 | 306173 0 | 12490 | 13574
770.50/770.88 c 416s | 14 | 97192 | 78552 | 306173 0 | 12490 | 13574
772.70/773.09 c 419s | 14 | 97568 | 78852 | 306173 0 | 12490 | 13574
775.31/775.61 c 421s | 14 | 98051 | 79252 | 306173 0 | 12490 | 13574
778.00/778.34 c 424s | 14 | 98520 | 79652 | 306173 0 | 12490 | 13574
780.20/780.51 c 426s | 14 | 98916 | 79952 | 306173 0 | 12490 | 13574
782.50/782.84 c 428s | 14 | 99267 | 80252 | 306173 0 | 12490 | 13574
784.90/785.29 c 431s | 14 | 99607 | 80552 | 306173 0 | 12490 | 13574
787.00/787.37 c 433s | 14 | 99933 | 80852 | 306173 0 | 12490 | 13574
789.61/789.98 c 435s | 14 | 100408 | 81252 | 306173 0 | 12490 | 13574
792.30/792.65 c 438s | 14 | 100898 | 81652 | 306173 0 | 12490 | 13574
794.80/795.17 c 441s | 14 | 101356 | 82052 | 306173 0 | 12490 | 13574
796.90/797.26 c 443s | 14 | 101692 | 82352 | 306173 0 | 12490 | 13574
799.00/799.38 c 445s | 14 | 102014 | 82652 | 306173 0 | 12490 | 13574
801.20/801.59 c 447s | 14 | 102391 | 82952 | 306173 0 | 12490 | 13574
803.70/804.05 c 450s | 14 | 102752 | 83252 | 306173 0 | 12490 | 13574
805.30/805.61 c 451s | 14 | 102859 | 83365 | 306173 0 | 12491 | 13575
805.30/805.61 c #cpu_time = 451.408s
805.30/805.61 c #wall_clock_time = 451.572s
805.30/805.61 c #decision = 102859
805.30/805.61 c #random_decision = 64
805.30/805.61 c #conflict = 83365
805.30/805.61 c #restart = 14
805.30/805.61 c BCD2: updating lower bound of a core
805.30/805.61 c lower bound updated to 104
805.30/805.61 c BCD2: 104 <= obj <= 299
805.30/805.61 c BCD2: #cores=1, #unrelaxed=86, #relaxed=213, #hardened=1
805.30/805.61 c BCD2: #sat=1 #unsat=19 bias=19/20
806.50/806.83 c Solving starts ...
806.50/806.83 c ============================[ Search Statistics ]============================
806.50/806.83 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
806.50/806.83 c | | | | Limit GC | Var | Constra
806.50/806.83 c =============================================================================
806.50/806.83 c 0.0s | 0 | 0 | 0 | 306173 0 | 12491 | 13575
808.00/808.31 c 1.5s | 1 | 161 | 100 | 306173 0 | 12491 | 13575
809.70/810.00 c 3.2s | 2 | 367 | 250 | 306173 0 | 12491 | 13575
811.60/811.92 c 5.1s | 3 | 678 | 475 | 306173 0 | 12491 | 13575
813.80/814.16 c 7.3s | 3 | 984 | 675 | 306173 0 | 12491 | 13575
814.80/815.13 c 8.3s | 4 | 1129 | 813 | 306173 0 | 12491 | 13575
816.79/817.17 c 10.3s | 4 | 1390 | 1013 | 306173 0 | 12491 | 13575
818.49/818.85 c 12.0s | 5 | 1792 | 1320 | 306173 0 | 12491 | 13575
820.69/821.05 c 14.2s | 5 | 2052 | 1520 | 306173 0 | 12491 | 13575
823.19/823.58 c 16.7s | 5 | 2686 | 2020 | 306173 0 | 12491 | 13575
823.60/823.92 c 17.1s | 6 | 2764 | 2081 | 306173 0 | 12491 | 13575
825.90/826.25 c 19.4s | 6 | 3177 | 2381 | 306173 0 | 12491 | 13575
827.89/828.28 c 21.4s | 6 | 3530 | 2681 | 306173 0 | 12491 | 13575
830.49/830.82 c 24.0s | 6 | 4012 | 3081 | 306173 0 | 12491 | 13575
831.40/831.71 c 24.9s | 7 | 4171 | 3223 | 306173 0 | 12491 | 13575
833.69/834.09 c 27.3s | 7 | 4553 | 3523 | 306173 0 | 12491 | 13575
836.19/836.56 c 29.7s | 7 | 5064 | 3923 | 306173 0 | 12491 | 13575
838.49/838.85 c 32.0s | 7 | 5599 | 4323 | 306173 0 | 12491 | 13575
840.69/841.08 c 34.3s | 7 | 6116 | 4723 | 306173 0 | 12491 | 13575
841.89/842.27 c 35.4s | 8 | 6381 | 4936 | 306173 0 | 12491 | 13575
844.39/844.74 c 37.9s | 8 | 6783 | 5236 | 306173 0 | 12491 | 13575
846.69/847.05 c 40.2s | 8 | 7279 | 5636 | 306173 0 | 12491 | 13575
848.69/849.09 c 42.3s | 8 | 7634 | 5936 | 306173 0 | 12491 | 13575
851.19/851.57 c 44.7s | 8 | 8156 | 6336 | 306173 0 | 12491 | 13575
853.48/853.82 c 47.0s | 8 | 8520 | 6636 | 306173 0 | 12491 | 13575
856.08/856.45 c 49.6s | 8 | 9039 | 7036 | 306173 0 | 12491 | 13575
858.38/858.70 c 51.9s | 8 | 9380 | 7336 | 306173 0 | 12491 | 13575
859.38/859.72 c 52.9s | 9 | 9593 | 7506 | 306173 0 | 12491 | 13575
861.48/861.84 c 55.0s | 9 | 9881 | 7706 | 306173 0 | 12491 | 13575
863.58/863.90 c 57.1s | 9 | 10241 | 8006 | 306173 0 | 12491 | 13575
865.88/866.29 c 59.5s | 9 | 10732 | 8406 | 306173 0 | 12491 | 13575
868.48/868.88 c 62.1s | 9 | 11203 | 8806 | 306173 0 | 12491 | 13575
870.89/871.22 c 64.4s | 9 | 11691 | 9206 | 306173 0 | 12491 | 13575
873.19/873.54 c 66.7s | 9 | 12192 | 9606 | 306173 0 | 12491 | 13575
875.68/876.04 c 69.2s | 9 | 12688 | 10006 | 306173 0 | 12491 | 13575
877.98/878.36 c 71.5s | 9 | 13181 | 10406 | 306173 0 | 12491 | 13575
880.49/880.82 c 74.0s | 9 | 13681 | 10806 | 306173 0 | 12491 | 13575
882.48/882.88 c 76.0s | 9 | 14065 | 11106 | 306173 0 | 12491 | 13575
883.98/884.36 c 77.5s | 10 | 14365 | 11361 | 306173 0 | 12491 | 13575
886.29/886.66 c 79.8s | 10 | 14639 | 11561 | 306173 0 | 12491 | 13575
888.78/889.17 c 82.3s | 10 | 15144 | 11961 | 306173 0 | 12491 | 13575
891.28/891.64 c 84.8s | 10 | 15623 | 12361 | 306173 0 | 12491 | 13575
893.58/893.99 c 87.2s | 10 | 16096 | 12761 | 306173 0 | 12491 | 13575
895.98/896.36 c 89.5s | 10 | 16432 | 13061 | 306173 0 | 12491 | 13575
897.98/898.36 c 91.5s | 10 | 16799 | 13361 | 306173 0 | 12491 | 13575
900.38/900.75 c 93.9s | 10 | 17300 | 13761 | 306173 0 | 12491 | 13575
902.38/902.75 c 95.9s | 10 | 17771 | 14161 | 306173 0 | 12491 | 13575
904.99/905.31 c 98.5s | 10 | 18243 | 14561 | 306173 0 | 12491 | 13575
907.38/907.79 c 100s | 10 | 18698 | 14961 | 306173 0 | 12491 | 13575
909.49/909.83 c 102s | 10 | 19093 | 15261 | 306173 0 | 12491 | 13575
911.59/911.91 c 105s | 10 | 19498 | 15561 | 306173 0 | 12491 | 13575
914.18/914.51 c 107s | 10 | 19988 | 15961 | 306173 0 | 12491 | 13575
916.18/916.56 c 109s | 10 | 20371 | 16261 | 306173 0 | 12491 | 13575
918.48/918.85 c 112s | 10 | 20871 | 16661 | 306173 0 | 12491 | 13575
920.48/920.88 c 114s | 10 | 21229 | 16961 | 306173 0 | 12491 | 13575
921.78/922.10 c 115s | 11 | 21464 | 17144 | 306173 0 | 12491 | 13575
923.88/924.24 c 117s | 11 | 21727 | 17344 | 306173 0 | 12491 | 13575
926.38/926.79 c 119s | 11 | 22212 | 17744 | 306173 0 | 12491 | 13575
928.98/929.30 c 122s | 11 | 22707 | 18144 | 306173 0 | 12491 | 13575
931.48/931.83 c 124s | 11 | 23240 | 18544 | 306173 0 | 12491 | 13575
933.48/933.90 c 127s | 11 | 23611 | 18844 | 306173 0 | 12491 | 13575
935.78/936.18 c 129s | 11 | 23977 | 19144 | 306173 0 | 12491 | 13575
937.98/938.36 c 131s | 11 | 24511 | 19544 | 306173 0 | 12491 | 13575
940.07/940.48 c 133s | 11 | 24927 | 19844 | 306173 0 | 12491 | 13575
942.17/942.57 c 135s | 11 | 25311 | 20144 | 306173 0 | 12491 | 13575
944.58/944.93 c 138s | 11 | 25660 | 20444 | 336791 0 | 12491 | 13575
946.67/947.07 c 140s | 11 | 26040 | 20744 | 336791 0 | 12491 | 13575
948.67/949.09 c 142s | 11 | 26434 | 21044 | 336791 0 | 12491 | 13575
950.97/951.35 c 144s | 11 | 26913 | 21444 | 336791 0 | 12491 | 13575
953.57/953.99 c 147s | 11 | 27414 | 21844 | 336791 0 | 12491 | 13575
955.87/956.23 c 149s | 11 | 27767 | 22144 | 336791 0 | 12491 | 13575
958.17/958.55 c 151s | 11 | 28118 | 22444 | 336791 0 | 12491 | 13575
960.17/960.59 c 153s | 11 | 28504 | 22744 | 336791 0 | 12491 | 13575
962.47/962.84 c 156s | 11 | 28899 | 23044 | 336791 0 | 12491 | 13575
964.87/965.26 c 158s | 11 | 29401 | 23444 | 336791 0 | 12491 | 13575
967.37/967.71 c 160s | 11 | 29918 | 23844 | 336791 0 | 12491 | 13575
969.57/969.97 c 163s | 11 | 30390 | 24244 | 336791 0 | 12491 | 13575
971.87/972.25 c 165s | 11 | 30757 | 24544 | 336791 0 | 12491 | 13575
974.07/974.49 c 167s | 11 | 31143 | 24844 | 336791 0 | 12491 | 13575
976.07/976.49 c 169s | 11 | 31484 | 25144 | 336791 0 | 12491 | 13575
978.57/978.96 c 172s | 11 | 31854 | 25444 | 336791 0 | 12491 | 13575
980.77/981.11 c 174s | 11 | 32260 | 25744 | 336791 0 | 12491 | 13575
981.27/981.64 c 174s | 12 | 32361 | 25819 | 336791 0 | 12491 | 13575
983.37/983.78 c 176s | 12 | 32642 | 26019 | 336791 0 | 12491 | 13575
985.66/986.05 c 179s | 12 | 33266 | 26519 | 336791 0 | 12491 | 13575
987.96/988.30 c 181s | 12 | 33636 | 26819 | 336791 0 | 12491 | 13575
990.06/990.40 c 183s | 12 | 34009 | 27119 | 336791 0 | 12491 | 13575
992.16/992.53 c 185s | 12 | 34358 | 27419 | 336791 0 | 12491 | 13575
994.46/994.88 c 188s | 12 | 34724 | 27719 | 336791 0 | 12491 | 13575
996.76/997.15 c 190s | 12 | 35105 | 28019 | 336791 0 | 12491 | 13575
998.76/999.19 c 192s | 12 | 35494 | 28319 | 336791 0 | 12491 | 13575
1001.36/1001.75 c 194s | 12 | 35951 | 28719 | 336791 0 | 12491 | 13575
1003.36/1003.79 c 196s | 12 | 36313 | 29019 | 336791 0 | 12491 | 13575
1005.76/1006.12 c 199s | 12 | 36836 | 29419 | 336791 0 | 12491 | 13575
1007.86/1008.24 c 201s | 12 | 37188 | 29719 | 336791 0 | 12491 | 13575
1010.46/1010.83 c 204s | 12 | 37674 | 30119 | 336791 0 | 12491 | 13575
1012.96/1013.37 c 206s | 12 | 38151 | 30519 | 336791 0 | 12491 | 13575
1015.06/1015.42 c 208s | 12 | 38498 | 30819 | 336791 0 | 12491 | 13575
1017.76/1018.17 c 211s | 12 | 38979 | 31219 | 336791 0 | 12491 | 13575
1019.96/1020.38 c 213s | 12 | 39321 | 31519 | 336791 0 | 12491 | 13575
1022.35/1022.78 c 215s | 12 | 39697 | 31819 | 336791 0 | 12491 | 13575
1024.46/1024.87 c 218s | 12 | 40050 | 32119 | 336791 0 | 12491 | 13575
1026.66/1027.09 c 220s | 12 | 40410 | 32419 | 336791 0 | 12491 | 13575
1028.96/1029.30 c 222s | 12 | 40772 | 32719 | 336791 0 | 12491 | 13575
1031.06/1031.46 c 224s | 12 | 41125 | 33019 | 336791 0 | 12491 | 13575
1033.36/1033.76 c 226s | 12 | 41459 | 33319 | 336791 0 | 12491 | 13575
1035.66/1036.06 c 229s | 12 | 41822 | 33619 | 336791 0 | 12491 | 13575
1037.66/1038.08 c 231s | 12 | 42196 | 33919 | 336791 0 | 12491 | 13575
1040.27/1040.63 c 233s | 12 | 42664 | 34319 | 336791 0 | 12491 | 13575
1042.76/1043.18 c 236s | 12 | 43127 | 34719 | 336791 0 | 12491 | 13575
1045.06/1045.44 c 238s | 12 | 43598 | 35119 | 336791 0 | 12491 | 13575
1047.66/1048.09 c 241s | 12 | 44046 | 35519 | 336791 0 | 12491 | 13575
1049.86/1050.26 c 243s | 12 | 44532 | 35919 | 336791 0 | 12491 | 13575
1051.96/1052.38 c 245s | 12 | 44884 | 36219 | 336791 0 | 12491 | 13575
1053.96/1054.38 c 247s | 12 | 45257 | 36519 | 336791 0 | 12491 | 13575
1056.36/1056.75 c 249s | 12 | 45740 | 36919 | 336791 0 | 12491 | 13575
1058.46/1058.85 c 252s | 12 | 46094 | 37219 | 336791 0 | 12491 | 13575
1060.76/1061.19 c 254s | 12 | 46460 | 37519 | 336791 0 | 12491 | 13575
1063.36/1063.75 c 256s | 12 | 46954 | 37919 | 336791 0 | 12491 | 13575
1065.66/1066.08 c 259s | 12 | 47417 | 38319 | 336791 0 | 12491 | 13575
1067.76/1068.16 c 261s | 12 | 47898 | 38719 | 336791 0 | 12491 | 13575
1068.35/1068.77 c 261s | 13 | 48031 | 38832 | 336791 0 | 12491 | 13575
1070.85/1071.29 c 264s | 13 | 48424 | 39132 | 336791 0 | 12491 | 13575
1073.15/1073.59 c 266s | 13 | 48917 | 39532 | 336791 0 | 12491 | 13575
1075.35/1075.77 c 268s | 13 | 49395 | 39932 | 336791 0 | 12491 | 13575
1077.85/1078.24 c 271s | 13 | 49905 | 40332 | 336791 0 | 12491 | 13575
1079.96/1080.36 c 273s | 13 | 50396 | 40732 | 336791 0 | 12491 | 13575
1082.35/1082.74 c 275s | 13 | 50878 | 41132 | 336791 0 | 12491 | 13575
1084.55/1084.98 c 278s | 13 | 51322 | 41532 | 336791 0 | 12491 | 13575
1086.55/1086.99 c 280s | 13 | 51682 | 41832 | 336791 0 | 12491 | 13575
1089.15/1089.60 c 282s | 13 | 52151 | 42232 | 336791 0 | 12491 | 13575
1091.65/1092.01 c 285s | 13 | 52649 | 42632 | 336791 0 | 12491 | 13575
1094.05/1094.40 c 287s | 13 | 53148 | 43032 | 336791 0 | 12491 | 13575
1096.05/1096.50 c 289s | 13 | 53498 | 43332 | 336791 0 | 12491 | 13575
1098.35/1098.71 c 291s | 13 | 53852 | 43632 | 336791 0 | 12491 | 13575
1100.54/1100.94 c 294s | 13 | 54202 | 43932 | 336791 0 | 12491 | 13575
1102.95/1103.38 c 296s | 13 | 54562 | 44232 | 336791 0 | 12491 | 13575
1105.15/1105.57 c 298s | 13 | 54959 | 44532 | 336791 0 | 12491 | 13575
1107.24/1107.70 c 300s | 13 | 55325 | 44832 | 336791 0 | 12491 | 13575
1109.44/1109.86 c 303s | 13 | 55685 | 45132 | 336791 0 | 12491 | 13575
1112.04/1112.44 c 305s | 13 | 56166 | 45532 | 336791 0 | 12491 | 13575
1114.05/1114.47 c 307s | 13 | 56526 | 45832 | 336791 0 | 12491 | 13575
1116.55/1116.99 c 310s | 13 | 57048 | 46232 | 336791 0 | 12491 | 13575
1118.65/1119.02 c 312s | 13 | 57418 | 46532 | 336791 0 | 12491 | 13575
1120.85/1121.23 c 314s | 13 | 57795 | 46832 | 336791 0 | 12491 | 13575
1123.35/1123.73 c 316s | 13 | 58249 | 47232 | 336791 0 | 12491 | 13575
1125.75/1126.19 c 319s | 13 | 58735 | 47632 | 336791 0 | 12491 | 13575
1128.45/1128.89 c 322s | 13 | 59243 | 48032 | 336791 0 | 12491 | 13575
1130.65/1131.09 c 324s | 13 | 59639 | 48332 | 336791 0 | 12491 | 13575
1133.05/1133.47 c 326s | 13 | 60122 | 48732 | 336791 0 | 12491 | 13575
1135.05/1135.48 c 328s | 13 | 60479 | 49032 | 336791 0 | 12491 | 13575
1137.25/1137.68 c 330s | 13 | 60848 | 49332 | 336791 0 | 12491 | 13575
1139.45/1139.82 c 332s | 13 | 61224 | 49632 | 336791 0 | 12491 | 13575
1141.45/1141.82 c 334s | 13 | 61590 | 49932 | 336791 0 | 12491 | 13575
1143.65/1144.05 c 337s | 13 | 62006 | 50232 | 336791 0 | 12491 | 13575
1145.85/1146.28 c 339s | 13 | 62353 | 50532 | 336791 0 | 12491 | 13575
1148.44/1148.83 c 341s | 13 | 62816 | 50932 | 336791 0 | 12491 | 13575
1151.04/1151.40 c 344s | 13 | 63330 | 51332 | 336791 0 | 12491 | 13575
1153.04/1153.44 c 346s | 13 | 63691 | 51632 | 336791 0 | 12491 | 13575
1155.04/1155.47 c 348s | 13 | 64020 | 51932 | 336791 0 | 12491 | 13575
1157.24/1157.60 c 350s | 13 | 64376 | 52232 | 336791 0 | 12491 | 13575
1159.44/1159.85 c 353s | 13 | 64762 | 52532 | 336791 0 | 12491 | 13575
1162.14/1162.50 c 355s | 13 | 65230 | 52932 | 336791 0 | 12491 | 13575
1164.55/1164.96 c 358s | 13 | 65752 | 53332 | 336791 0 | 12491 | 13575
1166.94/1167.39 c 360s | 13 | 66124 | 53632 | 336791 0 | 12491 | 13575
1169.54/1169.96 c 363s | 13 | 66520 | 53932 | 336791 0 | 12491 | 13575
1171.84/1172.24 c 365s | 13 | 66903 | 54232 | 336791 0 | 12491 | 13575
1174.24/1174.63 c 367s | 13 | 67276 | 54532 | 336791 0 | 12491 | 13575
1176.34/1176.78 c 369s | 13 | 67649 | 54832 | 336791 0 | 12491 | 13575
1178.84/1179.30 c 372s | 13 | 68158 | 55232 | 336791 0 | 12491 | 13575
1181.04/1181.42 c 374s | 13 | 68507 | 55532 | 336791 0 | 12491 | 13575
1183.24/1183.63 c 376s | 13 | 68980 | 55932 | 336791 0 | 12491 | 13575
1185.44/1185.81 c 378s | 13 | 69476 | 56332 | 336791 0 | 12491 | 13575
1187.54/1187.95 c 381s | 13 | 69843 | 56632 | 336791 0 | 12491 | 13575
1190.14/1190.52 c 383s | 13 | 70337 | 57032 | 336791 0 | 12491 | 13575
1192.64/1193.05 c 386s | 13 | 70826 | 57432 | 336791 0 | 12491 | 13575
1194.74/1195.20 c 388s | 13 | 71214 | 57732 | 336791 0 | 12491 | 13575
1197.44/1197.82 c 390s | 13 | 71684 | 58132 | 336791 0 | 12491 | 13575
1199.13/1199.57 c 392s | 14 | 71937 | 58352 | 336791 0 | 12491 | 13575
1201.83/1202.28 c 395s | 14 | 72178 | 58552 | 336791 0 | 12491 | 13575
1203.83/1204.28 c 397s | 14 | 72538 | 58852 | 336791 0 | 12491 | 13575
1206.03/1206.49 c 399s | 14 | 72932 | 59152 | 336791 0 | 12491 | 13575
1208.83/1209.20 c 402s | 14 | 73429 | 59552 | 336791 0 | 12491 | 13575
1210.93/1211.38 c 404s | 14 | 73788 | 59852 | 336791 0 | 12491 | 13575
1213.04/1213.48 c 406s | 14 | 74291 | 60252 | 336791 0 | 12491 | 13575
1215.43/1215.84 c 409s | 14 | 74693 | 60552 | 336791 0 | 12491 | 13575
1217.53/1217.92 c 411s | 14 | 75081 | 60852 | 336791 0 | 12491 | 13575
1220.03/1220.45 c 413s | 14 | 75450 | 61152 | 336791 0 | 12491 | 13575
1222.43/1222.87 c 416s | 14 | 75829 | 61452 | 336791 0 | 12491 | 13575
1224.63/1225.02 c 418s | 14 | 76211 | 61752 | 336791 0 | 12491 | 13575
1227.03/1227.46 c 420s | 14 | 76561 | 62052 | 336791 0 | 12491 | 13575
1229.13/1229.51 c 422s | 14 | 76939 | 62352 | 336791 0 | 12491 | 13575
1231.23/1231.68 c 424s | 14 | 77275 | 62652 | 336791 0 | 12491 | 13575
1233.53/1233.90 c 427s | 14 | 77635 | 62952 | 336791 0 | 12491 | 13575
1235.73/1236.11 c 429s | 14 | 77987 | 63252 | 336791 0 | 12491 | 13575
1238.23/1238.69 c 431s | 14 | 78508 | 63652 | 336791 0 | 12491 | 13575
1240.33/1240.77 c 433s | 14 | 78887 | 63952 | 336791 0 | 12491 | 13575
1242.43/1242.85 c 436s | 14 | 79248 | 64252 | 336791 0 | 12491 | 13575
1245.03/1245.45 c 438s | 14 | 79603 | 64552 | 336791 0 | 12491 | 13575
1247.13/1247.58 c 440s | 14 | 79966 | 64852 | 336791 0 | 12491 | 13575
1249.53/1249.95 c 443s | 14 | 80303 | 65152 | 336791 0 | 12491 | 13575
1251.83/1252.29 c 445s | 14 | 80643 | 65452 | 336791 0 | 12491 | 13575
1254.43/1254.88 c 448s | 14 | 81025 | 65752 | 336791 0 | 12491 | 13575
1256.53/1256.93 c 450s | 14 | 81368 | 66052 | 336791 0 | 12491 | 13575
1258.82/1259.25 c 452s | 14 | 81746 | 66352 | 336791 0 | 12491 | 13575
1261.33/1261.75 c 454s | 14 | 82120 | 66652 | 336791 0 | 12491 | 13575
1263.53/1263.95 c 457s | 14 | 82514 | 66952 | 336791 0 | 12491 | 13575
1265.73/1266.10 c 459s | 14 | 82905 | 67252 | 336791 0 | 12491 | 13575
1268.32/1268.74 c 461s | 14 | 83248 | 67552 | 336791 0 | 12491 | 13575
1270.82/1271.27 c 464s | 14 | 83576 | 67852 | 336791 0 | 12491 | 13575
1273.32/1273.76 c 466s | 14 | 83947 | 68152 | 336791 0 | 12491 | 13575
1275.73/1276.16 c 469s | 14 | 84305 | 68452 | 336791 0 | 12491 | 13575
1278.22/1278.60 c 471s | 14 | 84679 | 68752 | 336791 0 | 12491 | 13575
1280.92/1281.35 c 474s | 14 | 85058 | 69052 | 336791 0 | 12491 | 13575
1283.62/1284.00 c 477s | 14 | 85403 | 69352 | 336791 0 | 12491 | 13575
1286.02/1286.42 c 479s | 14 | 85753 | 69652 | 336791 0 | 12491 | 13575
1288.42/1288.87 c 482s | 14 | 86143 | 69952 | 336791 0 | 12491 | 13575
1290.62/1291.08 c 484s | 14 | 86534 | 70252 | 336791 0 | 12491 | 13575
1292.92/1293.35 c 486s | 14 | 86920 | 70552 | 336791 0 | 12491 | 13575
1294.92/1295.36 c 488s | 14 | 87179 | 70752 | 336791 0 | 12491 | 13575
1297.92/1298.30 c 491s | 14 | 87552 | 71052 | 336791 0 | 12491 | 13575
1299.92/1300.33 c 493s | 14 | 87790 | 71252 | 336791 0 | 12491 | 13575
1302.72/1303.14 c 496s | 14 | 88149 | 71552 | 336791 0 | 12491 | 13575
1304.81/1305.24 c 498s | 14 | 88378 | 71752 | 336791 0 | 12491 | 13575
1306.81/1307.29 c 500s | 14 | 88615 | 71952 | 336791 0 | 12491 | 13575
1309.41/1309.81 c 502s | 14 | 88963 | 72252 | 336791 0 | 12491 | 13575
1311.61/1312.02 c 505s | 14 | 89315 | 72552 | 336791 0 | 12491 | 13575
1314.31/1314.73 c 507s | 14 | 89641 | 72852 | 336791 0 | 12491 | 13575
1316.81/1317.28 c 510s | 14 | 90000 | 73152 | 336791 0 | 12491 | 13575
1319.51/1319.90 c 513s | 14 | 90361 | 73452 | 336791 0 | 12491 | 13575
1322.01/1322.48 c 515s | 14 | 90747 | 73752 | 336791 0 | 12491 | 13575
1324.41/1324.85 c 518s | 14 | 91113 | 74052 | 336791 0 | 12491 | 13575
1326.41/1326.86 c 520s | 14 | 91510 | 74352 | 336791 0 | 12491 | 13575
1328.81/1329.21 c 522s | 14 | 91841 | 74652 | 336791 0 | 12491 | 13575
1331.21/1331.64 c 524s | 14 | 92198 | 74952 | 336791 0 | 12491 | 13575
1333.61/1334.07 c 527s | 14 | 92564 | 75252 | 336791 0 | 12491 | 13575
1336.41/1336.80 c 529s | 14 | 92930 | 75552 | 336791 0 | 12491 | 13575
1338.71/1339.11 c 532s | 14 | 93294 | 75852 | 336791 0 | 12491 | 13575
1341.21/1341.69 c 534s | 14 | 93649 | 76152 | 336791 0 | 12491 | 13575
1344.21/1344.63 c 537s | 14 | 94012 | 76452 | 336791 0 | 12491 | 13575
1346.41/1346.81 c 539s | 14 | 94363 | 76752 | 336791 0 | 12491 | 13575
1349.41/1349.84 c 543s | 14 | 94719 | 77052 | 336791 0 | 12491 | 13575
1352.31/1352.76 c 545s | 14 | 95122 | 77352 | 336791 0 | 12491 | 13575
1355.21/1355.60 c 548s | 14 | 95476 | 77652 | 336791 0 | 12491 | 13575
1358.21/1358.68 c 551s | 14 | 95797 | 77952 | 336791 0 | 12491 | 13575
1360.20/1360.70 c 553s | 14 | 96018 | 78152 | 336791 0 | 12491 | 13575
1362.40/1362.86 c 556s | 14 | 96262 | 78352 | 336791 0 | 12491 | 13575
1364.51/1364.99 c 558s | 14 | 96517 | 78552 | 336791 0 | 12491 | 13575
1366.61/1367.06 c 560s | 14 | 96722 | 78752 | 336791 0 | 12491 | 13575
1368.71/1369.13 c 562s | 14 | 96976 | 78952 | 336791 0 | 12491 | 13575
1371.42/1371.87 c 565s | 14 | 97337 | 79252 | 336791 0 | 12491 | 13575
1374.21/1374.66 c 567s | 14 | 97702 | 79552 | 336791 0 | 12491 | 13575
1376.82/1377.30 c 570s | 14 | 98060 | 79852 | 336791 0 | 12491 | 13575
1379.61/1380.01 c 573s | 14 | 98401 | 80152 | 336791 0 | 12491 | 13575
1381.71/1382.19 c 575s | 14 | 98646 | 80352 | 336791 0 | 12491 | 13575
1384.31/1384.79 c 577s | 14 | 98988 | 80652 | 336791 0 | 12491 | 13575
1386.61/1387.07 c 580s | 14 | 99351 | 80952 | 336791 0 | 12491 | 13575
1388.91/1389.31 c 582s | 14 | 99700 | 81252 | 336791 0 | 12491 | 13575
1391.21/1391.66 c 584s | 14 | 100088 | 81552 | 336791 0 | 12491 | 13575
1393.51/1393.97 c 587s | 14 | 100467 | 81852 | 336791 0 | 12491 | 13575
1396.10/1396.52 c 589s | 14 | 100806 | 82152 | 336791 0 | 12491 | 13575
1398.91/1399.38 c 592s | 14 | 101170 | 82452 | 336791 0 | 12491 | 13575
1401.40/1401.83 c 594s | 14 | 101528 | 82752 | 336791 0 | 12491 | 13575
1403.90/1404.36 c 597s | 14 | 101876 | 83052 | 336791 0 | 12491 | 13575
1406.51/1406.96 c 600s | 14 | 102242 | 83352 | 336791 0 | 12491 | 13575
1408.71/1409.17 c 602s | 14 | 102610 | 83652 | 336791 0 | 12491 | 13575
1411.30/1411.73 c 604s | 14 | 102967 | 83952 | 336791 0 | 12491 | 13575
1413.90/1414.33 c 607s | 14 | 103317 | 84252 | 336791 0 | 12491 | 13575
1416.20/1416.66 c 609s | 14 | 103686 | 84552 | 336791 0 | 12491 | 13575
1418.40/1418.82 c 611s | 14 | 104061 | 84852 | 336791 0 | 12491 | 13575
1420.81/1421.29 c 614s | 14 | 104399 | 85152 | 336791 0 | 12491 | 13575
1423.11/1423.59 c 616s | 14 | 104728 | 85452 | 336791 0 | 12491 | 13575
1426.00/1426.43 c 619s | 14 | 105094 | 85752 | 336791 0 | 12491 | 13575
1428.10/1428.51 c 621s | 14 | 105342 | 85952 | 336791 0 | 12491 | 13575
1430.40/1430.85 c 624s | 14 | 105690 | 86252 | 336791 0 | 12491 | 13575
1432.70/1433.12 c 626s | 14 | 106058 | 86552 | 336791 0 | 12491 | 13575
1435.10/1435.56 c 628s | 14 | 106418 | 86852 | 336791 0 | 12491 | 13575
1437.60/1438.04 c 631s | 14 | 106808 | 87152 | 336791 0 | 12491 | 13575
1440.20/1440.62 c 633s | 14 | 107147 | 87452 | 336791 0 | 12491 | 13575
1441.59/1442.03 c 635s | 15 | 107365 | 87632 | 336791 0 | 12491 | 13575
1443.79/1444.21 c 637s | 15 | 107511 | 87732 | 336791 0 | 12491 | 13575
1445.79/1446.26 c 639s | 15 | 107749 | 87932 | 336791 0 | 12491 | 13575
1448.69/1449.17 c 642s | 15 | 108105 | 88232 | 336791 0 | 12491 | 13575
1451.49/1451.98 c 645s | 15 | 108469 | 88532 | 336791 0 | 12491 | 13575
1453.90/1454.38 c 647s | 15 | 108824 | 88832 | 336791 0 | 12491 | 13575
1456.39/1456.84 c 650s | 15 | 109185 | 89132 | 336791 0 | 12491 | 13575
1459.09/1459.55 c 652s | 15 | 109548 | 89432 | 336791 0 | 12491 | 13575
1461.69/1462.19 c 655s | 15 | 109865 | 89732 | 336791 0 | 12491 | 13575
1464.59/1465.05 c 658s | 15 | 110213 | 90032 | 336791 0 | 12491 | 13575
1467.00/1467.50 c 660s | 15 | 110572 | 90332 | 336791 0 | 12491 | 13575
1469.30/1469.79 c 662s | 15 | 110908 | 90632 | 336791 0 | 12491 | 13575
1471.50/1471.94 c 665s | 15 | 111239 | 90932 | 336791 0 | 12491 | 13575
1473.89/1474.38 c 667s | 15 | 111607 | 91232 | 336791 0 | 12491 | 13575
1476.29/1476.70 c 669s | 15 | 111954 | 91532 | 336791 0 | 12491 | 13575
1478.39/1478.83 c 671s | 15 | 112315 | 91832 | 336791 0 | 12491 | 13575
1480.49/1480.93 c 674s | 15 | 112658 | 92132 | 336791 0 | 12491 | 13575
1482.99/1483.49 c 676s | 15 | 113020 | 92432 | 336791 0 | 12491 | 13575
1485.49/1485.94 c 679s | 15 | 113413 | 92732 | 336791 0 | 12491 | 13575
1487.89/1488.33 c 681s | 15 | 113775 | 93032 | 336791 0 | 12491 | 13575
1490.39/1490.88 c 684s | 15 | 114153 | 93332 | 336791 0 | 12491 | 13575
1493.49/1493.91 c 687s | 15 | 114552 | 93632 | 336791 0 | 12491 | 13575
1496.09/1496.54 c 689s | 15 | 114962 | 93932 | 336791 0 | 12491 | 13575
1498.49/1498.98 c 692s | 15 | 115312 | 94232 | 336791 0 | 12491 | 13575
1500.99/1501.40 c 694s | 15 | 115667 | 94532 | 336791 0 | 12491 | 13575
1503.59/1504.07 c 697s | 15 | 116050 | 94832 | 336791 0 | 12491 | 13575
1506.39/1506.82 c 699s | 15 | 116407 | 95132 | 336791 0 | 12491 | 13575
1508.98/1509.41 c 702s | 15 | 116746 | 95432 | 336791 0 | 12491 | 13575
1511.78/1512.20 c 705s | 15 | 117110 | 95732 | 336791 0 | 12491 | 13575
1514.39/1514.85 c 708s | 15 | 117466 | 96032 | 336791 0 | 12491 | 13575
1516.88/1517.38 c 710s | 15 | 117826 | 96332 | 336791 0 | 12491 | 13575
1519.38/1519.84 c 713s | 15 | 118173 | 96632 | 336791 0 | 12491 | 13575
1521.88/1522.31 c 715s | 15 | 118528 | 96932 | 336791 0 | 12491 | 13575
1523.98/1524.41 c 717s | 15 | 118755 | 97132 | 336791 0 | 12491 | 13575
1526.78/1527.28 c 720s | 15 | 119101 | 97432 | 336791 0 | 12491 | 13575
1529.48/1529.99 c 723s | 15 | 119475 | 97732 | 336791 0 | 12491 | 13575
1532.48/1532.92 c 726s | 15 | 119844 | 98032 | 336791 0 | 12491 | 13575
1535.88/1536.31 c 729s | 15 | 120213 | 98332 | 336791 0 | 12491 | 13575
1538.68/1539.12 c 732s | 15 | 120586 | 98632 | 336791 0 | 12491 | 13575
1540.88/1541.37 c 734s | 15 | 120839 | 98832 | 336791 0 | 12491 | 13575
1543.28/1543.73 c 736s | 15 | 121204 | 99132 | 336791 0 | 12491 | 13575
1545.68/1546.10 c 739s | 15 | 121573 | 99432 | 336791 0 | 12491 | 13575
1547.88/1548.32 c 741s | 15 | 121929 | 99732 | 336791 0 | 12491 | 13575
1549.98/1550.43 c 743s | 15 | 122274 | 100032 | 336791 0 | 12491 | 13575
1552.38/1552.81 c 745s | 15 | 122625 | 100332 | 336791 0 | 12491 | 13575
1554.68/1555.15 c 748s | 15 | 122966 | 100632 | 336791 0 | 12491 | 13575
1557.58/1558.02 c 751s | 15 | 123303 | 100932 | 336791 0 | 12491 | 13575
1560.48/1560.99 c 754s | 15 | 123696 | 101232 | 336791 0 | 12491 | 13575
1563.17/1563.61 c 756s | 15 | 124065 | 101532 | 336791 0 | 12491 | 13575
1565.57/1566.05 c 759s | 15 | 124444 | 101832 | 336791 0 | 12491 | 13575
1568.07/1568.52 c 761s | 15 | 124821 | 102132 | 336791 0 | 12491 | 13575
1570.27/1570.73 c 763s | 15 | 125191 | 102432 | 336791 0 | 12491 | 13575
1572.97/1573.41 c 766s | 15 | 125576 | 102732 | 336791 0 | 12491 | 13575
1575.98/1576.49 c 769s | 15 | 125919 | 103032 | 336791 0 | 12491 | 13575
1578.27/1578.76 c 771s | 15 | 126175 | 103232 | 336791 0 | 12491 | 13575
1581.17/1581.65 c 774s | 15 | 126527 | 103532 | 336791 0 | 12491 | 13575
1584.07/1584.51 c 777s | 15 | 126871 | 103832 | 336791 0 | 12491 | 13575
1586.27/1586.73 c 779s | 15 | 127112 | 104032 | 336791 0 | 12491 | 13575
1588.28/1588.78 c 781s | 15 | 127349 | 104232 | 336791 0 | 12491 | 13575
1591.28/1591.74 c 784s | 15 | 127719 | 104532 | 336791 0 | 12491 | 13575
1593.48/1594.00 c 787s | 15 | 127971 | 104732 | 336791 0 | 12491 | 13575
1596.68/1597.12 c 790s | 15 | 128365 | 105032 | 336791 0 | 12491 | 13575
1598.78/1599.21 c 792s | 15 | 128601 | 105232 | 336791 0 | 12491 | 13575
1600.77/1601.23 c 794s | 15 | 128846 | 105432 | 336791 0 | 12491 | 13575
1603.27/1603.74 c 796s | 15 | 129052 | 105632 | 336791 0 | 12491 | 13575
1605.47/1605.99 c 799s | 15 | 129299 | 105832 | 336791 0 | 12491 | 13575
1608.27/1608.70 c 801s | 15 | 129647 | 106132 | 336791 0 | 12491 | 13575
1610.77/1611.29 c 804s | 15 | 129919 | 106332 | 336791 0 | 12491 | 13575
1613.17/1613.66 c 806s | 15 | 130134 | 106532 | 336791 0 | 12491 | 13575
1615.17/1615.69 c 808s | 15 | 130364 | 106732 | 336791 0 | 12491 | 13575
1617.78/1618.22 c 811s | 15 | 130610 | 106932 | 336791 0 | 12491 | 13575
1620.27/1620.73 c 813s | 15 | 130840 | 107132 | 336791 0 | 12491 | 13575
1622.67/1623.10 c 816s | 15 | 131083 | 107332 | 336791 0 | 12491 | 13575
1624.97/1625.44 c 818s | 15 | 131304 | 107532 | 336791 0 | 12491 | 13575
1628.17/1628.63 c 821s | 15 | 131664 | 107832 | 336791 0 | 12491 | 13575
1630.57/1631.02 c 824s | 15 | 131906 | 108032 | 336791 0 | 12491 | 13575
1632.67/1633.10 c 826s | 15 | 132148 | 108232 | 336791 0 | 12491 | 13575
1634.77/1635.25 c 828s | 15 | 132389 | 108432 | 336791 0 | 12491 | 13575
1637.17/1637.66 c 830s | 15 | 132766 | 108732 | 336791 0 | 12491 | 13575
1640.07/1640.55 c 833s | 15 | 133125 | 109032 | 336791 0 | 12491 | 13575
1642.67/1643.11 c 836s | 15 | 133370 | 109232 | 336791 0 | 12491 | 13575
1645.47/1645.92 c 839s | 15 | 133747 | 109532 | 336791 0 | 12491 | 13575
1648.37/1648.81 c 841s | 15 | 134144 | 109832 | 336791 0 | 12491 | 13575
1651.47/1651.94 c 845s | 15 | 134524 | 110132 | 336791 0 | 12491 | 13575
1653.67/1654.12 c 847s | 15 | 134783 | 110332 | 336791 0 | 12491 | 13575
1656.37/1656.88 c 850s | 15 | 135134 | 110632 | 336791 0 | 12491 | 13575
1658.47/1658.95 c 852s | 15 | 135385 | 110832 | 336791 0 | 12491 | 13575
1660.67/1661.19 c 854s | 15 | 135606 | 111032 | 336791 0 | 12491 | 13575
1663.66/1664.12 c 857s | 15 | 135975 | 111332 | 336791 0 | 12491 | 13575
1665.96/1666.40 c 859s | 15 | 136197 | 111532 | 336791 0 | 12491 | 13575
1668.37/1668.87 c 862s | 15 | 136451 | 111732 | 336791 0 | 12491 | 13575
1670.86/1671.39 c 864s | 15 | 136669 | 111932 | 336791 0 | 12491 | 13575
1673.96/1674.41 c 867s | 15 | 137004 | 112232 | 336791 0 | 12491 | 13575
1676.16/1676.66 c 869s | 15 | 137253 | 112432 | 336791 0 | 12491 | 13575
1678.27/1678.74 c 871s | 15 | 137480 | 112632 | 336791 0 | 12491 | 13575
1680.37/1680.87 c 874s | 15 | 137747 | 112832 | 336791 0 | 12491 | 13575
1682.67/1683.14 c 876s | 15 | 138012 | 113032 | 336791 0 | 12491 | 13575
1684.66/1685.15 c 878s | 15 | 138245 | 113232 | 336791 0 | 12491 | 13575
1686.76/1687.28 c 880s | 15 | 138485 | 113432 | 336791 0 | 12491 | 13575
1689.17/1689.61 c 882s | 15 | 138727 | 113632 | 336791 0 | 12491 | 13575
1691.96/1692.46 c 885s | 15 | 139118 | 113932 | 336791 0 | 12491 | 13575
1694.16/1694.62 c 887s | 15 | 139370 | 114132 | 336791 0 | 12491 | 13575
1696.36/1696.81 c 889s | 15 | 139619 | 114332 | 336791 0 | 12491 | 13575
1698.46/1698.97 c 892s | 15 | 139857 | 114532 | 336791 0 | 12491 | 13575
1701.16/1701.68 c 894s | 15 | 140217 | 114832 | 336791 0 | 12491 | 13575
1703.36/1703.86 c 897s | 15 | 140441 | 115032 | 336791 0 | 12491 | 13575
1705.56/1706.05 c 899s | 15 | 140687 | 115232 | 336791 0 | 12491 | 13575
1707.86/1708.37 c 901s | 15 | 140911 | 115432 | 336791 0 | 12491 | 13575
1710.26/1710.73 c 903s | 15 | 141143 | 115632 | 336791 0 | 12491 | 13575
1712.56/1713.09 c 906s | 15 | 141392 | 115832 | 336791 0 | 12491 | 13575
1715.46/1715.92 c 909s | 15 | 141751 | 116132 | 336791 0 | 12491 | 13575
1718.15/1718.65 c 911s | 15 | 142110 | 116432 | 336791 0 | 12491 | 13575
1720.25/1720.77 c 913s | 15 | 142378 | 116632 | 336791 0 | 12491 | 13575
1723.26/1723.73 c 916s | 15 | 142748 | 116932 | 336791 0 | 12491 | 13575
1726.35/1726.87 c 920s | 15 | 143113 | 117232 | 336791 0 | 12491 | 13575
1728.45/1728.95 c 922s | 15 | 143359 | 117432 | 336791 0 | 12491 | 13575
1731.15/1731.63 c 924s | 15 | 143605 | 117632 | 336791 0 | 12491 | 13575
1734.15/1734.63 c 927s | 15 | 143940 | 117932 | 336791 0 | 12491 | 13575
1737.05/1737.56 c 930s | 15 | 144330 | 118232 | 336791 0 | 12491 | 13575
1739.55/1740.05 c 933s | 15 | 144673 | 118532 | 370471 0 | 12491 | 13575
1741.96/1742.47 c 935s | 15 | 144903 | 118732 | 370471 0 | 12491 | 13575
1744.75/1745.23 c 938s | 15 | 145167 | 118932 | 370471 0 | 12491 | 13575
1747.35/1747.89 c 941s | 15 | 145416 | 119132 | 370471 0 | 12491 | 13575
1749.55/1750.05 c 943s | 15 | 145647 | 119332 | 370471 0 | 12491 | 13575
1752.25/1752.76 c 945s | 15 | 146025 | 119632 | 370471 0 | 12491 | 13575
1754.95/1755.48 c 948s | 15 | 146402 | 119932 | 370471 0 | 12491 | 13575
1757.15/1757.64 c 950s | 15 | 146640 | 120132 | 370471 0 | 12491 | 13575
1759.66/1760.14 c 953s | 15 | 146887 | 120332 | 370471 0 | 12491 | 13575
1762.35/1762.89 c 956s | 15 | 147218 | 120632 | 370471 0 | 12491 | 13575
1764.65/1765.11 c 958s | 15 | 147442 | 120832 | 370471 0 | 12491 | 13575
1767.55/1768.01 c 961s | 15 | 147803 | 121132 | 370471 0 | 12491 | 13575
1769.85/1770.31 c 963s | 15 | 148026 | 121332 | 370471 0 | 12491 | 13575
1772.85/1773.38 c 966s | 15 | 148357 | 121632 | 370471 0 | 12491 | 13575
1774.85/1775.39 c 968s | 15 | 148572 | 121832 | 370471 0 | 12491 | 13575
1777.35/1777.86 c 971s | 15 | 148811 | 122032 | 370471 0 | 12491 | 13575
1779.85/1780.35 c 973s | 15 | 149039 | 122232 | 370471 0 | 12491 | 13575
1782.25/1782.78 c 975s | 15 | 149265 | 122432 | 370471 0 | 12491 | 13575
1784.44/1784.96 c 978s | 15 | 149495 | 122632 | 370471 0 | 12491 | 13575
1787.44/1787.92 c 981s | 15 | 149861 | 122932 | 370471 0 | 12491 | 13575
1789.64/1790.16 c 983s | 15 | 150115 | 123132 | 370471 0 | 12491 | 13575
1792.55/1793.06 c 986s | 15 | 150458 | 123432 | 370471 0 | 12491 | 13575
1795.44/1795.92 c 989s | 15 | 150852 | 123732 | 370471 0 | 12491 | 13575
1797.44/1797.94 c 991s | 15 | 151091 | 123932 | 370471 0 | 12491 | 13575
1799.74/1800.26 c 993s | 15 | 151337 | 124132 | 370471 0 | 12491 | 13575
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-4079967-1465274826/watcher-4079967-1465274826 -o /tmp/evaluation-result-4079967-1465274826/solver-4079967-1465274826 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5582 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079967-1465274826.opb
pid=8409
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.08 2.03 3/179 8412
/proc/meminfo: memFree=30482608/32872528 swapFree=12744/274376
[pid=8412] ppid=8409 vsize=700860 CPUtime=0 cores=0,2,4,6
/proc/8412/stat : 8412 (toysat) R 8409 8412 5566 0 -1 4202496 2608 0 0 0 0 0 0 0 20 0 4 0 109417397 717680640 3480 33554432000 4194304 16246674 140735929613968 140735929613392 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8412/statm: 175727 3488 441 2943 0 172621 0
[pid=8412/tid=8413] ppid=8409 vsize=718268 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8413/stat : 8413 (toysat) S 8409 8412 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109417397 735506432 3546 33554432000 4194304 16246674 140735929613968 139842744724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8412/tid=8414] ppid=8409 vsize=722364 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8414/stat : 8414 (toysat) S 8409 8412 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109417397 739700736 3562 33554432000 4194304 16246674 140735929613968 139842658741488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8412/tid=8415] ppid=8409 vsize=726460 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8415/stat : 8415 (toysat) S 8409 8412 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109417397 743895040 3578 33554432000 4194304 16246674 140735929613968 139842648267952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[startup+0.100182 s]
/proc/loadavg: 2.04 2.08 2.03 3/179 8412
/proc/meminfo: memFree=30482608/32872528 swapFree=12744/274376
[pid=8412] ppid=8409 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/8412/stat : 8412 (toysat) R 8409 8412 5566 0 -1 4202496 26319 0 0 0 5 4 0 0 20 0 4 0 109417397 1333334016 27130 33554432000 4194304 16246674 140735929613968 140735929613280 8057278 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8412/statm: 325521 27145 799 2943 0 322415 0
[pid=8412/tid=8413] ppid=8409 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8413/stat : 8413 (toysat) S 8409 8412 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109417397 1333334016 27154 33554432000 4194304 16246674 140735929613968 139842744724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8412/tid=8414] ppid=8409 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8414/stat : 8414 (toysat) S 8409 8412 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109417397 1333334016 27165 33554432000 4194304 16246674 140735929613968 139842658741488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8412/tid=8415] ppid=8409 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8415/stat : 8415 (toysat) S 8409 8412 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109417397 1333334016 27177 33554432000 4194304 16246674 140735929613968 139842648267952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084
[startup+0.200515 s]
/proc/loadavg: 2.04 2.08 2.03 3/179 8412
/proc/meminfo: memFree=30482608/32872528 swapFree=12744/274376
[pid=8412] ppid=8409 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/8412/stat : 8412 (toysat) R 8409 8412 5566 0 -1 4202496 43790 0 0 0 13 6 0 0 20 0 4 0 109417397 1344868352 45111 33554432000 4194304 16246674 140735929613968 140735929613280 7364404 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8412/statm: 328337 45111 800 2943 0 325231 0
[pid=8412/tid=8413] ppid=8409 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8413/stat : 8413 (toysat) S 8409 8412 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109417397 1344868352 45111 33554432000 4194304 16246674 140735929613968 139842744724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8412/tid=8414] ppid=8409 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8414/stat : 8414 (toysat) S 8409 8412 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109417397 1344868352 45111 33554432000 4194304 16246674 140735929613968 139842658741488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8412/tid=8415] ppid=8409 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8415/stat : 8415 (toysat) S 8409 8412 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109417397 1344868352 45111 33554432000 4194304 16246674 140735929613968 139842648267952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348
[startup+0.30051 s]
/proc/loadavg: 2.04 2.08 2.03 3/179 8412
/proc/meminfo: memFree=30482608/32872528 swapFree=12744/274376
[pid=8412] ppid=8409 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/8412/stat : 8412 (toysat) R 8409 8412 5566 0 -1 4202496 60624 0 0 0 21 8 0 0 20 0 4 0 109417397 1344868352 61945 33554432000 4194304 16246674 140735929613968 140735929613280 7364580 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8412/statm: 328337 61945 800 2943 0 325231 0
[pid=8412/tid=8413] ppid=8409 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8413/stat : 8413 (toysat) S 8409 8412 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109417397 1344868352 61945 33554432000 4194304 16246674 140735929613968 139842744724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8412/tid=8414] ppid=8409 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8414/stat : 8414 (toysat) S 8409 8412 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109417397 1344868352 61945 33554432000 4194304 16246674 140735929613968 139842658741488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8412/tid=8415] ppid=8409 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8415/stat : 8415 (toysat) S 8409 8412 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109417397 1344868352 61945 33554432000 4194304 16246674 140735929613968 139842648267952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348
[startup+0.7004 s]
/proc/loadavg: 2.04 2.08 2.03 3/179 8412
/proc/meminfo: memFree=30482608/32872528 swapFree=12744/274376
[pid=8412] ppid=8409 vsize=1313348 CPUtime=0.68 cores=0,2,4,6
/proc/8412/stat : 8412 (toysat) R 8409 8412 5566 0 -1 4202496 65787 0 0 0 59 9 0 0 20 0 4 0 109417397 1344868352 67108 33554432000 4194304 16246674 140735929613968 140735929613280 7924992 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8412/statm: 328337 67108 801 2943 0 325231 0
[pid=8412/tid=8413] ppid=8409 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8413/stat : 8413 (toysat) S 8409 8412 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109417397 1344868352 67108 33554432000 4194304 16246674 140735929613968 139842744724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8412/tid=8414] ppid=8409 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8414/stat : 8414 (toysat) S 8409 8412 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109417397 1344868352 67108 33554432000 4194304 16246674 140735929613968 139842658741488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8412/tid=8415] ppid=8409 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8415/stat : 8415 (toysat) S 8409 8412 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109417397 1344868352 67108 33554432000 4194304 16246674 140735929613968 139842648267952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348
[startup+1.5004 s]
/proc/loadavg: 2.04 2.08 2.03 3/183 8416
/proc/meminfo: memFree=30192720/32872528 swapFree=12744/274376
[pid=8412] ppid=8409 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/8412/stat : 8412 (toysat) R 8409 8412 5566 0 -1 4202496 138303 0 0 0 129 20 0 0 20 0 4 0 109417397 1344868352 139624 33554432000 4194304 16246674 140735929613968 140735929596960 13759916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8412/statm: 328337 139632 837 2943 0 325231 0
[pid=8412/tid=8413] ppid=8409 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8413/stat : 8413 (toysat) S 8409 8412 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109417397 1344868352 139637 33554432000 4194304 16246674 140735929613968 139842744724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8412/tid=8414] ppid=8409 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8414/stat : 8414 (toysat) S 8409 8412 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109417397 1344868352 139643 33554432000 4194304 16246674 140735929613968 139842658741488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8412/tid=8415] ppid=8409 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8415/stat : 8415 (toysat) S 8409 8412 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109417397 1344868352 139647 33554432000 4194304 16246674 140735929613968 139842648267952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348
[startup+3.1004 s]
/proc/loadavg: 2.04 2.08 2.03 3/183 8416
/proc/meminfo: memFree=29776024/32872528 swapFree=12744/274376
[pid=8412] ppid=8409 vsize=1338948 CPUtime=3.08 cores=0,2,4,6
/proc/8412/stat : 8412 (toysat) R 8409 8412 5566 0 -1 4202496 275354 0 0 0 265 43 0 0 20 0 4 0 109417397 1371082752 276675 33554432000 4194304 16246674 140735929613968 140735929595840 4220807 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8412/statm: 334737 276675 839 2943 0 331631 0
[pid=8412/tid=8413] ppid=8409 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8413/stat : 8413 (toysat) S 8409 8412 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109417397 1371082752 276675 33554432000 4194304 16246674 140735929613968 139842744724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8412/tid=8414] ppid=8409 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8414/stat : 8414 (toysat) S 8409 8412 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109417397 1371082752 276675 33554432000 4194304 16246674 140735929613968 139842658741488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8412/tid=8415] ppid=8409 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8415/stat : 8415 (toysat) S 8409 8412 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109417397 1371082752 276675 33554432000 4194304 16246674 140735929613968 139842648267952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1338948
[startup+6.30042 s]
/proc/loadavg: 2.04 2.08 2.03 3/183 8465
/proc/meminfo: memFree=30021696/32872528 swapFree=12744/274376
[pid=8412] ppid=8409 vsize=1343044 CPUtime=6.29 cores=0,2,4,6
/proc/8412/stat : 8412 (toysat) R 8409 8412 5566 0 -1 4202496 276456 0 0 0 585 44 0 0 20 0 4 0 109417397 1375277056 277777 33554432000 4194304 16246674 140735929613968 140735929595840 12655190 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8412/statm: 335761 277777 913 2943 0 332655 0
[pid=8412/tid=8413] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8413/stat : 8413 (toysat) S 8409 8412 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277777 33554432000 4194304 16246674 140735929613968 139842744724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8412/tid=8414] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8414/stat : 8414 (toysat) S 8409 8412 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277777 33554432000 4194304 16246674 140735929613968 139842658741488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8412/tid=8415] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8415/stat : 8415 (toysat) S 8409 8412 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277777 33554432000 4194304 16246674 140735929613968 139842648267952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1343044
[startup+12.7004 s]
/proc/loadavg: 2.04 2.08 2.03 3/183 8514
/proc/meminfo: memFree=30242532/32872528 swapFree=12744/274376
[pid=8412] ppid=8409 vsize=1343044 CPUtime=12.69 cores=0,2,4,6
/proc/8412/stat : 8412 (toysat) R 8409 8412 5566 0 -1 4202496 276458 0 0 0 1225 44 0 0 20 0 4 0 109417397 1375277056 277779 33554432000 4194304 16246674 140735929613968 140735929595840 12654401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8412/statm: 335761 277779 915 2943 0 332655 0
[pid=8412/tid=8413] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8413/stat : 8413 (toysat) S 8409 8412 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277779 33554432000 4194304 16246674 140735929613968 139842744724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8412/tid=8414] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8414/stat : 8414 (toysat) S 8409 8412 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277779 33554432000 4194304 16246674 140735929613968 139842658741488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8412/tid=8415] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8415/stat : 8415 (toysat) S 8409 8412 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277779 33554432000 4194304 16246674 140735929613968 139842648267952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1343044
[startup+25.5005 s]
/proc/loadavg: 2.03 2.07 2.02 3/183 8514
/proc/meminfo: memFree=29368048/32872528 swapFree=12744/274376
[pid=8412] ppid=8409 vsize=1343044 CPUtime=25.49 cores=0,2,4,6
/proc/8412/stat : 8412 (toysat) R 8409 8412 5566 0 -1 4202496 276458 0 0 0 2505 44 0 0 20 0 4 0 109417397 1375277056 277779 33554432000 4194304 16246674 140735929613968 140735929613144 12653056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8412/statm: 335761 277779 915 2943 0 332655 0
[pid=8412/tid=8413] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8413/stat : 8413 (toysat) S 8409 8412 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277779 33554432000 4194304 16246674 140735929613968 139842744724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8412/tid=8414] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8414/stat : 8414 (toysat) S 8409 8412 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277779 33554432000 4194304 16246674 140735929613968 139842658741488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8412/tid=8415] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8415/stat : 8415 (toysat) S 8409 8412 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277779 33554432000 4194304 16246674 140735929613968 139842648267952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1343044
[startup+51.1005 s]
/proc/loadavg: 2.09 2.08 2.03 3/183 8514
/proc/meminfo: memFree=29368224/32872528 swapFree=12744/274376
[pid=8412] ppid=8409 vsize=1343044 CPUtime=51.08 cores=0,2,4,6
/proc/8412/stat : 8412 (toysat) R 8409 8412 5566 0 -1 4202496 276463 0 0 0 5064 44 0 0 20 0 4 0 109417397 1375277056 277779 33554432000 4194304 16246674 140735929613968 140735929596968 5828996 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8412/statm: 335761 277779 915 2943 0 332655 0
[pid=8412/tid=8413] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8413/stat : 8413 (toysat) S 8409 8412 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277779 33554432000 4194304 16246674 140735929613968 139842744724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8412/tid=8414] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8414/stat : 8414 (toysat) S 8409 8412 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277779 33554432000 4194304 16246674 140735929613968 139842658741488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8412/tid=8415] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8415/stat : 8415 (toysat) S 8409 8412 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277779 33554432000 4194304 16246674 140735929613968 139842648267952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1343044
[startup+102.3 s]
/proc/loadavg: 2.04 2.07 2.02 3/183 8515
/proc/meminfo: memFree=29367656/32872528 swapFree=12744/274376
[pid=8412] ppid=8409 vsize=1343044 CPUtime=102.27 cores=0,2,4,6
/proc/8412/stat : 8412 (toysat) R 8409 8412 5566 0 -1 4202496 276479 0 0 0 10182 45 0 0 20 0 4 0 109417397 1375277056 277779 33554432000 4194304 16246674 140735929613968 140735929595840 5823919 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8412/statm: 335761 277779 915 2943 0 332655 0
[pid=8412/tid=8413] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8413/stat : 8413 (toysat) S 8409 8412 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277779 33554432000 4194304 16246674 140735929613968 139842744724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8412/tid=8414] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8414/stat : 8414 (toysat) S 8409 8412 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277779 33554432000 4194304 16246674 140735929613968 139842658741488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8412/tid=8415] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8415/stat : 8415 (toysat) S 8409 8412 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277779 33554432000 4194304 16246674 140735929613968 139842648267952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1343044
################
# More data... #
################
/proc/8412/task/8415/stat : 8415 (toysat) S 8409 8412 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842648267952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1343044
[startup+1362.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 8569
/proc/meminfo: memFree=29364152/32872528 swapFree=12744/274376
[pid=8412] ppid=8409 vsize=1343044 CPUtime=1361.9 cores=0,2,4,6
/proc/8412/stat : 8412 (toysat) R 8409 8412 5566 0 -1 4202496 276778 0 0 0 136136 54 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 140735929595840 5675707 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8412/statm: 335761 277784 919 2943 0 332655 0
[pid=8412/tid=8413] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8413/stat : 8413 (toysat) S 8409 8412 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842744724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8412/tid=8414] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8414/stat : 8414 (toysat) S 8409 8412 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842658741488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8412/tid=8415] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8415/stat : 8415 (toysat) S 8409 8412 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842648267952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1343044
[startup+1422.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/184 8573
/proc/meminfo: memFree=29364400/32872528 swapFree=12744/274376
[pid=8412] ppid=8409 vsize=1343044 CPUtime=1421.91 cores=0,2,4,6
/proc/8412/stat : 8412 (toysat) R 8409 8412 5566 0 -1 4202496 276778 0 0 0 142136 55 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 140735929595840 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8412/statm: 335761 277784 919 2943 0 332655 0
[pid=8412/tid=8413] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8413/stat : 8413 (toysat) S 8409 8412 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842744724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8412/tid=8414] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8414/stat : 8414 (toysat) S 8409 8412 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842658741488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8412/tid=8415] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8415/stat : 8415 (toysat) S 8409 8412 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842648267952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1343044
[startup+1482.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/183 8575
/proc/meminfo: memFree=29364404/32872528 swapFree=12744/274376
[pid=8412] ppid=8409 vsize=1343044 CPUtime=1481.89 cores=0,2,4,6
/proc/8412/stat : 8412 (toysat) R 8409 8412 5566 0 -1 4202496 276778 0 0 0 148134 55 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 140735929595840 5677537 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8412/statm: 335761 277784 919 2943 0 332655 0
[pid=8412/tid=8413] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8413/stat : 8413 (toysat) S 8409 8412 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842744724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8412/tid=8414] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8414/stat : 8414 (toysat) S 8409 8412 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842658741488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8412/tid=8415] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8415/stat : 8415 (toysat) S 8409 8412 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842648267952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1343044
[startup+1542.31 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 8576
/proc/meminfo: memFree=29364412/32872528 swapFree=12744/274376
[pid=8412] ppid=8409 vsize=1343044 CPUtime=1541.88 cores=0,2,4,6
/proc/8412/stat : 8412 (toysat) R 8409 8412 5566 0 -1 4202496 276778 0 0 0 154133 55 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 140735929595840 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8412/statm: 335761 277784 919 2943 0 332655 0
[pid=8412/tid=8413] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8413/stat : 8413 (toysat) S 8409 8412 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842744724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8412/tid=8414] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8414/stat : 8414 (toysat) S 8409 8412 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842658741488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8412/tid=8415] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8415/stat : 8415 (toysat) S 8409 8412 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842648267952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1343044
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 8577
/proc/meminfo: memFree=29364536/32872528 swapFree=12744/274376
[pid=8412] ppid=8409 vsize=1343044 CPUtime=1601.87 cores=0,2,4,6
/proc/8412/stat : 8412 (toysat) R 8409 8412 5566 0 -1 4202496 276778 0 0 0 160131 56 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 140735929595840 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8412/statm: 335761 277784 919 2943 0 332655 0
[pid=8412/tid=8413] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8413/stat : 8413 (toysat) S 8409 8412 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842744724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8412/tid=8414] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8414/stat : 8414 (toysat) S 8409 8412 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842658741488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8412/tid=8415] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8415/stat : 8415 (toysat) S 8409 8412 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842648267952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1343044
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 8578
/proc/meminfo: memFree=29364432/32872528 swapFree=12744/274376
[pid=8412] ppid=8409 vsize=1343044 CPUtime=1661.87 cores=0,2,4,6
/proc/8412/stat : 8412 (toysat) R 8409 8412 5566 0 -1 4202496 276778 0 0 0 166131 56 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 140735929595840 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8412/statm: 335761 277784 919 2943 0 332655 0
[pid=8412/tid=8413] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8413/stat : 8413 (toysat) S 8409 8412 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842744724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8412/tid=8414] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8414/stat : 8414 (toysat) S 8409 8412 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842658741488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8412/tid=8415] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8415/stat : 8415 (toysat) S 8409 8412 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842648267952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1343044
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 8579
/proc/meminfo: memFree=29364328/32872528 swapFree=12744/274376
[pid=8412] ppid=8409 vsize=1343044 CPUtime=1721.85 cores=0,2,4,6
/proc/8412/stat : 8412 (toysat) R 8409 8412 5566 0 -1 4202496 276778 0 0 0 172129 56 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 140735929611776 13774516 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8412/statm: 335761 277784 919 2943 0 332655 0
[pid=8412/tid=8413] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8413/stat : 8413 (toysat) S 8409 8412 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842744724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8412/tid=8414] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8414/stat : 8414 (toysat) S 8409 8412 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842658741488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8412/tid=8415] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8415/stat : 8415 (toysat) S 8409 8412 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842648267952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1343044
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 8581
/proc/meminfo: memFree=29364288/32872528 swapFree=12744/274376
[pid=8412] ppid=8409 vsize=1343044 CPUtime=1781.85 cores=0,2,4,6
/proc/8412/stat : 8412 (toysat) R 8409 8412 5566 0 -1 4202496 276778 0 0 0 178129 56 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 140735929595840 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8412/statm: 335761 277784 919 2943 0 332655 0
[pid=8412/tid=8413] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8413/stat : 8413 (toysat) S 8409 8412 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842744724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8412/tid=8414] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8414/stat : 8414 (toysat) S 8409 8412 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842658741488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8412/tid=8415] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8415/stat : 8415 (toysat) S 8409 8412 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842648267952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1343044
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 8581
/proc/meminfo: memFree=29364168/32872528 swapFree=12744/274376
[pid=8412] ppid=8409 vsize=1343044 CPUtime=1800.04 cores=0,2,4,6
/proc/8412/stat : 8412 (toysat) R 8409 8412 5566 0 -1 4202496 276778 0 0 0 179948 56 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 140735929595840 5523307 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8412/statm: 335761 277784 919 2943 0 332655 0
[pid=8412/tid=8413] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8413/stat : 8413 (toysat) S 8409 8412 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842744724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8412/tid=8414] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8414/stat : 8414 (toysat) S 8409 8412 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842658741488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8412/tid=8415] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8415/stat : 8415 (toysat) S 8409 8412 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842648267952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1343044
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8412 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 8581
/proc/meminfo: memFree=29364168/32872528 swapFree=12744/274376
[pid=8412] ppid=8409 vsize=1343044 CPUtime=1800.04 cores=0,2,4,6
/proc/8412/stat : 8412 (toysat) R 8409 8412 5566 0 -1 4202496 276778 0 0 0 179948 56 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 140735929595840 5523307 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8412/statm: 335761 277784 919 2943 0 332655 0
[pid=8412/tid=8413] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8413/stat : 8413 (toysat) S 8409 8412 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842744724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8412/tid=8414] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8414/stat : 8414 (toysat) S 8409 8412 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842658741488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8412/tid=8415] ppid=8409 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/8412/task/8415/stat : 8415 (toysat) S 8409 8412 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109417397 1375277056 277784 33554432000 4194304 16246674 140735929613968 139842648267952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1343044
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.49
CPU system time (s): 0.563914
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 1343044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.563914
maximum resident set size= 1111136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276778
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= 347
involuntary context switches= 1833
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.33034 second user time and 7.33988 second system time
The end