0.00/0.00	c 2016-06-18T03:08:57+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-4100281-1466212136.opb"]
0.00/0.01	c use --random-gen="3917461464 806823106 3555314622 1721459082 1263937041 3491041342 3009923634 1592285296 3081730220 3692675070 2091650771 7724165 3359085597 2691442504 1623466701 1047247331 3980236899 3370935402 3751141392 2487978586 4203784614 371380006 1228112458 105814820 2774632660 3916456595 2728104862 3048987200 112257873 1160698017 186575547 1254136127 3755705759 1283892237 4288624954 1575964629 2983216183 4177640005 2093467786 1923473644 3578775953 3391405544 2218010233 63862734 2058226109 3011701137 2221683581 3889578106 3912186683 2335553294 1269960683 3515688170 1392356495 586096743 404551051 2069874698 3066292796 3595403716 3149325247 3097674441 141481702 1327463422 411658818 3644013018 3710553403 222248585 2324933476 592601946 1974151254 415094990 3147590089 2831501221 4157876743 2475223416 59435646 2024456741 4244021864 2295114346 2480986024 2705972809 1266246915 2510652885 3953765655 312941118 1703006258 3517689600 2910064063 3842779702 2188825884 4166165560 1630769601 1451261086 1875809101 1106661863 2353641216 2502920234 3278473670 2059691059 1793535814 1515385422 3100102197 3150340877 2195235461 2035742312 3559721693 1184378700 3695626195 3066128374 768459087 1967108884 3464540292 567799216 1992962390 2270387039 4022998705 1461107878 3153621855 2493249718 1613628202 900031428 3046910542 2694280102 968105260 3135911703 3239363584 756970532 1738582624 2052261388 2533154739 2706789150 2249423463 3974669182 2354506742 4130157518 3885763973 1639399110 2263115068 1968056817 2536408642 1454375042 172883191 987053834 1832757521 1467649284 4238842253 3871452130 2866369897 2942927633 1094751648 3036955002 2936807004 1356895095 1206493577 1290421245 2577981205 833505136 2813128967 1566016047 1341667215 98795000 2093035432 819725203 1370286558 1868429040 2598869814 1824774924 4203188279 2178884154 1336291119 1022948591 2493601280 893263481 3449058963 1925043631 2830919397 2522427276 3141701765 1000563984 2193689697 3358080580 928459109 4088147462 4130696292 1212477357 1240242558 3716953621 1350396602 2823213855 2774441368 4180918626 1446720036 2255962898 3630580652 1406900146 1776524775 8188534 1578125729 510205038 2338591971 590926509 2400904520 1284688906 516755843 577306561 2162780976 2228819911 1355310306 2436452678 3983108491 3514393140 2939939127 4176186018 1198635378 49277346 2407197547 3151113575 3935660874 183908373 3314110796 2462248118 2832349330 2617939580 361794333 323594960 2676739227 856155484 2094964976 3433588703 2595363859 189198975 3286515978 1801128528 2981728783 3504701351 2203216693 4040413083 1525172709 2990590895 4010217848 2852389756 1594190535 2966345862 3946000630 4277971149 2420712076 1636627210 823127734 1113919466 571120070 4139481233 1407204884 3665228734 1472337921 995894445 2893671058 2095755531 255 362436" option to reproduce the execution
0.69/0.75	c #vars 15085
0.69/0.75	c #constraints 1430
2.39/2.40	c BCD2: Hardening is enabled.
2.39/2.40	c BCD2: BiasedSearch is enabled.
2.39/2.40	c Solving starts ...
2.39/2.40	c ============================[ Search Statistics ]============================
2.39/2.40	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.39/2.40	c       |         |          |          |    Limit     GC | Var      | Constra 
2.39/2.40	c =============================================================================
2.39/2.40	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |        0
2.59/2.68	c  0.3s |       0 |      913 |        0 |     5505      0 |        0 |        0
2.59/2.68	c #cpu_time = 0.189s
2.59/2.68	c #wall_clock_time = 0.190s
2.59/2.68	c #decision = 913
2.59/2.68	c #random_decision = 9
2.59/2.68	c #conflict = 0
2.59/2.68	c #restart = 0
2.59/2.68	o 50127
2.69/2.75	c BCD2: updating upper bound: 531850 -> 50126
2.79/2.82	c BCD2: 0 <= obj <= 50126
2.79/2.82	c BCD2: #cores=0, #unrelaxed=15085, #relaxed=0, #hardened=0
2.79/2.82	c BCD2: #sat=1 #unsat=1 bias=1/2
2.79/2.82	c Solving starts ...
2.79/2.82	c ============================[ Search Statistics ]============================
2.79/2.82	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.79/2.82	c       |         |          |          |    Limit     GC | Var      | Constra 
2.79/2.82	c =============================================================================
2.79/2.82	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |        0
2.79/2.88	c  0.1s |       0 |       41 |        1 |     5505      0 |        0 |        0
2.79/2.88	c #cpu_time = 0.059s
2.79/2.88	c #wall_clock_time = 0.060s
2.79/2.88	c #decision = 41
2.79/2.88	c #random_decision = 0
2.79/2.88	c #conflict = 1
2.79/2.88	c #restart = 0
2.79/2.88	c BCD2: found a new core of size 4: cost of the new core is >=12
2.79/2.88	c lower bound updated to 12
2.79/2.88	c BCD2: 12 <= obj <= 50126
2.79/2.88	c BCD2: #cores=1, #unrelaxed=15081, #relaxed=4, #hardened=0
2.79/2.88	c BCD2: #sat=1 #unsat=2 bias=2/3
2.79/2.88	c Solving starts ...
2.79/2.88	c ============================[ Search Statistics ]============================
2.79/2.88	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.79/2.88	c       |         |          |          |    Limit     GC | Var      | Constra 
2.79/2.88	c =============================================================================
2.79/2.88	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |        1
2.89/2.96	c  0.1s |       0 |     1730 |        4 |     5505      0 |        0 |        1
2.89/2.96	c #cpu_time = 0.070s
2.89/2.96	c #wall_clock_time = 0.070s
2.89/2.96	c #decision = 1730
2.89/2.96	c #random_decision = 0
2.89/2.96	c #conflict = 4
2.89/2.96	c #restart = 0
2.89/2.96	c BCD2: found a new core of size 4: cost of the new core is >=15
2.89/2.96	c lower bound updated to 27
2.89/2.97	c BCD2: 27 <= obj <= 50126
2.89/2.97	c BCD2: #cores=2, #unrelaxed=15077, #relaxed=8, #hardened=0
2.89/2.97	c BCD2: #sat=1 #unsat=3 bias=3/4
2.89/2.97	c Solving starts ...
2.89/2.97	c ============================[ Search Statistics ]============================
2.89/2.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.89/2.97	c       |         |          |          |    Limit     GC | Var      | Constra 
2.89/2.97	c =============================================================================
2.89/2.97	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |        1
2.99/3.05	c  0.1s |       0 |     1985 |        0 |     5505      0 |        0 |        1
2.99/3.05	c #cpu_time = 0.072s
2.99/3.05	c #wall_clock_time = 0.072s
2.99/3.05	c #decision = 1985
2.99/3.05	c #random_decision = 0
2.99/3.05	c #conflict = 0
2.99/3.05	c #restart = 0
2.99/3.05	c BCD2: found a new core of size 16: cost of the new core is >=2
2.99/3.05	c lower bound updated to 29
2.99/3.06	c BCD2: 29 <= obj <= 50126
2.99/3.06	c BCD2: #cores=3, #unrelaxed=15061, #relaxed=24, #hardened=0
2.99/3.06	c BCD2: #sat=1 #unsat=4 bias=4/5
2.99/3.06	c Solving starts ...
2.99/3.06	c ============================[ Search Statistics ]============================
2.99/3.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.99/3.06	c       |         |          |          |    Limit     GC | Var      | Constra 
2.99/3.06	c =============================================================================
2.99/3.06	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |        3
3.09/3.15	c  0.1s |       0 |     2256 |        0 |     5505      0 |        0 |        3
3.09/3.15	c #cpu_time = 0.073s
3.09/3.15	c #wall_clock_time = 0.073s
3.09/3.15	c #decision = 2256
3.09/3.15	c #random_decision = 0
3.09/3.15	c #conflict = 0
3.09/3.15	c #restart = 0
3.09/3.15	c BCD2: found a new core of size 14: cost of the new core is >=12
3.09/3.15	c lower bound updated to 41
3.09/3.16	c BCD2: 41 <= obj <= 50126
3.09/3.16	c BCD2: #cores=4, #unrelaxed=15047, #relaxed=38, #hardened=0
3.09/3.16	c BCD2: #sat=1 #unsat=5 bias=5/6
3.09/3.16	c Solving starts ...
3.09/3.16	c ============================[ Search Statistics ]============================
3.09/3.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.09/3.16	c       |         |          |          |    Limit     GC | Var      | Constra 
3.09/3.16	c =============================================================================
3.09/3.16	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |        3
3.19/3.29	c  0.1s |       0 |     5108 |        3 |     5505      0 |        0 |        3
3.19/3.29	c #cpu_time = 0.105s
3.19/3.29	c #wall_clock_time = 0.105s
3.19/3.29	c #decision = 5108
3.19/3.29	c #random_decision = 0
3.19/3.29	c #conflict = 3
3.19/3.29	c #restart = 0
3.19/3.29	c BCD2: found a new core of size 28: cost of the new core is >=8
3.19/3.29	c lower bound updated to 49
3.29/3.31	c BCD2: 49 <= obj <= 50126
3.29/3.31	c BCD2: #cores=5, #unrelaxed=15019, #relaxed=66, #hardened=0
3.29/3.31	c BCD2: #sat=1 #unsat=6 bias=6/7
3.29/3.31	c Solving starts ...
3.29/3.31	c ============================[ Search Statistics ]============================
3.29/3.31	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.29/3.31	c       |         |          |          |    Limit     GC | Var      | Constra 
3.29/3.31	c =============================================================================
3.29/3.31	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |        3
3.39/3.47	c  0.2s |       0 |     6466 |        9 |     5505      0 |        0 |        3
3.39/3.47	c #cpu_time = 0.125s
3.39/3.47	c #wall_clock_time = 0.126s
3.39/3.47	c #decision = 6466
3.39/3.47	c #random_decision = 0
3.39/3.47	c #conflict = 9
3.39/3.47	c #restart = 0
3.39/3.47	c BCD2: found a new core of size 286: cost of the new core is >=5
3.39/3.47	c lower bound updated to 54
3.39/3.50	c BCD2: 54 <= obj <= 50126
3.39/3.50	c BCD2: #cores=6, #unrelaxed=14733, #relaxed=352, #hardened=0
3.39/3.50	c BCD2: #sat=1 #unsat=7 bias=7/8
3.49/3.50	c Solving starts ...
3.49/3.50	c ============================[ Search Statistics ]============================
3.49/3.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.49/3.50	c       |         |          |          |    Limit     GC | Var      | Constra 
3.49/3.50	c =============================================================================
3.49/3.50	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |        3
3.59/3.66	c  0.2s |       0 |     6690 |        9 |     5505      0 |        0 |        3
3.59/3.66	c #cpu_time = 0.127s
3.59/3.66	c #wall_clock_time = 0.127s
3.59/3.66	c #decision = 6690
3.59/3.66	c #random_decision = 0
3.59/3.66	c #conflict = 9
3.59/3.66	c #restart = 0
3.59/3.66	c BCD2: found a new core of size 93: cost of the new core is >=7
3.59/3.66	c lower bound updated to 61
3.59/3.68	c BCD2: 61 <= obj <= 50126
3.59/3.68	c BCD2: #cores=7, #unrelaxed=14640, #relaxed=445, #hardened=0
3.59/3.68	c BCD2: #sat=1 #unsat=8 bias=8/9
3.59/3.68	c Solving starts ...
3.59/3.68	c ============================[ Search Statistics ]============================
3.59/3.68	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.59/3.68	c       |         |          |          |    Limit     GC | Var      | Constra 
3.59/3.68	c =============================================================================
3.59/3.69	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |        3
3.78/3.85	c  0.2s |       0 |     6923 |        0 |     5505      0 |        0 |        3
3.78/3.85	c #cpu_time = 0.121s
3.78/3.85	c #wall_clock_time = 0.121s
3.78/3.85	c #decision = 6923
3.78/3.85	c #random_decision = 0
3.78/3.85	c #conflict = 0
3.78/3.85	c #restart = 0
3.78/3.85	c BCD2: found a new core of size 27: cost of the new core is >=7
3.78/3.85	c lower bound updated to 68
3.78/3.87	c BCD2: 68 <= obj <= 50126
3.78/3.87	c BCD2: #cores=8, #unrelaxed=14613, #relaxed=472, #hardened=0
3.78/3.87	c BCD2: #sat=1 #unsat=9 bias=9/10
3.78/3.87	c Solving starts ...
3.78/3.87	c ============================[ Search Statistics ]============================
3.78/3.87	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.78/3.87	c       |         |          |          |    Limit     GC | Var      | Constra 
3.78/3.87	c =============================================================================
3.78/3.87	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |        5
3.98/4.06	c  0.2s |       0 |     8411 |        0 |     5505      0 |        0 |        5
3.98/4.06	c #cpu_time = 0.139s
3.98/4.06	c #wall_clock_time = 0.139s
3.98/4.06	c #decision = 8411
3.98/4.06	c #random_decision = 0
3.98/4.06	c #conflict = 0
3.98/4.06	c #restart = 0
3.98/4.06	c BCD2: found a new core of size 111: cost of the new core is >=4
3.98/4.06	c lower bound updated to 72
3.98/4.09	c BCD2: 72 <= obj <= 50126
3.98/4.09	c BCD2: #cores=9, #unrelaxed=14502, #relaxed=583, #hardened=0
3.98/4.09	c BCD2: #sat=1 #unsat=10 bias=10/11
3.98/4.09	c Solving starts ...
3.98/4.09	c ============================[ Search Statistics ]============================
3.98/4.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.98/4.09	c       |         |          |          |    Limit     GC | Var      | Constra 
3.98/4.09	c =============================================================================
3.98/4.09	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |        6
4.18/4.29	c  0.2s |       0 |     8520 |        3 |     5505      0 |        0 |        6
4.18/4.29	c #cpu_time = 0.150s
4.18/4.29	c #wall_clock_time = 0.150s
4.18/4.29	c #decision = 8520
4.18/4.29	c #random_decision = 0
4.18/4.29	c #conflict = 3
4.18/4.29	c #restart = 0
4.18/4.29	c BCD2: found a new core of size 77: cost of the new core is >=3
4.18/4.29	c lower bound updated to 75
4.28/4.32	c BCD2: 75 <= obj <= 50126
4.28/4.32	c BCD2: #cores=10, #unrelaxed=14425, #relaxed=660, #hardened=0
4.28/4.32	c BCD2: #sat=1 #unsat=11 bias=11/12
4.28/4.32	c Solving starts ...
4.28/4.32	c ============================[ Search Statistics ]============================
4.28/4.32	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.28/4.32	c       |         |          |          |    Limit     GC | Var      | Constra 
4.28/4.32	c =============================================================================
4.28/4.32	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |        6
4.49/4.54	c  0.2s |       0 |    10538 |        0 |     5505      0 |        0 |        6
4.49/4.54	c #cpu_time = 0.161s
4.49/4.54	c #wall_clock_time = 0.161s
4.49/4.54	c #decision = 10538
4.49/4.54	c #random_decision = 0
4.49/4.54	c #conflict = 0
4.49/4.54	c #restart = 0
4.49/4.54	c BCD2: found a new core of size 4: cost of the new core is >=8
4.49/4.54	c lower bound updated to 83
4.49/4.57	c BCD2: 83 <= obj <= 50126
4.49/4.57	c BCD2: #cores=11, #unrelaxed=14421, #relaxed=664, #hardened=0
4.49/4.57	c BCD2: #sat=1 #unsat=12 bias=12/13
4.49/4.58	c Solving starts ...
4.49/4.58	c ============================[ Search Statistics ]============================
4.49/4.58	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.49/4.58	c       |         |          |          |    Limit     GC | Var      | Constra 
4.49/4.58	c =============================================================================
4.49/4.58	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |        8
4.79/4.81	c  0.2s |       0 |    10546 |        0 |     5505      0 |        0 |        8
4.79/4.81	c #cpu_time = 0.170s
4.79/4.81	c #wall_clock_time = 0.170s
4.79/4.81	c #decision = 10546
4.79/4.81	c #random_decision = 0
4.79/4.81	c #conflict = 0
4.79/4.81	c #restart = 0
4.79/4.81	c BCD2: found a new core of size 15: cost of the new core is >=6
4.79/4.81	c lower bound updated to 89
4.79/4.84	c BCD2: 89 <= obj <= 50126
4.79/4.84	c BCD2: #cores=12, #unrelaxed=14406, #relaxed=679, #hardened=0
4.79/4.84	c BCD2: #sat=1 #unsat=13 bias=13/14
4.79/4.84	c Solving starts ...
4.79/4.84	c ============================[ Search Statistics ]============================
4.79/4.84	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.79/4.84	c       |         |          |          |    Limit     GC | Var      | Constra 
4.79/4.84	c =============================================================================
4.79/4.84	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |        8
4.99/5.08	c  0.2s |       0 |    10937 |        9 |     5505      0 |        0 |        8
4.99/5.08	c #cpu_time = 0.169s
4.99/5.08	c #wall_clock_time = 0.170s
4.99/5.08	c #decision = 10937
4.99/5.08	c #random_decision = 0
4.99/5.08	c #conflict = 9
4.99/5.08	c #restart = 0
4.99/5.08	c BCD2: found a new core of size 212: cost of the new core is >=6
4.99/5.08	c lower bound updated to 95
5.09/5.11	c BCD2: 95 <= obj <= 50126
5.09/5.11	c BCD2: #cores=13, #unrelaxed=14194, #relaxed=891, #hardened=0
5.09/5.11	c BCD2: #sat=1 #unsat=14 bias=14/15
5.09/5.12	c Solving starts ...
5.09/5.12	c ============================[ Search Statistics ]============================
5.09/5.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.09/5.12	c       |         |          |          |    Limit     GC | Var      | Constra 
5.09/5.12	c =============================================================================
5.09/5.12	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |        8
5.29/5.35	c  0.2s |       0 |    10868 |        4 |     5505      0 |        0 |        8
5.29/5.35	c #cpu_time = 0.174s
5.29/5.35	c #wall_clock_time = 0.174s
5.29/5.35	c #decision = 10868
5.29/5.35	c #random_decision = 0
5.29/5.35	c #conflict = 4
5.29/5.35	c #restart = 0
5.29/5.35	c BCD2: found a new core of size 77: cost of the new core is >=4
5.29/5.35	c lower bound updated to 99
5.29/5.38	c BCD2: 99 <= obj <= 50126
5.29/5.38	c BCD2: #cores=14, #unrelaxed=14117, #relaxed=968, #hardened=0
5.29/5.38	c BCD2: #sat=1 #unsat=15 bias=15/16
5.29/5.39	c Solving starts ...
5.29/5.39	c ============================[ Search Statistics ]============================
5.29/5.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.29/5.39	c       |         |          |          |    Limit     GC | Var      | Constra 
5.29/5.39	c =============================================================================
5.29/5.39	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |        8
5.60/5.62	c  0.2s |       0 |    11040 |        3 |     5505      0 |        0 |        8
5.60/5.62	c #cpu_time = 0.166s
5.60/5.62	c #wall_clock_time = 0.167s
5.60/5.62	c #decision = 11040
5.60/5.62	c #random_decision = 0
5.60/5.62	c #conflict = 3
5.60/5.62	c #restart = 0
5.60/5.62	c BCD2: found a new core of size 204: cost of the new core is >=5
5.60/5.62	c lower bound updated to 104
5.60/5.65	c BCD2: 104 <= obj <= 50126
5.60/5.65	c BCD2: #cores=15, #unrelaxed=13913, #relaxed=1172, #hardened=0
5.60/5.65	c BCD2: #sat=1 #unsat=16 bias=16/17
5.60/5.66	c Solving starts ...
5.60/5.66	c ============================[ Search Statistics ]============================
5.60/5.66	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.60/5.66	c       |         |          |          |    Limit     GC | Var      | Constra 
5.60/5.66	c =============================================================================
5.60/5.66	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |        8
5.89/5.90	c  0.2s |       0 |    11636 |        1 |     5505      0 |        0 |        8
5.89/5.90	c #cpu_time = 0.183s
5.89/5.90	c #wall_clock_time = 0.183s
5.89/5.90	c #decision = 11636
5.89/5.90	c #random_decision = 0
5.89/5.90	c #conflict = 1
5.89/5.90	c #restart = 0
5.89/5.90	c BCD2: found a new core of size 13: cost of the new core is >=6
5.89/5.90	c lower bound updated to 110
5.89/5.93	c BCD2: 110 <= obj <= 50126
5.89/5.93	c BCD2: #cores=16, #unrelaxed=13900, #relaxed=1185, #hardened=0
5.89/5.93	c BCD2: #sat=1 #unsat=17 bias=17/18
5.89/5.94	c Solving starts ...
5.89/5.94	c ============================[ Search Statistics ]============================
5.89/5.94	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.89/5.94	c       |         |          |          |    Limit     GC | Var      | Constra 
5.89/5.94	c =============================================================================
5.89/5.94	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |        9
6.19/6.20	c  0.3s |       0 |    12466 |        1 |     5505      0 |        0 |        9
6.19/6.20	c #cpu_time = 0.189s
6.19/6.20	c #wall_clock_time = 0.189s
6.19/6.20	c #decision = 12466
6.19/6.20	c #random_decision = 0
6.19/6.20	c #conflict = 1
6.19/6.20	c #restart = 0
6.19/6.20	c BCD2: found a new core of size 223: cost of the new core is >=5
6.19/6.20	c lower bound updated to 115
6.19/6.23	c BCD2: 115 <= obj <= 50126
6.19/6.23	c BCD2: #cores=17, #unrelaxed=13677, #relaxed=1408, #hardened=0
6.19/6.23	c BCD2: #sat=1 #unsat=18 bias=18/19
6.19/6.24	c Solving starts ...
6.19/6.24	c ============================[ Search Statistics ]============================
6.19/6.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.19/6.24	c       |         |          |          |    Limit     GC | Var      | Constra 
6.19/6.24	c =============================================================================
6.19/6.24	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |        9
6.49/6.50	c  0.3s |       0 |    11744 |        0 |     5505      0 |        0 |        9
6.49/6.50	c #cpu_time = 0.188s
6.49/6.50	c #wall_clock_time = 0.188s
6.49/6.50	c #decision = 11744
6.49/6.50	c #random_decision = 0
6.49/6.50	c #conflict = 0
6.49/6.50	c #restart = 0
6.49/6.50	c BCD2: found a new core of size 11: cost of the new core is >=9
6.49/6.50	c lower bound updated to 124
6.49/6.53	c BCD2: 124 <= obj <= 50126
6.49/6.53	c BCD2: #cores=18, #unrelaxed=13666, #relaxed=1419, #hardened=0
6.49/6.53	c BCD2: #sat=1 #unsat=19 bias=19/20
6.49/6.53	c Solving starts ...
6.49/6.53	c ============================[ Search Statistics ]============================
6.49/6.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.49/6.53	c       |         |          |          |    Limit     GC | Var      | Constra 
6.49/6.53	c =============================================================================
6.49/6.53	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |       11
6.70/6.79	c  0.3s |       0 |    12187 |        0 |     5505      0 |        0 |       11
6.70/6.79	c #cpu_time = 0.180s
6.70/6.79	c #wall_clock_time = 0.181s
6.70/6.79	c #decision = 12187
6.70/6.79	c #random_decision = 0
6.70/6.79	c #conflict = 0
6.70/6.79	c #restart = 0
6.70/6.79	c BCD2: found a new core of size 38: cost of the new core is >=3
6.70/6.79	c lower bound updated to 127
6.79/6.82	c BCD2: 127 <= obj <= 50126
6.79/6.82	c BCD2: #cores=19, #unrelaxed=13628, #relaxed=1457, #hardened=0
6.79/6.82	c BCD2: #sat=1 #unsat=20 bias=20/21
6.79/6.83	c Solving starts ...
6.79/6.83	c ============================[ Search Statistics ]============================
6.79/6.83	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.79/6.83	c       |         |          |          |    Limit     GC | Var      | Constra 
6.79/6.83	c =============================================================================
6.79/6.84	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |       12
7.09/7.14	c  0.3s |       0 |    12589 |        6 |     5505      0 |        0 |       12
7.09/7.14	c #cpu_time = 0.219s
7.09/7.14	c #wall_clock_time = 0.220s
7.09/7.14	c #decision = 12589
7.09/7.14	c #random_decision = 0
7.09/7.14	c #conflict = 6
7.09/7.14	c #restart = 0
7.09/7.15	c BCD2: found a new core of size 528: cost of the new core is >=6
7.09/7.15	c lower bound updated to 133
7.29/7.33	c BCD2: 133 <= obj <= 50126
7.29/7.33	c BCD2: #cores=20, #unrelaxed=13100, #relaxed=1985, #hardened=0
7.29/7.33	c BCD2: #sat=1 #unsat=21 bias=21/22
7.29/7.34	c Solving starts ...
7.29/7.34	c ============================[ Search Statistics ]============================
7.29/7.34	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.29/7.34	c       |         |          |          |    Limit     GC | Var      | Constra 
7.29/7.34	c =============================================================================
7.29/7.34	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |       13
7.59/7.63	c  0.3s |       0 |    12253 |       13 |     5505      0 |        0 |       13
7.59/7.63	c #cpu_time = 0.210s
7.59/7.63	c #wall_clock_time = 0.210s
7.59/7.63	c #decision = 12253
7.59/7.63	c #random_decision = 0
7.59/7.63	c #conflict = 13
7.59/7.63	c #restart = 0
7.59/7.63	c BCD2: found a new core of size 81: cost of the new core is >=12
7.59/7.63	c lower bound updated to 145
7.59/7.66	c BCD2: 145 <= obj <= 50126
7.59/7.66	c BCD2: #cores=21, #unrelaxed=13019, #relaxed=2066, #hardened=0
7.59/7.66	c BCD2: #sat=1 #unsat=22 bias=22/23
7.59/7.67	c Solving starts ...
7.59/7.67	c ============================[ Search Statistics ]============================
7.59/7.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.59/7.67	c       |         |          |          |    Limit     GC | Var      | Constra 
7.59/7.67	c =============================================================================
7.59/7.67	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |       13
7.88/7.93	c  0.3s |       0 |    12266 |        9 |     5505      0 |        0 |       13
7.88/7.93	c #cpu_time = 0.187s
7.88/7.93	c #wall_clock_time = 0.187s
7.88/7.93	c #decision = 12266
7.88/7.93	c #random_decision = 0
7.88/7.93	c #conflict = 9
7.88/7.93	c #restart = 0
7.88/7.93	c BCD2: found a new core of size 191: cost of the new core is >=7
7.88/7.93	c lower bound updated to 152
7.88/7.97	c BCD2: 152 <= obj <= 50126
7.88/7.97	c BCD2: #cores=22, #unrelaxed=12828, #relaxed=2257, #hardened=0
7.88/7.97	c BCD2: #sat=1 #unsat=23 bias=23/24
7.88/7.97	c Solving starts ...
7.88/7.97	c ============================[ Search Statistics ]============================
7.88/7.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.88/7.97	c       |         |          |          |    Limit     GC | Var      | Constra 
7.88/7.97	c =============================================================================
7.88/7.99	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |       13
8.18/8.23	c  0.2s |       0 |    12266 |        0 |     5505      0 |        0 |       13
8.18/8.23	c #cpu_time = 0.175s
8.18/8.23	c #wall_clock_time = 0.176s
8.18/8.23	c #decision = 12266
8.18/8.23	c #random_decision = 0
8.18/8.23	c #conflict = 0
8.18/8.23	c #restart = 0
8.18/8.23	c BCD2: found a new core of size 188: cost of the new core is >=5
8.18/8.23	c lower bound updated to 157
8.18/8.27	c BCD2: 157 <= obj <= 50126
8.18/8.27	c BCD2: #cores=23, #unrelaxed=12640, #relaxed=2445, #hardened=0
8.18/8.27	c BCD2: #sat=1 #unsat=24 bias=24/25
8.18/8.28	c Solving starts ...
8.18/8.28	c ============================[ Search Statistics ]============================
8.18/8.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
8.18/8.28	c       |         |          |          |    Limit     GC | Var      | Constra 
8.18/8.28	c =============================================================================
8.18/8.28	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |       15
8.49/8.54	c  0.3s |       0 |    12525 |        1 |     5505      0 |        0 |       15
8.49/8.54	c #cpu_time = 0.190s
8.49/8.54	c #wall_clock_time = 0.190s
8.49/8.54	c #decision = 12525
8.49/8.54	c #random_decision = 0
8.49/8.54	c #conflict = 1
8.49/8.54	c #restart = 0
8.49/8.54	c BCD2: found a new core of size 137: cost of the new core is >=3
8.49/8.54	c lower bound updated to 160
8.49/8.57	c BCD2: 160 <= obj <= 50126
8.49/8.57	c BCD2: #cores=24, #unrelaxed=12503, #relaxed=2582, #hardened=0
8.49/8.57	c BCD2: #sat=1 #unsat=25 bias=25/26
8.49/8.58	c Solving starts ...
8.49/8.58	c ============================[ Search Statistics ]============================
8.49/8.58	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
8.49/8.58	c       |         |          |          |    Limit     GC | Var      | Constra 
8.49/8.58	c =============================================================================
8.49/8.58	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |       15
8.80/8.83	c  0.3s |       0 |    12436 |       21 |     5505      0 |        0 |       15
8.80/8.83	c #cpu_time = 0.188s
8.80/8.83	c #wall_clock_time = 0.189s
8.80/8.83	c #decision = 12436
8.80/8.83	c #random_decision = 0
8.80/8.83	c #conflict = 21
8.80/8.83	c #restart = 0
8.80/8.83	c BCD2: found a new core of size 150: cost of the new core is >=3
8.80/8.83	c lower bound updated to 163
8.80/8.87	c BCD2: 163 <= obj <= 50126
8.80/8.87	c BCD2: #cores=25, #unrelaxed=12353, #relaxed=2732, #hardened=0
8.80/8.87	c BCD2: #sat=1 #unsat=26 bias=26/27
8.80/8.89	c Solving starts ...
8.80/8.89	c ============================[ Search Statistics ]============================
8.80/8.89	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
8.80/8.89	c       |         |          |          |    Limit     GC | Var      | Constra 
8.80/8.89	c =============================================================================
8.80/8.89	c  0.0s |       0 |        0 |        0 |     5505      0 |        0 |       15
9.49/9.53	c  0.6s |       0 |    25713 |       39 |     6056      0 |        0 |       15
9.49/9.53	c #cpu_time = 0.546s
9.49/9.53	c #wall_clock_time = 0.548s
9.49/9.53	c #decision = 25713
9.49/9.53	c #random_decision = 6
9.49/9.53	c #conflict = 39
9.49/9.53	c #restart = 0
9.49/9.53	o 1712
9.49/9.54	c BCD2: updating upper bound: 50126 -> 1711
9.59/9.63	c BCD2: 163 <= obj <= 1711
9.59/9.63	c BCD2: #cores=25, #unrelaxed=12353, #relaxed=2732, #hardened=0
9.59/9.63	c BCD2: #sat=2 #unsat=26 bias=26/28
9.59/9.69	c Solving starts ...
9.59/9.69	c ============================[ Search Statistics ]============================
9.59/9.69	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
9.59/9.69	c       |         |          |          |    Limit     GC | Var      | Constra 
9.59/9.69	c =============================================================================
9.59/9.69	c  0.0s |       0 |        0 |        0 |     6056      0 |        0 |       16
9.90/9.91	c  0.2s |       0 |     8967 |        0 |     6056      0 |        0 |       16
9.90/9.91	c #cpu_time = 0.167s
9.90/9.91	c #wall_clock_time = 0.167s
9.90/9.91	c #decision = 8967
9.90/9.91	c #random_decision = 0
9.90/9.91	c #conflict = 0
9.90/9.91	c #restart = 0
9.90/9.91	c BCD2: relaxing 12 and merging with 1 cores into a new core of size 16: cost of the new core is >=12
9.90/9.91	c lower bound updated to 167
9.90/9.94	c BCD2: 167 <= obj <= 1711
9.90/9.94	c BCD2: #cores=25, #unrelaxed=12341, #relaxed=2744, #hardened=0
9.90/9.94	c BCD2: #sat=2 #unsat=27 bias=27/29
9.90/9.94	c Solving starts ...
9.90/9.94	c ============================[ Search Statistics ]============================
9.90/9.94	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
9.90/9.94	c       |         |          |          |    Limit     GC | Var      | Constra 
9.90/9.94	c =============================================================================
9.90/9.94	c  0.0s |       0 |        0 |        0 |     6056      0 |        3 |       16
10.09/10.19	c  0.3s |       0 |    11545 |       11 |     6056      0 |        3 |       21
10.09/10.19	c #cpu_time = 0.181s
10.09/10.19	c #wall_clock_time = 0.182s
10.09/10.19	c #decision = 11545
10.09/10.19	c #random_decision = 0
10.09/10.19	c #conflict = 11
10.09/10.19	c #restart = 0
10.09/10.19	c BCD2: relaxing 4 and merging with 1 cores into a new core of size 85: cost of the new core is >=15
10.09/10.19	c lower bound updated to 170
10.19/10.22	c BCD2: 170 <= obj <= 1711
10.19/10.22	c BCD2: #cores=25, #unrelaxed=12337, #relaxed=2748, #hardened=0
10.19/10.22	c BCD2: #sat=2 #unsat=28 bias=28/30
10.19/10.23	c Solving starts ...
10.19/10.23	c ============================[ Search Statistics ]============================
10.19/10.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.19/10.23	c       |         |          |          |    Limit     GC | Var      | Constra 
10.19/10.23	c =============================================================================
10.19/10.24	c  0.0s |       0 |        0 |        0 |     6056      0 |        7 |       21
11.00/11.05	c  0.8s |       1 |    16721 |      100 |     6056      0 |        7 |       28
12.49/12.55	c  2.3s |       1 |    33387 |      232 |     6662      0 |        7 |       28
12.49/12.55	c #cpu_time = 2.197s
12.49/12.55	c #wall_clock_time = 2.203s
12.49/12.55	c #decision = 33387
12.49/12.55	c #random_decision = 9
12.49/12.55	c #conflict = 232
12.49/12.55	c #restart = 1
12.49/12.55	o 1516
12.49/12.55	c BCD2: updating upper bound: 1711 -> 1515
12.59/12.65	c BCD2: 170 <= obj <= 1515
12.59/12.65	c BCD2: #cores=25, #unrelaxed=12337, #relaxed=2748, #hardened=0
12.59/12.65	c BCD2: #sat=3 #unsat=28 bias=28/31
12.59/12.69	c Solving starts ...
12.59/12.69	c ============================[ Search Statistics ]============================
12.59/12.69	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.59/12.69	c       |         |          |          |    Limit     GC | Var      | Constra 
12.59/12.69	c =============================================================================
12.59/12.69	c  0.0s |       0 |        0 |        0 |     6662      0 |        7 |       29
12.89/12.91	c  0.2s |       0 |     7542 |        0 |     6662      0 |        7 |       29
12.89/12.91	c #cpu_time = 0.173s
12.89/12.91	c #wall_clock_time = 0.174s
12.89/12.91	c #decision = 7542
12.89/12.91	c #random_decision = 0
12.89/12.91	c #conflict = 0
12.89/12.91	c #restart = 0
12.89/12.91	c BCD2: relaxing 34 and merging with 1 cores into a new core of size 38: cost of the new core is >=15
12.89/12.91	c lower bound updated to 173
12.89/12.94	c BCD2: 173 <= obj <= 1515
12.89/12.94	c BCD2: #cores=25, #unrelaxed=12303, #relaxed=2782, #hardened=0
12.89/12.94	c BCD2: #sat=3 #unsat=29 bias=29/32
12.89/12.94	c Solving starts ...
12.89/12.94	c ============================[ Search Statistics ]============================
12.89/12.94	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.89/12.94	c       |         |          |          |    Limit     GC | Var      | Constra 
12.89/12.94	c =============================================================================
12.89/12.94	c  0.0s |       0 |        0 |        0 |     6662      0 |       13 |       29
13.20/13.22	c  0.3s |       0 |     9303 |        0 |     6662      0 |       13 |       40
13.20/13.22	c #cpu_time = 0.218s
13.20/13.22	c #wall_clock_time = 0.219s
13.20/13.22	c #decision = 9303
13.20/13.22	c #random_decision = 0
13.20/13.22	c #conflict = 0
13.20/13.22	c #restart = 0
13.20/13.22	c BCD2: relaxing 5 and merging with 1 cores into a new core of size 82: cost of the new core is >=10
13.20/13.22	c lower bound updated to 179
13.20/13.22	c BCD2: 179 <= obj <= 1515
13.20/13.22	c BCD2: #cores=25, #unrelaxed=12298, #relaxed=2787, #hardened=0
13.20/13.22	c BCD2: #sat=3 #unsat=30 bias=30/33
13.20/13.24	c Solving starts ...
13.20/13.24	c ============================[ Search Statistics ]============================
13.20/13.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
13.20/13.24	c       |         |          |          |    Limit     GC | Var      | Constra 
13.20/13.24	c =============================================================================
13.20/13.24	c  0.0s |       0 |        0 |        0 |     6662      0 |       25 |       40
13.49/13.51	c  0.3s |       0 |    10992 |        0 |     6662      0 |       25 |       63
13.49/13.51	c #cpu_time = 0.201s
13.49/13.51	c #wall_clock_time = 0.201s
13.49/13.51	c #decision = 10992
13.49/13.51	c #random_decision = 0
13.49/13.51	c #conflict = 0
13.49/13.51	c #restart = 0
13.49/13.51	c BCD2: relaxing 74 and merging with 1 cores into a new core of size 101: cost of the new core is >=10
13.49/13.51	c lower bound updated to 182
13.49/13.54	c BCD2: 182 <= obj <= 1515
13.49/13.54	c BCD2: #cores=25, #unrelaxed=12224, #relaxed=2861, #hardened=0
13.49/13.54	c BCD2: #sat=3 #unsat=31 bias=31/34
13.49/13.55	c Solving starts ...
13.49/13.55	c ============================[ Search Statistics ]============================
13.49/13.55	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
13.49/13.55	c       |         |          |          |    Limit     GC | Var      | Constra 
13.49/13.55	c =============================================================================
13.49/13.55	c  0.0s |       0 |        0 |        0 |     6662      0 |       41 |       63
14.49/14.55	c  1.0s |       1 |    33866 |      100 |     7329      0 |       41 |       95
15.49/15.57	c  2.0s |       2 |    50633 |      250 |     7329      0 |       41 |       95
17.29/17.31	c  3.8s |       3 |    75134 |      475 |     8062      0 |       41 |       95
18.09/18.11	c  4.6s |       3 |   103185 |      538 |     8062      0 |       41 |       95
18.09/18.11	c #cpu_time = 4.483s
18.09/18.11	c #wall_clock_time = 4.495s
18.09/18.11	c #decision = 103185
18.09/18.11	c #random_decision = 15
18.09/18.11	c #conflict = 538
18.09/18.11	c #restart = 3
18.09/18.11	c BCD2: relaxing 381 and merging with 6 cores into a new core of size 576: cost of the new core is >=65
18.09/18.11	c lower bound updated to 183
18.09/18.15	c BCD2: 183 <= obj <= 1515
18.09/18.15	c BCD2: #cores=20, #unrelaxed=11843, #relaxed=3242, #hardened=0
18.09/18.15	c BCD2: #sat=3 #unsat=32 bias=32/35
18.09/18.15	c Solving starts ...
18.09/18.15	c ============================[ Search Statistics ]============================
18.09/18.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
18.09/18.15	c       |         |          |          |    Limit     GC | Var      | Constra 
18.09/18.15	c =============================================================================
18.09/18.16	c  0.0s |       0 |        0 |        0 |     8062      0 |       68 |       95
18.49/18.54	c  0.4s |       1 |    12591 |      100 |     8062      0 |       68 |      144
19.09/19.12	c  1.0s |       2 |    25080 |      250 |     8062      0 |       68 |      144
19.69/19.80	c  1.6s |       3 |    37780 |      475 |     8869      0 |       68 |      144
20.69/20.74	c  2.6s |       4 |    50901 |      813 |     8869      0 |       68 |      144
21.79/21.88	c  3.7s |       5 |    64095 |     1320 |     9756      0 |       68 |      144
23.49/23.50	c  5.3s |       6 |    77727 |     2081 |     9756      0 |       68 |      144
25.58/25.67	c  7.5s |       6 |    92360 |     3181 |    10732      0 |       68 |      144
25.78/25.86	c  7.7s |       7 |    92552 |     3223 |    10732      0 |       68 |      144
27.88/27.99	c  9.8s |       7 |   107425 |     4323 |    11806      0 |       68 |      144
29.19/29.28	c 11.1s |       8 |   109270 |     4936 |    11806      0 |       68 |      144
31.39/31.45	c 13.3s |       8 |   124490 |     6136 |    11806      0 |       68 |      144
33.49/33.57	c 15.4s |       8 |   128010 |     7336 |    12987      0 |       68 |      144
33.89/33.95	c 15.8s |       9 |   128295 |     7506 |    12987      0 |       68 |      144
35.69/35.77	c 17.6s |       9 |   142483 |     8220 |    12987      0 |       68 |      144
35.69/35.77	c #cpu_time = 17.455s
35.69/35.77	c #wall_clock_time = 17.501s
35.69/35.77	c #decision = 142483
35.69/35.77	c #random_decision = 16
35.69/35.77	c #conflict = 8220
35.69/35.77	c #restart = 9
35.69/35.77	o 1340
35.79/35.81	c BCD2: updating upper bound: 1515 -> 1339
35.89/35.91	c BCD2: 183 <= obj <= 1339
35.89/35.91	c BCD2: #cores=20, #unrelaxed=11843, #relaxed=3242, #hardened=0
35.89/35.91	c BCD2: #sat=4 #unsat=32 bias=32/36
35.89/35.94	c Solving starts ...
35.89/35.94	c ============================[ Search Statistics ]============================
35.89/35.94	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
35.89/35.94	c       |         |          |          |    Limit     GC | Var      | Constra 
35.89/35.94	c =============================================================================
35.89/35.94	c  0.0s |       0 |        0 |        0 |    12987      0 |       68 |      145
36.19/36.28	c  0.3s |       0 |    11728 |        1 |    12987      0 |       68 |      145
36.19/36.28	c #cpu_time = 0.257s
36.19/36.28	c #wall_clock_time = 0.258s
36.19/36.28	c #decision = 11728
36.19/36.28	c #random_decision = 0
36.19/36.28	c #conflict = 1
36.19/36.28	c #restart = 0
36.19/36.28	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 139: cost of the new core is >=13
36.19/36.28	c lower bound updated to 193
36.29/36.31	c BCD2: 193 <= obj <= 1339
36.29/36.31	c BCD2: #cores=20, #unrelaxed=11841, #relaxed=3244, #hardened=0
36.29/36.31	c BCD2: #sat=4 #unsat=33 bias=33/37
36.29/36.33	c Solving starts ...
36.29/36.33	c ============================[ Search Statistics ]============================
36.29/36.33	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
36.29/36.33	c       |         |          |          |    Limit     GC | Var      | Constra 
36.29/36.33	c =============================================================================
36.29/36.33	c  0.0s |       0 |        0 |        0 |    12987      0 |       73 |      145
36.79/36.87	c  0.5s |       1 |    12302 |      100 |    12987      0 |       73 |      154
37.59/37.66	c  1.3s |       2 |    24591 |      250 |    12987      0 |       73 |      154
38.39/38.45	c  2.1s |       3 |    37240 |      475 |    12987      0 |       73 |      154
39.29/39.36	c  3.0s |       4 |    50380 |      813 |    12987      0 |       73 |      154
40.48/40.59	c  4.3s |       5 |    63984 |     1320 |    12987      0 |       73 |      154
42.38/42.42	c  6.1s |       6 |    77911 |     2081 |    12987      0 |       73 |      154
44.48/44.56	c  8.2s |       6 |    92659 |     3081 |    14286      0 |       73 |      154
44.78/44.87	c  8.5s |       7 |    93031 |     3223 |    14286      0 |       73 |      154
46.98/47.09	c 10.8s |       7 |   107701 |     4223 |    14286      0 |       73 |      154
48.39/48.45	c 12.1s |       8 |   110195 |     4936 |    14286      0 |       73 |      154
50.48/50.59	c 14.3s |       8 |   124425 |     5836 |    14286      0 |       73 |      154
52.68/52.71	c 16.4s |       8 |   128299 |     7136 |    14286      0 |       73 |      154
53.38/53.42	c 17.1s |       9 |   129105 |     7506 |    14286      0 |       73 |      154
55.38/55.48	c 19.1s |       9 |   143415 |     8406 |    15715      1 |       73 |      154
57.48/57.58	c 21.2s |       9 |   148317 |     9606 |    15715      1 |       73 |      154
59.58/59.67	c 23.3s |       9 |   151269 |    10706 |    15715      1 |       73 |      154
60.78/60.88	c 24.6s |      10 |   152841 |    11361 |    15715      1 |       73 |      154
62.98/63.05	c 26.7s |      10 |   168142 |    12361 |    15715      1 |       73 |      154
64.99/65.09	c 28.8s |      10 |   171862 |    13461 |    15715      1 |       73 |      154
67.19/67.21	c 30.9s |      10 |   174829 |    14661 |    15715      1 |       73 |      154
69.29/69.35	c 33.0s |      10 |   178239 |    15861 |    15715      1 |       73 |      154
71.49/71.54	c 35.2s |      10 |   181512 |    17061 |    17287      1 |       73 |      154
71.68/71.75	c 35.4s |      11 |   181701 |    17144 |    17287      1 |       73 |      154
73.68/73.79	c 37.5s |      11 |   195400 |    17844 |    17287      2 |       73 |      154
75.78/75.89	c 39.6s |      11 |   198865 |    19044 |    17287      2 |       73 |      154
77.98/78.05	c 41.7s |      11 |   202816 |    20244 |    17287      2 |       73 |      154
80.08/80.13	c 43.8s |      11 |   205848 |    21444 |    17287      2 |       73 |      154
82.18/82.22	c 45.9s |      11 |   208785 |    22644 |    17287      2 |       73 |      154
84.38/84.40	c 48.1s |      11 |   212318 |    23644 |    17287      2 |       73 |      154
86.48/86.52	c 50.2s |      11 |   214542 |    24444 |    17287      2 |       73 |      154
88.58/88.68	c 52.3s |      11 |   217809 |    25444 |    17287      2 |       73 |      154
89.38/89.43	c 53.1s |      12 |   218782 |    25819 |    17287      2 |       73 |      154
91.38/91.49	c 55.2s |      12 |   233332 |    26719 |    17287      3 |       73 |      154
93.58/93.63	c 57.3s |      12 |   237216 |    27719 |    17287      3 |       73 |      154
95.68/95.71	c 59.4s |      12 |   240026 |    28619 |    17287      3 |       73 |      154
97.67/97.74	c 61.4s |      12 |   242503 |    29519 |    19016      3 |       73 |      154
99.87/99.98	c 63.6s |      12 |   245451 |    30519 |    19016      3 |       73 |      154
101.97/102.00	c 65.7s |      12 |   248201 |    31319 |    19016      3 |       73 |      154
103.97/104.09	c 67.8s |      12 |   250947 |    32419 |    19016      3 |       73 |      154
106.17/106.20	c 69.9s |      12 |   253894 |    33319 |    19016      3 |       73 |      154
108.27/108.32	c 72.0s |      12 |   257808 |    34419 |    19016      3 |       73 |      154
110.37/110.41	c 74.1s |      12 |   260137 |    35419 |    19016      3 |       73 |      154
112.57/112.60	c 76.3s |      12 |   262512 |    36319 |    19016      3 |       73 |      154
114.67/114.76	c 78.4s |      12 |   265619 |    37419 |    19016      3 |       73 |      154
116.68/116.77	c 80.4s |      12 |   268765 |    38419 |    19016      3 |       73 |      154
117.97/118.01	c 81.7s |      13 |   270101 |    38832 |    19016      3 |       73 |      154
120.18/120.21	c 83.9s |      13 |   282857 |    39132 |    19016      4 |       73 |      154
122.28/122.36	c 86.0s |      13 |   285079 |    40032 |    19016      4 |       73 |      154
124.48/124.50	c 88.2s |      13 |   287481 |    40932 |    19016      4 |       73 |      154
126.48/126.60	c 90.3s |      13 |   289578 |    41732 |    19016      4 |       73 |      154
128.78/128.81	c 92.5s |      13 |   291663 |    42532 |    19016      4 |       73 |      154
130.98/131.02	c 94.7s |      13 |   295218 |    43632 |    19016      4 |       73 |      154
133.08/133.11	c 96.8s |      13 |   298695 |    44532 |    19016      4 |       73 |      154
135.07/135.11	c 98.8s |      13 |   301141 |    45432 |    19016      4 |       73 |      154
137.07/137.17	c  100s |      13 |   304447 |    46432 |    19016      4 |       73 |      154
139.17/139.22	c  102s |      13 |   306592 |    47232 |    19016      4 |       73 |      154
141.37/141.45	c  105s |      13 |   309286 |    48332 |    19016      4 |       73 |      154
143.47/143.52	c  107s |      13 |   311636 |    49232 |    20918      4 |       73 |      154
145.57/145.67	c  109s |      13 |   315008 |    50332 |    20918      4 |       73 |      154
147.77/147.86	c  111s |      13 |   317625 |    51232 |    20918      4 |       73 |      154
149.87/149.96	c  113s |      13 |   320810 |    52332 |    20918      4 |       73 |      154
152.07/152.11	c  115s |      13 |   323462 |    53232 |    20918      4 |       73 |      154
154.17/154.22	c  117s |      13 |   326182 |    54232 |    20918      4 |       73 |      154
156.18/156.29	c  119s |      13 |   328492 |    55032 |    20918      4 |       73 |      154
158.38/158.43	c  122s |      13 |   331479 |    56032 |    20918      4 |       73 |      154
160.47/160.57	c  124s |      13 |   334103 |    56932 |    20918      4 |       73 |      154
162.57/162.61	c  126s |      13 |   337652 |    57932 |    20918      4 |       73 |      154
163.57/163.64	c  127s |      14 |   338542 |    58352 |    20918      4 |       73 |      154
165.67/165.73	c  129s |      14 |   352430 |    58952 |    20918      5 |       73 |      154
167.67/167.78	c  131s |      14 |   354871 |    59852 |    20918      5 |       73 |      154
169.87/169.95	c  133s |      14 |   357481 |    60752 |    20918      5 |       73 |      154
171.97/172.02	c  135s |      14 |   361168 |    61852 |    20918      5 |       73 |      154
174.07/174.19	c  137s |      14 |   363651 |    62852 |    20918      5 |       73 |      154
176.27/176.32	c  139s |      14 |   366721 |    63652 |    20918      5 |       73 |      154
178.57/178.61	c  142s |      14 |   370336 |    64852 |    20918      5 |       73 |      154
180.77/180.83	c  144s |      14 |   373742 |    65952 |    20918      5 |       73 |      154
182.97/183.06	c  146s |      14 |   377927 |    67052 |    20918      5 |       73 |      154
185.17/185.23	c  148s |      14 |   381022 |    68052 |    20918      5 |       73 |      154
187.27/187.32	c  150s |      14 |   383942 |    69052 |    20918      5 |       73 |      154
189.37/189.46	c  153s |      14 |   387055 |    70052 |    20918      5 |       73 |      154
191.56/191.65	c  155s |      14 |   389610 |    71152 |    20918      5 |       73 |      154
193.76/193.81	c  157s |      14 |   392337 |    72252 |    20918      5 |       73 |      154
195.87/195.97	c  159s |      14 |   395382 |    73052 |    20918      5 |       73 |      154
197.86/197.99	c  161s |      14 |   397160 |    73752 |    20918      5 |       73 |      154
199.96/200.01	c  163s |      14 |   400166 |    74552 |    20918      5 |       73 |      154
202.26/202.32	c  165s |      14 |   403217 |    75552 |    20918      5 |       73 |      154
204.36/204.49	c  168s |      14 |   405518 |    76352 |    20918      5 |       73 |      154
206.56/206.69	c  170s |      14 |   408571 |    77352 |    20918      6 |       73 |      154
209.36/209.43	c  173s |      14 |   410497 |    78052 |    23010      6 |       73 |      154
211.36/211.49	c  175s |      14 |   412679 |    78952 |    23010      6 |       73 |      154
213.47/213.56	c  177s |      14 |   415256 |    79852 |    23010      6 |       73 |      154
215.57/215.69	c  179s |      14 |   418461 |    80852 |    23010      6 |       73 |      154
217.77/217.85	c  181s |      14 |   421299 |    81852 |    23010      6 |       73 |      154
219.76/219.88	c  183s |      14 |   423697 |    82752 |    23010      6 |       73 |      154
221.96/222.02	c  185s |      14 |   426648 |    83852 |    23010      6 |       73 |      154
223.96/224.03	c  187s |      14 |   429091 |    84652 |    23010      6 |       73 |      154
225.96/226.04	c  189s |      14 |   431016 |    85452 |    23010      6 |       73 |      154
228.16/228.29	c  191s |      14 |   433298 |    86352 |    23010      6 |       73 |      154
230.26/230.35	c  194s |      14 |   435818 |    87252 |    23010      6 |       73 |      154
231.16/231.27	c  194s |      15 |   436727 |    87632 |    23010      6 |       73 |      154
237.85/237.92	c  201s |      15 |   448889 |    87732 |    23010      7 |       73 |      154
239.86/239.97	c  203s |      15 |   451196 |    88532 |    23010      7 |       73 |      154
243.16/243.20	c  206s |      15 |   453413 |    89432 |    23010      7 |       73 |      154
245.25/245.37	c  209s |      15 |   457072 |    90432 |    23010      7 |       73 |      154
247.45/247.54	c  211s |      15 |   460068 |    91332 |    23010      7 |       73 |      154
249.55/249.63	c  213s |      15 |   462867 |    92132 |    23010      7 |       73 |      154
251.55/251.68	c  215s |      15 |   464966 |    92932 |    23010      7 |       73 |      154
253.75/253.82	c  217s |      15 |   467895 |    93932 |    23010      7 |       73 |      154
255.95/256.07	c  219s |      15 |   470435 |    94832 |    23010      7 |       73 |      154
258.05/258.16	c  221s |      15 |   473636 |    95732 |    23010      7 |       73 |      154
260.25/260.36	c  224s |      15 |   476720 |    96632 |    23010      7 |       73 |      154
262.35/262.41	c  226s |      15 |   479604 |    97532 |    23010      7 |       73 |      154
264.44/264.56	c  228s |      15 |   483062 |    98632 |    23010      7 |       73 |      154
266.84/266.90	c  230s |      15 |   486732 |    99732 |    23010      7 |       73 |      154
269.04/269.14	c  232s |      15 |   488795 |   100532 |    23010      7 |       73 |      154
271.14/271.27	c  234s |      15 |   491327 |   101432 |    23010      7 |       73 |      154
273.24/273.30	c  236s |      15 |   494730 |   102432 |    23010      7 |       73 |      154
275.34/275.43	c  239s |      15 |   497175 |   103432 |    23010      7 |       73 |      154
277.54/277.62	c  241s |      15 |   500290 |   104432 |    23010      7 |       73 |      154
279.64/279.74	c  243s |      15 |   502643 |   105332 |    23010      7 |       73 |      154
281.65/281.76	c  245s |      15 |   505532 |   106332 |    23010      7 |       73 |      154
283.94/284.00	c  247s |      15 |   507740 |   107232 |    23010      7 |       73 |      154
286.05/286.18	c  249s |      15 |   509600 |   108032 |    23010      7 |       73 |      154
288.15/288.23	c  251s |      15 |   511961 |   108932 |    23010      7 |       73 |      154
290.54/290.63	c  254s |      15 |   514421 |   109832 |    23010      8 |       73 |      154
292.55/292.64	c  256s |      15 |   517167 |   110832 |    23010      8 |       73 |      154
294.75/294.87	c  258s |      15 |   520359 |   111732 |    23010      8 |       73 |      154
296.95/297.06	c  260s |      15 |   524042 |   112732 |    23010      8 |       73 |      154
299.15/299.21	c  262s |      15 |   526939 |   113732 |    23010      8 |       73 |      154
301.14/301.22	c  264s |      15 |   529094 |   114432 |    23010      8 |       73 |      154
303.24/303.34	c  267s |      15 |   531632 |   115432 |    23010      8 |       73 |      154
305.34/305.48	c  269s |      15 |   534418 |   116432 |    23010      8 |       73 |      154
307.54/307.61	c  271s |      15 |   537389 |   117532 |    23010      8 |       73 |      154
310.64/310.72	c  274s |      15 |   539746 |   118332 |    23010      8 |       73 |      154
312.64/312.77	c  276s |      15 |   542260 |   119332 |    23010      8 |       73 |      154
315.44/315.53	c  279s |      15 |   547395 |   120132 |    23010      8 |       73 |      154
317.54/317.67	c  281s |      15 |   549784 |   120932 |    23010      8 |       73 |      154
319.64/319.70	c  283s |      15 |   551839 |   121732 |    25312      8 |       73 |      154
321.74/321.86	c  285s |      15 |   554882 |   122632 |    25312      8 |       73 |      154
324.04/324.13	c  287s |      15 |   557477 |   123532 |    25312      8 |       73 |      154
326.14/326.25	c  289s |      15 |   560462 |   124532 |    25312      8 |       73 |      154
328.24/328.35	c  292s |      15 |   563149 |   125432 |    25312      8 |       73 |      154
330.34/330.45	c  294s |      15 |   564549 |   126032 |    25312      8 |       73 |      154
332.34/332.47	c  296s |      15 |   567828 |   127032 |    25312      8 |       73 |      154
334.54/334.60	c  298s |      15 |   570948 |   128032 |    25312      8 |       73 |      154
336.54/336.63	c  300s |      15 |   574087 |   129032 |    25312      8 |       73 |      154
338.54/338.65	c  302s |      15 |   577087 |   130132 |    25312      8 |       73 |      154
340.64/340.72	c  304s |      15 |   578955 |   130732 |    25312      9 |       73 |      154
342.63/342.77	c  306s |      15 |   581451 |   131532 |    25312      9 |       73 |      154
342.73/342.87	c  306s |      16 |   581558 |   131552 |    25312      9 |       73 |      154
344.73/344.89	c  308s |      16 |   595301 |   132252 |    25312      9 |       73 |      154
346.93/347.09	c  310s |      16 |   597983 |   133252 |    25312      9 |       73 |      154
349.33/349.41	c  313s |      16 |   601292 |   134152 |    25312      9 |       73 |      154
351.43/351.50	c  315s |      16 |   604244 |   135152 |    25312      9 |       73 |      154
353.63/353.72	c  317s |      16 |   607001 |   136152 |    25312      9 |       73 |      154
355.63/355.77	c  319s |      16 |   609759 |   137052 |    25312      9 |       73 |      154
357.83/357.96	c  321s |      16 |   612434 |   138052 |    25312      9 |       73 |      154
359.93/360.05	c  323s |      16 |   614938 |   138952 |    25312      9 |       73 |      154
361.94/362.06	c  325s |      16 |   617636 |   139752 |    25312      9 |       73 |      154
364.14/364.26	c  327s |      16 |   620454 |   140652 |    25312      9 |       73 |      154
366.34/366.48	c  330s |      16 |   622682 |   141652 |    25312      9 |       73 |      154
368.54/368.66	c  332s |      16 |   624826 |   142452 |    25312      9 |       73 |      154
370.74/370.87	c  334s |      16 |   627009 |   143352 |    25312      9 |       73 |      154
372.84/372.97	c  336s |      16 |   629380 |   144152 |    25312      9 |       73 |      154
374.93/375.10	c  338s |      16 |   631901 |   145052 |    25312      9 |       73 |      154
377.13/377.30	c  340s |      16 |   634519 |   145952 |    25312      9 |       73 |      154
379.23/379.36	c  343s |      16 |   637555 |   146852 |    25312      9 |       73 |      154
387.43/387.52	c  351s |      16 |   641045 |   147852 |    25312      9 |       73 |      154
389.53/389.68	c  353s |      16 |   643819 |   148752 |    25312      9 |       73 |      154
391.73/391.81	c  355s |      16 |   646163 |   149452 |    25312     10 |       73 |      154
393.74/393.85	c  357s |      16 |   648125 |   150052 |    25312     10 |       73 |      154
395.83/395.91	c  359s |      16 |   650615 |   150852 |    25312     10 |       73 |      154
397.93/398.03	c  361s |      16 |   653618 |   151752 |    25312     10 |       73 |      154
398.93/399.00	c  362s |      16 |   659867 |   152041 |    25312     10 |       73 |      154
398.93/399.00	c #cpu_time = 361.666s
398.93/399.00	c #wall_clock_time = 362.613s
398.93/399.00	c #decision = 659867
398.93/399.00	c #random_decision = 300
398.93/399.00	c #conflict = 152041
398.93/399.00	c #restart = 16
398.93/399.00	c BCD2: relaxing 46 and merging with 2 cores into a new core of size 75: cost of the new core is >=9
398.93/399.00	c lower bound updated to 194
398.93/399.01	c BCD2: 194 <= obj <= 1339
398.93/399.01	c BCD2: #cores=19, #unrelaxed=11795, #relaxed=3290, #hardened=0
398.93/399.01	c BCD2: #sat=4 #unsat=34 bias=34/38
398.93/399.01	c Solving starts ...
398.93/399.01	c ============================[ Search Statistics ]============================
398.93/399.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
398.93/399.01	c       |         |          |          |    Limit     GC | Var      | Constra 
398.93/399.01	c =============================================================================
398.93/399.02	c  0.0s |       0 |        0 |        0 |    25312      0 |       91 |      154
399.53/399.61	c  0.6s |       0 |    13135 |       31 |    25312      0 |       92 |      190
399.53/399.61	c #cpu_time = 0.580s
399.53/399.61	c #wall_clock_time = 0.581s
399.53/399.61	c #decision = 13135
399.53/399.61	c #random_decision = 0
399.53/399.61	c #conflict = 31
399.53/399.61	c #restart = 0
399.53/399.61	c BCD2: updating lower bound of a core
399.53/399.61	c lower bound updated to 195
399.53/399.63	c BCD2: 195 <= obj <= 1339
399.53/399.63	c BCD2: #cores=19, #unrelaxed=11795, #relaxed=3290, #hardened=0
399.53/399.63	c BCD2: #sat=4 #unsat=35 bias=35/39
399.53/399.66	c Solving starts ...
399.53/399.66	c ============================[ Search Statistics ]============================
399.53/399.66	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
399.53/399.66	c       |         |          |          |    Limit     GC | Var      | Constra 
399.53/399.66	c =============================================================================
399.53/399.66	c  0.0s |       0 |        0 |        0 |    25312      0 |       92 |      190
400.23/400.37	c  0.7s |       1 |    13819 |      100 |    25312      0 |       92 |      190
401.23/401.37	c  1.7s |       2 |    29615 |      250 |    25312      0 |       92 |      190
402.82/402.98	c  3.3s |       3 |    55347 |      475 |    25312      0 |       92 |      190
405.02/405.15	c  5.5s |       4 |    82106 |      813 |    25312      0 |       92 |      190
407.33/407.40	c  7.7s |       4 |    97992 |     1313 |    25312      0 |       92 |      190
407.43/407.53	c  7.9s |       5 |    98001 |     1320 |    25312      0 |       92 |      190
409.53/409.63	c 10.0s |       5 |   119098 |     1620 |    25312      0 |       92 |      190
414.03/414.18	c 14.5s |       5 |   126251 |     1920 |    25312      0 |       92 |      190
414.53/414.62	c 15.0s |       6 |   126760 |     2081 |    25312      0 |       92 |      190
416.63/416.70	c 17.0s |       6 |   141871 |     2881 |    25312      0 |       92 |      190
417.33/417.47	c 17.8s |       7 |   143960 |     3223 |    25312      0 |       92 |      190
419.43/419.50	c 19.8s |       7 |   159817 |     4023 |    25312      0 |       92 |      190
421.43/421.57	c 21.9s |       7 |   161885 |     4823 |    25312      0 |       92 |      190
421.83/421.91	c 22.3s |       8 |   162619 |     4936 |    25312      0 |       92 |      190
423.93/424.06	c 24.4s |       8 |   176654 |     5636 |    25312      1 |       92 |      190
426.03/426.16	c 26.5s |       8 |   180041 |     6436 |    25312      1 |       92 |      190
428.13/428.29	c 28.6s |       8 |   184805 |     7436 |    25312      1 |       92 |      190
428.43/428.53	c 28.9s |       9 |   184980 |     7506 |    25312      1 |       92 |      190
430.43/430.57	c 30.9s |       9 |   200032 |     8206 |    25312      1 |       92 |      190
432.73/432.81	c 33.1s |       9 |   203279 |     9106 |    25312      1 |       92 |      190
434.73/434.85	c 35.2s |       9 |   205825 |     9806 |    25312      1 |       92 |      190
436.73/436.86	c 37.2s |       9 |   209624 |    10806 |    25312      1 |       92 |      190
438.13/438.26	c 38.6s |      10 |   211506 |    11361 |    25312      1 |       92 |      190
440.33/440.49	c 40.8s |      10 |   226971 |    12061 |    25312      1 |       92 |      190
442.42/442.52	c 42.9s |      10 |   229738 |    12961 |    25312      1 |       92 |      190
444.43/444.54	c 44.9s |      10 |   233003 |    13861 |    25312      1 |       92 |      190
446.53/446.62	c 47.0s |      10 |   236988 |    14761 |    25312      1 |       92 |      190
448.52/448.67	c 49.0s |      10 |   240034 |    15561 |    25312      1 |       92 |      190
450.72/450.84	c 51.2s |      10 |   245056 |    16461 |    25312      1 |       92 |      190
452.42/452.53	c 52.9s |      11 |   247467 |    17144 |    25312      1 |       92 |      190
454.52/454.62	c 55.0s |      11 |   260851 |    17644 |    25312      2 |       92 |      190
456.53/456.64	c 57.0s |      11 |   263973 |    18344 |    25312      2 |       92 |      190
458.73/458.85	c 59.2s |      11 |   267288 |    19244 |    25312      2 |       92 |      190
460.72/460.89	c 61.2s |      11 |   269838 |    19844 |    25312      2 |       92 |      190
462.92/463.10	c 63.4s |      11 |   273922 |    20844 |    25312      2 |       92 |      190
465.12/465.23	c 65.6s |      11 |   276944 |    21744 |    25312      2 |       92 |      190
467.32/467.41	c 67.7s |      11 |   281372 |    22544 |    25312      2 |       92 |      190
469.42/469.51	c 69.9s |      11 |   285949 |    23344 |    25312      2 |       92 |      190
471.52/471.63	c 72.0s |      11 |   290531 |    24244 |    25312      2 |       92 |      190
473.52/473.64	c 74.0s |      11 |   294320 |    25144 |    25312      2 |       92 |      190
475.02/475.17	c 75.5s |      12 |   297573 |    25819 |    25312      2 |       92 |      190
477.02/477.19	c 77.5s |      12 |   310997 |    26519 |    25312      2 |       92 |      190
479.12/479.27	c 79.6s |      12 |   313869 |    27319 |    25312      2 |       92 |      190
481.22/481.36	c 81.7s |      12 |   316350 |    28119 |    25312      2 |       92 |      190
483.32/483.41	c 83.8s |      12 |   318360 |    28819 |    25312      2 |       92 |      190
485.32/485.41	c 85.8s |      12 |   320373 |    29319 |    25312      2 |       92 |      190
487.42/487.52	c 87.9s |      12 |   322755 |    30019 |    25312      2 |       92 |      190
489.42/489.55	c 89.9s |      12 |   325954 |    30819 |    25312      2 |       92 |      190
491.52/491.62	c 92.0s |      12 |   329075 |    31619 |    25312      2 |       92 |      190
493.52/493.63	c 94.0s |      12 |   332748 |    32319 |    25312      2 |       92 |      190
495.61/495.76	c 96.1s |      12 |   338585 |    33219 |    25312      2 |       92 |      190
497.71/497.87	c 98.2s |      12 |   341281 |    34119 |    25312      2 |       92 |      190
499.81/499.97	c  100s |      12 |   344022 |    34819 |    25312      2 |       92 |      190
501.91/502.02	c  102s |      12 |   345923 |    35519 |    27844      2 |       92 |      190
504.11/504.25	c  104s |      12 |   350080 |    36319 |    27844      2 |       92 |      190
506.21/506.37	c  106s |      12 |   352309 |    37019 |    27844      2 |       92 |      190
508.31/508.47	c  108s |      12 |   355529 |    37819 |    27844      2 |       92 |      190
510.42/510.55	c  110s |      12 |   358792 |    38619 |    27844      2 |       92 |      190
511.01/511.18	c  111s |      13 |   359656 |    38832 |    27844      2 |       92 |      190
513.21/513.35	c  113s |      13 |   374359 |    39332 |    27844      3 |       92 |      190
515.41/515.56	c  115s |      13 |   377593 |    40132 |    27844      3 |       92 |      190
517.71/517.81	c  118s |      13 |   379833 |    40832 |    27844      3 |       92 |      190
519.91/520.06	c  120s |      13 |   383648 |    41632 |    27844      3 |       92 |      190
522.11/522.26	c  122s |      13 |   388044 |    42432 |    27844      3 |       92 |      190
524.21/524.32	c  124s |      13 |   392401 |    43332 |    27844      3 |       92 |      190
526.31/526.46	c  126s |      13 |   396899 |    44332 |    27844      3 |       92 |      190
528.31/528.46	c  128s |      13 |   400127 |    45232 |    27844      3 |       92 |      190
530.51/530.66	c  131s |      13 |   403557 |    46132 |    27844      3 |       92 |      190
532.71/532.81	c  133s |      13 |   405965 |    47132 |    27844      3 |       92 |      190
534.81/534.90	c  135s |      13 |   409607 |    47932 |    27844      3 |       92 |      190
536.91/537.04	c  137s |      13 |   413275 |    48732 |    27844      3 |       92 |      190
538.92/539.09	c  139s |      13 |   417166 |    49532 |    27844      3 |       92 |      190
541.21/541.34	c  141s |      13 |   421278 |    50532 |    27844      3 |       92 |      190
543.31/543.49	c  143s |      13 |   423270 |    51432 |    27844      3 |       92 |      190
545.51/545.65	c  145s |      13 |   426050 |    52232 |    27844      3 |       92 |      190
547.61/547.73	c  148s |      13 |   429312 |    52932 |    27844      3 |       92 |      190
549.81/549.90	c  150s |      13 |   432424 |    53632 |    27844      3 |       92 |      190
551.91/552.08	c  152s |      13 |   434841 |    54432 |    27844      3 |       92 |      190
554.21/554.35	c  154s |      13 |   438209 |    55232 |    27844      3 |       92 |      190
560.50/560.60	c  160s |      13 |   440852 |    55832 |    27844      3 |       92 |      190
562.70/562.89	c  163s |      13 |   442937 |    56432 |    27844      3 |       92 |      190
565.10/565.20	c  165s |      13 |   444781 |    56932 |    27844      3 |       92 |      190
567.10/567.21	c  167s |      13 |   446614 |    57532 |    27844      3 |       92 |      190
569.20/569.39	c  169s |      13 |   449056 |    58132 |    27844      3 |       92 |      190
569.90/570.01	c  170s |      14 |   449597 |    58352 |    27844      3 |       92 |      190
572.10/572.22	c  172s |      14 |   462357 |    58652 |    27844      4 |       92 |      190
574.11/574.22	c  174s |      14 |   465760 |    59352 |    27844      4 |       92 |      190
576.10/576.28	c  176s |      14 |   469459 |    60152 |    27844      4 |       92 |      190
578.10/578.28	c  178s |      14 |   472370 |    60952 |    27844      4 |       92 |      190
580.40/580.54	c  180s |      14 |   475393 |    61852 |    27844      4 |       92 |      190
582.70/582.82	c  183s |      14 |   479491 |    62852 |    27844      4 |       92 |      190
584.80/584.90	c  185s |      14 |   482375 |    63452 |    27844      4 |       92 |      190
587.00/587.18	c  187s |      14 |   484710 |    64252 |    27844      4 |       92 |      190
589.20/589.38	c  189s |      14 |   486603 |    64652 |    27844      4 |       92 |      190
591.50/591.61	c  191s |      14 |   490217 |    65352 |    27844      4 |       92 |      190
593.49/593.67	c  194s |      14 |   494989 |    66052 |    27844      4 |       92 |      190
595.59/595.78	c  196s |      14 |   497846 |    67052 |    27844      4 |       92 |      190
597.89/598.08	c  198s |      14 |   501240 |    67952 |    27844      4 |       92 |      190
599.99/600.14	c  200s |      14 |   504158 |    68752 |    27844      4 |       92 |      190
602.19/602.37	c  202s |      14 |   507642 |    69552 |    27844      4 |       92 |      190
604.29/604.42	c  204s |      14 |   510836 |    70352 |    27844      4 |       92 |      190
606.29/606.48	c  206s |      14 |   513773 |    71152 |    27844      4 |       92 |      190
608.39/608.58	c  208s |      14 |   517896 |    71952 |    27844      4 |       92 |      190
610.50/610.63	c  210s |      14 |   521387 |    72752 |    27844      4 |       92 |      190
612.49/612.64	c  212s |      14 |   524350 |    73452 |    27844      4 |       92 |      190
614.59/614.79	c  215s |      14 |   526435 |    73952 |    27844      4 |       92 |      190
616.79/616.93	c  217s |      14 |   529711 |    74652 |    27844      4 |       92 |      190
618.99/619.12	c  219s |      14 |   532543 |    75452 |    27844      4 |       92 |      190
620.99/621.18	c  221s |      14 |   535132 |    76152 |    27844      4 |       92 |      190
623.19/623.33	c  223s |      14 |   538160 |    77052 |    27844      4 |       92 |      190
625.29/625.41	c  225s |      14 |   540773 |    77852 |    27844      4 |       92 |      190
627.39/627.50	c  227s |      14 |   544632 |    78552 |    27844      4 |       92 |      190
629.39/629.50	c  229s |      14 |   546917 |    79252 |    27844      4 |       92 |      190
631.40/631.54	c  231s |      14 |   549603 |    79952 |    27844      4 |       92 |      190
633.89/634.01	c  234s |      14 |   551857 |    80752 |    27844      5 |       92 |      190
635.99/636.18	c  236s |      14 |   555283 |    81552 |    27844      5 |       92 |      190
638.19/638.31	c  238s |      14 |   558005 |    82352 |    27844      5 |       92 |      190
640.49/640.64	c  240s |      14 |   561474 |    83152 |    27844      5 |       92 |      190
642.69/642.85	c  243s |      14 |   564496 |    83852 |    27844      5 |       92 |      190
650.49/650.63	c  250s |      14 |   565342 |    84052 |    27844      5 |       92 |      190
652.49/652.67	c  253s |      14 |   567775 |    84752 |    27844      5 |       92 |      190
654.69/654.82	c  255s |      14 |   570408 |    85552 |    27844      5 |       92 |      190
656.79/656.99	c  257s |      14 |   574260 |    86452 |    27844      5 |       92 |      190
658.99/659.12	c  259s |      14 |   577054 |    87352 |    27844      5 |       92 |      190
659.79/659.92	c  260s |      15 |   578034 |    87632 |    27844      5 |       92 |      190
661.89/662.10	c  262s |      15 |   592263 |    88232 |    27844      5 |       92 |      190
664.19/664.34	c  264s |      15 |   595290 |    89132 |    27844      5 |       92 |      190
666.50/666.61	c  266s |      15 |   598681 |    89932 |    27844      5 |       92 |      190
669.29/669.44	c  269s |      15 |   601726 |    90632 |    27844      5 |       92 |      190
671.29/671.49	c  271s |      15 |   605605 |    91432 |    27844      5 |       92 |      190
673.49/673.69	c  274s |      15 |   608056 |    92332 |    27844      5 |       92 |      190
675.69/675.87	c  276s |      15 |   610493 |    93032 |    27844      5 |       92 |      190
677.89/678.04	c  278s |      15 |   612872 |    93732 |    27844      5 |       92 |      190
680.09/680.23	c  280s |      15 |   617389 |    94532 |    27844      5 |       92 |      190
682.29/682.48	c  282s |      15 |   619473 |    95332 |    27844      5 |       92 |      190
684.49/684.62	c  284s |      15 |   622111 |    96232 |    27844      5 |       92 |      190
686.58/686.77	c  287s |      15 |   624702 |    97132 |    27844      5 |       92 |      190
688.78/688.97	c  289s |      15 |   627737 |    97932 |    27844      5 |       92 |      190
691.08/691.23	c  291s |      15 |   630777 |    98732 |    27844      5 |       92 |      190
693.38/693.53	c  293s |      15 |   633900 |    99532 |    27844      5 |       92 |      190
695.38/695.55	c  295s |      15 |   637209 |   100232 |    27844      5 |       92 |      190
697.58/697.76	c  298s |      15 |   640080 |   100932 |    27844      5 |       92 |      190
699.98/700.16	c  300s |      15 |   642013 |   101532 |    27844      6 |       92 |      190
702.08/702.24	c  302s |      15 |   644371 |   102132 |    27844      6 |       92 |      190
704.28/704.40	c  304s |      15 |   646829 |   102832 |    27844      6 |       92 |      190
706.38/706.50	c  306s |      15 |   649187 |   103532 |    27844      6 |       92 |      190
708.78/708.94	c  309s |      15 |   652249 |   104332 |    27844      6 |       92 |      190
710.98/711.18	c  311s |      15 |   655199 |   105132 |    27844      6 |       92 |      190
713.08/713.25	c  313s |      15 |   658790 |   105932 |    27844      6 |       92 |      190
715.28/715.48	c  315s |      15 |   663001 |   106832 |    27844      6 |       92 |      190
717.58/717.74	c  318s |      15 |   665043 |   107632 |    27844      6 |       92 |      190
719.68/719.89	c  320s |      15 |   668467 |   108332 |    27844      6 |       92 |      190
721.88/722.03	c  322s |      15 |   670462 |   109032 |    27844      6 |       92 |      190
724.08/724.23	c  324s |      15 |   673490 |   109732 |    27844      6 |       92 |      190
726.08/726.26	c  326s |      15 |   675666 |   110332 |    27844      6 |       92 |      190
728.38/728.51	c  328s |      15 |   679390 |   111232 |    27844      6 |       92 |      190
730.48/730.66	c  331s |      15 |   682167 |   111932 |    27844      6 |       92 |      190
732.68/732.82	c  333s |      15 |   686069 |   112632 |    27844      6 |       92 |      190
734.78/734.94	c  335s |      15 |   689027 |   113432 |    27844      6 |       92 |      190
736.98/737.19	c  337s |      15 |   692581 |   114232 |    27844      6 |       92 |      190
739.08/739.27	c  339s |      15 |   696159 |   115032 |    27844      6 |       92 |      190
741.38/741.51	c  341s |      15 |   700443 |   115932 |    27844      6 |       92 |      190
743.58/743.79	c  344s |      15 |   702678 |   116732 |    27844      6 |       92 |      190
745.78/745.92	c  346s |      15 |   705754 |   117432 |    27844      6 |       92 |      190
747.78/747.97	c  348s |      15 |   708517 |   118132 |    27844      6 |       92 |      190
749.98/750.19	c  350s |      15 |   710790 |   118732 |    27844      6 |       92 |      190
752.28/752.45	c  352s |      15 |   713868 |   119432 |    27844      6 |       92 |      190
754.58/754.77	c  355s |      15 |   716333 |   120132 |    27844      6 |       92 |      190
756.68/756.82	c  357s |      15 |   718967 |   120732 |    27844      6 |       92 |      190
758.88/759.02	c  359s |      15 |   721550 |   121532 |    27844      6 |       92 |      190
760.87/761.05	c  361s |      15 |   724151 |   122132 |    27844      7 |       92 |      190
762.97/763.10	c  363s |      15 |   727447 |   122832 |    27844      7 |       92 |      190
765.07/765.24	c  365s |      15 |   730094 |   123732 |    27844      7 |       92 |      190
767.07/767.29	c  367s |      15 |   732554 |   124532 |    27844      7 |       92 |      190
769.37/769.55	c  369s |      15 |   735393 |   125432 |    27844      7 |       92 |      190
771.57/771.71	c  372s |      15 |   737957 |   126132 |    27844      7 |       92 |      190
773.67/773.85	c  374s |      15 |   740923 |   126932 |    27844      7 |       92 |      190
775.67/775.88	c  376s |      15 |   742587 |   127632 |    27844      7 |       92 |      190
777.97/778.10	c  378s |      15 |   744961 |   128432 |    27844      7 |       92 |      190
780.17/780.33	c  380s |      15 |   747136 |   129232 |    27844      7 |       92 |      190
782.27/782.47	c  382s |      15 |   750156 |   129932 |    27844      7 |       92 |      190
784.47/784.64	c  384s |      15 |   752372 |   130632 |    27844      7 |       92 |      190
786.37/786.54	c  386s |      16 |   755647 |   131552 |    27844      7 |       92 |      190
789.27/789.47	c  389s |      16 |   767689 |   131652 |    27844      8 |       92 |      190
791.77/792.00	c  392s |      16 |   769923 |   132052 |    27844      8 |       92 |      190
793.97/794.16	c  394s |      16 |   774680 |   133152 |    30629      8 |       92 |      190
796.17/796.36	c  396s |      16 |   779223 |   134352 |    30629      8 |       92 |      190
798.17/798.38	c  398s |      16 |   782207 |   135252 |    30629      8 |       92 |      190
800.27/800.48	c  400s |      16 |   786848 |   136352 |    30629      8 |       92 |      190
802.37/802.50	c  402s |      16 |   790255 |   137352 |    30629      8 |       92 |      190
810.37/810.54	c  410s |      16 |   794989 |   138452 |    30629      8 |       92 |      190
812.37/812.57	c  412s |      16 |   796086 |   138952 |    30629      8 |       92 |      190
814.47/814.66	c  415s |      16 |   799588 |   139952 |    30629      8 |       92 |      190
816.66/816.82	c  417s |      16 |   803191 |   140952 |    30629      8 |       92 |      190
818.76/818.97	c  419s |      16 |   806742 |   142052 |    30629      8 |       92 |      190
820.86/821.05	c  421s |      16 |   811410 |   143052 |    30629      8 |       92 |      190
822.96/823.15	c  423s |      16 |   814852 |   144052 |    30629      8 |       92 |      190
825.16/825.34	c  425s |      16 |   818316 |   145152 |    30629      8 |       92 |      190
827.17/827.38	c  427s |      16 |   823577 |   146152 |    30629      8 |       92 |      190
829.27/829.47	c  429s |      16 |   827358 |   147352 |    30629      8 |       92 |      190
831.36/831.54	c  431s |      16 |   830597 |   148252 |    30629      8 |       92 |      190
833.36/833.59	c  433s |      16 |   833893 |   149152 |    30629      8 |       92 |      190
835.66/835.80	c  436s |      16 |   837460 |   150252 |    30629      8 |       92 |      190
837.76/837.91	c  438s |      16 |   840809 |   151152 |    30629      8 |       92 |      190
839.76/839.94	c  440s |      16 |   843575 |   152152 |    30629      8 |       92 |      190
841.76/841.98	c  442s |      16 |   846666 |   153152 |    30629      8 |       92 |      190
843.76/843.99	c  444s |      16 |   850086 |   154052 |    30629      8 |       92 |      190
845.86/846.03	c  446s |      16 |   854662 |   155052 |    30629      8 |       92 |      190
847.96/848.17	c  448s |      16 |   857549 |   156052 |    30629      8 |       92 |      190
850.05/850.25	c  450s |      16 |   860751 |   156952 |    30629      8 |       92 |      190
852.15/852.34	c  452s |      16 |   863734 |   157752 |    30629      8 |       92 |      190
854.25/854.49	c  454s |      16 |   866267 |   158552 |    30629      8 |       92 |      190
856.45/856.68	c  457s |      16 |   869562 |   159552 |    30629      8 |       92 |      190
858.86/859.07	c  459s |      16 |   871980 |   160152 |    30629      9 |       92 |      190
861.06/861.26	c  461s |      16 |   875233 |   161152 |    30629      9 |       92 |      190
863.06/863.28	c  463s |      16 |   877688 |   162052 |    30629      9 |       92 |      190
865.16/865.36	c  465s |      16 |   880207 |   162952 |    30629      9 |       92 |      190
867.26/867.49	c  467s |      16 |   884657 |   164052 |    30629      9 |       92 |      190
869.26/869.49	c  469s |      16 |   888252 |   165052 |    30629      9 |       92 |      190
871.46/871.65	c  471s |      16 |   892030 |   166152 |    30629      9 |       92 |      190
873.66/873.85	c  474s |      16 |   895122 |   167152 |    30629      9 |       92 |      190
875.76/875.95	c  476s |      16 |   898110 |   168152 |    30629      9 |       92 |      190
877.86/878.05	c  478s |      16 |   900566 |   169052 |    30629      9 |       92 |      190
879.87/880.06	c  480s |      16 |   903018 |   169952 |    30629      9 |       92 |      190
881.86/882.07	c  482s |      16 |   905452 |   170852 |    30629      9 |       92 |      190
883.95/884.10	c  484s |      16 |   909101 |   171852 |    30629      9 |       92 |      190
886.05/886.26	c  486s |      16 |   912221 |   172952 |    30629      9 |       92 |      190
888.25/888.43	c  488s |      16 |   915490 |   174052 |    30629      9 |       92 |      190
890.25/890.44	c  490s |      16 |   918661 |   175052 |    30629      9 |       92 |      190
892.35/892.60	c  492s |      16 |   921974 |   176052 |    30629      9 |       92 |      190
894.45/894.61	c  494s |      16 |   926005 |   177052 |    30629      9 |       92 |      190
896.46/896.67	c  497s |      16 |   929030 |   178052 |    30629      9 |       92 |      190
898.66/898.83	c  499s |      16 |   931779 |   179052 |    30629      9 |       92 |      190
900.65/900.86	c  501s |      16 |   933787 |   179752 |    30629      9 |       92 |      190
902.65/902.89	c  503s |      16 |   936326 |   180652 |    30629      9 |       92 |      190
904.95/905.15	c  505s |      16 |   938881 |   181552 |    30629      9 |       92 |      190
907.25/907.44	c  507s |      16 |   940865 |   182252 |    30629     10 |       92 |      190
909.44/909.62	c  509s |      16 |   943909 |   183052 |    30629     10 |       92 |      190
911.54/911.79	c  512s |      16 |   946971 |   184052 |    30629     10 |       92 |      190
913.64/913.89	c  514s |      16 |   950148 |   185052 |    30629     10 |       92 |      190
915.84/916.00	c  516s |      16 |   953089 |   185852 |    30629     10 |       92 |      190
918.04/918.22	c  518s |      16 |   955884 |   186652 |    30629     10 |       92 |      190
920.24/920.45	c  520s |      16 |   959083 |   187652 |    30629     10 |       92 |      190
922.34/922.58	c  522s |      16 |   962401 |   188652 |    30629     10 |       92 |      190
924.44/924.62	c  524s |      16 |   966453 |   189552 |    30629     10 |       92 |      190
926.44/926.62	c  526s |      16 |   969982 |   190552 |    30629     10 |       92 |      190
928.44/928.66	c  528s |      16 |   973004 |   191452 |    30629     10 |       92 |      190
930.54/930.74	c  531s |      16 |   976355 |   192352 |    30629     10 |       92 |      190
932.64/932.81	c  533s |      16 |   979387 |   193352 |    30629     10 |       92 |      190
934.74/935.00	c  535s |      16 |   982833 |   194352 |    30629     10 |       92 |      190
936.84/937.07	c  537s |      16 |   987315 |   195352 |    30629     10 |       92 |      190
939.04/939.28	c  539s |      16 |   990325 |   196352 |    30629     10 |       92 |      190
941.33/941.52	c  541s |      16 |   994230 |   197252 |    30629     10 |       92 |      190
941.83/942.06	c  542s |      17 |   994821 |   197432 |    30629     10 |       92 |      190
943.93/944.16	c  544s |      17 |  1007978 |   197932 |    30629     11 |       92 |      190
947.23/947.46	c  547s |      17 |  1010962 |   198932 |    30629     11 |       92 |      190
949.43/949.62	c  549s |      17 |  1013580 |   199832 |    30629     11 |       92 |      190
951.53/951.71	c  552s |      17 |  1015293 |   200332 |    30629     11 |       92 |      190
953.64/953.84	c  554s |      17 |  1019203 |   201432 |    30629     11 |       92 |      190
955.63/955.89	c  556s |      17 |  1022572 |   202432 |    30629     11 |       92 |      190
957.83/958.03	c  558s |      17 |  1025543 |   203432 |    30629     11 |       92 |      190
959.83/960.09	c  560s |      17 |  1028307 |   204432 |    30629     11 |       92 |      190
962.03/962.27	c  562s |      17 |  1031511 |   205532 |    30629     11 |       92 |      190
964.13/964.39	c  564s |      17 |  1034093 |   206432 |    30629     11 |       92 |      190
966.33/966.50	c  566s |      17 |  1038009 |   207532 |    30629     11 |       92 |      190
968.43/968.64	c  568s |      17 |  1041972 |   208632 |    30629     11 |       92 |      190
970.63/970.83	c  571s |      17 |  1044799 |   209732 |    30629     11 |       92 |      190
972.62/972.85	c  573s |      17 |  1048823 |   210732 |    30629     11 |       92 |      190
974.82/975.03	c  575s |      17 |  1052515 |   211832 |    30629     11 |       92 |      190
976.92/977.18	c  577s |      17 |  1055306 |   212732 |    30629     11 |       92 |      190
979.12/979.35	c  579s |      17 |  1058300 |   213732 |    30629     11 |       92 |      190
981.13/981.36	c  581s |      17 |  1061984 |   214632 |    30629     11 |       92 |      190
983.33/983.52	c  583s |      17 |  1065383 |   215732 |    30629     11 |       92 |      190
985.32/985.56	c  585s |      17 |  1067904 |   216632 |    30629     11 |       92 |      190
987.52/987.77	c  588s |      17 |  1070867 |   217632 |    30629     11 |       92 |      190
989.52/989.77	c  590s |      17 |  1073947 |   218632 |    30629     11 |       92 |      190
991.72/991.91	c  592s |      17 |  1077151 |   219632 |    30629     11 |       92 |      190
993.72/993.92	c  594s |      17 |  1079961 |   220532 |    30629     11 |       92 |      190
995.72/995.95	c  596s |      17 |  1082645 |   221532 |    30629     11 |       92 |      190
1000.03/1000.22	c  600s |      17 |  1084978 |   222332 |    30629     12 |       92 |      190
1003.82/1004.02	c  604s |      17 |  1087529 |   223032 |    30629     12 |       92 |      190
1006.02/1006.20	c  606s |      17 |  1091528 |   224032 |    30629     12 |       92 |      190
1008.02/1008.23	c  608s |      17 |  1095438 |   225132 |    30629     12 |       92 |      190
1010.12/1010.31	c  610s |      17 |  1099311 |   226232 |    30629     12 |       92 |      190
1012.22/1012.48	c  612s |      17 |  1103467 |   227232 |    30629     12 |       92 |      190
1014.32/1014.53	c  614s |      17 |  1106888 |   228232 |    30629     12 |       92 |      190
1016.52/1016.73	c  617s |      17 |  1110318 |   229232 |    30629     12 |       92 |      190
1018.62/1018.84	c  619s |      17 |  1114408 |   230232 |    30629     12 |       92 |      190
1020.72/1020.93	c  621s |      17 |  1117462 |   231332 |    30629     12 |       92 |      190
1022.71/1022.94	c  623s |      17 |  1120304 |   232332 |    30629     12 |       92 |      190
1024.91/1025.10	c  625s |      17 |  1124294 |   233332 |    30629     12 |       92 |      190
1026.91/1027.13	c  627s |      17 |  1127360 |   234332 |    30629     12 |       92 |      190
1029.11/1029.36	c  629s |      17 |  1130913 |   235332 |    30629     12 |       92 |      190
1031.21/1031.41	c  631s |      17 |  1133788 |   236232 |    30629     12 |       92 |      190
1033.21/1033.45	c  633s |      17 |  1138037 |   237132 |    30629     12 |       92 |      190
1035.31/1035.58	c  635s |      17 |  1141779 |   238032 |    30629     12 |       92 |      190
1037.41/1037.68	c  638s |      17 |  1144706 |   238932 |    30629     12 |       92 |      190
1039.51/1039.71	c  640s |      17 |  1147609 |   239832 |    30629     12 |       92 |      190
1042.91/1043.14	c  643s |      17 |  1149839 |   240532 |    30629     12 |       92 |      190
1045.11/1045.36	c  645s |      17 |  1152671 |   241532 |    30629     12 |       92 |      190
1047.21/1047.40	c  647s |      17 |  1155172 |   242432 |    30629     12 |       92 |      190
1049.21/1049.47	c  649s |      17 |  1158423 |   243432 |    30629     12 |       92 |      190
1051.61/1051.81	c  652s |      17 |  1160727 |   244032 |    30629     13 |       92 |      190
1053.71/1053.95	c  654s |      17 |  1163761 |   245232 |    30629     13 |       92 |      190
1055.70/1055.97	c  656s |      17 |  1166405 |   246032 |    30629     13 |       92 |      190
1057.80/1058.03	c  658s |      17 |  1170071 |   247032 |    30629     13 |       92 |      190
1059.90/1060.19	c  660s |      17 |  1173889 |   248132 |    30629     13 |       92 |      190
1062.01/1062.30	c  662s |      17 |  1176769 |   249132 |    30629     13 |       92 |      190
1064.21/1064.42	c  664s |      17 |  1180448 |   250032 |    30629     13 |       92 |      190
1066.21/1066.48	c  666s |      17 |  1182996 |   250832 |    30629     13 |       92 |      190
1068.41/1068.67	c  669s |      17 |  1186598 |   251832 |    30629     13 |       92 |      190
1070.61/1070.80	c  671s |      17 |  1189772 |   252832 |    30629     13 |       92 |      190
1072.81/1073.00	c  673s |      17 |  1193402 |   253832 |    30629     13 |       92 |      190
1074.81/1075.01	c  675s |      17 |  1196967 |   254832 |    30629     13 |       92 |      190
1076.90/1077.11	c  677s |      17 |  1199585 |   255732 |    30629     13 |       92 |      190
1079.01/1079.26	c  679s |      17 |  1203007 |   256732 |    30629     13 |       92 |      190
1081.11/1081.38	c  681s |      17 |  1206000 |   257632 |    30629     13 |       92 |      190
1083.31/1083.54	c  683s |      17 |  1209709 |   258632 |    30629     13 |       92 |      190
1085.40/1085.69	c  686s |      17 |  1213058 |   259732 |    30629     13 |       92 |      190
1087.50/1087.70	c  688s |      17 |  1215549 |   260632 |    30629     13 |       92 |      190
1089.70/1089.90	c  690s |      17 |  1218533 |   261632 |    30629     13 |       92 |      190
1091.80/1092.04	c  692s |      17 |  1222088 |   262732 |    30629     13 |       92 |      190
1094.00/1094.20	c  694s |      17 |  1225562 |   263732 |    30629     13 |       92 |      190
1096.10/1096.37	c  696s |      17 |  1230110 |   264832 |    30629     13 |       92 |      190
1098.20/1098.45	c  698s |      17 |  1233838 |   265732 |    30629     13 |       92 |      190
1100.30/1100.55	c  700s |      17 |  1235064 |   266132 |    30629     14 |       92 |      190
1102.39/1102.66	c  703s |      17 |  1237542 |   266832 |    30629     14 |       92 |      190
1104.39/1104.69	c  705s |      17 |  1240274 |   267632 |    30629     14 |       92 |      190
1106.50/1106.74	c  707s |      17 |  1243501 |   268732 |    30629     14 |       92 |      190
1108.60/1108.85	c  709s |      17 |  1247471 |   269832 |    30629     14 |       92 |      190
1110.69/1110.97	c  711s |      17 |  1251898 |   271132 |    30629     14 |       92 |      190
1112.79/1113.09	c  713s |      17 |  1257163 |   272332 |    30629     14 |       92 |      190
1114.89/1115.14	c  715s |      17 |  1260853 |   273432 |    30629     14 |       92 |      190
1116.99/1117.23	c  717s |      17 |  1263796 |   274532 |    30629     14 |       92 |      190
1119.09/1119.39	c  719s |      17 |  1266809 |   275732 |    30629     14 |       92 |      190
1121.39/1121.61	c  721s |      17 |  1270525 |   276932 |    30629     14 |       92 |      190
1123.49/1123.73	c  724s |      17 |  1273711 |   278032 |    30629     14 |       92 |      190
1125.79/1126.01	c  726s |      17 |  1276267 |   278932 |    30629     14 |       92 |      190
1127.79/1128.02	c  728s |      17 |  1278200 |   279832 |    30629     14 |       92 |      190
1129.89/1130.18	c  730s |      17 |  1281593 |   280832 |    33692     14 |       92 |      190
1131.98/1132.25	c  732s |      17 |  1284956 |   281832 |    33692     14 |       92 |      190
1134.08/1134.30	c  734s |      17 |  1287794 |   282832 |    33692     14 |       92 |      190
1136.09/1136.31	c  736s |      17 |  1291216 |   283832 |    33692     14 |       92 |      190
1138.08/1138.37	c  738s |      17 |  1294209 |   284832 |    33692     14 |       92 |      190
1140.18/1140.48	c  740s |      17 |  1299389 |   286032 |    33692     14 |       92 |      190
1142.28/1142.50	c  742s |      17 |  1302309 |   287032 |    33692     14 |       92 |      190
1144.28/1144.53	c  744s |      17 |  1305467 |   288132 |    33692     14 |       92 |      190
1146.28/1146.55	c  746s |      17 |  1308747 |   289032 |    33692     14 |       92 |      190
1148.48/1148.73	c  749s |      17 |  1312269 |   290132 |    33692     14 |       92 |      190
1150.68/1150.98	c  751s |      17 |  1314458 |   290832 |    33692     15 |       92 |      190
1152.87/1153.15	c  753s |      17 |  1318048 |   291832 |    33692     15 |       92 |      190
1154.88/1155.18	c  755s |      17 |  1321189 |   292832 |    33692     15 |       92 |      190
1156.98/1157.27	c  757s |      17 |  1323863 |   293932 |    33692     15 |       92 |      190
1159.07/1159.37	c  759s |      17 |  1326502 |   294932 |    33692     15 |       92 |      190
1161.27/1161.57	c  761s |      17 |  1329892 |   295932 |    33692     15 |       92 |      190
1162.27/1162.58	c  762s |      18 |  1330807 |   296252 |    33692     15 |       92 |      190
1164.47/1164.74	c  765s |      18 |  1345103 |   297152 |    33692     15 |       92 |      190
1166.57/1166.84	c  767s |      18 |  1348753 |   298152 |    33692     15 |       92 |      190
1168.67/1168.93	c  769s |      18 |  1351358 |   299052 |    33692     15 |       92 |      190
1170.87/1171.10	c  771s |      18 |  1354329 |   300152 |    33692     15 |       92 |      190
1172.87/1173.16	c  773s |      18 |  1356978 |   301152 |    33692     15 |       92 |      190
1174.97/1175.21	c  775s |      18 |  1359942 |   302152 |    33692     15 |       92 |      190
1176.97/1177.22	c  777s |      18 |  1362724 |   303052 |    33692     15 |       92 |      190
1178.98/1179.24	c  779s |      18 |  1365213 |   303952 |    33692     15 |       92 |      190
1180.97/1181.29	c  781s |      18 |  1368098 |   304852 |    33692     15 |       92 |      190
1183.07/1183.35	c  783s |      18 |  1370574 |   305752 |    33692     15 |       92 |      190
1185.17/1185.48	c  785s |      18 |  1372693 |   306752 |    33692     15 |       92 |      190
1187.17/1187.49	c  787s |      18 |  1375018 |   307652 |    33692     15 |       92 |      190
1189.37/1189.63	c  789s |      18 |  1378350 |   308652 |    33692     15 |       92 |      190
1191.37/1191.68	c  792s |      18 |  1381623 |   309552 |    33692     15 |       92 |      190
1193.47/1193.72	c  794s |      18 |  1384716 |   310352 |    33692     15 |       92 |      190
1197.87/1198.14	c  798s |      18 |  1385511 |   310552 |    33692     15 |       92 |      190
1200.07/1200.36	c  800s |      18 |  1388210 |   311452 |    33692     15 |       92 |      190
1202.27/1202.54	c  802s |      18 |  1390861 |   312252 |    33692     15 |       92 |      190
1205.06/1205.36	c  805s |      18 |  1391547 |   312452 |    33692     15 |       92 |      190
1207.57/1207.86	c  808s |      18 |  1394122 |   313352 |    33692     15 |       92 |      190
1210.36/1210.60	c  810s |      18 |  1396494 |   314052 |    33692     16 |       92 |      190
1215.15/1215.46	c  815s |      18 |  1398411 |   314752 |    33692     16 |       92 |      190
1217.35/1217.62	c  817s |      18 |  1402248 |   315852 |    33692     16 |       92 |      190
1219.45/1219.73	c  820s |      18 |  1404858 |   316752 |    33692     16 |       92 |      190
1221.45/1221.78	c  822s |      18 |  1407454 |   317652 |    33692     16 |       92 |      190
1223.65/1223.98	c  824s |      18 |  1411043 |   318752 |    33692     16 |       92 |      190
1225.85/1226.17	c  826s |      18 |  1413431 |   319552 |    33692     16 |       92 |      190
1227.95/1228.26	c  828s |      18 |  1416807 |   320552 |    33692     16 |       92 |      190
1230.05/1230.37	c  830s |      18 |  1420111 |   321552 |    33692     16 |       92 |      190
1232.15/1232.40	c  832s |      18 |  1423363 |   322452 |    33692     16 |       92 |      190
1234.15/1234.45	c  834s |      18 |  1426191 |   323452 |    33692     16 |       92 |      190
1236.26/1236.53	c  836s |      18 |  1429059 |   324552 |    33692     16 |       92 |      190
1238.36/1238.61	c  838s |      18 |  1431516 |   325452 |    33692     16 |       92 |      190
1240.45/1240.77	c  841s |      18 |  1435102 |   326552 |    33692     16 |       92 |      190
1242.65/1242.95	c  843s |      18 |  1437912 |   327552 |    33692     16 |       92 |      190
1244.84/1245.13	c  845s |      18 |  1441942 |   328652 |    33692     16 |       92 |      190
1246.94/1247.27	c  847s |      18 |  1445217 |   329752 |    33692     16 |       92 |      190
1248.94/1249.27	c  849s |      18 |  1448479 |   330852 |    33692     16 |       92 |      190
1251.14/1251.46	c  851s |      18 |  1451623 |   331852 |    33692     16 |       92 |      190
1253.44/1253.70	c  854s |      18 |  1453863 |   332752 |    33692     16 |       92 |      190
1255.44/1255.79	c  856s |      18 |  1456558 |   333652 |    33692     16 |       92 |      190
1257.64/1257.98	c  858s |      18 |  1459406 |   334552 |    33692     16 |       92 |      190
1259.84/1260.17	c  860s |      18 |  1462471 |   335552 |    33692     16 |       92 |      190
1262.04/1262.32	c  862s |      18 |  1465715 |   336452 |    33692     16 |       92 |      190
1264.14/1264.44	c  864s |      18 |  1467725 |   337152 |    33692     17 |       92 |      190
1266.34/1266.62	c  866s |      18 |  1469742 |   337852 |    33692     17 |       92 |      190
1268.54/1268.82	c  869s |      18 |  1473212 |   338952 |    33692     17 |       92 |      190
1270.54/1270.87	c  871s |      18 |  1477019 |   339952 |    33692     17 |       92 |      190
1272.64/1272.99	c  873s |      18 |  1480288 |   340952 |    33692     17 |       92 |      190
1274.84/1275.14	c  875s |      18 |  1483236 |   342052 |    33692     17 |       92 |      190
1276.95/1277.27	c  877s |      18 |  1485979 |   343252 |    33692     17 |       92 |      190
1279.05/1279.33	c  879s |      18 |  1489237 |   344252 |    33692     17 |       92 |      190
1281.04/1281.35	c  881s |      18 |  1492999 |   345352 |    33692     17 |       92 |      190
1283.04/1283.39	c  883s |      18 |  1495818 |   346352 |    33692     17 |       92 |      190
1285.14/1285.44	c  885s |      18 |  1498597 |   347252 |    33692     17 |       92 |      190
1287.24/1287.54	c  887s |      18 |  1502128 |   348252 |    33692     17 |       92 |      190
1289.34/1289.62	c  889s |      18 |  1505347 |   349252 |    33692     17 |       92 |      190
1295.13/1295.44	c  895s |      18 |  1506033 |   349452 |    33692     17 |       92 |      190
1297.43/1297.71	c  898s |      18 |  1509623 |   350452 |    33692     17 |       92 |      190
1299.53/1299.85	c  900s |      18 |  1512939 |   351452 |    33692     17 |       92 |      190
1301.73/1302.02	c  902s |      18 |  1516870 |   352452 |    33692     17 |       92 |      190
1303.83/1304.17	c  904s |      18 |  1520516 |   353452 |    33692     17 |       92 |      190
1306.03/1306.35	c  906s |      18 |  1524136 |   354352 |    33692     17 |       92 |      190
1308.03/1308.37	c  908s |      18 |  1527439 |   355252 |    33692     17 |       92 |      190
1310.13/1310.41	c  910s |      18 |  1530444 |   356252 |    33692     17 |       92 |      190
1312.23/1312.52	c  912s |      18 |  1533657 |   357152 |    33692     17 |       92 |      190
1314.43/1314.74	c  915s |      18 |  1537985 |   358152 |    33692     17 |       92 |      190
1316.54/1316.81	c  917s |      18 |  1542089 |   359152 |    33692     17 |       92 |      190
1318.64/1318.96	c  919s |      18 |  1545463 |   360152 |    33692     17 |       92 |      190
1320.83/1321.14	c  921s |      18 |  1547586 |   360852 |    33692     18 |       92 |      190
1337.92/1338.27	c  938s |      18 |  1548395 |   361052 |    33692     18 |       92 |      190
1340.02/1340.36	c  940s |      18 |  1551520 |   362052 |    33692     18 |       92 |      190
1342.12/1342.48	c  942s |      18 |  1555123 |   363152 |    33692     18 |       92 |      190
1344.32/1344.61	c  944s |      18 |  1558792 |   364252 |    33692     18 |       92 |      190
1346.42/1346.77	c  947s |      18 |  1561400 |   365152 |    33692     18 |       92 |      190
1348.62/1348.98	c  949s |      18 |  1564616 |   366252 |    33692     18 |       92 |      190
1350.82/1351.13	c  951s |      18 |  1567129 |   367252 |    33692     18 |       92 |      190
1352.83/1353.19	c  953s |      18 |  1570691 |   368352 |    33692     18 |       92 |      190
1354.93/1355.23	c  955s |      18 |  1574049 |   369452 |    33692     18 |       92 |      190
1356.92/1357.28	c  957s |      18 |  1578181 |   370552 |    33692     18 |       92 |      190
1359.02/1359.35	c  959s |      18 |  1582234 |   371552 |    33692     18 |       92 |      190
1361.12/1361.48	c  961s |      18 |  1586101 |   372552 |    33692     18 |       92 |      190
1363.42/1363.74	c  964s |      18 |  1590079 |   373552 |    33692     18 |       92 |      190
1365.52/1365.81	c  966s |      18 |  1592480 |   374552 |    33692     18 |       92 |      190
1367.52/1367.85	c  968s |      18 |  1595555 |   375552 |    33692     18 |       92 |      190
1369.51/1369.86	c  970s |      18 |  1599023 |   376552 |    33692     18 |       92 |      190
1371.61/1371.94	c  972s |      18 |  1601740 |   377652 |    33692     18 |       92 |      190
1373.81/1374.12	c  974s |      18 |  1606237 |   378752 |    33692     18 |       92 |      190
1375.92/1376.27	c  976s |      18 |  1610384 |   379852 |    33692     18 |       92 |      190
1378.02/1378.34	c  978s |      18 |  1614697 |   380852 |    33692     18 |       92 |      190
1380.11/1380.41	c  980s |      18 |  1619169 |   381852 |    33692     18 |       92 |      190
1382.11/1382.46	c  982s |      18 |  1622544 |   382852 |    33692     18 |       92 |      190
1384.41/1384.74	c  985s |      18 |  1626833 |   383852 |    33692     19 |       92 |      190
1386.71/1387.02	c  987s |      18 |  1629441 |   384752 |    33692     19 |       92 |      190
1388.91/1389.20	c  989s |      18 |  1633484 |   385852 |    33692     19 |       92 |      190
1390.91/1391.21	c  991s |      18 |  1637552 |   386852 |    33692     19 |       92 |      190
1392.91/1393.24	c  993s |      18 |  1640855 |   387852 |    33692     19 |       92 |      190
1395.01/1395.30	c  995s |      18 |  1644068 |   388852 |    33692     19 |       92 |      190
1397.11/1397.47	c  997s |      18 |  1646404 |   389852 |    33692     19 |       92 |      190
1399.31/1399.62	c  999s |      18 |  1649085 |   390852 |    33692     19 |       92 |      190
1401.31/1401.65	c 1001s |      18 |  1651849 |   391852 |    33692     19 |       92 |      190
1403.60/1403.92	c 1004s |      18 |  1655797 |   392852 |    33692     19 |       92 |      190
1405.61/1405.99	c 1006s |      18 |  1660163 |   393852 |    33692     19 |       92 |      190
1407.71/1408.05	c 1008s |      18 |  1664125 |   394852 |    33692     19 |       92 |      190
1409.91/1410.26	c 1010s |      18 |  1666932 |   395852 |    33692     19 |       92 |      190
1412.50/1412.85	c 1013s |      18 |  1670491 |   396852 |    33692     19 |       92 |      190
1414.50/1414.88	c 1015s |      18 |  1672039 |   397452 |    33692     19 |       92 |      190
1416.90/1417.23	c 1017s |      18 |  1675078 |   398452 |    33692     19 |       92 |      190
1419.10/1419.48	c 1019s |      18 |  1677105 |   399152 |    33692     19 |       92 |      190
1421.30/1421.69	c 1022s |      18 |  1680170 |   400152 |    33692     19 |       92 |      190
1423.40/1423.72	c 1024s |      18 |  1683158 |   401052 |    33692     19 |       92 |      190
1425.41/1425.77	c 1026s |      18 |  1687066 |   402052 |    33692     19 |       92 |      190
1427.51/1427.87	c 1028s |      18 |  1690043 |   403052 |    33692     19 |       92 |      190
1429.60/1429.94	c 1030s |      18 |  1693450 |   404152 |    33692     19 |       92 |      190
1431.70/1432.00	c 1032s |      18 |  1697428 |   405252 |    33692     19 |       92 |      190
1433.79/1434.11	c 1034s |      18 |  1698902 |   405852 |    33692     19 |       92 |      190
1435.79/1436.15	c 1036s |      18 |  1702376 |   406852 |    33692     19 |       92 |      190
1437.99/1438.36	c 1038s |      18 |  1704751 |   407652 |    33692     20 |       92 |      190
1440.00/1440.38	c 1040s |      18 |  1707108 |   408352 |    33692     20 |       92 |      190
1442.10/1442.41	c 1042s |      18 |  1709045 |   408952 |    33692     20 |       92 |      190
1444.10/1444.44	c 1044s |      18 |  1713471 |   409852 |    33692     20 |       92 |      190
1446.20/1446.55	c 1046s |      18 |  1717336 |   410852 |    33692     20 |       92 |      190
1448.40/1448.70	c 1049s |      18 |  1721010 |   411952 |    33692     20 |       92 |      190
1450.40/1450.73	c 1051s |      18 |  1724066 |   412952 |    33692     20 |       92 |      190
1452.39/1452.75	c 1053s |      18 |  1727234 |   413952 |    33692     20 |       92 |      190
1454.49/1454.88	c 1055s |      18 |  1730147 |   414952 |    33692     20 |       92 |      190
1456.59/1457.00	c 1057s |      18 |  1733763 |   416052 |    33692     20 |       92 |      190
1458.79/1459.14	c 1059s |      18 |  1737194 |   417052 |    33692     20 |       92 |      190
1460.79/1461.19	c 1061s |      18 |  1740293 |   418052 |    33692     20 |       92 |      190
1462.99/1463.33	c 1063s |      18 |  1745852 |   419052 |    33692     20 |       92 |      190
1465.00/1465.36	c 1065s |      18 |  1749480 |   419952 |    33692     20 |       92 |      190
1467.20/1467.55	c 1067s |      18 |  1753714 |   420952 |    33692     20 |       92 |      190
1474.28/1474.65	c 1074s |      18 |  1756531 |   421452 |    33692     20 |       92 |      190
1476.38/1476.78	c 1077s |      18 |  1760191 |   422452 |    33692     20 |       92 |      190
1478.68/1479.00	c 1079s |      18 |  1763630 |   423352 |    33692     20 |       92 |      190
1480.78/1481.16	c 1081s |      18 |  1767679 |   424352 |    33692     20 |       92 |      190
1482.78/1483.18	c 1083s |      18 |  1770996 |   425352 |    33692     20 |       92 |      190
1484.88/1485.27	c 1085s |      18 |  1774037 |   426352 |    33692     20 |       92 |      190
1487.18/1487.52	c 1087s |      18 |  1778166 |   427352 |    33692     20 |       92 |      190
1489.28/1489.61	c 1089s |      18 |  1781687 |   428252 |    33692     20 |       92 |      190
1491.39/1491.74	c 1092s |      18 |  1785325 |   429252 |    33692     20 |       92 |      190
1493.49/1493.83	c 1094s |      18 |  1787749 |   430152 |    33692     20 |       92 |      190
1495.99/1496.37	c 1096s |      18 |  1788986 |   430452 |    33692     21 |       92 |      190
1498.09/1498.45	c 1098s |      18 |  1792381 |   431452 |    33692     21 |       92 |      190
1500.29/1500.61	c 1100s |      18 |  1795643 |   432452 |    33692     21 |       92 |      190
1502.29/1502.66	c 1103s |      18 |  1799118 |   433452 |    33692     21 |       92 |      190
1504.38/1504.72	c 1105s |      18 |  1802382 |   434552 |    33692     21 |       92 |      190
1506.48/1506.87	c 1107s |      18 |  1806004 |   435752 |    33692     21 |       92 |      190
1508.58/1508.96	c 1109s |      18 |  1809303 |   436752 |    33692     21 |       92 |      190
1510.68/1511.04	c 1111s |      18 |  1813756 |   437852 |    33692     21 |       92 |      190
1512.68/1513.05	c 1113s |      18 |  1817136 |   438852 |    33692     21 |       92 |      190
1514.88/1515.21	c 1115s |      18 |  1820619 |   439852 |    33692     21 |       92 |      190
1517.38/1517.74	c 1118s |      18 |  1824505 |   440852 |    33692     21 |       92 |      190
1519.78/1520.12	c 1120s |      18 |  1828104 |   441752 |    33692     21 |       92 |      190
1521.88/1522.24	c 1122s |      18 |  1830926 |   442652 |    33692     21 |       92 |      190
1523.98/1524.31	c 1124s |      18 |  1834269 |   443552 |    33692     21 |       92 |      190
1526.08/1526.45	c 1126s |      19 |  1837016 |   444482 |    33692     21 |       92 |      190
1529.48/1529.82	c 1130s |      19 |  1850077 |   444982 |    33692     22 |       92 |      190
1531.58/1531.95	c 1132s |      19 |  1852915 |   445882 |    33692     22 |       92 |      190
1533.88/1534.21	c 1134s |      19 |  1856097 |   446882 |    33692     22 |       92 |      190
1535.98/1536.36	c 1136s |      19 |  1860750 |   448082 |    33692     22 |       92 |      190
1539.78/1540.13	c 1140s |      19 |  1862832 |   448482 |    33692     22 |       92 |      190
1541.77/1542.14	c 1142s |      19 |  1867465 |   449682 |    33692     22 |       92 |      190
1543.77/1544.18	c 1144s |      19 |  1871620 |   450782 |    33692     22 |       92 |      190
1545.87/1546.28	c 1146s |      19 |  1876582 |   451982 |    33692     22 |       92 |      190
1547.97/1548.39	c 1148s |      19 |  1880609 |   453082 |    33692     22 |       92 |      190
1551.57/1551.90	c 1152s |      19 |  1881070 |   453182 |    33692     22 |       92 |      190
1553.67/1554.08	c 1154s |      19 |  1884835 |   454182 |    33692     22 |       92 |      190
1555.77/1556.17	c 1156s |      19 |  1888650 |   454982 |    33692     22 |       92 |      190
1557.87/1558.23	c 1158s |      19 |  1890720 |   455682 |    33692     22 |       92 |      190
1559.87/1560.27	c 1160s |      19 |  1894389 |   456482 |    33692     22 |       92 |      190
1562.07/1562.46	c 1162s |      19 |  1898433 |   457382 |    33692     22 |       92 |      190
1564.17/1564.51	c 1164s |      19 |  1901641 |   458282 |    33692     22 |       92 |      190
1566.27/1566.61	c 1166s |      19 |  1904556 |   459282 |    33692     22 |       92 |      190
1568.28/1568.70	c 1169s |      19 |  1908546 |   460182 |    33692     22 |       92 |      190
1570.58/1570.93	c 1171s |      19 |  1911166 |   461082 |    33692     22 |       92 |      190
1572.68/1573.03	c 1173s |      19 |  1914276 |   461882 |    33692     22 |       92 |      190
1574.87/1575.22	c 1175s |      19 |  1916842 |   462682 |    33692     22 |       92 |      190
1576.87/1577.22	c 1177s |      19 |  1920128 |   463582 |    33692     22 |       92 |      190
1578.97/1579.37	c 1179s |      19 |  1923255 |   464482 |    33692     22 |       92 |      190
1581.17/1581.55	c 1181s |      19 |  1926318 |   465382 |    33692     22 |       92 |      190
1583.27/1583.66	c 1184s |      19 |  1930031 |   466282 |    33692     22 |       92 |      190
1585.37/1585.75	c 1186s |      19 |  1933290 |   467082 |    33692     22 |       92 |      190
1587.47/1587.80	c 1188s |      19 |  1934657 |   467782 |    33692     22 |       92 |      190
1589.57/1589.92	c 1190s |      19 |  1936863 |   468482 |    33692     22 |       92 |      190
1591.67/1592.03	c 1192s |      19 |  1940490 |   469382 |    33692     22 |       92 |      190
1593.76/1594.18	c 1194s |      19 |  1942593 |   470182 |    33692     22 |       92 |      190
1595.96/1596.34	c 1196s |      19 |  1946241 |   471182 |    33692     22 |       92 |      190
1597.97/1598.37	c 1198s |      19 |  1948745 |   471882 |    33692     22 |       92 |      190
1600.06/1600.49	c 1200s |      19 |  1951016 |   472682 |    33692     23 |       92 |      190
1602.16/1602.59	c 1202s |      19 |  1953592 |   473382 |    33692     23 |       92 |      190
1604.46/1604.83	c 1205s |      19 |  1956045 |   474182 |    33692     23 |       92 |      190
1606.56/1606.99	c 1207s |      19 |  1959507 |   475082 |    33692     23 |       92 |      190
1608.66/1609.02	c 1209s |      19 |  1962636 |   475882 |    33692     23 |       92 |      190
1610.66/1611.02	c 1211s |      19 |  1965545 |   476582 |    33692     23 |       92 |      190
1612.76/1613.15	c 1213s |      19 |  1968372 |   477482 |    33692     23 |       92 |      190
1615.06/1615.45	c 1215s |      19 |  1971855 |   478282 |    33692     23 |       92 |      190
1617.36/1617.78	c 1218s |      19 |  1973812 |   478882 |    33692     23 |       92 |      190
1619.56/1619.91	c 1220s |      19 |  1976124 |   479682 |    33692     23 |       92 |      190
1621.66/1622.07	c 1222s |      19 |  1978151 |   480382 |    33692     23 |       92 |      190
1623.96/1624.32	c 1224s |      19 |  1981434 |   481282 |    33692     23 |       92 |      190
1626.06/1626.44	c 1226s |      19 |  1983872 |   482082 |    33692     23 |       92 |      190
1628.26/1628.61	c 1228s |      19 |  1987991 |   483082 |    33692     23 |       92 |      190
1630.27/1630.69	c 1231s |      19 |  1993431 |   483882 |    33692     23 |       92 |      190
1633.06/1633.49	c 1233s |      19 |  1994500 |   484282 |    33692     23 |       92 |      190
1636.06/1636.44	c 1236s |      19 |  1995182 |   484582 |    33692     23 |       92 |      190
1638.37/1638.71	c 1239s |      19 |  1996140 |   484882 |    33692     23 |       92 |      190
1640.87/1641.25	c 1241s |      19 |  1998137 |   485282 |    33692     23 |       92 |      190
1643.56/1643.91	c 1244s |      19 |  1999069 |   485582 |    33692     23 |       92 |      190
1646.26/1646.64	c 1246s |      19 |  1999579 |   485882 |    33692     23 |       92 |      190
1648.96/1649.30	c 1249s |      19 |  2000319 |   486182 |    33692     23 |       92 |      190
1651.16/1651.50	c 1251s |      19 |  2000700 |   486382 |    33692     23 |       92 |      190
1653.96/1654.31	c 1254s |      19 |  2001549 |   486682 |    33692     23 |       92 |      190
1655.96/1656.34	c 1256s |      19 |  2002038 |   486882 |    33692     23 |       92 |      190
1658.26/1658.60	c 1258s |      19 |  2002386 |   487082 |    33692     23 |       92 |      190
1661.26/1661.69	c 1262s |      19 |  2002765 |   487382 |    33692     23 |       92 |      190
1663.86/1664.23	c 1264s |      19 |  2003178 |   487582 |    33692     23 |       92 |      190
1666.16/1666.59	c 1266s |      19 |  2003495 |   487782 |    33692     23 |       92 |      190
1669.05/1669.40	c 1269s |      19 |  2003832 |   487982 |    33692     23 |       92 |      190
1671.67/1672.07	c 1272s |      19 |  2004380 |   488182 |    33692     23 |       92 |      190
1674.36/1674.78	c 1275s |      19 |  2005269 |   488382 |    33692     23 |       92 |      190
1677.17/1677.51	c 1277s |      19 |  2005736 |   488582 |    33692     23 |       92 |      190
1679.66/1680.06	c 1280s |      19 |  2007118 |   488782 |    33692     23 |       92 |      190
1681.86/1682.27	c 1282s |      19 |  2033740 |   489182 |    33692     24 |       92 |      190
1683.95/1684.31	c 1284s |      19 |  2041627 |   489782 |    33692     24 |       92 |      190
1686.26/1686.62	c 1286s |      19 |  2042677 |   490482 |    33692     24 |       92 |      190
1688.26/1688.64	c 1288s |      19 |  2043280 |   490982 |    33692     24 |       92 |      190
1690.55/1690.98	c 1291s |      19 |  2043971 |   491582 |    33692     24 |       92 |      190
1692.76/1693.14	c 1293s |      19 |  2044613 |   492082 |    33692     24 |       92 |      190
1694.76/1695.19	c 1295s |      19 |  2045253 |   492582 |    33692     24 |       92 |      190
1697.06/1697.43	c 1297s |      19 |  2045908 |   493082 |    33692     24 |       92 |      190
1699.36/1699.72	c 1300s |      19 |  2046463 |   493582 |    33692     24 |       92 |      190
1701.36/1701.77	c 1302s |      19 |  2046953 |   493982 |    33692     24 |       92 |      190
1703.75/1704.12	c 1304s |      19 |  2047546 |   494482 |    33692     24 |       92 |      190
1706.05/1706.41	c 1306s |      19 |  2047940 |   494882 |    33692     24 |       92 |      190
1708.15/1708.52	c 1308s |      19 |  2048461 |   495282 |    33692     24 |       92 |      190
1710.35/1710.75	c 1311s |      19 |  2048984 |   495682 |    33692     24 |       92 |      190
1712.55/1712.90	c 1313s |      19 |  2049530 |   496082 |    33692     24 |       92 |      190
1714.95/1715.37	c 1315s |      19 |  2050093 |   496582 |    33692     24 |       92 |      190
1717.45/1717.83	c 1318s |      19 |  2070274 |   497082 |    33692     24 |       92 |      190
1720.16/1720.56	c 1320s |      19 |  2103509 |   497582 |    33692     24 |       92 |      190
1722.45/1722.86	c 1323s |      19 |  2104707 |   497882 |    33692     24 |       92 |      190
1724.75/1725.10	c 1325s |      19 |  2105368 |   498182 |    33692     24 |       92 |      190
1727.04/1727.42	c 1327s |      19 |  2106624 |   498582 |    33692     24 |       92 |      190
1729.35/1729.71	c 1330s |      19 |  2114208 |   498882 |    33692     24 |       92 |      190
1732.05/1732.41	c 1332s |      19 |  2118063 |   499182 |    33692     24 |       92 |      190
1734.25/1734.64	c 1334s |      19 |  2119048 |   499482 |    33692     24 |       92 |      190
1736.44/1736.83	c 1337s |      19 |  2119899 |   499782 |    33692     24 |       92 |      190
1739.05/1739.43	c 1339s |      19 |  2124941 |   500382 |    33692     24 |       92 |      190
1744.74/1745.12	c 1345s |      19 |  2127071 |   500882 |    33692     24 |       92 |      190
1747.15/1747.53	c 1347s |      19 |  2128249 |   501182 |    37062     24 |       92 |      190
1749.25/1749.61	c 1349s |      19 |  2131606 |   502082 |    37062     24 |       92 |      190
1751.24/1751.62	c 1351s |      19 |  2134939 |   502782 |    37062     24 |       92 |      190
1753.34/1753.78	c 1354s |      19 |  2137261 |   503182 |    37062     24 |       92 |      190
1755.64/1756.09	c 1356s |      19 |  2141063 |   503782 |    37062     24 |       92 |      190
1757.74/1758.18	c 1358s |      19 |  2143231 |   504382 |    37062     24 |       92 |      190
1760.14/1760.51	c 1360s |      19 |  2146277 |   505082 |    37062     24 |       92 |      190
1762.24/1762.65	c 1362s |      19 |  2150451 |   505682 |    37062     24 |       92 |      190
1764.24/1764.69	c 1365s |      19 |  2152552 |   506282 |    37062     24 |       92 |      190
1766.64/1767.03	c 1367s |      19 |  2153397 |   506782 |    37062     24 |       92 |      190
1768.64/1769.03	c 1369s |      19 |  2156156 |   507382 |    37062     24 |       92 |      190
1770.75/1771.18	c 1371s |      19 |  2159988 |   508082 |    37062     24 |       92 |      190
1772.85/1773.23	c 1373s |      19 |  2163344 |   508882 |    37062     24 |       92 |      190
1775.05/1775.41	c 1375s |      19 |  2166829 |   509782 |    37062     24 |       92 |      190
1777.25/1777.69	c 1378s |      19 |  2171264 |   510582 |    37062     24 |       92 |      190
1779.55/1779.98	c 1380s |      19 |  2174851 |   511482 |    37062     24 |       92 |      190
1781.75/1782.16	c 1382s |      19 |  2177731 |   512282 |    37062     24 |       92 |      190
1783.95/1784.33	c 1384s |      19 |  2181071 |   513082 |    37062     24 |       92 |      190
1785.94/1786.35	c 1386s |      19 |  2185142 |   514082 |    37062     24 |       92 |      190
1787.94/1788.36	c 1388s |      19 |  2188111 |   514882 |    37062     24 |       92 |      190
1790.04/1790.50	c 1390s |      19 |  2190947 |   515682 |    37062     24 |       92 |      190
1792.14/1792.52	c 1392s |      19 |  2193313 |   516482 |    37062     24 |       92 |      190
1794.34/1794.71	c 1395s |      19 |  2196441 |   517282 |    37062     24 |       92 |      190
1796.44/1796.88	c 1397s |      19 |  2199466 |   517982 |    37062     24 |       92 |      190
1798.74/1799.13	c 1399s |      19 |  2202602 |   518982 |    37062     24 |       92 |      190

