0.00/0.00	c 2016-06-06T23:52:59+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-4079850-1465249979.opb"]
0.00/0.01	c use --random-gen="2530868842 147806439 579482077 204584249 1934753678 3334312063 2313009911 3940266623 3499878826 3544367968 1771643066 135389511 3815020193 4000745690 1353337293 2562582008 2342117348 3403615367 2347562548 2534181688 2723251576 2119967952 104156288 2311586662 2948776036 2979177588 2648197545 3766058675 194136372 389442522 2997687370 2420457394 56984010 2414475589 3496905954 4023814255 3571657330 2543650113 2151129730 42730444 1761856408 4167168901 2497918356 558062240 2503759313 2257436962 529118809 4115603674 1728255753 3922768340 301541983 2341415363 197334849 1233668903 2795383548 3785891604 2248338807 1420702891 3317555619 1616171996 98573197 861181875 1518743614 1076652963 3071335712 2304593001 3360267092 3465254968 2376135314 2883379438 3161993734 1089742371 298028307 1341149343 2612705760 2976347870 1360942359 2050910263 337133146 3419061584 3446151998 2490259890 2497771049 705820159 3478173029 2855604036 1084842573 3007854568 203071309 3298188147 776486012 3596662756 1882916420 2270085363 2262344972 4085344178 2344410449 532726269 498343223 4161458081 145267822 2212435207 1599857895 1084664439 1958231789 2118106111 1861816658 2561149540 2459739576 2814443606 197729843 1036846996 3349634248 3332473781 3249589406 4050513774 2156658781 369868745 499486742 1200828162 3269530085 887861552 1512072004 662168619 2801361413 2408430675 236206378 2013367055 2357721879 3876938907 3934431694 4116607858 2091337304 1423060285 1545371577 2699445726 848104833 1909181527 2128330239 827246224 2346075546 280434954 743996967 1191805845 3277401005 2923286139 514025927 1180778560 3977836664 3970613343 1135324101 1604193160 3355162851 945185115 2817367013 1557044604 2744022497 4012577625 2433799248 2752755590 281455910 4020864519 2345103288 826746784 3159678043 2348629209 3061088706 830802327 1555428850 3607926534 2210465492 2201613232 3772797723 3180844003 214938857 2904243355 322027882 2424136984 3363440308 788147857 712373052 1736665509 2091978055 2662222967 1002092208 3808229222 2568947454 3017064262 2614003133 2473117347 1824174686 2178353790 2084556315 3243579252 318482372 3844491398 1921525816 4075412134 3671158745 635952796 2043552171 198674335 3980759914 3197038392 3590807393 1202043195 3483083222 4266365503 56533942 3136957988 132438630 3656806571 1378457564 660952246 3672732728 2398688686 4196990971 1130536147 775376114 273454727 4053520686 3040589154 3077861505 1155744406 2482157787 2690384431 2799802523 2915425526 3653243516 4215307985 4133140731 77379700 295984331 3801273376 3668394620 1637468340 2245236504 3073045800 2160963478 4110833403 3314368249 2141690984 1329614199 1208084670 2942411074 3455802725 870560062 376717444 1284879326 3414884449 1138785611 1294449 685541514 3034826043 1030665693 736217971 255 362436" option to reproduce the execution
0.79/0.86	c #vars 18629
0.79/0.86	c #constraints 134119
2.69/2.77	c BCD2: Hardening is enabled.
2.69/2.77	c BCD2: BiasedSearch is enabled.
2.69/2.77	c Solving starts ...
2.69/2.77	c ============================[ Search Statistics ]============================
2.69/2.77	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.69/2.77	c       |         |          |          |    Limit     GC | Var      | Constra 
2.69/2.77	c =============================================================================
2.69/2.77	c  0.0s |       0 |        0 |        0 |    50915      0 |        2 |        0
2.89/2.96	c  0.2s |       0 |     6360 |        0 |    50915      0 |        2 |        0
2.89/2.96	c #cpu_time = 0.181s
2.89/2.96	c #wall_clock_time = 0.181s
2.89/2.96	c #decision = 6360
2.89/2.96	c #random_decision = 20
2.89/2.96	c #conflict = 0
2.89/2.96	c #restart = 0
2.89/2.96	o 6361
3.29/3.31	c BCD2: updating upper bound: 9200 -> 6360
3.29/3.33	c BCD2: 0 <= obj <= 6360
3.29/3.33	c BCD2: #cores=0, #unrelaxed=9200, #relaxed=0, #hardened=0
3.29/3.33	c BCD2: #sat=1 #unsat=1 bias=1/2
3.29/3.34	c Solving starts ...
3.29/3.34	c ============================[ Search Statistics ]============================
3.29/3.34	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.29/3.34	c       |         |          |          |    Limit     GC | Var      | Constra 
3.29/3.34	c =============================================================================
3.29/3.34	c  0.0s |       0 |        0 |        0 |    50915      0 |        2 |        0
3.29/3.39	c  0.0s |       0 |        7 |        1 |    50915      0 |        2 |        0
3.29/3.39	c #cpu_time = 0.048s
3.29/3.39	c #wall_clock_time = 0.048s
3.29/3.39	c #decision = 7
3.29/3.39	c #random_decision = 0
3.29/3.39	c #conflict = 1
3.29/3.39	c #restart = 0
3.29/3.39	c BCD2: found a new core of size 3: cost of the new core is >=1
3.29/3.39	c lower bound updated to 1
3.39/3.40	c BCD2: 1 <= obj <= 6360
3.39/3.40	c BCD2: #cores=1, #unrelaxed=9197, #relaxed=3, #hardened=0
3.39/3.40	c BCD2: #sat=1 #unsat=2 bias=2/3
3.39/3.41	c Solving starts ...
3.39/3.41	c ============================[ Search Statistics ]============================
3.39/3.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.39/3.41	c       |         |          |          |    Limit     GC | Var      | Constra 
3.39/3.41	c =============================================================================
3.39/3.41	c  0.0s |       0 |        0 |        0 |    50915      0 |        2 |        0
3.39/3.46	c  0.1s |       0 |       13 |        0 |    50915      0 |        2 |        0
3.39/3.46	c #cpu_time = 0.054s
3.39/3.46	c #wall_clock_time = 0.054s
3.39/3.46	c #decision = 13
3.39/3.46	c #random_decision = 0
3.39/3.46	c #conflict = 0
3.39/3.46	c #restart = 0
3.39/3.46	c BCD2: found a new core of size 11: cost of the new core is >=1
3.39/3.46	c lower bound updated to 2
3.39/3.46	c BCD2: 2 <= obj <= 6360
3.39/3.46	c BCD2: #cores=2, #unrelaxed=9186, #relaxed=14, #hardened=0
3.39/3.46	c BCD2: #sat=1 #unsat=3 bias=3/4
3.39/3.46	c Solving starts ...
3.39/3.46	c ============================[ Search Statistics ]============================
3.39/3.46	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.39/3.46	c       |         |          |          |    Limit     GC | Var      | Constra 
3.39/3.46	c =============================================================================
3.39/3.47	c  0.0s |       0 |        0 |        0 |    50915      0 |        2 |        0
3.50/3.51	c  0.0s |       0 |        5 |        0 |    50915      0 |        2 |        0
3.50/3.51	c #cpu_time = 0.043s
3.50/3.51	c #wall_clock_time = 0.043s
3.50/3.51	c #decision = 5
3.50/3.51	c #random_decision = 0
3.50/3.51	c #conflict = 0
3.50/3.51	c #restart = 0
3.50/3.51	c BCD2: found a new core of size 1: cost of the new core is >=1
3.50/3.51	c lower bound updated to 3
3.50/3.52	c BCD2: 3 <= obj <= 6360
3.50/3.52	c BCD2: #cores=3, #unrelaxed=9185, #relaxed=15, #hardened=0
3.50/3.52	c BCD2: #sat=1 #unsat=4 bias=4/5
3.50/3.52	c Solving starts ...
3.50/3.52	c ============================[ Search Statistics ]============================
3.50/3.52	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.50/3.52	c       |         |          |          |    Limit     GC | Var      | Constra 
3.50/3.52	c =============================================================================
3.50/3.52	c  0.0s |       0 |        0 |        0 |    50915      0 |        2 |        0
3.50/3.58	c  0.1s |       0 |       47 |        0 |    50915      0 |        2 |        0
3.50/3.58	c #cpu_time = 0.057s
3.50/3.58	c #wall_clock_time = 0.057s
3.50/3.58	c #decision = 47
3.50/3.58	c #random_decision = 0
3.50/3.58	c #conflict = 0
3.50/3.58	c #restart = 0
3.50/3.58	c BCD2: found a new core of size 30: cost of the new core is >=1
3.50/3.58	c lower bound updated to 4
3.50/3.58	c BCD2: 4 <= obj <= 6360
3.50/3.58	c BCD2: #cores=4, #unrelaxed=9155, #relaxed=45, #hardened=0
3.50/3.58	c BCD2: #sat=1 #unsat=5 bias=5/6
3.50/3.58	c Solving starts ...
3.50/3.58	c ============================[ Search Statistics ]============================
3.50/3.58	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.50/3.58	c       |         |          |          |    Limit     GC | Var      | Constra 
3.50/3.58	c =============================================================================
3.50/3.59	c  0.0s |       0 |        0 |        0 |    50915      0 |        2 |        0
3.59/3.63	c  0.0s |       0 |       19 |        0 |    50915      0 |        2 |        0
3.59/3.63	c #cpu_time = 0.043s
3.59/3.63	c #wall_clock_time = 0.043s
3.59/3.63	c #decision = 19
3.59/3.63	c #random_decision = 0
3.59/3.63	c #conflict = 0
3.59/3.63	c #restart = 0
3.59/3.63	c BCD2: found a new core of size 1: cost of the new core is >=1
3.59/3.63	c lower bound updated to 5
3.59/3.64	c BCD2: 5 <= obj <= 6360
3.59/3.64	c BCD2: #cores=5, #unrelaxed=9154, #relaxed=46, #hardened=0
3.59/3.64	c BCD2: #sat=1 #unsat=6 bias=6/7
3.59/3.64	c Solving starts ...
3.59/3.64	c ============================[ Search Statistics ]============================
3.59/3.64	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.59/3.64	c       |         |          |          |    Limit     GC | Var      | Constra 
3.59/3.64	c =============================================================================
3.59/3.64	c  0.0s |       0 |        0 |        0 |    50915      0 |        2 |        0
3.59/3.69	c  0.0s |       0 |      191 |        0 |    50915      0 |        2 |        0
3.59/3.69	c #cpu_time = 0.047s
3.59/3.69	c #wall_clock_time = 0.047s
3.59/3.69	c #decision = 191
3.59/3.69	c #random_decision = 0
3.59/3.69	c #conflict = 0
3.59/3.69	c #restart = 0
3.59/3.69	c BCD2: found a new core of size 8: cost of the new core is >=1
3.59/3.69	c lower bound updated to 6
3.69/3.70	c BCD2: 6 <= obj <= 6360
3.69/3.70	c BCD2: #cores=6, #unrelaxed=9146, #relaxed=54, #hardened=0
3.69/3.70	c BCD2: #sat=1 #unsat=7 bias=7/8
3.69/3.70	c Solving starts ...
3.69/3.70	c ============================[ Search Statistics ]============================
3.69/3.70	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.69/3.70	c       |         |          |          |    Limit     GC | Var      | Constra 
3.69/3.70	c =============================================================================
3.69/3.70	c  0.0s |       0 |        0 |        0 |    50915      0 |        2 |        0
3.69/3.76	c  0.1s |       0 |      252 |        0 |    50915      0 |        2 |        0
3.69/3.76	c #cpu_time = 0.051s
3.69/3.76	c #wall_clock_time = 0.051s
3.69/3.76	c #decision = 252
3.69/3.76	c #random_decision = 0
3.69/3.76	c #conflict = 0
3.69/3.76	c #restart = 0
3.69/3.76	c BCD2: found a new core of size 39: cost of the new core is >=1
3.69/3.76	c lower bound updated to 7
3.69/3.76	c BCD2: 7 <= obj <= 6360
3.69/3.76	c BCD2: #cores=7, #unrelaxed=9107, #relaxed=93, #hardened=0
3.69/3.76	c BCD2: #sat=1 #unsat=8 bias=8/9
3.69/3.76	c Solving starts ...
3.69/3.76	c ============================[ Search Statistics ]============================
3.69/3.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.69/3.76	c       |         |          |          |    Limit     GC | Var      | Constra 
3.69/3.76	c =============================================================================
3.69/3.77	c  0.0s |       0 |        0 |        0 |    50915      0 |        2 |        0
3.79/3.82	c  0.0s |       0 |      526 |        0 |    50915      0 |        2 |        0
3.79/3.82	c #cpu_time = 0.048s
3.79/3.82	c #wall_clock_time = 0.048s
3.79/3.82	c #decision = 526
3.79/3.82	c #random_decision = 0
3.79/3.82	c #conflict = 0
3.79/3.82	c #restart = 0
3.79/3.82	c BCD2: found a new core of size 27: cost of the new core is >=1
3.79/3.82	c lower bound updated to 8
3.79/3.83	c BCD2: 8 <= obj <= 6360
3.79/3.83	c BCD2: #cores=8, #unrelaxed=9080, #relaxed=120, #hardened=0
3.79/3.83	c BCD2: #sat=1 #unsat=9 bias=9/10
3.79/3.83	c Solving starts ...
3.79/3.83	c ============================[ Search Statistics ]============================
3.79/3.83	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.79/3.83	c       |         |          |          |    Limit     GC | Var      | Constra 
3.79/3.83	c =============================================================================
3.79/3.83	c  0.0s |       0 |        0 |        0 |    50915      0 |        2 |        0
3.79/3.88	c  0.0s |       0 |      600 |        0 |    50915      0 |        2 |        0
3.79/3.88	c #cpu_time = 0.048s
3.79/3.88	c #wall_clock_time = 0.048s
3.79/3.88	c #decision = 600
3.79/3.88	c #random_decision = 0
3.79/3.88	c #conflict = 0
3.79/3.88	c #restart = 0
3.79/3.88	c BCD2: found a new core of size 38: cost of the new core is >=1
3.79/3.88	c lower bound updated to 9
3.79/3.89	c BCD2: 9 <= obj <= 6360
3.79/3.89	c BCD2: #cores=9, #unrelaxed=9042, #relaxed=158, #hardened=0
3.79/3.89	c BCD2: #sat=1 #unsat=10 bias=10/11
3.79/3.89	c Solving starts ...
3.79/3.89	c ============================[ Search Statistics ]============================
3.79/3.89	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.79/3.89	c       |         |          |          |    Limit     GC | Var      | Constra 
3.79/3.89	c =============================================================================
3.79/3.89	c  0.0s |       0 |        0 |        0 |    50915      0 |        2 |        0
3.89/3.95	c  0.1s |       0 |      723 |        0 |    50915      0 |        2 |        0
3.89/3.95	c #cpu_time = 0.059s
3.89/3.95	c #wall_clock_time = 0.059s
3.89/3.95	c #decision = 723
3.89/3.95	c #random_decision = 0
3.89/3.95	c #conflict = 0
3.89/3.95	c #restart = 0
3.89/3.95	c BCD2: found a new core of size 94: cost of the new core is >=1
3.89/3.95	c lower bound updated to 10
3.89/3.95	c BCD2: 10 <= obj <= 6360
3.89/3.95	c BCD2: #cores=10, #unrelaxed=8948, #relaxed=252, #hardened=0
3.89/3.95	c BCD2: #sat=1 #unsat=11 bias=11/12
3.89/3.96	c Solving starts ...
3.89/3.96	c ============================[ Search Statistics ]============================
3.89/3.96	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.89/3.96	c       |         |          |          |    Limit     GC | Var      | Constra 
3.89/3.96	c =============================================================================
3.89/3.96	c  0.0s |       0 |        0 |        0 |    50915      0 |        2 |        0
3.99/4.01	c  0.0s |       0 |      792 |        0 |    50915      0 |        2 |        0
3.99/4.01	c #cpu_time = 0.047s
3.99/4.01	c #wall_clock_time = 0.047s
3.99/4.01	c #decision = 792
3.99/4.01	c #random_decision = 0
3.99/4.01	c #conflict = 0
3.99/4.01	c #restart = 0
3.99/4.01	c BCD2: found a new core of size 33: cost of the new core is >=1
3.99/4.01	c lower bound updated to 11
3.99/4.02	c BCD2: 11 <= obj <= 6360
3.99/4.02	c BCD2: #cores=11, #unrelaxed=8915, #relaxed=285, #hardened=0
3.99/4.02	c BCD2: #sat=1 #unsat=12 bias=12/13
3.99/4.02	c Solving starts ...
3.99/4.02	c ============================[ Search Statistics ]============================
3.99/4.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.99/4.02	c       |         |          |          |    Limit     GC | Var      | Constra 
3.99/4.02	c =============================================================================
3.99/4.02	c  0.0s |       0 |        0 |        0 |    50915      0 |        2 |        0
3.99/4.07	c  0.1s |       0 |     1419 |        0 |    50915      0 |        2 |        0
3.99/4.07	c #cpu_time = 0.050s
3.99/4.07	c #wall_clock_time = 0.050s
3.99/4.07	c #decision = 1419
3.99/4.07	c #random_decision = 0
3.99/4.07	c #conflict = 0
3.99/4.07	c #restart = 0
3.99/4.07	c BCD2: found a new core of size 27: cost of the new core is >=1
3.99/4.07	c lower bound updated to 12
3.99/4.09	c BCD2: 12 <= obj <= 6360
3.99/4.09	c BCD2: #cores=12, #unrelaxed=8888, #relaxed=312, #hardened=0
3.99/4.09	c BCD2: #sat=1 #unsat=13 bias=13/14
3.99/4.09	c Solving starts ...
3.99/4.09	c ============================[ Search Statistics ]============================
3.99/4.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.99/4.09	c       |         |          |          |    Limit     GC | Var      | Constra 
3.99/4.09	c =============================================================================
3.99/4.09	c  0.0s |       0 |        0 |        0 |    50915      0 |        2 |        0
4.09/4.14	c  0.1s |       0 |     1701 |        0 |    50915      0 |        2 |        0
4.09/4.14	c #cpu_time = 0.056s
4.09/4.14	c #wall_clock_time = 0.056s
4.09/4.14	c #decision = 1701
4.09/4.14	c #random_decision = 0
4.09/4.14	c #conflict = 0
4.09/4.14	c #restart = 0
4.09/4.14	c BCD2: found a new core of size 27: cost of the new core is >=1
4.09/4.14	c lower bound updated to 13
4.09/4.15	c BCD2: 13 <= obj <= 6360
4.09/4.15	c BCD2: #cores=13, #unrelaxed=8861, #relaxed=339, #hardened=0
4.09/4.15	c BCD2: #sat=1 #unsat=14 bias=14/15
4.09/4.15	c Solving starts ...
4.09/4.15	c ============================[ Search Statistics ]============================
4.09/4.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.09/4.15	c       |         |          |          |    Limit     GC | Var      | Constra 
4.09/4.15	c =============================================================================
4.09/4.16	c  0.0s |       0 |        0 |        0 |    50915      0 |        2 |        0
4.19/4.21	c  0.1s |       0 |     2333 |        0 |    50915      0 |        2 |        0
4.19/4.21	c #cpu_time = 0.051s
4.19/4.21	c #wall_clock_time = 0.051s
4.19/4.21	c #decision = 2333
4.19/4.21	c #random_decision = 0
4.19/4.21	c #conflict = 0
4.19/4.21	c #restart = 0
4.19/4.21	c BCD2: found a new core of size 98: cost of the new core is >=1
4.19/4.21	c lower bound updated to 14
4.19/4.22	c BCD2: 14 <= obj <= 6360
4.19/4.22	c BCD2: #cores=14, #unrelaxed=8763, #relaxed=437, #hardened=0
4.19/4.22	c BCD2: #sat=1 #unsat=15 bias=15/16
4.19/4.23	c Solving starts ...
4.19/4.23	c ============================[ Search Statistics ]============================
4.19/4.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.19/4.23	c       |         |          |          |    Limit     GC | Var      | Constra 
4.19/4.23	c =============================================================================
4.19/4.23	c  0.0s |       0 |        0 |        0 |    50915      0 |        2 |        0
4.19/4.29	c  0.1s |       0 |     4664 |        0 |    50915      0 |        2 |        0
4.19/4.29	c #cpu_time = 0.058s
4.19/4.29	c #wall_clock_time = 0.058s
4.19/4.29	c #decision = 4664
4.19/4.29	c #random_decision = 0
4.19/4.29	c #conflict = 0
4.19/4.29	c #restart = 0
4.19/4.29	c BCD2: found a new core of size 397: cost of the new core is >=1
4.19/4.29	c lower bound updated to 15
4.29/4.30	c BCD2: 15 <= obj <= 6360
4.29/4.30	c BCD2: #cores=15, #unrelaxed=8366, #relaxed=834, #hardened=0
4.29/4.30	c BCD2: #sat=1 #unsat=16 bias=16/17
4.29/4.31	c Solving starts ...
4.29/4.31	c ============================[ Search Statistics ]============================
4.29/4.31	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.29/4.31	c       |         |          |          |    Limit     GC | Var      | Constra 
4.29/4.31	c =============================================================================
4.29/4.31	c  0.0s |       0 |        0 |        0 |    50915      0 |        2 |        0
4.29/4.38	c  0.1s |       0 |     6470 |        0 |    50915      0 |        2 |        0
4.29/4.38	c #cpu_time = 0.074s
4.29/4.38	c #wall_clock_time = 0.074s
4.29/4.38	c #decision = 6470
4.29/4.38	c #random_decision = 0
4.29/4.38	c #conflict = 0
4.29/4.38	c #restart = 0
4.29/4.39	c BCD2: found a new core of size 1318: cost of the new core is >=1
4.29/4.39	c lower bound updated to 16
4.39/4.40	c BCD2: 16 <= obj <= 6360
4.39/4.40	c BCD2: #cores=16, #unrelaxed=7048, #relaxed=2152, #hardened=0
4.39/4.40	c BCD2: #sat=1 #unsat=17 bias=17/18
4.39/4.40	c Solving starts ...
4.39/4.40	c ============================[ Search Statistics ]============================
4.39/4.40	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.39/4.40	c       |         |          |          |    Limit     GC | Var      | Constra 
4.39/4.40	c =============================================================================
4.39/4.41	c  0.0s |       0 |        0 |        0 |    50915      0 |        2 |        0
4.39/4.47	c  0.1s |       0 |     5359 |        0 |    50915      0 |        2 |        0
4.39/4.47	c #cpu_time = 0.055s
4.39/4.47	c #wall_clock_time = 0.055s
4.39/4.47	c #decision = 5359
4.39/4.47	c #random_decision = 0
4.39/4.47	c #conflict = 0
4.39/4.47	c #restart = 0
4.39/4.47	c BCD2: found a new core of size 359: cost of the new core is >=1
4.39/4.47	c lower bound updated to 17
4.39/4.48	c BCD2: 17 <= obj <= 6360
4.39/4.48	c BCD2: #cores=17, #unrelaxed=6689, #relaxed=2511, #hardened=0
4.39/4.48	c BCD2: #sat=1 #unsat=18 bias=18/19
4.39/4.49	c Solving starts ...
4.39/4.49	c ============================[ Search Statistics ]============================
4.39/4.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.39/4.49	c       |         |          |          |    Limit     GC | Var      | Constra 
4.39/4.49	c =============================================================================
4.39/4.50	c  0.0s |       0 |        0 |        0 |    50915      0 |        2 |        0
4.49/4.56	c  0.1s |       0 |     6705 |        0 |    50915      0 |        2 |        0
4.49/4.56	c #cpu_time = 0.061s
4.49/4.56	c #wall_clock_time = 0.061s
4.49/4.56	c #decision = 6705
4.49/4.56	c #random_decision = 0
4.49/4.56	c #conflict = 0
4.49/4.56	c #restart = 0
4.49/4.56	c BCD2: found a new core of size 4224: cost of the new core is >=1
4.49/4.56	c lower bound updated to 18
4.49/4.59	c BCD2: 18 <= obj <= 6360
4.49/4.59	c BCD2: #cores=18, #unrelaxed=2465, #relaxed=6735, #hardened=0
4.49/4.59	c BCD2: #sat=1 #unsat=19 bias=19/20
4.59/4.62	c Solving starts ...
4.59/4.62	c ============================[ Search Statistics ]============================
4.59/4.62	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.59/4.62	c       |         |          |          |    Limit     GC | Var      | Constra 
4.59/4.62	c =============================================================================
4.59/4.62	c  0.0s |       0 |        0 |        0 |    50915      0 |        2 |        0
4.69/4.72	c  0.1s |       0 |     9000 |        0 |    50915      0 |        2 |        0
4.69/4.72	c #cpu_time = 0.084s
4.69/4.72	c #wall_clock_time = 0.084s
4.69/4.72	c #decision = 9000
4.69/4.72	c #random_decision = 16
4.69/4.72	c #conflict = 0
4.69/4.72	c #restart = 0
4.69/4.72	o 36
4.69/4.74	c BCD2: updating upper bound: 6360 -> 35
4.69/4.78	c BCD2: 18 <= obj <= 35
4.69/4.78	c BCD2: #cores=18, #unrelaxed=2465, #relaxed=6735, #hardened=0
4.69/4.78	c BCD2: #sat=2 #unsat=19 bias=19/21
4.79/4.81	c Solving starts ...
4.79/4.81	c ============================[ Search Statistics ]============================
4.79/4.81	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.79/4.81	c       |         |          |          |    Limit     GC | Var      | Constra 
4.79/4.81	c =============================================================================
4.79/4.82	c  0.0s |       0 |        0 |        0 |    50915      0 |        2 |        1
4.79/4.89	c  0.1s |       0 |     7366 |        4 |    50915      0 |        2 |        1
4.79/4.89	c #cpu_time = 0.072s
4.79/4.89	c #wall_clock_time = 0.072s
4.79/4.89	c #decision = 7366
4.79/4.89	c #random_decision = 0
4.79/4.89	c #conflict = 4
4.79/4.89	c #restart = 0
4.79/4.89	c BCD2: relaxing 21 and merging with 3 cores into a new core of size 65: cost of the new core is >=4
4.79/4.89	c lower bound updated to 19
4.89/4.91	c BCD2: 19 <= obj <= 35
4.89/4.91	c BCD2: #cores=16, #unrelaxed=2444, #relaxed=6756, #hardened=0
4.89/4.91	c BCD2: #sat=2 #unsat=20 bias=20/22
4.89/4.91	c Solving starts ...
4.89/4.91	c ============================[ Search Statistics ]============================
4.89/4.91	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.89/4.91	c       |         |          |          |    Limit     GC | Var      | Constra 
4.89/4.91	c =============================================================================
4.89/4.91	c  0.0s |       0 |        0 |        0 |    50915      0 |       13 |        1
5.19/5.27	c  0.4s |       1 |     5693 |      100 |    56007      0 |       13 |       20
5.69/5.80	c  0.9s |       2 |    19944 |      250 |    61608      0 |       13 |       20
6.59/6.66	c  1.8s |       3 |    36224 |      475 |    67769      0 |       13 |       20
6.89/6.99	c  2.1s |       4 |    39780 |      813 |    74546      0 |       13 |       20
7.19/7.27	c  2.4s |       4 |    43236 |      951 |    74546      0 |       13 |       20
7.19/7.27	c #cpu_time = 2.348s
7.19/7.27	c #wall_clock_time = 2.348s
7.19/7.27	c #decision = 43236
7.19/7.27	c #random_decision = 45
7.19/7.27	c #conflict = 951
7.19/7.27	c #restart = 4
7.19/7.27	o 27
7.19/7.28	c BCD2: updating upper bound: 35 -> 26
7.29/7.33	c BCD2: 19 <= obj <= 26
7.29/7.33	c BCD2: #cores=16, #unrelaxed=2444, #relaxed=6756, #hardened=0
7.29/7.33	c BCD2: #sat=3 #unsat=20 bias=20/23
7.29/7.33	c Solving starts ...
7.29/7.33	c ============================[ Search Statistics ]============================
7.29/7.33	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.29/7.33	c       |         |          |          |    Limit     GC | Var      | Constra 
7.29/7.33	c =============================================================================
7.29/7.35	c  0.0s |       0 |        0 |        0 |    74546      0 |       13 |       21
7.49/7.50	c  0.2s |       1 |     5239 |      100 |    74546      0 |       13 |       21
7.59/7.66	c  0.3s |       2 |     8262 |      250 |    74546      0 |       13 |       21
7.99/8.03	c  0.7s |       3 |    27791 |      475 |    82001      0 |       13 |       21
8.29/8.33	c  1.0s |       4 |    31200 |      813 |    82001      0 |       13 |       21
8.69/8.72	c  1.4s |       5 |    37099 |     1320 |    90202      0 |       13 |       21
9.29/9.33	c  2.0s |       6 |    44132 |     2081 |    90202      0 |       13 |       21
11.39/11.43	c  4.1s |       6 |    64430 |     3081 |    99223      0 |       13 |       21
11.69/11.77	c  4.4s |       7 |    67515 |     3223 |    99223      0 |       13 |       21
12.19/12.24	c  4.9s |       7 |    74511 |     3348 |    99223      0 |       13 |       21
12.19/12.24	c #cpu_time = 4.888s
12.19/12.24	c #wall_clock_time = 4.888s
12.19/12.24	c #decision = 74511
12.19/12.24	c #random_decision = 35
12.19/12.24	c #conflict = 3348
12.19/12.24	c #restart = 7
12.19/12.24	c BCD2: relaxing 336 and merging with 12 cores into a new core of size 2507: cost of the new core is >=16
12.19/12.24	c lower bound updated to 20
12.19/12.25	c BCD2: 20 <= obj <= 26
12.19/12.25	c BCD2: #cores=5, #unrelaxed=2108, #relaxed=7092, #hardened=0
12.19/12.25	c BCD2: #sat=3 #unsat=21 bias=21/24
12.19/12.26	c Solving starts ...
12.19/12.26	c ============================[ Search Statistics ]============================
12.19/12.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.19/12.26	c       |         |          |          |    Limit     GC | Var      | Constra 
12.19/12.26	c =============================================================================
12.19/12.26	c  0.0s |       0 |        0 |        0 |    99223      0 |       57 |       21
12.59/12.67	c  0.4s |       1 |     3020 |      100 |    99223      0 |       57 |       97
13.19/13.26	c  1.0s |       2 |     7377 |      250 |    99223      0 |       57 |       97
14.18/14.25	c  2.0s |       3 |    14054 |      475 |    99223      0 |       57 |       97
15.48/15.55	c  3.3s |       4 |    20971 |      813 |   109146      0 |       57 |       97
17.48/17.50	c  5.2s |       5 |    27965 |     1320 |   109146      0 |       57 |       97
19.78/19.80	c  7.5s |       5 |    36872 |     1920 |   109146      0 |       57 |       97
20.48/20.53	c  8.3s |       6 |    40942 |     2081 |   109146      0 |       57 |       97
25.28/25.37	c 13.1s |       6 |    91894 |     2181 |   109146      0 |       57 |       97
29.99/30.03	c 17.8s |       6 |   138864 |     2281 |   109146      0 |       57 |       97
33.08/33.11	c 20.9s |       6 |   139457 |     2381 |   109146      0 |       57 |       97
35.78/35.80	c 23.5s |       6 |   166403 |     2481 |   109146      0 |       57 |       97
40.68/40.71	c 28.4s |       6 |   209265 |     2681 |   109146      0 |       57 |       97
43.98/44.04	c 31.8s |       6 |   216281 |     2781 |   109146      0 |       57 |       97
46.08/46.14	c 33.9s |       6 |   219145 |     2881 |   109146      0 |       57 |       97
48.08/48.14	c 35.9s |       6 |   221155 |     2981 |   109146      0 |       57 |       97
51.58/51.61	c 39.4s |       6 |   256532 |     3181 |   120061      0 |       57 |       97
52.68/52.78	c 40.5s |       7 |   272876 |     3223 |   120061      0 |       57 |       97
56.98/57.04	c 44.8s |       7 |   309032 |     3323 |   120061      0 |       57 |       97
59.38/59.42	c 47.2s |       7 |   309461 |     3423 |   120061      0 |       57 |       97
62.18/62.22	c 50.0s |       7 |   325081 |     3623 |   120061      0 |       57 |       97
64.28/64.39	c 52.1s |       7 |   340910 |     3723 |   120061      0 |       57 |       97
67.68/67.75	c 55.5s |       7 |   366493 |     3823 |   120061      0 |       57 |       97
71.58/71.68	c 59.4s |       7 |   373182 |     4023 |   120061      0 |       57 |       97
75.48/75.53	c 63.3s |       7 |   398840 |     4223 |   120061      0 |       57 |       97
78.98/79.08	c 66.8s |       7 |   435694 |     4323 |   120061      0 |       57 |       97
82.68/82.73	c 70.5s |       7 |   441485 |     4423 |   120061      0 |       57 |       97
85.37/85.44	c 73.2s |       7 |   441941 |     4523 |   120061      0 |       57 |       97
88.57/88.68	c 76.4s |       7 |   465072 |     4723 |   120061      0 |       57 |       97
92.07/92.13	c 79.9s |       7 |   499960 |     4823 |   120061      0 |       57 |       97
96.07/96.13	c 83.9s |       7 |   541257 |     4923 |   120061      0 |       57 |       97
96.77/96.87	c 84.6s |       8 |   546294 |     4936 |   120061      0 |       57 |       97
99.97/100.01	c 87.7s |       8 |   549407 |     5036 |   120061      0 |       57 |       97
104.37/104.42	c 92.2s |       8 |   571014 |     5236 |   120061      0 |       57 |       97
107.87/107.90	c 95.6s |       8 |   594338 |     5336 |   120061      0 |       57 |       97
112.87/112.91	c  100s |       8 |   599899 |     5436 |   120061      0 |       57 |       97
115.98/116.07	c  103s |       8 |   600402 |     5536 |   120061      0 |       57 |       97
118.78/118.89	c  106s |       8 |   609240 |     5636 |   120061      0 |       57 |       97
121.98/122.08	c  109s |       8 |   631246 |     5736 |   120061      0 |       57 |       97
124.68/124.70	c  112s |       8 |   663637 |     5836 |   120061      0 |       57 |       97
128.77/128.87	c  116s |       8 |   668374 |     5936 |   120061      0 |       57 |       97
132.87/132.91	c  120s |       8 |   673746 |     6136 |   120061      0 |       57 |       97
134.87/134.95	c  122s |       8 |   702271 |     6236 |   120061      0 |       57 |       97
139.17/139.20	c  126s |       8 |   743572 |     6336 |   120061      0 |       57 |       97
143.77/143.87	c  131s |       8 |   775810 |     6436 |   120061      0 |       57 |       97
148.27/148.36	c  136s |       8 |   776078 |     6536 |   120061      0 |       57 |       97
152.17/152.27	c  140s |       8 |   776643 |     6636 |   120061      0 |       57 |       97
157.97/158.02	c  145s |       8 |   824670 |     6836 |   120061      0 |       57 |       97
161.37/161.42	c  149s |       8 |   852214 |     6936 |   120061      0 |       57 |       97
163.37/163.43	c  151s |       8 |   853238 |     7136 |   132068      0 |       57 |       97
166.47/166.57	c  154s |       8 |   877812 |     7236 |   132068      0 |       57 |       97
170.17/170.27	c  158s |       8 |   916722 |     7336 |   132068      0 |       57 |       97
173.17/173.24	c  160s |       8 |   933672 |     7436 |   132068      0 |       57 |       97
175.17/175.22	c  162s |       9 |   934264 |     7506 |   132068      0 |       57 |       97
181.77/181.82	c  169s |       9 |   937185 |     7606 |   132068      0 |       57 |       97
187.17/187.23	c  174s |       9 |   937614 |     7706 |   132068      0 |       57 |       97
191.76/191.87	c  179s |       9 |   985933 |     7906 |   132068      0 |       57 |       97
195.06/195.15	c  182s |       9 |  1022971 |     8106 |   132068      0 |       57 |       97
198.76/198.85	c  186s |       9 |  1052136 |     8206 |   132068      0 |       57 |       97
201.26/201.32	c  189s |       9 |  1074588 |     8306 |   132068      0 |       57 |       97
204.06/204.13	c  191s |       9 |  1095738 |     8406 |   132068      0 |       57 |       97
206.26/206.32	c  194s |       9 |  1109105 |     8506 |   132068      0 |       57 |       97
209.17/209.26	c  196s |       9 |  1128526 |     8706 |   132068      0 |       57 |       97
211.16/211.29	c  199s |       9 |  1129942 |     8806 |   132068      0 |       57 |       97
215.66/215.76	c  203s |       9 |  1142063 |     9006 |   132068      0 |       57 |       97
218.25/218.35	c  206s |       9 |  1161363 |     9106 |   132068      0 |       57 |       97
221.85/221.96	c  209s |       9 |  1170593 |     9306 |   132068      0 |       57 |       97
224.25/224.34	c  212s |       9 |  1179365 |     9406 |   132068      0 |       57 |       97
226.55/226.65	c  214s |       9 |  1189043 |     9606 |   132068      0 |       57 |       97
228.85/228.98	c  216s |       9 |  1192971 |     9806 |   132068      0 |       57 |       97
231.26/231.39	c  219s |       9 |  1194617 |     9906 |   132068      0 |       57 |       97
233.66/233.73	c  221s |       9 |  1201580 |    10106 |   132068      0 |       57 |       97
237.45/237.53	c  225s |       9 |  1202206 |    10306 |   132068      0 |       57 |       97
239.55/239.69	c  227s |       9 |  1204736 |    10406 |   132068      0 |       57 |       97
243.65/243.75	c  231s |       9 |  1206361 |    10606 |   132068      0 |       57 |       97
245.85/245.93	c  233s |       9 |  1206548 |    10706 |   132068      0 |       57 |       97
248.76/248.81	c  236s |       9 |  1206920 |    10906 |   132068      0 |       57 |       97
251.15/251.22	c  238s |       9 |  1208267 |    11106 |   132068      0 |       57 |       97
255.55/255.64	c  243s |       9 |  1208970 |    11306 |   132068      0 |       57 |       97
256.95/257.06	c  244s |      10 |  1209230 |    11361 |   132068      0 |       57 |       97
259.15/259.24	c  246s |      10 |  1220504 |    11461 |   132068      0 |       57 |       97
261.45/261.53	c  249s |      10 |  1253353 |    11561 |   132068      0 |       57 |       97
263.55/263.69	c  251s |      10 |  1274531 |    11661 |   132068      0 |       57 |       97
266.54/266.67	c  254s |      10 |  1288405 |    11761 |   132068      0 |       57 |       97
268.65/268.74	c  256s |      10 |  1289541 |    11961 |   132068      0 |       57 |       97
273.24/273.36	c  261s |      10 |  1322543 |    12161 |   132068      0 |       57 |       97
276.94/277.05	c  264s |      10 |  1354768 |    12261 |   132068      0 |       57 |       97
278.94/279.09	c  266s |      10 |  1368634 |    12361 |   132068      0 |       57 |       97
281.44/281.58	c  269s |      10 |  1376463 |    12461 |   132068      0 |       57 |       97
284.04/284.18	c  271s |      10 |  1384283 |    12761 |   145275      0 |       57 |       97
286.74/286.83	c  274s |      10 |  1388385 |    13061 |   145275      0 |       57 |       97
289.64/289.71	c  277s |      10 |  1408906 |    13161 |   145275      0 |       57 |       97
293.64/293.79	c  281s |      10 |  1411414 |    13261 |   145275      0 |       57 |       97
296.83/296.95	c  284s |      10 |  1417807 |    13361 |   145275      0 |       57 |       97
302.13/302.26	c  289s |      10 |  1427522 |    13561 |   145275      0 |       57 |       97
304.53/304.64	c  292s |      10 |  1428481 |    13661 |   145275      0 |       57 |       97
308.03/308.10	c  295s |      10 |  1429101 |    13861 |   145275      0 |       57 |       97
311.23/311.35	c  299s |      10 |  1429753 |    14061 |   145275      0 |       57 |       97
314.33/314.41	c  302s |      10 |  1435863 |    14161 |   145275      0 |       57 |       97
316.43/316.56	c  304s |      10 |  1436636 |    14261 |   145275      0 |       57 |       97
319.03/319.16	c  306s |      10 |  1436982 |    14361 |   145275      0 |       57 |       97
323.63/323.71	c  311s |      10 |  1437767 |    14561 |   145275      0 |       57 |       97
328.52/328.61	c  316s |      10 |  1439422 |    14761 |   145275      0 |       57 |       97
330.82/330.95	c  318s |      10 |  1441524 |    14861 |   145275      0 |       57 |       97
335.32/335.43	c  323s |      10 |  1483460 |    15061 |   145275      0 |       57 |       97
338.43/338.53	c  326s |      10 |  1496982 |    15161 |   145275      0 |       57 |       97
341.13/341.23	c  328s |      10 |  1510538 |    15461 |   145275      0 |       57 |       97
343.33/343.45	c  331s |      10 |  1528535 |    15561 |   145275      0 |       57 |       97
347.93/348.07	c  335s |      10 |  1547806 |    15661 |   145275      0 |       57 |       97
350.42/350.57	c  338s |      10 |  1580628 |    15761 |   145275      0 |       57 |       97
354.33/354.47	c  342s |      10 |  1611864 |    15861 |   145275      0 |       57 |       97
358.12/358.23	c  345s |      10 |  1646018 |    15961 |   145275      0 |       57 |       97
361.12/361.22	c  348s |      10 |  1670150 |    16061 |   145275      0 |       57 |       97
364.23/364.30	c  352s |      10 |  1678115 |    16161 |   145275      0 |       57 |       97
368.92/369.08	c  356s |      10 |  1689124 |    16361 |   145275      0 |       57 |       97
371.32/371.47	c  359s |      10 |  1693419 |    16661 |   145275      0 |       57 |       97
373.52/373.62	c  361s |      10 |  1698634 |    16761 |   145275      0 |       57 |       97
375.82/375.92	c  363s |      10 |  1699409 |    16961 |   145275      0 |       57 |       97
378.11/378.25	c  365s |      11 |  1713584 |    17144 |   145275      0 |       57 |       97
380.31/380.49	c  368s |      11 |  1717508 |    17244 |   145275      0 |       57 |       97
383.31/383.42	c  371s |      11 |  1718658 |    17444 |   145275      0 |       57 |       97
386.01/386.15	c  373s |      11 |  1719886 |    17744 |   145275      0 |       57 |       97
389.41/389.52	c  377s |      11 |  1720781 |    17944 |   145275      0 |       57 |       97
393.31/393.47	c  381s |      11 |  1721241 |    18144 |   145275      0 |       57 |       97
397.31/397.49	c  385s |      11 |  1764467 |    18344 |   145275      0 |       57 |       97
399.81/399.94	c  387s |      11 |  1782699 |    18444 |   145275      0 |       57 |       97
402.01/402.11	c  389s |      11 |  1788461 |    18744 |   145275      0 |       57 |       97
405.71/405.88	c  393s |      11 |  1818693 |    19044 |   145275      0 |       57 |       97
409.50/409.69	c  397s |      11 |  1849349 |    19144 |   145275      0 |       57 |       97
413.30/413.47	c  401s |      11 |  1882885 |    19244 |   145275      0 |       57 |       97
416.60/416.72	c  404s |      11 |  1913921 |    19344 |   145275      0 |       57 |       97
420.60/420.79	c  408s |      11 |  1934158 |    19444 |   145275      0 |       57 |       97
424.00/424.19	c  411s |      11 |  1947940 |    19644 |   145275      0 |       57 |       97
426.60/426.73	c  414s |      11 |  1963231 |    19744 |   145275      0 |       57 |       97
429.20/429.37	c  417s |      11 |  1971731 |    19944 |   145275      0 |       57 |       97
433.90/434.09	c  421s |      11 |  1991433 |    20144 |   145275      0 |       57 |       97
438.30/438.43	c  426s |      11 |  1998173 |    20344 |   145275      0 |       57 |       97
441.20/441.39	c  429s |      11 |  2005273 |    20444 |   145275      0 |       57 |       97
445.70/445.83	c  433s |      11 |  2007794 |    20644 |   145275      0 |       57 |       97
449.19/449.35	c  437s |      11 |  2008523 |    20844 |   145275      0 |       57 |       97
451.20/451.36	c  439s |      11 |  2009388 |    20944 |   145275      0 |       57 |       97
453.49/453.61	c  441s |      11 |  2010712 |    21144 |   145275      0 |       57 |       97
456.29/456.47	c  444s |      11 |  2011633 |    21444 |   159803      0 |       57 |       97
458.59/458.78	c  446s |      11 |  2013000 |    21644 |   159803      0 |       57 |       97
462.20/462.34	c  450s |      11 |  2047380 |    21844 |   159803      0 |       57 |       97
466.29/466.48	c  454s |      11 |  2067554 |    22044 |   159803      0 |       57 |       97
468.99/469.11	c  456s |      11 |  2070676 |    22244 |   159803      0 |       57 |       97
472.69/472.81	c  460s |      11 |  2085550 |    22644 |   159803      0 |       57 |       97
476.79/476.97	c  464s |      11 |  2104884 |    22744 |   159803      0 |       57 |       97
480.59/480.79	c  468s |      11 |  2135604 |    22844 |   159803      0 |       57 |       97
483.28/483.48	c  471s |      11 |  2156047 |    22944 |   159803      0 |       57 |       97
486.58/486.76	c  474s |      11 |  2178231 |    23044 |   159803      0 |       57 |       97
489.78/489.97	c  477s |      11 |  2194599 |    23144 |   159803      0 |       57 |       97
491.98/492.14	c  479s |      11 |  2202867 |    23244 |   159803      0 |       57 |       97
496.08/496.23	c  483s |      11 |  2215013 |    23344 |   159803      0 |       57 |       97
499.48/499.67	c  487s |      11 |  2222549 |    23444 |   159803      0 |       57 |       97
501.47/501.68	c  489s |      11 |  2222949 |    23544 |   159803      0 |       57 |       97
505.37/505.59	c  493s |      11 |  2229176 |    23644 |   159803      0 |       57 |       97
508.47/508.67	c  496s |      11 |  2229581 |    23744 |   159803      0 |       57 |       97
512.68/512.83	c  500s |      11 |  2231564 |    23944 |   159803      0 |       57 |       97
515.87/516.07	c  503s |      11 |  2231928 |    24044 |   159803      0 |       57 |       97
517.96/518.20	c  505s |      11 |  2232536 |    24144 |   159803      0 |       57 |       97
520.06/520.24	c  507s |      11 |  2233993 |    24244 |   159803      0 |       57 |       97
523.46/523.68	c  511s |      11 |  2236254 |    24544 |   159803      0 |       57 |       97
527.56/527.73	c  515s |      11 |  2262753 |    24744 |   159803      0 |       57 |       97
531.06/531.24	c  518s |      11 |  2294887 |    24844 |   159803      0 |       57 |       97
533.46/533.69	c  521s |      11 |  2304702 |    24944 |   159803      0 |       57 |       97
535.66/535.85	c  523s |      11 |  2305656 |    25144 |   159803      0 |       57 |       97
539.65/539.88	c  527s |      11 |  2338898 |    25344 |   159803      0 |       57 |       97
543.05/543.22	c  530s |      11 |  2359182 |    25444 |   159803      0 |       57 |       97
546.15/546.36	c  534s |      11 |  2386278 |    25544 |   159803      0 |       57 |       97
549.45/549.65	c  537s |      11 |  2407049 |    25644 |   159803      0 |       57 |       97
552.95/553.17	c  540s |      11 |  2426125 |    25744 |   159803      0 |       57 |       97
555.05/555.23	c  542s |      12 |  2436619 |    25819 |   159803      0 |       57 |       97
557.75/557.97	c  545s |      12 |  2445789 |    25919 |   159803      0 |       57 |       97
562.25/562.41	c  550s |      12 |  2452256 |    26119 |   159803      0 |       57 |       97
565.24/565.42	c  553s |      12 |  2455387 |    26419 |   159803      0 |       57 |       97
568.24/568.49	c  556s |      12 |  2456506 |    26619 |   159803      0 |       57 |       97
571.54/571.71	c  559s |      12 |  2465799 |    26819 |   159803      0 |       57 |       97
574.84/575.08	c  562s |      12 |  2466377 |    27019 |   159803      0 |       57 |       97
578.43/578.68	c  566s |      12 |  2472110 |    27119 |   159803      0 |       57 |       97
581.73/581.99	c  569s |      12 |  2481360 |    27219 |   159803      0 |       57 |       97
583.93/584.12	c  571s |      12 |  2487602 |    27319 |   159803      0 |       57 |       97
587.13/587.31	c  575s |      12 |  2491614 |    27519 |   159803      0 |       57 |       97
590.03/590.23	c  577s |      12 |  2494399 |    27619 |   159803      0 |       57 |       97
592.13/592.34	c  580s |      12 |  2494937 |    27719 |   159803      0 |       57 |       97
594.83/595.07	c  582s |      12 |  2496942 |    27819 |   159803      0 |       57 |       97
597.03/597.21	c  584s |      12 |  2499400 |    27919 |   159803      0 |       57 |       97
600.53/600.71	c  588s |      12 |  2500337 |    28219 |   159803      0 |       57 |       97
603.93/604.18	c  591s |      12 |  2500935 |    28419 |   159803      0 |       57 |       97
607.62/607.88	c  595s |      12 |  2501984 |    28619 |   159803      0 |       57 |       97
609.82/610.09	c  597s |      12 |  2504423 |    28819 |   159803      0 |       57 |       97
612.52/612.74	c  600s |      12 |  2505840 |    29119 |   159803      0 |       57 |       97
617.02/617.28	c  605s |      12 |  2540663 |    29319 |   159803      0 |       57 |       97
620.62/620.84	c  608s |      12 |  2572611 |    29419 |   159803      0 |       57 |       97
623.72/623.94	c  611s |      12 |  2583518 |    29519 |   159803      0 |       57 |       97
625.82/626.04	c  613s |      12 |  2585934 |    29719 |   159803      0 |       57 |       97
628.22/628.46	c  616s |      12 |  2609081 |    29819 |   159803      0 |       57 |       97
631.42/631.64	c  619s |      12 |  2631308 |    29919 |   159803      0 |       57 |       97
635.21/635.44	c  623s |      12 |  2661680 |    30019 |   159803      0 |       57 |       97
639.12/639.37	c  627s |      12 |  2687326 |    30119 |   159803      0 |       57 |       97
642.42/642.67	c  630s |      12 |  2702126 |    30219 |   159803      0 |       57 |       97
646.61/646.80	c  634s |      12 |  2720429 |    30319 |   159803      0 |       57 |       97
650.51/650.78	c  638s |      12 |  2737244 |    30619 |   159803      0 |       57 |       97
654.01/654.27	c  642s |      12 |  2744081 |    30819 |   159803      0 |       57 |       97
657.61/657.85	c  645s |      12 |  2753450 |    30919 |   159803      0 |       57 |       97
660.01/660.22	c  647s |      12 |  2766180 |    31019 |   159803      0 |       57 |       97
663.51/663.73	c  651s |      12 |  2774313 |    31119 |   159803      0 |       57 |       97
667.30/667.54	c  655s |      12 |  2775603 |    31219 |   159803      0 |       57 |       97
671.20/671.45	c  659s |      12 |  2778844 |    31419 |   159803      0 |       57 |       97
674.20/674.42	c  662s |      12 |  2779487 |    31519 |   159803      0 |       57 |       97
678.59/678.87	c  666s |      12 |  2785164 |    31719 |   159803      0 |       57 |       97
681.79/682.03	c  669s |      12 |  2785517 |    31819 |   159803      0 |       57 |       97
685.79/686.04	c  673s |      12 |  2787482 |    32019 |   159803      0 |       57 |       97
689.09/689.35	c  677s |      12 |  2791430 |    32219 |   159803      0 |       57 |       97
692.38/692.68	c  680s |      12 |  2798064 |    32319 |   159803      0 |       57 |       97
695.88/696.10	c  683s |      12 |  2798430 |    32419 |   159803      0 |       57 |       97
701.68/702.00	c  689s |      12 |  2800115 |    32619 |   159803      0 |       57 |       97
704.09/704.35	c  692s |      12 |  2800394 |    32719 |   159803      0 |       57 |       97
707.48/707.79	c  695s |      12 |  2800916 |    32919 |   159803      0 |       57 |       97
709.59/709.89	c  697s |      12 |  2802265 |    33019 |   159803      0 |       57 |       97
711.68/711.96	c  699s |      12 |  2802674 |    33119 |   159803      0 |       57 |       97
714.08/714.35	c  702s |      12 |  2803143 |    33319 |   159803      0 |       57 |       97
716.78/717.03	c  704s |      12 |  2803668 |    33519 |   159803      0 |       57 |       97
720.58/720.87	c  708s |      12 |  2804158 |    33719 |   159803      0 |       57 |       97
724.77/725.00	c  712s |      12 |  2824647 |    33919 |   159803      0 |       57 |       97
727.08/727.32	c  715s |      12 |  2831838 |    34119 |   159803      0 |       57 |       97
729.57/729.80	c  717s |      12 |  2843123 |    34319 |   175784      0 |       57 |       97
732.97/733.23	c  720s |      12 |  2864670 |    34419 |   175784      0 |       57 |       97
735.17/735.49	c  723s |      12 |  2879906 |    34519 |   175784      0 |       57 |       97
737.77/738.09	c  725s |      12 |  2904928 |    34619 |   175784      0 |       57 |       97
741.17/741.46	c  729s |      12 |  2923047 |    34719 |   175784      0 |       57 |       97
743.68/743.90	c  731s |      12 |  2941344 |    34819 |   175784      0 |       57 |       97
746.37/746.68	c  734s |      12 |  2943512 |    35019 |   175784      0 |       57 |       97
751.17/751.44	c  739s |      12 |  2964212 |    35219 |   175784      0 |       57 |       97
753.78/754.04	c  741s |      12 |  2972669 |    35319 |   175784      0 |       57 |       97
757.57/757.85	c  745s |      12 |  2977693 |    35519 |   175784      0 |       57 |       97
759.77/760.00	c  747s |      12 |  2977959 |    35619 |   175784      0 |       57 |       97
761.87/762.15	c  749s |      12 |  2978227 |    35719 |   175784      0 |       57 |       97
765.68/765.95	c  753s |      12 |  2988414 |    35819 |   175784      0 |       57 |       97
769.47/769.77	c  757s |      12 |  2994268 |    36019 |   175784      0 |       57 |       97
772.37/772.69	c  760s |      12 |  3000921 |    36119 |   175784      0 |       57 |       97
775.87/776.10	c  763s |      12 |  3017676 |    36219 |   175784      0 |       57 |       97
777.87/778.19	c  765s |      12 |  3025637 |    36319 |   175784      0 |       57 |       97
780.98/781.27	c  769s |      12 |  3026727 |    36519 |   175784      0 |       57 |       97
783.28/783.57	c  771s |      12 |  3027368 |    36619 |   175784      0 |       57 |       97
786.67/786.98	c  774s |      12 |  3032697 |    36819 |   175784      0 |       57 |       97
789.78/790.01	c  777s |      12 |  3033788 |    37019 |   175784      0 |       57 |       97
792.97/793.29	c  781s |      12 |  3036382 |    37219 |   175784      0 |       57 |       97
795.37/795.64	c  783s |      12 |  3037164 |    37419 |   175784      0 |       57 |       97
798.07/798.36	c  786s |      12 |  3038492 |    37619 |   175784      0 |       57 |       97
800.37/800.64	c  788s |      12 |  3039088 |    37819 |   175784      0 |       57 |       97
803.16/803.49	c  791s |      12 |  3040169 |    38019 |   175784      0 |       57 |       97
806.46/806.77	c  794s |      12 |  3040760 |    38219 |   175784      0 |       57 |       97
808.96/809.30	c  797s |      12 |  3044204 |    38419 |   175784      0 |       57 |       97
811.46/811.73	c  799s |      12 |  3045171 |    38619 |   175784      0 |       57 |       97
814.16/814.41	c  802s |      12 |  3046294 |    38819 |   175784      0 |       57 |       97
814.36/814.61	c  802s |      13 |  3046315 |    38832 |   175784      0 |       57 |       97
816.76/817.01	c  804s |      13 |  3048958 |    38932 |   175784      0 |       57 |       97
818.76/819.09	c  806s |      13 |  3049399 |    39132 |   175784      0 |       57 |       97
822.26/822.57	c  810s |      13 |  3049826 |    39332 |   175784      0 |       57 |       97
824.56/824.89	c  812s |      13 |  3051649 |    39532 |   175784      0 |       57 |       97
826.66/826.90	c  814s |      13 |  3052611 |    39732 |   175784      0 |       57 |       97
829.86/830.11	c  817s |      13 |  3053701 |    39932 |   175784      0 |       57 |       97
832.46/832.75	c  820s |      13 |  3054264 |    40132 |   175784      0 |       57 |       97
836.15/836.41	c  824s |      13 |  3057976 |    40332 |   175784      0 |       57 |       97
839.05/839.34	c  827s |      13 |  3073454 |    40432 |   175784      0 |       57 |       97
841.75/842.09	c  829s |      13 |  3100435 |    40532 |   175784      0 |       57 |       97
844.86/845.13	c  832s |      13 |  3119126 |    40632 |   175784      0 |       57 |       97
848.06/848.31	c  836s |      13 |  3136672 |    40732 |   175784      0 |       57 |       97
851.36/851.63	c  839s |      13 |  3155474 |    40832 |   175784      0 |       57 |       97
855.65/856.00	c  843s |      13 |  3166583 |    40932 |   175784      0 |       57 |       97
859.95/860.21	c  847s |      13 |  3170972 |    41032 |   175784      0 |       57 |       97
862.85/863.16	c  850s |      13 |  3181346 |    41132 |   175784      0 |       57 |       97
867.45/867.74	c  855s |      13 |  3191595 |    41232 |   175784      0 |       57 |       97
872.36/872.64	c  860s |      13 |  3204935 |    41432 |   175784      0 |       57 |       97
874.96/875.29	c  863s |      13 |  3213597 |    41532 |   175784      0 |       57 |       97
879.16/879.44	c  867s |      13 |  3215550 |    41732 |   175784      0 |       57 |       97
881.56/881.84	c  869s |      13 |  3216168 |    41832 |   175784      0 |       57 |       97
886.06/886.35	c  874s |      13 |  3217215 |    42032 |   175784      0 |       57 |       97
888.06/888.36	c  876s |      13 |  3218027 |    42232 |   175784      0 |       57 |       97
891.06/891.35	c  879s |      13 |  3219116 |    42432 |   175784      0 |       57 |       97
893.95/894.20	c  881s |      13 |  3220322 |    42632 |   175784      0 |       57 |       97
897.66/897.91	c  885s |      13 |  3237599 |    42932 |   175784      0 |       57 |       97
900.65/900.99	c  888s |      13 |  3258104 |    43032 |   175784      0 |       57 |       97
903.85/904.11	c  891s |      13 |  3270303 |    43132 |   175784      0 |       57 |       97
907.35/907.63	c  895s |      13 |  3284947 |    43232 |   175784      0 |       57 |       97
911.96/912.27	c  900s |      13 |  3316063 |    43332 |   175784      0 |       57 |       97
916.36/916.62	c  904s |      13 |  3342744 |    43432 |   175784      0 |       57 |       97
920.66/920.92	c  908s |      13 |  3366748 |    43532 |   175784      0 |       57 |       97
924.35/924.69	c  912s |      13 |  3372918 |    43632 |   175784      0 |       57 |       97
927.15/927.45	c  915s |      13 |  3374357 |    43732 |   175784      0 |       57 |       97
931.25/931.52	c  919s |      13 |  3388725 |    43832 |   175784      0 |       57 |       97
934.25/934.53	c  922s |      13 |  3400461 |    43932 |   175784      0 |       57 |       97
936.45/936.79	c  924s |      13 |  3418901 |    44032 |   175784      0 |       57 |       97
938.95/939.27	c  927s |      13 |  3429597 |    44132 |   175784      0 |       57 |       97
941.44/941.75	c  929s |      13 |  3430447 |    44332 |   175784      0 |       57 |       97
944.44/944.79	c  932s |      13 |  3430914 |    44532 |   175784      0 |       57 |       97
947.15/947.44	c  935s |      13 |  3432359 |    44732 |   175784      0 |       57 |       97
950.14/950.46	c  938s |      13 |  3434340 |    45032 |   175784      0 |       57 |       97
953.54/953.86	c  941s |      13 |  3434727 |    45232 |   175784      0 |       57 |       97
955.74/956.02	c  943s |      13 |  3434917 |    45332 |   175784      0 |       57 |       97
958.54/958.87	c  946s |      13 |  3456690 |    45432 |   175784      0 |       57 |       97
961.04/961.32	c  949s |      13 |  3477752 |    45532 |   175784      0 |       57 |       97
964.54/964.82	c  952s |      13 |  3502102 |    45632 |   175784      0 |       57 |       97
967.74/968.06	c  955s |      13 |  3513743 |    45732 |   175784      0 |       57 |       97
971.34/971.61	c  959s |      13 |  3522265 |    45832 |   175784      0 |       57 |       97
974.34/974.66	c  962s |      13 |  3538307 |    45932 |   175784      0 |       57 |       97
978.04/978.30	c  966s |      13 |  3550378 |    46032 |   175784      0 |       57 |       97
981.34/981.66	c  969s |      13 |  3555380 |    46132 |   175784      0 |       57 |       97
986.24/986.51	c  974s |      13 |  3573072 |    46232 |   175784      0 |       57 |       97
989.13/989.43	c  977s |      13 |  3583059 |    46332 |   175784      0 |       57 |       97
991.63/991.96	c  979s |      13 |  3587812 |    46432 |   175784      0 |       57 |       97
995.33/995.69	c  983s |      13 |  3596200 |    46532 |   175784      0 |       57 |       97
998.53/998.89	c  986s |      13 |  3602097 |    46632 |   175784      0 |       57 |       97
1000.94/1001.27	c  989s |      13 |  3607121 |    46732 |   175784      0 |       57 |       97
1003.03/1003.34	c  991s |      13 |  3609911 |    46932 |   175784      0 |       57 |       97
1006.63/1006.93	c  994s |      13 |  3616806 |    47132 |   175784      0 |       57 |       97
1009.43/1009.74	c  997s |      13 |  3619600 |    47232 |   175784      0 |       57 |       97
1011.63/1011.91	c  999s |      13 |  3620786 |    47332 |   175784      0 |       57 |       97
1013.93/1014.29	c 1002s |      13 |  3622285 |    47432 |   175784      0 |       57 |       97
1016.73/1017.08	c 1004s |      13 |  3627782 |    47532 |   175784      0 |       57 |       97
1019.73/1020.03	c 1007s |      13 |  3631245 |    47632 |   175784      0 |       57 |       97
1022.43/1022.70	c 1010s |      13 |  3632054 |    47732 |   175784      0 |       57 |       97
1025.63/1025.94	c 1013s |      13 |  3632498 |    47832 |   175784      0 |       57 |       97
1029.54/1029.87	c 1017s |      13 |  3634510 |    48032 |   175784      0 |       57 |       97
1032.53/1032.84	c 1020s |      13 |  3635736 |    48132 |   175784      0 |       57 |       97
1035.14/1035.41	c 1023s |      13 |  3636286 |    48232 |   175784      0 |       57 |       97
1037.53/1037.88	c 1025s |      13 |  3636740 |    48332 |   175784      0 |       57 |       97
1040.83/1041.15	c 1028s |      13 |  3639464 |    48432 |   175784      0 |       57 |       97
1044.83/1045.19	c 1032s |      13 |  3640395 |    48632 |   175784      0 |       57 |       97
1049.22/1049.59	c 1037s |      13 |  3641000 |    48732 |   175784      0 |       57 |       97
1052.73/1053.09	c 1040s |      13 |  3641609 |    48832 |   175784      0 |       57 |       97
1055.52/1055.90	c 1043s |      13 |  3641797 |    48932 |   175784      0 |       57 |       97
1058.02/1058.40	c 1046s |      13 |  3642430 |    49032 |   175784      0 |       57 |       97
1060.12/1060.48	c 1048s |      13 |  3643032 |    49132 |   175784      0 |       57 |       97
1062.92/1063.28	c 1051s |      13 |  3643326 |    49332 |   175784      0 |       57 |       97
1066.62/1066.99	c 1054s |      13 |  3643812 |    49532 |   175784      0 |       57 |       97
1069.62/1070.00	c 1057s |      13 |  3644574 |    49732 |   175784      0 |       57 |       97
1072.92/1073.23	c 1060s |      13 |  3645545 |    49932 |   175784      0 |       57 |       97
1075.02/1075.38	c 1063s |      13 |  3653258 |    50032 |   175784      0 |       57 |       97
1077.92/1078.27	c 1066s |      13 |  3670130 |    50132 |   175784      0 |       57 |       97
1080.52/1080.81	c 1068s |      13 |  3689033 |    50232 |   175784      0 |       57 |       97
1083.72/1084.03	c 1071s |      13 |  3699740 |    50332 |   175784      0 |       57 |       97
1087.02/1087.38	c 1075s |      13 |  3717488 |    50432 |   175784      0 |       57 |       97
1090.72/1091.03	c 1078s |      13 |  3730932 |    50532 |   175784      0 |       57 |       97
1095.21/1095.57	c 1083s |      13 |  3752619 |    50732 |   175784      0 |       57 |       97
1098.11/1098.41	c 1086s |      13 |  3755978 |    50832 |   175784      0 |       57 |       97
1100.91/1101.29	c 1089s |      13 |  3759760 |    50932 |   175784      0 |       57 |       97
1104.61/1104.93	c 1092s |      13 |  3762595 |    51032 |   175784      0 |       57 |       97
1108.82/1109.19	c 1096s |      13 |  3781147 |    51232 |   175784      0 |       57 |       97
1110.92/1111.26	c 1099s |      13 |  3789212 |    51332 |   175784      0 |       57 |       97
1114.12/1114.40	c 1102s |      13 |  3791808 |    51532 |   175784      0 |       57 |       97
1117.53/1117.82	c 1105s |      13 |  3794499 |    51732 |   175784      0 |       57 |       97
1119.62/1119.96	c 1107s |      13 |  3794770 |    51832 |   175784      0 |       57 |       97
1121.82/1122.10	c 1109s |      13 |  3796787 |    51932 |   175784      0 |       57 |       97
1124.23/1124.57	c 1112s |      13 |  3797930 |    52132 |   175784      0 |       57 |       97
1127.12/1127.46	c 1115s |      13 |  3799761 |    52432 |   175784      0 |       57 |       97
1130.12/1130.49	c 1118s |      13 |  3801175 |    52532 |   175784      0 |       57 |       97
1132.92/1133.21	c 1120s |      13 |  3810199 |    52732 |   175784      0 |       57 |       97
1136.02/1136.31	c 1124s |      13 |  3836806 |    52832 |   175784      0 |       57 |       97
1139.42/1139.76	c 1127s |      13 |  3865780 |    52932 |   175784      0 |       57 |       97
1143.32/1143.68	c 1131s |      13 |  3888507 |    53032 |   175784      0 |       57 |       97
1146.42/1146.70	c 1134s |      13 |  3898125 |    53132 |   175784      0 |       57 |       97
1149.81/1150.16	c 1137s |      13 |  3912972 |    53232 |   175784      0 |       57 |       97
1153.11/1153.42	c 1141s |      13 |  3924865 |    53332 |   175784      0 |       57 |       97
1156.02/1156.33	c 1144s |      13 |  3938648 |    53432 |   175784      0 |       57 |       97
1159.51/1159.88	c 1147s |      13 |  3942899 |    53532 |   175784      0 |       57 |       97
1162.81/1163.15	c 1150s |      13 |  3961513 |    53632 |   175784      0 |       57 |       97
1166.02/1166.31	c 1154s |      13 |  3971068 |    53732 |   193363      0 |       57 |       97
1170.42/1170.77	c 1158s |      13 |  3979016 |    53932 |   193363      0 |       57 |       97
1173.01/1173.32	c 1161s |      13 |  3981108 |    54132 |   193363      0 |       57 |       97
1175.82/1176.14	c 1163s |      13 |  3981899 |    54332 |   193363      0 |       57 |       97
1178.51/1178.86	c 1166s |      13 |  3984781 |    54532 |   193363      0 |       57 |       97
1180.71/1181.07	c 1168s |      13 |  3985508 |    54732 |   193363      0 |       57 |       97
1183.21/1183.51	c 1171s |      13 |  3987581 |    54932 |   193363      0 |       57 |       97
1185.61/1185.97	c 1173s |      13 |  3988202 |    55132 |   193363      0 |       57 |       97
1189.30/1189.66	c 1177s |      13 |  3989658 |    55332 |   193363      0 |       57 |       97
1192.10/1192.45	c 1180s |      13 |  3990556 |    55532 |   193363      0 |       57 |       97
1195.00/1195.39	c 1183s |      13 |  3992552 |    55732 |   193363      0 |       57 |       97
1198.00/1198.32	c 1186s |      13 |  3993220 |    55932 |   193363      0 |       57 |       97
1200.60/1200.94	c 1188s |      13 |  3994000 |    56132 |   193363      0 |       57 |       97
1203.60/1203.91	c 1191s |      13 |  3995032 |    56332 |   193363      0 |       57 |       97
1206.50/1206.85	c 1194s |      13 |  4016754 |    56432 |   193363      0 |       57 |       97
1210.01/1210.38	c 1198s |      13 |  4040184 |    56532 |   193363      0 |       57 |       97
1213.80/1214.18	c 1201s |      13 |  4054794 |    56632 |   193363      0 |       57 |       97
1216.10/1216.42	c 1204s |      13 |  4065790 |    56732 |   193363      0 |       57 |       97
1218.90/1219.24	c 1206s |      13 |  4080930 |    56832 |   193363      0 |       57 |       97
1224.40/1224.77	c 1212s |      13 |  4094336 |    57032 |   193363      0 |       57 |       97
1227.30/1227.60	c 1215s |      13 |  4109555 |    57132 |   193363      0 |       57 |       97
1230.30/1230.62	c 1218s |      13 |  4119030 |    57232 |   193363      0 |       57 |       97
1234.11/1234.44	c 1222s |      13 |  4121916 |    57432 |   193363      0 |       57 |       97
1237.30/1237.62	c 1225s |      13 |  4122457 |    57632 |   193363      0 |       57 |       97
1239.50/1239.87	c 1227s |      13 |  4125435 |    57732 |   193363      0 |       57 |       97
1244.20/1244.55	c 1232s |      13 |  4138567 |    57932 |   193363      0 |       57 |       97
1248.60/1248.95	c 1236s |      13 |  4144563 |    58132 |   193363      0 |       57 |       97
1252.00/1252.32	c 1240s |      13 |  4144977 |    58332 |   193363      0 |       57 |       97
1252.60/1252.98	c 1240s |      14 |  4145014 |    58352 |   193363      0 |       57 |       97
1255.60/1255.92	c 1243s |      14 |  4150024 |    58452 |   193363      0 |       57 |       97
1258.19/1258.51	c 1246s |      14 |  4154084 |    58752 |   193363      0 |       57 |       97
1260.99/1261.34	c 1249s |      14 |  4156069 |    58952 |   193363      0 |       57 |       97
1263.80/1264.13	c 1251s |      14 |  4156818 |    59152 |   193363      0 |       57 |       97
1266.79/1267.10	c 1254s |      14 |  4158752 |    59352 |   193363      0 |       57 |       97
1268.79/1269.13	c 1256s |      14 |  4159396 |    59452 |   193363      0 |       57 |       97
1271.09/1271.45	c 1259s |      14 |  4159595 |    59552 |   193363      0 |       57 |       97
1274.90/1275.25	c 1262s |      14 |  4164860 |    59752 |   193363      0 |       57 |       97
1276.89/1277.29	c 1265s |      14 |  4165773 |    59852 |   193363      0 |       57 |       97
1279.09/1279.47	c 1267s |      14 |  4165963 |    59952 |   193363      0 |       57 |       97
1282.09/1282.41	c 1270s |      14 |  4167043 |    60152 |   193363      0 |       57 |       97
1284.89/1285.24	c 1272s |      14 |  4168870 |    60352 |   193363      0 |       57 |       97
1290.19/1290.56	c 1278s |      14 |  4201805 |    60552 |   193363      0 |       57 |       97
1293.19/1293.50	c 1281s |      14 |  4224086 |    60652 |   193363      0 |       57 |       97
1296.89/1297.26	c 1285s |      14 |  4244563 |    60752 |   193363      0 |       57 |       97
1301.09/1301.42	c 1289s |      14 |  4267157 |    60852 |   193363      0 |       57 |       97
1304.59/1304.90	c 1292s |      14 |  4281914 |    60952 |   193363      0 |       57 |       97
1308.39/1308.79	c 1296s |      14 |  4309680 |    61052 |   193363      0 |       57 |       97
1312.19/1312.53	c 1300s |      14 |  4337226 |    61152 |   193363      0 |       57 |       97
1315.38/1315.80	c 1303s |      14 |  4344236 |    61252 |   193363      0 |       57 |       97
1318.58/1318.93	c 1306s |      14 |  4353211 |    61452 |   193363      0 |       57 |       97
1321.18/1321.56	c 1309s |      14 |  4356747 |    61652 |   193363      0 |       57 |       97
1325.08/1325.41	c 1313s |      14 |  4363228 |    61852 |   193363      0 |       57 |       97
1328.58/1328.90	c 1316s |      14 |  4365945 |    62052 |   193363      0 |       57 |       97
1330.68/1331.09	c 1318s |      14 |  4369817 |    62152 |   193363      0 |       57 |       97
1332.88/1333.25	c 1320s |      14 |  4369985 |    62252 |   193363      0 |       57 |       97
1336.98/1337.31	c 1325s |      14 |  4370452 |    62452 |   193363      0 |       57 |       97
1339.69/1340.10	c 1327s |      14 |  4370907 |    62652 |   193363      0 |       57 |       97
1343.48/1343.83	c 1331s |      14 |  4371685 |    62852 |   193363      0 |       57 |       97
1345.78/1346.15	c 1333s |      14 |  4372943 |    62952 |   193363      0 |       57 |       97
1348.08/1348.40	c 1336s |      14 |  4374096 |    63152 |   193363      0 |       57 |       97
1350.18/1350.53	c 1338s |      14 |  4374488 |    63352 |   193363      0 |       57 |       97
1352.28/1352.69	c 1340s |      14 |  4381291 |    63452 |   193363      0 |       57 |       97
1354.48/1354.86	c 1342s |      14 |  4397503 |    63552 |   193363      0 |       57 |       97
1358.08/1358.44	c 1346s |      14 |  4421070 |    63652 |   193363      0 |       57 |       97
1361.68/1362.02	c 1349s |      14 |  4433019 |    63752 |   193363      0 |       57 |       97
1365.27/1365.66	c 1353s |      14 |  4448992 |    63852 |   193363      0 |       57 |       97
1368.38/1368.75	c 1356s |      14 |  4468102 |    63952 |   193363      0 |       57 |       97
1372.07/1372.46	c 1360s |      14 |  4494386 |    64052 |   193363      0 |       57 |       97
1376.97/1377.30	c 1365s |      14 |  4507540 |    64252 |   193363      0 |       57 |       97
1380.38/1380.78	c 1368s |      14 |  4517353 |    64452 |   193363      0 |       57 |       97
1383.07/1383.44	c 1371s |      14 |  4525953 |    64552 |   193363      0 |       57 |       97
1385.67/1386.08	c 1373s |      14 |  4532093 |    64652 |   193363      0 |       57 |       97
1388.18/1388.51	c 1376s |      14 |  4539249 |    64752 |   193363      0 |       57 |       97
1390.77/1391.19	c 1378s |      14 |  4541322 |    64952 |   193363      0 |       57 |       97
1393.27/1393.61	c 1381s |      14 |  4543064 |    65152 |   193363      0 |       57 |       97
1395.37/1395.73	c 1383s |      14 |  4543764 |    65352 |   193363      0 |       57 |       97
1397.98/1398.34	c 1386s |      14 |  4544789 |    65552 |   193363      0 |       57 |       97
1400.68/1401.02	c 1388s |      14 |  4546318 |    65752 |   193363      0 |       57 |       97
1403.67/1404.07	c 1391s |      14 |  4549608 |    65952 |   193363      0 |       57 |       97
1406.07/1406.48	c 1394s |      14 |  4550521 |    66052 |   193363      0 |       57 |       97
1409.57/1409.97	c 1397s |      14 |  4554189 |    66152 |   193363      0 |       57 |       97
1411.97/1412.39	c 1400s |      14 |  4554868 |    66252 |   193363      0 |       57 |       97
1414.17/1414.56	c 1402s |      14 |  4555135 |    66352 |   193363      0 |       57 |       97
1418.47/1418.80	c 1406s |      14 |  4557884 |    66552 |   193363      0 |       57 |       97
1421.27/1421.62	c 1409s |      14 |  4558989 |    66652 |   193363      0 |       57 |       97
1424.07/1424.49	c 1412s |      14 |  4560196 |    66752 |   193363      0 |       57 |       97
1427.17/1427.55	c 1415s |      14 |  4560547 |    66852 |   193363      0 |       57 |       97
1429.37/1429.76	c 1417s |      14 |  4560773 |    66952 |   193363      0 |       57 |       97
1432.97/1433.34	c 1421s |      14 |  4561335 |    67152 |   193363      0 |       57 |       97
1436.87/1437.28	c 1425s |      14 |  4562763 |    67352 |   193363      0 |       57 |       97
1439.67/1440.08	c 1427s |      14 |  4563770 |    67552 |   193363      0 |       57 |       97
1442.27/1442.69	c 1430s |      14 |  4571780 |    67752 |   193363      0 |       57 |       97
1445.77/1446.10	c 1433s |      14 |  4593040 |    67852 |   193363      0 |       57 |       97
1449.17/1449.55	c 1437s |      14 |  4602802 |    67952 |   193363      0 |       57 |       97
1451.88/1452.22	c 1439s |      14 |  4613558 |    68052 |   193363      0 |       57 |       97
1454.18/1454.57	c 1442s |      14 |  4623166 |    68152 |   193363      0 |       57 |       97
1457.48/1457.82	c 1445s |      14 |  4633758 |    68252 |   193363      0 |       57 |       97
1461.17/1461.59	c 1449s |      14 |  4654285 |    68352 |   193363      0 |       57 |       97
1464.27/1464.67	c 1452s |      14 |  4671809 |    68452 |   193363      0 |       57 |       97
1467.86/1468.29	c 1456s |      14 |  4696834 |    68552 |   193363      0 |       57 |       97
1470.96/1471.33	c 1459s |      14 |  4700888 |    68752 |   193363      0 |       57 |       97
1473.26/1473.63	c 1461s |      14 |  4703552 |    68852 |   193363      0 |       57 |       97
1475.56/1475.91	c 1463s |      14 |  4706526 |    68952 |   193363      0 |       57 |       97
1477.96/1478.39	c 1466s |      14 |  4706800 |    69052 |   193363      0 |       57 |       97
1480.76/1481.14	c 1468s |      14 |  4714393 |    69152 |   193363      0 |       57 |       97
1483.36/1483.71	c 1471s |      14 |  4717225 |    69252 |   193363      0 |       57 |       97
1486.36/1486.75	c 1474s |      14 |  4718629 |    69452 |   193363      0 |       57 |       97
1488.86/1489.22	c 1476s |      14 |  4719485 |    69652 |   193363      0 |       57 |       97
1491.46/1491.85	c 1479s |      14 |  4720789 |    69852 |   193363      0 |       57 |       97
1494.16/1494.52	c 1482s |      14 |  4721691 |    70052 |   193363      0 |       57 |       97
1497.26/1497.64	c 1485s |      14 |  4722187 |    70252 |   193363      0 |       57 |       97
1501.15/1501.54	c 1489s |      14 |  4747029 |    70452 |   193363      0 |       57 |       97
1504.55/1504.98	c 1492s |      14 |  4766947 |    70552 |   193363      0 |       57 |       97
1507.85/1508.26	c 1496s |      14 |  4777250 |    70652 |   193363      0 |       57 |       97
1510.55/1510.94	c 1498s |      14 |  4787617 |    70752 |   193363      0 |       57 |       97
1514.56/1514.98	c 1502s |      14 |  4792925 |    70952 |   193363      0 |       57 |       97
1517.65/1518.03	c 1505s |      14 |  4798814 |    71052 |   193363      0 |       57 |       97
1520.75/1521.12	c 1508s |      14 |  4802021 |    71152 |   193363      0 |       57 |       97
1524.65/1525.05	c 1512s |      14 |  4808298 |    71352 |   193363      0 |       57 |       97
1527.65/1528.10	c 1515s |      14 |  4811475 |    71552 |   193363      0 |       57 |       97
1530.55/1530.93	c 1518s |      14 |  4814345 |    71752 |   193363      0 |       57 |       97
1534.05/1534.46	c 1522s |      14 |  4821957 |    71852 |   193363      0 |       57 |       97
1536.75/1537.14	c 1524s |      14 |  4831540 |    71952 |   193363      0 |       57 |       97
1538.85/1539.21	c 1526s |      14 |  4831805 |    72052 |   193363      0 |       57 |       97
1542.85/1543.20	c 1530s |      14 |  4832598 |    72252 |   193363      0 |       57 |       97
1545.75/1546.13	c 1533s |      14 |  4833617 |    72452 |   193363      0 |       57 |       97
1550.95/1551.31	c 1539s |      14 |  4844358 |    72652 |   193363      0 |       57 |       97
1553.84/1554.22	c 1541s |      14 |  4861376 |    72752 |   193363      0 |       57 |       97
1557.45/1557.84	c 1545s |      14 |  4869746 |    72852 |   193363      0 |       57 |       97
1561.24/1561.67	c 1549s |      14 |  4881175 |    72952 |   193363      0 |       57 |       97
1564.05/1564.49	c 1552s |      14 |  4887260 |    73052 |   193363      0 |       57 |       97
1567.74/1568.19	c 1555s |      14 |  4906681 |    73152 |   193363      0 |       57 |       97
1571.75/1572.16	c 1559s |      14 |  4924472 |    73252 |   193363      0 |       57 |       97
1574.54/1574.91	c 1562s |      14 |  4928741 |    73352 |   193363      0 |       57 |       97
1576.55/1576.97	c 1564s |      14 |  4935481 |    73452 |   193363      0 |       57 |       97
1579.55/1579.95	c 1567s |      14 |  4944277 |    73652 |   193363      0 |       57 |       97
1582.35/1582.78	c 1570s |      14 |  4944662 |    73752 |   193363      0 |       57 |       97
1584.85/1585.23	c 1572s |      14 |  4945700 |    73952 |   193363      0 |       57 |       97
1587.05/1587.50	c 1575s |      14 |  4946886 |    74152 |   193363      0 |       57 |       97
1589.45/1589.89	c 1577s |      14 |  4947770 |    74352 |   193363      0 |       57 |       97
1592.15/1592.50	c 1580s |      14 |  4948653 |    74552 |   193363      0 |       57 |       97
1594.14/1594.54	c 1582s |      14 |  4953565 |    74752 |   193363      0 |       57 |       97
1597.44/1597.88	c 1585s |      14 |  4971035 |    74852 |   193363      0 |       57 |       97
1600.94/1601.38	c 1589s |      14 |  4983918 |    74952 |   193363      0 |       57 |       97
1604.44/1604.80	c 1592s |      14 |  4991721 |    75052 |   193363      0 |       57 |       97
1607.94/1608.40	c 1596s |      14 |  5006317 |    75152 |   193363      0 |       57 |       97
1611.35/1611.75	c 1599s |      14 |  5018599 |    75252 |   193363      0 |       57 |       97
1614.14/1614.53	c 1602s |      14 |  5030969 |    75352 |   193363      0 |       57 |       97
1616.44/1616.80	c 1604s |      14 |  5035035 |    75552 |   193363      0 |       57 |       97
1619.15/1619.59	c 1607s |      14 |  5036949 |    75752 |   193363      0 |       57 |       97
1621.94/1622.32	c 1610s |      14 |  5038509 |    75952 |   193363      0 |       57 |       97
1624.34/1624.74	c 1612s |      14 |  5039188 |    76152 |   193363      0 |       57 |       97
1627.33/1627.72	c 1615s |      14 |  5042979 |    76352 |   193363      0 |       57 |       97
1630.94/1631.37	c 1619s |      14 |  5047667 |    76552 |   193363      0 |       57 |       97
1633.14/1633.56	c 1621s |      14 |  5049221 |    76652 |   193363      0 |       57 |       97
1635.34/1635.70	c 1623s |      14 |  5054635 |    76752 |   193363      0 |       57 |       97
1637.75/1638.12	c 1625s |      14 |  5055125 |    76852 |   193363      0 |       57 |       97
1640.24/1640.61	c 1628s |      14 |  5055682 |    76952 |   193363      0 |       57 |       97
1642.54/1642.90	c 1630s |      14 |  5055983 |    77052 |   193363      0 |       57 |       97
1644.94/1645.34	c 1633s |      14 |  5056371 |    77152 |   193363      0 |       57 |       97
1647.94/1648.39	c 1636s |      14 |  5058133 |    77252 |   193363      0 |       57 |       97
1651.24/1651.63	c 1639s |      14 |  5058939 |    77452 |   193363      0 |       57 |       97
1655.34/1655.78	c 1643s |      14 |  5060446 |    77652 |   193363      0 |       57 |       97
1658.14/1658.53	c 1646s |      14 |  5066844 |    77852 |   193363      0 |       57 |       97
1660.64/1661.10	c 1648s |      14 |  5088319 |    77952 |   193363      0 |       57 |       97
1663.84/1664.25	c 1651s |      14 |  5104689 |    78052 |   193363      0 |       57 |       97
1666.84/1667.25	c 1654s |      14 |  5112553 |    78152 |   193363      0 |       57 |       97
1670.24/1670.66	c 1658s |      14 |  5125150 |    78252 |   193363      0 |       57 |       97
1673.83/1674.23	c 1661s |      14 |  5128044 |    78352 |   193363      0 |       57 |       97
1676.13/1676.55	c 1664s |      14 |  5128487 |    78452 |   193363      0 |       57 |       97
1679.23/1679.62	c 1667s |      14 |  5138669 |    78552 |   193363      0 |       57 |       97
1683.73/1684.11	c 1671s |      14 |  5147264 |    78652 |   193363      0 |       57 |       97
1686.93/1687.31	c 1675s |      14 |  5162855 |    78752 |   193363      0 |       57 |       97
1689.33/1689.78	c 1677s |      14 |  5166523 |    78952 |   193363      0 |       57 |       97
1692.84/1693.25	c 1680s |      14 |  5173433 |    79152 |   193363      0 |       57 |       97
1695.43/1695.89	c 1683s |      14 |  5180987 |    79252 |   193363      0 |       57 |       97
1697.83/1698.25	c 1685s |      14 |  5188040 |    79352 |   193363      0 |       57 |       97
1699.83/1700.27	c 1688s |      14 |  5188955 |    79452 |   193363      0 |       57 |       97
1702.53/1702.96	c 1690s |      14 |  5189337 |    79552 |   193363      0 |       57 |       97
1706.53/1706.99	c 1694s |      14 |  5190983 |    79752 |   193363      0 |       57 |       97
1711.03/1711.43	c 1699s |      14 |  5192115 |    79952 |   193363      0 |       57 |       97
1713.33/1713.78	c 1701s |      14 |  5192412 |    80052 |   193363      0 |       57 |       97
1716.12/1716.54	c 1704s |      14 |  5199166 |    80152 |   193363      0 |       57 |       97
1720.82/1721.27	c 1709s |      14 |  5200563 |    80252 |   193363      0 |       57 |       97
1723.53/1723.91	c 1711s |      14 |  5200839 |    80352 |   193363      0 |       57 |       97
1727.12/1727.58	c 1715s |      14 |  5201824 |    80552 |   193363      0 |       57 |       97
1730.02/1730.41	c 1718s |      14 |  5202096 |    80652 |   193363      0 |       57 |       97
1735.32/1735.77	c 1723s |      14 |  5202882 |    80852 |   193363      0 |       57 |       97
1737.52/1737.94	c 1725s |      14 |  5204871 |    80952 |   193363      0 |       57 |       97
1741.02/1741.47	c 1729s |      14 |  5207815 |    81152 |   193363      0 |       57 |       97
1746.02/1746.43	c 1734s |      14 |  5217533 |    81352 |   193363      0 |       57 |       97
1750.02/1750.48	c 1738s |      14 |  5232644 |    81452 |   193363      0 |       57 |       97
1754.42/1754.84	c 1742s |      14 |  5248958 |    81552 |   193363      0 |       57 |       97
1758.62/1759.08	c 1746s |      14 |  5267728 |    81652 |   193363      0 |       57 |       97
1763.12/1763.60	c 1751s |      14 |  5290424 |    81752 |   193363      0 |       57 |       97
1767.52/1767.91	c 1755s |      14 |  5304760 |    81852 |   193363      0 |       57 |       97
1771.81/1772.28	c 1760s |      14 |  5322558 |    81952 |   193363      0 |       57 |       97
1774.51/1774.92	c 1762s |      14 |  5331462 |    82052 |   193363      0 |       57 |       97
1778.71/1779.10	c 1766s |      14 |  5345112 |    82152 |   193363      0 |       57 |       97
1781.71/1782.15	c 1769s |      14 |  5347717 |    82352 |   193363      0 |       57 |       97
1784.71/1785.11	c 1772s |      14 |  5348276 |    82552 |   193363      0 |       57 |       97
1787.61/1788.02	c 1775s |      14 |  5350188 |    82752 |   212700      0 |       57 |       97
1789.71/1790.10	c 1777s |      14 |  5351262 |    82952 |   212700      0 |       57 |       97
1792.11/1792.52	c 1780s |      14 |  5351831 |    83152 |   212700      0 |       57 |       97
1794.91/1795.34	c 1783s |      14 |  5353932 |    83352 |   212700      0 |       57 |       97
1797.41/1797.87	c 1785s |      14 |  5355102 |    83552 |   212700      0 |       57 |       97

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

