Trace number 4079969

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.1 1800.61

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12018_6.std.opb
MD5SUMc3c02f6d6ed03ca0aea055091dd3548b
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark142
Best CPU time to get the best result obtained on this benchmark1800.2
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints234329
Number of constraints which are clauses233129
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T06:35:29+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-4079969-1465274129.opb"]
0.00/0.01	c use --random-gen="2457009755 4091420925 1694747847 1679639876 1749478097 2191702321 3900597301 1050728244 1328147637 534708849 1192044003 1122854688 3409776816 3318790496 2923200088 4191848293 1130322738 4013454612 2261463418 1503008753 1281783394 1795766602 972471534 1770127592 2220942544 3579063509 909792781 3908205889 3964680359 1049779221 3679643369 412742080 2681998739 184870115 4082445879 451144893 4159797403 825536816 4114819539 2382550433 1047842673 3699257868 2460043366 335279248 1384101152 3605472661 3445806604 2026120542 3774034690 1072043138 1843262523 236799737 1599075308 653520646 1576327785 2608360387 2893868480 1290349828 3459587711 4172429408 1127512075 2927263465 4262486907 1622198428 1220018121 1941226962 824644036 2164591454 1817630059 185370864 1077973997 1747178985 1490220536 4288348727 394850329 60286430 1779012509 2356878804 1161754459 4234430151 1355747803 3444608767 54658487 1701505821 969627934 2320477690 239376951 4145652556 627841957 1251811991 3431380514 2191648426 1648169536 1537810438 1464402885 2611721492 1713100640 2492848593 3446289592 3241041596 3506211559 4116083074 2431395758 825875567 3658246206 275663120 1699422100 569318717 2269467230 2708804253 2733721495 2371940515 1572053663 3046520048 1802097851 2296851451 424469140 3720343871 1327305728 1106984931 3134773870 3731727077 355122108 619617816 3820061394 2194000969 2506972131 172632892 2468243015 616463248 4204956475 152280446 20298403 3687600827 2173403362 3540853278 2749168846 1165198593 2797215198 1446864745 1712202306 406662119 3289254013 1137433373 293455150 1353876053 1026119217 2234115276 262809892 1155070254 909653990 1022318446 3042854203 4228774720 3632664383 3108973120 3462213046 4270390427 220413795 938109965 2389020820 3714683376 2871589365 651158930 1709688261 3983022237 1243485396 2916344006 2700618725 4147841129 2677325224 44160545 1957014111 2026102626 989012132 3199943931 1368808671 2272221223 2848377958 1501662814 3014677408 3428954034 2988056662 808876008 3345291359 331499334 3678148976 756321049 3625534623 3714193264 2759231830 3516518946 706741493 258652862 3752477812 2263845798 851451124 1810814546 3480870894 3774204427 3055062595 3910310314 1089207006 287758863 3266100518 3396421970 352434499 1028243002 2357325217 1525391104 4192124408 2124787383 1946604321 524303598 1392308462 421198185 1064571263 1239223743 1996655893 3680461725 1291164504 4073977797 1904820670 3257956542 743396857 1533696363 226105748 415914462 2219932490 2815344214 2656229899 2883450849 3755371382 4242562450 1213850563 2656840291 3128975506 1206973282 1429093103 1068664409 2766502879 662276493 2981762235 1189195432 4074249740 1431134531 4275493891 3431891205 2583977407 2829935512 1726181001 3254821697 1665664704 4252276384 3624892171 3881880530 255 362436" option to reproduce the execution
1.40/1.45	c #vars 72842
1.40/1.45	c #constraints 234329
4.29/4.39	c BCD2: Hardening is enabled.
4.29/4.39	c BCD2: BiasedSearch is enabled.
4.29/4.39	c Solving starts ...
4.29/4.39	c ============================[ Search Statistics ]============================
4.29/4.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.29/4.39	c       |         |          |          |    Limit     GC | Var      | Constra 
4.29/4.39	c =============================================================================
4.49/4.60	c  0.0s |       0 |        0 |        0 |    86571      0 |    18697 |        0
4.79/4.85	c  0.3s |       0 |      122 |        0 |    86571      0 |    18697 |    21575
4.79/4.85	c #cpu_time = 0.221s
4.79/4.85	c #wall_clock_time = 0.221s
4.79/4.85	c #decision = 122
4.79/4.85	c #random_decision = 1
4.79/4.85	c #conflict = 0
4.79/4.85	c #restart = 0
4.79/4.85	o 300
4.79/4.85	c BCD2: hardening fixes 1 literals
4.79/4.85	c BCD2: updating upper bound: 45150 -> 299
4.79/4.85	c BCD2: 0 <= obj <= 299
4.79/4.85	c BCD2: #cores=0, #unrelaxed=299, #relaxed=0, #hardened=1
4.79/4.85	c BCD2: #sat=1 #unsat=1 bias=1/2
4.79/4.85	c Solving starts ...
4.79/4.85	c ============================[ Search Statistics ]============================
4.79/4.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.79/4.85	c       |         |          |          |    Limit     GC | Var      | Constra 
4.79/4.85	c =============================================================================
4.79/4.85	c  0.0s |       0 |        0 |        0 |    86571      0 |    18939 |    21575
4.99/5.06	c  0.2s |       0 |      191 |        0 |    86571      0 |    18939 |    22360
4.99/5.06	c #cpu_time = 0.183s
4.99/5.06	c #wall_clock_time = 0.183s
4.99/5.06	c #decision = 191
4.99/5.06	c #random_decision = 0
4.99/5.06	c #conflict = 0
4.99/5.06	c #restart = 0
4.99/5.06	c BCD2: found a new core of size 192: cost of the new core is >=108
4.99/5.06	c lower bound updated to 108
4.99/5.06	c BCD2: 108 <= obj <= 299
4.99/5.06	c BCD2: #cores=1, #unrelaxed=107, #relaxed=192, #hardened=1
4.99/5.06	c BCD2: #sat=1 #unsat=2 bias=2/3
6.39/6.40	c Solving starts ...
6.39/6.40	c ============================[ Search Statistics ]============================
6.39/6.40	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.39/6.40	c       |         |          |          |    Limit     GC | Var      | Constra 
6.39/6.40	c =============================================================================
6.39/6.40	c  0.0s |       0 |        0 |        0 |    86571      0 |    18939 |    22360
6.69/6.76	c  0.4s |       1 |      179 |      100 |    86571      0 |    18939 |    22360
7.19/7.25	c  0.8s |       2 |      401 |      250 |    95229      0 |    18939 |    22360
7.90/7.96	c  1.6s |       3 |      699 |      475 |   104752      0 |    18939 |    22360
8.79/8.89	c  2.5s |       4 |     1184 |      813 |   115228      0 |    18939 |    22360
9.99/10.02	c  3.6s |       5 |     1907 |     1320 |   126751      0 |    18939 |    22360
11.59/11.66	c  5.3s |       6 |     2856 |     2081 |   153370      0 |    18939 |    22360
13.69/13.70	c  7.3s |       6 |     4034 |     2981 |   153370      0 |    18939 |    22360
14.29/14.30	c  7.9s |       7 |     4330 |     3223 |   168707      0 |    18939 |    22360
16.39/16.49	c 10.1s |       7 |     5495 |     4123 |   168707      0 |    18939 |    22360
18.29/18.34	c 11.9s |       8 |     6568 |     4936 |   185578      0 |    18939 |    22360
20.49/20.57	c 14.2s |       8 |     7594 |     5736 |   185578      0 |    18939 |    22360
22.69/22.70	c 16.3s |       8 |     8514 |     6536 |   185578      0 |    18939 |    22360
24.79/24.80	c 18.4s |       9 |     9836 |     7506 |   204136      0 |    18939 |    22360
26.79/26.82	c 20.4s |       9 |    10729 |     8206 |   204136      0 |    18939 |    22360
28.80/28.88	c 22.5s |       9 |    11742 |     9006 |   204136      0 |    18939 |    22360
30.89/30.92	c 24.5s |       9 |    12788 |     9806 |   204136      0 |    18939 |    22360
32.99/33.08	c 26.7s |       9 |    13748 |    10606 |   204136      0 |    18939 |    22360
35.09/35.14	c 28.7s |       9 |    14611 |    11306 |   224550      0 |    18939 |    22360
35.29/35.33	c 28.9s |      10 |    14665 |    11361 |   224550      0 |    18939 |    22360
37.49/37.54	c 31.1s |      10 |    15533 |    12061 |   224550      0 |    18939 |    22360
39.79/39.85	c 33.5s |      10 |    16519 |    12861 |   224550      0 |    18939 |    22360
41.79/41.87	c 35.5s |      10 |    17414 |    13561 |   224550      0 |    18939 |    22360
43.89/43.96	c 37.6s |      10 |    18303 |    14261 |   224550      0 |    18939 |    22360
46.09/46.16	c 39.8s |      10 |    19204 |    14961 |   224550      0 |    18939 |    22360
48.39/48.41	c 42.0s |      10 |    20242 |    15761 |   224550      0 |    18939 |    22360
50.49/50.58	c 44.2s |      10 |    21103 |    16461 |   224550      0 |    18939 |    22360
52.59/52.69	c 46.3s |      11 |    21943 |    17144 |   247006      0 |    18939 |    22360
54.78/54.86	c 48.5s |      11 |    22596 |    17644 |   247006      0 |    18939 |    22360
56.88/56.99	c 50.6s |      11 |    23493 |    18344 |   247006      0 |    18939 |    22360
59.08/59.13	c 52.7s |      11 |    24342 |    19044 |   247006      0 |    18939 |    22360
61.28/61.37	c 55.0s |      11 |    25248 |    19744 |   247006      0 |    18939 |    22360
63.58/63.69	c 57.3s |      11 |    26109 |    20444 |   247006      0 |    18939 |    22360
65.88/65.91	c 59.5s |      11 |    26985 |    21144 |   247006      0 |    18939 |    22360
67.98/68.05	c 61.6s |      11 |    27690 |    21744 |   247006      0 |    18939 |    22360
70.38/70.40	c 64.0s |      11 |    28555 |    22444 |   247006      0 |    18939 |    22360
72.58/72.60	c 66.2s |      11 |    29284 |    23044 |   247006      0 |    18939 |    22360
74.68/74.72	c 68.3s |      11 |    30017 |    23644 |   247006      0 |    18939 |    22360
76.68/76.74	c 70.3s |      11 |    30633 |    24144 |   247006      0 |    18939 |    22360
78.68/78.75	c 72.3s |      11 |    31335 |    24744 |   247006      0 |    18939 |    22360
80.78/80.82	c 74.4s |      11 |    32081 |    25344 |   247006      0 |    18939 |    22360
82.08/82.19	c 75.8s |      12 |    32694 |    25819 |   271707      0 |    18939 |    22360
84.18/84.22	c 77.8s |      12 |    33345 |    26319 |   271707      0 |    18939 |    22360
86.28/86.36	c 80.0s |      12 |    34215 |    27019 |   271707      0 |    18939 |    22360
88.48/88.55	c 82.1s |      12 |    35123 |    27719 |   271707      0 |    18939 |    22360
90.58/90.68	c 84.3s |      12 |    36012 |    28419 |   271707      0 |    18939 |    22360
92.78/92.88	c 86.5s |      12 |    36885 |    29119 |   271707      0 |    18939 |    22360
95.08/95.14	c 88.7s |      12 |    37763 |    29819 |   271707      0 |    18939 |    22360
97.18/97.24	c 90.8s |      12 |    38666 |    30519 |   271707      0 |    18939 |    22360
99.28/99.39	c 93.0s |      12 |    39396 |    31119 |   271707      0 |    18939 |    22360
101.48/101.55	c 95.1s |      12 |    40093 |    31719 |   271707      0 |    18939 |    22360
103.78/103.88	c 97.5s |      12 |    41005 |    32419 |   271707      0 |    18939 |    22360
105.98/106.00	c 99.6s |      12 |    41748 |    33019 |   271707      0 |    18939 |    22360
108.08/108.14	c  101s |      12 |    42485 |    33619 |   271707      0 |    18939 |    22360
110.28/110.39	c  103s |      12 |    43228 |    34219 |   271707      0 |    18939 |    22360
112.57/112.69	c  106s |      12 |    43976 |    34819 |   271707      0 |    18939 |    22360
114.97/115.02	c  108s |      12 |    44701 |    35419 |   271707      0 |    18939 |    22360
117.17/117.23	c  110s |      12 |    45437 |    36019 |   271707      0 |    18939 |    22360
119.37/119.40	c  112s |      12 |    46201 |    36619 |   271707      0 |    18939 |    22360
121.57/121.62	c  115s |      12 |    46782 |    37119 |   271707      0 |    18939 |    22360
123.77/123.86	c  117s |      12 |    47507 |    37719 |   271707      0 |    18939 |    22360
125.87/125.96	c  119s |      12 |    48089 |    38219 |   271707      0 |    18939 |    22360
128.07/128.13	c  121s |      12 |    48746 |    38719 |   298878      0 |    18939 |    22360
128.57/128.67	c  122s |      13 |    48901 |    38832 |   298878      0 |    18939 |    22360
130.87/130.94	c  124s |      13 |    49383 |    39232 |   298878      0 |    18939 |    22360
132.97/133.05	c  126s |      13 |    49979 |    39732 |   298878      0 |    18939 |    22360
134.97/135.07	c  128s |      13 |    50586 |    40232 |   298878      0 |    18939 |    22360
137.37/137.41	c  131s |      13 |    51324 |    40832 |   298878      0 |    18939 |    22360
139.47/139.59	c  133s |      13 |    52058 |    41432 |   298878      0 |    18939 |    22360
141.97/142.01	c  135s |      13 |    52766 |    42032 |   298878      0 |    18939 |    22360
143.97/144.09	c  137s |      13 |    53370 |    42532 |   298878      0 |    18939 |    22360
146.48/146.53	c  140s |      13 |    54094 |    43132 |   298878      0 |    18939 |    22360
148.57/148.66	c  142s |      13 |    54850 |    43732 |   298878      0 |    18939 |    22360
150.67/150.74	c  144s |      13 |    55475 |    44232 |   298878      0 |    18939 |    22360
152.77/152.83	c  146s |      13 |    56055 |    44732 |   298878      0 |    18939 |    22360
155.07/155.11	c  148s |      13 |    56622 |    45232 |   298878      0 |    18939 |    22360
157.17/157.23	c  150s |      13 |    57213 |    45732 |   298878      0 |    18939 |    22360
159.17/159.24	c  152s |      13 |    57824 |    46232 |   298878      0 |    18939 |    22360
161.27/161.32	c  154s |      13 |    58423 |    46732 |   298878      0 |    18939 |    22360
163.57/163.63	c  157s |      13 |    59156 |    47332 |   298878      0 |    18939 |    22360
165.87/165.95	c  159s |      13 |    59903 |    47932 |   298878      0 |    18939 |    22360
167.97/168.07	c  161s |      13 |    60495 |    48432 |   298878      0 |    18939 |    22360
170.37/170.45	c  164s |      13 |    61139 |    48932 |   298878      0 |    18939 |    22360
172.57/172.60	c  166s |      13 |    61730 |    49432 |   298878      0 |    18939 |    22360
174.77/174.88	c  168s |      13 |    62357 |    49932 |   298878      0 |    18939 |    22360
177.07/177.19	c  170s |      13 |    63019 |    50432 |   298878      0 |    18939 |    22360
179.47/179.53	c  173s |      13 |    63588 |    50932 |   298878      0 |    18939 |    22360
181.77/181.88	c  175s |      13 |    64163 |    51432 |   298878      0 |    18939 |    22360
184.16/184.27	c  177s |      13 |    64903 |    52032 |   298878      0 |    18939 |    22360
186.36/186.48	c  180s |      13 |    65490 |    52532 |   298878      0 |    18939 |    22360
188.76/188.82	c  182s |      13 |    66123 |    53032 |   298878      0 |    18939 |    22360
190.96/191.01	c  184s |      13 |    66595 |    53432 |   298878      0 |    18939 |    22360
193.46/193.51	c  187s |      13 |    67186 |    53932 |   298878      0 |    18939 |    22360
195.86/195.96	c  189s |      13 |    67794 |    54432 |   298878      0 |    18939 |    22360
198.06/198.14	c  191s |      13 |    68416 |    54932 |   298878      0 |    18939 |    22360
200.06/200.18	c  193s |      13 |    69021 |    55432 |   298878      0 |    18939 |    22360
202.46/202.55	c  196s |      13 |    69760 |    56032 |   298878      0 |    18939 |    22360
204.66/204.78	c  198s |      13 |    70392 |    56532 |   298878      0 |    18939 |    22360
206.76/206.84	c  200s |      13 |    70986 |    57032 |   298878      0 |    18939 |    22360
209.17/209.20	c  202s |      13 |    71600 |    57532 |   298878      0 |    18939 |    22360
211.16/211.22	c  204s |      13 |    72061 |    57932 |   298878      0 |    18939 |    22360
213.16/213.29	c  206s |      13 |    72553 |    58332 |   328766      0 |    18939 |    22360
213.26/213.39	c  206s |      14 |    72572 |    58352 |   328766      0 |    18939 |    22360
215.36/215.46	c  209s |      14 |    72952 |    58652 |   328766      0 |    18939 |    22360
217.76/217.83	c  211s |      14 |    73555 |    59152 |   328766      0 |    18939 |    22360
219.76/219.85	c  213s |      14 |    74044 |    59552 |   328766      0 |    18939 |    22360
222.26/222.35	c  215s |      14 |    74646 |    60052 |   328766      0 |    18939 |    22360
224.36/224.45	c  218s |      14 |    75106 |    60452 |   328766      0 |    18939 |    22360
226.76/226.85	c  220s |      14 |    75703 |    60952 |   328766      0 |    18939 |    22360
229.26/229.36	c  222s |      14 |    76259 |    61452 |   328766      0 |    18939 |    22360
231.66/231.77	c  225s |      14 |    76870 |    61952 |   328766      0 |    18939 |    22360
233.66/233.79	c  227s |      14 |    77350 |    62352 |   328766      0 |    18939 |    22360
235.76/235.85	c  229s |      14 |    77833 |    62752 |   328766      0 |    18939 |    22360
238.05/238.17	c  231s |      14 |    78461 |    63252 |   328766      0 |    18939 |    22360
240.45/240.56	c  234s |      14 |    79093 |    63752 |   328766      0 |    18939 |    22360
242.55/242.61	c  236s |      14 |    79552 |    64152 |   328766      0 |    18939 |    22360
244.65/244.74	c  238s |      14 |    80111 |    64552 |   328766      0 |    18939 |    22360
247.15/247.25	c  240s |      14 |    80732 |    65052 |   328766      0 |    18939 |    22360
249.65/249.71	c  243s |      14 |    81343 |    65552 |   328766      0 |    18939 |    22360
251.95/252.10	c  245s |      14 |    81983 |    66052 |   328766      0 |    18939 |    22360
254.05/254.18	c  247s |      14 |    82620 |    66552 |   328766      0 |    18939 |    22360
256.15/256.25	c  249s |      14 |    83229 |    67052 |   328766      0 |    18939 |    22360
258.35/258.49	c  252s |      14 |    83879 |    67552 |   328766      0 |    18939 |    22360
260.75/260.87	c  254s |      14 |    84453 |    68052 |   328766      0 |    18939 |    22360
262.85/262.95	c  256s |      14 |    84949 |    68452 |   328766      0 |    18939 |    22360
265.26/265.36	c  258s |      14 |    85578 |    68952 |   328766      0 |    18939 |    22360
267.65/267.72	c  261s |      14 |    86192 |    69452 |   328766      0 |    18939 |    22360
270.05/270.14	c  263s |      14 |    86823 |    69952 |   328766      0 |    18939 |    22360
272.05/272.19	c  265s |      14 |    87346 |    70352 |   328766      0 |    18939 |    22360
274.35/274.42	c  268s |      14 |    87829 |    70752 |   328766      0 |    18939 |    22360
276.65/276.75	c  270s |      14 |    88302 |    71152 |   328766      0 |    18939 |    22360
279.15/279.21	c  272s |      14 |    88923 |    71652 |   328766      0 |    18939 |    22360
281.25/281.32	c  274s |      14 |    89417 |    72052 |   328766      0 |    18939 |    22360
283.75/283.84	c  277s |      14 |    90025 |    72552 |   328766      0 |    18939 |    22360
285.75/285.86	c  279s |      14 |    90528 |    72952 |   328766      0 |    18939 |    22360
288.15/288.22	c  281s |      14 |    91044 |    73352 |   328766      0 |    18939 |    22360
290.45/290.58	c  284s |      14 |    91550 |    73752 |   328766      0 |    18939 |    22360
292.85/292.91	c  286s |      14 |    92045 |    74152 |   328766      0 |    18939 |    22360
295.25/295.31	c  288s |      14 |    92535 |    74552 |   328766      0 |    18939 |    22360
297.34/297.47	c  291s |      14 |    93045 |    74952 |   328766      0 |    18939 |    22360
299.74/299.88	c  293s |      14 |    93512 |    75352 |   328766      0 |    18939 |    22360
302.14/302.28	c  295s |      14 |    93971 |    75752 |   328766      0 |    18939 |    22360
304.54/304.65	c  298s |      14 |    94589 |    76252 |   328766      0 |    18939 |    22360
306.84/306.95	c  300s |      14 |    95059 |    76652 |   328766      0 |    18939 |    22360
309.04/309.18	c  302s |      14 |    95564 |    77052 |   328766      0 |    18939 |    22360
311.24/311.33	c  304s |      14 |    96024 |    77452 |   328766      0 |    18939 |    22360
313.54/313.63	c  307s |      14 |    96504 |    77852 |   328766      0 |    18939 |    22360
315.74/315.82	c  309s |      14 |    96980 |    78252 |   328766      0 |    18939 |    22360
318.05/318.13	c  311s |      14 |    97450 |    78652 |   328766      0 |    18939 |    22360
320.54/320.65	c  314s |      14 |    97980 |    79052 |   328766      0 |    18939 |    22360
322.94/323.08	c  316s |      14 |    98448 |    79452 |   328766      0 |    18939 |    22360
325.44/325.53	c  319s |      14 |    98935 |    79852 |   328766      0 |    18939 |    22360
327.54/327.68	c  321s |      14 |    99413 |    80252 |   328766      0 |    18939 |    22360
329.94/330.08	c  323s |      14 |    99870 |    80652 |   328766      0 |    18939 |    22360
332.24/332.36	c  325s |      14 |   100345 |    81052 |   328766      0 |    18939 |    22360
334.44/334.54	c  328s |      14 |   100824 |    81452 |   328766      0 |    18939 |    22360
336.94/337.07	c  330s |      14 |   101324 |    81852 |   328766      0 |    18939 |    22360
339.34/339.45	c  333s |      14 |   101834 |    82252 |   328766      0 |    18939 |    22360
341.54/341.65	c  335s |      14 |   102326 |    82652 |   328766      0 |    18939 |    22360
343.74/343.84	c  337s |      14 |   102829 |    83052 |   328766      0 |    18939 |    22360
346.14/346.20	c  339s |      14 |   103303 |    83452 |   328766      0 |    18939 |    22360
348.54/348.64	c  342s |      14 |   103767 |    83852 |   328766      0 |    18939 |    22360
350.84/350.96	c  344s |      14 |   104255 |    84252 |   328766      0 |    18939 |    22360
353.24/353.39	c  346s |      14 |   104721 |    84652 |   328766      0 |    18939 |    22360
355.73/355.85	c  349s |      14 |   105190 |    85052 |   328766      0 |    18939 |    22360
357.93/358.09	c  351s |      14 |   105695 |    85452 |   328766      0 |    18939 |    22360
360.53/360.63	c  354s |      14 |   106180 |    85852 |   328766      0 |    18939 |    22360
362.63/362.75	c  356s |      14 |   106564 |    86152 |   328766      0 |    18939 |    22360
365.13/365.21	c  358s |      14 |   107053 |    86552 |   328766      0 |    18939 |    22360
367.43/367.56	c  361s |      14 |   107589 |    86952 |   328766      0 |    18939 |    22360
369.63/369.72	c  363s |      14 |   108074 |    87352 |   361643      0 |    18939 |    22360
371.23/371.30	c  364s |      15 |   108459 |    87632 |   361643      0 |    18939 |    22360
373.43/373.52	c  367s |      15 |   108739 |    87832 |   361643      0 |    18939 |    22360
376.03/376.16	c  369s |      15 |   109270 |    88232 |   361643      0 |    18939 |    22360
378.54/378.61	c  372s |      15 |   109776 |    88632 |   361643      0 |    18939 |    22360
380.84/380.98	c  374s |      15 |   110386 |    89132 |   361643      0 |    18939 |    22360
383.23/383.33	c  376s |      15 |   110925 |    89532 |   361643      0 |    18939 |    22360
385.53/385.68	c  379s |      15 |   111428 |    89932 |   361643      0 |    18939 |    22360
387.83/387.97	c  381s |      15 |   111902 |    90332 |   361643      0 |    18939 |    22360
390.13/390.29	c  383s |      15 |   112370 |    90732 |   361643      0 |    18939 |    22360
392.73/392.85	c  386s |      15 |   112875 |    91132 |   361643      0 |    18939 |    22360
394.93/395.08	c  388s |      15 |   113318 |    91532 |   361643      0 |    18939 |    22360
397.13/397.29	c  390s |      15 |   113781 |    91932 |   361643      0 |    18939 |    22360
399.43/399.59	c  393s |      15 |   114279 |    92332 |   361643      0 |    18939 |    22360
401.93/402.00	c  395s |      15 |   114734 |    92732 |   361643      0 |    18939 |    22360
403.93/404.07	c  397s |      15 |   115108 |    93032 |   361643      0 |    18939 |    22360
406.23/406.35	c  399s |      15 |   115608 |    93432 |   361643      0 |    18939 |    22360
408.43/408.50	c  402s |      15 |   116101 |    93832 |   361643      0 |    18939 |    22360
410.73/410.80	c  404s |      15 |   116590 |    94232 |   361643      0 |    18939 |    22360
413.03/413.15	c  406s |      15 |   117059 |    94632 |   361643      0 |    18939 |    22360
415.12/415.24	c  408s |      15 |   117433 |    94932 |   361643      0 |    18939 |    22360
417.72/417.88	c  411s |      15 |   117918 |    95332 |   361643      0 |    18939 |    22360
420.22/420.30	c  413s |      15 |   118431 |    95732 |   361643      0 |    18939 |    22360
422.92/423.08	c  416s |      15 |   118920 |    96132 |   361643      0 |    18939 |    22360
425.62/425.73	c  419s |      15 |   119397 |    96532 |   361643      0 |    18939 |    22360
427.72/427.82	c  421s |      15 |   119741 |    96832 |   361643      0 |    18939 |    22360
429.82/429.91	c  423s |      15 |   120277 |    97232 |   361643      0 |    18939 |    22360
432.22/432.30	c  425s |      15 |   120734 |    97632 |   361643      0 |    18939 |    22360
434.73/434.89	c  428s |      15 |   121195 |    98032 |   361643      0 |    18939 |    22360
437.02/437.17	c  430s |      15 |   121666 |    98432 |   361643      0 |    18939 |    22360
439.52/439.63	c  433s |      15 |   122278 |    98932 |   361643      0 |    18939 |    22360
441.52/441.66	c  435s |      15 |   122641 |    99232 |   361643      0 |    18939 |    22360
443.53/443.69	c  437s |      15 |   122989 |    99532 |   361643      0 |    18939 |    22360
446.22/446.32	c  439s |      15 |   123468 |    99932 |   361643      0 |    18939 |    22360
448.62/448.78	c  442s |      15 |   123939 |   100332 |   361643      0 |    18939 |    22360
450.82/450.92	c  444s |      15 |   124296 |   100632 |   361643      0 |    18939 |    22360
453.42/453.52	c  447s |      15 |   124818 |   101032 |   361643      0 |    18939 |    22360
455.72/455.86	c  449s |      15 |   125164 |   101332 |   361643      0 |    18939 |    22360
458.22/458.38	c  451s |      15 |   125519 |   101632 |   361643      0 |    18939 |    22360
460.72/460.86	c  454s |      15 |   125990 |   102032 |   361643      0 |    18939 |    22360
462.72/462.86	c  456s |      15 |   126341 |   102332 |   361643      0 |    18939 |    22360
464.82/464.91	c  458s |      15 |   126834 |   102732 |   361643      0 |    18939 |    22360
467.32/467.41	c  461s |      15 |   127330 |   103132 |   361643      0 |    18939 |    22360
469.71/469.90	c  463s |      15 |   127810 |   103532 |   361643      0 |    18939 |    22360
472.31/472.46	c  466s |      15 |   128346 |   103932 |   361643      0 |    18939 |    22360
474.61/474.71	c  468s |      15 |   128713 |   104232 |   361643      0 |    18939 |    22360
476.91/477.04	c  470s |      15 |   129061 |   104532 |   361643      0 |    18939 |    22360
479.11/479.27	c  472s |      15 |   129415 |   104832 |   361643      0 |    18939 |    22360
481.81/481.99	c  475s |      15 |   129894 |   105232 |   361643      0 |    18939 |    22360
483.91/484.07	c  477s |      15 |   130254 |   105532 |   361643      0 |    18939 |    22360
486.11/486.22	c  479s |      15 |   130616 |   105832 |   361643      0 |    18939 |    22360
488.62/488.72	c  482s |      15 |   131115 |   106232 |   361643      0 |    18939 |    22360
491.21/491.35	c  484s |      15 |   131619 |   106632 |   361643      0 |    18939 |    22360
493.31/493.45	c  487s |      15 |   131979 |   106932 |   361643      0 |    18939 |    22360
495.71/495.84	c  489s |      15 |   132312 |   107232 |   361643      0 |    18939 |    22360
498.01/498.18	c  491s |      15 |   132672 |   107532 |   361643      0 |    18939 |    22360
500.41/500.54	c  494s |      15 |   133027 |   107832 |   361643      0 |    18939 |    22360
502.71/502.85	c  496s |      15 |   133382 |   108132 |   361643      0 |    18939 |    22360
504.91/505.08	c  498s |      15 |   133723 |   108432 |   361643      0 |    18939 |    22360
507.11/507.20	c  500s |      15 |   134101 |   108732 |   361643      0 |    18939 |    22360
509.31/509.40	c  502s |      15 |   134446 |   109032 |   361643      0 |    18939 |    22360
511.91/512.08	c  505s |      15 |   134905 |   109432 |   361643      0 |    18939 |    22360
514.01/514.14	c  507s |      15 |   135267 |   109732 |   361643      0 |    18939 |    22360
516.31/516.45	c  510s |      15 |   135763 |   110132 |   361643      0 |    18939 |    22360
518.61/518.78	c  512s |      15 |   136112 |   110432 |   361643      0 |    18939 |    22360
521.21/521.35	c  514s |      15 |   136616 |   110832 |   361643      0 |    18939 |    22360
523.31/523.47	c  517s |      15 |   136961 |   111132 |   361643      0 |    18939 |    22360
525.41/525.58	c  519s |      15 |   137312 |   111432 |   361643      0 |    18939 |    22360
527.71/527.82	c  521s |      15 |   137675 |   111732 |   361643      0 |    18939 |    22360
530.01/530.19	c  523s |      15 |   138064 |   112032 |   361643      0 |    18939 |    22360
532.41/532.56	c  526s |      15 |   138415 |   112332 |   361643      0 |    18939 |    22360
534.60/534.77	c  528s |      15 |   138768 |   112632 |   361643      0 |    18939 |    22360
537.01/537.10	c  530s |      15 |   139121 |   112932 |   361643      0 |    18939 |    22360
539.30/539.47	c  533s |      15 |   139459 |   113232 |   361643      0 |    18939 |    22360
541.80/541.94	c  535s |      15 |   139799 |   113532 |   361643      0 |    18939 |    22360
544.00/544.18	c  537s |      15 |   140156 |   113832 |   361643      0 |    18939 |    22360
546.70/546.87	c  540s |      15 |   140639 |   114232 |   361643      0 |    18939 |    22360
548.90/549.07	c  542s |      15 |   141025 |   114532 |   361643      0 |    18939 |    22360
551.40/551.53	c  545s |      15 |   141377 |   114832 |   361643      0 |    18939 |    22360
553.60/553.78	c  547s |      15 |   141752 |   115132 |   361643      0 |    18939 |    22360
556.40/556.53	c  550s |      15 |   142273 |   115532 |   361643      0 |    18939 |    22360
558.70/558.86	c  552s |      15 |   142634 |   115832 |   361643      0 |    18939 |    22360
561.00/561.18	c  554s |      15 |   143007 |   116132 |   361643      0 |    18939 |    22360
563.50/563.60	c  557s |      15 |   143496 |   116532 |   361643      0 |    18939 |    22360
565.61/565.73	c  559s |      15 |   143854 |   116832 |   361643      0 |    18939 |    22360
567.90/568.06	c  561s |      15 |   144225 |   117132 |   361643      0 |    18939 |    22360
570.70/570.82	c  564s |      15 |   144716 |   117532 |   361643      0 |    18939 |    22360
573.00/573.18	c  566s |      15 |   145061 |   117832 |   361643      0 |    18939 |    22360
575.20/575.35	c  568s |      15 |   145422 |   118132 |   361643      0 |    18939 |    22360
577.50/577.66	c  571s |      15 |   145751 |   118432 |   361643      0 |    18939 |    22360
580.00/580.10	c  573s |      15 |   146105 |   118732 |   361643      0 |    18939 |    22360
582.20/582.38	c  575s |      15 |   146459 |   119032 |   361643      0 |    18939 |    22360
584.70/584.83	c  578s |      15 |   146818 |   119332 |   361643      0 |    18939 |    22360
586.90/587.05	c  580s |      15 |   147174 |   119632 |   361643      0 |    18939 |    22360
589.10/589.29	c  582s |      15 |   147525 |   119932 |   361643      0 |    18939 |    22360
591.30/591.44	c  585s |      15 |   147855 |   120232 |   361643      0 |    18939 |    22360
593.60/593.71	c  587s |      15 |   148206 |   120532 |   361643      0 |    18939 |    22360
595.70/595.89	c  589s |      15 |   148582 |   120832 |   361643      0 |    18939 |    22360
598.30/598.44	c  592s |      15 |   148938 |   121132 |   361643      0 |    18939 |    22360
600.49/600.67	c  594s |      15 |   149282 |   121432 |   361643      0 |    18939 |    22360
603.09/603.29	c  596s |      15 |   149619 |   121732 |   361643      0 |    18939 |    22360
605.39/605.55	c  599s |      15 |   150008 |   122032 |   361643      0 |    18939 |    22360
608.09/608.28	c  601s |      15 |   150481 |   122432 |   361643      0 |    18939 |    22360
610.19/610.32	c  603s |      15 |   150849 |   122732 |   361643      0 |    18939 |    22360
612.59/612.76	c  606s |      15 |   151326 |   123132 |   361643      0 |    18939 |    22360
614.69/614.80	c  608s |      15 |   151670 |   123432 |   361643      0 |    18939 |    22360
617.09/617.26	c  610s |      15 |   152022 |   123732 |   361643      0 |    18939 |    22360
619.50/619.60	c  613s |      15 |   152401 |   124032 |   361643      0 |    18939 |    22360
621.70/621.89	c  615s |      15 |   152757 |   124332 |   361643      0 |    18939 |    22360
624.49/624.62	c  618s |      15 |   153247 |   124732 |   361643      0 |    18939 |    22360
626.59/626.73	c  620s |      15 |   153612 |   125032 |   361643      0 |    18939 |    22360
628.79/628.93	c  622s |      15 |   153961 |   125332 |   361643      0 |    18939 |    22360
631.19/631.38	c  624s |      15 |   154317 |   125632 |   361643      0 |    18939 |    22360
633.70/633.87	c  627s |      15 |   154714 |   125932 |   361643      0 |    18939 |    22360
636.19/636.30	c  629s |      15 |   155072 |   126232 |   361643      0 |    18939 |    22360
638.29/638.49	c  632s |      15 |   155304 |   126432 |   361643      0 |    18939 |    22360
640.98/641.18	c  634s |      15 |   155662 |   126732 |   361643      0 |    18939 |    22360
643.38/643.56	c  637s |      15 |   156046 |   127032 |   361643      0 |    18939 |    22360
645.58/645.76	c  639s |      15 |   156406 |   127332 |   361643      0 |    18939 |    22360
647.78/647.91	c  641s |      15 |   156750 |   127632 |   361643      0 |    18939 |    22360
649.98/650.18	c  643s |      15 |   157104 |   127932 |   361643      0 |    18939 |    22360
652.58/652.73	c  646s |      15 |   157473 |   128232 |   361643      0 |    18939 |    22360
654.98/655.19	c  648s |      15 |   157822 |   128532 |   361643      0 |    18939 |    22360
657.78/657.91	c  651s |      15 |   158181 |   128832 |   361643      0 |    18939 |    22360
659.98/660.20	c  653s |      15 |   158556 |   129132 |   361643      0 |    18939 |    22360
662.38/662.54	c  656s |      15 |   158917 |   129432 |   361643      0 |    18939 |    22360
664.78/664.90	c  658s |      15 |   159271 |   129732 |   361643      0 |    18939 |    22360
667.07/667.21	c  660s |      15 |   159625 |   130032 |   361643      0 |    18939 |    22360
669.57/669.72	c  663s |      15 |   159978 |   130332 |   361643      0 |    18939 |    22360
671.97/672.15	c  665s |      15 |   160371 |   130632 |   361643      0 |    18939 |    22360
674.38/674.50	c  668s |      15 |   160730 |   130932 |   397808      0 |    18939 |    22360
676.97/677.10	c  670s |      15 |   161092 |   131232 |   397808      0 |    18939 |    22360
679.57/679.70	c  673s |      15 |   161439 |   131532 |   397808      0 |    18939 |    22360
679.77/679.90	c  673s |      16 |   161453 |   131552 |   397808      0 |    18939 |    22360
681.87/682.05	c  675s |      16 |   161589 |   131652 |   397808      0 |    18939 |    22360
684.38/684.53	c  678s |      16 |   161959 |   131952 |   397808      0 |    18939 |    22360
686.67/686.84	c  680s |      16 |   162329 |   132252 |   397808      0 |    18939 |    22360
689.27/689.49	c  683s |      16 |   162691 |   132552 |   397808      0 |    18939 |    22360
691.67/691.86	c  685s |      16 |   163051 |   132852 |   397808      0 |    18939 |    22360
694.07/694.30	c  687s |      16 |   163407 |   133152 |   397808      0 |    18939 |    22360
696.57/696.76	c  690s |      16 |   163790 |   133452 |   397808      0 |    18939 |    22360
698.76/698.97	c  692s |      16 |   164148 |   133752 |   397808      0 |    18939 |    22360
701.06/701.23	c  694s |      16 |   164504 |   134052 |   397808      0 |    18939 |    22360
703.16/703.35	c  696s |      16 |   164858 |   134352 |   397808      0 |    18939 |    22360
705.27/705.41	c  699s |      16 |   165206 |   134652 |   397808      0 |    18939 |    22360
707.26/707.46	c  701s |      16 |   165601 |   134952 |   397808      0 |    18939 |    22360
709.26/709.48	c  703s |      16 |   165840 |   135152 |   397808      0 |    18939 |    22360
711.46/711.61	c  705s |      16 |   166081 |   135352 |   397808      0 |    18939 |    22360
713.56/713.72	c  707s |      16 |   166300 |   135552 |   397808      0 |    18939 |    22360
716.06/716.29	c  709s |      16 |   166678 |   135852 |   397808      0 |    18939 |    22360
718.76/718.94	c  712s |      16 |   167017 |   136152 |   397808      0 |    18939 |    22360
721.36/721.52	c  715s |      16 |   167379 |   136452 |   397808      0 |    18939 |    22360
723.86/724.09	c  717s |      16 |   167756 |   136752 |   397808      0 |    18939 |    22360
726.96/727.12	c  720s |      16 |   168088 |   137052 |   397808      0 |    18939 |    22360
729.26/729.40	c  722s |      16 |   168333 |   137252 |   397808      0 |    18939 |    22360
731.56/731.75	c  725s |      16 |   168688 |   137552 |   397808      0 |    18939 |    22360
733.76/733.99	c  727s |      16 |   169037 |   137852 |   397808      0 |    18939 |    22360
736.25/736.44	c  730s |      16 |   169385 |   138152 |   397808      0 |    18939 |    22360
738.65/738.83	c  732s |      16 |   169745 |   138452 |   397808      0 |    18939 |    22360
741.46/741.65	c  735s |      16 |   170089 |   138752 |   397808      0 |    18939 |    22360
744.15/744.32	c  737s |      16 |   170439 |   139052 |   397808      0 |    18939 |    22360
747.06/747.28	c  740s |      16 |   170776 |   139352 |   397808      0 |    18939 |    22360
749.26/749.42	c  743s |      16 |   171035 |   139552 |   397808      0 |    18939 |    22360
752.25/752.45	c  746s |      16 |   171380 |   139852 |   397808      0 |    18939 |    22360
754.25/754.49	c  748s |      16 |   171608 |   140052 |   397808      0 |    18939 |    22360
756.86/757.09	c  750s |      16 |   171974 |   140352 |   397808      0 |    18939 |    22360
759.85/760.07	c  753s |      16 |   172351 |   140652 |   397808      0 |    18939 |    22360
762.35/762.52	c  756s |      16 |   172692 |   140952 |   397808      0 |    18939 |    22360
764.65/764.85	c  758s |      16 |   173073 |   141252 |   397808      0 |    18939 |    22360
766.95/767.10	c  760s |      16 |   173424 |   141552 |   397808      0 |    18939 |    22360
769.55/769.70	c  763s |      16 |   173920 |   141952 |   397808      0 |    18939 |    22360
771.85/772.07	c  765s |      16 |   174286 |   142252 |   397808      0 |    18939 |    22360
774.25/774.49	c  768s |      16 |   174645 |   142552 |   397808      0 |    18939 |    22360
776.95/777.19	c  770s |      16 |   174976 |   142852 |   397808      0 |    18939 |    22360
779.55/779.75	c  773s |      16 |   175310 |   143152 |   397808      0 |    18939 |    22360
782.34/782.54	c  776s |      16 |   175679 |   143452 |   397808      0 |    18939 |    22360
784.64/784.87	c  778s |      16 |   176030 |   143752 |   397808      0 |    18939 |    22360
787.04/787.24	c  780s |      16 |   176407 |   144052 |   397808      0 |    18939 |    22360
789.85/790.10	c  783s |      16 |   176768 |   144352 |   397808      0 |    18939 |    22360
792.04/792.30	c  785s |      16 |   177160 |   144652 |   397808      0 |    18939 |    22360
794.74/794.96	c  788s |      16 |   177521 |   144952 |   397808      0 |    18939 |    22360
797.54/797.78	c  791s |      16 |   177876 |   145252 |   397808      0 |    18939 |    22360
800.23/800.48	c  794s |      16 |   178245 |   145552 |   397808      0 |    18939 |    22360
802.93/803.20	c  796s |      16 |   178597 |   145852 |   397808      0 |    18939 |    22360
805.33/805.57	c  799s |      16 |   178977 |   146152 |   397808      0 |    18939 |    22360
807.93/808.19	c  801s |      16 |   179320 |   146452 |   397808      0 |    18939 |    22360
810.13/810.30	c  803s |      16 |   179536 |   146652 |   397808      0 |    18939 |    22360
812.12/812.32	c  805s |      16 |   179796 |   146852 |   397808      0 |    18939 |    22360
814.13/814.39	c  807s |      16 |   180038 |   147052 |   397808      0 |    18939 |    22360
816.33/816.51	c  810s |      16 |   180418 |   147352 |   397808      0 |    18939 |    22360
818.72/818.99	c  812s |      16 |   180786 |   147652 |   397808      0 |    18939 |    22360
821.12/821.33	c  814s |      16 |   181186 |   147952 |   397808      0 |    18939 |    22360
823.92/824.14	c  817s |      16 |   181564 |   148252 |   397808      0 |    18939 |    22360
826.72/826.98	c  820s |      16 |   181918 |   148552 |   397808      0 |    18939 |    22360
829.42/829.63	c  823s |      16 |   182253 |   148852 |   397808      0 |    18939 |    22360
832.11/832.37	c  825s |      16 |   182609 |   149152 |   397808      0 |    18939 |    22360
834.71/834.90	c  828s |      16 |   182964 |   149452 |   397808      0 |    18939 |    22360
837.11/837.38	c  830s |      16 |   183314 |   149752 |   397808      0 |    18939 |    22360
840.52/840.73	c  834s |      16 |   183665 |   150052 |   397808      0 |    18939 |    22360
843.30/843.58	c  837s |      16 |   183994 |   150352 |   397808      0 |    18939 |    22360
845.91/846.16	c  839s |      16 |   184131 |   150471 |   397808      0 |    18940 |    22361
845.91/846.16	c #cpu_time = 839.732s
845.91/846.16	c #wall_clock_time = 839.760s
845.91/846.16	c #decision = 184131
845.91/846.16	c #random_decision = 94
845.91/846.16	c #conflict = 150471
845.91/846.16	c #restart = 16
845.91/846.16	c BCD2: updating lower bound of a core
845.91/846.16	c lower bound updated to 109
845.91/846.16	c BCD2: 109 <= obj <= 299
845.91/846.16	c BCD2: #cores=1, #unrelaxed=107, #relaxed=192, #hardened=1
845.91/846.16	c BCD2: #sat=1 #unsat=3 bias=3/4
847.11/847.33	c Solving starts ...
847.11/847.33	c ============================[ Search Statistics ]============================
847.11/847.33	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
847.11/847.33	c       |         |          |          |    Limit     GC | Var      | Constra 
847.11/847.33	c =============================================================================
847.11/847.33	c  0.0s |       0 |        0 |        0 |   397808      0 |    18940 |    22361
849.21/849.46	c  2.1s |       0 |      148 |      100 |   397808      0 |    18940 |    22361
849.21/849.48	c  2.1s |       1 |      148 |      100 |   397808      0 |    18940 |    22361
851.60/851.81	c  4.5s |       1 |      282 |      200 |   397808      0 |    18940 |    22361
852.10/852.35	c  5.0s |       2 |      345 |      250 |   397808      0 |    18940 |    22361
854.30/854.58	c  7.2s |       2 |      479 |      350 |   397808      0 |    18940 |    22361
855.40/855.64	c  8.3s |       3 |      634 |      475 |   397808      0 |    18940 |    22361
857.40/857.66	c 10.3s |       3 |      780 |      575 |   397808      0 |    18940 |    22361
858.70/858.96	c 11.6s |       4 |     1076 |      813 |   397808      0 |    18940 |    22361
861.30/861.52	c 14.2s |       4 |     1400 |     1013 |   397808      0 |    18940 |    22361
863.39/863.62	c 16.3s |       4 |     1747 |     1313 |   397808      0 |    18940 |    22361
863.39/863.69	c 16.4s |       5 |     1753 |     1320 |   397808      0 |    18940 |    22361
865.70/865.98	c 18.6s |       5 |     1891 |     1420 |   397808      0 |    18940 |    22361
868.09/868.39	c 21.1s |       5 |     2276 |     1720 |   397808      0 |    18940 |    22361
870.39/870.61	c 23.3s |       5 |     2645 |     2020 |   397808      0 |    18940 |    22361
870.89/871.10	c 23.8s |       6 |     2738 |     2081 |   397808      0 |    18940 |    22361
872.88/873.19	c 25.9s |       6 |     2875 |     2181 |   397808      0 |    18940 |    22361
875.48/875.70	c 28.4s |       6 |     3251 |     2481 |   397808      0 |    18940 |    22361
877.68/877.94	c 30.6s |       6 |     3644 |     2781 |   397808      0 |    18940 |    22361
879.88/880.15	c 32.8s |       6 |     4056 |     3081 |   397808      0 |    18940 |    22361
880.68/880.90	c 33.6s |       7 |     4232 |     3223 |   397808      0 |    18940 |    22361
883.08/883.37	c 36.0s |       7 |     4541 |     3423 |   397808      0 |    18940 |    22361
885.49/885.76	c 38.4s |       7 |     5063 |     3823 |   397808      0 |    18940 |    22361
887.48/887.78	c 40.4s |       7 |     5451 |     4123 |   397808      0 |    18940 |    22361
889.89/890.19	c 42.9s |       7 |     5984 |     4523 |   397808      0 |    18940 |    22361
892.19/892.40	c 45.1s |       7 |     6372 |     4823 |   397808      0 |    18940 |    22361
893.08/893.36	c 46.0s |       8 |     6513 |     4936 |   397808      0 |    18940 |    22361
895.18/895.42	c 48.1s |       8 |     6667 |     5036 |   397808      0 |    18940 |    22361
897.18/897.42	c 50.1s |       8 |     7070 |     5336 |   397808      0 |    18940 |    22361
899.58/899.87	c 52.5s |       8 |     7605 |     5736 |   397808      0 |    18940 |    22361
902.27/902.57	c 55.2s |       8 |     8095 |     6136 |   397808      0 |    18940 |    22361
904.87/905.15	c 57.8s |       8 |     8695 |     6536 |   397808      0 |    18940 |    22361
907.27/907.60	c 60.3s |       8 |     9223 |     6936 |   397808      0 |    18940 |    22361
909.87/910.14	c 62.8s |       8 |     9748 |     7336 |   397808      0 |    18940 |    22361
910.97/911.29	c 64.0s |       9 |     9976 |     7506 |   397808      0 |    18940 |    22361
913.07/913.38	c 66.0s |       9 |    10119 |     7606 |   397808      0 |    18940 |    22361
915.56/915.88	c 68.5s |       9 |    10665 |     8006 |   397808      0 |    18940 |    22361
917.96/918.24	c 70.9s |       9 |    11138 |     8406 |   397808      0 |    18940 |    22361
920.46/920.70	c 73.4s |       9 |    11606 |     8806 |   397808      0 |    18940 |    22361
922.66/922.97	c 75.6s |       9 |    12124 |     9206 |   397808      0 |    18940 |    22361
924.76/925.01	c 77.7s |       9 |    12534 |     9506 |   397808      0 |    18940 |    22361
926.76/927.09	c 79.8s |       9 |    12895 |     9806 |   397808      0 |    18940 |    22361
929.46/929.73	c 82.4s |       9 |    13393 |    10206 |   397808      0 |    18940 |    22361
931.95/932.27	c 84.9s |       9 |    13874 |    10606 |   397808      0 |    18940 |    22361
934.05/934.33	c 87.0s |       9 |    14272 |    10906 |   397808      0 |    18940 |    22361
936.55/936.89	c 89.6s |       9 |    14802 |    11306 |   397808      0 |    18940 |    22361
936.95/937.29	c 90.0s |      10 |    14855 |    11361 |   397808      0 |    18940 |    22361
939.05/939.39	c 92.1s |      10 |    15004 |    11461 |   397808      0 |    18940 |    22361
941.45/941.71	c 94.4s |      10 |    15409 |    11761 |   397808      0 |    18940 |    22361
943.75/944.05	c 96.7s |      10 |    15950 |    12161 |   397808      0 |    18940 |    22361
946.15/946.44	c 99.1s |      10 |    16431 |    12561 |   397808      0 |    18940 |    22361
948.15/948.45	c  101s |      10 |    16939 |    12961 |   397808      0 |    18940 |    22361
950.65/950.97	c  103s |      10 |    17596 |    13461 |   397808      0 |    18940 |    22361
952.74/953.04	c  105s |      10 |    17982 |    13761 |   397808      0 |    18940 |    22361
955.24/955.50	c  108s |      10 |    18448 |    14161 |   397808      0 |    18940 |    22361
957.84/958.15	c  110s |      10 |    18916 |    14561 |   397808      0 |    18940 |    22361
960.25/960.52	c  113s |      10 |    19425 |    14961 |   397808      0 |    18940 |    22361
962.44/962.71	c  115s |      10 |    19773 |    15261 |   397808      0 |    18940 |    22361
964.53/964.80	c  117s |      10 |    20288 |    15661 |   397808      0 |    18940 |    22361
966.94/967.27	c  119s |      10 |    20823 |    16061 |   397808      0 |    18940 |    22361
969.43/969.71	c  122s |      10 |    21333 |    16461 |   397808      0 |    18940 |    22361
971.83/972.12	c  124s |      10 |    21833 |    16861 |   397808      0 |    18940 |    22361
973.53/973.88	c  126s |      11 |    22198 |    17144 |   397808      0 |    18940 |    22361
976.03/976.37	c  129s |      11 |    22466 |    17344 |   397808      0 |    18940 |    22361
978.23/978.51	c  131s |      11 |    22828 |    17644 |   397808      0 |    18940 |    22361
980.33/980.60	c  133s |      11 |    23238 |    17944 |   397808      0 |    18940 |    22361
982.52/982.82	c  135s |      11 |    23602 |    18244 |   397808      0 |    18940 |    22361
984.53/984.88	c  137s |      11 |    23959 |    18544 |   397808      0 |    18940 |    22361
986.62/986.94	c  139s |      11 |    24307 |    18844 |   397808      0 |    18940 |    22361
988.72/989.02	c  141s |      11 |    24684 |    19144 |   397808      0 |    18940 |    22361
991.02/991.34	c  144s |      11 |    25074 |    19444 |   397808      0 |    18940 |    22361
993.32/993.69	c  146s |      11 |    25581 |    19844 |   397808      0 |    18940 |    22361
995.91/996.24	c  148s |      11 |    26132 |    20244 |   397808      0 |    18940 |    22361
998.01/998.33	c  150s |      11 |    26523 |    20544 |   397808      0 |    18940 |    22361
1000.31/1000.61	c  153s |      11 |    27020 |    20944 |   397808      0 |    18940 |    22361
1002.71/1003.04	c  155s |      11 |    27528 |    21344 |   397808      0 |    18940 |    22361
1005.01/1005.36	c  158s |      11 |    28068 |    21744 |   397808      0 |    18940 |    22361
1007.41/1007.74	c  160s |      11 |    28597 |    22144 |   397808      0 |    18940 |    22361
1009.71/1010.08	c  162s |      11 |    29110 |    22544 |   397808      0 |    18940 |    22361
1012.20/1012.58	c  165s |      11 |    29618 |    22944 |   397808      0 |    18940 |    22361
1014.60/1014.94	c  167s |      11 |    30135 |    23344 |   397808      0 |    18940 |    22361
1016.90/1017.26	c  169s |      11 |    30642 |    23744 |   397808      0 |    18940 |    22361
1019.30/1019.68	c  172s |      11 |    31135 |    24144 |   397808      0 |    18940 |    22361
1021.70/1022.03	c  174s |      11 |    31649 |    24544 |   397808      0 |    18940 |    22361
1024.30/1024.61	c  177s |      11 |    32248 |    25044 |   397808      0 |    18940 |    22361
1026.60/1026.94	c  179s |      11 |    32753 |    25444 |   397808      0 |    18940 |    22361
1028.70/1029.02	c  181s |      12 |    33219 |    25819 |   397808      0 |    18940 |    22361
1031.40/1031.70	c  184s |      12 |    33485 |    26019 |   397808      0 |    18940 |    22361
1033.90/1034.25	c  186s |      12 |    33979 |    26419 |   397808      0 |    18940 |    22361
1035.99/1036.36	c  189s |      12 |    34333 |    26719 |   397808      0 |    18940 |    22361
1038.09/1038.42	c  191s |      12 |    34688 |    27019 |   397808      0 |    18940 |    22361
1040.19/1040.54	c  193s |      12 |    35047 |    27319 |   397808      0 |    18940 |    22361
1042.80/1043.13	c  195s |      12 |    35574 |    27719 |   397808      0 |    18940 |    22361
1044.89/1045.30	c  197s |      12 |    35939 |    28019 |   397808      0 |    18940 |    22361
1047.19/1047.52	c  200s |      12 |    36310 |    28319 |   397808      0 |    18940 |    22361
1049.49/1049.90	c  202s |      12 |    36797 |    28719 |   397808      0 |    18940 |    22361
1051.98/1052.36	c  205s |      12 |    37434 |    29219 |   397808      0 |    18940 |    22361
1054.18/1054.57	c  207s |      12 |    37937 |    29619 |   397808      0 |    18940 |    22361
1056.68/1057.09	c  209s |      12 |    38430 |    30019 |   397808      0 |    18940 |    22361
1059.08/1059.45	c  212s |      12 |    38932 |    30419 |   397808      0 |    18940 |    22361
1061.68/1062.08	c  214s |      12 |    39452 |    30819 |   397808      0 |    18940 |    22361
1064.18/1064.51	c  217s |      12 |    39951 |    31219 |   397808      0 |    18940 |    22361
1066.78/1067.12	c  219s |      12 |    40421 |    31619 |   397808      0 |    18940 |    22361
1069.18/1069.56	c  222s |      12 |    40748 |    31919 |   397808      0 |    18940 |    22361
1071.28/1071.69	c  224s |      12 |    41112 |    32219 |   397808      0 |    18940 |    22361
1073.88/1074.23	c  226s |      12 |    41590 |    32619 |   397808      0 |    18940 |    22361
1076.28/1076.68	c  229s |      12 |    42079 |    33019 |   397808      0 |    18940 |    22361
1078.38/1078.75	c  231s |      12 |    42432 |    33319 |   397808      0 |    18940 |    22361
1080.97/1081.31	c  233s |      12 |    42905 |    33719 |   397808      0 |    18940 |    22361
1083.07/1083.42	c  236s |      12 |    43280 |    34019 |   397808      0 |    18940 |    22361
1085.07/1085.49	c  238s |      12 |    43624 |    34319 |   397808      0 |    18940 |    22361
1087.17/1087.56	c  240s |      12 |    43979 |    34619 |   397808      0 |    18940 |    22361
1089.27/1089.61	c  242s |      12 |    44322 |    34919 |   397808      0 |    18940 |    22361
1091.47/1091.84	c  244s |      12 |    44674 |    35219 |   397808      0 |    18940 |    22361
1093.67/1094.08	c  246s |      12 |    45033 |    35519 |   397808      0 |    18940 |    22361
1095.87/1096.23	c  248s |      12 |    45382 |    35819 |   397808      0 |    18940 |    22361
1098.07/1098.44	c  251s |      12 |    45729 |    36119 |   397808      0 |    18940 |    22361
1100.17/1100.53	c  253s |      12 |    46114 |    36419 |   397808      0 |    18940 |    22361
1102.17/1102.53	c  255s |      12 |    46475 |    36719 |   397808      0 |    18940 |    22361
1104.27/1104.61	c  257s |      12 |    46843 |    37019 |   397808      0 |    18940 |    22361
1106.26/1106.63	c  259s |      12 |    47214 |    37319 |   397808      0 |    18940 |    22361
1108.67/1109.06	c  261s |      12 |    47730 |    37719 |   397808      0 |    18940 |    22361
1111.16/1111.57	c  264s |      12 |    48274 |    38119 |   397808      0 |    18940 |    22361
1113.36/1113.71	c  266s |      12 |    48677 |    38419 |   397808      0 |    18940 |    22361
1115.76/1116.16	c  268s |      12 |    49168 |    38819 |   397808      0 |    18940 |    22361
1115.86/1116.26	c  268s |      13 |    49185 |    38832 |   397808      0 |    18940 |    22361
1118.46/1118.84	c  271s |      13 |    49472 |    39032 |   397808      0 |    18940 |    22361
1120.95/1121.39	c  274s |      13 |    49992 |    39432 |   397808      0 |    18940 |    22361
1123.55/1123.96	c  276s |      13 |    50487 |    39832 |   397808      0 |    18940 |    22361
1125.75/1126.11	c  278s |      13 |    50848 |    40132 |   397808      0 |    18940 |    22361
1128.15/1128.55	c  281s |      13 |    51225 |    40432 |   397808      0 |    18940 |    22361
1130.35/1130.74	c  283s |      13 |    51591 |    40732 |   397808      0 |    18940 |    22361
1132.55/1132.95	c  285s |      13 |    51946 |    41032 |   397808      0 |    18940 |    22361
1134.75/1135.18	c  287s |      13 |    52327 |    41332 |   397808      0 |    18940 |    22361
1136.85/1137.27	c  289s |      13 |    52686 |    41632 |   397808      0 |    18940 |    22361
1139.04/1139.42	c  292s |      13 |    53074 |    41932 |   397808      0 |    18940 |    22361
1141.54/1141.92	c  294s |      13 |    53432 |    42232 |   397808      0 |    18940 |    22361
1143.64/1144.04	c  296s |      13 |    53780 |    42532 |   397808      0 |    18940 |    22361
1146.34/1146.71	c  299s |      13 |    54305 |    42932 |   397808      0 |    18940 |    22361
1148.44/1148.88	c  301s |      13 |    54656 |    43232 |   397808      0 |    18940 |    22361
1150.64/1151.00	c  303s |      13 |    55031 |    43532 |   397808      0 |    18940 |    22361
1153.03/1153.42	c  306s |      13 |    55584 |    43932 |   397808      0 |    18940 |    22361
1155.13/1155.51	c  308s |      13 |    55957 |    44232 |   397808      0 |    18940 |    22361
1157.73/1158.14	c  310s |      13 |    56484 |    44632 |   397808      0 |    18940 |    22361
1159.93/1160.36	c  313s |      13 |    56875 |    44932 |   397808      0 |    18940 |    22361
1162.23/1162.65	c  315s |      13 |    57245 |    45232 |   397808      0 |    18940 |    22361
1164.23/1164.67	c  317s |      13 |    57659 |    45532 |   397808      0 |    18940 |    22361
1166.63/1167.08	c  319s |      13 |    58036 |    45832 |   437589      0 |    18940 |    22361
1168.93/1169.35	c  322s |      13 |    58400 |    46132 |   437589      0 |    18940 |    22361
1171.22/1171.68	c  324s |      13 |    58746 |    46432 |   437589      0 |    18940 |    22361
1173.72/1174.13	c  326s |      13 |    59100 |    46732 |   437589      0 |    18940 |    22361
1175.92/1176.34	c  329s |      13 |    59470 |    47032 |   437589      0 |    18940 |    22361
1178.22/1178.66	c  331s |      13 |    59826 |    47332 |   437589      0 |    18940 |    22361
1180.62/1181.02	c  333s |      13 |    60182 |    47632 |   437589      0 |    18940 |    22361
1183.02/1183.48	c  336s |      13 |    60524 |    47932 |   437589      0 |    18940 |    22361
1185.51/1185.99	c  338s |      13 |    60877 |    48232 |   437589      0 |    18940 |    22361
1187.82/1188.28	c  340s |      13 |    61228 |    48532 |   437589      0 |    18940 |    22361
1190.21/1190.62	c  343s |      13 |    61597 |    48832 |   437589      0 |    18940 |    22361
1192.51/1192.93	c  345s |      13 |    61975 |    49132 |   437589      0 |    18940 |    22361
1194.91/1195.31	c  347s |      13 |    62331 |    49432 |   437589      0 |    18940 |    22361
1197.41/1197.85	c  350s |      13 |    62879 |    49832 |   437589      0 |    18940 |    22361
1199.51/1199.98	c  352s |      13 |    63245 |    50132 |   437589      0 |    18940 |    22361
1201.80/1202.29	c  354s |      13 |    63591 |    50432 |   437589      0 |    18940 |    22361
1204.20/1204.67	c  357s |      13 |    63960 |    50732 |   437589      0 |    18940 |    22361
1206.90/1207.34	c  360s |      13 |    64323 |    51032 |   437589      0 |    18940 |    22361
1209.40/1209.80	c  362s |      13 |    64682 |    51332 |   437589      0 |    18940 |    22361
1211.80/1212.28	c  364s |      13 |    65046 |    51632 |   437589      0 |    18940 |    22361
1214.60/1215.05	c  367s |      13 |    65373 |    51932 |   437589      0 |    18940 |    22361
1217.40/1217.86	c  370s |      13 |    65726 |    52232 |   437589      0 |    18940 |    22361
1220.10/1220.50	c  373s |      13 |    66066 |    52532 |   437589      0 |    18940 |    22361
1222.89/1223.39	c  376s |      13 |    66410 |    52832 |   437589      0 |    18940 |    22361
1225.59/1226.04	c  378s |      13 |    66773 |    53132 |   437589      0 |    18940 |    22361
1228.19/1228.63	c  381s |      13 |    67132 |    53432 |   437589      0 |    18940 |    22361
1230.79/1231.25	c  383s |      13 |    67498 |    53732 |   437589      0 |    18940 |    22361
1233.19/1233.60	c  386s |      13 |    67865 |    54032 |   437589      0 |    18940 |    22361
1235.39/1235.87	c  388s |      13 |    68227 |    54332 |   437589      0 |    18940 |    22361
1237.99/1238.40	c  391s |      13 |    68604 |    54632 |   437589      0 |    18940 |    22361
1240.09/1240.54	c  393s |      13 |    68978 |    54932 |   437589      0 |    18940 |    22361
1242.38/1242.84	c  395s |      13 |    69327 |    55232 |   437589      0 |    18940 |    22361
1244.58/1245.06	c  397s |      13 |    69675 |    55532 |   437589      0 |    18940 |    22361
1246.98/1247.48	c  400s |      13 |    70038 |    55832 |   437589      0 |    18940 |    22361
1249.18/1249.67	c  402s |      13 |    70404 |    56132 |   437589      0 |    18940 |    22361
1251.38/1251.81	c  404s |      13 |    70774 |    56432 |   437589      0 |    18940 |    22361
1253.58/1254.05	c  406s |      13 |    71124 |    56732 |   437589      0 |    18940 |    22361
1255.98/1256.43	c  409s |      13 |    71481 |    57032 |   437589      0 |    18940 |    22361
1258.18/1258.64	c  411s |      13 |    71840 |    57332 |   437589      0 |    18940 |    22361
1260.58/1261.05	c  413s |      13 |    72212 |    57632 |   437589      0 |    18940 |    22361
1263.17/1263.62	c  416s |      13 |    72581 |    57932 |   437589      0 |    18940 |    22361
1265.88/1266.32	c  418s |      13 |    73098 |    58332 |   437589      0 |    18940 |    22361
1265.98/1266.46	c  419s |      14 |    73127 |    58352 |   437589      0 |    18940 |    22361
1268.37/1268.85	c  421s |      14 |    73269 |    58452 |   437589      0 |    18940 |    22361
1271.07/1271.55	c  424s |      14 |    73622 |    58752 |   437589      0 |    18940 |    22361
1273.27/1273.70	c  426s |      14 |    74017 |    59052 |   437589      0 |    18940 |    22361
1275.47/1275.93	c  428s |      14 |    74383 |    59352 |   437589      0 |    18940 |    22361
1277.77/1278.26	c  430s |      14 |    74752 |    59652 |   437589      0 |    18940 |    22361
1280.47/1280.93	c  433s |      14 |    75113 |    59952 |   437589      0 |    18940 |    22361
1282.86/1283.38	c  436s |      14 |    75467 |    60252 |   437589      0 |    18940 |    22361
1285.26/1285.73	c  438s |      14 |    75820 |    60552 |   437589      0 |    18940 |    22361
1287.87/1288.36	c  441s |      14 |    76191 |    60852 |   437589      0 |    18940 |    22361
1290.46/1290.92	c  443s |      14 |    76554 |    61152 |   437589      0 |    18940 |    22361
1292.96/1293.49	c  446s |      14 |    76927 |    61452 |   437589      0 |    18940 |    22361
1295.36/1295.80	c  448s |      14 |    77303 |    61752 |   437589      0 |    18940 |    22361
1297.66/1298.12	c  450s |      14 |    77657 |    62052 |   437589      0 |    18940 |    22361
1300.36/1300.81	c  453s |      14 |    78008 |    62352 |   437589      0 |    18940 |    22361
1302.86/1303.39	c  456s |      14 |    78334 |    62652 |   437589      0 |    18940 |    22361
1305.66/1306.10	c  458s |      14 |    78702 |    62952 |   437589      0 |    18940 |    22361
1307.76/1308.26	c  460s |      14 |    79066 |    63252 |   437589      0 |    18940 |    22361
1310.26/1310.76	c  463s |      14 |    79416 |    63552 |   437589      0 |    18940 |    22361
1312.66/1313.14	c  465s |      14 |    79771 |    63852 |   437589      0 |    18940 |    22361
1315.06/1315.57	c  468s |      14 |    80121 |    64152 |   437589      0 |    18940 |    22361
1317.26/1317.78	c  470s |      14 |    80488 |    64452 |   437589      0 |    18940 |    22361
1319.46/1319.93	c  472s |      14 |    80827 |    64752 |   437589      0 |    18940 |    22361
1321.75/1322.23	c  474s |      14 |    81202 |    65052 |   437589      0 |    18940 |    22361
1323.75/1324.26	c  476s |      14 |    81569 |    65352 |   437589      0 |    18940 |    22361
1326.46/1326.91	c  479s |      14 |    81941 |    65652 |   437589      0 |    18940 |    22361
1328.85/1329.33	c  481s |      14 |    82297 |    65952 |   437589      0 |    18940 |    22361
1331.15/1331.66	c  484s |      14 |    82666 |    66252 |   437589      0 |    18940 |    22361
1333.85/1334.34	c  487s |      14 |    83045 |    66552 |   437589      0 |    18940 |    22361
1336.75/1337.20	c  489s |      14 |    83387 |    66852 |   437589      0 |    18940 |    22361
1339.45/1339.90	c  492s |      14 |    83736 |    67152 |   437589      0 |    18940 |    22361
1341.86/1342.38	c  495s |      14 |    84085 |    67452 |   437589      0 |    18940 |    22361
1344.25/1344.77	c  497s |      14 |    84447 |    67752 |   437589      0 |    18940 |    22361
1346.55/1347.03	c  499s |      14 |    84803 |    68052 |   437589      0 |    18940 |    22361
1349.05/1349.50	c  502s |      14 |    85163 |    68352 |   437589      0 |    18940 |    22361
1351.66/1352.20	c  504s |      14 |    85509 |    68652 |   437589      0 |    18940 |    22361
1354.25/1354.76	c  507s |      14 |    85869 |    68952 |   437589      0 |    18940 |    22361
1356.65/1357.12	c  509s |      14 |    86255 |    69252 |   437589      0 |    18940 |    22361
1359.25/1359.74	c  512s |      14 |    86614 |    69552 |   437589      0 |    18940 |    22361
1361.45/1361.98	c  514s |      14 |    86953 |    69852 |   437589      0 |    18940 |    22361
1363.75/1364.27	c  516s |      14 |    87296 |    70152 |   437589      0 |    18940 |    22361
1366.05/1366.54	c  519s |      14 |    87640 |    70452 |   437589      0 |    18940 |    22361
1368.05/1368.58	c  521s |      14 |    87887 |    70652 |   437589      0 |    18940 |    22361
1370.15/1370.68	c  523s |      14 |    88239 |    70952 |   437589      0 |    18940 |    22361
1372.75/1373.25	c  525s |      14 |    88593 |    71252 |   437589      0 |    18940 |    22361
1374.95/1375.41	c  528s |      14 |    88822 |    71452 |   437589      0 |    18940 |    22361
1377.55/1378.05	c  530s |      14 |    89191 |    71752 |   437589      0 |    18940 |    22361
1380.05/1380.50	c  533s |      14 |    89561 |    72052 |   437589      0 |    18940 |    22361
1382.64/1383.17	c  535s |      14 |    89916 |    72352 |   437589      0 |    18940 |    22361
1385.14/1385.61	c  538s |      14 |    90267 |    72652 |   437589      0 |    18940 |    22361
1387.74/1388.22	c  540s |      14 |    90612 |    72952 |   437589      0 |    18940 |    22361
1390.25/1390.71	c  543s |      14 |    90968 |    73252 |   437589      0 |    18940 |    22361
1392.64/1393.11	c  545s |      14 |    91321 |    73552 |   437589      0 |    18940 |    22361
1395.14/1395.65	c  548s |      14 |    91704 |    73852 |   437589      0 |    18940 |    22361
1397.74/1398.22	c  550s |      14 |    92056 |    74152 |   437589      0 |    18940 |    22361
1400.54/1401.05	c  553s |      14 |    92411 |    74452 |   437589      0 |    18940 |    22361
1403.24/1403.72	c  556s |      14 |    92760 |    74752 |   437589      0 |    18940 |    22361
1405.84/1406.38	c  559s |      14 |    93103 |    75052 |   437589      0 |    18940 |    22361
1408.54/1409.07	c  561s |      14 |    93503 |    75352 |   437589      0 |    18940 |    22361
1410.74/1411.25	c  563s |      14 |    93858 |    75652 |   437589      0 |    18940 |    22361
1413.54/1414.01	c  566s |      14 |    94196 |    75952 |   437589      0 |    18940 |    22361
1416.24/1416.73	c  569s |      14 |    94541 |    76252 |   437589      0 |    18940 |    22361
1418.44/1418.99	c  571s |      14 |    94912 |    76552 |   437589      0 |    18940 |    22361
1420.95/1421.44	c  574s |      14 |    95253 |    76852 |   437589      0 |    18940 |    22361
1423.54/1424.05	c  576s |      14 |    95606 |    77152 |   437589      0 |    18940 |    22361
1426.14/1426.69	c  579s |      14 |    95952 |    77452 |   437589      0 |    18940 |    22361
1428.94/1429.42	c  582s |      14 |    96321 |    77752 |   437589      0 |    18940 |    22361
1431.34/1431.83	c  584s |      14 |    96669 |    78052 |   437589      0 |    18940 |    22361
1433.94/1434.49	c  587s |      14 |    97014 |    78352 |   437589      0 |    18940 |    22361
1436.74/1437.21	c  589s |      14 |    97357 |    78652 |   437589      0 |    18940 |    22361
1439.14/1439.68	c  592s |      14 |    97699 |    78952 |   437589      0 |    18940 |    22361
1441.64/1442.17	c  594s |      14 |    98064 |    79252 |   437589      0 |    18940 |    22361
1443.84/1444.34	c  597s |      14 |    98462 |    79552 |   437589      0 |    18940 |    22361
1446.14/1446.64	c  599s |      14 |    98843 |    79852 |   437589      0 |    18940 |    22361
1448.83/1449.36	c  602s |      14 |    99184 |    80152 |   437589      0 |    18940 |    22361
1451.74/1452.22	c  604s |      14 |    99549 |    80452 |   437589      0 |    18940 |    22361
1454.73/1455.20	c  607s |      14 |    99915 |    80752 |   437589      0 |    18940 |    22361
1456.73/1457.23	c  609s |      14 |   100156 |    80952 |   437589      0 |    18940 |    22361
1459.63/1460.17	c  612s |      14 |   100524 |    81252 |   437589      0 |    18940 |    22361
1462.23/1462.72	c  615s |      14 |   100869 |    81552 |   437589      0 |    18940 |    22361
1464.63/1465.12	c  617s |      14 |   101249 |    81852 |   437589      0 |    18940 |    22361
1466.83/1467.36	c  620s |      14 |   101606 |    82152 |   437589      0 |    18940 |    22361
1469.44/1469.91	c  622s |      14 |   101958 |    82452 |   437589      0 |    18940 |    22361
1471.83/1472.37	c  625s |      14 |   102316 |    82752 |   437589      0 |    18940 |    22361
1474.73/1475.28	c  627s |      14 |   102658 |    83052 |   437589      0 |    18940 |    22361
1477.33/1477.81	c  630s |      14 |   103031 |    83352 |   437589      0 |    18940 |    22361
1479.63/1480.11	c  632s |      14 |   103420 |    83652 |   437589      0 |    18940 |    22361
1482.23/1482.70	c  635s |      14 |   103770 |    83952 |   437589      0 |    18940 |    22361
1484.53/1485.00	c  637s |      14 |   104132 |    84252 |   437589      0 |    18940 |    22361
1486.94/1487.42	c  640s |      14 |   104493 |    84552 |   437589      0 |    18940 |    22361
1489.43/1489.98	c  642s |      14 |   104831 |    84852 |   437589      0 |    18940 |    22361
1492.03/1492.55	c  645s |      14 |   105197 |    85152 |   437589      0 |    18940 |    22361
1494.73/1495.22	c  647s |      14 |   105560 |    85452 |   437589      0 |    18940 |    22361
1497.43/1497.93	c  650s |      14 |   105917 |    85752 |   437589      0 |    18940 |    22361
1500.13/1500.61	c  653s |      14 |   106279 |    86052 |   437589      0 |    18940 |    22361
1502.23/1502.78	c  655s |      14 |   106511 |    86252 |   437589      0 |    18940 |    22361
1504.93/1505.47	c  658s |      14 |   106864 |    86552 |   437589      0 |    18940 |    22361
1507.83/1508.38	c  661s |      14 |   107220 |    86852 |   437589      0 |    18940 |    22361
1510.63/1511.11	c  663s |      14 |   107576 |    87152 |   437589      0 |    18940 |    22361
1513.23/1513.77	c  666s |      14 |   107936 |    87452 |   437589      0 |    18940 |    22361
1514.62/1515.11	c  667s |      15 |   108142 |    87632 |   437589      0 |    18940 |    22361
1517.22/1517.73	c  670s |      15 |   108279 |    87732 |   437589      0 |    18940 |    22361
1519.72/1520.23	c  672s |      15 |   108612 |    88032 |   437589      0 |    18940 |    22361
1522.13/1522.70	c  675s |      15 |   108966 |    88332 |   437589      0 |    18940 |    22361
1524.43/1524.96	c  677s |      15 |   109351 |    88632 |   437589      0 |    18940 |    22361
1526.63/1527.17	c  679s |      15 |   109718 |    88932 |   437589      0 |    18940 |    22361
1529.12/1529.66	c  682s |      15 |   110108 |    89232 |   437589      0 |    18940 |    22361
1532.13/1532.65	c  685s |      15 |   110525 |    89532 |   437589      0 |    18940 |    22361
1534.72/1535.25	c  687s |      15 |   110906 |    89832 |   437589      0 |    18940 |    22361
1537.22/1537.71	c  690s |      15 |   111263 |    90132 |   437589      0 |    18940 |    22361
1540.02/1540.54	c  693s |      15 |   111644 |    90432 |   437589      0 |    18940 |    22361
1542.62/1543.15	c  695s |      15 |   112015 |    90732 |   437589      0 |    18940 |    22361
1545.42/1545.96	c  698s |      15 |   112369 |    91032 |   437589      0 |    18940 |    22361
1548.02/1548.54	c  701s |      15 |   112729 |    91332 |   437589      0 |    18940 |    22361
1550.32/1550.83	c  703s |      15 |   113117 |    91632 |   437589      0 |    18940 |    22361
1552.62/1553.13	c  705s |      15 |   113468 |    91932 |   437589      0 |    18940 |    22361
1555.02/1555.51	c  708s |      15 |   113859 |    92232 |   437589      0 |    18940 |    22361
1557.72/1558.22	c  710s |      15 |   114201 |    92532 |   437589      0 |    18940 |    22361
1559.92/1560.41	c  713s |      15 |   114546 |    92832 |   437589      0 |    18940 |    22361
1562.52/1563.02	c  715s |      15 |   114880 |    93132 |   437589      0 |    18940 |    22361
1564.62/1565.13	c  717s |      15 |   115133 |    93332 |   437589      0 |    18940 |    22361
1567.02/1567.60	c  720s |      15 |   115499 |    93632 |   437589      0 |    18940 |    22361
1569.22/1569.79	c  722s |      15 |   115844 |    93932 |   437589      0 |    18940 |    22361
1571.52/1572.01	c  724s |      15 |   116201 |    94232 |   437589      0 |    18940 |    22361
1574.21/1574.70	c  727s |      15 |   116565 |    94532 |   437589      0 |    18940 |    22361
1576.71/1577.25	c  729s |      15 |   116929 |    94832 |   437589      0 |    18940 |    22361
1579.51/1580.00	c  732s |      15 |   117291 |    95132 |   437589      0 |    18940 |    22361
1582.01/1582.59	c  735s |      15 |   117664 |    95432 |   437589      0 |    18940 |    22361
1584.61/1585.17	c  737s |      15 |   118010 |    95732 |   437589      0 |    18940 |    22361
1587.21/1587.76	c  740s |      15 |   118363 |    96032 |   437589      0 |    18940 |    22361
1590.11/1590.64	c  743s |      15 |   118710 |    96332 |   437589      0 |    18940 |    22361
1592.81/1593.33	c  745s |      15 |   119064 |    96632 |   437589      0 |    18940 |    22361
1595.11/1595.69	c  748s |      15 |   119408 |    96932 |   437589      0 |    18940 |    22361
1597.41/1597.97	c  750s |      15 |   119771 |    97232 |   437589      0 |    18940 |    22361
1600.01/1600.51	c  753s |      15 |   120115 |    97532 |   437589      0 |    18940 |    22361
1602.81/1603.30	c  755s |      15 |   120476 |    97832 |   437589      0 |    18940 |    22361
1605.21/1605.78	c  758s |      15 |   120844 |    98132 |   437589      0 |    18940 |    22361
1607.71/1608.23	c  760s |      15 |   121221 |    98432 |   437589      0 |    18940 |    22361
1609.71/1610.26	c  762s |      15 |   121467 |    98632 |   437589      0 |    18940 |    22361
1612.11/1612.61	c  765s |      15 |   121830 |    98932 |   437589      0 |    18940 |    22361
1614.81/1615.33	c  767s |      15 |   122201 |    99232 |   437589      0 |    18940 |    22361
1617.21/1617.72	c  770s |      15 |   122573 |    99532 |   437589      0 |    18940 |    22361
1619.91/1620.40	c  773s |      15 |   122947 |    99832 |   437589      0 |    18940 |    22361
1622.41/1622.97	c  775s |      15 |   123312 |   100132 |   437589      0 |    18940 |    22361
1625.41/1625.96	c  778s |      15 |   123688 |   100432 |   437589      0 |    18940 |    22361
1628.31/1628.80	c  781s |      15 |   124047 |   100732 |   437589      0 |    18940 |    22361
1630.51/1631.02	c  783s |      15 |   124275 |   100932 |   437589      0 |    18940 |    22361
1632.51/1633.07	c  785s |      15 |   124523 |   101132 |   437589      0 |    18940 |    22361
1634.51/1635.08	c  787s |      15 |   124750 |   101332 |   437589      0 |    18940 |    22361
1637.21/1637.76	c  790s |      15 |   125115 |   101632 |   437589      0 |    18940 |    22361
1640.20/1640.77	c  793s |      15 |   125471 |   101932 |   437589      0 |    18940 |    22361
1643.00/1643.59	c  796s |      15 |   125811 |   102232 |   437589      0 |    18940 |    22361
1645.70/1646.24	c  798s |      15 |   126165 |   102532 |   437589      0 |    18940 |    22361
1648.31/1648.89	c  801s |      15 |   126528 |   102832 |   437589      0 |    18940 |    22361
1650.92/1651.44	c  804s |      15 |   126885 |   103132 |   437589      0 |    18940 |    22361
1652.91/1653.45	c  806s |      15 |   127105 |   103332 |   437589      0 |    18940 |    22361
1655.71/1656.25	c  808s |      15 |   127465 |   103632 |   437589      0 |    18940 |    22361
1658.52/1659.06	c  811s |      15 |   127825 |   103932 |   437589      0 |    18940 |    22361
1660.72/1661.21	c  813s |      15 |   128050 |   104132 |   437589      0 |    18940 |    22361
1662.92/1663.44	c  816s |      15 |   128276 |   104332 |   437589      0 |    18940 |    22361
1665.11/1665.62	c  818s |      15 |   128508 |   104532 |   437589      0 |    18940 |    22361
1668.11/1668.66	c  821s |      15 |   128867 |   104832 |   437589      0 |    18940 |    22361
1670.21/1670.79	c  823s |      15 |   129089 |   105032 |   437589      0 |    18940 |    22361
1672.51/1673.05	c  825s |      15 |   129304 |   105232 |   437589      0 |    18940 |    22361
1674.51/1675.06	c  827s |      15 |   129542 |   105432 |   437589      0 |    18940 |    22361
1677.31/1677.86	c  830s |      15 |   129902 |   105732 |   437589      0 |    18940 |    22361
1680.01/1680.50	c  833s |      15 |   130263 |   106032 |   437589      0 |    18940 |    22361
1682.81/1683.32	c  835s |      15 |   130605 |   106332 |   437589      0 |    18940 |    22361
1684.81/1685.40	c  838s |      15 |   130858 |   106532 |   437589      0 |    18940 |    22361
1686.91/1687.42	c  840s |      15 |   131120 |   106732 |   437589      0 |    18940 |    22361
1689.61/1690.14	c  842s |      15 |   131481 |   107032 |   437589      0 |    18940 |    22361
1692.40/1692.95	c  845s |      15 |   131840 |   107332 |   437589      0 |    18940 |    22361
1695.30/1695.87	c  848s |      15 |   132199 |   107632 |   437589      0 |    18940 |    22361
1698.11/1698.65	c  851s |      15 |   132533 |   107932 |   437589      0 |    18940 |    22361
1700.70/1701.28	c  853s |      15 |   132878 |   108232 |   437589      0 |    18940 |    22361
1703.10/1703.69	c  856s |      15 |   133240 |   108532 |   437589      0 |    18940 |    22361
1705.70/1706.26	c  858s |      15 |   133597 |   108832 |   437589      0 |    18940 |    22361
1708.40/1708.96	c  861s |      15 |   133993 |   109132 |   437589      0 |    18940 |    22361
1711.10/1711.64	c  864s |      15 |   134358 |   109432 |   437589      0 |    18940 |    22361
1713.80/1714.38	c  867s |      15 |   134717 |   109732 |   437589      0 |    18940 |    22361
1716.70/1717.28	c  869s |      15 |   135091 |   110032 |   437589      0 |    18940 |    22361
1718.80/1719.33	c  871s |      15 |   135314 |   110232 |   437589      0 |    18940 |    22361
1721.60/1722.18	c  874s |      15 |   135710 |   110532 |   437589      0 |    18940 |    22361
1724.50/1725.00	c  877s |      15 |   136056 |   110832 |   437589      0 |    18940 |    22361
1726.60/1727.12	c  879s |      15 |   136294 |   111032 |   437589      0 |    18940 |    22361
1728.80/1729.38	c  882s |      15 |   136523 |   111232 |   437589      0 |    18940 |    22361
1731.20/1731.73	c  884s |      15 |   136743 |   111432 |   437589      0 |    18940 |    22361
1733.30/1733.83	c  886s |      15 |   136964 |   111632 |   437589      0 |    18940 |    22361
1735.50/1736.07	c  888s |      15 |   137198 |   111832 |   437589      0 |    18940 |    22361
1737.90/1738.49	c  891s |      15 |   137433 |   112032 |   437589      0 |    18940 |    22361
1740.70/1741.29	c  893s |      15 |   137797 |   112332 |   437589      0 |    18940 |    22361
1742.90/1743.49	c  896s |      15 |   138034 |   112532 |   437589      0 |    18940 |    22361
1745.10/1745.62	c  898s |      15 |   138283 |   112732 |   437589      0 |    18940 |    22361
1747.30/1747.85	c  900s |      15 |   138530 |   112932 |   437589      0 |    18940 |    22361
1749.40/1749.98	c  902s |      15 |   138748 |   113132 |   437589      0 |    18940 |    22361
1752.39/1752.95	c  905s |      15 |   139102 |   113432 |   437589      0 |    18940 |    22361
1755.30/1755.89	c  908s |      15 |   139448 |   113732 |   437589      0 |    18940 |    22361
1757.39/1757.93	c  910s |      15 |   139678 |   113932 |   437589      0 |    18940 |    22361
1759.49/1760.05	c  912s |      15 |   139943 |   114132 |   437589      0 |    18940 |    22361
1761.59/1762.11	c  914s |      15 |   140201 |   114332 |   437589      0 |    18940 |    22361
1763.79/1764.33	c  916s |      15 |   140454 |   114532 |   437589      0 |    18940 |    22361
1766.19/1766.74	c  919s |      15 |   140702 |   114732 |   437589      0 |    18940 |    22361
1768.29/1768.83	c  921s |      15 |   140945 |   114932 |   437589      0 |    18940 |    22361
1770.49/1771.05	c  923s |      15 |   141197 |   115132 |   437589      0 |    18940 |    22361
1772.79/1773.34	c  926s |      15 |   141442 |   115332 |   437589      0 |    18940 |    22361
1775.10/1775.67	c  928s |      15 |   141670 |   115532 |   437589      0 |    18940 |    22361
1777.19/1777.79	c  930s |      15 |   141901 |   115732 |   437589      0 |    18940 |    22361
1779.29/1779.83	c  932s |      15 |   142127 |   115932 |   437589      0 |    18940 |    22361
1781.80/1782.36	c  935s |      15 |   142371 |   116132 |   437589      0 |    18940 |    22361
1783.90/1784.47	c  937s |      15 |   142596 |   116332 |   437589      0 |    18940 |    22361
1786.69/1787.23	c  939s |      15 |   142938 |   116632 |   437589      0 |    18940 |    22361
1789.59/1790.14	c  942s |      15 |   143308 |   116932 |   437589      0 |    18940 |    22361
1792.69/1793.29	c  945s |      15 |   143658 |   117232 |   437589      0 |    18940 |    22361
1794.89/1795.42	c  948s |      15 |   143904 |   117432 |   437589      0 |    18940 |    22361
1797.39/1797.91	c  950s |      15 |   144137 |   117632 |   437589      0 |    18940 |    22361
1799.49/1800.02	c  952s |      15 |   144350 |   117832 |   437589      0 |    18940 |    22361

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