ERROR: no interpretation found !

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-4100281-1466212136/watcher-4100281-1466212136 -o /tmp/evaluation-result-4100281-1466212136/solver-4100281-1466212136 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15197 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100281-1466212136.opb 

pid=16740
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.39 2.37 2.30 3/180 16743
/proc/meminfo: memFree=29269592/32872528 swapFree=1431120/1543540
[pid=16743] ppid=16740 vsize=701884 CPUtime=0 cores=1,3,5,7
/proc/16743/stat : 16743 (toysat) R 16740 16743 15180 0 -1 4202496 2613 0 0 0 0 0 0 0 20 0 4 0 23262375 718729216 2974 33554432000 4194304 16246674 140737194412704 140737194412128 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16743/statm: 176239 2983 441 2943 0 173133 0
[pid=16743/tid=16744] ppid=16740 vsize=719292 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (toysat) S 16740 16743 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23262375 736555008 3043 33554432000 4194304 16246674 140737194412704 140386563501296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16743/tid=16745] ppid=16740 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (toysat) S 16740 16743 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23262375 741797888 3062 33554432000 4194304 16246674 140737194412704 140386553011440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16743/tid=16746] ppid=16740 vsize=728508 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (toysat) S 16740 16743 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23262375 745992192 3079 33554432000 4194304 16246674 140737194412704 140386542537904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.39 2.37 2.30 3/180 16743
/proc/meminfo: memFree=29269592/32872528 swapFree=1431120/1543540
[pid=16743] ppid=16740 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/16743/stat : 16743 (toysat) R 16740 16743 15180 0 -1 4202496 27718 0 0 0 4 5 0 0 20 0 4 0 23262375 1333334016 28017 33554432000 4194304 16246674 140737194412704 140737194412016 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16743/statm: 325521 28032 798 2943 0 322415 0
[pid=16743/tid=16744] ppid=16740 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (toysat) S 16740 16743 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23262375 1333334016 28044 33554432000 4194304 16246674 140737194412704 140386563501296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16743/tid=16745] ppid=16740 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (toysat) S 16740 16743 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23262375 1333334016 28055 33554432000 4194304 16246674 140737194412704 140386553011440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16743/tid=16746] ppid=16740 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (toysat) S 16740 16743 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23262375 1333334016 28067 33554432000 4194304 16246674 140737194412704 140386542537904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200543 s]
/proc/loadavg: 2.39 2.37 2.30 3/180 16743
/proc/meminfo: memFree=29269592/32872528 swapFree=1431120/1543540
[pid=16743] ppid=16740 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/16743/stat : 16743 (toysat) R 16740 16743 15180 0 -1 4202496 47183 0 0 0 12 7 0 0 20 0 4 0 23262375 1344868352 47992 33554432000 4194304 16246674 140737194412704 140737194412016 8056982 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16743/statm: 328337 47992 799 2943 0 325231 0
[pid=16743/tid=16744] ppid=16740 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (toysat) S 16740 16743 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23262375 1344868352 47992 33554432000 4194304 16246674 140737194412704 140386563501296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16743/tid=16745] ppid=16740 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (toysat) S 16740 16743 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23262375 1344868352 47992 33554432000 4194304 16246674 140737194412704 140386553011440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16743/tid=16746] ppid=16740 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (toysat) S 16740 16743 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23262375 1344868352 47992 33554432000 4194304 16246674 140737194412704 140386542537904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300519 s]
/proc/loadavg: 2.39 2.37 2.30 3/180 16743
/proc/meminfo: memFree=29269592/32872528 swapFree=1431120/1543540
[pid=16743] ppid=16740 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/16743/stat : 16743 (toysat) R 16740 16743 15180 0 -1 4202496 57674 0 0 0 21 8 0 0 20 0 4 0 23262375 1344868352 58483 33554432000 4194304 16246674 140737194412704 140737194412016 7440008 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16743/statm: 328337 58483 799 2943 0 325231 0
[pid=16743/tid=16744] ppid=16740 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (toysat) S 16740 16743 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23262375 1344868352 58483 33554432000 4194304 16246674 140737194412704 140386563501296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16743/tid=16745] ppid=16740 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (toysat) S 16740 16743 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23262375 1344868352 58483 33554432000 4194304 16246674 140737194412704 140386553011440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16743/tid=16746] ppid=16740 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (toysat) S 16740 16743 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23262375 1344868352 58483 33554432000 4194304 16246674 140737194412704 140386542537904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700382 s]
/proc/loadavg: 2.39 2.37 2.30 3/180 16743
/proc/meminfo: memFree=29269592/32872528 swapFree=1431120/1543540
[pid=16743] ppid=16740 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/16743/stat : 16743 (toysat) R 16740 16743 15180 0 -1 4202496 70265 0 0 0 59 10 0 0 20 0 4 0 23262375 1344868352 71074 33554432000 4194304 16246674 140737194412704 140737194412016 7369969 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16743/statm: 328337 71074 801 2943 0 325231 0
[pid=16743/tid=16744] ppid=16740 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (toysat) S 16740 16743 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23262375 1344868352 71074 33554432000 4194304 16246674 140737194412704 140386563501296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16743/tid=16745] ppid=16740 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (toysat) S 16740 16743 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23262375 1344868352 71074 33554432000 4194304 16246674 140737194412704 140386553011440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16743/tid=16746] ppid=16740 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (toysat) S 16740 16743 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23262375 1344868352 71074 33554432000 4194304 16246674 140737194412704 140386542537904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.39 2.37 2.30 3/184 16747
/proc/meminfo: memFree=28986588/32872528 swapFree=1431120/1543540
[pid=16743] ppid=16740 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/16743/stat : 16743 (toysat) R 16740 16743 15180 0 -1 4202496 70315 0 0 0 139 10 0 0 20 0 4 0 23262375 1344868352 71124 33554432000 4194304 16246674 140737194412704 140737194412016 6931206 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16743/statm: 328337 71124 845 2943 0 325231 0
[pid=16743/tid=16744] ppid=16740 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (toysat) S 16740 16743 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23262375 1344868352 71124 33554432000 4194304 16246674 140737194412704 140386563501296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16743/tid=16745] ppid=16740 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (toysat) S 16740 16743 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23262375 1344868352 71124 33554432000 4194304 16246674 140737194412704 140386553011440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16743/tid=16746] ppid=16740 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (toysat) S 16740 16743 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23262375 1344868352 71124 33554432000 4194304 16246674 140737194412704 140386542537904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10043 s]
/proc/loadavg: 2.39 2.37 2.30 3/184 16747
/proc/meminfo: memFree=28954224/32872528 swapFree=1431120/1543540
[pid=16743] ppid=16740 vsize=1317444 CPUtime=3.09 cores=1,3,5,7
/proc/16743/stat : 16743 (toysat) R 16740 16743 15180 0 -1 4202496 79303 0 0 0 298 11 0 0 20 0 4 0 23262375 1349062656 80112 33554432000 4194304 16246674 140737194412704 140737194394624 5813984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16743/statm: 329361 80112 915 2943 0 326255 0
[pid=16743/tid=16744] ppid=16740 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (toysat) S 16740 16743 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23262375 1349062656 80112 33554432000 4194304 16246674 140737194412704 140386563501296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16743/tid=16745] ppid=16740 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (toysat) S 16740 16743 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23262375 1349062656 80112 33554432000 4194304 16246674 140737194412704 140386553011440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16743/tid=16746] ppid=16740 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (toysat) S 16740 16743 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23262375 1349062656 80112 33554432000 4194304 16246674 140737194412704 140386542537904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1317444