pid=12493
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.05 2.07 2.03 3/179 12496
/proc/meminfo: memFree=30432076/32872528 swapFree=11196/354588
[pid=12496] ppid=12493 vsize=776636 CPUtime=0 cores=1,3,5,7
/proc/12496/stat : 12496 (toysat) R 12493 12496 8429 0 -1 4202496 2910 0 0 0 0 0 0 0 20 0 4 0 106931335 795275264 2760 33554432000 4194304 16246674 140734705226672 140734705226096 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12496/statm: 194927 2769 441 2943 0 191821 0
[pid=12496/tid=12497] ppid=12493 vsize=795068 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12497/stat : 12497 (toysat) S 12493 12496 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106931335 814149632 2829 33554432000 4194304 16246674 140734705226672 140098952735984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12496/tid=12498] ppid=12493 vsize=798140 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12498/stat : 12498 (toysat) S 12493 12496 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106931335 817295360 2844 33554432000 4194304 16246674 140734705226672 140098942246128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12496/tid=12499] ppid=12493 vsize=803260 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12499/stat : 12499 (toysat) S 12493 12496 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106931335 822538240 2860 33554432000 4194304 16246674 140734705226672 140098931772592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100135 s]
/proc/loadavg: 2.05 2.07 2.03 3/179 12496
/proc/meminfo: memFree=30432076/32872528 swapFree=11196/354588
[pid=12496] ppid=12493 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/12496/stat : 12496 (toysat) R 12493 12496 8429 0 -1 4202496 26873 0 0 0 5 4 0 0 20 0 4 0 106931335 1332285440 26662 33554432000 4194304 16246674 140734705226672 140734705225984 7889302 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12496/statm: 325265 26674 798 2943 0 322159 0
[pid=12496/tid=12497] ppid=12493 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12497/stat : 12497 (toysat) S 12493 12496 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106931335 1332285440 26684 33554432000 4194304 16246674 140734705226672 140098952735984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12496/tid=12498] ppid=12493 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12498/stat : 12498 (toysat) S 12493 12496 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106931335 1332285440 26695 33554432000 4194304 16246674 140734705226672 140098942246128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12496/tid=12499] ppid=12493 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12499/stat : 12499 (toysat) S 12493 12496 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106931335 1332285440 26706 33554432000 4194304 16246674 140734705226672 140098931772592 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) 1301060