pid=9311
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.24 2.20 2.18 4/179 9314
/proc/meminfo: memFree=28873620/32872528 swapFree=16384/1696552
[pid=9314] ppid=9311 vsize=703932 CPUtime=0 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5723 0 -1 4202496 2621 0 0 0 0 0 0 0 20 0 4 0 109345970 720826368 2982 33554432000 4194304 16246674 140737305826384 140737305825808 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 176495 2992 441 2943 0 173389 0
[pid=9314/tid=9315] ppid=9311 vsize=720316 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109345970 737603584 3050 33554432000 4194304 16246674 140737305826384 139877767163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109345970 742846464 3067 33554432000 4194304 16246674 140737305826384 139877756673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=729532 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109345970 747040768 3085 33554432000 4194304 16246674 140737305826384 139877746199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100124 s]
/proc/loadavg: 2.24 2.20 2.18 4/179 9314
/proc/meminfo: memFree=28873620/32872528 swapFree=16384/1696552
[pid=9314] ppid=9311 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5723 0 -1 4202496 26770 0 0 0 6 3 0 0 20 0 4 0 109345970 1333334016 27068 33554432000 4194304 16246674 140737305826384 140737305825696 7889646 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 325521 27082 800 2943 0 322415 0
[pid=9314/tid=9315] ppid=9311 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109345970 1333334016 27092 33554432000 4194304 16246674 140737305826384 139877767163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109345970 1333334016 27106 33554432000 4194304 16246674 140737305826384 139877756673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109345970 1333334016 27116 33554432000 4194304 16246674 140737305826384 139877746199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.446008 s]
/proc/loadavg: 2.24 2.20 2.18 4/179 9314
/proc/meminfo: memFree=28873620/32872528 swapFree=16384/1696552
[pid=9314] ppid=9311 vsize=1313348 CPUtime=0.44 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5723 0 -1 4202496 63959 0 0 0 35 9 0 0 20 0 4 0 109345970 1344868352 64768 33554432000 4194304 16246674 140737305826384 140737305809376 12752306 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 328337 64768 801 2943 0 325231 0
[pid=9314/tid=9315] ppid=9311 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109345970 1344868352 64768 33554432000 4194304 16246674 140737305826384 139877767163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109345970 1344868352 64768 33554432000 4194304 16246674 140737305826384 139877756673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109345970 1344868352 64768 33554432000 4194304 16246674 140737305826384 139877746199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 1313348