[startup+6.30043 s]
/proc/loadavg: 2.36 2.36 2.29 3/184 16747
/proc/meminfo: memFree=28931004/32872528 swapFree=1431120/1543540
[pid=16743] ppid=16740 vsize=1317444 CPUtime=6.29 cores=1,3,5,7
/proc/16743/stat : 16743 (toysat) R 16740 16743 15180 0 -1 4202496 90031 0 0 0 616 13 0 0 20 0 4 0 23262375 1349062656 90840 33554432000 4194304 16246674 140737194412704 140737194395696 4220990 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16743/statm: 329361 90840 915 2943 0 326255 0
[pid=16743/tid=16744] ppid=16740 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (toysat) S 16740 16743 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23262375 1349062656 90840 33554432000 4194304 16246674 140737194412704 140386563501296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16743/tid=16745] ppid=16740 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (toysat) S 16740 16743 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23262375 1349062656 90840 33554432000 4194304 16246674 140737194412704 140386553011440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16743/tid=16746] ppid=16740 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (toysat) S 16740 16743 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23262375 1349062656 90840 33554432000 4194304 16246674 140737194412704 140386542537904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1317444

[startup+12.7004 s]
/proc/loadavg: 2.41 2.37 2.30 3/184 16747
/proc/meminfo: memFree=28654268/32872528 swapFree=1431120/1543540
[pid=16743] ppid=16740 vsize=1325636 CPUtime=12.69 cores=1,3,5,7
/proc/16743/stat : 16743 (toysat) R 16740 16743 15180 0 -1 4202496 153360 0 0 0 1246 23 0 0 20 0 4 0 23262375 1357451264 154169 33554432000 4194304 16246674 140737194412704 140737194394624 5585796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16743/statm: 331409 154169 918 2943 0 328303 0
[pid=16743/tid=16744] ppid=16740 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (toysat) S 16740 16743 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23262375 1357451264 154169 33554432000 4194304 16246674 140737194412704 140386563501296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16743/tid=16745] ppid=16740 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (toysat) S 16740 16743 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23262375 1357451264 154169 33554432000 4194304 16246674 140737194412704 140386553011440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16743/tid=16746] ppid=16740 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (toysat) S 16740 16743 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23262375 1357451264 154169 33554432000 4194304 16246674 140737194412704 140386542537904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1325636