[startup+0.200549 s]
/proc/loadavg: 2.05 2.07 2.03 3/179 12496
/proc/meminfo: memFree=30432076/32872528 swapFree=11196/354588
[pid=12496] ppid=12493 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/12496/stat : 12496 (toysat) R 12493 12496 8429 0 -1 4202496 47534 0 0 0 12 7 0 0 20 0 4 0 106931335 1344868352 47833 33554432000 4194304 16246674 140734705226672 140734705225984 13967455 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12496/statm: 328337 47833 799 2943 0 325231 0
[pid=12496/tid=12497] ppid=12493 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12497/stat : 12497 (toysat) S 12493 12496 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106931335 1344868352 47833 33554432000 4194304 16246674 140734705226672 140098952735984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12496/tid=12498] ppid=12493 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12498/stat : 12498 (toysat) S 12493 12496 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106931335 1344868352 47833 33554432000 4194304 16246674 140734705226672 140098942246128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12496/tid=12499] ppid=12493 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12499/stat : 12499 (toysat) S 12493 12496 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106931335 1344868352 47833 33554432000 4194304 16246674 140734705226672 140098931772592 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.300508 s]
/proc/loadavg: 2.05 2.07 2.03 3/179 12496
/proc/meminfo: memFree=30432076/32872528 swapFree=11196/354588
[pid=12496] ppid=12493 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/12496/stat : 12496 (toysat) R 12493 12496 8429 0 -1 4202496 59035 0 0 0 20 9 0 0 20 0 4 0 106931335 1344868352 59334 33554432000 4194304 16246674 140734705226672 140734705225984 13923665 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12496/statm: 328337 59334 799 2943 0 325231 0
[pid=12496/tid=12497] ppid=12493 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12497/stat : 12497 (toysat) S 12493 12496 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106931335 1344868352 59334 33554432000 4194304 16246674 140734705226672 140098952735984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12496/tid=12498] ppid=12493 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12498/stat : 12498 (toysat) S 12493 12496 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106931335 1344868352 59334 33554432000 4194304 16246674 140734705226672 140098942246128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12496/tid=12499] ppid=12493 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12499/stat : 12499 (toysat) S 12493 12496 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106931335 1344868352 59334 33554432000 4194304 16246674 140734705226672 140098931772592 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.700431 s]
/proc/loadavg: 2.05 2.07 2.03 3/179 12496
/proc/meminfo: memFree=30432076/32872528 swapFree=11196/354588
[pid=12496] ppid=12493 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/12496/stat : 12496 (toysat) R 12493 12496 8429 0 -1 4202496 67733 0 0 0 59 10 0 0 20 0 4 0 106931335 1344868352 68032 33554432000 4194304 16246674 140734705226672 140734705224512 12751049 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12496/statm: 328337 68032 799 2943 0 325231 0
[pid=12496/tid=12497] ppid=12493 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12497/stat : 12497 (toysat) S 12493 12496 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106931335 1344868352 68032 33554432000 4194304 16246674 140734705226672 140098952735984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12496/tid=12498] ppid=12493 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12498/stat : 12498 (toysat) S 12493 12496 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106931335 1344868352 68032 33554432000 4194304 16246674 140734705226672 140098942246128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12496/tid=12499] ppid=12493 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12499/stat : 12499 (toysat) S 12493 12496 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106931335 1344868352 68032 33554432000 4194304 16246674 140734705226672 140098931772592 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.50049 s]
/proc/loadavg: 2.20 2.10 2.04 3/183 12500
/proc/meminfo: memFree=29944412/32872528 swapFree=11196/354588
[pid=12496] ppid=12493 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/12496/stat : 12496 (toysat) R 12493 12496 8429 0 -1 4202496 158299 0 0 0 123 26 0 0 20 0 4 0 106931335 1345916928 158599 33554432000 4194304 16246674 140734705226672 140734705208576 13954914 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12496/statm: 328593 158607 833 2943 0 325487 0
[pid=12496/tid=12497] ppid=12493 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12497/stat : 12497 (toysat) S 12493 12496 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106931335 1345916928 158612 33554432000 4194304 16246674 140734705226672 140098952735984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12496/tid=12498] ppid=12493 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12498/stat : 12498 (toysat) S 12493 12496 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106931335 1345916928 158617 33554432000 4194304 16246674 140734705226672 140098942246128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12496/tid=12499] ppid=12493 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12499/stat : 12499 (toysat) S 12493 12496 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106931335 1345916928 158622 33554432000 4194304 16246674 140734705226672 140098931772592 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) 1314372