[startup+0.500461 s]
/proc/loadavg: 2.24 2.20 2.18 4/179 9314
/proc/meminfo: memFree=28873620/32872528 swapFree=16384/1696552
[pid=9314] ppid=9311 vsize=1313348 CPUtime=0.49 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5723 0 -1 4202496 63959 0 0 0 40 9 0 0 20 0 4 0 109345970 1344868352 64768 33554432000 4194304 16246674 140737305826384 140737305809376 7361304 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 328337 64768 801 2943 0 325231 0
[pid=9314/tid=9315] ppid=9311 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109345970 1344868352 64768 33554432000 4194304 16246674 140737305826384 139877767163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109345970 1344868352 64768 33554432000 4194304 16246674 140737305826384 139877756673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109345970 1344868352 64768 33554432000 4194304 16246674 140737305826384 139877746199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 1313348

[startup+0.7004 s]
/proc/loadavg: 2.24 2.20 2.18 4/179 9314
/proc/meminfo: memFree=28873620/32872528 swapFree=16384/1696552
[pid=9314] ppid=9311 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5723 0 -1 4202496 64728 0 0 0 60 9 0 0 20 0 4 0 109345970 1344868352 65537 33554432000 4194304 16246674 140737305826384 140737305809376 7376891 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 328337 65537 802 2943 0 325231 0
[pid=9314/tid=9315] ppid=9311 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109345970 1344868352 65537 33554432000 4194304 16246674 140737305826384 139877767163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109345970 1344868352 65537 33554432000 4194304 16246674 140737305826384 139877756673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109345970 1344868352 65537 33554432000 4194304 16246674 140737305826384 139877746199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50044 s]
/proc/loadavg: 2.24 2.20 2.18 4/183 9318
/proc/meminfo: memFree=28553376/32872528 swapFree=16384/1696552
[pid=9314] ppid=9311 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5723 0 -1 4202496 84408 0 0 0 137 12 0 0 20 0 4 0 109345970 1344868352 85217 33554432000 4194304 16246674 140737305826384 140737305824192 5754924 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 328337 85217 809 2943 0 325231 0
[pid=9314/tid=9315] ppid=9311 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109345970 1344868352 85217 33554432000 4194304 16246674 140737305826384 139877767163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109345970 1344868352 85217 33554432000 4194304 16246674 140737305826384 139877756673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109345970 1344868352 85217 33554432000 4194304 16246674 140737305826384 139877746199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10044 s]
/proc/loadavg: 2.24 2.20 2.18 3/183 9318
/proc/meminfo: memFree=27986448/32872528 swapFree=16384/1696552
[pid=9314] ppid=9311 vsize=1340996 CPUtime=3.09 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5723 0 -1 4202496 275870 0 0 0 268 41 0 0 20 0 4 0 109345970 1373179904 276679 33554432000 4194304 16246674 140737305826384 140737305808256 13965904 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 335249 276679 840 2943 0 332143 0
[pid=9314/tid=9315] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276679 33554432000 4194304 16246674 140737305826384 139877767163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276679 33554432000 4194304 16246674 140737305826384 139877756673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276679 33554432000 4194304 16246674 140737305826384 139877746199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1340996