[startup+25.5005 s]
/proc/loadavg: 2.47 2.38 2.30 3/184 16747
/proc/meminfo: memFree=28493264/32872528 swapFree=1431120/1543540
[pid=16743] ppid=16740 vsize=1325636 CPUtime=25.48 cores=1,3,5,7
/proc/16743/stat : 16743 (toysat) R 16740 16743 15180 0 -1 4202496 205285 0 0 0 2517 31 0 0 20 0 4 0 23262375 1357451264 206094 33554432000 4194304 16246674 140737194412704 140737194394624 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16743/statm: 331409 206102 920 2943 0 328303 0
[pid=16743/tid=16744] ppid=16740 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (toysat) S 16740 16743 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23262375 1357451264 206104 33554432000 4194304 16246674 140737194412704 140386563501296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16743/tid=16745] ppid=16740 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (toysat) S 16740 16743 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23262375 1357451264 206105 33554432000 4194304 16246674 140737194412704 140386553011440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16743/tid=16746] ppid=16740 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (toysat) S 16740 16743 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23262375 1357451264 206105 33554432000 4194304 16246674 140737194412704 140386542537904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1325636

[startup+51.1005 s]
/proc/loadavg: 2.39 2.37 2.30 3/184 16747
/proc/meminfo: memFree=28178892/32872528 swapFree=1431120/1543540
[pid=16743] ppid=16740 vsize=1325636 CPUtime=51.08 cores=1,3,5,7
/proc/16743/stat : 16743 (toysat) R 16740 16743 15180 0 -1 4202496 272116 0 0 0 5067 41 0 0 20 0 4 0 23262375 1357451264 272925 33554432000 4194304 16246674 140737194412704 140737194394624 5672230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16743/statm: 331409 272925 920 2943 0 328303 0
[pid=16743/tid=16744] ppid=16740 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (toysat) S 16740 16743 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23262375 1357451264 272925 33554432000 4194304 16246674 140737194412704 140386563501296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16743/tid=16745] ppid=16740 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (toysat) S 16740 16743 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23262375 1357451264 272925 33554432000 4194304 16246674 140737194412704 140386553011440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16743/tid=16746] ppid=16740 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (toysat) S 16740 16743 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23262375 1357451264 272925 33554432000 4194304 16246674 140737194412704 140386542537904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1325636