[startup+3.1004 s]
/proc/loadavg: 2.20 2.10 2.04 3/184 12511
/proc/meminfo: memFree=29316328/32872528 swapFree=11196/354588
[pid=12496] ppid=12493 vsize=1351236 CPUtime=3.09 cores=1,3,5,7
/proc/12496/stat : 12496 (toysat) R 12493 12496 8429 0 -1 4202496 278470 0 0 0 266 43 0 0 20 0 4 0 106931335 1383665664 278769 33554432000 4194304 16246674 140734705226672 140734705208576 13895970 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12496/statm: 337809 278769 874 2943 0 334703 0
[pid=12496/tid=12497] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12497/stat : 12497 (toysat) S 12493 12496 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 278769 33554432000 4194304 16246674 140734705226672 140098952735984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12496/tid=12498] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12498/stat : 12498 (toysat) S 12493 12496 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 278769 33554432000 4194304 16246674 140734705226672 140098942246128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12496/tid=12499] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12499/stat : 12499 (toysat) S 12493 12496 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 278769 33554432000 4194304 16246674 140734705226672 140098931772592 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) 1351236

[startup+6.30042 s]
/proc/loadavg: 2.19 2.10 2.04 3/184 12511
/proc/meminfo: memFree=29315496/32872528 swapFree=11196/354588
[pid=12496] ppid=12493 vsize=1351236 CPUtime=6.29 cores=1,3,5,7
/proc/12496/stat : 12496 (toysat) R 12493 12496 8429 0 -1 4202496 278511 0 0 0 586 43 0 0 20 0 4 0 106931335 1383665664 278810 33554432000 4194304 16246674 140734705226672 140734705208576 6837238 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12496/statm: 337809 278810 913 2943 0 334703 0
[pid=12496/tid=12497] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12497/stat : 12497 (toysat) S 12493 12496 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 278810 33554432000 4194304 16246674 140734705226672 140098952735984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12496/tid=12498] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12498/stat : 12498 (toysat) S 12493 12496 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 278810 33554432000 4194304 16246674 140734705226672 140098942246128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12496/tid=12499] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12499/stat : 12499 (toysat) S 12493 12496 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 278810 33554432000 4194304 16246674 140734705226672 140098931772592 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) 1351236