[startup+6.30045 s]
/proc/loadavg: 2.22 2.19 2.18 3/183 9318
/proc/meminfo: memFree=27768084/32872528 swapFree=16384/1696552
[pid=9314] ppid=9311 vsize=1340996 CPUtime=6.29 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5723 0 -1 4202496 275939 0 0 0 588 41 0 0 20 0 4 0 109345970 1373179904 276748 33554432000 4194304 16246674 140737305826384 140737305808256 12653056 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 335249 276748 904 2943 0 332143 0
[pid=9314/tid=9315] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276748 33554432000 4194304 16246674 140737305826384 139877767163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276748 33554432000 4194304 16246674 140737305826384 139877756673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276748 33554432000 4194304 16246674 140737305826384 139877746199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1340996

[startup+12.7004 s]
/proc/loadavg: 2.20 2.19 2.18 3/183 9318
/proc/meminfo: memFree=27767340/32872528 swapFree=16384/1696552
[pid=9314] ppid=9311 vsize=1340996 CPUtime=12.69 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5723 0 -1 4202496 275952 0 0 0 1228 41 0 0 20 0 4 0 109345970 1373179904 276761 33554432000 4194304 16246674 140737305826384 140737305808256 5674919 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 335249 276761 916 2943 0 332143 0
[pid=9314/tid=9315] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276761 33554432000 4194304 16246674 140737305826384 139877767163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276761 33554432000 4194304 16246674 140737305826384 139877756673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276761 33554432000 4194304 16246674 140737305826384 139877746199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1340996