[startup+102.3 s]
/proc/loadavg: 2.26 2.34 2.29 3/185 16752
/proc/meminfo: memFree=28170972/32872528 swapFree=1431120/1543540
[pid=16743] ppid=16740 vsize=1332804 CPUtime=102.28 cores=1,3,5,7
/proc/16743/stat : 16743 (toysat) R 16740 16743 15180 0 -1 4202496 273910 0 0 0 10187 41 0 0 20 0 4 0 23262375 1364791296 274719 33554432000 4194304 16246674 140737194412704 140737194394624 12415751 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16743/statm: 333201 274719 922 2943 0 330095 0
[pid=16743/tid=16744] ppid=16740 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (toysat) S 16740 16743 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23262375 1364791296 274719 33554432000 4194304 16246674 140737194412704 140386563501296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16743/tid=16745] ppid=16740 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (toysat) S 16740 16743 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23262375 1364791296 274719 33554432000 4194304 16246674 140737194412704 140386553011440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16743/tid=16746] ppid=16740 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (toysat) S 16740 16743 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23262375 1364791296 274719 33554432000 4194304 16246674 140737194412704 140386542537904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1332804


################
# More data... #
################

/proc/16743/task/16746/stat : 16746 (toysat) S 16740 16743 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23262375 1421414400 288546 33554432000 4194304 16246674 140737194412704 140386542537904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 1388100