[startup+12.7004 s]
/proc/loadavg: 2.17 2.09 2.04 4/184 12511
/proc/meminfo: memFree=29315596/32872528 swapFree=11196/354588
[pid=12496] ppid=12493 vsize=1351236 CPUtime=12.69 cores=1,3,5,7
/proc/12496/stat : 12496 (toysat) R 12493 12496 8429 0 -1 4202496 278512 0 0 0 1226 43 0 0 20 0 4 0 106931335 1383665664 278811 33554432000 4194304 16246674 140734705226672 140734705208576 5531312 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12496/statm: 337809 278811 913 2943 0 334703 0
[pid=12496/tid=12497] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12497/stat : 12497 (toysat) S 12493 12496 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 278811 33554432000 4194304 16246674 140734705226672 140098952735984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12496/tid=12498] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12498/stat : 12498 (toysat) S 12493 12496 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 278811 33554432000 4194304 16246674 140734705226672 140098942246128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12496/tid=12499] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12499/stat : 12499 (toysat) S 12493 12496 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 278811 33554432000 4194304 16246674 140734705226672 140098931772592 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) 1351236

[startup+25.5004 s]
/proc/loadavg: 2.13 2.09 2.04 3/184 12511
/proc/meminfo: memFree=29316284/32872528 swapFree=11196/354588
[pid=12496] ppid=12493 vsize=1351236 CPUtime=25.49 cores=1,3,5,7
/proc/12496/stat : 12496 (toysat) R 12493 12496 8429 0 -1 4202496 278512 0 0 0 2506 43 0 0 20 0 4 0 106931335 1383665664 278811 33554432000 4194304 16246674 140734705226672 140734705208576 5711688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12496/statm: 337809 278811 913 2943 0 334703 0
[pid=12496/tid=12497] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12497/stat : 12497 (toysat) S 12493 12496 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 278811 33554432000 4194304 16246674 140734705226672 140098952735984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12496/tid=12498] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12498/stat : 12498 (toysat) S 12493 12496 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 278811 33554432000 4194304 16246674 140734705226672 140098942246128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12496/tid=12499] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12499/stat : 12499 (toysat) S 12493 12496 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 278811 33554432000 4194304 16246674 140734705226672 140098931772592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1351236