[startup+25.5004 s]
/proc/loadavg: 2.15 2.18 2.18 4/183 9318
/proc/meminfo: memFree=27768440/32872528 swapFree=16384/1696552
[pid=9314] ppid=9311 vsize=1340996 CPUtime=25.5 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5723 0 -1 4202496 275952 0 0 0 2509 41 0 0 20 0 4 0 109345970 1373179904 276761 33554432000 4194304 16246674 140737305826384 140737305808256 12483272 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 335249 276761 916 2943 0 332143 0
[pid=9314/tid=9315] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276761 33554432000 4194304 16246674 140737305826384 139877767163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276761 33554432000 4194304 16246674 140737305826384 139877756673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276761 33554432000 4194304 16246674 140737305826384 139877746199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1340996

[startup+51.1004 s]
/proc/loadavg: 2.17 2.18 2.18 3/183 9318
/proc/meminfo: memFree=27767720/32872528 swapFree=16384/1696552
[pid=9314] ppid=9311 vsize=1340996 CPUtime=51.09 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5723 0 -1 4202496 275953 0 0 0 5068 41 0 0 20 0 4 0 109345970 1373179904 276762 33554432000 4194304 16246674 140737305826384 140737305808256 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 335249 276762 916 2943 0 332143 0
[pid=9314/tid=9315] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276762 33554432000 4194304 16246674 140737305826384 139877767163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276762 33554432000 4194304 16246674 140737305826384 139877756673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276762 33554432000 4194304 16246674 140737305826384 139877746199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1340996