[startup+1302.3 s]
/proc/loadavg: 2.52 2.46 2.33 3/184 17034
/proc/meminfo: memFree=28120300/32872528 swapFree=1431120/1543540
[pid=16743] ppid=16740 vsize=1388100 CPUtime=1302.03 cores=1,3,5,7
/proc/16743/stat : 16743 (toysat) R 16740 16743 15180 0 -1 4202496 287857 0 0 0 130148 55 0 0 20 0 4 0 23262375 1421414400 288546 33554432000 4194304 16246674 140737194412704 140737194394624 12415821 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16743/statm: 347025 288546 922 2943 0 343919 0
[pid=16743/tid=16744] ppid=16740 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (toysat) S 16740 16743 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23262375 1421414400 288546 33554432000 4194304 16246674 140737194412704 140386563501296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16743/tid=16745] ppid=16740 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (toysat) S 16740 16743 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23262375 1421414400 288546 33554432000 4194304 16246674 140737194412704 140386553011440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16743/tid=16746] ppid=16740 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (toysat) S 16740 16743 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23262375 1421414400 288546 33554432000 4194304 16246674 140737194412704 140386542537904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 1388100

[startup+1362.3 s]
/proc/loadavg: 2.24 2.39 2.31 3/183 17035
/proc/meminfo: memFree=28119832/32872528 swapFree=1431120/1543540
[pid=16743] ppid=16740 vsize=1388100 CPUtime=1362.02 cores=1,3,5,7
/proc/16743/stat : 16743 (toysat) R 16740 16743 15180 0 -1 4202496 287870 0 0 0 136145 57 0 0 20 0 4 0 23262375 1421414400 288546 33554432000 4194304 16246674 140737194412704 140737194394624 13780600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16743/statm: 347025 288546 922 2943 0 343919 0
[pid=16743/tid=16744] ppid=16740 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (toysat) S 16740 16743 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23262375 1421414400 288546 33554432000 4194304 16246674 140737194412704 140386563501296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16743/tid=16745] ppid=16740 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (toysat) S 16740 16743 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23262375 1421414400 288546 33554432000 4194304 16246674 140737194412704 140386553011440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16743/tid=16746] ppid=16740 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (toysat) S 16740 16743 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23262375 1421414400 288546 33554432000 4194304 16246674 140737194412704 140386542537904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 1388100