[startup+51.1004 s]
/proc/loadavg: 2.09 2.08 2.04 3/184 12560
/proc/meminfo: memFree=29422188/32872528 swapFree=11196/354588
[pid=12496] ppid=12493 vsize=1351236 CPUtime=51.08 cores=1,3,5,7
/proc/12496/stat : 12496 (toysat) R 12493 12496 8429 0 -1 4202496 278513 0 0 0 5065 43 0 0 20 0 4 0 106931335 1383665664 279067 33554432000 4194304 16246674 140734705226672 140734705208576 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12496/statm: 337809 279067 913 2943 0 334703 0
[pid=12496/tid=12497] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12497/stat : 12497 (toysat) S 12493 12496 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279067 33554432000 4194304 16246674 140734705226672 140098952735984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12496/tid=12498] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12498/stat : 12498 (toysat) S 12493 12496 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279067 33554432000 4194304 16246674 140734705226672 140098942246128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12496/tid=12499] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12499/stat : 12499 (toysat) S 12493 12496 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279067 33554432000 4194304 16246674 140734705226672 140098931772592 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) 1351236

[startup+102.3 s]
/proc/loadavg: 2.13 2.10 2.04 3/183 12561
/proc/meminfo: memFree=29422240/32872528 swapFree=11196/354588
[pid=12496] ppid=12493 vsize=1351236 CPUtime=102.27 cores=1,3,5,7
/proc/12496/stat : 12496 (toysat) R 12493 12496 8429 0 -1 4202496 278513 0 0 0 10184 43 0 0 20 0 4 0 106931335 1383665664 279067 33554432000 4194304 16246674 140734705226672 140734705208576 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12496/statm: 337809 279067 913 2943 0 334703 0
[pid=12496/tid=12497] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12497/stat : 12497 (toysat) S 12493 12496 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279067 33554432000 4194304 16246674 140734705226672 140098952735984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12496/tid=12498] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12498/stat : 12498 (toysat) S 12493 12496 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279067 33554432000 4194304 16246674 140734705226672 140098942246128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12496/tid=12499] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12499/stat : 12499 (toysat) S 12493 12496 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279067 33554432000 4194304 16246674 140734705226672 140098931772592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1351236


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