[startup+102.3 s]
/proc/loadavg: 2.18 2.18 2.18 3/183 9319
/proc/meminfo: memFree=27767400/32872528 swapFree=16384/1696552
[pid=9314] ppid=9311 vsize=1340996 CPUtime=102.28 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5723 0 -1 4202496 275959 0 0 0 10187 41 0 0 20 0 4 0 109345970 1373179904 276768 33554432000 4194304 16246674 140737305826384 140737305808256 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 335249 276768 920 2943 0 332143 0
[pid=9314/tid=9315] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276768 33554432000 4194304 16246674 140737305826384 139877767163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276768 33554432000 4194304 16246674 140737305826384 139877756673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276768 33554432000 4194304 16246674 140737305826384 139877746199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1340996


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

/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 139877746199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1340996

[startup+1302.3 s]
/proc/loadavg: 2.29 2.22 2.19 3/183 9398
/proc/meminfo: memFree=14556656/32872528 swapFree=16384/1696552
[pid=9314] ppid=9311 vsize=1340996 CPUtime=1301.86 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5723 0 -1 4202496 276361 0 0 0 130144 42 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 140737305808256 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 335249 276771 920 2943 0 332143 0
[pid=9314/tid=9315] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 139877767163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 139877756673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 139877746199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1340996