[startup+1422.3 s]
/proc/loadavg: 2.27 2.37 2.31 4/182 17036
/proc/meminfo: memFree=28062952/32872528 swapFree=1431120/1543540
[pid=16743] ppid=16740 vsize=1446468 CPUtime=1422.01 cores=1,3,5,7
/proc/16743/stat : 16743 (toysat) R 16740 16743 15180 0 -1 4202496 302255 0 0 0 142141 60 0 0 20 0 4 0 23262375 1481183232 302912 33554432000 4194304 16246674 140737194412704 140737194394624 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16743/statm: 361617 302912 922 2943 0 358511 0
[pid=16743/tid=16744] ppid=16740 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (toysat) S 16740 16743 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23262375 1481183232 302912 33554432000 4194304 16246674 140737194412704 140386563501296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16743/tid=16745] ppid=16740 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (toysat) S 16740 16743 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23262375 1481183232 302912 33554432000 4194304 16246674 140737194412704 140386553011440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16743/tid=16746] ppid=16740 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (toysat) S 16740 16743 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23262375 1481183232 302912 33554432000 4194304 16246674 140737194412704 140386542537904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 1446468

[startup+1482.3 s]
/proc/loadavg: 2.28 2.36 2.31 3/183 17038
/proc/meminfo: memFree=28062260/32872528 swapFree=1431120/1543540
[pid=16743] ppid=16740 vsize=1446468 CPUtime=1481.98 cores=1,3,5,7
/proc/16743/stat : 16743 (toysat) R 16740 16743 15180 0 -1 4202496 302271 0 0 0 148137 61 0 0 20 0 4 0 23262375 1481183232 302912 33554432000 4194304 16246674 140737194412704 140737194394624 5600176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16743/statm: 361617 302912 922 2943 0 358511 0
[pid=16743/tid=16744] ppid=16740 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (toysat) S 16740 16743 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23262375 1481183232 302912 33554432000 4194304 16246674 140737194412704 140386563501296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16743/tid=16745] ppid=16740 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (toysat) S 16740 16743 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23262375 1481183232 302912 33554432000 4194304 16246674 140737194412704 140386553011440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16743/tid=16746] ppid=16740 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (toysat) S 16740 16743 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23262375 1481183232 302912 33554432000 4194304 16246674 140737194412704 140386542537904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 1446468

