0.00/0.00 c 2016-06-07T06:26:09+0200
0.00/0.00 c version = 0.5.0
0.00/0.00 c githash = 1a49202
0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00 c arch = x86_64
0.00/0.00 c os = linux
0.00/0.00 c compiler = ghc 7.10
0.00/0.00 c packages:
0.00/0.00 c OptDir-0.0.3
0.00/0.00 c array-0.5.1.0
0.00/0.00 c base-4.8.2.0
0.00/0.00 c bytestring-0.10.6.0
0.00/0.00 c bytestring-builder-0.10.6.0.0
0.00/0.00 c clock-0.7.2
0.00/0.00 c containers-0.5.6.2
0.00/0.00 c data-default-0.5.3
0.00/0.00 c data-default-class-0.0.1
0.00/0.00 c data-interval-1.2.0
0.00/0.00 c deepseq-1.4.1.1
0.00/0.00 c directory-1.2.2.0
0.00/0.00 c exceptions-0.8.2.1
0.00/0.00 c extended-reals-0.2.1.0
0.00/0.00 c filepath-1.4.0.0
0.00/0.00 c finite-field-0.8.0
0.00/0.00 c hashable-1.2.4.0
0.00/0.00 c heaps-0.3.3
0.00/0.00 c intern-0.9.1.4
0.00/0.00 c loop-0.3.0
0.00/0.00 c mtl-2.2.1
0.00/0.00 c multiset-0.3.2
0.00/0.00 c mwc-random-0.13.3.2
0.00/0.00 c parse_dimacs-1.3
0.00/0.00 c parsec-3.1.9
0.00/0.00 c prettyclass-1.0.0.0
0.00/0.00 c primes-0.2.1.0
0.00/0.00 c primitive-0.6.1.0
0.00/0.00 c process-1.2.3.0
0.00/0.00 c pseudo-boolean-0.1.3.0
0.00/0.01 c queue-0.1.2
0.00/0.01 c semigroups-0.18.1
0.00/0.01 c sign-0.4.3
0.00/0.01 c stm-2.4.4.1
0.00/0.01 c template-haskell-2.10.0.0
0.00/0.01 c temporary-1.2.0.4
0.00/0.01 c time-1.5.0.1
0.00/0.01 c transformers-0.4.2.0
0.00/0.01 c transformers-compat-0.5.1.4
0.00/0.01 c type-level-numbers-0.1.1.1
0.00/0.01 c unbounded-delays-0.1.0.9
0.00/0.01 c unordered-containers-0.2.6.0
0.00/0.01 c vector-0.11.0.0
0.00/0.01 c vector-space-0.10.3
0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079956-1465273569.opb"]
0.00/0.01 c use --random-gen="2931256193 2969417033 1116290560 632508586 3075022544 2725521158 3540373547 2449289892 3976265148 3612329581 3172890162 3023455615 771834893 1901167755 309704907 1119250064 2470647630 948321588 3531443684 478374396 1144944256 3089325193 2626063229 3256619363 70230517 3785520212 3385839852 168404574 2036088491 1853287992 1072777628 266018709 1397675050 2485803918 933688093 2922136929 2727632603 2998969663 3019514131 1178286440 1125588228 2703453730 1973862818 1479208392 980546375 3091870175 1540890417 726761623 2131487521 1109669091 3074686434 3986397987 1620907943 3725417418 2672975492 165662754 407620265 1539815911 4190216473 114877373 2877001918 2711506716 1249945380 2051176296 2455223770 2150726419 536022650 397197681 3278749567 1080108607 3193300633 3102748739 1193752676 697758027 602668969 560342820 3899105568 3149520141 3965828063 2131474941 2428456635 3286988505 4126907373 578573978 602521801 2070765996 1483288442 452443167 233911940 3310200294 4024045715 2650267848 3013099357 1604164708 1091068773 211336328 3184190597 4155120407 1244554892 4232661455 2581484795 160994101 2239894895 3479266189 3097301072 1452067547 1606314449 1279051853 3258288105 2993887782 2250882648 3307036122 3761074011 3998902839 1623520294 4166518682 155127200 4048862139 2013992413 2796175747 2348288929 1439325250 2011211943 1505579097 3987404801 1670966140 1798406835 4280798263 508968540 2931169826 199686066 1790696700 882667823 1993638545 3130680841 1442646331 2116604024 765975369 2298911468 2812722185 1124721444 4116244043 1779266275 1694102283 291501403 3672526525 1614470129 1017645513 3240485459 274050979 4222351141 977911185 4129188809 3541052731 1482725418 2116156398 1904244720 3667062747 3608085794 210787638 3546208733 875560777 216564622 1670230610 3790712801 114290871 863995009 3503972419 4267569692 1007536443 5200505 491258061 2852129815 2908567832 2903896793 1934554902 2194322403 3609420733 1875701567 17013293 738268029 1236659352 294790962 1090541206 3739996459 868255235 2187492855 1217696058 226288564 2700752226 3204029245 3666627191 4153791244 899048127 3358907298 2981906722 1456894567 85799149 2305849354 1027271056 652935085 2061056599 291919851 1133979870 1809223829 1253030439 2714793638 1242020892 1872018442 3016183187 2475374461 1600807151 133491781 1012148673 2252023704 2916269962 1899056186 4241828763 2645486153 3760012096 2544881703 22101453 1230318642 525968612 1118505127 370371344 245277914 3676119072 2831439793 1796783305 2212555928 1868517711 2962786346 4239482435 1021303477 2538482586 3359188284 1448018523 46500875 1271386127 3539710862 3420163038 880681583 1807568511 792773102 512555717 2526501171 976478998 997736968 2712152152 685249692 1989190069 800720059 2716569692 2155114564 3754717619 255 362436" option to reproduce the execution
0.69/0.71 c #vars 36722
0.69/0.71 c #constraints 117714
2.19/2.29 c BCD2: Hardening is enabled.
2.19/2.29 c BCD2: BiasedSearch is enabled.
2.19/2.29 c Solving starts ...
2.19/2.29 c ============================[ Search Statistics ]============================
2.19/2.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.19/2.29 c | | | | Limit GC | Var | Constra
2.19/2.29 c =============================================================================
2.19/2.29 c 0.0s | 0 | 0 | 0 | 45440 0 | 7449 | 0
2.39/2.43 c 0.1s | 0 | 61 | 0 | 45440 0 | 7449 | 9524
2.39/2.43 c #cpu_time = 0.118s
2.39/2.43 c #wall_clock_time = 0.118s
2.39/2.43 c #decision = 61
2.39/2.43 c #random_decision = 0
2.39/2.43 c #conflict = 0
2.39/2.43 c #restart = 0
2.39/2.43 o 300
2.39/2.43 c BCD2: hardening fixes 1 literals
2.39/2.43 c BCD2: updating upper bound: 45150 -> 299
2.39/2.43 c BCD2: 0 <= obj <= 299
2.39/2.43 c BCD2: #cores=0, #unrelaxed=299, #relaxed=0, #hardened=1
2.39/2.43 c BCD2: #sat=1 #unsat=1 bias=1/2
2.39/2.43 c Solving starts ...
2.39/2.43 c ============================[ Search Statistics ]============================
2.39/2.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.39/2.43 c | | | | Limit GC | Var | Constra
2.39/2.43 c =============================================================================
2.39/2.43 c 0.0s | 0 | 0 | 0 | 45440 0 | 7571 | 9524
2.49/2.53 c 0.1s | 0 | 209 | 0 | 45440 0 | 7571 | 9919
2.49/2.53 c #cpu_time = 0.095s
2.49/2.53 c #wall_clock_time = 0.096s
2.49/2.53 c #decision = 209
2.49/2.53 c #random_decision = 0
2.49/2.53 c #conflict = 0
2.49/2.53 c #restart = 0
2.49/2.53 c BCD2: found a new core of size 210: cost of the new core is >=90
2.49/2.53 c lower bound updated to 90
2.49/2.53 c BCD2: 90 <= obj <= 299
2.49/2.53 c BCD2: #cores=1, #unrelaxed=89, #relaxed=210, #hardened=1
2.49/2.53 c BCD2: #sat=1 #unsat=2 bias=2/3
4.19/4.22 c Solving starts ...
4.19/4.22 c ============================[ Search Statistics ]============================
4.19/4.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
4.19/4.22 c | | | | Limit GC | Var | Constra
4.19/4.22 c =============================================================================
4.19/4.22 c 0.0s | 0 | 0 | 0 | 45440 0 | 7571 | 9919
4.29/4.40 c 0.2s | 0 | 39 | 28 | 45440 0 | 7572 | 9920
4.29/4.40 c #cpu_time = 0.179s
4.29/4.40 c #wall_clock_time = 0.179s
4.29/4.40 c #decision = 39
4.29/4.40 c #random_decision = 0
4.29/4.40 c #conflict = 28
4.29/4.40 c #restart = 0
4.29/4.40 c BCD2: updating lower bound of a core
4.29/4.40 c lower bound updated to 91
4.29/4.40 c BCD2: 91 <= obj <= 299
4.29/4.40 c BCD2: #cores=1, #unrelaxed=89, #relaxed=210, #hardened=1
4.29/4.40 c BCD2: #sat=1 #unsat=3 bias=3/4
5.79/5.80 c Solving starts ...
5.79/5.80 c ============================[ Search Statistics ]============================
5.79/5.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
5.79/5.80 c | | | | Limit GC | Var | Constra
5.79/5.80 c =============================================================================
5.79/5.80 c 0.0s | 0 | 0 | 0 | 45440 0 | 7572 | 9920
5.89/5.98 c 0.2s | 0 | 32 | 29 | 45440 0 | 7573 | 9921
5.89/5.98 c #cpu_time = 0.182s
5.89/5.98 c #wall_clock_time = 0.183s
5.89/5.98 c #decision = 32
5.89/5.98 c #random_decision = 0
5.89/5.98 c #conflict = 29
5.89/5.98 c #restart = 0
5.89/5.98 c BCD2: updating lower bound of a core
5.89/5.98 c lower bound updated to 92
5.89/5.98 c BCD2: 92 <= obj <= 299
5.89/5.98 c BCD2: #cores=1, #unrelaxed=89, #relaxed=210, #hardened=1
5.89/5.98 c BCD2: #sat=1 #unsat=4 bias=4/5
7.38/7.41 c Solving starts ...
7.38/7.41 c ============================[ Search Statistics ]============================
7.38/7.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
7.38/7.41 c | | | | Limit GC | Var | Constra
7.38/7.41 c =============================================================================
7.38/7.41 c 0.0s | 0 | 0 | 0 | 45440 0 | 7573 | 9921
7.58/7.61 c 0.2s | 0 | 69 | 43 | 45440 0 | 7574 | 9922
7.58/7.61 c #cpu_time = 0.192s
7.58/7.61 c #wall_clock_time = 0.192s
7.58/7.61 c #decision = 69
7.58/7.61 c #random_decision = 0
7.58/7.61 c #conflict = 43
7.58/7.61 c #restart = 0
7.58/7.61 c BCD2: updating lower bound of a core
7.58/7.61 c lower bound updated to 93
7.58/7.61 c BCD2: 93 <= obj <= 299
7.58/7.61 c BCD2: #cores=1, #unrelaxed=89, #relaxed=210, #hardened=1
7.58/7.61 c BCD2: #sat=1 #unsat=5 bias=5/6
8.89/8.98 c Solving starts ...
8.89/8.98 c ============================[ Search Statistics ]============================
8.89/8.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
8.89/8.98 c | | | | Limit GC | Var | Constra
8.89/8.98 c =============================================================================
8.89/8.98 c 0.0s | 0 | 0 | 0 | 45440 0 | 7574 | 9922
9.18/9.22 c 0.2s | 0 | 62 | 46 | 49985 0 | 7575 | 9923
9.18/9.22 c #cpu_time = 0.231s
9.18/9.22 c #wall_clock_time = 0.232s
9.18/9.23 c #decision = 62
9.18/9.23 c #random_decision = 0
9.18/9.23 c #conflict = 46
9.18/9.23 c #restart = 0
9.18/9.23 c BCD2: updating lower bound of a core
9.18/9.23 c lower bound updated to 94
9.18/9.23 c BCD2: 94 <= obj <= 299
9.18/9.23 c BCD2: #cores=1, #unrelaxed=89, #relaxed=210, #hardened=1
9.18/9.23 c BCD2: #sat=1 #unsat=6 bias=6/7
10.58/10.62 c Solving starts ...
10.58/10.62 c ============================[ Search Statistics ]============================
10.58/10.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
10.58/10.62 c | | | | Limit GC | Var | Constra
10.58/10.62 c =============================================================================
10.58/10.62 c 0.0s | 0 | 0 | 0 | 49985 0 | 7575 | 9923
10.78/10.84 c 0.2s | 1 | 127 | 100 | 49985 0 | 7575 | 9923
10.99/11.02 c 0.4s | 1 | 151 | 122 | 54984 0 | 7576 | 9924
10.99/11.02 c #cpu_time = 0.398s
10.99/11.02 c #wall_clock_time = 0.399s
10.99/11.02 c #decision = 151
10.99/11.02 c #random_decision = 0
10.99/11.02 c #conflict = 122
10.99/11.02 c #restart = 1
10.99/11.02 c BCD2: updating lower bound of a core
10.99/11.02 c lower bound updated to 95
10.99/11.02 c BCD2: 95 <= obj <= 299
10.99/11.02 c BCD2: #cores=1, #unrelaxed=89, #relaxed=210, #hardened=1
10.99/11.02 c BCD2: #sat=1 #unsat=7 bias=7/8
12.28/12.37 c Solving starts ...
12.28/12.37 c ============================[ Search Statistics ]============================
12.28/12.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
12.28/12.37 c | | | | Limit GC | Var | Constra
12.28/12.37 c =============================================================================
12.28/12.37 c 0.0s | 0 | 0 | 0 | 54984 0 | 7576 | 9924
12.68/12.71 c 0.3s | 1 | 180 | 100 | 54984 0 | 7598 | 9985
12.98/13.03 c 0.7s | 1 | 343 | 226 | 60483 0 | 7599 | 9986
12.98/13.03 c #cpu_time = 0.657s
12.98/13.03 c #wall_clock_time = 0.659s
12.98/13.03 c #decision = 343
12.98/13.03 c #random_decision = 0
12.98/13.03 c #conflict = 226
12.98/13.03 c #restart = 1
12.98/13.03 c BCD2: updating lower bound of a core
12.98/13.03 c lower bound updated to 96
12.98/13.03 c BCD2: 96 <= obj <= 299
12.98/13.03 c BCD2: #cores=1, #unrelaxed=89, #relaxed=210, #hardened=1
12.98/13.03 c BCD2: #sat=1 #unsat=8 bias=8/9
14.29/14.40 c Solving starts ...
14.29/14.40 c ============================[ Search Statistics ]============================
14.29/14.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
14.29/14.40 c | | | | Limit GC | Var | Constra
14.29/14.40 c =============================================================================
14.29/14.40 c 0.0s | 0 | 0 | 0 | 60483 0 | 7599 | 9986
14.58/14.65 c 0.2s | 1 | 126 | 100 | 60483 0 | 7599 | 9986
14.88/14.97 c 0.6s | 2 | 317 | 250 | 60483 0 | 7599 | 9986
15.39/15.41 c 1.0s | 3 | 590 | 475 | 66532 0 | 7599 | 9986
15.58/15.69 c 1.3s | 3 | 718 | 573 | 66532 0 | 7600 | 9987
15.58/15.69 c #cpu_time = 1.282s
15.58/15.69 c #wall_clock_time = 1.286s
15.58/15.69 c #decision = 718
15.58/15.69 c #random_decision = 0
15.58/15.69 c #conflict = 573
15.58/15.69 c #restart = 3
15.58/15.69 c BCD2: updating lower bound of a core
15.58/15.69 c lower bound updated to 97
15.58/15.69 c BCD2: 97 <= obj <= 299
15.58/15.69 c BCD2: #cores=1, #unrelaxed=89, #relaxed=210, #hardened=1
15.58/15.69 c BCD2: #sat=1 #unsat=9 bias=9/10
16.98/17.02 c Solving starts ...
16.98/17.02 c ============================[ Search Statistics ]============================
16.98/17.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
16.98/17.02 c | | | | Limit GC | Var | Constra
16.98/17.02 c =============================================================================
16.98/17.02 c 0.0s | 0 | 0 | 0 | 66532 0 | 7600 | 9987
17.18/17.24 c 0.2s | 1 | 133 | 100 | 66532 0 | 7600 | 9987
17.48/17.59 c 0.6s | 2 | 348 | 250 | 66532 0 | 7600 | 9987
17.98/18.01 c 1.0s | 3 | 682 | 475 | 73186 0 | 7600 | 9987
18.48/18.55 c 1.5s | 4 | 1144 | 813 | 73186 0 | 7600 | 9987
19.38/19.45 c 2.4s | 5 | 1771 | 1320 | 80505 0 | 7600 | 9987
19.89/19.94 c 2.9s | 5 | 2001 | 1519 | 80505 0 | 7601 | 9988
19.89/19.94 c #cpu_time = 2.906s
19.89/19.94 c #wall_clock_time = 2.914s
19.89/19.94 c #decision = 2001
19.89/19.94 c #random_decision = 0
19.89/19.94 c #conflict = 1519
19.89/19.94 c #restart = 5
19.89/19.94 c BCD2: updating lower bound of a core
19.89/19.94 c lower bound updated to 98
19.89/19.94 c BCD2: 98 <= obj <= 299
19.89/19.94 c BCD2: #cores=1, #unrelaxed=89, #relaxed=210, #hardened=1
19.89/19.94 c BCD2: #sat=1 #unsat=10 bias=10/11
21.18/21.26 c Solving starts ...
21.18/21.26 c ============================[ Search Statistics ]============================
21.18/21.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
21.18/21.26 c | | | | Limit GC | Var | Constra
21.18/21.26 c =============================================================================
21.18/21.26 c 0.0s | 0 | 0 | 0 | 80505 0 | 7601 | 9988
21.48/21.53 c 0.3s | 1 | 129 | 100 | 80505 0 | 7601 | 9988
21.78/21.87 c 0.6s | 2 | 361 | 250 | 80505 0 | 7601 | 9988
22.18/22.27 c 1.0s | 3 | 657 | 475 | 80505 0 | 7601 | 9988
22.88/22.91 c 1.7s | 4 | 1074 | 813 | 88556 0 | 7601 | 9988
23.68/23.78 c 2.5s | 5 | 1698 | 1320 | 88556 0 | 7601 | 9988
25.18/25.27 c 4.0s | 6 | 2667 | 2081 | 88556 0 | 7601 | 9988
26.68/26.76 c 5.5s | 6 | 3512 | 2740 | 97412 0 | 7602 | 9989
26.68/26.76 c #cpu_time = 5.486s
26.68/26.76 c #wall_clock_time = 5.500s
26.68/26.76 c #decision = 3512
26.68/26.76 c #random_decision = 2
26.68/26.76 c #conflict = 2740
26.68/26.76 c #restart = 6
26.68/26.76 c BCD2: updating lower bound of a core
26.68/26.76 c lower bound updated to 99
26.68/26.76 c BCD2: 99 <= obj <= 299
26.68/26.76 c BCD2: #cores=1, #unrelaxed=89, #relaxed=210, #hardened=1
26.68/26.76 c BCD2: #sat=1 #unsat=11 bias=11/12
27.98/28.08 c Solving starts ...
27.98/28.08 c ============================[ Search Statistics ]============================
27.98/28.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.98/28.08 c | | | | Limit GC | Var | Constra
27.98/28.08 c =============================================================================
27.98/28.08 c 0.0s | 0 | 0 | 0 | 97412 0 | 7602 | 9989
28.28/28.37 c 0.3s | 1 | 146 | 100 | 97412 0 | 7602 | 9989
28.59/28.69 c 0.6s | 2 | 408 | 250 | 97412 0 | 7602 | 9989
29.08/29.16 c 1.1s | 3 | 745 | 475 | 97412 0 | 7602 | 9989
29.69/29.79 c 1.7s | 4 | 1267 | 813 | 97412 0 | 7602 | 9989
30.68/30.74 c 2.7s | 5 | 1963 | 1320 | 97412 0 | 7602 | 9989
31.99/32.03 c 3.9s | 6 | 3040 | 2081 | 97412 0 | 7608 | 10006
33.98/34.02 c 5.9s | 7 | 4452 | 3223 | 107154 0 | 7608 | 10006
36.08/36.15 c 8.1s | 7 | 5975 | 4423 | 107154 0 | 7608 | 10006
37.08/37.12 c 9.0s | 8 | 6586 | 4936 | 107154 0 | 7608 | 10006
39.08/39.13 c 11.1s | 8 | 7674 | 5836 | 107154 0 | 7608 | 10006
40.18/40.26 c 12.2s | 8 | 8210 | 6285 | 117870 0 | 7609 | 10007
40.18/40.26 c #cpu_time = 12.145s
40.18/40.26 c #wall_clock_time = 12.176s
40.18/40.26 c #decision = 8210
40.18/40.26 c #random_decision = 4
40.18/40.26 c #conflict = 6285
40.18/40.26 c #restart = 8
40.18/40.26 c BCD2: updating lower bound of a core
40.18/40.26 c lower bound updated to 100
40.18/40.26 c BCD2: 100 <= obj <= 299
40.18/40.26 c BCD2: #cores=1, #unrelaxed=89, #relaxed=210, #hardened=1
40.18/40.26 c BCD2: #sat=1 #unsat=12 bias=12/13
41.48/41.59 c Solving starts ...
41.48/41.59 c ============================[ Search Statistics ]============================
41.48/41.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
41.48/41.59 c | | | | Limit GC | Var | Constra
41.48/41.59 c =============================================================================
41.48/41.59 c 0.0s | 0 | 0 | 0 | 117870 0 | 7609 | 10007
41.79/41.89 c 0.3s | 1 | 146 | 100 | 117870 0 | 7609 | 10007
42.28/42.32 c 0.7s | 2 | 361 | 250 | 117870 0 | 7609 | 10007
42.78/42.90 c 1.3s | 3 | 727 | 475 | 117870 0 | 7609 | 10007
43.68/43.72 c 2.1s | 4 | 1206 | 813 | 117870 0 | 7609 | 10007
44.68/44.77 c 3.2s | 5 | 1909 | 1320 | 117870 0 | 7609 | 10007
46.08/46.16 c 4.6s | 6 | 2919 | 2081 | 117870 0 | 7609 | 10007
48.28/48.30 c 6.7s | 6 | 4404 | 3181 | 117870 0 | 7609 | 10007
48.28/48.37 c 6.8s | 7 | 4459 | 3223 | 117870 0 | 7609 | 10007
50.48/50.56 c 9.0s | 7 | 5955 | 4323 | 117870 0 | 7609 | 10007
51.69/51.76 c 10.2s | 8 | 6785 | 4936 | 117870 0 | 7609 | 10007
53.78/53.88 c 12.3s | 8 | 7721 | 5736 | 129658 0 | 7609 | 10007
55.98/56.01 c 14.4s | 8 | 8889 | 6736 | 129658 0 | 7609 | 10007
57.78/57.82 c 16.2s | 9 | 9812 | 7506 | 129658 0 | 7609 | 10007
59.98/60.00 c 18.4s | 9 | 10774 | 8306 | 129658 0 | 7609 | 10007
62.08/62.14 c 20.5s | 9 | 11748 | 9106 | 129658 0 | 7609 | 10007
64.18/64.23 c 22.6s | 9 | 12899 | 10006 | 129658 0 | 7609 | 10007
64.38/64.48 c 22.9s | 9 | 12963 | 10059 | 129658 0 | 7610 | 10008
64.38/64.48 c #cpu_time = 22.836s
64.38/64.48 c #wall_clock_time = 22.894s
64.38/64.48 c #decision = 12963
64.38/64.48 c #random_decision = 4
64.38/64.49 c #conflict = 10059
64.38/64.49 c #restart = 9
64.38/64.49 c BCD2: updating lower bound of a core
64.38/64.49 c lower bound updated to 101
64.38/64.49 c BCD2: 101 <= obj <= 299
64.38/64.49 c BCD2: #cores=1, #unrelaxed=89, #relaxed=210, #hardened=1
64.38/64.49 c BCD2: #sat=1 #unsat=13 bias=13/14
65.68/65.78 c Solving starts ...
65.68/65.78 c ============================[ Search Statistics ]============================
65.68/65.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
65.68/65.78 c | | | | Limit GC | Var | Constra
65.68/65.78 c =============================================================================
65.68/65.78 c 0.0s | 0 | 0 | 0 | 129658 0 | 7610 | 10008
66.18/66.23 c 0.5s | 1 | 140 | 100 | 129658 0 | 7610 | 10008
66.68/66.78 c 1.0s | 2 | 357 | 250 | 129658 0 | 7610 | 10008
67.38/67.49 c 1.7s | 3 | 650 | 475 | 129658 0 | 7610 | 10008
68.38/68.45 c 2.7s | 4 | 1127 | 813 | 129658 0 | 7610 | 10008
69.68/69.70 c 3.9s | 5 | 1829 | 1320 | 129658 0 | 7610 | 10008
71.48/71.56 c 5.8s | 6 | 2818 | 2081 | 129658 0 | 7610 | 10008
73.68/73.77 c 8.0s | 6 | 4039 | 2981 | 129658 0 | 7610 | 10008
74.27/74.36 c 8.6s | 7 | 4337 | 3223 | 129658 0 | 7610 | 10008
76.37/76.45 c 10.7s | 7 | 5377 | 4023 | 142624 0 | 7610 | 10008
78.37/78.45 c 12.7s | 7 | 6474 | 4923 | 142624 0 | 7610 | 10008
78.37/78.49 c 12.7s | 8 | 6485 | 4936 | 142624 0 | 7610 | 10008
80.47/80.50 c 14.7s | 8 | 7336 | 5636 | 142624 0 | 7610 | 10008
82.58/82.62 c 16.8s | 8 | 8362 | 6436 | 142624 0 | 7610 | 10008
84.68/84.79 c 19.0s | 8 | 9336 | 7236 | 142624 0 | 7610 | 10008
85.47/85.52 c 19.7s | 9 | 9651 | 7506 | 142624 0 | 7610 | 10008
87.67/87.70 c 21.9s | 9 | 10522 | 8206 | 142624 0 | 7610 | 10008
89.67/89.70 c 23.9s | 9 | 11376 | 8906 | 142624 0 | 7610 | 10008
91.77/91.81 c 26.0s | 9 | 12531 | 9806 | 142624 0 | 7610 | 10008
93.77/93.81 c 28.0s | 9 | 13525 | 10606 | 142624 0 | 7610 | 10008
95.78/95.88 c 30.1s | 9 | 14375 | 11306 | 142624 0 | 7610 | 10008
95.97/96.05 c 30.3s | 10 | 14449 | 11361 | 142624 0 | 7610 | 10008
98.07/98.17 c 32.4s | 10 | 15183 | 11961 | 142624 0 | 7610 | 10008
100.37/100.41 c 34.6s | 10 | 16167 | 12761 | 142624 0 | 7610 | 10008
102.57/102.65 c 36.9s | 10 | 17174 | 13561 | 142624 0 | 7610 | 10008
104.77/104.82 c 39.0s | 10 | 18014 | 14261 | 142624 0 | 7610 | 10008
106.78/106.87 c 41.1s | 10 | 18874 | 14961 | 142624 0 | 7610 | 10008
109.07/109.12 c 43.3s | 10 | 19841 | 15761 | 142624 0 | 7610 | 10008
111.18/111.29 c 45.5s | 10 | 20671 | 16461 | 142624 0 | 7610 | 10008
113.28/113.31 c 47.5s | 11 | 21492 | 17144 | 156887 0 | 7610 | 10008
115.58/115.63 c 49.8s | 11 | 22368 | 17844 | 156887 0 | 7610 | 10008
117.58/117.65 c 51.9s | 11 | 23070 | 18444 | 156887 0 | 7610 | 10008
119.78/119.80 c 54.0s | 11 | 23776 | 19044 | 156887 0 | 7610 | 10008
120.28/120.30 c 54.5s | 11 | 23845 | 19114 | 156887 0 | 7611 | 10009
120.28/120.30 c #cpu_time = 54.378s
120.28/120.30 c #wall_clock_time = 54.517s
120.28/120.30 c #decision = 23845
120.28/120.30 c #random_decision = 18
120.28/120.30 c #conflict = 19114
120.28/120.30 c #restart = 11
120.28/120.30 c BCD2: updating lower bound of a core
120.28/120.30 c lower bound updated to 102
120.28/120.30 c BCD2: 102 <= obj <= 299
120.28/120.30 c BCD2: #cores=1, #unrelaxed=89, #relaxed=210, #hardened=1
120.28/120.30 c BCD2: #sat=1 #unsat=14 bias=14/15
121.58/121.61 c Solving starts ...
121.58/121.61 c ============================[ Search Statistics ]============================
121.58/121.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
121.58/121.61 c | | | | Limit GC | Var | Constra
121.58/121.61 c =============================================================================
121.58/121.61 c 0.0s | 0 | 0 | 0 | 156887 0 | 7611 | 10009
122.08/122.10 c 0.5s | 1 | 190 | 100 | 156887 0 | 7611 | 10009
122.78/122.84 c 1.2s | 2 | 443 | 250 | 156887 0 | 7611 | 10009
123.78/123.89 c 2.3s | 3 | 765 | 475 | 156887 0 | 7611 | 10009
124.98/125.00 c 3.4s | 4 | 1264 | 813 | 156887 0 | 7611 | 10009
126.88/126.93 c 5.3s | 5 | 1889 | 1320 | 156887 0 | 7611 | 10009
128.98/129.09 c 7.5s | 5 | 2708 | 1920 | 156887 0 | 7611 | 10009
129.38/129.48 c 7.9s | 6 | 2928 | 2081 | 156887 0 | 7611 | 10009
131.68/131.71 c 10.1s | 6 | 3822 | 2781 | 156887 0 | 7611 | 10009
133.08/133.15 c 11.5s | 7 | 4440 | 3223 | 156887 0 | 7611 | 10009
135.38/135.43 c 13.8s | 7 | 5136 | 3723 | 156887 0 | 7611 | 10009
137.67/137.79 c 16.2s | 7 | 6004 | 4423 | 156887 0 | 7611 | 10009
139.78/139.87 c 18.3s | 7 | 6625 | 4923 | 156887 0 | 7611 | 10009
139.87/139.96 c 18.4s | 8 | 6644 | 4936 | 156887 0 | 7611 | 10009
141.88/141.97 c 20.4s | 8 | 7401 | 5536 | 156887 0 | 7611 | 10009
143.97/144.01 c 22.4s | 8 | 8284 | 6236 | 156887 0 | 7611 | 10009
145.97/146.07 c 24.5s | 8 | 9146 | 6936 | 156887 0 | 7611 | 10009
147.67/147.77 c 26.2s | 9 | 9857 | 7506 | 156887 0 | 7611 | 10009
149.97/150.03 c 28.4s | 9 | 10585 | 8106 | 156887 0 | 7611 | 10009
152.07/152.17 c 30.6s | 9 | 11314 | 8706 | 156887 0 | 7611 | 10009
154.17/154.23 c 32.6s | 9 | 12034 | 9306 | 156887 0 | 7611 | 10009
156.37/156.45 c 34.8s | 9 | 12899 | 10006 | 156887 0 | 7611 | 10009
158.67/158.75 c 37.1s | 9 | 13759 | 10706 | 156887 0 | 7611 | 10009
160.97/161.01 c 39.4s | 9 | 14515 | 11306 | 156887 0 | 7611 | 10009
161.17/161.21 c 39.6s | 10 | 14574 | 11361 | 156887 0 | 7611 | 10009
163.47/163.55 c 41.9s | 10 | 15223 | 11861 | 156887 0 | 7611 | 10009
165.77/165.80 c 44.2s | 10 | 16010 | 12461 | 156887 0 | 7611 | 10009
168.07/168.17 c 46.6s | 10 | 16744 | 13061 | 156887 0 | 7611 | 10009
170.17/170.23 c 48.6s | 10 | 17501 | 13661 | 156887 0 | 7611 | 10009
172.47/172.51 c 50.9s | 10 | 18287 | 14261 | 156887 0 | 7611 | 10009
174.57/174.67 c 53.1s | 10 | 19062 | 14861 | 156887 0 | 7611 | 10009
176.67/176.73 c 55.1s | 10 | 19656 | 15361 | 156887 0 | 7611 | 10009
178.87/178.98 c 57.4s | 10 | 20249 | 15861 | 156887 0 | 7611 | 10009
181.17/181.26 c 59.6s | 10 | 20986 | 16461 | 156887 0 | 7611 | 10009
183.27/183.31 c 61.7s | 10 | 21767 | 17061 | 156887 0 | 7611 | 10009
183.47/183.53 c 61.9s | 11 | 21884 | 17144 | 156887 0 | 7611 | 10009
185.67/185.73 c 64.1s | 11 | 22542 | 17644 | 172576 0 | 7611 | 10009
187.77/187.86 c 66.3s | 11 | 23270 | 18244 | 172576 0 | 7611 | 10009
189.97/190.05 c 68.4s | 11 | 23993 | 18844 | 172576 0 | 7611 | 10009
191.96/192.07 c 70.5s | 11 | 24642 | 19344 | 172576 0 | 7611 | 10009
194.06/194.17 c 72.6s | 11 | 25367 | 19944 | 172576 0 | 7611 | 10009
196.36/196.43 c 74.8s | 11 | 26077 | 20544 | 172576 0 | 7611 | 10009
198.66/198.72 c 77.1s | 11 | 26651 | 21044 | 172576 0 | 7611 | 10009
200.76/200.89 c 79.3s | 11 | 27400 | 21644 | 172576 0 | 7611 | 10009
202.96/203.08 c 81.5s | 11 | 28127 | 22244 | 172576 0 | 7611 | 10009
205.16/205.23 c 83.6s | 11 | 28707 | 22744 | 172576 0 | 7611 | 10009
207.26/207.33 c 85.7s | 11 | 29327 | 23244 | 172576 0 | 7611 | 10009
209.46/209.57 c 88.0s | 11 | 29977 | 23744 | 172576 0 | 7611 | 10009
211.76/211.80 c 90.2s | 11 | 30725 | 24344 | 172576 0 | 7611 | 10009
213.96/214.04 c 92.4s | 11 | 31463 | 24944 | 172576 0 | 7611 | 10009
216.26/216.34 c 94.7s | 11 | 32174 | 25544 | 172576 0 | 7611 | 10009
217.26/217.38 c 95.8s | 12 | 32483 | 25819 | 172576 0 | 7611 | 10009
219.66/219.76 c 98.1s | 12 | 32968 | 26219 | 172576 0 | 7611 | 10009
221.66/221.78 c 100s | 12 | 33468 | 26619 | 172576 0 | 7611 | 10009
223.76/223.89 c 102s | 12 | 33955 | 27019 | 172576 0 | 7611 | 10009
225.96/226.08 c 104s | 12 | 34575 | 27519 | 172576 0 | 7611 | 10009
228.16/228.29 c 106s | 12 | 35210 | 28019 | 172576 0 | 7611 | 10009
230.26/230.32 c 108s | 12 | 35834 | 28519 | 172576 0 | 7611 | 10009
232.26/232.33 c 110s | 12 | 36476 | 29019 | 172576 0 | 7611 | 10009
234.66/234.73 c 113s | 12 | 37044 | 29519 | 172576 0 | 7611 | 10009
236.76/236.84 c 115s | 12 | 37670 | 30019 | 172576 0 | 7611 | 10009
238.86/238.97 c 117s | 12 | 38266 | 30519 | 172576 0 | 7611 | 10009
241.16/241.21 c 119s | 12 | 38887 | 31019 | 172576 0 | 7611 | 10009
243.26/243.39 c 121s | 12 | 39514 | 31519 | 172576 0 | 7611 | 10009
245.66/245.73 c 124s | 12 | 40125 | 32019 | 172576 0 | 7611 | 10009
248.06/248.17 c 126s | 12 | 40863 | 32619 | 172576 0 | 7611 | 10009
250.55/250.63 c 129s | 12 | 41445 | 33119 | 172576 0 | 7611 | 10009
252.65/252.71 c 131s | 12 | 42062 | 33619 | 172576 0 | 7611 | 10009
255.05/255.13 c 133s | 12 | 42684 | 34119 | 172576 0 | 7611 | 10009
257.46/257.59 c 135s | 12 | 43317 | 34619 | 172576 0 | 7611 | 10009
259.75/259.88 c 138s | 12 | 43797 | 35019 | 172576 0 | 7611 | 10009
262.15/262.26 c 140s | 12 | 44434 | 35519 | 172576 0 | 7611 | 10009
264.35/264.40 c 142s | 12 | 44904 | 35919 | 172576 0 | 7611 | 10009
266.65/266.71 c 145s | 12 | 45381 | 36319 | 172576 0 | 7611 | 10009
268.85/268.92 c 147s | 12 | 45983 | 36819 | 172576 0 | 7611 | 10009
271.25/271.34 c 149s | 12 | 46572 | 37319 | 172576 0 | 7611 | 10009
273.55/273.61 c 152s | 12 | 47172 | 37819 | 172576 0 | 7611 | 10009
275.75/275.80 c 154s | 12 | 47776 | 38319 | 172576 0 | 7611 | 10009
277.75/277.85 c 156s | 12 | 48281 | 38719 | 172576 0 | 7611 | 10009
278.26/278.39 c 156s | 13 | 48409 | 38832 | 172576 0 | 7611 | 10009
280.46/280.56 c 158s | 13 | 48808 | 39132 | 172576 0 | 7611 | 10009
282.55/282.69 c 161s | 13 | 49278 | 39532 | 172576 0 | 7611 | 10009
284.96/285.07 c 163s | 13 | 49892 | 40032 | 172576 0 | 7611 | 10009
287.45/287.59 c 165s | 13 | 50481 | 40532 | 172576 0 | 7611 | 10009
289.75/289.83 c 168s | 13 | 50987 | 40932 | 172576 0 | 7611 | 10009
291.85/291.93 c 170s | 13 | 51475 | 41332 | 172576 0 | 7611 | 10009
294.25/294.35 c 172s | 13 | 51940 | 41732 | 172576 0 | 7611 | 10009
296.55/296.62 c 175s | 13 | 52386 | 42132 | 172576 0 | 7611 | 10009
299.15/299.29 c 177s | 13 | 52863 | 42532 | 172576 0 | 7611 | 10009
301.35/301.41 c 179s | 13 | 53349 | 42932 | 172576 0 | 7611 | 10009
303.35/303.43 c 181s | 13 | 53960 | 43432 | 172576 0 | 7611 | 10009
305.85/305.98 c 184s | 13 | 54677 | 44032 | 172576 0 | 7611 | 10009
308.15/308.25 c 186s | 13 | 55319 | 44532 | 172576 0 | 7611 | 10009
310.34/310.43 c 188s | 13 | 55792 | 44932 | 172576 0 | 7611 | 10009
312.45/312.54 c 190s | 13 | 56260 | 45332 | 172576 0 | 7611 | 10009
314.94/315.08 c 193s | 13 | 56712 | 45732 | 172576 0 | 7611 | 10009
316.85/316.96 c 195s | 13 | 56954 | 45955 | 172576 0 | 7612 | 10010
316.85/316.96 c #cpu_time = 194.856s
316.85/316.96 c #wall_clock_time = 195.355s
316.85/316.96 c #decision = 56954
316.85/316.96 c #random_decision = 26
316.85/316.96 c #conflict = 45955
316.85/316.96 c #restart = 13
316.85/316.96 c BCD2: updating lower bound of a core
316.85/316.96 c lower bound updated to 103
316.85/316.96 c BCD2: 103 <= obj <= 299
316.85/316.96 c BCD2: #cores=1, #unrelaxed=89, #relaxed=210, #hardened=1
316.85/316.96 c BCD2: #sat=1 #unsat=15 bias=15/16
318.14/318.26 c Solving starts ...
318.14/318.26 c ============================[ Search Statistics ]============================
318.14/318.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
318.14/318.26 c | | | | Limit GC | Var | Constra
318.14/318.26 c =============================================================================
318.14/318.26 c 0.0s | 0 | 0 | 0 | 172576 0 | 7612 | 10010
319.24/319.36 c 1.1s | 1 | 135 | 100 | 172576 0 | 7612 | 10010
320.44/320.54 c 2.3s | 2 | 355 | 250 | 172576 0 | 7612 | 10010
322.04/322.15 c 3.9s | 3 | 658 | 475 | 189834 0 | 7612 | 10010
324.14/324.29 c 6.0s | 3 | 1044 | 775 | 189834 0 | 7612 | 10010
324.45/324.54 c 6.3s | 4 | 1092 | 813 | 189834 0 | 7612 | 10010
326.94/327.01 c 8.8s | 4 | 1616 | 1213 | 189834 0 | 7612 | 10010
327.54/327.66 c 9.4s | 5 | 1763 | 1320 | 189834 0 | 7612 | 10010
329.64/329.78 c 11.5s | 5 | 2174 | 1620 | 189834 0 | 7612 | 10010
331.94/332.07 c 13.8s | 6 | 2778 | 2081 | 189834 0 | 7612 | 10010
334.35/334.49 c 16.2s | 6 | 3322 | 2481 | 189834 0 | 7612 | 10010
336.74/336.90 c 18.6s | 6 | 3838 | 2881 | 189834 0 | 7612 | 10010
338.54/338.62 c 20.4s | 7 | 4282 | 3223 | 189834 0 | 7612 | 10010
340.84/340.95 c 22.7s | 7 | 4655 | 3523 | 189834 0 | 7612 | 10010
343.04/343.17 c 24.9s | 7 | 5120 | 3923 | 189834 0 | 7612 | 10010
345.54/345.66 c 27.4s | 7 | 5625 | 4323 | 189834 0 | 7612 | 10010
347.65/347.74 c 29.5s | 7 | 6114 | 4723 | 189834 0 | 7612 | 10010
348.65/348.79 c 30.5s | 8 | 6380 | 4936 | 189834 0 | 7612 | 10010
350.84/350.94 c 32.7s | 8 | 6946 | 5336 | 189834 0 | 7612 | 10010
353.34/353.44 c 35.2s | 8 | 7575 | 5836 | 189834 0 | 7612 | 10010
355.64/355.78 c 37.5s | 8 | 8183 | 6336 | 189834 0 | 7612 | 10010
357.94/358.00 c 39.7s | 8 | 8652 | 6736 | 189834 0 | 7612 | 10010
360.34/360.44 c 42.2s | 8 | 9154 | 7136 | 189834 0 | 7612 | 10010
362.64/362.70 c 44.4s | 9 | 9586 | 7506 | 189834 0 | 7612 | 10010
364.94/365.04 c 46.8s | 9 | 10155 | 7906 | 189834 0 | 7612 | 10010
367.14/367.26 c 49.0s | 9 | 10772 | 8406 | 189834 0 | 7612 | 10010
369.33/369.45 c 51.2s | 9 | 11231 | 8806 | 189834 0 | 7612 | 10010
371.63/371.75 c 53.5s | 9 | 11840 | 9306 | 189834 0 | 7612 | 10010
373.94/374.02 c 55.8s | 9 | 12485 | 9806 | 189834 0 | 7612 | 10010
376.33/376.41 c 58.1s | 9 | 13152 | 10306 | 189834 0 | 7612 | 10010
378.44/378.59 c 60.3s | 9 | 13795 | 10806 | 189834 0 | 7612 | 10010
380.93/381.01 c 62.8s | 9 | 14388 | 11306 | 189834 0 | 7612 | 10010
381.13/381.27 c 63.0s | 10 | 14471 | 11361 | 189834 0 | 7612 | 10010
383.63/383.70 c 65.4s | 10 | 15022 | 11761 | 189834 0 | 7612 | 10010
385.63/385.71 c 67.5s | 10 | 15540 | 12161 | 189834 0 | 7612 | 10010
387.83/387.94 c 69.7s | 10 | 16057 | 12561 | 189834 0 | 7612 | 10010
389.93/390.09 c 71.8s | 10 | 16655 | 13061 | 189834 0 | 7612 | 10010
392.33/392.43 c 74.2s | 10 | 17262 | 13561 | 189834 0 | 7612 | 10010
394.33/394.48 c 76.2s | 10 | 17768 | 13961 | 189834 0 | 7612 | 10010
396.53/396.60 c 78.3s | 10 | 18250 | 14361 | 189834 0 | 7612 | 10010
398.53/398.61 c 80.4s | 10 | 18630 | 14661 | 189834 0 | 7612 | 10010
400.63/400.76 c 82.5s | 10 | 19121 | 15061 | 189834 0 | 7612 | 10010
403.03/403.15 c 84.9s | 10 | 19626 | 15461 | 189834 0 | 7612 | 10010
405.53/405.64 c 87.4s | 10 | 20105 | 15861 | 189834 0 | 7612 | 10010
407.73/407.82 c 89.6s | 10 | 20593 | 16261 | 189834 0 | 7612 | 10010
409.83/409.93 c 91.7s | 10 | 21070 | 16661 | 189834 0 | 7612 | 10010
412.23/412.35 c 94.1s | 10 | 21605 | 17061 | 189834 0 | 7612 | 10010
412.63/412.78 c 94.5s | 11 | 21720 | 17144 | 189834 0 | 7612 | 10010
414.83/414.90 c 96.6s | 11 | 22110 | 17444 | 189834 0 | 7612 | 10010
417.12/417.27 c 99.0s | 11 | 22603 | 17844 | 189834 0 | 7612 | 10010
419.22/419.32 c 101s | 11 | 23087 | 18244 | 189834 0 | 7612 | 10010
421.62/421.72 c 103s | 11 | 23732 | 18744 | 189834 0 | 7612 | 10010
423.92/424.07 c 105s | 11 | 24351 | 19244 | 189834 0 | 7612 | 10010
426.22/426.32 c 108s | 11 | 24957 | 19744 | 189834 0 | 7612 | 10010
428.52/428.65 c 110s | 11 | 25431 | 20144 | 189834 0 | 7612 | 10010
430.62/430.79 c 112s | 11 | 25914 | 20544 | 189834 0 | 7612 | 10010
432.82/432.93 c 114s | 11 | 26387 | 20944 | 189834 0 | 7612 | 10010
435.22/435.39 c 117s | 11 | 27098 | 21444 | 189834 0 | 7612 | 10010
437.52/437.64 c 119s | 11 | 27722 | 21944 | 189834 0 | 7612 | 10010
439.52/439.69 c 121s | 11 | 28204 | 22344 | 189834 0 | 7612 | 10010
441.72/441.87 c 123s | 11 | 28843 | 22844 | 189834 0 | 7612 | 10010
444.12/444.24 c 125s | 11 | 29475 | 23344 | 189834 0 | 7612 | 10010
446.22/446.34 c 128s | 11 | 29960 | 23744 | 189834 0 | 7612 | 10010
448.52/448.64 c 130s | 11 | 30620 | 24244 | 189834 0 | 7612 | 10010
451.03/451.14 c 132s | 11 | 31231 | 24744 | 189834 0 | 7612 | 10010
453.13/453.21 c 134s | 11 | 31682 | 25144 | 189834 0 | 7612 | 10010
455.43/455.52 c 137s | 11 | 32283 | 25644 | 189834 0 | 7612 | 10010
456.32/456.46 c 138s | 12 | 32492 | 25819 | 189834 0 | 7612 | 10010
458.92/459.03 c 140s | 12 | 32882 | 26119 | 189834 0 | 7612 | 10010
461.52/461.60 c 143s | 12 | 33483 | 26619 | 189834 0 | 7612 | 10010
463.62/463.72 c 145s | 12 | 33973 | 27019 | 189834 0 | 7612 | 10010
466.02/466.12 c 147s | 12 | 34572 | 27519 | 189834 0 | 7612 | 10010
468.42/468.50 c 150s | 12 | 35044 | 27919 | 189834 0 | 7612 | 10010
470.72/470.81 c 152s | 12 | 35547 | 28319 | 189834 0 | 7612 | 10010
473.02/473.14 c 154s | 12 | 36172 | 28819 | 189834 0 | 7612 | 10010
475.52/475.64 c 157s | 12 | 36771 | 29319 | 189834 0 | 7612 | 10010
477.72/477.84 c 159s | 12 | 37383 | 29819 | 189834 0 | 7612 | 10010
479.92/480.04 c 161s | 12 | 37883 | 30219 | 189834 0 | 7612 | 10010
482.11/482.24 c 163s | 12 | 38349 | 30619 | 189834 0 | 7612 | 10010
484.41/484.58 c 166s | 12 | 38911 | 31119 | 189834 0 | 7612 | 10010
486.41/486.59 c 168s | 12 | 39419 | 31519 | 189834 0 | 7612 | 10010
488.51/488.68 c 170s | 12 | 39885 | 31919 | 189834 0 | 7612 | 10010
490.52/490.69 c 172s | 12 | 40365 | 32319 | 189834 0 | 7612 | 10010
492.72/492.84 c 174s | 12 | 40848 | 32719 | 189834 0 | 7612 | 10010
494.71/494.87 c 176s | 12 | 41224 | 33019 | 189834 0 | 7612 | 10010
497.22/497.31 c 179s | 12 | 41694 | 33419 | 189834 0 | 7612 | 10010
499.51/499.69 c 181s | 12 | 42179 | 33819 | 189834 0 | 7612 | 10010
501.71/501.87 c 183s | 12 | 42671 | 34219 | 189834 0 | 7612 | 10010
503.91/504.02 c 185s | 12 | 43167 | 34619 | 189834 0 | 7612 | 10010
506.31/506.44 c 188s | 12 | 43787 | 35119 | 189834 0 | 7612 | 10010
508.51/508.68 c 190s | 12 | 44242 | 35519 | 189834 0 | 7612 | 10010
510.81/510.90 c 192s | 12 | 44711 | 35919 | 189834 0 | 7612 | 10010
513.31/513.46 c 195s | 12 | 45302 | 36419 | 189834 0 | 7612 | 10010
515.41/515.56 c 197s | 12 | 45769 | 36819 | 189834 0 | 7612 | 10010
517.71/517.86 c 199s | 12 | 46249 | 37219 | 189834 0 | 7612 | 10010
519.91/520.08 c 201s | 12 | 46717 | 37619 | 189834 0 | 7612 | 10010
522.11/522.21 c 203s | 12 | 47179 | 38019 | 189834 0 | 7612 | 10010
524.31/524.43 c 206s | 12 | 47640 | 38419 | 189834 0 | 7612 | 10010
526.71/526.86 c 208s | 12 | 48083 | 38819 | 189834 0 | 7612 | 10010
526.81/526.94 c 208s | 13 | 48097 | 38832 | 189834 0 | 7612 | 10010
529.01/529.18 c 210s | 13 | 48455 | 39132 | 189834 0 | 7612 | 10010
531.41/531.56 c 213s | 13 | 49080 | 39632 | 189834 0 | 7612 | 10010
533.81/533.99 c 215s | 13 | 49677 | 40132 | 189834 0 | 7612 | 10010
536.01/536.19 c 217s | 13 | 50218 | 40532 | 189834 0 | 7612 | 10010
538.31/538.49 c 220s | 13 | 50831 | 41032 | 189834 0 | 7612 | 10010
540.90/541.00 c 222s | 13 | 51432 | 41532 | 189834 0 | 7612 | 10010
543.41/543.56 c 225s | 13 | 51898 | 41932 | 189834 0 | 7612 | 10010
545.90/546.00 c 227s | 13 | 52245 | 42232 | 189834 0 | 7612 | 10010
548.30/548.45 c 230s | 13 | 52726 | 42632 | 189834 0 | 7612 | 10010
550.40/550.56 c 232s | 13 | 53187 | 43032 | 189834 0 | 7612 | 10010
552.90/553.04 c 234s | 13 | 53648 | 43432 | 189834 0 | 7612 | 10010
555.10/555.20 c 236s | 13 | 54004 | 43732 | 189834 0 | 7612 | 10010
557.50/557.61 c 239s | 13 | 54463 | 44132 | 208818 0 | 7612 | 10010
560.10/560.29 c 242s | 13 | 54938 | 44532 | 208818 0 | 7612 | 10010
562.80/562.99 c 244s | 13 | 55422 | 44932 | 208818 0 | 7612 | 10010
565.10/565.28 c 247s | 13 | 55910 | 45332 | 208818 0 | 7612 | 10010
567.61/567.73 c 249s | 13 | 56425 | 45732 | 208818 0 | 7612 | 10010
570.10/570.21 c 251s | 13 | 56874 | 46132 | 208818 0 | 7612 | 10010
572.30/572.43 c 254s | 13 | 57383 | 46532 | 208818 0 | 7612 | 10010
574.60/574.72 c 256s | 13 | 57733 | 46832 | 208818 0 | 7612 | 10010
576.80/576.91 c 258s | 13 | 58218 | 47232 | 208818 0 | 7612 | 10010
578.90/579.05 c 260s | 13 | 58574 | 47532 | 208818 0 | 7612 | 10010
581.60/581.70 c 263s | 13 | 59036 | 47932 | 208818 0 | 7612 | 10010
583.90/584.10 c 265s | 13 | 59504 | 48332 | 208818 0 | 7612 | 10010
586.10/586.21 c 267s | 13 | 59992 | 48732 | 208818 0 | 7612 | 10010
588.60/588.76 c 270s | 13 | 60453 | 49132 | 208818 0 | 7612 | 10010
590.70/590.84 c 272s | 13 | 60808 | 49432 | 208818 0 | 7612 | 10010
593.10/593.20 c 274s | 13 | 61303 | 49832 | 208818 0 | 7612 | 10010
595.60/595.78 c 277s | 13 | 61791 | 50232 | 208818 0 | 7612 | 10010
598.00/598.17 c 279s | 13 | 62282 | 50632 | 208818 0 | 7612 | 10010
600.30/600.42 c 282s | 13 | 62758 | 51032 | 208818 0 | 7612 | 10010
602.50/602.64 c 284s | 13 | 63251 | 51432 | 208818 0 | 7612 | 10010
604.80/604.96 c 286s | 13 | 63786 | 51832 | 208818 0 | 7612 | 10010
607.20/607.37 c 289s | 13 | 64259 | 52232 | 208818 0 | 7612 | 10010
609.99/610.16 c 291s | 13 | 64733 | 52632 | 208818 0 | 7612 | 10010
612.70/612.80 c 294s | 13 | 65211 | 53032 | 208818 0 | 7612 | 10010
614.99/615.14 c 296s | 13 | 65689 | 53432 | 208818 0 | 7612 | 10010
617.00/617.15 c 298s | 13 | 66177 | 53832 | 208818 0 | 7612 | 10010
619.09/619.29 c 301s | 13 | 66635 | 54232 | 208818 0 | 7612 | 10010
621.69/621.84 c 303s | 13 | 67107 | 54632 | 208818 0 | 7612 | 10010
623.99/624.14 c 305s | 13 | 67563 | 55032 | 208818 0 | 7612 | 10010
625.99/626.17 c 307s | 13 | 67908 | 55332 | 208818 0 | 7612 | 10010
628.10/628.28 c 310s | 13 | 68262 | 55632 | 208818 0 | 7612 | 10010
630.20/630.35 c 312s | 13 | 68594 | 55932 | 208818 0 | 7612 | 10010
632.50/632.64 c 314s | 13 | 69087 | 56332 | 208818 0 | 7612 | 10010
634.99/635.16 c 316s | 13 | 69548 | 56732 | 208818 0 | 7612 | 10010
637.59/637.73 c 319s | 13 | 70021 | 57132 | 208818 0 | 7612 | 10010
640.20/640.37 c 322s | 13 | 70490 | 57532 | 208818 0 | 7612 | 10010
642.49/642.61 c 324s | 13 | 70841 | 57832 | 208818 0 | 7612 | 10010
644.50/644.68 c 326s | 13 | 71313 | 58232 | 208818 0 | 7612 | 10010
645.29/645.46 c 327s | 14 | 71454 | 58352 | 208818 0 | 7612 | 10010
647.69/647.84 c 329s | 14 | 71834 | 58652 | 208818 0 | 7612 | 10010
650.09/650.28 c 332s | 14 | 72315 | 59052 | 208818 0 | 7612 | 10010
652.19/652.32 c 334s | 14 | 72762 | 59452 | 208818 0 | 7612 | 10010
654.49/654.70 c 336s | 14 | 73219 | 59852 | 208818 0 | 7612 | 10010
656.79/656.98 c 338s | 14 | 73713 | 60252 | 208818 0 | 7612 | 10010
659.19/659.31 c 341s | 14 | 74119 | 60552 | 208818 0 | 7612 | 10010
661.58/661.71 c 343s | 14 | 74477 | 60852 | 208818 0 | 7612 | 10010
663.98/664.10 c 345s | 14 | 74826 | 61152 | 208818 0 | 7612 | 10010
666.18/666.32 c 348s | 14 | 75179 | 61452 | 208818 0 | 7612 | 10010
668.18/668.34 c 350s | 14 | 75539 | 61752 | 208818 0 | 7612 | 10010
670.38/670.57 c 352s | 14 | 76024 | 62152 | 208818 0 | 7612 | 10010
672.98/673.11 c 354s | 14 | 76496 | 62552 | 208818 0 | 7612 | 10010
675.49/675.66 c 357s | 14 | 76960 | 62952 | 208818 0 | 7612 | 10010
677.79/677.96 c 359s | 14 | 77317 | 63252 | 208818 0 | 7612 | 10010
680.08/680.21 c 361s | 14 | 77661 | 63552 | 208818 0 | 7612 | 10010
682.38/682.59 c 364s | 14 | 78162 | 63952 | 208818 0 | 7612 | 10010
684.88/685.02 c 366s | 14 | 78616 | 64352 | 208818 0 | 7612 | 10010
687.58/687.73 c 369s | 14 | 79115 | 64752 | 208818 0 | 7612 | 10010
690.28/690.41 c 372s | 14 | 79594 | 65152 | 208818 0 | 7612 | 10010
693.08/693.20 c 374s | 14 | 80077 | 65552 | 208818 0 | 7612 | 10010
695.68/695.88 c 377s | 14 | 80433 | 65852 | 208818 0 | 7612 | 10010
697.98/698.18 c 379s | 14 | 80787 | 66152 | 208818 0 | 7612 | 10010
700.78/700.94 c 382s | 14 | 81129 | 66452 | 208818 0 | 7612 | 10010
703.78/703.96 c 385s | 14 | 81482 | 66752 | 208818 0 | 7612 | 10010
706.28/706.43 c 388s | 14 | 81839 | 67052 | 208818 0 | 7612 | 10010
708.78/708.93 c 390s | 14 | 82174 | 67352 | 208818 0 | 7612 | 10010
711.17/711.37 c 393s | 14 | 82520 | 67652 | 208818 0 | 7612 | 10010
713.67/713.90 c 395s | 14 | 82870 | 67952 | 208818 0 | 7612 | 10010
716.08/716.29 c 398s | 14 | 83205 | 68252 | 208818 0 | 7612 | 10010
718.67/718.87 c 400s | 14 | 83563 | 68552 | 208818 0 | 7612 | 10010
721.47/721.64 c 403s | 14 | 83928 | 68852 | 208818 0 | 7612 | 10010
724.47/724.61 c 406s | 14 | 84282 | 69152 | 208818 0 | 7612 | 10010
727.37/727.51 c 409s | 14 | 84653 | 69452 | 208818 0 | 7612 | 10010
730.17/730.34 c 412s | 14 | 85017 | 69752 | 208818 0 | 7612 | 10010
733.06/733.20 c 414s | 14 | 85366 | 70052 | 208818 0 | 7612 | 10010
735.66/735.89 c 417s | 14 | 85716 | 70352 | 208818 0 | 7612 | 10010
737.97/738.18 c 419s | 14 | 85947 | 70552 | 208818 0 | 7612 | 10010
740.17/740.31 c 422s | 14 | 86177 | 70752 | 208818 0 | 7612 | 10010
742.86/743.09 c 424s | 14 | 86535 | 71052 | 208818 0 | 7612 | 10010
744.96/745.16 c 426s | 14 | 86767 | 71252 | 208818 0 | 7612 | 10010
747.87/748.01 c 429s | 14 | 87125 | 71552 | 208818 0 | 7612 | 10010
750.46/750.63 c 432s | 14 | 87501 | 71852 | 208818 0 | 7612 | 10010
753.26/753.44 c 435s | 14 | 87978 | 72252 | 208818 0 | 7612 | 10010
755.86/756.02 c 437s | 14 | 88335 | 72552 | 208818 0 | 7612 | 10010
758.26/758.49 c 440s | 14 | 88745 | 72852 | 208818 0 | 7612 | 10010
760.75/760.92 c 442s | 14 | 89114 | 73152 | 208818 0 | 7612 | 10010
763.36/763.56 c 445s | 14 | 89484 | 73452 | 208818 0 | 7612 | 10010
765.75/765.99 c 447s | 14 | 89854 | 73752 | 208818 0 | 7612 | 10010
768.55/768.78 c 450s | 14 | 90192 | 74052 | 208818 0 | 7612 | 10010
771.25/771.41 c 453s | 14 | 90532 | 74352 | 208818 0 | 7612 | 10010
773.65/773.86 c 455s | 14 | 90889 | 74652 | 208818 0 | 7612 | 10010
775.85/776.06 c 457s | 14 | 91264 | 74952 | 208818 0 | 7612 | 10010
778.45/778.69 c 460s | 14 | 91716 | 75352 | 208818 0 | 7612 | 10010
780.95/781.11 c 462s | 14 | 92094 | 75652 | 208818 0 | 7612 | 10010
783.34/783.57 c 465s | 14 | 92471 | 75952 | 208818 0 | 7612 | 10010
785.84/786.04 c 467s | 14 | 92801 | 76252 | 208818 0 | 7612 | 10010
788.55/788.78 c 470s | 14 | 93170 | 76552 | 208818 0 | 7612 | 10010
791.54/791.74 c 473s | 14 | 93537 | 76852 | 208818 0 | 7612 | 10010
793.94/794.12 c 475s | 14 | 93906 | 77152 | 208818 0 | 7612 | 10010
796.25/796.44 c 478s | 14 | 94301 | 77452 | 208818 0 | 7612 | 10010
798.74/798.96 c 480s | 14 | 94645 | 77752 | 208818 0 | 7612 | 10010
800.94/801.17 c 482s | 14 | 95011 | 78052 | 208818 0 | 7612 | 10010
803.03/803.28 c 485s | 14 | 95358 | 78352 | 208818 0 | 7612 | 10010
805.43/805.67 c 487s | 14 | 95690 | 78652 | 208818 0 | 7612 | 10010
807.53/807.78 c 489s | 14 | 96031 | 78952 | 208818 0 | 7612 | 10010
810.03/810.25 c 491s | 14 | 96395 | 79252 | 208818 0 | 7612 | 10010
812.13/812.39 c 494s | 14 | 96607 | 79452 | 208818 0 | 7612 | 10010
814.73/814.99 c 496s | 14 | 96962 | 79752 | 208818 0 | 7612 | 10010
817.93/818.12 c 499s | 14 | 97310 | 80052 | 208818 0 | 7612 | 10010
820.43/820.63 c 502s | 14 | 97636 | 80352 | 208818 0 | 7612 | 10010
823.03/823.27 c 505s | 14 | 97971 | 80652 | 208818 0 | 7612 | 10010
825.13/825.35 c 507s | 14 | 98206 | 80852 | 208818 0 | 7612 | 10010
828.03/828.25 c 509s | 14 | 98547 | 81152 | 208818 0 | 7612 | 10010
830.82/831.01 c 512s | 14 | 98903 | 81452 | 208818 0 | 7612 | 10010
833.32/833.57 c 515s | 14 | 99258 | 81752 | 208818 0 | 7612 | 10010
835.52/835.73 c 517s | 14 | 99635 | 82052 | 208818 0 | 7612 | 10010
837.92/838.11 c 519s | 14 | 99981 | 82352 | 208818 0 | 7612 | 10010
840.12/840.30 c 522s | 14 | 100345 | 82652 | 208818 0 | 7612 | 10010
842.62/842.86 c 524s | 14 | 100694 | 82952 | 208818 0 | 7612 | 10010
845.12/845.32 c 527s | 14 | 101073 | 83252 | 208818 0 | 7612 | 10010
847.62/847.89 c 529s | 14 | 101414 | 83552 | 208818 0 | 7612 | 10010
850.22/850.48 c 532s | 14 | 101649 | 83752 | 208818 0 | 7612 | 10010
852.32/852.52 c 534s | 14 | 101884 | 83952 | 208818 0 | 7612 | 10010
855.11/855.30 c 537s | 14 | 102230 | 84252 | 208818 0 | 7612 | 10010
857.41/857.68 c 539s | 14 | 102453 | 84452 | 208818 0 | 7612 | 10010
860.21/860.49 c 542s | 14 | 102790 | 84752 | 208818 0 | 7612 | 10010
862.71/862.99 c 544s | 14 | 103148 | 85052 | 208818 0 | 7612 | 10010
865.01/865.28 c 547s | 14 | 103515 | 85352 | 208818 0 | 7612 | 10010
867.71/867.99 c 549s | 14 | 103861 | 85652 | 208818 0 | 7612 | 10010
870.10/870.36 c 552s | 14 | 104196 | 85952 | 208818 0 | 7612 | 10010
872.40/872.67 c 554s | 14 | 104524 | 86252 | 208818 0 | 7612 | 10010
874.90/875.15 c 556s | 14 | 105010 | 86652 | 208818 0 | 7612 | 10010
877.00/877.23 c 558s | 14 | 105375 | 86952 | 208818 0 | 7612 | 10010
879.70/879.91 c 561s | 14 | 105839 | 87352 | 208818 0 | 7612 | 10010
881.50/881.74 c 563s | 15 | 106162 | 87632 | 208818 0 | 7612 | 10010
884.20/884.45 c 566s | 15 | 106403 | 87832 | 208818 0 | 7612 | 10010
886.20/886.44 c 568s | 15 | 106548 | 87964 | 208818 0 | 7613 | 10011
886.20/886.44 c #cpu_time = 566.679s
886.20/886.44 c #wall_clock_time = 568.187s
886.20/886.44 c #decision = 106548
886.20/886.44 c #random_decision = 58
886.20/886.44 c #conflict = 87964
886.20/886.44 c #restart = 15
886.20/886.44 c BCD2: updating lower bound of a core
886.20/886.44 c lower bound updated to 104
886.20/886.45 c BCD2: 104 <= obj <= 299
886.20/886.45 c BCD2: #cores=1, #unrelaxed=89, #relaxed=210, #hardened=1
886.20/886.45 c BCD2: #sat=1 #unsat=16 bias=16/17
887.40/887.68 c Solving starts ...
887.40/887.68 c ============================[ Search Statistics ]============================
887.40/887.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
887.40/887.68 c | | | | Limit GC | Var | Constra
887.40/887.68 c =============================================================================
887.40/887.68 c 0.0s | 0 | 0 | 0 | 208818 0 | 7613 | 10011
889.30/889.53 c 1.8s | 1 | 134 | 100 | 208818 0 | 7613 | 10011
891.20/891.44 c 3.8s | 2 | 330 | 250 | 208818 0 | 7613 | 10011
893.70/893.93 c 6.3s | 2 | 604 | 450 | 208818 0 | 7613 | 10011
893.90/894.14 c 6.5s | 3 | 642 | 475 | 208818 0 | 7613 | 10011
896.19/896.47 c 8.8s | 3 | 932 | 675 | 208818 0 | 7613 | 10011
897.09/897.34 c 9.7s | 4 | 1098 | 813 | 208818 0 | 7613 | 10011
899.19/899.50 c 11.8s | 4 | 1368 | 1013 | 208818 0 | 7613 | 10011
901.69/901.96 c 14.3s | 4 | 1739 | 1313 | 208818 0 | 7613 | 10011
901.80/902.04 c 14.4s | 5 | 1745 | 1320 | 208818 0 | 7613 | 10011
904.00/904.21 c 16.5s | 5 | 2014 | 1520 | 208818 0 | 7613 | 10011
906.49/906.75 c 19.1s | 5 | 2502 | 1920 | 208818 0 | 7613 | 10011
907.49/907.78 c 20.1s | 6 | 2700 | 2081 | 208818 0 | 7613 | 10011
909.69/909.97 c 22.3s | 6 | 2977 | 2281 | 208818 0 | 7613 | 10011
911.80/912.02 c 24.3s | 6 | 3338 | 2581 | 208818 0 | 7613 | 10011
914.19/914.45 c 26.8s | 6 | 3852 | 2981 | 208818 0 | 7613 | 10011
915.79/916.08 c 28.4s | 7 | 4164 | 3223 | 208818 0 | 7613 | 10011
918.19/918.45 c 30.8s | 7 | 4418 | 3423 | 208818 0 | 7613 | 10011
920.88/921.10 c 33.4s | 7 | 4892 | 3823 | 208818 0 | 7613 | 10011
922.88/923.10 c 35.4s | 7 | 5251 | 4123 | 208818 0 | 7613 | 10011
925.08/925.39 c 37.7s | 7 | 5585 | 4423 | 208818 0 | 7613 | 10011
927.28/927.50 c 39.8s | 7 | 5941 | 4723 | 208818 0 | 7613 | 10011
928.68/928.94 c 41.3s | 8 | 6218 | 4936 | 208818 0 | 7613 | 10011
931.27/931.53 c 43.9s | 8 | 6474 | 5136 | 208818 0 | 7613 | 10011
933.87/934.10 c 46.4s | 8 | 6930 | 5536 | 208818 0 | 7613 | 10011
936.27/936.58 c 48.9s | 8 | 7411 | 5936 | 208818 0 | 7613 | 10011
938.67/938.98 c 51.3s | 8 | 7887 | 6336 | 208818 0 | 7613 | 10011
940.67/941.00 c 53.3s | 8 | 8237 | 6636 | 208818 0 | 7613 | 10011
943.07/943.37 c 55.7s | 8 | 8794 | 7036 | 208818 0 | 7613 | 10011
945.17/945.46 c 57.8s | 8 | 9291 | 7436 | 208818 0 | 7613 | 10011
945.47/945.78 c 58.1s | 9 | 9370 | 7506 | 208818 0 | 7613 | 10011
947.97/948.25 c 60.6s | 9 | 9802 | 7806 | 208818 0 | 7613 | 10011
950.17/950.48 c 62.8s | 9 | 10342 | 8206 | 208818 0 | 7613 | 10011
952.66/952.99 c 65.3s | 9 | 10843 | 8606 | 208818 0 | 7613 | 10011
955.46/955.73 c 68.1s | 9 | 11350 | 9006 | 208818 0 | 7613 | 10011
957.56/957.88 c 70.2s | 9 | 11743 | 9306 | 208818 0 | 7613 | 10011
959.66/959.90 c 72.2s | 9 | 12263 | 9706 | 208818 0 | 7613 | 10011
962.15/962.40 c 74.7s | 9 | 12869 | 10206 | 208818 0 | 7613 | 10011
964.35/964.65 c 77.0s | 9 | 13359 | 10606 | 208818 0 | 7613 | 10011
966.66/966.94 c 79.3s | 9 | 13858 | 11006 | 208818 0 | 7613 | 10011
968.86/969.11 c 81.4s | 9 | 14269 | 11306 | 208818 0 | 7613 | 10011
969.05/969.39 c 81.7s | 10 | 14323 | 11361 | 208818 0 | 7613 | 10011
971.35/971.65 c 84.0s | 10 | 14588 | 11561 | 208818 0 | 7613 | 10011
973.45/973.73 c 86.0s | 10 | 14948 | 11861 | 208818 0 | 7613 | 10011
975.75/976.07 c 88.4s | 10 | 15421 | 12261 | 208818 0 | 7613 | 10011
978.15/978.46 c 90.8s | 10 | 15913 | 12661 | 208818 0 | 7613 | 10011
980.64/980.96 c 93.3s | 10 | 16408 | 13061 | 208818 0 | 7613 | 10011
983.15/983.49 c 95.8s | 10 | 16869 | 13461 | 208818 0 | 7613 | 10011
985.45/985.70 c 98.0s | 10 | 17211 | 13761 | 208818 0 | 7613 | 10011
987.44/987.78 c 100s | 10 | 17582 | 14061 | 208818 0 | 7613 | 10011
989.44/989.79 c 102s | 10 | 17958 | 14361 | 208818 0 | 7613 | 10011
992.04/992.35 c 104s | 10 | 18430 | 14761 | 208818 0 | 7613 | 10011
994.14/994.43 c 106s | 10 | 18952 | 15161 | 208818 0 | 7613 | 10011
996.54/996.82 c 109s | 10 | 19479 | 15561 | 208818 0 | 7613 | 10011
999.14/999.45 c 111s | 10 | 19964 | 15961 | 208818 0 | 7613 | 10011
1001.13/1001.46 c 113s | 10 | 20316 | 16261 | 208818 0 | 7613 | 10011
1003.33/1003.65 c 115s | 10 | 20683 | 16561 | 208818 0 | 7613 | 10011
1005.83/1006.16 c 118s | 10 | 21047 | 16861 | 208818 0 | 7613 | 10011
1007.93/1008.28 c 120s | 11 | 21400 | 17144 | 208818 0 | 7613 | 10011
1010.52/1010.86 c 123s | 11 | 21644 | 17344 | 208818 0 | 7613 | 10011
1012.93/1013.23 c 125s | 11 | 22021 | 17644 | 208818 0 | 7613 | 10011
1015.22/1015.59 c 127s | 11 | 22410 | 17944 | 208818 0 | 7613 | 10011
1017.33/1017.68 c 129s | 11 | 22788 | 18244 | 208818 0 | 7613 | 10011
1019.72/1020.01 c 132s | 11 | 23140 | 18544 | 208818 0 | 7613 | 10011
1022.01/1022.30 c 134s | 11 | 23506 | 18844 | 208818 0 | 7613 | 10011
1024.11/1024.41 c 136s | 11 | 23876 | 19144 | 208818 0 | 7613 | 10011
1026.31/1026.64 c 138s | 11 | 24252 | 19444 | 208818 0 | 7613 | 10011
1028.61/1028.91 c 141s | 11 | 24746 | 19844 | 208818 0 | 7613 | 10011
1030.71/1031.06 c 143s | 11 | 25128 | 20144 | 208818 0 | 7613 | 10011
1032.91/1033.21 c 145s | 11 | 25478 | 20444 | 208818 0 | 7613 | 10011
1035.01/1035.39 c 147s | 11 | 25837 | 20744 | 208818 0 | 7613 | 10011
1037.71/1038.08 c 150s | 11 | 26333 | 21144 | 208818 0 | 7613 | 10011
1039.81/1040.10 c 152s | 11 | 26690 | 21444 | 229700 0 | 7613 | 10011
1042.00/1042.30 c 154s | 11 | 27066 | 21744 | 229700 0 | 7613 | 10011
1044.00/1044.36 c 156s | 11 | 27406 | 22044 | 229700 0 | 7613 | 10011
1046.10/1046.40 c 158s | 11 | 27773 | 22344 | 229700 0 | 7613 | 10011
1048.20/1048.52 c 160s | 11 | 28191 | 22644 | 229700 0 | 7613 | 10011
1050.20/1050.57 c 162s | 11 | 28575 | 22944 | 229700 0 | 7613 | 10011
1052.80/1053.10 c 165s | 11 | 28932 | 23244 | 229700 0 | 7613 | 10011
1054.80/1055.19 c 167s | 11 | 29384 | 23544 | 229700 0 | 7613 | 10011
1057.40/1057.79 c 170s | 11 | 29884 | 23944 | 229700 0 | 7613 | 10011
1059.69/1060.02 c 172s | 11 | 30367 | 24344 | 229700 0 | 7613 | 10011
1062.09/1062.42 c 174s | 11 | 30856 | 24744 | 229700 0 | 7613 | 10011
1064.19/1064.57 c 176s | 11 | 31303 | 25144 | 229700 0 | 7613 | 10011
1066.80/1067.14 c 179s | 11 | 31769 | 25544 | 229700 0 | 7613 | 10011
1068.39/1068.78 c 181s | 12 | 32112 | 25819 | 229700 0 | 7613 | 10011
1070.68/1071.07 c 183s | 12 | 32366 | 26019 | 229700 0 | 7613 | 10011
1073.18/1073.50 c 185s | 12 | 32839 | 26419 | 229700 0 | 7613 | 10011
1075.68/1076.02 c 188s | 12 | 33313 | 26819 | 229700 0 | 7613 | 10011
1078.38/1078.72 c 191s | 12 | 33778 | 27219 | 229700 0 | 7613 | 10011
1080.48/1080.90 c 193s | 12 | 34258 | 27619 | 229700 0 | 7613 | 10011
1082.58/1082.94 c 195s | 12 | 34761 | 28019 | 229700 0 | 7613 | 10011
1084.78/1085.17 c 197s | 12 | 35239 | 28419 | 229700 0 | 7613 | 10011
1086.88/1087.28 c 199s | 12 | 35610 | 28719 | 229700 0 | 7613 | 10011
1089.58/1089.96 c 202s | 12 | 36086 | 29119 | 229700 0 | 7613 | 10011
1091.57/1091.98 c 204s | 12 | 36452 | 29419 | 229700 0 | 7613 | 10011
1093.77/1094.16 c 206s | 12 | 36832 | 29719 | 229700 0 | 7613 | 10011
1096.27/1096.64 c 208s | 12 | 37180 | 30019 | 229700 0 | 7613 | 10011
1098.87/1099.21 c 211s | 12 | 37543 | 30319 | 229700 0 | 7613 | 10011
1101.57/1101.90 c 214s | 12 | 37896 | 30619 | 229700 0 | 7613 | 10011
1104.17/1104.54 c 216s | 12 | 38234 | 30919 | 229700 0 | 7613 | 10011
1106.97/1107.33 c 219s | 12 | 38715 | 31319 | 229700 0 | 7613 | 10011
1109.57/1109.99 c 222s | 12 | 39085 | 31619 | 229700 0 | 7613 | 10011
1111.96/1112.36 c 224s | 12 | 39491 | 31919 | 229700 0 | 7613 | 10011
1114.46/1114.80 c 227s | 12 | 39861 | 32219 | 229700 0 | 7613 | 10011
1117.16/1117.58 c 229s | 12 | 40222 | 32519 | 229700 0 | 7613 | 10011
1119.47/1119.86 c 232s | 12 | 40579 | 32819 | 229700 0 | 7613 | 10011
1122.05/1122.44 c 234s | 12 | 40940 | 33119 | 229700 0 | 7613 | 10011
1124.65/1125.01 c 237s | 12 | 41308 | 33419 | 229700 0 | 7613 | 10011
1127.05/1127.50 c 239s | 12 | 41668 | 33719 | 229700 0 | 7613 | 10011
1129.36/1129.80 c 242s | 12 | 42010 | 34019 | 229700 0 | 7613 | 10011
1132.15/1132.53 c 244s | 12 | 42417 | 34319 | 229700 0 | 7613 | 10011
1134.86/1135.28 c 247s | 12 | 42782 | 34619 | 229700 0 | 7613 | 10011
1137.75/1138.19 c 250s | 12 | 43146 | 34919 | 229700 0 | 7613 | 10011
1140.24/1140.60 c 252s | 12 | 43512 | 35219 | 229700 0 | 7613 | 10011
1142.55/1142.94 c 255s | 12 | 43865 | 35519 | 229700 0 | 7613 | 10011
1145.14/1145.51 c 257s | 12 | 44229 | 35819 | 229700 0 | 7613 | 10011
1147.44/1147.87 c 260s | 12 | 44595 | 36119 | 229700 0 | 7613 | 10011
1150.14/1150.50 c 262s | 12 | 44958 | 36419 | 229700 0 | 7613 | 10011
1152.74/1153.11 c 265s | 12 | 45443 | 36819 | 229700 0 | 7613 | 10011
1154.84/1155.24 c 267s | 12 | 45929 | 37219 | 229700 0 | 7613 | 10011
1157.44/1157.80 c 270s | 12 | 46401 | 37619 | 229700 0 | 7613 | 10011
1159.84/1160.25 c 272s | 12 | 46902 | 38019 | 229700 0 | 7613 | 10011
1162.53/1162.90 c 275s | 12 | 47392 | 38419 | 229700 0 | 7613 | 10011
1164.83/1165.29 c 277s | 12 | 47862 | 38819 | 229700 0 | 7613 | 10011
1165.03/1165.42 c 277s | 13 | 47881 | 38832 | 229700 0 | 7613 | 10011
1167.73/1168.17 c 280s | 13 | 48160 | 39032 | 229700 0 | 7613 | 10011
1170.13/1170.60 c 282s | 13 | 48660 | 39432 | 229700 0 | 7613 | 10011
1172.72/1173.14 c 285s | 13 | 49012 | 39732 | 229700 0 | 7613 | 10011
1174.82/1175.28 c 287s | 13 | 49363 | 40032 | 229700 0 | 7613 | 10011
1178.32/1178.77 c 291s | 13 | 49751 | 40332 | 229700 0 | 7625 | 10053
1180.82/1181.29 c 293s | 13 | 50143 | 40632 | 229700 0 | 7625 | 10053
1183.33/1183.75 c 296s | 13 | 50492 | 40932 | 229700 0 | 7625 | 10053
1186.02/1186.44 c 298s | 13 | 50858 | 41232 | 229700 0 | 7625 | 10053
1188.32/1188.77 c 301s | 13 | 51238 | 41532 | 229700 0 | 7625 | 10053
1190.52/1190.96 c 303s | 13 | 51578 | 41832 | 229700 0 | 7625 | 10053
1192.82/1193.28 c 305s | 13 | 51958 | 42132 | 229700 0 | 7625 | 10053
1195.72/1196.10 c 308s | 13 | 52465 | 42532 | 229700 0 | 7625 | 10053
1197.72/1198.14 c 310s | 13 | 52828 | 42832 | 229700 0 | 7625 | 10053
1200.12/1200.55 c 312s | 13 | 53220 | 43132 | 229700 0 | 7625 | 10053
1202.32/1202.70 c 315s | 13 | 53586 | 43432 | 229700 0 | 7625 | 10053
1204.72/1205.14 c 317s | 13 | 53952 | 43732 | 229700 0 | 7625 | 10053
1207.72/1208.16 c 320s | 13 | 54346 | 44032 | 229700 0 | 7625 | 10053
1210.41/1210.84 c 323s | 13 | 54712 | 44332 | 229700 0 | 7625 | 10053
1212.51/1212.92 c 325s | 13 | 55080 | 44632 | 229700 0 | 7625 | 10053
1214.61/1215.02 c 327s | 13 | 55496 | 44932 | 229700 0 | 7625 | 10053
1217.11/1217.53 c 329s | 13 | 56035 | 45332 | 229700 0 | 7625 | 10053
1219.21/1219.65 c 331s | 13 | 56386 | 45632 | 229700 0 | 7625 | 10053
1221.91/1222.35 c 334s | 13 | 56868 | 46032 | 229700 0 | 7625 | 10053
1224.10/1224.58 c 336s | 13 | 57234 | 46332 | 229700 0 | 7625 | 10053
1226.30/1226.71 c 339s | 13 | 57584 | 46632 | 229700 0 | 7625 | 10053
1228.31/1228.73 c 341s | 13 | 57968 | 46932 | 229700 0 | 7625 | 10053
1230.40/1230.84 c 343s | 13 | 58213 | 47132 | 229700 0 | 7625 | 10053
1232.90/1233.30 c 345s | 13 | 58560 | 47432 | 229700 0 | 7625 | 10053
1235.10/1235.55 c 347s | 13 | 58900 | 47732 | 229700 0 | 7625 | 10053
1237.40/1237.83 c 350s | 13 | 59245 | 48032 | 229700 0 | 7625 | 10053
1239.80/1240.27 c 352s | 13 | 59584 | 48332 | 229700 0 | 7625 | 10053
1242.29/1242.72 c 355s | 13 | 59939 | 48632 | 229700 0 | 7625 | 10053
1244.49/1244.99 c 357s | 13 | 60340 | 48932 | 229700 0 | 7625 | 10053
1247.00/1247.47 c 359s | 13 | 60840 | 49332 | 229700 0 | 7625 | 10053
1249.39/1249.88 c 362s | 13 | 61328 | 49732 | 229700 0 | 7625 | 10053
1251.59/1252.05 c 364s | 13 | 61685 | 50032 | 229700 0 | 7625 | 10053
1253.70/1254.11 c 366s | 13 | 62054 | 50332 | 229700 0 | 7625 | 10053
1255.99/1256.42 c 368s | 13 | 62434 | 50632 | 229700 0 | 7625 | 10053
1258.19/1258.66 c 370s | 13 | 62790 | 50932 | 229700 0 | 7625 | 10053
1260.68/1261.11 c 373s | 13 | 63260 | 51332 | 229700 0 | 7625 | 10053
1263.28/1263.77 c 376s | 13 | 63628 | 51632 | 229700 0 | 7625 | 10053
1266.18/1266.65 c 378s | 13 | 63965 | 51932 | 229700 0 | 7625 | 10053
1268.48/1268.96 c 381s | 13 | 64319 | 52232 | 229700 0 | 7625 | 10053
1270.58/1271.04 c 383s | 13 | 64822 | 52632 | 229700 0 | 7625 | 10053
1273.28/1273.80 c 386s | 13 | 65317 | 53032 | 229700 0 | 7625 | 10053
1275.48/1275.96 c 388s | 13 | 65557 | 53232 | 229700 0 | 7625 | 10053
1277.97/1278.42 c 390s | 13 | 65922 | 53532 | 229700 0 | 7625 | 10053
1280.08/1280.54 c 392s | 13 | 66257 | 53832 | 229700 0 | 7625 | 10053
1282.57/1283.08 c 395s | 13 | 66716 | 54232 | 229700 0 | 7625 | 10053
1284.97/1285.45 c 397s | 13 | 67062 | 54532 | 229700 0 | 7625 | 10053
1287.57/1288.05 c 400s | 13 | 67407 | 54832 | 229700 0 | 7625 | 10053
1290.06/1290.50 c 402s | 13 | 67778 | 55132 | 229700 0 | 7625 | 10053
1292.36/1292.87 c 405s | 13 | 68126 | 55432 | 229700 0 | 7625 | 10053
1294.66/1295.10 c 407s | 13 | 68494 | 55732 | 229700 0 | 7625 | 10053
1296.96/1297.42 c 409s | 13 | 68851 | 56032 | 229700 0 | 7625 | 10053
1299.66/1300.18 c 412s | 13 | 69231 | 56332 | 229700 0 | 7625 | 10053
1301.76/1302.21 c 414s | 13 | 69574 | 56632 | 229700 0 | 7625 | 10053
1304.27/1304.75 c 417s | 13 | 69944 | 56932 | 229700 0 | 7625 | 10053
1306.76/1307.28 c 419s | 13 | 70310 | 57232 | 229700 0 | 7625 | 10053
1309.16/1309.62 c 421s | 13 | 70664 | 57532 | 229700 0 | 7625 | 10053
1311.75/1312.25 c 424s | 13 | 71051 | 57832 | 229700 0 | 7625 | 10053
1313.95/1314.40 c 426s | 13 | 71278 | 58032 | 229700 0 | 7625 | 10053
1316.65/1317.17 c 429s | 13 | 71650 | 58332 | 229700 0 | 7625 | 10053
1316.85/1317.35 c 429s | 14 | 71668 | 58352 | 229700 0 | 7625 | 10053
1318.85/1319.36 c 431s | 14 | 71805 | 58452 | 229700 0 | 7625 | 10053
1321.15/1321.67 c 433s | 14 | 72181 | 58752 | 229700 0 | 7625 | 10053
1323.26/1323.70 c 436s | 14 | 72543 | 59052 | 229700 0 | 7625 | 10053
1325.66/1326.10 c 438s | 14 | 72904 | 59352 | 229700 0 | 7625 | 10053
1327.86/1328.32 c 440s | 14 | 73258 | 59652 | 229700 0 | 7625 | 10053
1330.35/1330.87 c 443s | 14 | 73597 | 59952 | 229700 0 | 7625 | 10053
1333.15/1333.64 c 445s | 14 | 73930 | 60252 | 229700 0 | 7625 | 10053
1335.25/1335.77 c 448s | 14 | 74152 | 60452 | 229700 0 | 7625 | 10053
1338.05/1338.56 c 450s | 14 | 74519 | 60752 | 229700 0 | 7625 | 10053
1340.45/1340.94 c 453s | 14 | 74853 | 61052 | 229700 0 | 7625 | 10053
1343.45/1343.93 c 456s | 14 | 75181 | 61352 | 229700 0 | 7625 | 10053
1346.25/1346.73 c 459s | 14 | 75529 | 61652 | 229700 0 | 7625 | 10053
1348.75/1349.22 c 461s | 14 | 75897 | 61952 | 229700 0 | 7625 | 10053
1351.35/1351.87 c 464s | 14 | 76232 | 62252 | 229700 0 | 7625 | 10053
1353.75/1354.25 c 466s | 14 | 76614 | 62552 | 229700 0 | 7625 | 10053
1356.84/1357.30 c 469s | 14 | 77099 | 62952 | 229700 0 | 7625 | 10053
1359.04/1359.55 c 471s | 14 | 77481 | 63252 | 229700 0 | 7625 | 10053
1361.84/1362.38 c 474s | 14 | 77833 | 63552 | 229700 0 | 7625 | 10053
1363.94/1364.47 c 476s | 14 | 78200 | 63852 | 229700 0 | 7625 | 10053
1366.14/1366.60 c 478s | 14 | 78556 | 64152 | 229700 0 | 7625 | 10053
1368.44/1368.92 c 481s | 14 | 78937 | 64452 | 229700 0 | 7625 | 10053
1370.44/1370.98 c 483s | 14 | 79330 | 64752 | 229700 0 | 7625 | 10053
1372.94/1373.46 c 485s | 14 | 79711 | 65052 | 229700 0 | 7625 | 10053
1375.54/1376.07 c 488s | 14 | 80192 | 65452 | 229700 0 | 7625 | 10053
1377.64/1378.12 c 490s | 14 | 80561 | 65752 | 229700 0 | 7625 | 10053
1380.44/1380.96 c 493s | 14 | 81105 | 66152 | 229700 0 | 7625 | 10053
1382.84/1383.37 c 495s | 14 | 81483 | 66452 | 229700 0 | 7625 | 10053
1385.34/1385.80 c 498s | 14 | 81999 | 66852 | 229700 0 | 7625 | 10053
1387.75/1388.22 c 500s | 14 | 82497 | 67252 | 229700 0 | 7625 | 10053
1390.14/1390.68 c 503s | 14 | 83007 | 67652 | 229700 0 | 7625 | 10053
1392.84/1393.36 c 505s | 14 | 83513 | 68052 | 229700 0 | 7625 | 10053
1395.34/1395.80 c 508s | 14 | 84014 | 68452 | 229700 0 | 7625 | 10053
1397.84/1398.30 c 510s | 14 | 84517 | 68852 | 229700 0 | 7625 | 10053
1400.54/1401.08 c 513s | 14 | 85041 | 69252 | 229700 0 | 7625 | 10053
1402.94/1403.43 c 515s | 14 | 85393 | 69552 | 229700 0 | 7625 | 10053
1405.64/1406.17 c 518s | 14 | 85772 | 69852 | 229700 0 | 7625 | 10053
1408.34/1408.83 c 521s | 14 | 86124 | 70152 | 229700 0 | 7625 | 10053
1410.74/1411.22 c 523s | 14 | 86487 | 70452 | 229700 0 | 7625 | 10053
1413.14/1413.68 c 526s | 14 | 86824 | 70752 | 229700 0 | 7625 | 10053
1415.44/1415.97 c 528s | 14 | 87152 | 71052 | 229700 0 | 7625 | 10053
1417.74/1418.27 c 530s | 14 | 87486 | 71352 | 229700 0 | 7625 | 10053
1420.14/1420.63 c 532s | 14 | 87821 | 71652 | 229700 0 | 7625 | 10053
1422.83/1423.30 c 535s | 14 | 88177 | 71952 | 229700 0 | 7625 | 10053
1425.14/1425.68 c 537s | 14 | 88511 | 72252 | 229700 0 | 7625 | 10053
1427.73/1428.25 c 540s | 14 | 88963 | 72652 | 229700 0 | 7625 | 10053
1430.13/1430.66 c 542s | 14 | 89332 | 72952 | 229700 0 | 7625 | 10053
1432.73/1433.27 c 545s | 14 | 89842 | 73352 | 229700 0 | 7625 | 10053
1435.53/1436.03 c 548s | 14 | 90278 | 73752 | 229700 0 | 7625 | 10053
1437.73/1438.23 c 550s | 14 | 90609 | 74052 | 229700 0 | 7625 | 10053
1440.13/1440.67 c 552s | 14 | 90962 | 74352 | 229700 0 | 7625 | 10053
1442.23/1442.74 c 555s | 14 | 91181 | 74552 | 229700 0 | 7625 | 10053
1445.33/1445.88 c 558s | 14 | 91523 | 74852 | 229700 0 | 7625 | 10053
1447.83/1448.30 c 560s | 14 | 91883 | 75152 | 229700 0 | 7625 | 10053
1450.73/1451.24 c 563s | 14 | 92273 | 75452 | 229700 0 | 7625 | 10053
1453.43/1453.91 c 566s | 14 | 92622 | 75752 | 229700 0 | 7625 | 10053
1456.13/1456.69 c 569s | 14 | 92963 | 76052 | 229700 0 | 7625 | 10053
1458.73/1459.20 c 571s | 14 | 93321 | 76352 | 229700 0 | 7625 | 10053
1461.33/1461.84 c 574s | 14 | 93667 | 76652 | 229700 0 | 7625 | 10053
1464.03/1464.55 c 576s | 14 | 94024 | 76952 | 229700 0 | 7625 | 10053
1466.03/1466.57 c 578s | 14 | 94243 | 77152 | 229700 0 | 7625 | 10053
1468.03/1468.58 c 580s | 14 | 94491 | 77352 | 229700 0 | 7625 | 10053
1470.23/1470.72 c 583s | 14 | 94708 | 77552 | 229700 0 | 7625 | 10053
1472.33/1472.80 c 585s | 14 | 94919 | 77752 | 229700 0 | 7625 | 10053
1474.33/1474.88 c 587s | 14 | 95174 | 77952 | 229700 0 | 7625 | 10053
1476.83/1477.38 c 589s | 14 | 95536 | 78252 | 229700 0 | 7625 | 10053
1479.53/1480.03 c 592s | 14 | 95871 | 78552 | 229700 0 | 7625 | 10053
1482.12/1482.66 c 594s | 14 | 96219 | 78852 | 229700 0 | 7625 | 10053
1484.42/1484.90 c 597s | 14 | 96572 | 79152 | 229700 0 | 7625 | 10053
1486.92/1487.41 c 599s | 14 | 96947 | 79452 | 229700 0 | 7625 | 10053
1489.03/1489.57 c 601s | 14 | 97306 | 79752 | 229700 0 | 7625 | 10053
1491.23/1491.76 c 604s | 14 | 97641 | 80052 | 229700 0 | 7625 | 10053
1493.92/1494.41 c 606s | 14 | 97995 | 80352 | 229700 0 | 7625 | 10053
1495.92/1496.49 c 608s | 14 | 98216 | 80552 | 229700 0 | 7625 | 10053
1498.42/1498.99 c 611s | 14 | 98571 | 80852 | 229700 0 | 7625 | 10053
1501.13/1501.65 c 613s | 14 | 99015 | 81252 | 229700 0 | 7625 | 10053
1503.52/1504.06 c 616s | 14 | 99362 | 81552 | 229700 0 | 7625 | 10053
1506.02/1506.51 c 618s | 14 | 99700 | 81852 | 229700 0 | 7625 | 10053
1508.42/1508.95 c 621s | 14 | 100050 | 82152 | 229700 0 | 7625 | 10053
1510.93/1511.48 c 623s | 14 | 100395 | 82452 | 229700 0 | 7625 | 10053
1513.62/1514.19 c 626s | 14 | 100765 | 82752 | 229700 0 | 7625 | 10053
1516.62/1517.10 c 629s | 14 | 101129 | 83052 | 229700 0 | 7625 | 10053
1518.92/1519.43 c 631s | 14 | 101359 | 83252 | 229700 0 | 7625 | 10053
1521.12/1521.68 c 633s | 14 | 101607 | 83452 | 229700 0 | 7625 | 10053
1523.82/1524.37 c 636s | 14 | 101972 | 83752 | 229700 0 | 7625 | 10053
1526.52/1527.03 c 639s | 14 | 102324 | 84052 | 229700 0 | 7625 | 10053
1529.42/1529.97 c 642s | 14 | 102654 | 84352 | 229700 0 | 7625 | 10053
1532.02/1532.50 c 644s | 14 | 103026 | 84652 | 229700 0 | 7625 | 10053
1534.62/1535.19 c 647s | 14 | 103380 | 84952 | 229700 0 | 7625 | 10053
1536.72/1537.27 c 649s | 14 | 103607 | 85152 | 229700 0 | 7625 | 10053
1539.42/1539.96 c 652s | 14 | 103992 | 85452 | 229700 0 | 7625 | 10053
1541.72/1542.25 c 654s | 14 | 104345 | 85752 | 229700 0 | 7625 | 10053
1543.81/1544.36 c 656s | 14 | 104692 | 86052 | 229700 0 | 7625 | 10053
1546.61/1547.15 c 659s | 14 | 105179 | 86452 | 229700 0 | 7625 | 10053
1548.91/1549.42 c 661s | 14 | 105534 | 86752 | 229700 0 | 7625 | 10053
1551.41/1551.91 c 664s | 14 | 105885 | 87052 | 229700 0 | 7625 | 10053
1554.21/1554.70 c 667s | 14 | 106217 | 87352 | 229700 0 | 7625 | 10053
1556.71/1557.28 c 669s | 15 | 106563 | 87632 | 229700 0 | 7625 | 10053
1572.80/1573.30 c 685s | 15 | 106695 | 87732 | 229700 1 | 7625 | 10053
1575.00/1575.53 c 687s | 15 | 107066 | 88032 | 229700 1 | 7625 | 10053
1578.11/1578.63 c 690s | 15 | 107199 | 88132 | 229700 1 | 7625 | 10053
1601.50/1602.01 c 714s | 15 | 107430 | 88332 | 229700 1 | 7625 | 10053
1603.50/1604.09 c 716s | 15 | 107920 | 88732 | 229700 1 | 7625 | 10053
1605.90/1606.43 c 718s | 15 | 108396 | 89132 | 229700 1 | 7625 | 10053
1607.90/1608.44 c 720s | 15 | 108747 | 89432 | 229700 1 | 7625 | 10053
1610.40/1610.93 c 723s | 15 | 109210 | 89832 | 229700 1 | 7625 | 10053
1612.60/1613.15 c 725s | 15 | 109540 | 90132 | 229700 1 | 7625 | 10053
1616.30/1616.83 c 729s | 15 | 109772 | 90332 | 229700 1 | 7625 | 10053
1618.30/1618.88 c 731s | 15 | 110103 | 90632 | 229700 1 | 7625 | 10053
1620.40/1620.92 c 733s | 15 | 110474 | 90932 | 229700 1 | 7625 | 10053
1622.80/1623.31 c 735s | 15 | 111018 | 91332 | 229700 1 | 7625 | 10053
1625.50/1626.07 c 738s | 15 | 111527 | 91732 | 229700 1 | 7625 | 10053
1627.70/1628.20 c 740s | 15 | 111875 | 92032 | 229700 1 | 7625 | 10053
1629.71/1630.26 c 742s | 15 | 112228 | 92332 | 229700 1 | 7625 | 10053
1632.10/1632.69 c 745s | 15 | 112732 | 92732 | 229700 1 | 7625 | 10053
1634.70/1635.20 c 747s | 15 | 113217 | 93132 | 229700 1 | 7625 | 10053
1637.00/1637.57 c 749s | 15 | 113769 | 93532 | 229700 1 | 7625 | 10053
1639.40/1639.99 c 752s | 15 | 114269 | 93932 | 229700 1 | 7625 | 10053
1641.70/1642.23 c 754s | 15 | 114610 | 94232 | 229700 1 | 7625 | 10053
1643.90/1644.41 c 756s | 15 | 115088 | 94632 | 229700 1 | 7625 | 10053
1646.40/1646.99 c 759s | 15 | 115457 | 94932 | 229700 1 | 7625 | 10053
1648.60/1649.11 c 761s | 15 | 115928 | 95332 | 229700 1 | 7625 | 10053
1651.30/1651.82 c 764s | 15 | 116380 | 95732 | 229700 1 | 7625 | 10053
1653.59/1654.13 c 766s | 15 | 116893 | 96132 | 229700 1 | 7625 | 10053
1656.20/1656.78 c 769s | 15 | 117362 | 96532 | 229700 1 | 7625 | 10053
1658.69/1659.26 c 771s | 15 | 117853 | 96932 | 229700 1 | 7625 | 10053
1660.79/1661.33 c 773s | 15 | 118223 | 97232 | 229700 1 | 7625 | 10053
1662.89/1663.48 c 775s | 15 | 118711 | 97632 | 229700 1 | 7625 | 10053
1665.00/1665.53 c 777s | 15 | 119177 | 98032 | 229700 1 | 7625 | 10053
1667.10/1667.67 c 779s | 15 | 119652 | 98432 | 229700 1 | 7625 | 10053
1669.59/1670.19 c 782s | 15 | 120145 | 98832 | 229700 1 | 7625 | 10053
1671.69/1672.24 c 784s | 15 | 120495 | 99132 | 229700 1 | 7625 | 10053
1673.99/1674.59 c 786s | 15 | 120843 | 99432 | 229700 1 | 7625 | 10053
1676.49/1677.03 c 789s | 15 | 121321 | 99832 | 229700 1 | 7625 | 10053
1678.79/1679.34 c 791s | 15 | 121666 | 100132 | 229700 1 | 7625 | 10053
1681.40/1681.92 c 794s | 15 | 122176 | 100532 | 229700 1 | 7625 | 10053
1683.99/1684.54 c 796s | 15 | 122638 | 100932 | 229700 1 | 7625 | 10053
1686.19/1686.72 c 799s | 15 | 123124 | 101332 | 229700 1 | 7625 | 10053
1688.59/1689.14 c 801s | 15 | 123591 | 101732 | 229700 1 | 7625 | 10053
1690.99/1691.55 c 803s | 15 | 124086 | 102132 | 229700 1 | 7625 | 10053
1693.39/1693.95 c 806s | 15 | 124592 | 102532 | 229700 1 | 7625 | 10053
1695.80/1696.31 c 808s | 15 | 125073 | 102932 | 229700 1 | 7625 | 10053
1698.19/1698.78 c 811s | 15 | 125540 | 103332 | 229700 1 | 7625 | 10053
1700.69/1701.27 c 813s | 15 | 126005 | 103732 | 229700 1 | 7625 | 10053
1703.09/1703.65 c 815s | 15 | 126457 | 104132 | 229700 1 | 7625 | 10053
1705.79/1706.36 c 818s | 15 | 126925 | 104532 | 229700 1 | 7625 | 10053
1708.39/1708.90 c 821s | 15 | 127358 | 104932 | 229700 1 | 7625 | 10053
1710.59/1711.11 c 823s | 15 | 127692 | 105232 | 229700 1 | 7625 | 10053
1712.69/1713.23 c 825s | 15 | 128051 | 105532 | 229700 1 | 7625 | 10053
1714.99/1715.59 c 827s | 15 | 128390 | 105832 | 229700 1 | 7625 | 10053
1717.19/1717.78 c 830s | 15 | 128729 | 106132 | 229700 1 | 7625 | 10053
1719.89/1720.48 c 832s | 15 | 129081 | 106432 | 229700 1 | 7625 | 10053
1722.68/1723.28 c 835s | 15 | 129447 | 106732 | 229700 1 | 7625 | 10053
1725.08/1725.62 c 837s | 15 | 129789 | 107032 | 229700 1 | 7625 | 10053
1727.18/1727.70 c 840s | 15 | 130148 | 107332 | 229700 1 | 7625 | 10053
1729.18/1729.72 c 842s | 15 | 130534 | 107632 | 229700 1 | 7625 | 10053
1731.78/1732.39 c 844s | 15 | 131001 | 108032 | 229700 1 | 7625 | 10053
1734.29/1734.83 c 847s | 15 | 131350 | 108332 | 229700 1 | 7625 | 10053
1736.49/1737.06 c 849s | 15 | 131707 | 108632 | 229700 1 | 7625 | 10053
1738.98/1739.52 c 851s | 15 | 132055 | 108932 | 229700 1 | 7625 | 10053
1741.28/1741.89 c 854s | 15 | 132439 | 109232 | 229700 1 | 7625 | 10053
1743.88/1744.47 c 856s | 15 | 132800 | 109532 | 229700 1 | 7625 | 10053
1746.08/1746.63 c 858s | 15 | 133133 | 109832 | 229700 1 | 7625 | 10053
1748.18/1748.75 c 861s | 15 | 133492 | 110132 | 229700 1 | 7625 | 10053
1750.48/1751.05 c 863s | 15 | 133996 | 110532 | 229700 1 | 7625 | 10053
1752.78/1753.33 c 865s | 15 | 134366 | 110832 | 229700 1 | 7625 | 10053
1754.88/1755.45 c 867s | 15 | 134717 | 111132 | 229700 1 | 7625 | 10053
1757.28/1757.88 c 870s | 15 | 135056 | 111432 | 229700 1 | 7625 | 10053
1759.78/1760.34 c 872s | 15 | 135411 | 111732 | 229700 1 | 7625 | 10053
1762.28/1762.81 c 875s | 15 | 135770 | 112032 | 229700 1 | 7625 | 10053
1764.38/1764.96 c 877s | 15 | 136116 | 112332 | 229700 1 | 7625 | 10053
1766.88/1767.44 c 879s | 15 | 136477 | 112632 | 229700 1 | 7625 | 10053
1768.88/1769.46 c 881s | 15 | 136841 | 112932 | 229700 1 | 7625 | 10053
1771.08/1771.62 c 883s | 15 | 137194 | 113232 | 229700 1 | 7625 | 10053
1773.38/1773.91 c 886s | 15 | 137538 | 113532 | 229700 1 | 7625 | 10053
1775.78/1776.31 c 888s | 15 | 138023 | 113932 | 229700 1 | 7625 | 10053
1778.07/1778.68 c 891s | 15 | 138525 | 114332 | 229700 1 | 7625 | 10053
1780.17/1780.74 c 893s | 15 | 138869 | 114632 | 229700 1 | 7625 | 10053
1782.37/1782.94 c 895s | 15 | 139207 | 114932 | 229700 1 | 7625 | 10053
1784.88/1785.43 c 897s | 15 | 139553 | 115232 | 229700 1 | 7625 | 10053
1787.57/1788.17 c 900s | 15 | 140034 | 115632 | 229700 1 | 7625 | 10053
1789.87/1790.49 c 902s | 15 | 140410 | 115932 | 229700 1 | 7625 | 10053
1792.17/1792.74 c 905s | 15 | 140797 | 116232 | 229700 1 | 7625 | 10053
1794.78/1795.39 c 907s | 15 | 141275 | 116632 | 229700 1 | 7625 | 10053
1797.17/1797.74 c 910s | 15 | 141776 | 117032 | 229700 1 | 7625 | 10053
1799.27/1799.86 c 912s | 15 | 142153 | 117332 | 229700 1 | 7625 | 10053
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-4079956-1465273569/watcher-4079956-1465273569 -o /tmp/evaluation-result-4079956-1465273569/solver-4079956-1465273569 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9911 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079956-1465273569.opb
pid=15161
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.23 2.11 2.10 3/179 15164
/proc/meminfo: memFree=29424708/32872528 swapFree=12208/1156848
[pid=15164] ppid=15161 vsize=691644 CPUtime=0 cores=0,2,4,6
/proc/15164/stat : 15164 (toysat) R 15161 15164 9895 0 -1 4202496 2573 0 0 0 0 0 0 0 20 0 4 0 109291507 708243456 3446 33554432000 4194304 16246674 140736852909888 140736852909312 15002730 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15164/statm: 173679 3454 441 2943 0 170573 0
[pid=15164/tid=15165] ppid=15161 vsize=710076 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15165/stat : 15165 (toysat) S 15161 15164 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109291507 727117824 3516 33554432000 4194304 16246674 140736852909888 139720149413104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15164/tid=15166] ppid=15161 vsize=715196 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15166/stat : 15166 (toysat) S 15161 15164 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109291507 732360704 3534 33554432000 4194304 16246674 140736852909888 139720138923248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15164/tid=15167] ppid=15161 vsize=719292 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15167/stat : 15167 (toysat) S 15161 15164 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109291507 736555008 3551 33554432000 4194304 16246674 140736852909888 139720050863280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[startup+0.100214 s]
/proc/loadavg: 2.23 2.11 2.10 3/179 15164
/proc/meminfo: memFree=29424708/32872528 swapFree=12208/1156848
[pid=15164] ppid=15161 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/15164/stat : 15164 (toysat) R 15161 15164 9895 0 -1 4202496 27043 0 0 0 5 4 0 0 20 0 4 0 109291507 1333334016 27854 33554432000 4194304 16246674 140736852909888 140736852909200 7368729 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15164/statm: 325521 27868 801 2943 0 322415 0
[pid=15164/tid=15165] ppid=15161 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15165/stat : 15165 (toysat) S 15161 15164 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109291507 1333334016 27879 33554432000 4194304 16246674 140736852909888 139720149413104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15164/tid=15166] ppid=15161 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15166/stat : 15166 (toysat) S 15161 15164 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109291507 1333334016 27890 33554432000 4194304 16246674 140736852909888 139720138923248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15164/tid=15167] ppid=15161 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15167/stat : 15167 (toysat) S 15161 15164 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109291507 1333334016 27901 33554432000 4194304 16246674 140736852909888 139720050863280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084
[startup+0.200508 s]
/proc/loadavg: 2.23 2.11 2.10 3/179 15164
/proc/meminfo: memFree=29424708/32872528 swapFree=12208/1156848
[pid=15164] ppid=15161 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/15164/stat : 15164 (toysat) R 15161 15164 9895 0 -1 4202496 44174 0 0 0 13 6 0 0 20 0 4 0 109291507 1344868352 45495 33554432000 4194304 16246674 140736852909888 140736852909200 13784952 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15164/statm: 328337 45495 802 2943 0 325231 0
[pid=15164/tid=15165] ppid=15161 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15165/stat : 15165 (toysat) S 15161 15164 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109291507 1344868352 45495 33554432000 4194304 16246674 140736852909888 139720149413104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15164/tid=15166] ppid=15161 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15166/stat : 15166 (toysat) S 15161 15164 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109291507 1344868352 45495 33554432000 4194304 16246674 140736852909888 139720138923248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15164/tid=15167] ppid=15161 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15167/stat : 15167 (toysat) S 15161 15164 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109291507 1344868352 45495 33554432000 4194304 16246674 140736852909888 139720050863280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348
[startup+0.300489 s]
/proc/loadavg: 2.23 2.11 2.10 3/179 15164
/proc/meminfo: memFree=29424708/32872528 swapFree=12208/1156848
[pid=15164] ppid=15161 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/15164/stat : 15164 (toysat) R 15161 15164 9895 0 -1 4202496 59783 0 0 0 21 8 0 0 20 0 4 0 109291507 1344868352 61104 33554432000 4194304 16246674 140736852909888 140736852909200 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15164/statm: 328337 61104 802 2943 0 325231 0
[pid=15164/tid=15165] ppid=15161 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15165/stat : 15165 (toysat) S 15161 15164 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109291507 1344868352 61104 33554432000 4194304 16246674 140736852909888 139720149413104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15164/tid=15166] ppid=15161 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15166/stat : 15166 (toysat) S 15161 15164 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109291507 1344868352 61104 33554432000 4194304 16246674 140736852909888 139720138923248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15164/tid=15167] ppid=15161 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15167/stat : 15167 (toysat) S 15161 15164 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109291507 1344868352 61104 33554432000 4194304 16246674 140736852909888 139720050863280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348
[startup+0.700391 s]
/proc/loadavg: 2.23 2.11 2.10 3/179 15164
/proc/meminfo: memFree=29424708/32872528 swapFree=12208/1156848
[pid=15164] ppid=15161 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/15164/stat : 15164 (toysat) R 15161 15164 9895 0 -1 4202496 68424 0 0 0 60 9 0 0 20 0 4 0 109291507 1344868352 69745 33554432000 4194304 16246674 140736852909888 140736852909064 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15164/statm: 328337 69745 803 2943 0 325231 0
[pid=15164/tid=15165] ppid=15161 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15165/stat : 15165 (toysat) S 15161 15164 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109291507 1344868352 69745 33554432000 4194304 16246674 140736852909888 139720149413104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15164/tid=15166] ppid=15161 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15166/stat : 15166 (toysat) S 15161 15164 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109291507 1344868352 69745 33554432000 4194304 16246674 140736852909888 139720138923248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15164/tid=15167] ppid=15161 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15167/stat : 15167 (toysat) S 15161 15164 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109291507 1344868352 69745 33554432000 4194304 16246674 140736852909888 139720050863280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348
[startup+1.50039 s]
/proc/loadavg: 2.23 2.11 2.10 3/183 15168
/proc/meminfo: memFree=28990632/32872528 swapFree=12208/1156848
[pid=15164] ppid=15161 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/15164/stat : 15164 (toysat) R 15161 15164 9895 0 -1 4202496 178344 0 0 0 124 25 0 0 20 0 4 0 109291507 1344868352 179665 33554432000 4194304 16246674 140736852909888 140736852909064 6975953 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15164/statm: 328337 179673 839 2943 0 325231 0
[pid=15164/tid=15165] ppid=15161 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15165/stat : 15165 (toysat) S 15161 15164 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109291507 1344868352 179678 33554432000 4194304 16246674 140736852909888 139720149413104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15164/tid=15166] ppid=15161 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15166/stat : 15166 (toysat) S 15161 15164 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109291507 1344868352 179685 33554432000 4194304 16246674 140736852909888 139720138923248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15164/tid=15167] ppid=15161 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15167/stat : 15167 (toysat) S 15161 15164 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109291507 1344868352 179690 33554432000 4194304 16246674 140736852909888 139720050863280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348
[startup+3.10041 s]
/proc/loadavg: 2.23 2.11 2.10 3/183 15168
/proc/meminfo: memFree=28299092/32872528 swapFree=12208/1156848
[pid=15164] ppid=15161 vsize=1359428 CPUtime=3.09 cores=0,2,4,6
/proc/15164/stat : 15164 (toysat) R 15161 15164 9895 0 -1 4202496 280538 0 0 0 269 40 0 0 20 0 4 0 109291507 1392054272 281859 33554432000 4194304 16246674 140736852909888 140736852907712 12449269 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15164/statm: 339857 281859 903 2943 0 336751 0
[pid=15164/tid=15165] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15165/stat : 15165 (toysat) S 15161 15164 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281859 33554432000 4194304 16246674 140736852909888 139720149413104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15164/tid=15166] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15166/stat : 15166 (toysat) S 15161 15164 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281859 33554432000 4194304 16246674 140736852909888 139720138923248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15164/tid=15167] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15167/stat : 15167 (toysat) S 15161 15164 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281859 33554432000 4194304 16246674 140736852909888 139720050863280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1359428
[startup+6.3004 s]
/proc/loadavg: 2.21 2.11 2.09 3/183 15168
/proc/meminfo: memFree=28299368/32872528 swapFree=12208/1156848
[pid=15164] ppid=15161 vsize=1359428 CPUtime=6.29 cores=0,2,4,6
/proc/15164/stat : 15164 (toysat) R 15161 15164 9895 0 -1 4202496 280550 0 0 0 589 40 0 0 20 0 4 0 109291507 1392054272 281871 33554432000 4194304 16246674 140736852909888 140736852891776 12652957 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15164/statm: 339857 281871 913 2943 0 336751 0
[pid=15164/tid=15165] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15165/stat : 15165 (toysat) S 15161 15164 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281871 33554432000 4194304 16246674 140736852909888 139720149413104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15164/tid=15166] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15166/stat : 15166 (toysat) S 15161 15164 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281871 33554432000 4194304 16246674 140736852909888 139720138923248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15164/tid=15167] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15167/stat : 15167 (toysat) S 15161 15164 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281871 33554432000 4194304 16246674 140736852909888 139720050863280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1359428
[startup+12.7004 s]
/proc/loadavg: 2.20 2.10 2.09 3/183 15168
/proc/meminfo: memFree=28299640/32872528 swapFree=12208/1156848
[pid=15164] ppid=15161 vsize=1359428 CPUtime=12.68 cores=0,2,4,6
/proc/15164/stat : 15164 (toysat) R 15161 15164 9895 0 -1 4202496 280552 0 0 0 1228 40 0 0 20 0 4 0 109291507 1392054272 281873 33554432000 4194304 16246674 140736852909888 140736852907840 5523192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15164/statm: 339857 281873 915 2943 0 336751 0
[pid=15164/tid=15165] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15165/stat : 15165 (toysat) S 15161 15164 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281873 33554432000 4194304 16246674 140736852909888 139720149413104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15164/tid=15166] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15166/stat : 15166 (toysat) S 15161 15164 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281873 33554432000 4194304 16246674 140736852909888 139720138923248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15164/tid=15167] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15167/stat : 15167 (toysat) S 15161 15164 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281873 33554432000 4194304 16246674 140736852909888 139720050863280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1359428
[startup+25.5005 s]
/proc/loadavg: 2.15 2.10 2.09 4/183 15168
/proc/meminfo: memFree=28300540/32872528 swapFree=12208/1156848
[pid=15164] ppid=15161 vsize=1359428 CPUtime=25.48 cores=0,2,4,6
/proc/15164/stat : 15164 (toysat) R 15161 15164 9895 0 -1 4202496 280553 0 0 0 2508 40 0 0 20 0 4 0 109291507 1392054272 281874 33554432000 4194304 16246674 140736852909888 140736852891776 5824299 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15164/statm: 339857 281874 915 2943 0 336751 0
[pid=15164/tid=15165] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15165/stat : 15165 (toysat) S 15161 15164 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281874 33554432000 4194304 16246674 140736852909888 139720149413104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15164/tid=15166] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15166/stat : 15166 (toysat) S 15161 15164 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281874 33554432000 4194304 16246674 140736852909888 139720138923248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15164/tid=15167] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15167/stat : 15167 (toysat) S 15161 15164 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281874 33554432000 4194304 16246674 140736852909888 139720050863280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1359428
[startup+51.1005 s]
/proc/loadavg: 2.10 2.09 2.09 3/183 15168
/proc/meminfo: memFree=28300268/32872528 swapFree=12208/1156848
[pid=15164] ppid=15161 vsize=1359428 CPUtime=51.08 cores=0,2,4,6
/proc/15164/stat : 15164 (toysat) R 15161 15164 9895 0 -1 4202496 280557 0 0 0 5068 40 0 0 20 0 4 0 109291507 1392054272 281878 33554432000 4194304 16246674 140736852909888 140736852891776 5599968 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15164/statm: 339857 281878 918 2943 0 336751 0
[pid=15164/tid=15165] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15165/stat : 15165 (toysat) S 15161 15164 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281878 33554432000 4194304 16246674 140736852909888 139720149413104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15164/tid=15166] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15166/stat : 15166 (toysat) S 15161 15164 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281878 33554432000 4194304 16246674 140736852909888 139720138923248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15164/tid=15167] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15167/stat : 15167 (toysat) S 15161 15164 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281878 33554432000 4194304 16246674 140736852909888 139720050863280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1359428
[startup+102.3 s]
/proc/loadavg: 2.17 2.10 2.09 3/183 15169
/proc/meminfo: memFree=28299964/32872528 swapFree=12208/1156848
[pid=15164] ppid=15161 vsize=1359428 CPUtime=102.28 cores=0,2,4,6
/proc/15164/stat : 15164 (toysat) R 15161 15164 9895 0 -1 4202496 280557 0 0 0 10188 40 0 0 20 0 4 0 109291507 1392054272 281878 33554432000 4194304 16246674 140736852909888 140736852891776 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15164/statm: 339857 281878 918 2943 0 336751 0
[pid=15164/tid=15165] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15165/stat : 15165 (toysat) S 15161 15164 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281878 33554432000 4194304 16246674 140736852909888 139720149413104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15164/tid=15166] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15166/stat : 15166 (toysat) S 15161 15164 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281878 33554432000 4194304 16246674 140736852909888 139720138923248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15164/tid=15167] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15167/stat : 15167 (toysat) S 15161 15164 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281878 33554432000 4194304 16246674 140736852909888 139720050863280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1359428
################
# More data... #
################
/proc/15164/task/15167/stat : 15167 (toysat) S 15161 15164 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281880 33554432000 4194304 16246674 140736852909888 139720050863280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1359428
[startup+1302.3 s]
/proc/loadavg: 2.16 2.18 2.13 4/183 15443
/proc/meminfo: memFree=28362444/32872528 swapFree=12208/1156848
[pid=15164] ppid=15161 vsize=1359428 CPUtime=1301.86 cores=0,2,4,6
/proc/15164/stat : 15164 (toysat) R 15161 15164 9895 0 -1 4202496 280943 0 0 0 130144 42 0 0 20 0 4 0 109291507 1392054272 281880 33554432000 4194304 16246674 140736852909888 140736852891776 5674002 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15164/statm: 339857 281880 919 2943 0 336751 0
[pid=15164/tid=15165] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15165/stat : 15165 (toysat) S 15161 15164 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281880 33554432000 4194304 16246674 140736852909888 139720149413104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15164/tid=15166] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15166/stat : 15166 (toysat) S 15161 15164 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281880 33554432000 4194304 16246674 140736852909888 139720138923248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15164/tid=15167] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15167/stat : 15167 (toysat) S 15161 15164 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281880 33554432000 4194304 16246674 140736852909888 139720050863280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1359428
[startup+1362.3 s]
/proc/loadavg: 2.13 2.17 2.13 3/183 15444
/proc/meminfo: memFree=28362000/32872528 swapFree=12208/1156848
[pid=15164] ppid=15161 vsize=1359428 CPUtime=1361.84 cores=0,2,4,6
/proc/15164/stat : 15164 (toysat) R 15161 15164 9895 0 -1 4202496 280967 0 0 0 136141 43 0 0 20 0 4 0 109291507 1392054272 281880 33554432000 4194304 16246674 140736852909888 140736852891776 5523188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15164/statm: 339857 281880 919 2943 0 336751 0
[pid=15164/tid=15165] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15165/stat : 15165 (toysat) S 15161 15164 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281880 33554432000 4194304 16246674 140736852909888 139720149413104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15164/tid=15166] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15166/stat : 15166 (toysat) S 15161 15164 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281880 33554432000 4194304 16246674 140736852909888 139720138923248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15164/tid=15167] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15167/stat : 15167 (toysat) S 15161 15164 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281880 33554432000 4194304 16246674 140736852909888 139720050863280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1359428
[startup+1422.3 s]
/proc/loadavg: 2.14 2.17 2.12 3/183 15446
/proc/meminfo: memFree=28362004/32872528 swapFree=12208/1156848
[pid=15164] ppid=15161 vsize=1359428 CPUtime=1421.84 cores=0,2,4,6
/proc/15164/stat : 15164 (toysat) R 15161 15164 9895 0 -1 4202496 280967 0 0 0 142141 43 0 0 20 0 4 0 109291507 1392054272 281880 33554432000 4194304 16246674 140736852909888 140736852891776 5673957 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15164/statm: 339857 281880 919 2943 0 336751 0
[pid=15164/tid=15165] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15165/stat : 15165 (toysat) S 15161 15164 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281880 33554432000 4194304 16246674 140736852909888 139720149413104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15164/tid=15166] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15166/stat : 15166 (toysat) S 15161 15164 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281880 33554432000 4194304 16246674 140736852909888 139720138923248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15164/tid=15167] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15167/stat : 15167 (toysat) S 15161 15164 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281880 33554432000 4194304 16246674 140736852909888 139720050863280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1359428
[startup+1482.3 s]
/proc/loadavg: 2.16 2.16 2.12 4/184 15450
/proc/meminfo: memFree=28362160/32872528 swapFree=12208/1156848
[pid=15164] ppid=15161 vsize=1359428 CPUtime=1481.82 cores=0,2,4,6
/proc/15164/stat : 15164 (toysat) R 15161 15164 9895 0 -1 4202496 280967 0 0 0 148139 43 0 0 20 0 4 0 109291507 1392054272 281880 33554432000 4194304 16246674 140736852909888 140736852891776 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15164/statm: 339857 281880 919 2943 0 336751 0
[pid=15164/tid=15165] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15165/stat : 15165 (toysat) S 15161 15164 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281880 33554432000 4194304 16246674 140736852909888 139720149413104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15164/tid=15166] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15166/stat : 15166 (toysat) S 15161 15164 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281880 33554432000 4194304 16246674 140736852909888 139720138923248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15164/tid=15167] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15167/stat : 15167 (toysat) S 15161 15164 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281880 33554432000 4194304 16246674 140736852909888 139720050863280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1359428
[startup+1542.31 s]
/proc/loadavg: 2.25 2.18 2.13 3/183 15451
/proc/meminfo: memFree=28361612/32872528 swapFree=12208/1156848
[pid=15164] ppid=15161 vsize=1359428 CPUtime=1541.82 cores=0,2,4,6
/proc/15164/stat : 15164 (toysat) R 15161 15164 9895 0 -1 4202496 280967 0 0 0 154139 43 0 0 20 0 4 0 109291507 1392054272 281880 33554432000 4194304 16246674 140736852909888 140736852891776 5600384 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15164/statm: 339857 281880 919 2943 0 336751 0
[pid=15164/tid=15165] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15165/stat : 15165 (toysat) S 15161 15164 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281880 33554432000 4194304 16246674 140736852909888 139720149413104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15164/tid=15166] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15166/stat : 15166 (toysat) S 15161 15164 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281880 33554432000 4194304 16246674 140736852909888 139720138923248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15164/tid=15167] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15167/stat : 15167 (toysat) S 15161 15164 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281880 33554432000 4194304 16246674 140736852909888 139720050863280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1359428
[startup+1602.3 s]
/proc/loadavg: 2.27 2.19 2.13 3/183 15452
/proc/meminfo: memFree=28361916/32872528 swapFree=12208/1156848
[pid=15164] ppid=15161 vsize=1359428 CPUtime=1601.8 cores=0,2,4,6
/proc/15164/stat : 15164 (toysat) R 15161 15164 9895 0 -1 4202496 280969 0 0 0 160133 47 0 0 20 0 4 0 109291507 1392054272 281882 33554432000 4194304 16246674 140736852909888 140736852908984 5673687 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15164/statm: 339857 281882 920 2943 0 336751 0
[pid=15164/tid=15165] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15165/stat : 15165 (toysat) S 15161 15164 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281882 33554432000 4194304 16246674 140736852909888 139720149413104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15164/tid=15166] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15166/stat : 15166 (toysat) S 15161 15164 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281882 33554432000 4194304 16246674 140736852909888 139720138923248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15164/tid=15167] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15167/stat : 15167 (toysat) S 15161 15164 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281882 33554432000 4194304 16246674 140736852909888 139720050863280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1359428
[startup+1662.3 s]
/proc/loadavg: 2.19 2.18 2.13 4/183 15453
/proc/meminfo: memFree=28361956/32872528 swapFree=12208/1156848
[pid=15164] ppid=15161 vsize=1359428 CPUtime=1661.79 cores=0,2,4,6
/proc/15164/stat : 15164 (toysat) R 15161 15164 9895 0 -1 4202496 280969 0 0 0 166131 48 0 0 20 0 4 0 109291507 1392054272 281882 33554432000 4194304 16246674 140736852909888 140736852891776 5822240 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15164/statm: 339857 281882 920 2943 0 336751 0
[pid=15164/tid=15165] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15165/stat : 15165 (toysat) S 15161 15164 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281882 33554432000 4194304 16246674 140736852909888 139720149413104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15164/tid=15166] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15166/stat : 15166 (toysat) S 15161 15164 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281882 33554432000 4194304 16246674 140736852909888 139720138923248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15164/tid=15167] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15167/stat : 15167 (toysat) S 15161 15164 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281882 33554432000 4194304 16246674 140736852909888 139720050863280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1359428
[startup+1722.3 s]
/proc/loadavg: 2.12 2.16 2.13 4/183 15455
/proc/meminfo: memFree=28362112/32872528 swapFree=12208/1156848
[pid=15164] ppid=15161 vsize=1359428 CPUtime=1721.78 cores=0,2,4,6
/proc/15164/stat : 15164 (toysat) R 15161 15164 9895 0 -1 4202496 280969 0 0 0 172130 48 0 0 20 0 4 0 109291507 1392054272 281882 33554432000 4194304 16246674 140736852909888 140736852891776 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15164/statm: 339857 281882 920 2943 0 336751 0
[pid=15164/tid=15165] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15165/stat : 15165 (toysat) S 15161 15164 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281882 33554432000 4194304 16246674 140736852909888 139720149413104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15164/tid=15166] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15166/stat : 15166 (toysat) S 15161 15164 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281882 33554432000 4194304 16246674 140736852909888 139720138923248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15164/tid=15167] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15167/stat : 15167 (toysat) S 15161 15164 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281882 33554432000 4194304 16246674 140736852909888 139720050863280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1359428
[startup+1782.3 s]
/proc/loadavg: 2.15 2.16 2.12 3/183 15456
/proc/meminfo: memFree=28361904/32872528 swapFree=12208/1156848
[pid=15164] ppid=15161 vsize=1359428 CPUtime=1781.77 cores=0,2,4,6
/proc/15164/stat : 15164 (toysat) R 15161 15164 9895 0 -1 4202496 280969 0 0 0 178129 48 0 0 20 0 4 0 109291507 1392054272 281882 33554432000 4194304 16246674 140736852909888 140736852891776 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15164/statm: 339857 281882 920 2943 0 336751 0
[pid=15164/tid=15165] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15165/stat : 15165 (toysat) S 15161 15164 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281882 33554432000 4194304 16246674 140736852909888 139720149413104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15164/tid=15166] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15166/stat : 15166 (toysat) S 15161 15164 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281882 33554432000 4194304 16246674 140736852909888 139720138923248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15164/tid=15167] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15167/stat : 15167 (toysat) S 15161 15164 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281882 33554432000 4194304 16246674 140736852909888 139720050863280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1359428
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.25 2.18 2.13 3/183 15456
/proc/meminfo: memFree=28362264/32872528 swapFree=12208/1156848
[pid=15164] ppid=15161 vsize=1359428 CPUtime=1800.07 cores=0,2,4,6
/proc/15164/stat : 15164 (toysat) R 15161 15164 9895 0 -1 4202496 280969 0 0 0 179959 48 0 0 20 0 4 0 109291507 1392054272 281882 33554432000 4194304 16246674 140736852909888 140736852891776 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15164/statm: 339857 281882 920 2943 0 336751 0
[pid=15164/tid=15165] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15165/stat : 15165 (toysat) S 15161 15164 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281882 33554432000 4194304 16246674 140736852909888 139720149413104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15164/tid=15166] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15166/stat : 15166 (toysat) S 15161 15164 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281882 33554432000 4194304 16246674 140736852909888 139720138923248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15164/tid=15167] ppid=15161 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/15164/task/15167/stat : 15167 (toysat) S 15161 15164 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109291507 1392054272 281882 33554432000 4194304 16246674 140736852909888 139720050863280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1359428
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 15164 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.6
CPU system time (s): 0.485926
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 1359428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.485926
maximum resident set size= 1127528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280969
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= 453
involuntary context switches= 1833
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.06023 second user time and 6.45702 second system time
The end