/proc/12496/task/12499/stat : 12499 (toysat) S 12493 12496 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098931772592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 1351236

[startup+1302.3 s]
/proc/loadavg: 2.17 2.06 2.01 3/183 12614
/proc/meminfo: memFree=29379504/32872528 swapFree=11196/354588
[pid=12496] ppid=12493 vsize=1351236 CPUtime=1301.99 cores=1,3,5,7
/proc/12496/stat : 12496 (toysat) R 12493 12496 8429 0 -1 4202496 278663 0 0 0 130147 52 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140734705208576 13780640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12496/statm: 337809 279069 915 2943 0 334703 0
[pid=12496/tid=12497] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12497/stat : 12497 (toysat) S 12493 12496 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098952735984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12496/tid=12498] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12498/stat : 12498 (toysat) S 12493 12496 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098942246128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12496/tid=12499] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12499/stat : 12499 (toysat) S 12493 12496 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098931772592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 1351236

[startup+1362.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/183 12615
/proc/meminfo: memFree=29379408/32872528 swapFree=11196/354588
[pid=12496] ppid=12493 vsize=1351236 CPUtime=1361.98 cores=1,3,5,7
/proc/12496/stat : 12496 (toysat) R 12493 12496 8429 0 -1 4202496 278663 0 0 0 136146 52 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140734705208576 5711801 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12496/statm: 337809 279069 915 2943 0 334703 0
[pid=12496/tid=12497] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12497/stat : 12497 (toysat) S 12493 12496 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098952735984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12496/tid=12498] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12498/stat : 12498 (toysat) S 12493 12496 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098942246128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12496/tid=12499] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12499/stat : 12499 (toysat) S 12493 12496 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098931772592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1351236

