0.00/0.00 c 2016-06-07T06:31:06+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-4079985-1465273865.opb"]
0.00/0.01 c use --random-gen="262199097 1480299304 2462649155 3110215170 2654993409 327653508 3143450051 4270138941 391749378 1674387989 2527325297 14847655 2430945292 4105315818 1704240533 3692192385 4161777584 1909058014 3513287218 2435885385 3111403222 1547906544 1718068351 2975985810 205947311 2968493163 2470188401 2962755962 1254268921 2029079115 3350121369 2373857588 2480514668 3488818935 861092688 1880528455 3793416491 911715046 1034570026 4287806027 3756263700 2275873420 3926944841 26274586 2185481150 3690765353 4205784687 1063590120 993878197 3994184238 1166063093 1743250886 4209694973 504966661 729473166 3673797601 3225628022 3051184811 4112722263 3093347030 1818312486 4098275391 2023540831 4111897518 1619519108 1445375040 1584645153 2988600303 880993443 4216236565 135781834 936108520 608477277 21474161 1171565686 2192786471 2125478832 58677570 1799425398 460853231 2507208697 1279132336 677417584 1330493296 3744262176 3236340221 1940173661 1647555743 4266821549 1888777737 2466998149 1419223363 2856013861 1229158495 3951420967 3004956086 4099245152 780540979 177361028 2765357796 512105132 1669913089 399906503 1598473574 348436321 1504909092 1277532664 1394455150 1528170071 3204384478 4198763837 2848716448 1048794807 2937497112 2940618942 2991790138 1592991722 3080697368 606491453 506484452 2593317166 2225506488 1428592229 1660575094 3163409875 1028414848 3512773690 1955089886 2509538157 1165015536 1256379696 597447825 3223547468 841299701 3522556224 2487163418 101017905 1225828450 800111385 778983345 976315547 4012222793 2577505314 3624538679 810843242 3091670182 224056836 173232074 1734317740 302570744 3191755890 719034399 4264829697 1682964663 2809421666 4069615220 2348163429 1615115552 1886787168 3276039334 1867647087 4279475541 2116507114 4115377088 1008854174 2511698084 582456376 1281664741 655581195 2094774339 1870003252 563425446 320731082 2955370720 1230380511 3510709931 1553675797 1354199127 609579294 2835825024 35743254 499583413 3373513593 661378255 1223189543 772740660 3637440164 2748963554 285677911 2244997995 1185448871 3992492206 747380016 1569317320 3777770043 346845735 938937847 3784405535 2251010196 284917402 1940135243 2476753411 400132388 4230721383 1261778420 2906659414 690092679 3453234089 39468195 4069174424 60642382 4086229473 98922591 1586742225 1043852503 4129285027 3575046708 1932707343 1236079748 2596354167 903977542 1720383321 611114830 1168870622 1914796666 3649814580 624457298 4180714260 623077262 3121637422 2012524394 3297581230 3434100641 740585562 663135264 1816733690 2795843529 3077748989 3343499045 3313214102 3321099093 20497514 1503924461 2094287423 2117429449 903587504 3344208480 985581611 2101349266 3759568820 2978377309 707861764 3710281493 1659489882 3741541838 4040298915 255 362436" option to reproduce the execution
1.29/1.33 c #vars 72842
1.29/1.33 c #constraints 234335
3.99/4.08 c BCD2: Hardening is enabled.
3.99/4.08 c BCD2: BiasedSearch is enabled.
3.99/4.08 c Solving starts ...
4.89/4.97 c ============================[ Search Statistics ]============================
4.89/4.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
4.89/4.97 c | | | | Limit GC | Var | Constra
4.89/4.97 c =============================================================================
4.89/4.97 c 0.0s | 0 | 0 | 0 | 89975 0 | 14683 | 0
4.89/4.97 c 0.3s | 0 | 121 | 0 | 89975 0 | 14683 | 17128
4.89/4.97 c #cpu_time = 0.226s
4.89/4.97 c #wall_clock_time = 0.227s
4.89/4.97 c #decision = 121
4.89/4.97 c #random_decision = 0
4.89/4.97 c #conflict = 0
4.89/4.97 c #restart = 0
4.89/4.97 o 300
4.89/4.97 c BCD2: hardening fixes 1 literals
4.89/4.97 c BCD2: updating upper bound: 45150 -> 299
4.89/4.97 c BCD2: 0 <= obj <= 299
4.89/4.97 c BCD2: #cores=0, #unrelaxed=299, #relaxed=0, #hardened=1
4.89/4.97 c BCD2: #sat=1 #unsat=1 bias=1/2
4.89/4.97 c Solving starts ...
4.89/4.97 c ============================[ Search Statistics ]============================
4.89/4.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
4.89/4.97 c | | | | Limit GC | Var | Constra
4.89/4.97 c =============================================================================
4.89/4.97 c 0.0s | 0 | 0 | 0 | 89975 0 | 14925 | 17128
4.89/4.97 c 0.2s | 0 | 214 | 2 | 89975 0 | 14925 | 17913
4.89/4.97 c #cpu_time = 0.212s
4.89/4.97 c #wall_clock_time = 0.213s
4.89/4.97 c #decision = 214
4.89/4.97 c #random_decision = 0
4.89/4.97 c #conflict = 2
4.89/4.97 c #restart = 0
4.89/4.97 c BCD2: found a new core of size 212: cost of the new core is >=88
4.89/4.97 c lower bound updated to 88
4.89/4.97 c BCD2: 88 <= obj <= 299
4.89/4.97 c BCD2: #cores=1, #unrelaxed=87, #relaxed=212, #hardened=1
4.89/4.97 c BCD2: #sat=1 #unsat=2 bias=2/3
6.39/6.44 c Solving starts ...
6.39/6.44 c ============================[ Search Statistics ]============================
6.39/6.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
6.39/6.44 c | | | | Limit GC | Var | Constra
6.39/6.44 c =============================================================================
6.39/6.44 c 0.0s | 0 | 0 | 0 | 89975 0 | 14925 | 17913
6.69/6.75 c 0.3s | 0 | 2 | 2 | 89975 0 | 14926 | 17914
6.69/6.75 c #cpu_time = 0.313s
6.69/6.75 c #wall_clock_time = 0.313s
6.69/6.75 c #decision = 2
6.69/6.75 c #random_decision = 0
6.69/6.75 c #conflict = 2
6.69/6.75 c #restart = 0
6.69/6.75 c BCD2: updating lower bound of a core
6.69/6.75 c lower bound updated to 89
6.69/6.75 c BCD2: 89 <= obj <= 299
6.69/6.75 c BCD2: #cores=1, #unrelaxed=87, #relaxed=212, #hardened=1
6.69/6.75 c BCD2: #sat=1 #unsat=3 bias=3/4
8.19/8.23 c Solving starts ...
8.19/8.23 c ============================[ Search Statistics ]============================
8.19/8.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
8.19/8.23 c | | | | Limit GC | Var | Constra
8.19/8.23 c =============================================================================
8.19/8.23 c 0.0s | 0 | 0 | 0 | 89975 0 | 14926 | 17914
8.49/8.58 c 0.3s | 0 | 37 | 26 | 89975 0 | 14927 | 17915
8.49/8.58 c #cpu_time = 0.342s
8.49/8.58 c #wall_clock_time = 0.343s
8.49/8.58 c #decision = 37
8.49/8.58 c #random_decision = 0
8.49/8.58 c #conflict = 26
8.49/8.58 c #restart = 0
8.49/8.58 c BCD2: updating lower bound of a core
8.49/8.58 c lower bound updated to 90
8.49/8.58 c BCD2: 90 <= obj <= 299
8.49/8.58 c BCD2: #cores=1, #unrelaxed=87, #relaxed=212, #hardened=1
8.49/8.58 c BCD2: #sat=1 #unsat=4 bias=4/5
9.99/10.05 c Solving starts ...
9.99/10.05 c ============================[ Search Statistics ]============================
9.99/10.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
9.99/10.05 c | | | | Limit GC | Var | Constra
9.99/10.05 c =============================================================================
9.99/10.05 c 0.0s | 0 | 0 | 0 | 89975 0 | 14927 | 17915
10.39/10.41 c 0.4s | 0 | 47 | 32 | 89975 0 | 14928 | 17916
10.39/10.41 c #cpu_time = 0.352s
10.39/10.41 c #wall_clock_time = 0.353s
10.39/10.41 c #decision = 47
10.39/10.41 c #random_decision = 0
10.39/10.41 c #conflict = 32
10.39/10.41 c #restart = 0
10.39/10.41 c BCD2: updating lower bound of a core
10.39/10.41 c lower bound updated to 91
10.39/10.41 c BCD2: 91 <= obj <= 299
10.39/10.41 c BCD2: #cores=1, #unrelaxed=87, #relaxed=212, #hardened=1
10.39/10.41 c BCD2: #sat=1 #unsat=5 bias=5/6
11.79/11.88 c Solving starts ...
11.79/11.88 c ============================[ Search Statistics ]============================
11.79/11.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
11.79/11.88 c | | | | Limit GC | Var | Constra
11.79/11.88 c =============================================================================
11.79/11.88 c 0.0s | 0 | 0 | 0 | 89975 0 | 14928 | 17916
12.19/12.26 c 0.4s | 0 | 76 | 54 | 98973 0 | 14929 | 17917
12.19/12.26 c #cpu_time = 0.379s
12.19/12.26 c #wall_clock_time = 0.380s
12.19/12.26 c #decision = 76
12.19/12.26 c #random_decision = 0
12.19/12.26 c #conflict = 54
12.19/12.26 c #restart = 0
12.19/12.26 c BCD2: updating lower bound of a core
12.19/12.26 c lower bound updated to 92
12.19/12.26 c BCD2: 92 <= obj <= 299
12.19/12.26 c BCD2: #cores=1, #unrelaxed=87, #relaxed=212, #hardened=1
12.19/12.26 c BCD2: #sat=1 #unsat=6 bias=6/7
13.68/13.70 c Solving starts ...
13.68/13.70 c ============================[ Search Statistics ]============================
13.68/13.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
13.68/13.70 c | | | | Limit GC | Var | Constra
13.68/13.70 c =============================================================================
13.68/13.70 c 0.0s | 0 | 0 | 0 | 98973 0 | 14929 | 17917
13.98/14.09 c 0.4s | 1 | 135 | 100 | 98973 0 | 14929 | 17917
14.48/14.52 c 0.8s | 1 | 251 | 185 | 108871 0 | 14930 | 17918
14.48/14.52 c #cpu_time = 0.815s
14.48/14.52 c #wall_clock_time = 0.817s
14.48/14.52 c #decision = 251
14.48/14.52 c #random_decision = 1
14.48/14.52 c #conflict = 185
14.48/14.52 c #restart = 1
14.48/14.52 c BCD2: updating lower bound of a core
14.48/14.52 c lower bound updated to 93
14.48/14.52 c BCD2: 93 <= obj <= 299
14.48/14.52 c BCD2: #cores=1, #unrelaxed=87, #relaxed=212, #hardened=1
14.48/14.52 c BCD2: #sat=1 #unsat=7 bias=7/8
15.88/15.94 c Solving starts ...
15.88/15.94 c ============================[ Search Statistics ]============================
15.88/15.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
15.88/15.94 c | | | | Limit GC | Var | Constra
15.88/15.94 c =============================================================================
15.88/15.94 c 0.0s | 0 | 0 | 0 | 108871 0 | 14930 | 17918
16.18/16.29 c 0.4s | 1 | 137 | 100 | 108871 0 | 14930 | 17918
16.68/16.71 c 0.8s | 2 | 349 | 250 | 119759 0 | 14930 | 17918
17.28/17.31 c 1.4s | 2 | 565 | 416 | 119759 0 | 14931 | 17919
17.28/17.31 c #cpu_time = 1.367s
17.28/17.31 c #wall_clock_time = 1.371s
17.28/17.31 c #decision = 565
17.28/17.31 c #random_decision = 0
17.28/17.31 c #conflict = 416
17.28/17.31 c #restart = 2
17.28/17.31 c BCD2: updating lower bound of a core
17.28/17.31 c lower bound updated to 94
17.28/17.31 c BCD2: 94 <= obj <= 299
17.28/17.31 c BCD2: #cores=1, #unrelaxed=87, #relaxed=212, #hardened=1
17.28/17.31 c BCD2: #sat=1 #unsat=8 bias=8/9
18.69/18.73 c Solving starts ...
18.69/18.73 c ============================[ Search Statistics ]============================
18.69/18.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
18.69/18.73 c | | | | Limit GC | Var | Constra
18.69/18.73 c =============================================================================
18.69/18.73 c 0.0s | 0 | 0 | 0 | 119759 0 | 14931 | 17919
18.98/19.09 c 0.4s | 1 | 147 | 100 | 131735 0 | 14931 | 17919
19.68/19.77 c 1.0s | 2 | 363 | 250 | 131735 0 | 15069 | 18350
20.28/20.36 c 1.6s | 3 | 656 | 475 | 131735 0 | 15069 | 18350
21.28/21.32 c 2.6s | 4 | 1108 | 813 | 144909 0 | 15231 | 18952
22.28/22.35 c 3.6s | 4 | 1441 | 1067 | 144909 0 | 15264 | 19041
22.28/22.35 c #cpu_time = 3.608s
22.28/22.35 c #wall_clock_time = 3.618s
22.28/22.35 c #decision = 1441
22.28/22.35 c #random_decision = 0
22.28/22.35 c #conflict = 1067
22.28/22.35 c #restart = 4
22.28/22.35 c BCD2: updating lower bound of a core
22.28/22.35 c lower bound updated to 95
22.28/22.35 c BCD2: 95 <= obj <= 299
22.28/22.35 c BCD2: #cores=1, #unrelaxed=87, #relaxed=212, #hardened=1
22.28/22.35 c BCD2: #sat=1 #unsat=9 bias=9/10
23.88/23.97 c Solving starts ...
23.88/23.97 c ============================[ Search Statistics ]============================
23.88/23.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
23.88/23.97 c | | | | Limit GC | Var | Constra
23.88/23.97 c =============================================================================
23.88/23.97 c 0.0s | 0 | 0 | 0 | 144909 0 | 15264 | 19041
24.29/24.35 c 0.4s | 1 | 136 | 100 | 144909 0 | 15264 | 19041
24.68/24.79 c 0.8s | 2 | 329 | 250 | 144909 0 | 15264 | 19041
25.29/25.31 c 1.3s | 3 | 607 | 475 | 159400 0 | 15264 | 19041
25.98/26.09 c 2.1s | 4 | 1047 | 813 | 159400 0 | 15264 | 19041
27.08/27.15 c 3.2s | 5 | 1727 | 1320 | 159400 0 | 15264 | 19041
28.98/29.06 c 5.1s | 6 | 2674 | 2081 | 175340 0 | 15266 | 19046
29.69/29.75 c 5.8s | 6 | 2901 | 2264 | 175340 0 | 15267 | 19047
29.69/29.75 c #cpu_time = 5.765s
29.69/29.75 c #wall_clock_time = 5.780s
29.69/29.75 c #decision = 2901
29.69/29.75 c #random_decision = 0
29.69/29.75 c #conflict = 2264
29.69/29.75 c #restart = 6
29.69/29.75 c BCD2: updating lower bound of a core
29.69/29.75 c lower bound updated to 96
29.69/29.75 c BCD2: 96 <= obj <= 299
29.69/29.75 c BCD2: #cores=1, #unrelaxed=87, #relaxed=212, #hardened=1
29.69/29.75 c BCD2: #sat=1 #unsat=10 bias=10/11
31.08/31.14 c Solving starts ...
31.08/31.14 c ============================[ Search Statistics ]============================
31.08/31.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
31.08/31.14 c | | | | Limit GC | Var | Constra
31.08/31.14 c =============================================================================
31.08/31.14 c 0.0s | 0 | 0 | 0 | 175340 0 | 15267 | 19047
31.48/31.52 c 0.4s | 1 | 187 | 100 | 175340 0 | 15267 | 19047
31.99/32.01 c 0.9s | 2 | 379 | 250 | 175340 0 | 15267 | 19047
32.58/32.68 c 1.5s | 3 | 681 | 475 | 175340 0 | 15267 | 19047
33.48/33.52 c 2.4s | 4 | 1071 | 813 | 175340 0 | 15267 | 19047
34.68/34.76 c 3.6s | 5 | 1735 | 1320 | 192875 0 | 15267 | 19047
36.78/36.81 c 5.7s | 6 | 2676 | 2081 | 192875 0 | 15269 | 19053
38.78/38.82 c 7.7s | 6 | 3690 | 2881 | 192875 0 | 15269 | 19053
39.59/39.63 c 8.5s | 7 | 4131 | 3223 | 192875 0 | 15269 | 19053
41.68/41.72 c 10.6s | 7 | 5329 | 4123 | 212163 0 | 15269 | 19053
43.38/43.41 c 12.3s | 8 | 6348 | 4936 | 212163 0 | 15269 | 19053
43.99/44.07 c 12.9s | 8 | 6499 | 5070 | 212163 0 | 15270 | 19054
43.99/44.07 c #cpu_time = 12.893s
43.99/44.07 c #wall_clock_time = 12.927s
43.99/44.07 c #decision = 6499
43.99/44.07 c #random_decision = 3
43.99/44.07 c #conflict = 5070
43.99/44.07 c #restart = 8
43.99/44.07 c BCD2: updating lower bound of a core
43.99/44.07 c lower bound updated to 97
43.99/44.07 c BCD2: 97 <= obj <= 299
43.99/44.07 c BCD2: #cores=1, #unrelaxed=87, #relaxed=212, #hardened=1
43.99/44.07 c BCD2: #sat=1 #unsat=11 bias=11/12
45.38/45.43 c Solving starts ...
45.38/45.43 c ============================[ Search Statistics ]============================
45.38/45.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
45.38/45.43 c | | | | Limit GC | Var | Constra
45.38/45.43 c =============================================================================
45.38/45.43 c 0.0s | 0 | 0 | 0 | 212163 0 | 15270 | 19054
45.78/45.84 c 0.4s | 1 | 176 | 100 | 212163 0 | 15270 | 19054
46.38/46.45 c 1.0s | 2 | 400 | 250 | 212163 0 | 15270 | 19054
47.18/47.22 c 1.8s | 3 | 711 | 475 | 212163 0 | 15270 | 19054
48.18/48.23 c 2.8s | 4 | 1152 | 813 | 212163 0 | 15270 | 19054
49.59/49.69 c 4.3s | 5 | 1806 | 1320 | 212163 0 | 15270 | 19054
51.48/51.58 c 6.1s | 6 | 2744 | 2081 | 212163 0 | 15270 | 19054
53.58/53.61 c 8.2s | 6 | 4012 | 2981 | 233380 0 | 15270 | 19054
53.98/54.03 c 8.6s | 7 | 4334 | 3223 | 233380 0 | 15270 | 19054
56.18/56.24 c 10.8s | 7 | 5468 | 4123 | 233380 0 | 15270 | 19054
58.08/58.17 c 12.7s | 8 | 6514 | 4936 | 233380 0 | 15270 | 19054
60.18/60.26 c 14.8s | 8 | 7336 | 5636 | 233380 0 | 15270 | 19054
62.18/62.28 c 16.8s | 8 | 8358 | 6436 | 233380 0 | 15270 | 19054
64.28/64.38 c 18.9s | 8 | 9461 | 7336 | 233380 0 | 15270 | 19054
64.68/64.78 c 19.4s | 9 | 9717 | 7506 | 233380 0 | 15270 | 19054
66.98/67.01 c 21.6s | 9 | 10722 | 8306 | 256719 0 | 15270 | 19054
68.98/69.02 c 23.6s | 9 | 11765 | 9106 | 256719 0 | 15270 | 19054
69.48/69.53 c 24.1s | 9 | 11911 | 9223 | 256719 0 | 15271 | 19055
69.48/69.53 c #cpu_time = 24.039s
69.48/69.53 c #wall_clock_time = 24.103s
69.48/69.53 c #decision = 11911
69.48/69.53 c #random_decision = 3
69.48/69.53 c #conflict = 9223
69.48/69.53 c #restart = 9
69.48/69.53 c BCD2: updating lower bound of a core
69.48/69.53 c lower bound updated to 98
69.48/69.54 c BCD2: 98 <= obj <= 299
69.48/69.54 c BCD2: #cores=1, #unrelaxed=87, #relaxed=212, #hardened=1
69.48/69.54 c BCD2: #sat=1 #unsat=12 bias=12/13
70.78/70.89 c Solving starts ...
70.78/70.89 c ============================[ Search Statistics ]============================
70.78/70.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
70.78/70.89 c | | | | Limit GC | Var | Constra
70.78/70.89 c =============================================================================
70.78/70.89 c 0.0s | 0 | 0 | 0 | 256719 0 | 15271 | 19055
71.28/71.38 c 0.5s | 1 | 157 | 100 | 256719 0 | 15271 | 19055
71.88/71.93 c 1.0s | 2 | 362 | 250 | 256719 0 | 15271 | 19055
72.68/72.75 c 1.9s | 3 | 668 | 475 | 256719 0 | 15271 | 19055
73.87/73.91 c 3.0s | 4 | 1088 | 813 | 256719 0 | 15271 | 19055
75.37/75.48 c 4.6s | 5 | 1733 | 1320 | 256719 0 | 15271 | 19055
77.47/77.53 c 6.6s | 5 | 2663 | 2020 | 256719 0 | 15271 | 19055
77.67/77.70 c 6.8s | 6 | 2732 | 2081 | 256719 0 | 15271 | 19055
79.67/79.75 c 8.9s | 6 | 3633 | 2781 | 256719 0 | 15271 | 19055
80.87/80.98 c 10.1s | 7 | 4168 | 3223 | 256719 0 | 15271 | 19055
83.07/83.18 c 12.3s | 7 | 5055 | 3923 | 256719 0 | 15271 | 19055
85.17/85.21 c 14.3s | 7 | 6077 | 4723 | 256719 0 | 15271 | 19055
85.78/85.85 c 15.0s | 8 | 6327 | 4936 | 256719 0 | 15271 | 19055
87.77/87.89 c 17.0s | 8 | 7446 | 5736 | 256719 0 | 15271 | 19055
90.19/90.22 c 19.3s | 8 | 8475 | 6536 | 256719 0 | 15271 | 19055
92.39/92.45 c 21.6s | 8 | 9459 | 7336 | 282391 0 | 15271 | 19055
92.98/93.01 c 22.1s | 9 | 9650 | 7506 | 282391 0 | 15271 | 19055
94.98/95.09 c 24.2s | 9 | 10614 | 8206 | 282391 0 | 15271 | 19055
97.08/97.19 c 26.3s | 9 | 11515 | 8906 | 282391 0 | 15271 | 19055
99.18/99.20 c 28.3s | 9 | 12427 | 9606 | 282391 0 | 15271 | 19055
101.38/101.47 c 30.6s | 9 | 13437 | 10406 | 282391 0 | 15271 | 19055
103.68/103.72 c 32.8s | 9 | 14514 | 11206 | 282391 0 | 15271 | 19055
104.08/104.15 c 33.3s | 10 | 14690 | 11361 | 282391 0 | 15271 | 19055
106.18/106.27 c 35.4s | 10 | 15460 | 11961 | 282391 0 | 15271 | 19055
108.48/108.56 c 37.7s | 10 | 16474 | 12761 | 282391 0 | 15271 | 19055
110.58/110.60 c 39.7s | 10 | 17315 | 13461 | 282391 0 | 15271 | 19055
112.58/112.65 c 41.8s | 10 | 18163 | 14161 | 282391 0 | 15271 | 19055
114.68/114.73 c 43.8s | 10 | 19066 | 14861 | 282391 0 | 15271 | 19055
116.88/116.96 c 46.1s | 10 | 19942 | 15561 | 282391 0 | 15271 | 19055
119.28/119.33 c 48.4s | 10 | 20812 | 16261 | 282391 0 | 15271 | 19055
121.28/121.38 c 50.5s | 10 | 21512 | 16861 | 282391 0 | 15271 | 19055
122.47/122.58 c 51.7s | 11 | 21864 | 17144 | 282391 0 | 15271 | 19055
124.77/124.88 c 54.0s | 11 | 22610 | 17744 | 282391 0 | 15271 | 19055
126.87/126.94 c 56.0s | 11 | 23352 | 18344 | 282391 0 | 15271 | 19055
128.87/128.95 c 58.1s | 11 | 24158 | 18944 | 282391 0 | 15271 | 19055
131.07/131.11 c 60.2s | 11 | 24855 | 19544 | 282391 0 | 15271 | 19055
132.77/132.87 c 62.0s | 11 | 25319 | 19944 | 282391 0 | 15272 | 19056
132.77/132.87 c #cpu_time = 61.820s
132.77/132.87 c #wall_clock_time = 61.982s
132.77/132.87 c #decision = 25319
132.77/132.87 c #random_decision = 17
132.77/132.87 c #conflict = 19944
132.77/132.87 c #restart = 11
132.77/132.87 c BCD2: updating lower bound of a core
132.77/132.87 c lower bound updated to 99
132.77/132.87 c BCD2: 99 <= obj <= 299
132.77/132.87 c BCD2: #cores=1, #unrelaxed=87, #relaxed=212, #hardened=1
132.77/132.87 c BCD2: #sat=1 #unsat=13 bias=13/14
134.18/134.23 c Solving starts ...
134.18/134.23 c ============================[ Search Statistics ]============================
134.18/134.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
134.18/134.23 c | | | | Limit GC | Var | Constra
134.18/134.23 c =============================================================================
134.18/134.23 c 0.0s | 0 | 0 | 0 | 282391 0 | 15272 | 19056
134.77/134.86 c 0.6s | 1 | 163 | 100 | 282391 0 | 15272 | 19056
135.67/135.73 c 1.5s | 2 | 360 | 250 | 282391 0 | 15272 | 19056
136.77/136.82 c 2.6s | 3 | 689 | 475 | 310631 0 | 15272 | 19056
137.97/138.06 c 3.8s | 4 | 1143 | 813 | 310631 0 | 15272 | 19056
139.78/139.82 c 5.6s | 5 | 1821 | 1320 | 310631 0 | 15272 | 19056
141.88/141.96 c 7.7s | 5 | 2616 | 1920 | 310631 0 | 15272 | 19056
142.47/142.54 c 8.3s | 6 | 2805 | 2081 | 310631 0 | 15272 | 19056
144.77/144.87 c 10.6s | 6 | 3570 | 2681 | 310631 0 | 15272 | 19056
146.87/146.91 c 12.7s | 7 | 4247 | 3223 | 310631 0 | 15272 | 19056
148.97/149.05 c 14.8s | 7 | 4878 | 3723 | 310631 0 | 15272 | 19056
151.07/151.10 c 16.9s | 7 | 5641 | 4323 | 310631 0 | 15272 | 19056
153.27/153.38 c 19.2s | 7 | 6363 | 4923 | 310631 0 | 15272 | 19056
153.37/153.44 c 19.2s | 8 | 6382 | 4936 | 310631 0 | 15272 | 19056
155.57/155.62 c 21.4s | 8 | 7058 | 5436 | 310631 0 | 15272 | 19056
157.67/157.73 c 23.5s | 8 | 8082 | 6236 | 310631 0 | 15272 | 19056
159.97/160.02 c 25.8s | 8 | 8995 | 6936 | 310631 0 | 15272 | 19056
162.07/162.10 c 27.9s | 9 | 9733 | 7506 | 310631 0 | 15272 | 19056
164.07/164.18 c 30.0s | 9 | 10364 | 8006 | 310631 0 | 15272 | 19056
166.26/166.33 c 32.1s | 9 | 11092 | 8606 | 310631 0 | 15272 | 19056
168.37/168.46 c 34.2s | 9 | 11883 | 9206 | 310631 0 | 15272 | 19056
170.36/170.49 c 36.3s | 9 | 12638 | 9806 | 310631 0 | 15272 | 19056
172.67/172.79 c 38.6s | 9 | 13419 | 10406 | 310631 0 | 15272 | 19056
174.76/174.81 c 40.6s | 9 | 14017 | 10906 | 310631 0 | 15272 | 19056
176.46/176.57 c 42.3s | 10 | 14584 | 11361 | 310631 0 | 15272 | 19056
178.56/178.62 c 44.4s | 10 | 15090 | 11761 | 310631 0 | 15272 | 19056
180.66/180.71 c 46.5s | 10 | 15817 | 12361 | 310631 0 | 15272 | 19056
182.86/182.98 c 48.7s | 10 | 16508 | 12961 | 310631 0 | 15272 | 19056
185.06/185.14 c 50.9s | 10 | 17214 | 13561 | 310631 0 | 15272 | 19056
187.07/187.16 c 52.9s | 10 | 17829 | 14061 | 310631 0 | 15272 | 19056
189.06/189.20 c 55.0s | 10 | 18435 | 14561 | 310631 0 | 15272 | 19056
191.37/191.50 c 57.3s | 10 | 19261 | 15261 | 310631 0 | 15272 | 19056
193.67/193.78 c 59.6s | 10 | 20134 | 15961 | 310631 0 | 15272 | 19056
195.87/195.95 c 61.7s | 10 | 20865 | 16561 | 310631 0 | 15272 | 19056
197.66/197.72 c 63.5s | 11 | 21615 | 17144 | 310631 0 | 15272 | 19056
199.76/199.84 c 65.6s | 11 | 22236 | 17644 | 310631 0 | 15272 | 19056
201.96/202.04 c 67.8s | 11 | 22954 | 18244 | 310631 0 | 15272 | 19056
204.16/204.28 c 70.1s | 11 | 23675 | 18844 | 310631 0 | 15272 | 19056
206.46/206.53 c 72.3s | 11 | 24449 | 19444 | 310631 0 | 15272 | 19056
209.07/209.13 c 74.9s | 11 | 25186 | 20044 | 341695 0 | 15272 | 19056
211.46/211.51 c 77.3s | 11 | 26048 | 20744 | 341695 0 | 15272 | 19056
213.66/213.79 c 79.6s | 11 | 26647 | 21244 | 341695 0 | 15272 | 19056
215.76/215.87 c 81.6s | 11 | 27228 | 21744 | 341695 0 | 15272 | 19056
218.26/218.30 c 84.1s | 11 | 27927 | 22344 | 341695 0 | 15272 | 19056
220.26/220.32 c 86.1s | 11 | 28395 | 22744 | 341695 0 | 15272 | 19056
222.56/222.61 c 88.4s | 11 | 29079 | 23344 | 341695 0 | 15272 | 19056
224.65/224.74 c 90.5s | 11 | 29715 | 23844 | 341695 0 | 15272 | 19056
226.75/226.85 c 92.6s | 11 | 30325 | 24344 | 341695 0 | 15272 | 19056
228.95/229.06 c 94.8s | 11 | 30902 | 24844 | 341695 0 | 15272 | 19056
231.15/231.25 c 97.0s | 11 | 31540 | 25344 | 341695 0 | 15272 | 19056
233.05/233.20 c 99.0s | 12 | 32174 | 25819 | 341695 0 | 15272 | 19056
235.25/235.34 c 101s | 12 | 32709 | 26219 | 341695 0 | 15272 | 19056
237.45/237.52 c 103s | 12 | 33316 | 26719 | 341695 0 | 15272 | 19056
239.76/239.87 c 105s | 12 | 34052 | 27319 | 341695 0 | 15272 | 19056
242.06/242.11 c 107s | 12 | 34676 | 27819 | 341695 0 | 15272 | 19056
244.16/244.25 c 110s | 12 | 35295 | 28319 | 341695 0 | 15272 | 19056
246.46/246.52 c 112s | 12 | 35887 | 28819 | 341695 0 | 15272 | 19056
248.45/248.53 c 114s | 12 | 36482 | 29319 | 341695 0 | 15272 | 19056
250.86/250.91 c 116s | 12 | 37229 | 29919 | 341695 0 | 15272 | 19056
253.15/253.27 c 119s | 12 | 37862 | 30419 | 341695 0 | 15272 | 19056
255.65/255.75 c 121s | 12 | 38596 | 31019 | 341695 0 | 15272 | 19056
257.95/258.08 c 123s | 12 | 39198 | 31519 | 341695 0 | 15272 | 19056
260.35/260.42 c 126s | 12 | 39801 | 32019 | 341695 0 | 15272 | 19056
262.55/262.61 c 128s | 12 | 40410 | 32519 | 341695 0 | 15272 | 19056
264.65/264.71 c 130s | 12 | 40996 | 33019 | 341695 0 | 15272 | 19056
266.85/266.92 c 132s | 12 | 41587 | 33519 | 341695 0 | 15272 | 19056
269.15/269.25 c 135s | 12 | 42317 | 34119 | 341695 0 | 15272 | 19056
271.35/271.43 c 137s | 12 | 43031 | 34719 | 341695 0 | 15272 | 19056
273.75/273.83 c 139s | 12 | 43758 | 35319 | 341695 0 | 15272 | 19056
275.85/275.93 c 141s | 12 | 44353 | 35819 | 341695 0 | 15272 | 19056
278.25/278.31 c 144s | 12 | 45074 | 36419 | 341695 0 | 15272 | 19056
280.25/280.37 c 146s | 12 | 45681 | 36919 | 341695 0 | 15272 | 19056
282.55/282.67 c 148s | 12 | 46401 | 37519 | 341695 0 | 15272 | 19056
284.64/284.76 c 150s | 12 | 47007 | 38019 | 341695 0 | 15272 | 19056
287.05/287.14 c 152s | 12 | 47623 | 38519 | 341695 0 | 15272 | 19056
288.74/288.87 c 154s | 13 | 48025 | 38832 | 341695 0 | 15272 | 19056
290.84/290.99 c 156s | 13 | 48416 | 39132 | 341695 0 | 15272 | 19056
293.24/293.39 c 159s | 13 | 48892 | 39532 | 341695 0 | 15272 | 19056
294.85/294.93 c 160s | 13 | 49142 | 39754 | 341695 0 | 15273 | 19057
294.85/294.93 c #cpu_time = 160.283s
294.85/294.93 c #wall_clock_time = 160.704s
294.85/294.93 c #decision = 49142
294.85/294.93 c #random_decision = 31
294.85/294.93 c #conflict = 39754
294.85/294.93 c #restart = 13
294.85/294.93 c BCD2: updating lower bound of a core
294.85/294.93 c lower bound updated to 100
294.85/294.93 c BCD2: 100 <= obj <= 299
294.85/294.93 c BCD2: #cores=1, #unrelaxed=87, #relaxed=212, #hardened=1
294.85/294.93 c BCD2: #sat=1 #unsat=14 bias=14/15
296.14/296.26 c Solving starts ...
296.14/296.26 c ============================[ Search Statistics ]============================
296.14/296.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
296.14/296.26 c | | | | Limit GC | Var | Constra
296.14/296.26 c =============================================================================
296.14/296.26 c 0.0s | 0 | 0 | 0 | 341695 0 | 15273 | 19057
297.24/297.34 c 1.1s | 1 | 145 | 100 | 341695 0 | 15273 | 19057
298.44/298.59 c 2.3s | 2 | 340 | 250 | 341695 0 | 15273 | 19057
300.04/300.13 c 3.9s | 3 | 672 | 475 | 341695 0 | 15273 | 19057
302.04/302.11 c 5.9s | 4 | 1079 | 813 | 341695 0 | 15273 | 19057
304.04/304.19 c 7.9s | 4 | 1563 | 1213 | 341695 0 | 15273 | 19057
304.54/304.67 c 8.4s | 5 | 1701 | 1320 | 341695 0 | 15273 | 19057
306.95/307.02 c 10.8s | 5 | 2204 | 1720 | 341695 0 | 15273 | 19057
308.34/308.45 c 12.2s | 6 | 2635 | 2081 | 341695 0 | 15273 | 19057
310.64/310.76 c 14.5s | 6 | 3153 | 2481 | 341695 0 | 15273 | 19057
313.14/313.22 c 17.0s | 6 | 3770 | 2981 | 341695 0 | 15273 | 19057
314.14/314.25 c 18.0s | 7 | 4044 | 3223 | 341695 0 | 15273 | 19057
316.14/316.27 c 20.0s | 7 | 4550 | 3623 | 341695 0 | 15273 | 19057
318.24/318.37 c 22.1s | 7 | 5102 | 4123 | 341695 0 | 15273 | 19057
320.44/320.58 c 24.3s | 7 | 5683 | 4623 | 341695 0 | 15273 | 19057
322.04/322.16 c 25.9s | 8 | 6041 | 4936 | 341695 0 | 15273 | 19057
324.04/324.19 c 27.9s | 8 | 6429 | 5236 | 341695 0 | 15273 | 19057
326.24/326.33 c 30.1s | 8 | 6877 | 5636 | 341695 0 | 15273 | 19057
328.34/328.47 c 32.2s | 8 | 7484 | 6136 | 341695 0 | 15273 | 19057
330.84/330.91 c 34.7s | 8 | 8074 | 6636 | 341695 0 | 15273 | 19057
332.94/333.08 c 36.8s | 8 | 8689 | 7136 | 341695 0 | 15273 | 19057
334.84/334.91 c 38.6s | 9 | 9183 | 7506 | 341695 0 | 15273 | 19057
336.83/336.92 c 40.7s | 9 | 9582 | 7806 | 341695 0 | 15273 | 19057
339.23/339.34 c 43.1s | 9 | 10187 | 8306 | 341695 0 | 15273 | 19057
341.53/341.69 c 45.4s | 9 | 10817 | 8806 | 341695 0 | 15273 | 19057
343.83/343.96 c 47.7s | 9 | 11441 | 9306 | 375865 0 | 15273 | 19057
346.23/346.38 c 50.1s | 9 | 12054 | 9806 | 375865 0 | 15273 | 19057
348.74/348.86 c 52.6s | 9 | 12667 | 10306 | 375865 0 | 15273 | 19057
351.23/351.35 c 55.1s | 9 | 13315 | 10806 | 375865 0 | 15273 | 19057
353.33/353.45 c 57.2s | 9 | 13943 | 11306 | 375865 0 | 15273 | 19057
353.53/353.63 c 57.4s | 10 | 13997 | 11361 | 375865 0 | 15273 | 19057
356.14/356.20 c 59.9s | 10 | 14532 | 11761 | 375865 0 | 15273 | 19057
358.34/358.40 c 62.1s | 10 | 15165 | 12261 | 375865 0 | 15273 | 19057
360.44/360.58 c 64.3s | 10 | 15752 | 12761 | 375865 0 | 15273 | 19057
362.84/362.93 c 66.7s | 10 | 16353 | 13261 | 375865 0 | 15273 | 19057
364.84/364.93 c 68.7s | 10 | 16810 | 13661 | 375865 0 | 15273 | 19057
366.94/367.06 c 70.8s | 10 | 17282 | 14061 | 375865 0 | 15273 | 19057
369.24/369.40 c 73.1s | 10 | 17853 | 14561 | 375865 0 | 15273 | 19057
371.44/371.53 c 75.3s | 10 | 18325 | 14961 | 375865 0 | 15273 | 19057
373.44/373.58 c 77.3s | 10 | 18804 | 15361 | 375865 0 | 15273 | 19057
375.84/375.91 c 79.6s | 10 | 19284 | 15761 | 375865 0 | 15273 | 19057
377.84/377.95 c 81.7s | 10 | 19758 | 16161 | 375865 0 | 15273 | 19057
380.24/380.35 c 84.1s | 10 | 20331 | 16661 | 375865 0 | 15273 | 19057
382.54/382.63 c 86.4s | 11 | 20969 | 17144 | 375865 0 | 15273 | 19057
384.64/384.72 c 88.5s | 11 | 21376 | 17444 | 375865 0 | 15273 | 19057
386.84/386.93 c 90.7s | 11 | 22017 | 17944 | 375865 0 | 15273 | 19057
388.94/389.07 c 92.8s | 11 | 22528 | 18344 | 375865 0 | 15273 | 19057
391.14/391.20 c 94.9s | 11 | 23286 | 18944 | 375865 0 | 15273 | 19057
393.54/393.60 c 97.3s | 11 | 23925 | 19444 | 375865 0 | 15273 | 19057
395.53/395.67 c 99.4s | 11 | 24408 | 19844 | 375865 0 | 15273 | 19057
397.93/398.07 c 101s | 11 | 25048 | 20344 | 375865 0 | 15273 | 19057
400.23/400.37 c 104s | 11 | 25650 | 20844 | 375865 0 | 15273 | 19057
402.64/402.79 c 106s | 11 | 26287 | 21344 | 375865 0 | 15273 | 19057
404.93/405.05 c 108s | 11 | 26749 | 21744 | 375865 0 | 15273 | 19057
407.13/407.20 c 110s | 11 | 27232 | 22144 | 375865 0 | 15273 | 19057
409.24/409.36 c 113s | 11 | 27721 | 22544 | 375865 0 | 15273 | 19057
411.44/411.51 c 115s | 11 | 28199 | 22944 | 375865 0 | 15273 | 19057
413.73/413.87 c 117s | 11 | 28799 | 23444 | 375865 0 | 15273 | 19057
416.03/416.12 c 119s | 11 | 29264 | 23844 | 375865 0 | 15273 | 19057
418.23/418.32 c 122s | 11 | 29791 | 24244 | 375865 0 | 15273 | 19057
420.33/420.49 c 124s | 11 | 30283 | 24644 | 375865 0 | 15273 | 19057
422.83/422.98 c 126s | 11 | 30878 | 25144 | 375865 0 | 15273 | 19057
425.03/425.12 c 128s | 11 | 31371 | 25544 | 375865 0 | 15273 | 19057
426.53/426.64 c 130s | 12 | 31732 | 25819 | 375865 0 | 15273 | 19057
428.83/428.96 c 132s | 12 | 32131 | 26119 | 375865 0 | 15273 | 19057
431.33/431.49 c 135s | 12 | 32621 | 26519 | 375865 0 | 15273 | 19057
433.63/433.75 c 137s | 12 | 33105 | 26919 | 375865 0 | 15273 | 19057
435.93/436.05 c 139s | 12 | 33616 | 27319 | 375865 0 | 15273 | 19057
438.23/438.39 c 142s | 12 | 34099 | 27719 | 375865 0 | 15273 | 19057
440.43/440.52 c 144s | 12 | 34569 | 28119 | 375865 0 | 15273 | 19057
443.03/443.16 c 146s | 12 | 35031 | 28519 | 375865 0 | 15273 | 19057
445.13/445.26 c 149s | 12 | 35571 | 28919 | 375865 0 | 15273 | 19057
447.23/447.31 c 151s | 12 | 36050 | 29319 | 375865 0 | 15273 | 19057
449.63/449.76 c 153s | 12 | 36543 | 29719 | 375865 0 | 15273 | 19057
452.03/452.18 c 155s | 12 | 37175 | 30219 | 375865 0 | 15273 | 19057
454.42/454.50 c 158s | 12 | 37813 | 30719 | 375865 0 | 15273 | 19057
456.72/456.90 c 160s | 12 | 38447 | 31219 | 375865 0 | 15273 | 19057
458.82/458.94 c 162s | 12 | 38945 | 31619 | 375865 0 | 15273 | 19057
460.93/461.06 c 164s | 12 | 39408 | 32019 | 375865 0 | 15273 | 19057
463.42/463.59 c 167s | 12 | 39905 | 32419 | 375865 0 | 15273 | 19057
466.02/466.12 c 169s | 12 | 40380 | 32819 | 375865 0 | 15273 | 19057
468.32/468.43 c 172s | 12 | 40873 | 33219 | 375865 0 | 15273 | 19057
470.83/470.97 c 174s | 12 | 41347 | 33619 | 375865 0 | 15273 | 19057
473.32/473.43 c 177s | 12 | 41836 | 34019 | 375865 0 | 15273 | 19057
475.52/475.67 c 179s | 12 | 42365 | 34419 | 375865 0 | 15273 | 19057
477.82/477.99 c 181s | 12 | 42908 | 34819 | 375865 0 | 15273 | 19057
480.22/480.34 c 184s | 12 | 43402 | 35219 | 375865 0 | 15273 | 19057
482.72/482.90 c 186s | 12 | 43928 | 35619 | 375865 0 | 15273 | 19057
484.92/485.06 c 188s | 12 | 44436 | 36019 | 375865 0 | 15273 | 19057
487.23/487.35 c 191s | 12 | 44914 | 36419 | 375865 0 | 15273 | 19057
489.32/489.43 c 193s | 12 | 45393 | 36819 | 375865 0 | 15273 | 19057
491.32/491.44 c 195s | 12 | 45842 | 37219 | 375865 0 | 15273 | 19057
493.72/493.88 c 197s | 12 | 46439 | 37719 | 375865 0 | 15273 | 19057
496.22/496.33 c 200s | 12 | 47029 | 38219 | 375865 0 | 15273 | 19057
498.42/498.51 c 202s | 12 | 47514 | 38619 | 375865 0 | 15273 | 19057
499.52/499.62 c 203s | 13 | 47766 | 38832 | 375865 0 | 15273 | 19057
501.82/501.99 c 205s | 13 | 48159 | 39132 | 375865 0 | 15273 | 19057
504.22/504.31 c 208s | 13 | 48636 | 39532 | 375865 0 | 15273 | 19057
506.62/506.77 c 210s | 13 | 49076 | 39932 | 375865 0 | 15273 | 19057
509.12/509.24 c 212s | 13 | 49550 | 40332 | 375865 0 | 15273 | 19057
511.42/511.55 c 215s | 13 | 50027 | 40732 | 375865 0 | 15273 | 19057
513.72/513.81 c 217s | 13 | 50553 | 41132 | 375865 0 | 15273 | 19057
516.11/516.23 c 219s | 13 | 51031 | 41532 | 375865 0 | 15273 | 19057
518.41/518.54 c 222s | 13 | 51521 | 41932 | 375865 0 | 15273 | 19057
521.11/521.20 c 224s | 13 | 51999 | 42332 | 375865 0 | 15273 | 19057
523.71/523.83 c 227s | 13 | 52526 | 42732 | 375865 0 | 15273 | 19057
526.11/526.28 c 230s | 13 | 53002 | 43132 | 375865 0 | 15273 | 19057
528.51/528.60 c 232s | 13 | 53480 | 43532 | 375865 0 | 15273 | 19057
530.61/530.74 c 234s | 13 | 53815 | 43832 | 375865 0 | 15273 | 19057
532.71/532.88 c 236s | 13 | 54181 | 44132 | 375865 0 | 15273 | 19057
535.51/535.65 c 239s | 13 | 54641 | 44532 | 375865 0 | 15273 | 19057
537.51/537.69 c 241s | 13 | 54999 | 44832 | 375865 0 | 15273 | 19057
539.91/540.07 c 243s | 13 | 55483 | 45232 | 375865 0 | 15273 | 19057
541.91/542.07 c 245s | 13 | 55821 | 45532 | 375865 0 | 15273 | 19057
543.91/544.08 c 247s | 13 | 56184 | 45832 | 375865 0 | 15273 | 19057
546.51/546.62 c 250s | 13 | 56656 | 46232 | 375865 0 | 15273 | 19057
549.21/549.36 c 253s | 13 | 57117 | 46632 | 375865 0 | 15273 | 19057
551.41/551.54 c 255s | 13 | 57486 | 46932 | 375865 0 | 15273 | 19057
553.41/553.59 c 257s | 13 | 57811 | 47232 | 375865 0 | 15273 | 19057
555.61/555.70 c 259s | 13 | 58150 | 47532 | 375865 0 | 15273 | 19057
557.62/557.74 c 261s | 13 | 58510 | 47832 | 375865 0 | 15273 | 19057
560.01/560.11 c 263s | 13 | 58944 | 48232 | 375865 0 | 15273 | 19057
562.41/562.55 c 266s | 13 | 59437 | 48632 | 375865 0 | 15273 | 19057
564.91/565.03 c 268s | 13 | 59906 | 49032 | 375865 0 | 15273 | 19057
566.91/567.09 c 270s | 13 | 60269 | 49332 | 375865 0 | 15273 | 19057
569.41/569.52 c 273s | 13 | 60734 | 49732 | 375865 0 | 15273 | 19057
571.71/571.87 c 275s | 13 | 61217 | 50132 | 375865 0 | 15273 | 19057
574.00/574.16 c 277s | 13 | 61716 | 50532 | 375865 0 | 15273 | 19057
576.10/576.20 c 279s | 13 | 62208 | 50932 | 375865 0 | 15273 | 19057
578.40/578.53 c 282s | 13 | 62684 | 51332 | 375865 0 | 15273 | 19057
580.71/580.81 c 284s | 13 | 63151 | 51732 | 375865 0 | 15273 | 19057
582.70/582.85 c 286s | 13 | 63498 | 52032 | 375865 0 | 15273 | 19057
585.30/585.44 c 289s | 13 | 63982 | 52432 | 375865 0 | 15273 | 19057
587.90/588.05 c 291s | 13 | 64449 | 52832 | 413452 0 | 15273 | 19057
590.40/590.53 c 294s | 13 | 64909 | 53232 | 413452 0 | 15273 | 19057
592.40/592.58 c 296s | 13 | 65414 | 53632 | 413452 0 | 15273 | 19057
594.90/595.05 c 298s | 13 | 65879 | 54032 | 413452 0 | 15273 | 19057
597.00/597.16 c 300s | 13 | 66217 | 54332 | 413452 0 | 15273 | 19057
599.10/599.23 c 302s | 13 | 66582 | 54632 | 413452 0 | 15273 | 19057
601.40/601.54 c 305s | 13 | 66937 | 54932 | 413452 0 | 15273 | 19057
603.60/603.77 c 307s | 13 | 67277 | 55232 | 413452 0 | 15273 | 19057
605.70/605.81 c 309s | 13 | 67630 | 55532 | 413452 0 | 15273 | 19057
608.00/608.10 c 311s | 13 | 67971 | 55832 | 413452 0 | 15273 | 19057
610.41/610.52 c 314s | 13 | 68310 | 56132 | 413452 0 | 15273 | 19057
612.80/612.93 c 316s | 13 | 68786 | 56532 | 413452 0 | 15273 | 19057
615.40/615.54 c 319s | 13 | 69269 | 56932 | 413452 0 | 15273 | 19057
617.60/617.73 c 321s | 13 | 69629 | 57232 | 413452 0 | 15273 | 19057
619.70/619.80 c 323s | 13 | 70001 | 57532 | 413452 0 | 15273 | 19057
622.20/622.31 c 326s | 13 | 70342 | 57832 | 413452 0 | 15273 | 19057
624.60/624.71 c 328s | 13 | 70706 | 58132 | 413452 0 | 15273 | 19057
626.40/626.53 c 330s | 14 | 70955 | 58352 | 413452 0 | 15273 | 19057
628.80/628.90 c 332s | 14 | 71201 | 58552 | 413452 0 | 15273 | 19057
630.80/630.98 c 334s | 14 | 71538 | 58852 | 413452 0 | 15273 | 19057
633.20/633.35 c 337s | 14 | 71888 | 59152 | 413452 0 | 15273 | 19057
635.60/635.70 c 339s | 14 | 72217 | 59452 | 413452 0 | 15273 | 19057
638.19/638.39 c 342s | 14 | 72675 | 59852 | 413452 0 | 15273 | 19057
640.59/640.77 c 344s | 14 | 73019 | 60152 | 413452 0 | 15273 | 19057
642.89/643.07 c 346s | 14 | 73385 | 60452 | 413452 0 | 15273 | 19057
645.39/645.50 c 349s | 14 | 73864 | 60852 | 413452 0 | 15273 | 19057
647.90/648.05 c 351s | 14 | 74339 | 61252 | 413452 0 | 15273 | 19057
650.49/650.61 c 354s | 14 | 74800 | 61652 | 413452 0 | 15273 | 19057
652.99/653.14 c 356s | 14 | 75282 | 62052 | 413452 0 | 15273 | 19057
655.29/655.41 c 359s | 14 | 75632 | 62352 | 413452 0 | 15273 | 19057
657.70/657.81 c 361s | 14 | 75994 | 62652 | 413452 0 | 15273 | 19057
660.00/660.15 c 363s | 14 | 76331 | 62952 | 413452 0 | 15273 | 19057
662.59/662.74 c 366s | 14 | 76704 | 63252 | 413452 0 | 15273 | 19057
665.29/665.46 c 369s | 14 | 77046 | 63552 | 413452 0 | 15273 | 19057
667.99/668.18 c 371s | 14 | 77369 | 63852 | 413452 0 | 15273 | 19057
670.49/670.66 c 374s | 14 | 77704 | 64152 | 413452 0 | 15273 | 19057
673.29/673.47 c 377s | 14 | 78184 | 64552 | 413452 0 | 15273 | 19057
675.89/676.01 c 379s | 14 | 78524 | 64852 | 413452 0 | 15273 | 19057
678.19/678.39 c 382s | 14 | 78862 | 65152 | 413452 0 | 15273 | 19057
680.49/680.62 c 384s | 14 | 79221 | 65452 | 413452 0 | 15273 | 19057
682.69/682.84 c 386s | 14 | 79571 | 65752 | 413452 0 | 15273 | 19057
685.38/685.54 c 389s | 14 | 80040 | 66152 | 413452 0 | 15273 | 19057
687.68/687.82 c 391s | 14 | 80386 | 66452 | 413452 0 | 15273 | 19057
690.28/690.42 c 394s | 14 | 80712 | 66752 | 413452 0 | 15273 | 19057
692.78/692.90 c 396s | 14 | 81044 | 67052 | 413452 0 | 15273 | 19057
694.98/695.12 c 398s | 14 | 81414 | 67352 | 413452 0 | 15273 | 19057
696.98/697.15 c 400s | 14 | 81763 | 67652 | 413452 0 | 15273 | 19057
699.08/699.27 c 403s | 14 | 82117 | 67952 | 413452 0 | 15273 | 19057
701.58/701.80 c 405s | 14 | 82597 | 68352 | 413452 0 | 15273 | 19057
703.78/703.98 c 407s | 14 | 82949 | 68652 | 413452 0 | 15273 | 19057
706.38/706.50 c 410s | 14 | 83414 | 69052 | 413452 0 | 15273 | 19057
708.78/708.96 c 412s | 14 | 83886 | 69452 | 413452 0 | 15273 | 19057
710.98/711.15 c 414s | 14 | 84344 | 69852 | 413452 0 | 15273 | 19057
713.18/713.35 c 417s | 14 | 84712 | 70152 | 413452 0 | 15273 | 19057
715.58/715.72 c 419s | 14 | 85208 | 70552 | 413452 0 | 15273 | 19057
717.88/718.03 c 421s | 14 | 85671 | 70952 | 413452 0 | 15273 | 19057
720.39/720.57 c 424s | 14 | 86178 | 71352 | 413452 0 | 15273 | 19057
722.78/722.94 c 426s | 14 | 86525 | 71652 | 413452 0 | 15273 | 19057
725.38/725.51 c 429s | 14 | 86864 | 71952 | 413452 0 | 15273 | 19057
727.88/728.05 c 431s | 14 | 87219 | 72252 | 413452 0 | 15273 | 19057
729.98/730.17 c 433s | 14 | 87609 | 72552 | 413452 0 | 15273 | 19057
732.08/732.30 c 436s | 14 | 87986 | 72852 | 413452 0 | 15273 | 19057
734.28/734.41 c 438s | 14 | 88353 | 73152 | 413452 0 | 15273 | 19057
736.78/736.98 c 440s | 14 | 88841 | 73552 | 413452 0 | 15273 | 19057
738.88/739.07 c 442s | 14 | 89185 | 73852 | 413452 0 | 15273 | 19057
741.48/741.65 c 445s | 14 | 89667 | 74252 | 413452 0 | 15273 | 19057
743.58/743.72 c 447s | 14 | 90027 | 74552 | 413452 0 | 15273 | 19057
745.58/745.75 c 449s | 14 | 90406 | 74852 | 413452 0 | 15273 | 19057
747.68/747.83 c 451s | 14 | 90780 | 75152 | 413452 0 | 15273 | 19057
749.88/750.03 c 453s | 14 | 91127 | 75452 | 413452 0 | 15273 | 19057
752.07/752.28 c 456s | 14 | 91471 | 75752 | 413452 0 | 15273 | 19057
754.48/754.70 c 458s | 14 | 91808 | 76052 | 413452 0 | 15273 | 19057
756.87/757.06 c 460s | 14 | 92168 | 76352 | 413452 0 | 15273 | 19057
759.17/759.35 c 463s | 14 | 92512 | 76652 | 413452 0 | 15273 | 19057
761.67/761.87 c 465s | 14 | 92850 | 76952 | 413452 0 | 15273 | 19057
764.07/764.22 c 467s | 14 | 93201 | 77252 | 413452 0 | 15273 | 19057
766.47/766.70 c 470s | 14 | 93537 | 77552 | 413452 0 | 15273 | 19057
768.78/768.93 c 472s | 14 | 93905 | 77852 | 413452 0 | 15273 | 19057
770.98/771.12 c 474s | 14 | 94266 | 78152 | 413452 0 | 15273 | 19057
773.28/773.41 c 477s | 14 | 94627 | 78452 | 413452 0 | 15273 | 19057
775.48/775.67 c 479s | 14 | 94973 | 78752 | 413452 0 | 15273 | 19057
777.68/777.85 c 481s | 14 | 95323 | 79052 | 413452 0 | 15273 | 19057
779.97/780.11 c 483s | 14 | 95685 | 79352 | 413452 0 | 15273 | 19057
782.57/782.73 c 486s | 14 | 96018 | 79652 | 413452 0 | 15273 | 19057
784.87/785.01 c 488s | 14 | 96381 | 79952 | 413452 0 | 15273 | 19057
786.87/787.08 c 490s | 14 | 96750 | 80252 | 413452 0 | 15273 | 19057
789.37/789.54 c 493s | 14 | 97099 | 80552 | 413452 0 | 15273 | 19057
792.07/792.22 c 495s | 14 | 97426 | 80852 | 413452 0 | 15273 | 19057
794.37/794.58 c 498s | 14 | 97794 | 81152 | 413452 0 | 15273 | 19057
796.97/797.13 c 500s | 14 | 98281 | 81552 | 413452 0 | 15273 | 19057
799.27/799.50 c 503s | 14 | 98753 | 81952 | 413452 0 | 15273 | 19057
801.67/801.80 c 505s | 14 | 99156 | 82252 | 413452 0 | 15273 | 19057
804.17/804.31 c 508s | 14 | 99624 | 82652 | 413452 0 | 15273 | 19057
806.77/806.92 c 510s | 14 | 100098 | 83052 | 413452 0 | 15273 | 19057
808.87/809.00 c 512s | 14 | 100469 | 83352 | 413452 0 | 15273 | 19057
811.36/811.59 c 515s | 14 | 100952 | 83752 | 413452 0 | 15273 | 19057
813.46/813.69 c 517s | 14 | 101326 | 84052 | 413452 0 | 15273 | 19057
815.56/815.71 c 519s | 14 | 101674 | 84352 | 413452 0 | 15273 | 19057
818.16/818.37 c 522s | 14 | 102179 | 84752 | 413452 0 | 15273 | 19057
820.26/820.40 c 524s | 14 | 102574 | 85052 | 413452 0 | 15273 | 19057
822.36/822.51 c 526s | 14 | 102925 | 85352 | 413452 0 | 15273 | 19057
824.46/824.69 c 528s | 14 | 103343 | 85652 | 413452 0 | 15273 | 19057
826.86/827.06 c 530s | 14 | 103689 | 85952 | 413452 0 | 15273 | 19057
829.46/829.66 c 533s | 14 | 104023 | 86252 | 413452 0 | 15273 | 19057
831.76/831.95 c 535s | 14 | 104356 | 86552 | 413452 0 | 15273 | 19057
833.77/833.98 c 537s | 14 | 104731 | 86852 | 413452 0 | 15273 | 19057
835.97/836.15 c 539s | 14 | 105055 | 87152 | 413452 0 | 15273 | 19057
838.17/838.34 c 542s | 14 | 105443 | 87452 | 413452 0 | 15273 | 19057
839.56/839.76 c 543s | 15 | 105652 | 87632 | 413452 0 | 15273 | 19057
842.36/842.55 c 546s | 15 | 105920 | 87832 | 413452 0 | 15273 | 19057
844.56/844.80 c 548s | 15 | 106294 | 88132 | 413452 0 | 15273 | 19057
847.06/847.24 c 550s | 15 | 106663 | 88432 | 413452 0 | 15273 | 19057
849.56/849.77 c 553s | 15 | 107021 | 88732 | 413452 0 | 15273 | 19057
851.86/852.03 c 555s | 15 | 107353 | 89032 | 413452 0 | 15273 | 19057
854.57/854.79 c 558s | 15 | 107696 | 89332 | 413452 0 | 15273 | 19057
856.86/857.09 c 560s | 15 | 108045 | 89632 | 413452 0 | 15273 | 19057
859.46/859.65 c 563s | 15 | 108413 | 89932 | 413452 0 | 15273 | 19057
862.16/862.38 c 566s | 15 | 108765 | 90232 | 413452 0 | 15273 | 19057
864.86/865.08 c 568s | 15 | 109120 | 90532 | 413452 0 | 15273 | 19057
867.76/867.93 c 571s | 15 | 109479 | 90832 | 413452 0 | 15273 | 19057
870.55/870.70 c 574s | 15 | 109820 | 91132 | 413452 0 | 15273 | 19057
873.45/873.61 c 577s | 15 | 110148 | 91432 | 413452 0 | 15273 | 19057
876.15/876.33 c 580s | 15 | 110497 | 91732 | 413452 0 | 15273 | 19057
878.95/879.17 c 582s | 15 | 110845 | 92032 | 413452 0 | 15273 | 19057
881.45/881.69 c 585s | 15 | 111185 | 92332 | 413452 0 | 15273 | 19057
884.05/884.25 c 587s | 15 | 111538 | 92632 | 413452 0 | 15273 | 19057
886.65/886.82 c 590s | 15 | 111870 | 92932 | 413452 0 | 15273 | 19057
889.25/889.44 c 593s | 15 | 112227 | 93232 | 413452 0 | 15273 | 19057
891.75/891.96 c 595s | 15 | 112599 | 93532 | 413452 0 | 15273 | 19057
893.95/894.15 c 597s | 15 | 112972 | 93832 | 413452 0 | 15273 | 19057
896.46/896.62 c 600s | 15 | 113325 | 94132 | 413452 0 | 15273 | 19057
898.56/898.77 c 602s | 15 | 113678 | 94432 | 413452 0 | 15273 | 19057
900.35/900.57 c 604s | 15 | 113825 | 94549 | 413452 0 | 15274 | 19058
900.35/900.57 c #cpu_time = 602.726s
900.35/900.57 c #wall_clock_time = 604.308s
900.35/900.57 c #decision = 113825
900.35/900.57 c #random_decision = 91
900.35/900.57 c #conflict = 94549
900.35/900.57 c #restart = 15
900.35/900.57 c BCD2: updating lower bound of a core
900.35/900.57 c lower bound updated to 101
900.35/900.57 c BCD2: 101 <= obj <= 299
900.35/900.57 c BCD2: #cores=1, #unrelaxed=87, #relaxed=212, #hardened=1
900.35/900.57 c BCD2: #sat=1 #unsat=15 bias=15/16
901.65/901.85 c Solving starts ...
901.65/901.85 c ============================[ Search Statistics ]============================
901.65/901.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
901.65/901.85 c | | | | Limit GC | Var | Constra
901.65/901.85 c =============================================================================
901.65/901.85 c 0.0s | 0 | 0 | 0 | 413452 0 | 15274 | 19058
903.65/903.89 c 2.0s | 0 | 125 | 100 | 413452 0 | 15274 | 19058
903.75/903.91 c 2.1s | 1 | 125 | 100 | 413452 0 | 15274 | 19058
905.95/906.17 c 4.3s | 2 | 348 | 250 | 413452 0 | 15274 | 19058
908.85/909.03 c 7.2s | 2 | 603 | 450 | 413452 0 | 15274 | 19058
909.15/909.36 c 7.5s | 3 | 628 | 475 | 413452 0 | 15274 | 19058
911.76/911.90 c 10.1s | 3 | 907 | 675 | 413452 0 | 15274 | 19058
912.86/913.08 c 11.2s | 4 | 1081 | 813 | 413452 0 | 15274 | 19058
915.25/915.42 c 13.6s | 4 | 1367 | 1013 | 413452 0 | 15274 | 19058
917.25/917.49 c 15.6s | 5 | 1741 | 1320 | 413452 0 | 15274 | 19058
919.95/920.10 c 18.3s | 5 | 2011 | 1520 | 413452 0 | 15274 | 19058
922.75/922.94 c 21.1s | 5 | 2339 | 1820 | 413452 0 | 15274 | 19058
924.95/925.15 c 23.3s | 6 | 2635 | 2081 | 413452 0 | 15274 | 19058
927.15/927.32 c 25.5s | 6 | 2773 | 2181 | 413452 0 | 15274 | 19058
929.45/929.68 c 27.8s | 6 | 3138 | 2481 | 413452 0 | 15274 | 19058
931.95/932.18 c 30.3s | 6 | 3506 | 2781 | 413452 0 | 15274 | 19058
934.54/934.73 c 32.9s | 6 | 4029 | 3181 | 413452 0 | 15274 | 19058
934.85/935.06 c 33.2s | 7 | 4078 | 3223 | 413452 0 | 15274 | 19058
937.54/937.73 c 35.9s | 7 | 4336 | 3423 | 413452 0 | 15274 | 19058
939.74/939.90 c 38.1s | 7 | 4708 | 3723 | 413452 0 | 15274 | 19058
941.94/942.19 c 40.3s | 7 | 5071 | 4023 | 413452 0 | 15274 | 19058
944.24/944.47 c 42.6s | 7 | 5440 | 4323 | 413452 0 | 15274 | 19058
946.35/946.59 c 44.7s | 7 | 5816 | 4623 | 413452 0 | 15274 | 19058
947.95/948.11 c 46.3s | 8 | 6245 | 4936 | 413452 0 | 15274 | 19058
950.36/950.51 c 48.7s | 8 | 6562 | 5136 | 413452 0 | 15274 | 19058
952.85/953.03 c 51.2s | 8 | 7020 | 5536 | 413452 0 | 15274 | 19058
955.35/955.51 c 53.7s | 8 | 7569 | 5936 | 413452 0 | 15274 | 19058
957.45/957.67 c 55.8s | 8 | 8079 | 6336 | 413452 0 | 15274 | 19058
959.65/959.87 c 58.0s | 8 | 8440 | 6636 | 413452 0 | 15274 | 19058
962.46/962.64 c 60.8s | 8 | 8929 | 7036 | 413452 0 | 15274 | 19058
964.56/964.76 c 62.9s | 8 | 9309 | 7336 | 413452 0 | 15274 | 19058
965.75/965.94 c 64.1s | 9 | 9499 | 7506 | 413452 0 | 15274 | 19058
968.15/968.34 c 66.5s | 9 | 9787 | 7706 | 413452 0 | 15274 | 19058
970.75/970.94 c 69.1s | 9 | 10285 | 8106 | 413452 0 | 15274 | 19058
972.95/973.18 c 71.3s | 9 | 10683 | 8406 | 413452 0 | 15274 | 19058
975.05/975.25 c 73.4s | 9 | 11030 | 8706 | 413452 0 | 15274 | 19058
977.85/978.01 c 76.2s | 9 | 11518 | 9106 | 413452 0 | 15274 | 19058
980.35/980.57 c 78.7s | 9 | 11980 | 9506 | 413452 0 | 15274 | 19058
983.14/983.38 c 81.5s | 9 | 12473 | 9906 | 413452 0 | 15274 | 19058
985.84/986.08 c 84.2s | 9 | 12820 | 10206 | 413452 0 | 15274 | 19058
988.14/988.31 c 86.5s | 9 | 13193 | 10506 | 413452 0 | 15274 | 19058
990.44/990.63 c 88.8s | 9 | 13548 | 10806 | 413452 0 | 15274 | 19058
992.84/993.00 c 91.2s | 9 | 13884 | 11106 | 413452 0 | 15274 | 19058
994.84/995.02 c 93.2s | 10 | 14173 | 11361 | 413452 0 | 15274 | 19058
997.84/998.01 c 96.2s | 10 | 14416 | 11561 | 413452 0 | 15274 | 19058
1000.04/1000.22 c 98.4s | 10 | 14780 | 11861 | 413452 0 | 15274 | 19058
1002.14/1002.31 c 100s | 10 | 15139 | 12161 | 413452 0 | 15274 | 19058
1004.44/1004.67 c 102s | 10 | 15488 | 12461 | 413452 0 | 15274 | 19058
1007.04/1007.27 c 105s | 10 | 15987 | 12861 | 413452 0 | 15274 | 19058
1009.24/1009.46 c 107s | 10 | 16340 | 13161 | 413452 0 | 15274 | 19058
1011.74/1011.96 c 110s | 10 | 16717 | 13461 | 413452 0 | 15274 | 19058
1014.24/1014.44 c 112s | 10 | 17067 | 13761 | 413452 0 | 15274 | 19058
1016.84/1017.01 c 115s | 10 | 17408 | 14061 | 413452 0 | 15274 | 19058
1018.94/1019.19 c 117s | 10 | 17792 | 14361 | 413452 0 | 15274 | 19058
1021.34/1021.53 c 119s | 10 | 18146 | 14661 | 413452 0 | 15274 | 19058
1023.84/1024.02 c 122s | 10 | 18531 | 14961 | 413452 0 | 15274 | 19058
1026.64/1026.85 c 125s | 10 | 18902 | 15261 | 413452 0 | 15274 | 19058
1029.34/1029.53 c 127s | 10 | 19272 | 15561 | 413452 0 | 15274 | 19058
1031.64/1031.81 c 129s | 10 | 19637 | 15861 | 413452 0 | 15274 | 19058
1034.14/1034.32 c 132s | 10 | 20029 | 16161 | 413452 0 | 15274 | 19058
1036.74/1036.92 c 135s | 10 | 20378 | 16461 | 413452 0 | 15274 | 19058
1039.24/1039.44 c 137s | 10 | 20729 | 16761 | 413452 0 | 15274 | 19058
1041.64/1041.81 c 139s | 10 | 21083 | 17061 | 413452 0 | 15274 | 19058
1042.13/1042.30 c 140s | 11 | 21175 | 17144 | 413452 0 | 15274 | 19058
1044.63/1044.87 c 143s | 11 | 21434 | 17344 | 413452 0 | 15274 | 19058
1046.73/1046.95 c 145s | 11 | 21787 | 17644 | 413452 0 | 15274 | 19058
1049.34/1049.56 c 147s | 11 | 22137 | 17944 | 413452 0 | 15274 | 19058
1051.63/1051.81 c 149s | 11 | 22520 | 18244 | 413452 0 | 15274 | 19058
1053.64/1053.86 c 152s | 11 | 22869 | 18544 | 413452 0 | 15274 | 19058
1055.73/1055.94 c 154s | 11 | 23229 | 18844 | 413452 0 | 15274 | 19058
1057.93/1058.10 c 156s | 11 | 23599 | 19144 | 413452 0 | 15274 | 19058
1060.24/1060.41 c 158s | 11 | 23955 | 19444 | 413452 0 | 15274 | 19058
1062.73/1062.91 c 161s | 11 | 24365 | 19744 | 413452 0 | 15274 | 19058
1065.33/1065.58 c 163s | 11 | 24873 | 20144 | 413452 0 | 15274 | 19058
1067.43/1067.63 c 165s | 11 | 25233 | 20444 | 413452 0 | 15274 | 19058
1069.83/1070.04 c 168s | 11 | 25699 | 20844 | 413452 0 | 15274 | 19058
1072.13/1072.33 c 170s | 11 | 26078 | 21144 | 413452 0 | 15274 | 19058
1074.33/1074.52 c 172s | 11 | 26422 | 21444 | 413452 0 | 15274 | 19058
1076.43/1076.62 c 174s | 11 | 26778 | 21744 | 413452 0 | 15274 | 19058
1078.83/1079.02 c 177s | 11 | 27275 | 22144 | 413452 0 | 15274 | 19058
1080.83/1081.05 c 179s | 11 | 27646 | 22444 | 413452 0 | 15274 | 19058
1083.13/1083.38 c 181s | 11 | 28121 | 22844 | 413452 0 | 15274 | 19058
1086.13/1086.34 c 184s | 11 | 28476 | 23144 | 413452 0 | 15274 | 19058
1088.73/1088.92 c 187s | 11 | 28842 | 23444 | 413452 0 | 15274 | 19058
1091.03/1091.22 c 189s | 11 | 29211 | 23744 | 454798 0 | 15274 | 19058
1093.62/1093.88 c 192s | 11 | 29570 | 24044 | 454798 0 | 15274 | 19058
1095.82/1096.08 c 194s | 11 | 29907 | 24344 | 454798 0 | 15274 | 19058
1098.12/1098.39 c 196s | 11 | 30259 | 24644 | 454798 0 | 15274 | 19058
1100.42/1100.62 c 198s | 11 | 30606 | 24944 | 454798 0 | 15274 | 19058
1103.02/1103.20 c 201s | 11 | 30967 | 25244 | 454798 0 | 15274 | 19058
1105.22/1105.48 c 203s | 11 | 31304 | 25544 | 454798 0 | 15274 | 19058
1107.12/1107.33 c 205s | 12 | 31622 | 25819 | 454798 0 | 15274 | 19058
1109.62/1109.85 c 207s | 12 | 31895 | 26019 | 454798 0 | 15274 | 19058
1112.42/1112.63 c 210s | 12 | 32244 | 26319 | 454798 0 | 15274 | 19058
1114.72/1114.99 c 213s | 12 | 32593 | 26619 | 454798 0 | 15274 | 19058
1117.22/1117.46 c 215s | 12 | 32936 | 26919 | 454798 0 | 15274 | 19058
1119.82/1120.08 c 218s | 12 | 33291 | 27219 | 454798 0 | 15274 | 19058
1122.42/1122.63 c 220s | 12 | 33639 | 27519 | 454798 0 | 15274 | 19058
1124.72/1124.94 c 223s | 12 | 33987 | 27819 | 454798 0 | 15274 | 19058
1127.02/1127.22 c 225s | 12 | 34341 | 28119 | 454798 0 | 15274 | 19058
1129.02/1129.27 c 227s | 12 | 34555 | 28319 | 454798 0 | 15274 | 19058
1131.62/1131.81 c 229s | 12 | 34930 | 28619 | 454798 0 | 15274 | 19058
1133.82/1134.02 c 232s | 12 | 35271 | 28919 | 454798 0 | 15274 | 19058
1136.13/1136.35 c 234s | 12 | 35648 | 29219 | 454798 0 | 15274 | 19058
1138.62/1138.89 c 237s | 12 | 35990 | 29519 | 454798 0 | 15274 | 19058
1140.82/1141.08 c 239s | 12 | 36344 | 29819 | 454798 0 | 15274 | 19058
1143.12/1143.37 c 241s | 12 | 36720 | 30119 | 454798 0 | 15274 | 19058
1145.82/1146.01 c 244s | 12 | 37091 | 30419 | 454798 0 | 15274 | 19058
1148.12/1148.37 c 246s | 12 | 37444 | 30719 | 454798 0 | 15274 | 19058
1150.72/1150.94 c 249s | 12 | 37823 | 31019 | 454798 0 | 15274 | 19058
1153.02/1153.24 c 251s | 12 | 38199 | 31319 | 454798 0 | 15274 | 19058
1155.52/1155.71 c 253s | 12 | 38551 | 31619 | 454798 0 | 15274 | 19058
1158.02/1158.20 c 256s | 12 | 38883 | 31919 | 454798 0 | 15274 | 19058
1160.42/1160.66 c 258s | 12 | 39242 | 32219 | 454798 0 | 15274 | 19058
1163.01/1163.27 c 261s | 12 | 39588 | 32519 | 454798 0 | 15274 | 19058
1165.11/1165.37 c 263s | 12 | 39818 | 32719 | 454798 0 | 15274 | 19058
1167.31/1167.52 c 265s | 12 | 40064 | 32919 | 454798 0 | 15274 | 19058
1170.32/1170.55 c 268s | 12 | 40410 | 33219 | 454798 0 | 15274 | 19058
1172.42/1172.61 c 270s | 12 | 40632 | 33419 | 454798 0 | 15274 | 19058
1175.21/1175.47 c 273s | 12 | 40973 | 33719 | 454798 0 | 15274 | 19058
1177.81/1178.03 c 276s | 12 | 41360 | 34019 | 454798 0 | 15274 | 19058
1180.31/1180.50 c 278s | 12 | 41691 | 34319 | 454798 0 | 15274 | 19058
1182.71/1182.90 c 281s | 12 | 42049 | 34619 | 454798 0 | 15274 | 19058
1185.21/1185.45 c 283s | 12 | 42392 | 34919 | 454798 0 | 15274 | 19058
1187.71/1187.92 c 286s | 12 | 42744 | 35219 | 454798 0 | 15274 | 19058
1190.31/1190.59 c 288s | 12 | 43087 | 35519 | 454798 0 | 15274 | 19058
1193.11/1193.31 c 291s | 12 | 43465 | 35819 | 454798 0 | 15274 | 19058
1195.52/1195.73 c 293s | 12 | 43826 | 36119 | 454798 0 | 15274 | 19058
1197.91/1198.16 c 296s | 12 | 44163 | 36419 | 454798 0 | 15274 | 19058
1200.31/1200.52 c 298s | 12 | 44507 | 36719 | 454798 0 | 15274 | 19058
1202.61/1202.83 c 300s | 12 | 44860 | 37019 | 454798 0 | 15274 | 19058
1204.91/1205.18 c 303s | 12 | 45223 | 37319 | 454798 0 | 15274 | 19058
1207.21/1207.47 c 305s | 12 | 45563 | 37619 | 454798 0 | 15274 | 19058
1209.71/1209.91 c 308s | 12 | 45929 | 37919 | 454798 0 | 15274 | 19058
1211.91/1212.10 c 310s | 12 | 46257 | 38219 | 454798 0 | 15274 | 19058
1214.41/1214.64 c 312s | 12 | 46622 | 38519 | 454798 0 | 15274 | 19058
1216.51/1216.73 c 314s | 12 | 46876 | 38719 | 454798 0 | 15274 | 19058
1217.51/1217.78 c 315s | 13 | 47011 | 38832 | 454798 0 | 15274 | 19058
1219.71/1219.97 c 318s | 13 | 47151 | 38932 | 454798 0 | 15274 | 19058
1222.01/1222.24 c 320s | 13 | 47507 | 39232 | 454798 0 | 15274 | 19058
1224.11/1224.31 c 322s | 13 | 47876 | 39532 | 454798 0 | 15274 | 19058
1226.20/1226.50 c 324s | 13 | 48228 | 39832 | 454798 0 | 15274 | 19058
1228.80/1229.00 c 327s | 13 | 48582 | 40132 | 454798 0 | 15274 | 19058
1231.10/1231.34 c 329s | 13 | 48934 | 40432 | 454798 0 | 15274 | 19058
1233.40/1233.66 c 331s | 13 | 49281 | 40732 | 454798 0 | 15274 | 19058
1236.40/1236.65 c 334s | 13 | 49633 | 41032 | 454798 0 | 15274 | 19058
1239.00/1239.29 c 337s | 13 | 49995 | 41332 | 454798 0 | 15274 | 19058
1241.81/1242.06 c 340s | 13 | 50332 | 41632 | 454798 0 | 15274 | 19058
1244.30/1244.56 c 342s | 13 | 50681 | 41932 | 454798 0 | 15274 | 19058
1246.90/1247.13 c 345s | 13 | 51027 | 42232 | 454798 0 | 15274 | 19058
1249.51/1249.72 c 347s | 13 | 51386 | 42532 | 454798 0 | 15274 | 19058
1252.40/1252.65 c 350s | 13 | 51751 | 42832 | 454798 0 | 15274 | 19058
1254.70/1254.96 c 353s | 13 | 52140 | 43132 | 454798 0 | 15274 | 19058
1257.11/1257.32 c 355s | 13 | 52517 | 43432 | 454798 0 | 15274 | 19058
1259.41/1259.67 c 357s | 13 | 52863 | 43732 | 454798 0 | 15274 | 19058
1261.61/1261.86 c 360s | 13 | 53234 | 44032 | 454798 0 | 15274 | 19058
1263.70/1263.98 c 362s | 13 | 53626 | 44332 | 454798 0 | 15274 | 19058
1265.80/1266.08 c 364s | 13 | 53994 | 44632 | 454798 0 | 15274 | 19058
1268.00/1268.23 c 366s | 13 | 54333 | 44932 | 454798 0 | 15274 | 19058
1270.10/1270.35 c 368s | 13 | 54710 | 45232 | 454798 0 | 15274 | 19058
1272.50/1272.73 c 370s | 13 | 55054 | 45532 | 454798 0 | 15274 | 19058
1274.60/1274.85 c 373s | 13 | 55443 | 45832 | 454798 0 | 15274 | 19058
1276.70/1276.98 c 375s | 13 | 55803 | 46132 | 454798 0 | 15274 | 19058
1279.30/1279.55 c 377s | 13 | 56169 | 46432 | 454798 0 | 15274 | 19058
1281.90/1282.15 c 380s | 13 | 56503 | 46732 | 454798 0 | 15274 | 19058
1284.39/1284.65 c 382s | 13 | 56852 | 47032 | 454798 0 | 15274 | 19058
1286.99/1287.23 c 385s | 13 | 57210 | 47332 | 454798 0 | 15274 | 19058
1289.39/1289.66 c 387s | 13 | 57565 | 47632 | 454798 0 | 15274 | 19058
1291.69/1291.99 c 390s | 13 | 57915 | 47932 | 454798 0 | 15274 | 19058
1294.39/1294.70 c 392s | 13 | 58262 | 48232 | 454798 0 | 15274 | 19058
1296.89/1297.13 c 395s | 13 | 58631 | 48532 | 454798 0 | 15274 | 19058
1300.00/1300.27 c 398s | 13 | 58981 | 48832 | 454798 0 | 15274 | 19058
1302.79/1303.04 c 401s | 13 | 59338 | 49132 | 454798 0 | 15274 | 19058
1305.79/1306.06 c 404s | 13 | 59694 | 49432 | 454798 0 | 15274 | 19058
1308.09/1308.38 c 406s | 13 | 60064 | 49732 | 454798 0 | 15274 | 19058
1310.79/1311.04 c 409s | 13 | 60406 | 50032 | 454798 0 | 15274 | 19058
1313.39/1313.60 c 411s | 13 | 60752 | 50332 | 454798 0 | 15274 | 19058
1315.89/1316.18 c 414s | 13 | 61097 | 50632 | 454798 0 | 15274 | 19058
1318.49/1318.79 c 416s | 13 | 61419 | 50932 | 454798 0 | 15274 | 19058
1321.19/1321.44 c 419s | 13 | 61747 | 51232 | 454798 0 | 15274 | 19058
1323.59/1323.85 c 422s | 13 | 62086 | 51532 | 454798 0 | 15274 | 19058
1325.69/1325.98 c 424s | 13 | 62428 | 51832 | 454798 0 | 15274 | 19058
1328.39/1328.63 c 426s | 13 | 62787 | 52132 | 454798 0 | 15274 | 19058
1330.49/1330.76 c 428s | 13 | 63015 | 52332 | 454798 0 | 15274 | 19058
1332.89/1333.19 c 431s | 13 | 63345 | 52632 | 454798 0 | 15274 | 19058
1335.49/1335.78 c 433s | 13 | 63699 | 52932 | 454798 0 | 15274 | 19058
1337.59/1337.82 c 435s | 13 | 63935 | 53132 | 454798 0 | 15274 | 19058
1340.39/1340.69 c 438s | 13 | 64293 | 53432 | 454798 0 | 15274 | 19058
1342.48/1342.78 c 440s | 13 | 64522 | 53632 | 454798 0 | 15274 | 19058
1344.98/1345.22 c 443s | 13 | 64853 | 53932 | 454798 0 | 15274 | 19058
1347.08/1347.33 c 445s | 13 | 65073 | 54132 | 454798 0 | 15274 | 19058
1349.78/1350.08 c 448s | 13 | 65409 | 54432 | 454798 0 | 15274 | 19058
1351.88/1352.14 c 450s | 13 | 65637 | 54632 | 454798 0 | 15274 | 19058
1353.99/1354.29 c 452s | 13 | 65874 | 54832 | 454798 0 | 15274 | 19058
1356.28/1356.50 c 454s | 13 | 66103 | 55032 | 454798 0 | 15274 | 19058
1358.68/1358.99 c 457s | 13 | 66465 | 55332 | 454798 0 | 15274 | 19058
1361.18/1361.44 c 459s | 13 | 66807 | 55632 | 454798 0 | 15274 | 19058
1363.89/1364.18 c 462s | 13 | 67147 | 55932 | 454798 0 | 15274 | 19058
1366.38/1366.61 c 464s | 13 | 67482 | 56232 | 454798 0 | 15274 | 19058
1368.38/1368.69 c 466s | 13 | 67836 | 56532 | 454798 0 | 15274 | 19058
1370.88/1371.14 c 469s | 13 | 68181 | 56832 | 454798 0 | 15274 | 19058
1373.58/1373.81 c 471s | 13 | 68524 | 57132 | 454798 0 | 15274 | 19058
1376.28/1376.59 c 474s | 13 | 68851 | 57432 | 454798 0 | 15274 | 19058
1378.48/1378.73 c 476s | 13 | 69066 | 57632 | 454798 0 | 15274 | 19058
1380.58/1380.83 c 478s | 13 | 69285 | 57832 | 454798 0 | 15274 | 19058
1382.59/1382.84 c 480s | 13 | 69516 | 58032 | 454798 0 | 15274 | 19058
1384.88/1385.15 c 483s | 13 | 69754 | 58232 | 454798 0 | 15274 | 19058
1386.38/1386.64 c 484s | 14 | 69903 | 58352 | 454798 0 | 15274 | 19058
1388.98/1389.28 c 487s | 14 | 70043 | 58452 | 454798 0 | 15274 | 19058
1391.18/1391.40 c 489s | 14 | 70271 | 58652 | 454798 0 | 15274 | 19058
1393.68/1393.96 c 492s | 14 | 70636 | 58952 | 454798 0 | 15274 | 19058
1395.88/1396.19 c 494s | 14 | 70996 | 59252 | 454798 0 | 15274 | 19058
1398.98/1399.28 c 497s | 14 | 71326 | 59552 | 454798 0 | 15274 | 19058
1401.68/1401.91 c 500s | 14 | 71567 | 59752 | 454798 0 | 15274 | 19058
1403.88/1404.10 c 502s | 14 | 71797 | 59952 | 454798 0 | 15274 | 19058
1406.68/1406.99 c 505s | 14 | 72150 | 60252 | 454798 0 | 15274 | 19058
1409.07/1409.32 c 507s | 14 | 72378 | 60452 | 454798 0 | 15274 | 19058
1411.37/1411.62 c 509s | 14 | 72606 | 60652 | 454798 0 | 15274 | 19058
1413.57/1413.86 c 512s | 14 | 72866 | 60852 | 454798 0 | 15274 | 19058
1415.77/1416.03 c 514s | 14 | 73097 | 61052 | 454798 0 | 15274 | 19058
1417.78/1418.09 c 516s | 14 | 73314 | 61252 | 454798 0 | 15274 | 19058
1419.88/1420.15 c 518s | 14 | 73545 | 61452 | 454798 0 | 15274 | 19058
1422.08/1422.40 c 520s | 14 | 73778 | 61652 | 454798 0 | 15274 | 19058
1424.28/1424.58 c 522s | 14 | 74027 | 61852 | 454798 0 | 15274 | 19058
1427.37/1427.63 c 525s | 14 | 74366 | 62152 | 454798 0 | 15274 | 19058
1430.37/1430.65 c 528s | 14 | 74737 | 62452 | 454798 0 | 15274 | 19058
1432.97/1433.28 c 531s | 14 | 75073 | 62752 | 454798 0 | 15274 | 19058
1435.57/1435.82 c 533s | 14 | 75442 | 63052 | 454798 0 | 15274 | 19058
1437.87/1438.15 c 536s | 14 | 75805 | 63352 | 454798 0 | 15274 | 19058
1439.97/1440.29 c 538s | 14 | 76043 | 63552 | 454798 0 | 15274 | 19058
1442.87/1443.17 c 541s | 14 | 76386 | 63852 | 454798 0 | 15274 | 19058
1445.87/1446.11 c 544s | 14 | 76727 | 64152 | 454798 0 | 15274 | 19058
1448.07/1448.35 c 546s | 14 | 76956 | 64352 | 454798 0 | 15274 | 19058
1450.27/1450.51 c 548s | 14 | 77202 | 64552 | 454798 0 | 15274 | 19058
1452.56/1452.80 c 550s | 14 | 77432 | 64752 | 454798 0 | 15274 | 19058
1454.86/1455.11 c 553s | 14 | 77651 | 64952 | 454798 0 | 15274 | 19058
1457.06/1457.35 c 555s | 14 | 77899 | 65152 | 454798 0 | 15274 | 19058
1459.57/1459.83 c 557s | 14 | 78134 | 65352 | 454798 0 | 15274 | 19058
1461.96/1462.29 c 560s | 14 | 78367 | 65552 | 454798 0 | 15274 | 19058
1464.46/1464.70 c 562s | 14 | 78577 | 65752 | 454798 0 | 15274 | 19058
1466.96/1467.22 c 565s | 14 | 78794 | 65952 | 454798 0 | 15274 | 19058
1469.26/1469.52 c 567s | 14 | 79030 | 66152 | 454798 0 | 15274 | 19058
1471.66/1471.94 c 570s | 14 | 79247 | 66352 | 454798 0 | 15274 | 19058
1474.35/1474.60 c 572s | 14 | 79460 | 66552 | 454798 0 | 15274 | 19058
1477.06/1477.31 c 575s | 14 | 79677 | 66752 | 454798 0 | 15274 | 19058
1479.55/1479.86 c 578s | 14 | 79926 | 66952 | 454798 0 | 15274 | 19058
1481.75/1482.02 c 580s | 14 | 80149 | 67152 | 454798 0 | 15274 | 19058
1483.75/1484.05 c 582s | 14 | 80380 | 67352 | 454798 0 | 15274 | 19058
1486.15/1486.45 c 584s | 14 | 80649 | 67552 | 454798 0 | 15274 | 19058
1489.25/1489.56 c 587s | 14 | 80998 | 67852 | 454798 0 | 15274 | 19058
1492.14/1492.42 c 590s | 14 | 81344 | 68152 | 454798 0 | 15274 | 19058
1494.64/1494.92 c 593s | 14 | 81673 | 68452 | 454798 0 | 15274 | 19058
1497.54/1497.89 c 596s | 14 | 82050 | 68752 | 454798 0 | 15274 | 19058
1499.94/1500.28 c 598s | 14 | 82271 | 68952 | 454798 0 | 15274 | 19058
1502.23/1502.52 c 600s | 14 | 82503 | 69152 | 454798 0 | 15274 | 19058
1504.73/1505.04 c 603s | 14 | 82721 | 69352 | 454798 0 | 15274 | 19058
1507.53/1507.87 c 606s | 14 | 83071 | 69652 | 454798 0 | 15274 | 19058
1509.63/1509.97 c 608s | 14 | 83305 | 69852 | 454798 0 | 15274 | 19058
1511.92/1512.23 c 610s | 14 | 83548 | 70052 | 454798 0 | 15274 | 19058
1514.32/1514.63 c 612s | 14 | 83779 | 70252 | 454798 0 | 15274 | 19058
1517.22/1517.54 c 615s | 14 | 84136 | 70552 | 454798 0 | 15274 | 19058
1520.12/1520.42 c 618s | 14 | 84469 | 70852 | 454798 0 | 15274 | 19058
1522.82/1523.13 c 621s | 14 | 84827 | 71152 | 454798 0 | 15274 | 19058
1525.62/1525.97 c 624s | 14 | 85182 | 71452 | 454798 0 | 15274 | 19058
1528.61/1528.90 c 627s | 14 | 85516 | 71752 | 454798 0 | 15274 | 19058
1530.81/1531.12 c 629s | 14 | 85728 | 71952 | 454798 0 | 15274 | 19058
1533.21/1533.50 c 631s | 14 | 85954 | 72152 | 454798 0 | 15274 | 19058
1535.21/1535.51 c 633s | 14 | 86173 | 72352 | 454798 0 | 15274 | 19058
1537.41/1537.73 c 635s | 14 | 86420 | 72552 | 454798 0 | 15274 | 19058
1539.61/1539.93 c 638s | 14 | 86648 | 72752 | 454798 0 | 15274 | 19058
1541.91/1542.25 c 640s | 14 | 86888 | 72952 | 454798 0 | 15274 | 19058
1544.50/1544.87 c 643s | 14 | 87124 | 73152 | 454798 0 | 15274 | 19058
1547.10/1547.42 c 645s | 14 | 87357 | 73352 | 454798 0 | 15274 | 19058
1549.80/1550.17 c 648s | 14 | 87574 | 73552 | 454798 0 | 15274 | 19058
1552.60/1552.99 c 651s | 14 | 87802 | 73752 | 454798 0 | 15274 | 19058
1555.49/1555.82 c 653s | 14 | 88171 | 74052 | 454798 0 | 15274 | 19058
1558.19/1558.51 c 656s | 14 | 88522 | 74352 | 454798 0 | 15274 | 19058
1560.99/1561.37 c 659s | 14 | 88866 | 74652 | 454798 0 | 15274 | 19058
1563.79/1564.18 c 662s | 14 | 89211 | 74952 | 454798 0 | 15274 | 19058
1566.29/1566.62 c 664s | 14 | 89460 | 75152 | 454798 0 | 15274 | 19058
1568.79/1569.13 c 667s | 14 | 89705 | 75352 | 454798 0 | 15274 | 19058
1571.19/1571.51 c 669s | 14 | 89946 | 75552 | 454798 0 | 15274 | 19058
1573.38/1573.72 c 671s | 14 | 90173 | 75752 | 454798 0 | 15274 | 19058
1576.28/1576.67 c 674s | 14 | 90514 | 76052 | 454798 0 | 15274 | 19058
1578.58/1578.98 c 677s | 14 | 90751 | 76252 | 454798 0 | 15274 | 19058
1581.59/1581.93 c 680s | 14 | 91107 | 76552 | 454798 0 | 15274 | 19058
1584.99/1585.38 c 683s | 14 | 91479 | 76852 | 454798 0 | 15274 | 19058
1587.49/1587.81 c 685s | 14 | 91838 | 77152 | 454798 0 | 15274 | 19058
1589.69/1590.08 c 688s | 14 | 92072 | 77352 | 454798 0 | 15274 | 19058
1592.08/1592.43 c 690s | 14 | 92327 | 77552 | 454798 0 | 15274 | 19058
1594.08/1594.46 c 692s | 14 | 92566 | 77752 | 454798 0 | 15274 | 19058
1596.38/1596.72 c 694s | 14 | 92793 | 77952 | 454798 0 | 15274 | 19058
1598.78/1599.17 c 697s | 14 | 93017 | 78152 | 454798 0 | 15274 | 19058
1601.68/1602.07 c 700s | 14 | 93369 | 78452 | 454798 0 | 15274 | 19058
1603.78/1604.15 c 702s | 14 | 93609 | 78652 | 454798 0 | 15274 | 19058
1606.48/1606.85 c 704s | 14 | 93961 | 78952 | 454798 0 | 15274 | 19058
1608.98/1609.33 c 707s | 14 | 94306 | 79252 | 454798 0 | 15274 | 19058
1611.18/1611.59 c 709s | 14 | 94540 | 79452 | 454798 0 | 15274 | 19058
1613.97/1614.36 c 712s | 14 | 94936 | 79752 | 454798 0 | 15274 | 19058
1616.97/1617.39 c 715s | 14 | 95312 | 80052 | 454798 0 | 15274 | 19058
1619.47/1619.83 c 717s | 14 | 95540 | 80252 | 454798 0 | 15274 | 19058
1622.17/1622.53 c 720s | 14 | 95899 | 80552 | 454798 0 | 15274 | 19058
1624.57/1624.93 c 723s | 14 | 96136 | 80752 | 454798 0 | 15274 | 19058
1627.36/1627.72 c 725s | 14 | 96517 | 81052 | 454798 0 | 15274 | 19058
1629.36/1629.76 c 727s | 14 | 96775 | 81252 | 454798 0 | 15274 | 19058
1632.06/1632.42 c 730s | 14 | 97149 | 81552 | 454798 0 | 15274 | 19058
1634.16/1634.51 c 732s | 14 | 97406 | 81752 | 454798 0 | 15274 | 19058
1636.86/1637.21 c 735s | 14 | 97759 | 82052 | 454798 0 | 15274 | 19058
1639.76/1640.17 c 738s | 14 | 98148 | 82352 | 454798 0 | 15274 | 19058
1642.35/1642.74 c 740s | 14 | 98399 | 82552 | 454798 0 | 15274 | 19058
1644.85/1645.26 c 743s | 14 | 98641 | 82752 | 454798 0 | 15274 | 19058
1647.25/1647.62 c 745s | 14 | 98889 | 82952 | 454798 0 | 15274 | 19058
1650.05/1650.40 c 748s | 14 | 99129 | 83152 | 454798 0 | 15274 | 19058
1652.34/1652.74 c 750s | 14 | 99376 | 83352 | 454798 0 | 15274 | 19058
1654.34/1654.76 c 752s | 14 | 99604 | 83552 | 454798 0 | 15274 | 19058
1657.24/1657.61 c 755s | 14 | 99956 | 83852 | 454798 0 | 15274 | 19058
1659.94/1660.39 c 758s | 14 | 100331 | 84152 | 454798 0 | 15274 | 19058
1662.14/1662.53 c 760s | 14 | 100570 | 84352 | 454798 0 | 15274 | 19058
1665.04/1665.41 c 763s | 14 | 100944 | 84652 | 454798 0 | 15274 | 19058
1667.94/1668.36 c 766s | 14 | 101306 | 84952 | 454798 0 | 15274 | 19058
1670.74/1671.18 c 769s | 14 | 101655 | 85252 | 454798 0 | 15274 | 19058
1673.43/1673.88 c 772s | 14 | 101995 | 85552 | 454798 0 | 15274 | 19058
1675.93/1676.30 c 774s | 14 | 102253 | 85752 | 454798 0 | 15274 | 19058
1678.43/1678.80 c 776s | 14 | 102589 | 86052 | 454798 0 | 15274 | 19058
1680.43/1680.83 c 778s | 14 | 102815 | 86252 | 454798 0 | 15274 | 19058
1682.42/1682.84 c 780s | 14 | 103057 | 86452 | 454798 0 | 15274 | 19058
1685.32/1685.71 c 783s | 14 | 103515 | 86752 | 454798 0 | 15274 | 19058
1687.52/1687.98 c 786s | 14 | 103774 | 86952 | 454798 0 | 15274 | 19058
1690.02/1690.44 c 788s | 14 | 104029 | 87152 | 454798 0 | 15274 | 19058
1692.41/1692.90 c 791s | 14 | 104260 | 87352 | 454798 0 | 15274 | 19058
1695.11/1695.59 c 793s | 14 | 104500 | 87552 | 454798 0 | 15274 | 19058
1696.51/1696.92 c 795s | 15 | 104580 | 87632 | 454798 0 | 15274 | 19058
1698.91/1699.32 c 797s | 15 | 104731 | 87732 | 454798 0 | 15274 | 19058
1701.42/1701.86 c 800s | 15 | 104947 | 87932 | 454798 0 | 15274 | 19058
1703.91/1704.35 c 802s | 15 | 105181 | 88132 | 454798 0 | 15274 | 19058
1706.51/1706.96 c 805s | 15 | 105443 | 88332 | 454798 0 | 15274 | 19058
1708.71/1709.19 c 807s | 15 | 105699 | 88532 | 454798 0 | 15274 | 19058
1711.51/1711.90 c 810s | 15 | 105931 | 88732 | 454798 0 | 15274 | 19058
1713.60/1714.03 c 812s | 15 | 106155 | 88932 | 454798 0 | 15274 | 19058
1716.00/1716.41 c 814s | 15 | 106395 | 89132 | 454798 0 | 15274 | 19058
1718.60/1719.03 c 817s | 15 | 106629 | 89332 | 454798 0 | 15274 | 19058
1720.60/1721.05 c 819s | 15 | 106858 | 89532 | 454798 0 | 15274 | 19058
1722.90/1723.31 c 821s | 15 | 107084 | 89732 | 454798 0 | 15274 | 19058
1725.20/1725.63 c 823s | 15 | 107321 | 89932 | 454798 0 | 15274 | 19058
1728.20/1728.64 c 826s | 15 | 107666 | 90232 | 454798 0 | 15274 | 19058
1731.30/1731.71 c 829s | 15 | 108032 | 90532 | 454798 0 | 15274 | 19058
1734.30/1734.73 c 832s | 15 | 108382 | 90832 | 454798 0 | 15274 | 19058
1737.09/1737.56 c 835s | 15 | 108733 | 91132 | 454798 0 | 15274 | 19058
1740.29/1740.73 c 838s | 15 | 109060 | 91432 | 454798 0 | 15274 | 19058
1742.39/1742.87 c 841s | 15 | 109314 | 91632 | 454798 0 | 15274 | 19058
1745.29/1745.73 c 843s | 15 | 109655 | 91932 | 454798 0 | 15274 | 19058
1747.79/1748.29 c 846s | 15 | 109879 | 92132 | 454798 0 | 15274 | 19058
1750.69/1751.18 c 849s | 15 | 110227 | 92432 | 454798 0 | 15274 | 19058
1752.88/1753.37 c 851s | 15 | 110456 | 92632 | 454798 0 | 15274 | 19058
1755.19/1755.65 c 853s | 15 | 110688 | 92832 | 454798 0 | 15274 | 19058
1757.68/1758.11 c 856s | 15 | 110915 | 93032 | 454798 0 | 15274 | 19058
1760.18/1760.64 c 858s | 15 | 111164 | 93232 | 454798 0 | 15274 | 19058
1762.47/1763.00 c 861s | 15 | 111388 | 93432 | 454798 0 | 15274 | 19058
1764.97/1765.49 c 863s | 15 | 111621 | 93632 | 454798 0 | 15274 | 19058
1767.47/1767.91 c 866s | 15 | 111862 | 93832 | 454798 0 | 15274 | 19058
1770.07/1770.53 c 868s | 15 | 112099 | 94032 | 454798 0 | 15274 | 19058
1772.17/1772.65 c 870s | 15 | 112323 | 94232 | 454798 0 | 15274 | 19058
1774.87/1775.30 c 873s | 15 | 112675 | 94532 | 454798 0 | 15274 | 19058
1776.97/1777.45 c 875s | 15 | 112951 | 94732 | 454798 0 | 15274 | 19058
1779.67/1780.18 c 878s | 15 | 113293 | 95032 | 454798 0 | 15274 | 19058
1782.56/1783.07 c 881s | 15 | 113667 | 95332 | 454798 0 | 15274 | 19058
1785.46/1785.99 c 884s | 15 | 114026 | 95632 | 454798 0 | 15274 | 19058
1787.96/1788.48 c 886s | 15 | 114400 | 95932 | 454798 0 | 15274 | 19058
1790.86/1791.31 c 889s | 15 | 114759 | 96232 | 454798 0 | 15274 | 19058
1792.96/1793.41 c 891s | 15 | 114987 | 96432 | 454798 0 | 15274 | 19058
1794.96/1795.42 c 893s | 15 | 115234 | 96632 | 454798 0 | 15274 | 19058
1797.15/1797.64 c 895s | 15 | 115479 | 96832 | 454798 0 | 15274 | 19058
1799.55/1800.06 c 898s | 15 | 115706 | 97032 | 454798 0 | 15274 | 19058
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-4079985-1465273865/watcher-4079985-1465273865 -o /tmp/evaluation-result-4079985-1465273865/solver-4079985-1465273865 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465272064-10618 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079985-1465273865.opb
pid=10790
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.28 2.22 2.29 2/179 10793
/proc/meminfo: memFree=30037872/32872528 swapFree=16080/1655368
[pid=10793] ppid=10790 vsize=766396 CPUtime=0 cores=1,3,5,7
/proc/10793/stat : 10793 (toysat) R 10790 10793 3593 0 -1 4202496 2866 0 0 0 0 0 0 0 20 0 4 0 109320133 784789504 3227 33554432000 4194304 16246674 140735385042624 140735385042048 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10793/statm: 192367 3236 441 2943 0 189261 0
[pid=10793/tid=10794] ppid=10790 vsize=783804 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10794/stat : 10794 (toysat) S 10790 10793 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320133 802615296 3295 33554432000 4194304 16246674 140735385042624 139944346496240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10793/tid=10795] ppid=10790 vsize=787900 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10795/stat : 10795 (toysat) S 10790 10793 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109320133 806809600 3311 33554432000 4194304 16246674 140735385042624 139944261561584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10793/tid=10796] ppid=10790 vsize=793020 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10796/stat : 10796 (toysat) S 10790 10793 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109320133 812052480 3327 33554432000 4194304 16246674 140735385042624 139944251088048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[startup+0.100124 s]
/proc/loadavg: 2.28 2.22 2.29 2/179 10793
/proc/meminfo: memFree=30037872/32872528 swapFree=16080/1655368
[pid=10793] ppid=10790 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/10793/stat : 10793 (toysat) R 10790 10793 3593 0 -1 4202496 26890 0 0 0 5 4 0 0 20 0 4 0 109320133 1333334016 27189 33554432000 4194304 16246674 140735385042624 140735385041936 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10793/statm: 325521 27204 799 2943 0 322415 0
[pid=10793/tid=10794] ppid=10790 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10794/stat : 10794 (toysat) S 10790 10793 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320133 1333334016 27216 33554432000 4194304 16246674 140735385042624 139944346496240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10793/tid=10795] ppid=10790 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10795/stat : 10795 (toysat) S 10790 10793 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109320133 1333334016 27226 33554432000 4194304 16246674 140735385042624 139944261561584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10793/tid=10796] ppid=10790 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10796/stat : 10796 (toysat) S 10790 10793 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320133 1333334016 27238 33554432000 4194304 16246674 140735385042624 139944251088048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084
[startup+0.200542 s]
/proc/loadavg: 2.28 2.22 2.29 2/179 10793
/proc/meminfo: memFree=30037872/32872528 swapFree=16080/1655368
[pid=10793] ppid=10790 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/10793/stat : 10793 (toysat) R 10790 10793 3593 0 -1 4202496 45431 0 0 0 12 7 0 0 20 0 4 0 109320133 1344868352 46240 33554432000 4194304 16246674 140735385042624 140735385041936 8058274 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10793/statm: 328337 46240 799 2943 0 325231 0
[pid=10793/tid=10794] ppid=10790 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10794/stat : 10794 (toysat) S 10790 10793 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320133 1344868352 46240 33554432000 4194304 16246674 140735385042624 139944346496240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10793/tid=10795] ppid=10790 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10795/stat : 10795 (toysat) S 10790 10793 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109320133 1344868352 46240 33554432000 4194304 16246674 140735385042624 139944261561584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10793/tid=10796] ppid=10790 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10796/stat : 10796 (toysat) S 10790 10793 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320133 1344868352 46240 33554432000 4194304 16246674 140735385042624 139944251088048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348
[startup+0.300482 s]
/proc/loadavg: 2.28 2.22 2.29 2/179 10793
/proc/meminfo: memFree=30037872/32872528 swapFree=16080/1655368
[pid=10793] ppid=10790 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/10793/stat : 10793 (toysat) R 10790 10793 3593 0 -1 4202496 57462 0 0 0 21 8 0 0 20 0 4 0 109320133 1344868352 58271 33554432000 4194304 16246674 140735385042624 140735385041936 14796143 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10793/statm: 328337 58271 799 2943 0 325231 0
[pid=10793/tid=10794] ppid=10790 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10794/stat : 10794 (toysat) S 10790 10793 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320133 1344868352 58271 33554432000 4194304 16246674 140735385042624 139944346496240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10793/tid=10795] ppid=10790 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10795/stat : 10795 (toysat) S 10790 10793 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109320133 1344868352 58271 33554432000 4194304 16246674 140735385042624 139944261561584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10793/tid=10796] ppid=10790 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10796/stat : 10796 (toysat) S 10790 10793 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320133 1344868352 58271 33554432000 4194304 16246674 140735385042624 139944251088048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348
[startup+0.700418 s]
/proc/loadavg: 2.28 2.22 2.29 2/179 10793
/proc/meminfo: memFree=30037872/32872528 swapFree=16080/1655368
[pid=10793] ppid=10790 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/10793/stat : 10793 (toysat) R 10790 10793 3593 0 -1 4202496 69778 0 0 0 59 10 0 0 20 0 4 0 109320133 1344868352 70587 33554432000 4194304 16246674 140735385042624 140735385025616 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10793/statm: 328337 70587 801 2943 0 325231 0
[pid=10793/tid=10794] ppid=10790 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10794/stat : 10794 (toysat) S 10790 10793 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320133 1344868352 70587 33554432000 4194304 16246674 140735385042624 139944346496240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10793/tid=10795] ppid=10790 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10795/stat : 10795 (toysat) S 10790 10793 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109320133 1344868352 70587 33554432000 4194304 16246674 140735385042624 139944261561584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10793/tid=10796] ppid=10790 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10796/stat : 10796 (toysat) S 10790 10793 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320133 1344868352 70587 33554432000 4194304 16246674 140735385042624 139944251088048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348
[startup+1.50039 s]
/proc/loadavg: 2.28 2.22 2.29 3/183 10797
/proc/meminfo: memFree=29552420/32872528 swapFree=16080/1655368
[pid=10793] ppid=10790 vsize=1340996 CPUtime=1.49 cores=1,3,5,7
/proc/10793/stat : 10793 (toysat) R 10790 10793 3593 0 -1 4202496 84146 0 0 0 137 12 0 0 20 0 4 0 109320133 1373179904 84955 33554432000 4194304 16246674 140735385042624 140735385041800 5899752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10793/statm: 335249 84955 830 2943 0 332143 0
[pid=10793/tid=10794] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10794/stat : 10794 (toysat) S 10790 10793 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 84955 33554432000 4194304 16246674 140735385042624 139944346496240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10793/tid=10795] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10795/stat : 10795 (toysat) S 10790 10793 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 84955 33554432000 4194304 16246674 140735385042624 139944261561584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10793/tid=10796] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10796/stat : 10796 (toysat) S 10790 10793 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 84955 33554432000 4194304 16246674 140735385042624 139944251088048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1340996
[startup+3.10038 s]
/proc/loadavg: 2.28 2.22 2.29 3/183 10797
/proc/meminfo: memFree=28534620/32872528 swapFree=16080/1655368
[pid=10793] ppid=10790 vsize=1340996 CPUtime=3.09 cores=1,3,5,7
/proc/10793/stat : 10793 (toysat) R 10790 10793 3593 0 -1 4202496 275864 0 0 0 268 41 0 0 20 0 4 0 109320133 1373179904 276673 33554432000 4194304 16246674 140735385042624 140735385024512 12458704 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10793/statm: 335249 276673 837 2943 0 332143 0
[pid=10793/tid=10794] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10794/stat : 10794 (toysat) S 10790 10793 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276673 33554432000 4194304 16246674 140735385042624 139944346496240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10793/tid=10795] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10795/stat : 10795 (toysat) S 10790 10793 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276673 33554432000 4194304 16246674 140735385042624 139944261561584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10793/tid=10796] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10796/stat : 10796 (toysat) S 10790 10793 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276673 33554432000 4194304 16246674 140735385042624 139944251088048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1340996
[startup+6.30042 s]
/proc/loadavg: 2.26 2.21 2.29 3/183 10797
/proc/meminfo: memFree=27949100/32872528 swapFree=16080/1655368
[pid=10793] ppid=10790 vsize=1340996 CPUtime=6.29 cores=1,3,5,7
/proc/10793/stat : 10793 (toysat) R 10790 10793 3593 0 -1 4202496 275946 0 0 0 588 41 0 0 20 0 4 0 109320133 1373179904 276755 33554432000 4194304 16246674 140735385042624 140735385024512 12449372 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10793/statm: 335249 276755 914 2943 0 332143 0
[pid=10793/tid=10794] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10794/stat : 10794 (toysat) S 10790 10793 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276755 33554432000 4194304 16246674 140735385042624 139944346496240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10793/tid=10795] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10795/stat : 10795 (toysat) S 10790 10793 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276755 33554432000 4194304 16246674 140735385042624 139944261561584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10793/tid=10796] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10796/stat : 10796 (toysat) S 10790 10793 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276755 33554432000 4194304 16246674 140735385042624 139944251088048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1340996
[startup+12.7004 s]
/proc/loadavg: 2.24 2.21 2.29 3/183 10797
/proc/meminfo: memFree=27949008/32872528 swapFree=16080/1655368
[pid=10793] ppid=10790 vsize=1340996 CPUtime=12.69 cores=1,3,5,7
/proc/10793/stat : 10793 (toysat) R 10790 10793 3593 0 -1 4202496 275946 0 0 0 1228 41 0 0 20 0 4 0 109320133 1373179904 276755 33554432000 4194304 16246674 140735385042624 140735385024512 12449269 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10793/statm: 335249 276755 914 2943 0 332143 0
[pid=10793/tid=10794] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10794/stat : 10794 (toysat) S 10790 10793 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276755 33554432000 4194304 16246674 140735385042624 139944346496240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10793/tid=10795] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10795/stat : 10795 (toysat) S 10790 10793 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276755 33554432000 4194304 16246674 140735385042624 139944261561584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10793/tid=10796] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10796/stat : 10796 (toysat) S 10790 10793 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276755 33554432000 4194304 16246674 140735385042624 139944251088048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1340996
[startup+25.5005 s]
/proc/loadavg: 2.26 2.22 2.29 3/183 10797
/proc/meminfo: memFree=27950488/32872528 swapFree=16080/1655368
[pid=10793] ppid=10790 vsize=1340996 CPUtime=25.48 cores=1,3,5,7
/proc/10793/stat : 10793 (toysat) R 10790 10793 3593 0 -1 4202496 275949 0 0 0 2507 41 0 0 20 0 4 0 109320133 1373179904 276758 33554432000 4194304 16246674 140735385042624 140735385024512 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10793/statm: 335249 276758 916 2943 0 332143 0
[pid=10793/tid=10794] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10794/stat : 10794 (toysat) S 10790 10793 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276758 33554432000 4194304 16246674 140735385042624 139944346496240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10793/tid=10795] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10795/stat : 10795 (toysat) S 10790 10793 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276758 33554432000 4194304 16246674 140735385042624 139944261561584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10793/tid=10796] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10796/stat : 10796 (toysat) S 10790 10793 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276758 33554432000 4194304 16246674 140735385042624 139944251088048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1340996
[startup+51.1005 s]
/proc/loadavg: 2.30 2.23 2.29 4/183 10797
/proc/meminfo: memFree=27950500/32872528 swapFree=16080/1655368
[pid=10793] ppid=10790 vsize=1340996 CPUtime=51.08 cores=1,3,5,7
/proc/10793/stat : 10793 (toysat) R 10790 10793 3593 0 -1 4202496 275949 0 0 0 5067 41 0 0 20 0 4 0 109320133 1373179904 276758 33554432000 4194304 16246674 140735385042624 140735385024512 5824003 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10793/statm: 335249 276758 916 2943 0 332143 0
[pid=10793/tid=10794] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10794/stat : 10794 (toysat) S 10790 10793 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276758 33554432000 4194304 16246674 140735385042624 139944346496240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10793/tid=10795] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10795/stat : 10795 (toysat) S 10790 10793 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276758 33554432000 4194304 16246674 140735385042624 139944261561584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10793/tid=10796] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10796/stat : 10796 (toysat) S 10790 10793 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276758 33554432000 4194304 16246674 140735385042624 139944251088048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1340996
[startup+102.3 s]
/proc/loadavg: 2.17 2.20 2.27 3/183 10799
/proc/meminfo: memFree=27949760/32872528 swapFree=16080/1655368
[pid=10793] ppid=10790 vsize=1340996 CPUtime=102.29 cores=1,3,5,7
/proc/10793/stat : 10793 (toysat) R 10790 10793 3593 0 -1 4202496 275952 0 0 0 10187 42 0 0 20 0 4 0 109320133 1373179904 276761 33554432000 4194304 16246674 140735385042624 140735385024512 5672222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10793/statm: 335249 276761 918 2943 0 332143 0
[pid=10793/tid=10794] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10794/stat : 10794 (toysat) S 10790 10793 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276761 33554432000 4194304 16246674 140735385042624 139944346496240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10793/tid=10795] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10795/stat : 10795 (toysat) S 10790 10793 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276761 33554432000 4194304 16246674 140735385042624 139944261561584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10793/tid=10796] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10796/stat : 10796 (toysat) S 10790 10793 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276761 33554432000 4194304 16246674 140735385042624 139944251088048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1340996
################
# More data... #
################
/proc/10793/task/10796/stat : 10796 (toysat) S 10790 10793 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944251088048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1340996
[startup+1362.3 s]
/proc/loadavg: 2.23 2.22 2.24 3/183 10830
/proc/meminfo: memFree=27947144/32872528 swapFree=16080/1655368
[pid=10793] ppid=10790 vsize=1340996 CPUtime=1362.08 cores=1,3,5,7
/proc/10793/stat : 10793 (toysat) R 10790 10793 3593 0 -1 4202496 275953 0 0 0 136164 44 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 140735385024512 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10793/statm: 335249 276762 919 2943 0 332143 0
[pid=10793/tid=10794] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10794/stat : 10794 (toysat) S 10790 10793 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944346496240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10793/tid=10795] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10795/stat : 10795 (toysat) S 10790 10793 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944261561584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10793/tid=10796] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10796/stat : 10796 (toysat) S 10790 10793 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944251088048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1340996
[startup+1422.3 s]
/proc/loadavg: 2.27 2.23 2.24 3/183 10831
/proc/meminfo: memFree=27947120/32872528 swapFree=16080/1655368
[pid=10793] ppid=10790 vsize=1340996 CPUtime=1422.08 cores=1,3,5,7
/proc/10793/stat : 10793 (toysat) R 10790 10793 3593 0 -1 4202496 275953 0 0 0 142164 44 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 140735385040448 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10793/statm: 335249 276762 919 2943 0 332143 0
[pid=10793/tid=10794] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10794/stat : 10794 (toysat) S 10790 10793 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944346496240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10793/tid=10795] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10795/stat : 10795 (toysat) S 10790 10793 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944261561584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10793/tid=10796] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10796/stat : 10796 (toysat) S 10790 10793 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944251088048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1340996
[startup+1482.3 s]
/proc/loadavg: 2.21 2.22 2.24 4/183 10832
/proc/meminfo: memFree=27946216/32872528 swapFree=16080/1655368
[pid=10793] ppid=10790 vsize=1340996 CPUtime=1482.05 cores=1,3,5,7
/proc/10793/stat : 10793 (toysat) R 10790 10793 3593 0 -1 4202496 275983 0 0 0 148161 44 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 140735385024512 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10793/statm: 335249 276762 919 2943 0 332143 0
[pid=10793/tid=10794] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10794/stat : 10794 (toysat) S 10790 10793 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944346496240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10793/tid=10795] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10795/stat : 10795 (toysat) S 10790 10793 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944261561584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10793/tid=10796] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10796/stat : 10796 (toysat) S 10790 10793 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944251088048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1340996
[startup+1542.31 s]
/proc/loadavg: 2.18 2.21 2.23 3/183 10833
/proc/meminfo: memFree=27946468/32872528 swapFree=16080/1655368
[pid=10793] ppid=10790 vsize=1340996 CPUtime=1542.01 cores=1,3,5,7
/proc/10793/stat : 10793 (toysat) R 10790 10793 3593 0 -1 4202496 276030 0 0 0 154157 44 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 140735385024512 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10793/statm: 335249 276762 919 2943 0 332143 0
[pid=10793/tid=10794] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10794/stat : 10794 (toysat) S 10790 10793 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944346496240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10793/tid=10795] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10795/stat : 10795 (toysat) S 10790 10793 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944261561584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10793/tid=10796] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10796/stat : 10796 (toysat) S 10790 10793 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944251088048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1340996
[startup+1602.3 s]
/proc/loadavg: 2.23 2.21 2.23 3/183 10835
/proc/meminfo: memFree=27947256/32872528 swapFree=16080/1655368
[pid=10793] ppid=10790 vsize=1340996 CPUtime=1601.98 cores=1,3,5,7
/proc/10793/stat : 10793 (toysat) R 10790 10793 3593 0 -1 4202496 276074 0 0 0 160153 45 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 140735385024512 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10793/statm: 335249 276762 919 2943 0 332143 0
[pid=10793/tid=10794] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10794/stat : 10794 (toysat) S 10790 10793 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944346496240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10793/tid=10795] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10795/stat : 10795 (toysat) S 10790 10793 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944261561584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10793/tid=10796] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10796/stat : 10796 (toysat) S 10790 10793 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944251088048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 1340996
[startup+1662.3 s]
/proc/loadavg: 2.28 2.23 2.23 4/183 10836
/proc/meminfo: memFree=27946472/32872528 swapFree=16080/1655368
[pid=10793] ppid=10790 vsize=1340996 CPUtime=1661.94 cores=1,3,5,7
/proc/10793/stat : 10793 (toysat) R 10790 10793 3593 0 -1 4202496 276120 0 0 0 166149 45 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 140735385024512 5822171 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10793/statm: 335249 276762 919 2943 0 332143 0
[pid=10793/tid=10794] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10794/stat : 10794 (toysat) S 10790 10793 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944346496240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10793/tid=10795] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10795/stat : 10795 (toysat) S 10790 10793 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944261561584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10793/tid=10796] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10796/stat : 10796 (toysat) S 10790 10793 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944251088048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1340996
[startup+1722.3 s]
/proc/loadavg: 2.18 2.22 2.23 3/183 10837
/proc/meminfo: memFree=27947472/32872528 swapFree=16080/1655368
[pid=10793] ppid=10790 vsize=1340996 CPUtime=1721.9 cores=1,3,5,7
/proc/10793/stat : 10793 (toysat) R 10790 10793 3593 0 -1 4202496 276164 0 0 0 172145 45 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 140735385024512 5823086 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10793/statm: 335249 276762 919 2943 0 332143 0
[pid=10793/tid=10794] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10794/stat : 10794 (toysat) S 10790 10793 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944346496240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10793/tid=10795] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10795/stat : 10795 (toysat) S 10790 10793 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944261561584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10793/tid=10796] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10796/stat : 10796 (toysat) S 10790 10793 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944251088048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1340996
[startup+1782.3 s]
/proc/loadavg: 2.24 2.23 2.23 3/184 10841
/proc/meminfo: memFree=27946272/32872528 swapFree=16080/1655368
[pid=10793] ppid=10790 vsize=1340996 CPUtime=1781.86 cores=1,3,5,7
/proc/10793/stat : 10793 (toysat) R 10790 10793 3593 0 -1 4202496 276208 0 0 0 178141 45 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 140735385024512 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10793/statm: 335249 276762 919 2943 0 332143 0
[pid=10793/tid=10794] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10794/stat : 10794 (toysat) S 10790 10793 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944346496240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10793/tid=10795] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10795/stat : 10795 (toysat) S 10790 10793 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944261561584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10793/tid=10796] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10796/stat : 10796 (toysat) S 10790 10793 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944251088048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1340996
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.25 2.23 2.23 3/184 10864
/proc/meminfo: memFree=27946676/32872528 swapFree=16080/1655368
[pid=10793] ppid=10790 vsize=1340996 CPUtime=1800.05 cores=1,3,5,7
/proc/10793/stat : 10793 (toysat) R 10790 10793 3593 0 -1 4202496 276215 0 0 0 179960 45 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 140735385024512 6021072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10793/statm: 335249 276762 919 2943 0 332143 0
[pid=10793/tid=10794] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10794/stat : 10794 (toysat) S 10790 10793 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944346496240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10793/tid=10795] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10795/stat : 10795 (toysat) S 10790 10793 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944261561584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10793/tid=10796] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10796/stat : 10796 (toysat) S 10790 10793 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944251088048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1340996
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 10793 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.25 2.23 2.23 3/184 10864
/proc/meminfo: memFree=27946676/32872528 swapFree=16080/1655368
[pid=10793] ppid=10790 vsize=1340996 CPUtime=1800.05 cores=1,3,5,7
/proc/10793/stat : 10793 (toysat) R 10790 10793 3593 0 -1 4202496 276215 0 0 0 179960 45 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 140735385024512 6021072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10793/statm: 335249 276762 919 2943 0 332143 0
[pid=10793/tid=10794] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10794/stat : 10794 (toysat) S 10790 10793 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944346496240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10793/tid=10795] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10795/stat : 10795 (toysat) S 10790 10793 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944261561584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10793/tid=10796] ppid=10790 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10793/task/10796/stat : 10796 (toysat) S 10790 10793 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320133 1373179904 276762 33554432000 4194304 16246674 140735385042624 139944251088048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1340996
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.54
CPU time (s): 1800.1
CPU user time (s): 1799.61
CPU system time (s): 0.482926
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 1340996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.482926
maximum resident set size= 1107048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276215
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= 292
involuntary context switches= 1877
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.68829 second user time and 6.83196 second system time
The end