[startup+1362.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/183 9399
/proc/meminfo: memFree=14557800/32872528 swapFree=16384/1696552
[pid=9314] ppid=9311 vsize=1340996 CPUtime=1361.85 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5723 0 -1 4202496 276361 0 0 0 136143 42 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 140737305808256 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 335249 276771 920 2943 0 332143 0
[pid=9314/tid=9315] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 139877767163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 139877756673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 139877746199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1340996

[startup+1422.3 s]
/proc/loadavg: 2.13 2.18 2.17 3/183 9401
/proc/meminfo: memFree=14558048/32872528 swapFree=16384/1696552
[pid=9314] ppid=9311 vsize=1340996 CPUtime=1421.84 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5723 0 -1 4202496 276361 0 0 0 142142 42 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 140737305825560 5717148 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 335249 276771 920 2943 0 332143 0
[pid=9314/tid=9315] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 139877767163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 139877756673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 139877746199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1340996

[startup+1482.3 s]
/proc/loadavg: 2.15 2.19 2.18 3/184 9405
/proc/meminfo: memFree=14555844/32872528 swapFree=16384/1696552
[pid=9314] ppid=9311 vsize=1340996 CPUtime=1481.83 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5723 0 -1 4202496 276361 0 0 0 148141 42 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 140737305808256 13906976 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 335249 276771 920 2943 0 332143 0
[pid=9314/tid=9315] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 139877767163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 139877756673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 139877746199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1340996

[startup+1542.3 s]
/proc/loadavg: 2.31 2.23 2.19 4/184 9429
/proc/meminfo: memFree=14553060/32872528 swapFree=16384/1696552
[pid=9314] ppid=9311 vsize=1340996 CPUtime=1541.82 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5723 0 -1 4202496 276361 0 0 0 154140 42 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 140737305808256 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 335249 276771 920 2943 0 332143 0
[pid=9314/tid=9315] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 139877767163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 139877756673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 139877746199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1340996

[startup+1602.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/183 9430
/proc/meminfo: memFree=14554508/32872528 swapFree=16384/1696552
[pid=9314] ppid=9311 vsize=1340996 CPUtime=1601.81 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5723 0 -1 4202496 276361 0 0 0 160139 42 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 140737305808256 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 335249 276771 920 2943 0 332143 0
[pid=9314/tid=9315] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 139877767163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 139877756673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 139877746199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1340996

[startup+1662.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/183 9431
/proc/meminfo: memFree=14554948/32872528 swapFree=16384/1696552
[pid=9314] ppid=9311 vsize=1340996 CPUtime=1661.82 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5723 0 -1 4202496 276361 0 0 0 166139 43 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 140737305808256 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 335249 276771 920 2943 0 332143 0
[pid=9314/tid=9315] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 139877767163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 139877756673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 139877746199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1340996

[startup+1722.3 s]
/proc/loadavg: 2.29 2.24 2.19 3/183 9433
/proc/meminfo: memFree=14554516/32872528 swapFree=16384/1696552
[pid=9314] ppid=9311 vsize=1340996 CPUtime=1721.8 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5723 0 -1 4202496 276361 0 0 0 172137 43 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 140737305808256 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 335249 276771 920 2943 0 332143 0
[pid=9314/tid=9315] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 139877767163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 139877756673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109345970 1373179904 276771 33554432000 4194304 16246674 140737305826384 139877746199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1340996

[startup+1782.31 s]
/proc/loadavg: 2.37 2.25 2.19 3/183 9434
/proc/meminfo: memFree=14486724/32872528 swapFree=16384/1696552
[pid=9314] ppid=9311 vsize=1408580 CPUtime=1781.8 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5723 0 -1 4202496 293257 0 0 0 178134 46 0 0 20 0 4 0 109345970 1442385920 293667 33554432000 4194304 16246674 140737305826384 140737305808256 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 352145 293667 920 2943 0 349039 0
[pid=9314/tid=9315] ppid=9311 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109345970 1442385920 293667 33554432000 4194304 16246674 140737305826384 139877767163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109345970 1442385920 293667 33554432000 4194304 16246674 140737305826384 139877756673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109345970 1442385920 293667 33554432000 4194304 16246674 140737305826384 139877746199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1408580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.41 2.27 2.20 4/183 9434
/proc/meminfo: memFree=14487336/32872528 swapFree=16384/1696552
[pid=9314] ppid=9311 vsize=1408580 CPUtime=1800.09 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5723 0 -1 4202496 293257 0 0 0 179963 46 0 0 20 0 4 0 109345970 1442385920 293667 33554432000 4194304 16246674 140737305826384 140737305808256 5717450 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 352145 293667 920 2943 0 349039 0
[pid=9314/tid=9315] ppid=9311 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109345970 1442385920 293667 33554432000 4194304 16246674 140737305826384 139877767163120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109345970 1442385920 293667 33554432000 4194304 16246674 140737305826384 139877756673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109345970 1442385920 293667 33554432000 4194304 16246674 140737305826384 139877746199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1408580

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 9314 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.64
CPU system time (s): 0.462929
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 1408580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.462929
maximum resident set size= 1174668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293257
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= 444
involuntary context switches= 1921

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.61399 second user time and 9.1936 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-07 06:35:29
IDJOB=4079969
IDBENCH=77148
IDSOLVER=2542
FILE ID=node125/4079969-1465274129
RUNJOBID= node125-1465259688-5739
PBS_JOBID= 19843289
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12018_6.std.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079969-1465274129/watcher-4079969-1465274129 -o /tmp/evaluation-result-4079969-1465274129/solver-4079969-1465274129 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5739 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079969-1465274129.opb

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

MD5SUM BENCH= c3c02f6d6ed03ca0aea055091dd3548b
RANDOM SEED=1923354644

node125.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.456
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	: 5332.91
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.456
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.56
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.456
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.456
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.456
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.456
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.55
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.456
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.456
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:        28873384 kB
Buffers:          132528 kB
Cached:           278624 kB
SwapCached:         1984 kB
Active:          1281868 kB
Inactive:         269320 kB
Active(anon):    1141600 kB
Inactive(anon):     1436 kB
Active(file):     140268 kB
Inactive(file):   267884 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098580 kB
Dirty:             24048 kB
Writeback:             0 kB
AnonPages:       2835908 kB
Mapped:            10848 kB
Shmem:                 0 kB
Slab:             614176 kB
SReclaimable:      57580 kB
SUnreclaim:       556596 kB
KernelStack:        1480 kB
PageTables:         9352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2978432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1845248 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= 71404 MiB
End job on node125 at 2016-06-07 07:05:30