[startup+1422.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/183 12616
/proc/meminfo: memFree=29379376/32872528 swapFree=11196/354588
[pid=12496] ppid=12493 vsize=1351236 CPUtime=1421.97 cores=1,3,5,7
/proc/12496/stat : 12496 (toysat) R 12493 12496 8429 0 -1 4202496 278663 0 0 0 142143 54 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140734705208576 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12496/statm: 337809 279069 915 2943 0 334703 0
[pid=12496/tid=12497] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12497/stat : 12497 (toysat) S 12493 12496 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098952735984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12496/tid=12498] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12498/stat : 12498 (toysat) S 12493 12496 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098942246128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12496/tid=12499] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12499/stat : 12499 (toysat) S 12493 12496 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098931772592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1351236

[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 12617
/proc/meminfo: memFree=29379424/32872528 swapFree=11196/354588
[pid=12496] ppid=12493 vsize=1351236 CPUtime=1481.96 cores=1,3,5,7
/proc/12496/stat : 12496 (toysat) R 12493 12496 8429 0 -1 4202496 278663 0 0 0 148142 54 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140734705208576 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12496/statm: 337809 279069 915 2943 0 334703 0
[pid=12496/tid=12497] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12497/stat : 12497 (toysat) S 12493 12496 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098952735984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12496/tid=12498] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12498/stat : 12498 (toysat) S 12493 12496 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098942246128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12496/tid=12499] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12499/stat : 12499 (toysat) S 12493 12496 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098931772592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1351236

[startup+1542.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 12619
/proc/meminfo: memFree=29379424/32872528 swapFree=11196/354588
[pid=12496] ppid=12493 vsize=1351236 CPUtime=1541.95 cores=1,3,5,7
/proc/12496/stat : 12496 (toysat) R 12493 12496 8429 0 -1 4202496 278663 0 0 0 154141 54 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140734705208576 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12496/statm: 337809 279069 915 2943 0 334703 0
[pid=12496/tid=12497] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12497/stat : 12497 (toysat) S 12493 12496 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098952735984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12496/tid=12498] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12498/stat : 12498 (toysat) S 12493 12496 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098942246128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12496/tid=12499] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12499/stat : 12499 (toysat) S 12493 12496 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098931772592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 1351236

[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 12620
/proc/meminfo: memFree=29379428/32872528 swapFree=11196/354588
[pid=12496] ppid=12493 vsize=1351236 CPUtime=1601.94 cores=1,3,5,7
/proc/12496/stat : 12496 (toysat) R 12493 12496 8429 0 -1 4202496 278663 0 0 0 160139 55 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140734705208576 12477787 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12496/statm: 337809 279069 915 2943 0 334703 0
[pid=12496/tid=12497] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12497/stat : 12497 (toysat) S 12493 12496 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098952735984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12496/tid=12498] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12498/stat : 12498 (toysat) S 12493 12496 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098942246128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12496/tid=12499] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12499/stat : 12499 (toysat) S 12493 12496 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098931772592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 1351236

[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/184 12624
/proc/meminfo: memFree=29379076/32872528 swapFree=11196/354588
[pid=12496] ppid=12493 vsize=1351236 CPUtime=1661.94 cores=1,3,5,7
/proc/12496/stat : 12496 (toysat) R 12493 12496 8429 0 -1 4202496 278663 0 0 0 166138 56 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140734705208576 5711984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12496/statm: 337809 279069 915 2943 0 334703 0
[pid=12496/tid=12497] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12497/stat : 12497 (toysat) S 12493 12496 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098952735984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12496/tid=12498] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12498/stat : 12498 (toysat) S 12493 12496 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098942246128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12496/tid=12499] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12499/stat : 12499 (toysat) S 12493 12496 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098931772592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1351236

[startup+1722.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/182 12625
/proc/meminfo: memFree=29379844/32872528 swapFree=11196/354588
[pid=12496] ppid=12493 vsize=1351236 CPUtime=1721.92 cores=1,3,5,7
/proc/12496/stat : 12496 (toysat) R 12493 12496 8429 0 -1 4202496 278663 0 0 0 172136 56 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140734705208576 6021376 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12496/statm: 337809 279069 915 2943 0 334703 0
[pid=12496/tid=12497] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12497/stat : 12497 (toysat) S 12493 12496 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098952735984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12496/tid=12498] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12498/stat : 12498 (toysat) S 12493 12496 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098942246128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12496/tid=12499] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12499/stat : 12499 (toysat) S 12493 12496 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098931772592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 1351236

[startup+1782.31 s]
/proc/loadavg: 2.13 2.08 2.01 3/183 12627
/proc/meminfo: memFree=29373788/32872528 swapFree=11196/354588
[pid=12496] ppid=12493 vsize=1351236 CPUtime=1781.92 cores=1,3,5,7
/proc/12496/stat : 12496 (toysat) R 12493 12496 8429 0 -1 4202496 278663 0 0 0 178136 56 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140734705208576 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12496/statm: 337809 279069 915 2943 0 334703 0
[pid=12496/tid=12497] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12497/stat : 12497 (toysat) S 12493 12496 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098952735984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12496/tid=12498] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12498/stat : 12498 (toysat) S 12493 12496 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098942246128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12496/tid=12499] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12499/stat : 12499 (toysat) S 12493 12496 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098931772592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1351236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.10 2.07 2.01 3/183 12627
/proc/meminfo: memFree=29373912/32872528 swapFree=11196/354588
[pid=12496] ppid=12493 vsize=1351236 CPUtime=1800.01 cores=1,3,5,7
/proc/12496/stat : 12496 (toysat) R 12493 12496 8429 0 -1 4202496 278663 0 0 0 179945 56 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140734705208576 5676075 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12496/statm: 337809 279069 915 2943 0 334703 0
[pid=12496/tid=12497] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12497/stat : 12497 (toysat) S 12493 12496 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098952735984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12496/tid=12498] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12498/stat : 12498 (toysat) S 12493 12496 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098942246128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12496/tid=12499] ppid=12493 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/12496/task/12499/stat : 12499 (toysat) S 12493 12496 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106931335 1383665664 279069 33554432000 4194304 16246674 140734705226672 140098931772592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1351236

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 12496 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.03
CPU user time (s): 1799.46
CPU system time (s): 0.568913
CPU usage (%): 99.9788
Max. virtual memory (cumulated for all children) (KiB): 1351236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.568913
maximum resident set size= 1116276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278663
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= 164
involuntary context switches= 1874

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.48732 second user time and 7.01593 second system time

The end

Begin job on node126 at 2016-06-06 23:52:59
IDJOB=4079850
IDBENCH=24993
IDSOLVER=2542
FILE ID=node126/4079850-1465249979
RUNJOBID= node126-1465218023-8446
PBS_JOBID= 19843210
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_023_area_delay.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079850-1465249979/watcher-4079850-1465249979 -o /tmp/evaluation-result-4079850-1465249979/solver-4079850-1465249979 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8446 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079850-1465249979.opb

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

MD5SUM BENCH= d5b07a268537d19686adcc507787a673
RANDOM SEED=543321384

node126.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.500
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.00
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.500
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.500
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.500
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.500
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.500
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.56
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.500
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.500
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30432612 kB
Buffers:           54796 kB
Cached:           141344 kB
SwapCached:         2248 kB
Active:          1274792 kB
Inactive:         110152 kB
Active(anon):    1189044 kB
Inactive(anon):     2388 kB
Active(file):      85748 kB
Inactive(file):   107764 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098548 kB
Dirty:             20584 kB
Writeback:             0 kB
AnonPages:       1501444 kB
Mapped:            10896 kB
Shmem:                 0 kB
Slab:             568372 kB
SReclaimable:      12628 kB
SUnreclaim:       555744 kB
KernelStack:        1520 kB
PageTables:         7380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1687116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1484800 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= 71704 MiB
End job on node126 at 2016-06-07 00:22:59