[startup+1542.31 s]
/proc/loadavg: 2.30 2.35 2.31 3/183 17039
/proc/meminfo: memFree=28062128/32872528 swapFree=1431120/1543540
[pid=16743] ppid=16740 vsize=1446468 CPUtime=1541.98 cores=1,3,5,7
/proc/16743/stat : 16743 (toysat) R 16740 16743 15180 0 -1 4202496 302271 0 0 0 154136 62 0 0 20 0 4 0 23262375 1481183232 302912 33554432000 4194304 16246674 140737194412704 140737194394624 5824819 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16743/statm: 361617 302912 922 2943 0 358511 0
[pid=16743/tid=16744] ppid=16740 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (toysat) S 16740 16743 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23262375 1481183232 302912 33554432000 4194304 16246674 140737194412704 140386563501296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16743/tid=16745] ppid=16740 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (toysat) S 16740 16743 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23262375 1481183232 302912 33554432000 4194304 16246674 140737194412704 140386553011440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16743/tid=16746] ppid=16740 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (toysat) S 16740 16743 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23262375 1481183232 302912 33554432000 4194304 16246674 140737194412704 140386542537904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1446468

[startup+1602.3 s]
/proc/loadavg: 2.31 2.35 2.30 4/182 17040
/proc/meminfo: memFree=28061584/32872528 swapFree=1431120/1543540
[pid=16743] ppid=16740 vsize=1446468 CPUtime=1601.96 cores=1,3,5,7
/proc/16743/stat : 16743 (toysat) R 16740 16743 15180 0 -1 4202496 302271 0 0 0 160133 63 0 0 20 0 4 0 23262375 1481183232 302912 33554432000 4194304 16246674 140737194412704 140737194394624 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16743/statm: 361617 302912 922 2943 0 358511 0
[pid=16743/tid=16744] ppid=16740 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (toysat) S 16740 16743 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23262375 1481183232 302912 33554432000 4194304 16246674 140737194412704 140386563501296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16743/tid=16745] ppid=16740 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (toysat) S 16740 16743 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23262375 1481183232 302912 33554432000 4194304 16246674 140737194412704 140386553011440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16743/tid=16746] ppid=16740 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (toysat) S 16740 16743 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23262375 1481183232 302912 33554432000 4194304 16246674 140737194412704 140386542537904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 1446468

[startup+1662.3 s]
/proc/loadavg: 2.43 2.36 2.31 3/183 17042
/proc/meminfo: memFree=28061600/32872528 swapFree=1431120/1543540
[pid=16743] ppid=16740 vsize=1446468 CPUtime=1661.95 cores=1,3,5,7
/proc/16743/stat : 16743 (toysat) R 16740 16743 15180 0 -1 4202496 302271 0 0 0 166127 68 0 0 20 0 4 0 23262375 1481183232 302912 33554432000 4194304 16246674 140737194412704 140737194411880 6010552 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16743/statm: 361617 302912 922 2943 0 358511 0
[pid=16743/tid=16744] ppid=16740 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (toysat) S 16740 16743 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23262375 1481183232 302912 33554432000 4194304 16246674 140737194412704 140386563501296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16743/tid=16745] ppid=16740 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (toysat) S 16740 16743 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23262375 1481183232 302912 33554432000 4194304 16246674 140737194412704 140386553011440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16743/tid=16746] ppid=16740 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (toysat) S 16740 16743 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23262375 1481183232 302912 33554432000 4194304 16246674 140737194412704 140386542537904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1446468

[startup+1722.3 s]
/proc/loadavg: 2.45 2.38 2.32 4/183 17043
/proc/meminfo: memFree=28060536/32872528 swapFree=1431120/1543540
[pid=16743] ppid=16740 vsize=1446468 CPUtime=1721.95 cores=1,3,5,7
/proc/16743/stat : 16743 (toysat) R 16740 16743 15180 0 -1 4202496 302271 0 0 0 172118 77 0 0 20 0 4 0 23262375 1481183232 302912 33554432000 4194304 16246674 140737194412704 140737194411880 13874575 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16743/statm: 361617 302912 922 2943 0 358511 0
[pid=16743/tid=16744] ppid=16740 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (toysat) S 16740 16743 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23262375 1481183232 302912 33554432000 4194304 16246674 140737194412704 140386563501296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16743/tid=16745] ppid=16740 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (toysat) S 16740 16743 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23262375 1481183232 302912 33554432000 4194304 16246674 140737194412704 140386553011440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16743/tid=16746] ppid=16740 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (toysat) S 16740 16743 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23262375 1481183232 302912 33554432000 4194304 16246674 140737194412704 140386542537904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 1446468

[startup+1782.3 s]
/proc/loadavg: 2.33 2.35 2.31 4/183 17044
/proc/meminfo: memFree=28059504/32872528 swapFree=1431120/1543540
[pid=16743] ppid=16740 vsize=1446468 CPUtime=1781.94 cores=1,3,5,7
/proc/16743/stat : 16743 (toysat) R 16740 16743 15180 0 -1 4202496 302497 0 0 0 178114 80 0 0 20 0 4 0 23262375 1481183232 303138 33554432000 4194304 16246674 140737194412704 140737194394624 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16743/statm: 361617 303138 922 2943 0 358511 0
[pid=16743/tid=16744] ppid=16740 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (toysat) S 16740 16743 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23262375 1481183232 303138 33554432000 4194304 16246674 140737194412704 140386563501296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16743/tid=16745] ppid=16740 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (toysat) S 16740 16743 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23262375 1481183232 303138 33554432000 4194304 16246674 140737194412704 140386553011440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16743/tid=16746] ppid=16740 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (toysat) S 16740 16743 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23262375 1481183232 303138 33554432000 4194304 16246674 140737194412704 140386542537904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 1446468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.43 2.38 2.32 3/183 17044
/proc/meminfo: memFree=28059600/32872528 swapFree=1431120/1543540
[pid=16743] ppid=16740 vsize=1446468 CPUtime=1800.04 cores=1,3,5,7
/proc/16743/stat : 16743 (toysat) R 16740 16743 15180 0 -1 4202496 302497 0 0 0 179924 80 0 0 20 0 4 0 23262375 1481183232 303138 33554432000 4194304 16246674 140737194412704 140737194394624 13781168 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16743/statm: 361617 303138 922 2943 0 358511 0
[pid=16743/tid=16744] ppid=16740 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16744/stat : 16744 (toysat) S 16740 16743 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23262375 1481183232 303138 33554432000 4194304 16246674 140737194412704 140386563501296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16743/tid=16745] ppid=16740 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16745/stat : 16745 (toysat) S 16740 16743 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23262375 1481183232 303138 33554432000 4194304 16246674 140737194412704 140386553011440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16743/tid=16746] ppid=16740 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/16743/task/16746/stat : 16746 (toysat) S 16740 16743 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23262375 1481183232 303138 33554432000 4194304 16246674 140737194412704 140386542537904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1446468

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 16743 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.41
CPU time (s): 1800.05
CPU user time (s): 1799.25
CPU system time (s): 0.805877
CPU usage (%): 99.9802
Max. virtual memory (cumulated for all children) (KiB): 1446468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 0.805877
maximum resident set size= 1212552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 302497
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= 186
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.63929 second user time and 7.18091 second system time

The end

Begin job on node116 at 2016-06-18 03:08:56
IDJOB=4100281
IDBENCH=1597
IDSOLVER=2542
FILE ID=node116/4100281-1466212136
RUNJOBID= node116-1466206094-15197
PBS_JOBID= 19918160
Free space on /tmp= 71616 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-sp98ar.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100281-1466212136/watcher-4100281-1466212136 -o /tmp/evaluation-result-4100281-1466212136/solver-4100281-1466212136 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15197 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100281-1466212136.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d7af4e70b8b5243fa0953f7b849db937
RANDOM SEED=593778333

node116.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29270244 kB
Buffers:           46092 kB
Cached:           114060 kB
SwapCached:         2180 kB
Active:          1275100 kB
Inactive:          75864 kB
Active(anon):    1191928 kB
Inactive(anon):     1500 kB
Active(file):      83172 kB
Inactive(file):    74364 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099540 kB
Dirty:             20512 kB
Writeback:             0 kB
AnonPages:       2797224 kB
Mapped:            10884 kB
Shmem:                 0 kB
Slab:             572816 kB
SReclaimable:      16916 kB
SUnreclaim:       555900 kB
KernelStack:        1480 kB
PageTables:         9580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2876136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    178176 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71688 MiB
End job on node116 at 2016-06-18 03:38:57