Trace number 4080207

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.02 1800.41

General information on the benchmark

Name/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_5_errors.opb
MD5SUM06d341d0af76f66d4946a3c264573060
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark62.4045
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables584
Total number of constraints427
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints394
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 182
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 182
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2406
Sum of products size (including duplicates)10572
Number of different products2406
Sum of products size10572

Solver Data 

0.00/0.00	c 2016-06-07T06:10:19+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-4080207-1465272619.opb"]
0.00/0.01	c use --random-gen="3209242855 3466396606 1958491993 4244831872 3239140739 3190614729 836125234 2808896572 3771152918 1161766712 925821400 803820441 3573561140 2819820086 917481540 2409326663 2513592889 1058267082 52260120 1335258039 3751641135 336107900 3983417235 4213098321 1342351352 215506347 1586207057 1672280359 360663534 2982247030 1678826334 3942093335 3742930835 3714795730 1383380969 4251604687 263576116 2926391223 1568066661 2322658948 3984552861 4085532928 1361861834 1039337490 1194078708 2398499779 832065969 2821952960 3183890131 1099118453 1186446301 1131927200 2979962069 2599541584 1734901070 406102090 4052420045 3878814661 3442376679 975661416 3381485122 730109106 63352896 1191754154 1850158460 1390609499 342879802 880054572 1349978923 2226223220 3543354001 4068933869 2623462338 2867393277 3986899311 3524486445 1781760735 838613510 241439963 100450053 1617767791 2149972440 3913702013 350842179 4007160880 60921306 3751414271 935340360 2157968460 925551454 3506333995 756444438 500495081 3609304520 731690437 590652022 3590904372 2859477992 3649876405 1412946200 1067771809 2005479274 366013996 2914252882 1280768980 2642610008 3558673835 856702907 1050306440 280243420 2000689357 3403408701 2243706024 1523814169 2655893769 1916808185 2259952837 3550050542 2755103253 4040891596 4011197156 2333508914 1901013385 1477243650 3885784570 210105455 3148810556 893844462 3619219136 319499415 3301877885 1911743515 3284938514 3447112929 4253065867 3174714046 315776317 3328176818 3074867694 575409698 3683295282 533109104 162965921 3087840014 281897742 1436883453 69648595 2319473973 2739989257 2121014970 908857062 3207999873 3933824509 1140060748 2977764158 3175103864 2788321053 783287632 1078200985 3956201405 1886291419 2419633801 1980150312 11617236 2083528839 1679261787 3860333186 2618779331 223213586 39991111 3235432490 3110088449 556047533 4035473424 841281148 3086254639 1418633338 802670951 247202491 3366284441 1094549777 1223474800 2440981540 436066931 2535289487 4030645050 2266822213 2027411028 1121843466 2109132066 370852150 1044971372 2244214631 3029992098 1940736634 3429585391 72136821 394951782 498262710 3594407781 227195304 3682183794 1850237595 604418473 912946623 50455132 3120596209 1996756751 2238021387 3267686381 3556829877 3844283936 1497198607 2583053535 4132955353 1665019193 97908138 171069276 1461948491 4290473941 1706450706 832634150 2203467561 1509901970 556562285 2523782768 631649536 2466221361 1775744437 4025255927 3217327111 1218911916 3713506013 3561886515 1155945278 1762089618 2451377311 3821076282 1458088822 3153799801 3937742585 3049041751 442757397 57004364 2725960599 2392757676 1127012741 1275419645 1086612316 1965142601 1954329642 4162882008 1462708779 245297981 1484280707 4004263924 255 362436" option to reproduce the execution
0.00/0.03	c #vars 584
0.00/0.03	c #constraints 427
0.08/0.15	c BCD2: Hardening is enabled.
0.08/0.15	c BCD2: BiasedSearch is enabled.
0.08/0.15	c Solving starts ...
0.08/0.15	c ============================[ Search Statistics ]============================
0.08/0.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.15	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.15	c =============================================================================
0.08/0.15	c  0.0s |       0 |        0 |        0 |     4648      0 |      694 |        0
0.19/0.20	c  0.0s |       1 |      139 |      100 |     4648      0 |      694 |      824
0.29/0.35	c  0.2s |       2 |      360 |      250 |     5113      0 |      694 |      824
0.49/0.54	c  0.4s |       3 |      706 |      475 |     5625      0 |      694 |      824
0.78/0.82	c  0.7s |       4 |     1178 |      813 |     6188      0 |      694 |      824
1.20/1.20	c  1.1s |       5 |     2026 |     1320 |     6807      0 |      694 |      824
1.59/1.60	c  1.5s |       6 |     3278 |     2081 |     8237      0 |      694 |      824
2.20/2.25	c  2.1s |       7 |     4655 |     3223 |     9061      0 |      694 |      824
2.69/2.74	c  2.6s |       8 |     6568 |     4936 |     9968      0 |      694 |      824
3.19/3.20	c  3.1s |       8 |     7523 |     5736 |     9968      0 |      694 |      824
3.19/3.20	c #cpu_time = 3.043s
3.19/3.20	c #wall_clock_time = 3.051s
3.19/3.20	c #decision = 7523
3.19/3.20	c #random_decision = 18
3.19/3.20	c #conflict = 5736
3.19/3.20	c #restart = 8
3.19/3.20	o 105
3.19/3.20	c BCD2: updating upper bound: 182 -> 104
3.19/3.20	c BCD2: 0 <= obj <= 104
3.19/3.20	c BCD2: #cores=0, #unrelaxed=182, #relaxed=0, #hardened=0
3.19/3.20	c BCD2: #sat=1 #unsat=1 bias=1/2
3.19/3.20	c Solving starts ...
3.19/3.20	c ============================[ Search Statistics ]============================
3.19/3.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.19/3.20	c       |         |          |          |    Limit     GC | Var      | Constra 
3.19/3.20	c =============================================================================
3.19/3.20	c  0.0s |       0 |        0 |        0 |     9968      0 |      694 |      824
3.19/3.22	c  0.0s |       0 |       19 |        0 |     9968      0 |      694 |      824
3.19/3.22	c #cpu_time = 0.020s
3.19/3.22	c #wall_clock_time = 0.020s
3.19/3.22	c #decision = 19
3.19/3.22	c #random_decision = 0
3.19/3.22	c #conflict = 0
3.19/3.22	c #restart = 0
3.19/3.22	c BCD2: found a new core of size 13: cost of the new core is >=1
3.19/3.22	c lower bound updated to 1
3.19/3.22	c BCD2: 1 <= obj <= 104
3.19/3.22	c BCD2: #cores=1, #unrelaxed=169, #relaxed=13, #hardened=0
3.19/3.22	c BCD2: #sat=1 #unsat=2 bias=2/3
3.19/3.22	c Solving starts ...
3.19/3.22	c ============================[ Search Statistics ]============================
3.19/3.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.19/3.22	c       |         |          |          |    Limit     GC | Var      | Constra 
3.19/3.22	c =============================================================================
3.19/3.22	c  0.0s |       0 |        0 |        0 |     9968      0 |      694 |      824
3.19/3.25	c  0.0s |       1 |      338 |      100 |     9968      0 |      694 |      824
3.19/3.29	c  0.1s |       2 |      772 |      250 |     9968      0 |      694 |      824
3.29/3.36	c  0.1s |       3 |     1709 |      475 |     9968      0 |      694 |      824
3.29/3.39	c  0.2s |       3 |     2155 |      493 |     9968      0 |      694 |      824
3.29/3.39	c #cpu_time = 0.160s
3.29/3.39	c #wall_clock_time = 0.161s
3.29/3.39	c #decision = 2155
3.29/3.39	c #random_decision = 8
3.29/3.39	c #conflict = 493
3.29/3.39	c #restart = 3
3.29/3.39	c BCD2: relaxing 30 and merging with 1 cores into a new core of size 43: cost of the new core is >=2
3.29/3.39	c lower bound updated to 2
3.29/3.39	c BCD2: 2 <= obj <= 104
3.29/3.39	c BCD2: #cores=1, #unrelaxed=139, #relaxed=43, #hardened=0
3.29/3.39	c BCD2: #sat=1 #unsat=3 bias=3/4
3.29/3.39	c Solving starts ...
3.29/3.39	c ============================[ Search Statistics ]============================
3.29/3.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.29/3.39	c       |         |          |          |    Limit     GC | Var      | Constra 
3.29/3.39	c =============================================================================
3.29/3.39	c  0.0s |       0 |        0 |        0 |     9968      0 |      695 |      824
3.39/3.42	c  0.0s |       1 |      261 |      100 |     9968      0 |      695 |      825
3.39/3.49	c  0.1s |       2 |      577 |      250 |     9968      0 |      695 |      825
3.49/3.57	c  0.2s |       3 |      965 |      475 |     9968      0 |      695 |      825
3.59/3.69	c  0.3s |       4 |     1492 |      813 |     9968      0 |      695 |      825
3.79/3.83	c  0.4s |       5 |     2262 |     1320 |    10965      0 |      695 |      825
3.99/4.06	c  0.7s |       6 |     3323 |     2081 |    10965      0 |      695 |      825
4.39/4.43	c  1.0s |       7 |     4685 |     3223 |    10965      0 |      695 |      825
4.79/4.86	c  1.5s |       8 |     6737 |     4936 |    10965      0 |      695 |      825
5.69/5.73	c  2.3s |       9 |     9622 |     7506 |    12062      1 |      695 |      825
6.89/6.95	c  3.6s |      10 |    13935 |    11361 |    13269      1 |      695 |      825
8.89/8.97	c  5.6s |      10 |    18952 |    15861 |    13269      2 |      695 |      825
9.59/9.67	c  6.3s |      11 |    20339 |    17144 |    13269      2 |      695 |      825
11.68/11.71	c  8.3s |      11 |    24423 |    20744 |    14596      2 |      695 |      825
13.68/13.72	c 10.3s |      11 |    27571 |    23444 |    14596      3 |      695 |      825
14.29/14.35	c 11.0s |      12 |    30198 |    25819 |    14596      3 |      695 |      825
16.28/16.37	c 13.0s |      12 |    33952 |    29119 |    14596      3 |      695 |      825
18.28/18.39	c 15.0s |      12 |    37407 |    32419 |    16056      4 |      695 |      825
20.38/20.40	c 17.0s |      12 |    41334 |    36019 |    16056      4 |      695 |      825
21.99/22.06	c 18.7s |      13 |    44411 |    38832 |    16056      4 |      695 |      825
23.98/24.06	c 20.7s |      13 |    47785 |    41632 |    16056      5 |      695 |      825
25.98/26.07	c 22.7s |      13 |    51272 |    44932 |    16056      5 |      695 |      825
28.09/28.10	c 24.7s |      13 |    55015 |    48232 |    16056      5 |      695 |      825
30.09/30.15	c 26.8s |      13 |    58548 |    51332 |    16056      6 |      695 |      825
32.09/32.16	c 28.8s |      13 |    61930 |    54432 |    17662      6 |      695 |      825
34.19/34.22	c 30.8s |      13 |    64347 |    56732 |    17662      6 |      695 |      825
35.19/35.23	c 31.8s |      14 |    66060 |    58352 |    17662      6 |      695 |      825
37.18/37.26	c 33.9s |      14 |    70398 |    62252 |    17662      7 |      695 |      825
39.18/39.29	c 35.9s |      14 |    73692 |    65352 |    17662      7 |      695 |      825
41.18/41.29	c 37.9s |      14 |    76166 |    67652 |    17662      8 |      695 |      825
43.28/43.34	c 40.0s |      14 |    79980 |    71252 |    17662      8 |      695 |      825
45.28/45.36	c 42.0s |      14 |    83393 |    74452 |    17662      8 |      695 |      825
47.58/47.64	c 44.3s |      14 |    86080 |    76952 |    17662      9 |      695 |      825
49.78/49.84	c 46.5s |      14 |    88530 |    79252 |    17662      9 |      695 |      825
51.88/51.90	c 48.5s |      14 |    92561 |    82952 |    19429      9 |      695 |      825
53.89/53.94	c 50.6s |      14 |    95511 |    85752 |    19429      9 |      695 |      825
55.08/55.13	c 51.7s |      15 |    97543 |    87632 |    19429      9 |      695 |      825
57.08/57.15	c 53.8s |      15 |   101072 |    90832 |    19429     10 |      695 |      825
59.08/59.17	c 55.8s |      15 |   103203 |    92832 |    19429     10 |      695 |      825
61.18/61.21	c 57.8s |      15 |   106795 |    96232 |    19429     10 |      695 |      825
63.18/63.23	c 59.8s |      15 |   109719 |    98832 |    19429     11 |      695 |      825
65.18/65.25	c 61.9s |      15 |   112661 |   101432 |    19429     11 |      695 |      825
67.19/67.28	c 63.9s |      15 |   116636 |   104932 |    19429     11 |      695 |      825
69.29/69.30	c 65.9s |      15 |   119264 |   107132 |    19429     11 |      695 |      825
71.28/71.38	c 68.0s |      15 |   121704 |   109332 |    19429     12 |      695 |      825
73.28/73.39	c 70.0s |      15 |   124931 |   112232 |    19429     12 |      695 |      825
75.38/75.42	c 72.0s |      15 |   128626 |   115532 |    19429     12 |      695 |      825
77.48/77.51	c 74.1s |      15 |   131472 |   118032 |    19429     12 |      695 |      825
79.48/79.53	c 76.1s |      15 |   133887 |   120332 |    19429     13 |      695 |      825
81.49/81.55	c 78.2s |      15 |   138600 |   124832 |    21372     13 |      695 |      825
83.48/83.58	c 80.2s |      15 |   141997 |   128132 |    21372     13 |      695 |      825
85.58/85.60	c 82.2s |      15 |   144549 |   130632 |    21372     13 |      695 |      825
86.28/86.39	c 83.0s |      16 |   145487 |   131552 |    21372     14 |      695 |      825
88.28/88.39	c 85.0s |      16 |   149373 |   134752 |    21372     14 |      695 |      825
90.67/90.78	c 87.4s |      16 |   152443 |   137252 |    21372     14 |      695 |      825
92.77/92.87	c 89.5s |      16 |   154046 |   138752 |    21372     14 |      695 |      825
94.87/94.94	c 91.6s |      16 |   156392 |   140752 |    21372     14 |      695 |      825
96.88/96.98	c 93.6s |      16 |   159090 |   142952 |    21372     15 |      695 |      825
98.98/99.03	c 95.6s |      16 |   163815 |   146652 |    21372     15 |      695 |      825
100.97/101.06	c 97.7s |      16 |   167744 |   149652 |    21372     15 |      695 |      825
103.07/103.10	c 99.7s |      16 |   170531 |   151952 |    21372     15 |      695 |      825
105.07/105.12	c  101s |      16 |   172583 |   153752 |    21372     16 |      695 |      825
107.07/107.14	c  103s |      16 |   176276 |   157152 |    21372     16 |      695 |      825
109.07/109.16	c  105s |      16 |   179030 |   159852 |    21372     16 |      695 |      825
111.18/111.21	c  107s |      16 |   181426 |   162152 |    21372     16 |      695 |      825
113.17/113.25	c  109s |      16 |   183761 |   164352 |    21372     17 |      695 |      825
115.28/115.33	c  111s |      16 |   187531 |   168052 |    21372     17 |      695 |      825
117.28/117.37	c  113s |      16 |   190291 |   170752 |    21372     17 |      695 |      825
119.38/119.43	c  116s |      16 |   192947 |   173352 |    21372     17 |      695 |      825
121.48/121.53	c  118s |      16 |   194985 |   175352 |    21372     17 |      695 |      825
123.47/123.54	c  120s |      16 |   196818 |   177152 |    21372     18 |      695 |      825
125.48/125.58	c  122s |      16 |   199079 |   179352 |    21372     18 |      695 |      825
127.58/127.62	c  124s |      16 |   201140 |   181352 |    21372     18 |      695 |      825
129.57/129.64	c  126s |      16 |   202982 |   183152 |    21372     18 |      695 |      825
131.57/131.67	c  128s |      16 |   204613 |   184752 |    21372     18 |      695 |      825
133.57/133.68	c  130s |      16 |   206154 |   186252 |    21372     18 |      695 |      825
135.67/135.70	c  132s |      16 |   207266 |   187352 |    21372     19 |      695 |      825
137.67/137.73	c  134s |      16 |   209466 |   189452 |    21372     19 |      695 |      825
139.67/139.79	c  136s |      16 |   211574 |   191452 |    23510     19 |      695 |      825
141.77/141.81	c  138s |      16 |   213204 |   193052 |    23510     19 |      695 |      825
143.77/143.89	c  140s |      16 |   215151 |   194952 |    23510     19 |      695 |      825
145.87/145.93	c  142s |      16 |   217000 |   196752 |    23510     19 |      695 |      825
146.67/146.70	c  143s |      17 |   217700 |   197432 |    23510     19 |      695 |      825
148.67/148.71	c  145s |      17 |   219424 |   198932 |    23510     19 |      695 |      825
150.87/150.99	c  147s |      17 |   220652 |   200032 |    23510     20 |      695 |      825
153.36/153.43	c  150s |      17 |   220774 |   200132 |    23510     20 |      695 |      825
155.37/155.49	c  152s |      17 |   222686 |   201732 |    23510     20 |      695 |      825
157.47/157.53	c  154s |      17 |   225162 |   204132 |    23510     20 |      695 |      825
159.48/159.60	c  156s |      17 |   227375 |   206232 |    23510     20 |      695 |      825
161.68/161.71	c  158s |      17 |   229307 |   208132 |    23510     20 |      695 |      825
163.67/163.72	c  160s |      17 |   230957 |   209732 |    23510     20 |      695 |      825
165.67/165.75	c  162s |      17 |   233175 |   211832 |    23510     20 |      695 |      825
167.67/167.77	c  164s |      17 |   235473 |   214032 |    23510     21 |      695 |      825
169.77/169.81	c  166s |      17 |   238334 |   216732 |    23510     21 |      695 |      825
171.77/171.85	c  168s |      17 |   240759 |   219032 |    23510     21 |      695 |      825
173.87/173.91	c  170s |      17 |   242987 |   221132 |    23510     21 |      695 |      825
175.87/175.92	c  172s |      17 |   245019 |   223032 |    23510     21 |      695 |      825
177.87/177.98	c  174s |      17 |   246404 |   224332 |    23510     22 |      695 |      825
179.96/180.01	c  176s |      17 |   248279 |   226132 |    23510     22 |      695 |      825
181.96/182.06	c  178s |      17 |   250988 |   228732 |    23510     22 |      695 |      825
184.06/184.15	c  180s |      17 |   253384 |   231032 |    23510     22 |      695 |      825
186.06/186.19	c  182s |      17 |   255591 |   233132 |    23510     22 |      695 |      825
188.17/188.30	c  184s |      17 |   257589 |   235032 |    23510     22 |      695 |      825
190.46/190.59	c  187s |      17 |   259048 |   236432 |    23510     23 |      695 |      825
192.47/192.60	c  189s |      17 |   261552 |   238832 |    23510     23 |      695 |      825
194.56/194.61	c  191s |      17 |   264041 |   241132 |    23510     23 |      695 |      825
196.87/197.00	c  193s |      17 |   265998 |   242932 |    23510     23 |      695 |      825
198.96/199.09	c  195s |      17 |   268702 |   245432 |    23510     23 |      695 |      825
201.06/201.13	c  197s |      17 |   270494 |   247132 |    23510     23 |      695 |      825
203.06/203.14	c  199s |      17 |   271621 |   248232 |    23510     23 |      695 |      825
205.06/205.15	c  201s |      17 |   272634 |   249232 |    23510     24 |      695 |      825
207.06/207.17	c  203s |      17 |   274559 |   251132 |    23510     24 |      695 |      825
209.16/209.25	c  205s |      17 |   276296 |   252832 |    23510     24 |      695 |      825
211.16/211.25	c  207s |      17 |   277924 |   254432 |    23510     24 |      695 |      825
213.25/213.30	c  209s |      17 |   279372 |   255832 |    23510     24 |      695 |      825
215.35/215.40	c  212s |      17 |   281002 |   257432 |    23510     24 |      695 |      825
217.35/217.42	c  214s |      17 |   282421 |   258832 |    23510     24 |      695 |      825
219.45/219.56	c  216s |      17 |   283852 |   260232 |    23510     24 |      695 |      825
221.45/221.58	c  218s |      17 |   284973 |   261332 |    23510     25 |      695 |      825
224.55/224.66	c  221s |      17 |   286708 |   263032 |    23510     25 |      695 |      825
226.66/226.73	c  223s |      17 |   288851 |   265132 |    23510     25 |      695 |      825
228.65/228.73	c  225s |      17 |   290688 |   266932 |    23510     25 |      695 |      825
230.75/230.81	c  227s |      17 |   292461 |   268632 |    23510     25 |      695 |      825
232.75/232.86	c  229s |      17 |   293999 |   270132 |    23510     25 |      695 |      825
234.85/234.96	c  231s |      17 |   294806 |   270932 |    23510     25 |      695 |      825
236.95/237.09	c  233s |      17 |   296226 |   272332 |    23510     25 |      695 |      825
239.05/239.17	c  235s |      17 |   297144 |   273232 |    23510     26 |      695 |      825
242.36/242.47	c  239s |      17 |   298782 |   274832 |    23510     26 |      695 |      825
244.46/244.53	c  241s |      17 |   300833 |   276832 |    23510     26 |      695 |      825
246.55/246.63	c  243s |      17 |   302601 |   278532 |    23510     26 |      695 |      825
248.56/248.64	c  245s |      17 |   304342 |   280232 |    23510     26 |      695 |      825
250.55/250.67	c  247s |      17 |   305769 |   281632 |    23510     26 |      695 |      825
252.55/252.67	c  249s |      17 |   307299 |   283132 |    23510     26 |      695 |      825
254.65/254.73	c  251s |      17 |   308734 |   284532 |    23510     26 |      695 |      825
256.75/256.81	c  253s |      17 |   309666 |   285332 |    23510     27 |      695 |      825
258.75/258.83	c  255s |      17 |   312304 |   287832 |    23510     27 |      695 |      825
260.76/260.88	c  257s |      17 |   314756 |   290032 |    25862     27 |      695 |      825
262.86/262.94	c  259s |      17 |   317542 |   292132 |    25862     27 |      695 |      825
264.95/265.02	c  261s |      17 |   319815 |   294132 |    25862     27 |      695 |      825
266.55/266.63	c  263s |      18 |   322209 |   296252 |    25862     27 |      695 |      825
268.65/268.73	c  265s |      18 |   323617 |   297252 |    25862     27 |      695 |      825
270.75/270.83	c  267s |      18 |   325641 |   299052 |    25862     27 |      695 |      825
272.75/272.88	c  269s |      18 |   328889 |   301552 |    25862     28 |      695 |      825
275.15/275.29	c  271s |      18 |   334098 |   305752 |    25862     28 |      695 |      825
277.45/277.50	c  274s |      18 |   337255 |   308452 |    25862     28 |      695 |      825
279.45/279.56	c  276s |      18 |   339946 |   310752 |    25862     28 |      695 |      825
281.45/281.59	c  278s |      18 |   342093 |   312552 |    25862     28 |      695 |      825
283.54/283.64	c  280s |      18 |   343802 |   314052 |    25862     29 |      695 |      825
285.54/285.68	c  282s |      18 |   346792 |   316752 |    25862     29 |      695 |      825
287.54/287.69	c  284s |      18 |   349601 |   319152 |    25862     29 |      695 |      825
289.54/289.69	c  286s |      18 |   352412 |   321552 |    25862     29 |      695 |      825
291.74/291.82	c  288s |      18 |   354950 |   323652 |    25862     29 |      695 |      825
293.84/293.94	c  290s |      18 |   356703 |   325252 |    25862     29 |      695 |      825
295.95/296.08	c  292s |      18 |   358137 |   326552 |    25862     30 |      695 |      825
297.94/298.08	c  294s |      18 |   360627 |   328752 |    25862     30 |      695 |      825
300.04/300.11	c  296s |      18 |   363670 |   331352 |    25862     30 |      695 |      825
302.25/302.30	c  298s |      18 |   365532 |   332952 |    25862     30 |      695 |      825
304.35/304.40	c  301s |      18 |   368334 |   335152 |    25862     30 |      695 |      825
306.35/306.44	c  303s |      18 |   370420 |   337052 |    25862     30 |      695 |      825
308.45/308.53	c  305s |      18 |   372104 |   338652 |    25862     30 |      695 |      825
310.65/310.76	c  307s |      18 |   373600 |   339952 |    25862     31 |      695 |      825
312.75/312.84	c  309s |      18 |   376107 |   342252 |    25862     31 |      695 |      825
314.75/314.84	c  311s |      18 |   378266 |   344252 |    25862     31 |      695 |      825
316.85/316.91	c  313s |      18 |   380372 |   346152 |    25862     31 |      695 |      825
318.84/318.96	c  315s |      18 |   382124 |   347752 |    25862     31 |      695 |      825
320.94/321.00	c  317s |      18 |   383863 |   349352 |    25862     31 |      695 |      825
322.94/323.09	c  319s |      18 |   385625 |   350952 |    25862     31 |      695 |      825
325.04/325.17	c  321s |      18 |   387246 |   352452 |    25862     31 |      695 |      825
327.04/327.19	c  323s |      18 |   388221 |   353352 |    25862     32 |      695 |      825
329.14/329.24	c  325s |      18 |   389744 |   354752 |    25862     32 |      695 |      825
331.24/331.31	c  327s |      18 |   392199 |   356752 |    25862     32 |      695 |      825
333.35/333.42	c  330s |      18 |   394608 |   358852 |    25862     32 |      695 |      825
335.34/335.47	c  332s |      18 |   396883 |   360752 |    25862     32 |      695 |      825
337.34/337.48	c  334s |      18 |   398922 |   362452 |    25862     32 |      695 |      825
339.44/339.52	c  336s |      18 |   400984 |   364152 |    25862     32 |      695 |      825
341.54/341.61	c  338s |      18 |   402982 |   365852 |    25862     32 |      695 |      825
343.93/344.05	c  340s |      18 |   404057 |   366752 |    25862     33 |      695 |      825
345.93/346.08	c  342s |      18 |   406586 |   368952 |    25862     33 |      695 |      825
347.93/348.09	c  344s |      18 |   409015 |   370952 |    25862     33 |      695 |      825
350.03/350.17	c  346s |      18 |   412062 |   373352 |    25862     33 |      695 |      825
352.13/352.24	c  348s |      18 |   414490 |   375352 |    25862     33 |      695 |      825
354.24/354.32	c  350s |      18 |   416671 |   377152 |    25862     33 |      695 |      825
356.23/356.35	c  352s |      18 |   418504 |   378752 |    25862     33 |      695 |      825
358.43/358.50	c  355s |      18 |   420193 |   380052 |    25862     34 |      695 |      825
360.44/360.57	c  357s |      18 |   422651 |   382252 |    25862     34 |      695 |      825
362.54/362.61	c  359s |      18 |   425073 |   384552 |    25862     34 |      695 |      825
364.54/364.68	c  361s |      18 |   427389 |   386752 |    25862     34 |      695 |      825
366.64/366.79	c  363s |      18 |   429507 |   388752 |    25862     34 |      695 |      825
370.74/370.87	c  367s |      18 |   430485 |   389652 |    25862     34 |      695 |      825
372.84/372.93	c  369s |      18 |   432644 |   391652 |    25862     34 |      695 |      825
375.43/375.58	c  372s |      18 |   434549 |   393452 |    25862     35 |      695 |      825
377.53/377.60	c  374s |      18 |   437265 |   395952 |    25862     35 |      695 |      825
379.84/379.92	c  376s |      18 |   438375 |   396952 |    25862     35 |      695 |      825
381.84/381.93	c  378s |      18 |   441032 |   399452 |    25862     35 |      695 |      825
383.84/383.96	c  380s |      18 |   443223 |   401452 |    25862     35 |      695 |      825
385.93/386.01	c  382s |      18 |   446837 |   404452 |    25862     35 |      695 |      825
388.34/388.48	c  385s |      18 |   449743 |   406852 |    25862     36 |      695 |      825
390.33/390.48	c  387s |      18 |   453036 |   409752 |    25862     36 |      695 |      825
392.43/392.56	c  389s |      18 |   455960 |   412352 |    25862     36 |      695 |      825
394.43/394.57	c  391s |      18 |   458624 |   414652 |    25862     36 |      695 |      825
396.53/396.62	c  393s |      18 |   460803 |   416552 |    25862     36 |      695 |      825
398.63/398.70	c  395s |      18 |   462571 |   418152 |    25862     36 |      695 |      825
400.73/400.84	c  397s |      18 |   463816 |   419352 |    25862     36 |      695 |      825
402.83/402.94	c  399s |      18 |   464932 |   420352 |    25862     37 |      695 |      825
404.83/404.96	c  401s |      18 |   466626 |   421852 |    25862     37 |      695 |      825
406.93/407.04	c  403s |      18 |   468855 |   423852 |    25862     37 |      695 |      825
409.03/409.14	c  405s |      18 |   470952 |   425752 |    25862     37 |      695 |      825
411.03/411.14	c  407s |      18 |   472756 |   427452 |    25862     37 |      695 |      825
413.13/413.24	c  409s |      18 |   474511 |   429052 |    25862     37 |      695 |      825
415.22/415.31	c  411s |      18 |   475907 |   430352 |    25862     37 |      695 |      825
417.22/417.31	c  413s |      18 |   477454 |   431752 |    25862     37 |      695 |      825
419.22/419.33	c  415s |      18 |   479362 |   433452 |    25862     37 |      695 |      825
421.23/421.38	c  417s |      18 |   480717 |   434652 |    25862     38 |      695 |      825
423.32/423.47	c  420s |      18 |   483165 |   436752 |    28449     38 |      695 |      825
425.42/425.51	c  422s |      18 |   485712 |   438952 |    28449     38 |      695 |      825
427.42/427.59	c  424s |      18 |   488191 |   441052 |    28449     38 |      695 |      825
429.52/429.62	c  426s |      18 |   490582 |   443352 |    28449     38 |      695 |      825
431.02/431.13	c  427s |      19 |   492106 |   444482 |    28449     38 |      695 |      825
431.62/431.71	c  428s |      19 |   493090 |   444819 |    28449     38 |      695 |      825
431.62/431.71	c #cpu_time = 427.233s
431.62/431.71	c #wall_clock_time = 428.327s
431.62/431.71	c #decision = 493090
431.62/431.71	c #random_decision = 2180
431.62/431.71	c #conflict = 444819
431.62/431.71	c #restart = 19
431.62/431.71	c BCD2: found a new core of size 62: cost of the new core is >=1
431.62/431.71	c lower bound updated to 3
431.62/431.71	c BCD2: 3 <= obj <= 104
431.62/431.71	c BCD2: #cores=2, #unrelaxed=77, #relaxed=105, #hardened=0
431.62/431.71	c BCD2: #sat=1 #unsat=4 bias=4/5
431.62/431.71	c Solving starts ...
431.62/431.71	c ============================[ Search Statistics ]============================
431.62/431.71	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
431.62/431.71	c       |         |          |          |    Limit     GC | Var      | Constra 
431.62/431.71	c =============================================================================
431.62/431.71	c  0.0s |       0 |        0 |        0 |    28449      0 |      695 |      825
431.72/431.88	c  0.2s |       1 |      230 |      100 |    28449      0 |      695 |      825
431.82/431.97	c  0.3s |       2 |      490 |      250 |    28449      0 |      695 |      825
431.92/432.07	c  0.4s |       3 |      809 |      475 |    28449      0 |      695 |      825
432.02/432.18	c  0.5s |       4 |     1252 |      813 |    28449      0 |      695 |      825
432.23/432.32	c  0.6s |       5 |     1862 |     1320 |    28449      0 |      695 |      825
432.42/432.54	c  0.8s |       6 |     2729 |     2081 |    28449      0 |      695 |      825
432.72/432.81	c  1.1s |       7 |     3989 |     3223 |    28449      0 |      695 |      825
433.33/433.42	c  1.7s |       8 |     5815 |     4936 |    28449      1 |      695 |      825
435.32/435.42	c  3.7s |       8 |     8266 |     7236 |    28449      1 |      695 |      825
435.32/435.48	c  3.8s |       9 |     8532 |     7506 |    28449      1 |      695 |      825
436.92/437.09	c  5.4s |      10 |    12603 |    11361 |    28449      1 |      695 |      825
439.02/439.13	c  7.4s |      10 |    16306 |    14861 |    28449      1 |      695 |      825
440.72/440.87	c  9.2s |      11 |    18618 |    17144 |    28449      1 |      695 |      825
442.83/442.94	c 11.2s |      11 |    20947 |    19344 |    28449      2 |      695 |      825
444.83/444.97	c 13.3s |      11 |    23666 |    22044 |    28449      2 |      695 |      825
446.93/447.07	c 15.4s |      11 |    25984 |    24344 |    28449      2 |      695 |      825
448.53/448.68	c 17.0s |      12 |    27462 |    25819 |    28449      2 |      695 |      825
450.63/450.77	c 19.1s |      12 |    29577 |    27819 |    28449      2 |      695 |      825
452.73/452.86	c 21.1s |      12 |    31197 |    29419 |    28449      2 |      695 |      825
454.72/454.87	c 23.2s |      12 |    32720 |    30919 |    28449      2 |      695 |      825
456.72/456.88	c 25.2s |      12 |    34451 |    32619 |    28449      2 |      695 |      825
459.02/459.18	c 27.5s |      12 |    35781 |    33919 |    28449      3 |      695 |      825
461.12/461.23	c 29.5s |      12 |    38414 |    36519 |    28449      3 |      695 |      825
463.22/463.30	c 31.6s |      12 |    40533 |    38619 |    28449      3 |      695 |      825
463.42/463.55	c 31.8s |      13 |    40746 |    38832 |    28449      3 |      695 |      825
465.42/465.56	c 33.8s |      13 |    42146 |    40132 |    28449      3 |      695 |      825
467.43/467.57	c 35.9s |      13 |    49469 |    47332 |    28449      3 |      695 |      825
469.42/469.58	c 37.9s |      13 |    54627 |    52232 |    28449      4 |      695 |      825
471.52/471.60	c 39.9s |      13 |    58472 |    55932 |    28449      4 |      695 |      825
473.22/473.31	c 41.6s |      14 |    60968 |    58352 |    28449      4 |      695 |      825
475.23/475.35	c 43.6s |      14 |    63083 |    60352 |    28449      4 |      695 |      825
477.22/477.35	c 45.6s |      14 |    65791 |    63052 |    28449      4 |      695 |      825
479.22/479.37	c 47.7s |      14 |    68998 |    66252 |    28449      5 |      695 |      825
481.22/481.39	c 49.7s |      14 |    73020 |    70252 |    28449      5 |      695 |      825
483.32/483.48	c 51.8s |      14 |    76128 |    73352 |    28449      5 |      695 |      825
485.32/485.49	c 53.8s |      14 |    79049 |    76252 |    28449      5 |      695 |      825
487.41/487.52	c 55.8s |      14 |    80957 |    78152 |    28449      6 |      695 |      825
489.42/489.57	c 57.9s |      14 |    83669 |    80852 |    28449      6 |      695 |      825
491.51/491.60	c 59.9s |      14 |    86378 |    83552 |    28449      6 |      695 |      825
493.51/493.63	c 61.9s |      14 |    88696 |    85852 |    28449      6 |      695 |      825
495.31/495.40	c 63.7s |      15 |    90489 |    87632 |    28449      6 |      695 |      825
497.31/497.43	c 65.7s |      15 |    92788 |    89832 |    28449      6 |      695 |      825
499.42/499.50	c 67.8s |      15 |    94302 |    91332 |    28449      6 |      695 |      825
501.82/501.97	c 70.3s |      15 |    95499 |    92532 |    28449      7 |      695 |      825
503.92/504.02	c 72.3s |      15 |    98509 |    95532 |    28449      7 |      695 |      825
505.92/506.08	c 74.4s |      15 |   100828 |    97832 |    28449      7 |      695 |      825
508.02/508.13	c 76.4s |      15 |   103224 |   100232 |    28449      7 |      695 |      825
510.02/510.14	c 78.4s |      15 |   104740 |   101732 |    28449      7 |      695 |      825
512.11/512.24	c 80.5s |      15 |   105766 |   102732 |    28449      7 |      695 |      825
514.11/514.27	c 82.6s |      15 |   107291 |   104232 |    28449      7 |      695 |      825
516.21/516.34	c 84.6s |      15 |   109015 |   105932 |    28449      7 |      695 |      825
518.31/518.42	c 86.7s |      15 |   110445 |   107332 |    28449      8 |      695 |      825
520.32/520.46	c 88.7s |      15 |   112092 |   108932 |    28449      8 |      695 |      825
522.42/522.52	c 90.8s |      15 |   114647 |   111432 |    28449      8 |      695 |      825
524.41/524.58	c 92.9s |      15 |   116586 |   113332 |    28449      8 |      695 |      825
526.51/526.65	c 94.9s |      15 |   118416 |   115132 |    28449      8 |      695 |      825
528.61/528.73	c 97.0s |      15 |   119957 |   116632 |    28449      8 |      695 |      825
530.71/530.84	c 99.1s |      15 |   121282 |   117932 |    28449      8 |      695 |      825
532.71/532.87	c  101s |      15 |   122594 |   119232 |    28449      8 |      695 |      825
534.81/534.92	c  103s |      15 |   124009 |   120632 |    28449      8 |      695 |      825
537.41/537.52	c  105s |      15 |   125120 |   121732 |    28449      9 |      695 |      825
539.41/539.55	c  107s |      15 |   127355 |   123932 |    28449      9 |      695 |      825
541.41/541.57	c  109s |      15 |   128973 |   125532 |    28449      9 |      695 |      825
543.51/543.61	c  111s |      15 |   130777 |   127332 |    28449      9 |      695 |      825
545.52/545.62	c  113s |      15 |   132412 |   128932 |    28449      9 |      695 |      825
547.61/547.71	c  115s |      15 |   134146 |   130632 |    28449      9 |      695 |      825
549.01/549.16	c  117s |      16 |   135086 |   131552 |    28449      9 |      695 |      825
551.61/551.74	c  120s |      16 |   136312 |   132652 |    28449      9 |      695 |      825
553.71/553.84	c  122s |      16 |   138223 |   134552 |    28449      9 |      695 |      825
555.81/555.92	c  124s |      16 |   140026 |   136352 |    28449      9 |      695 |      825
557.81/557.93	c  126s |      16 |   141728 |   138052 |    28449     10 |      695 |      825
561.70/561.82	c  130s |      16 |   143847 |   140152 |    28449     10 |      695 |      825
563.70/563.83	c  132s |      16 |   147470 |   143752 |    28449     10 |      695 |      825
565.80/565.94	c  134s |      16 |   150081 |   146352 |    28449     10 |      695 |      825
567.90/568.01	c  136s |      16 |   151923 |   148152 |    28449     10 |      695 |      825
570.00/570.10	c  138s |      16 |   153891 |   150052 |    28449     10 |      695 |      825
572.01/572.16	c  140s |      16 |   155109 |   151252 |    28449     11 |      695 |      825
574.00/574.19	c  142s |      16 |   157538 |   153652 |    28449     11 |      695 |      825
576.10/576.20	c  144s |      16 |   159564 |   155652 |    28449     11 |      695 |      825
578.11/578.20	c  146s |      16 |   161426 |   157452 |    28449     11 |      695 |      825
580.11/580.22	c  148s |      16 |   163047 |   159052 |    28449     11 |      695 |      825
582.21/582.33	c  150s |      16 |   164871 |   160852 |    28449     11 |      695 |      825
584.31/584.47	c  152s |      16 |   167302 |   163252 |    28449     11 |      695 |      825
586.40/586.53	c  154s |      16 |   169622 |   165552 |    28449     11 |      695 |      825
588.41/588.57	c  156s |      16 |   170832 |   166752 |    28449     12 |      695 |      825
590.50/590.62	c  158s |      16 |   173185 |   169052 |    28449     12 |      695 |      825
592.60/592.74	c  161s |      16 |   175615 |   171452 |    28449     12 |      695 |      825
594.80/594.92	c  163s |      16 |   177434 |   173252 |    28449     12 |      695 |      825
596.80/596.94	c  165s |      16 |   178962 |   174752 |    28449     12 |      695 |      825
601.20/601.35	c  169s |      16 |   179876 |   175652 |    28449     12 |      695 |      825
603.20/603.38	c  171s |      16 |   181394 |   177152 |    28449     12 |      695 |      825
605.30/605.42	c  173s |      16 |   182805 |   178552 |    28449     12 |      695 |      825
607.39/607.50	c  175s |      16 |   184326 |   180052 |    28449     12 |      695 |      825
609.40/609.52	c  177s |      16 |   186348 |   182052 |    28449     13 |      695 |      825
615.60/615.75	c  184s |      16 |   187378 |   183052 |    28449     13 |      695 |      825
617.60/617.79	c  186s |      16 |   190684 |   186252 |    28449     13 |      695 |      825
619.70/619.89	c  188s |      16 |   193238 |   188752 |    28449     13 |      695 |      825
621.80/621.94	c  190s |      16 |   195361 |   190852 |    28449     13 |      695 |      825
623.90/624.01	c  192s |      16 |   197411 |   192852 |    28449     13 |      695 |      825
625.90/626.05	c  194s |      16 |   199020 |   194452 |    28449     13 |      695 |      825
627.90/628.06	c  196s |      16 |   200332 |   195752 |    28449     14 |      695 |      825
628.80/628.96	c  197s |      17 |   202057 |   197432 |    28449     14 |      695 |      825
630.80/630.98	c  199s |      17 |   208007 |   203232 |    28449     14 |      695 |      825
632.90/633.00	c  201s |      17 |   213640 |   208832 |    28449     14 |      695 |      825
634.90/635.02	c  203s |      17 |   217160 |   212332 |    31294     15 |      695 |      825
636.90/637.04	c  205s |      17 |   220684 |   215832 |    31294     15 |      695 |      825
639.00/639.13	c  207s |      17 |   223705 |   218832 |    31294     15 |      695 |      825
640.99/641.14	c  209s |      17 |   226516 |   221632 |    31294     15 |      695 |      825
643.09/643.24	c  211s |      17 |   228830 |   223932 |    31294     15 |      695 |      825
645.19/645.34	c  213s |      17 |   231239 |   226332 |    31294     15 |      695 |      825
647.39/647.50	c  215s |      17 |   232545 |   227632 |    31294     16 |      695 |      825
649.39/649.57	c  217s |      17 |   235246 |   230332 |    31294     16 |      695 |      825
651.39/651.58	c  219s |      17 |   237165 |   232232 |    31294     16 |      695 |      825
653.59/653.70	c  221s |      17 |   238977 |   234032 |    31294     16 |      695 |      825
655.60/655.77	c  224s |      17 |   240482 |   235532 |    31294     16 |      695 |      825
657.80/657.91	c  226s |      17 |   242190 |   237232 |    31294     16 |      695 |      825
659.90/660.07	c  228s |      17 |   243593 |   238632 |    31294     16 |      695 |      825
661.99/662.14	c  230s |      17 |   245108 |   240132 |    31294     16 |      695 |      825
664.09/664.23	c  232s |      17 |   246618 |   241632 |    31294     16 |      695 |      825
667.49/667.62	c  235s |      17 |   248121 |   243132 |    31294     17 |      695 |      825
676.28/676.47	c  244s |      17 |   250447 |   245432 |    31294     17 |      695 |      825
678.38/678.57	c  246s |      17 |   252754 |   247732 |    31294     17 |      695 |      825
680.38/680.58	c  248s |      17 |   255464 |   250432 |    31294     17 |      695 |      825
682.38/682.59	c  250s |      17 |   258173 |   253132 |    31294     17 |      695 |      825
684.48/684.62	c  252s |      17 |   260083 |   255032 |    31294     17 |      695 |      825
686.48/686.66	c  254s |      17 |   261882 |   256832 |    31294     17 |      695 |      825
688.59/688.72	c  257s |      17 |   263900 |   258832 |    31294     17 |      695 |      825
690.88/691.04	c  259s |      17 |   265218 |   260132 |    31294     18 |      695 |      825
692.89/693.10	c  261s |      17 |   267329 |   262232 |    31294     18 |      695 |      825
694.98/695.20	c  263s |      17 |   268534 |   263432 |    31294     18 |      695 |      825
697.08/697.28	c  265s |      17 |   270940 |   265832 |    31294     18 |      695 |      825
699.18/699.35	c  267s |      17 |   273551 |   268432 |    31294     18 |      695 |      825
701.28/701.44	c  269s |      17 |   276265 |   271132 |    31294     18 |      695 |      825
703.28/703.49	c  271s |      17 |   278887 |   273732 |    31294     18 |      695 |      825
705.48/705.60	c  273s |      17 |   280395 |   275232 |    31294     19 |      695 |      825
707.48/707.62	c  275s |      17 |   282997 |   277832 |    31294     19 |      695 |      825
709.49/709.67	c  277s |      17 |   285811 |   280632 |    31294     19 |      695 |      825
711.48/711.69	c  279s |      17 |   288016 |   282832 |    31294     19 |      695 |      825
713.58/713.75	c  282s |      17 |   290229 |   285032 |    31294     19 |      695 |      825
715.68/715.84	c  284s |      17 |   292246 |   287032 |    31294     19 |      695 |      825
717.78/717.90	c  286s |      17 |   294043 |   288832 |    31294     19 |      695 |      825
719.78/719.97	c  288s |      17 |   295554 |   290332 |    31294     19 |      695 |      825
721.78/721.99	c  290s |      17 |   296563 |   291332 |    31294     20 |      695 |      825
723.88/724.01	c  292s |      17 |   299170 |   293932 |    31294     20 |      695 |      825
725.89/726.03	c  294s |      17 |   301292 |   296032 |    31294     20 |      695 |      825
726.08/726.24	c  294s |      18 |   301504 |   296252 |    31294     20 |      695 |      825
728.09/728.24	c  296s |      18 |   303296 |   297952 |    31294     20 |      695 |      825
730.08/730.27	c  298s |      18 |   305620 |   300252 |    31294     20 |      695 |      825
732.18/732.32	c  300s |      18 |   307741 |   302352 |    31294     20 |      695 |      825
734.28/734.40	c  302s |      18 |   310156 |   304752 |    31294     20 |      695 |      825
736.28/736.47	c  304s |      18 |   312169 |   306752 |    31294     20 |      695 |      825
738.38/738.53	c  306s |      18 |   313270 |   307852 |    31294     21 |      695 |      825
740.38/740.56	c  308s |      18 |   316284 |   310852 |    31294     21 |      695 |      825
742.38/742.58	c  310s |      18 |   318999 |   313552 |    31294     21 |      695 |      825
744.38/744.59	c  312s |      18 |   321518 |   316052 |    31294     21 |      695 |      825
746.48/746.68	c  314s |      18 |   323722 |   318252 |    31294     21 |      695 |      825
748.58/748.70	c  316s |      18 |   325636 |   320152 |    31294     21 |      695 |      825
750.58/750.77	c  319s |      18 |   327741 |   322252 |    31294     21 |      695 |      825
754.87/755.06	c  323s |      18 |   329260 |   323752 |    31294     22 |      695 |      825
756.97/757.11	c  325s |      18 |   332470 |   326952 |    31294     22 |      695 |      825
759.07/759.23	c  327s |      18 |   334873 |   329352 |    31294     22 |      695 |      825
761.18/761.32	c  329s |      18 |   337295 |   331752 |    31294     22 |      695 |      825
763.17/763.38	c  331s |      18 |   339395 |   333852 |    31294     22 |      695 |      825
765.27/765.43	c  333s |      18 |   341505 |   335952 |    31294     22 |      695 |      825
767.27/767.47	c  335s |      18 |   343216 |   337652 |    31294     22 |      695 |      825
769.27/769.49	c  337s |      18 |   344917 |   339352 |    31294     22 |      695 |      825
771.37/771.51	c  339s |      18 |   345827 |   340252 |    31294     23 |      695 |      825
773.37/773.58	c  341s |      18 |   349137 |   343552 |    31294     23 |      695 |      825
775.78/775.99	c  344s |      18 |   350852 |   345252 |    31294     23 |      695 |      825
778.27/778.48	c  346s |      18 |   352468 |   346852 |    31294     23 |      695 |      825
780.27/780.49	c  348s |      18 |   354083 |   348452 |    31294     23 |      695 |      825
782.47/782.62	c  350s |      18 |   355685 |   350052 |    31294     23 |      695 |      825
784.47/784.65	c  352s |      18 |   357087 |   351452 |    31294     23 |      695 |      825
786.48/786.69	c  354s |      18 |   358899 |   353252 |    31294     23 |      695 |      825
788.57/788.74	c  357s |      18 |   361199 |   355552 |    31294     24 |      695 |      825
793.37/793.51	c  361s |      18 |   361315 |   355652 |    31294     24 |      695 |      825
795.37/795.54	c  363s |      18 |   365237 |   359552 |    31294     24 |      695 |      825
797.47/797.62	c  365s |      18 |   367655 |   361952 |    31294     24 |      695 |      825
799.47/799.66	c  367s |      18 |   369861 |   364152 |    31294     24 |      695 |      825
801.47/801.67	c  369s |      18 |   371774 |   366052 |    31294     24 |      695 |      825
803.57/803.70	c  371s |      18 |   373990 |   368252 |    31294     24 |      695 |      825
805.57/805.71	c  373s |      18 |   375901 |   370152 |    31294     24 |      695 |      825
807.77/807.91	c  376s |      18 |   377410 |   371652 |    31294     25 |      695 |      825
809.76/809.92	c  378s |      18 |   379713 |   373952 |    31294     25 |      695 |      825
811.77/811.94	c  380s |      18 |   381621 |   375852 |    31294     25 |      695 |      825
818.77/818.90	c  387s |      18 |   381729 |   375952 |    31294     25 |      695 |      825
820.77/820.94	c  389s |      18 |   384139 |   378352 |    31294     25 |      695 |      825
822.78/822.99	c  391s |      18 |   386457 |   380652 |    31294     25 |      695 |      825
824.87/825.01	c  393s |      18 |   388359 |   382552 |    31294     25 |      695 |      825
826.97/827.10	c  395s |      18 |   390068 |   384252 |    31294     25 |      695 |      825
828.97/829.14	c  397s |      18 |   391771 |   385952 |    31294     25 |      695 |      825
830.97/831.18	c  399s |      18 |   393378 |   387552 |    31294     25 |      695 |      825
833.06/833.20	c  401s |      18 |   394084 |   388252 |    31294     26 |      695 |      825
835.06/835.21	c  403s |      18 |   396686 |   390852 |    31294     26 |      695 |      825
839.27/839.43	c  407s |      18 |   397297 |   391452 |    31294     26 |      695 |      825
841.26/841.49	c  409s |      18 |   400715 |   394852 |    31294     26 |      695 |      825
843.36/843.56	c  411s |      18 |   403326 |   397452 |    31294     26 |      695 |      825
845.46/845.60	c  413s |      18 |   405640 |   399752 |    31294     26 |      695 |      825
847.46/847.66	c  415s |      18 |   407441 |   401552 |    31294     26 |      695 |      825
849.46/849.68	c  417s |      18 |   409152 |   403252 |    31294     26 |      695 |      825
851.96/852.12	c  420s |      18 |   409656 |   403752 |    31294     27 |      695 |      825
854.06/854.20	c  422s |      18 |   411972 |   406052 |    31294     27 |      695 |      825
856.06/856.24	c  424s |      18 |   414376 |   408452 |    31294     27 |      695 |      825
858.06/858.29	c  426s |      18 |   416282 |   410352 |    31294     27 |      695 |      825
860.17/860.31	c  428s |      18 |   417789 |   411852 |    31294     27 |      695 |      825
862.27/862.43	c  430s |      18 |   419601 |   413652 |    31294     27 |      695 |      825
864.36/864.55	c  432s |      18 |   421208 |   415252 |    31294     27 |      695 |      825
866.46/866.67	c  434s |      18 |   422720 |   416752 |    31294     27 |      695 |      825
868.56/868.73	c  437s |      18 |   424531 |   418552 |    31294     27 |      695 |      825
872.55/872.77	c  441s |      18 |   425738 |   419752 |    31294     28 |      695 |      825
874.55/874.79	c  443s |      18 |   427746 |   421752 |    31294     28 |      695 |      825
876.75/876.90	c  445s |      18 |   430051 |   424052 |    31294     28 |      695 |      825
878.75/878.99	c  447s |      18 |   432757 |   426752 |    31294     28 |      695 |      825
880.85/881.05	c  449s |      18 |   434862 |   428852 |    31294     28 |      695 |      825
886.45/886.60	c  454s |      18 |   436273 |   430252 |    31294     28 |      695 |      825
888.45/888.68	c  456s |      18 |   438988 |   432952 |    31294     28 |      695 |      825
890.54/890.75	c  459s |      18 |   441501 |   435452 |    31294     28 |      695 |      825
895.55/895.76	c  464s |      18 |   442308 |   436252 |    31294     29 |      695 |      825
897.55/897.79	c  466s |      18 |   445323 |   439252 |    31294     29 |      695 |      825
899.65/899.81	c  468s |      18 |   448126 |   442052 |    31294     29 |      695 |      825
901.65/901.81	c  470s |      19 |   450566 |   444482 |    31294     29 |      695 |      825
903.64/903.86	c  472s |      19 |   451971 |   445782 |    31294     29 |      695 |      825
905.64/905.88	c  474s |      19 |   454175 |   447982 |    31294     29 |      695 |      825
907.74/907.97	c  476s |      19 |   456390 |   450182 |    31294     29 |      695 |      825
910.94/911.12	c  479s |      19 |   458202 |   451982 |    31294     30 |      695 |      825
912.95/913.16	c  481s |      19 |   460691 |   454382 |    31294     30 |      695 |      825
914.94/915.18	c  483s |      19 |   463715 |   457382 |    31294     30 |      695 |      825
917.04/917.21	c  485s |      19 |   466752 |   460382 |    31294     30 |      695 |      825
919.04/919.27	c  487s |      19 |   469357 |   462982 |    31294     30 |      695 |      825
921.14/921.34	c  489s |      19 |   471665 |   465282 |    31294     30 |      695 |      825
923.14/923.35	c  491s |      19 |   473776 |   467382 |    31294     30 |      695 |      825
925.24/925.40	c  493s |      19 |   474879 |   468482 |    31294     31 |      695 |      825
927.24/927.41	c  495s |      19 |   476688 |   470282 |    31294     31 |      695 |      825
929.23/929.47	c  497s |      19 |   479204 |   472782 |    31294     31 |      695 |      825
931.33/931.50	c  499s |      19 |   481418 |   474982 |    31294     31 |      695 |      825
933.33/933.58	c  501s |      19 |   483436 |   476982 |    31294     31 |      695 |      825
935.44/935.67	c  503s |      19 |   485344 |   478882 |    31294     31 |      695 |      825
937.44/937.68	c  505s |      19 |   487567 |   481082 |    31294     31 |      695 |      825
946.13/946.30	c  514s |      19 |   488785 |   482282 |    31294     31 |      695 |      825
948.33/948.56	c  516s |      19 |   490589 |   484082 |    31294     32 |      695 |      825
950.33/950.56	c  518s |      19 |   493899 |   487382 |    31294     32 |      695 |      825
952.33/952.58	c  520s |      19 |   496803 |   490282 |    31294     32 |      695 |      825
954.43/954.62	c  522s |      19 |   499829 |   493282 |    31294     32 |      695 |      825
956.43/956.67	c  524s |      19 |   502433 |   495882 |    31294     32 |      695 |      825
958.53/958.77	c  527s |      19 |   504643 |   498082 |    31294     32 |      695 |      825
960.52/960.78	c  529s |      19 |   506550 |   499982 |    31294     32 |      695 |      825
962.62/962.83	c  531s |      19 |   507855 |   501282 |    31294     33 |      695 |      825
964.63/964.88	c  533s |      19 |   510566 |   503982 |    31294     33 |      695 |      825
966.62/966.90	c  535s |      19 |   513093 |   506482 |    31294     33 |      695 |      825
969.63/969.86	c  538s |      19 |   515104 |   508482 |    31294     33 |      695 |      825
971.62/971.88	c  540s |      19 |   517005 |   510382 |    31294     33 |      695 |      825
973.72/973.92	c  542s |      19 |   518719 |   512082 |    31294     33 |      695 |      825
975.82/976.07	c  544s |      19 |   520518 |   513882 |    31294     33 |      695 |      825
978.12/978.32	c  546s |      19 |   522441 |   515782 |    31294     33 |      695 |      825
992.32/992.59	c  560s |      19 |   523036 |   516382 |    31294     34 |      695 |      825
994.42/994.64	c  562s |      19 |   526350 |   519682 |    31294     34 |      695 |      825
996.53/996.71	c  564s |      19 |   528962 |   522282 |    31294     34 |      695 |      825
998.63/998.82	c  567s |      19 |   531168 |   524482 |    31294     34 |      695 |      825
1000.62/1000.89	c  569s |      19 |   533086 |   526382 |    31294     34 |      695 |      825
1002.72/1002.98	c  571s |      19 |   535192 |   528482 |    31294     34 |      695 |      825
1004.82/1005.06	c  573s |      19 |   537104 |   530382 |    31294     34 |      695 |      825
1007.02/1007.22	c  575s |      19 |   539014 |   532282 |    31294     35 |      695 |      825
1014.72/1014.92	c  583s |      19 |   542030 |   535282 |    31294     35 |      695 |      825
1016.72/1016.96	c  585s |      19 |   546149 |   539382 |    31294     35 |      695 |      825
1018.72/1018.99	c  587s |      19 |   549061 |   542282 |    34424     35 |      695 |      825
1020.81/1021.09	c  589s |      19 |   551966 |   545182 |    34424     35 |      695 |      825
1022.92/1023.10	c  591s |      19 |   554179 |   547382 |    34424     35 |      695 |      825
1024.91/1025.17	c  593s |      19 |   556087 |   549282 |    34424     35 |      695 |      825
1032.82/1033.08	c  601s |      19 |   557595 |   550782 |    34424     35 |      695 |      825
1035.02/1035.24	c  603s |      19 |   558502 |   551682 |    34424     36 |      695 |      825
1037.01/1037.27	c  605s |      19 |   562118 |   555282 |    34424     36 |      695 |      825
1039.11/1039.31	c  607s |      19 |   565128 |   558282 |    34424     36 |      695 |      825
1041.11/1041.34	c  609s |      19 |   567346 |   560482 |    34424     36 |      695 |      825
1043.21/1043.41	c  611s |      19 |   569861 |   562982 |    34424     36 |      695 |      825
1045.21/1045.43	c  613s |      19 |   572275 |   565382 |    34424     36 |      695 |      825
1047.20/1047.47	c  615s |      19 |   574395 |   567482 |    34424     36 |      695 |      825
1049.60/1049.88	c  618s |      19 |   575995 |   569082 |    34424     37 |      695 |      825
1051.70/1051.92	c  620s |      19 |   578104 |   571182 |    34424     37 |      695 |      825
1053.71/1053.95	c  622s |      19 |   579415 |   572482 |    34424     37 |      695 |      825
1055.81/1056.02	c  624s |      19 |   582424 |   575482 |    34424     37 |      695 |      825
1057.90/1058.11	c  626s |      19 |   584935 |   577982 |    34424     37 |      695 |      825
1059.90/1060.19	c  628s |      19 |   587039 |   580082 |    34424     37 |      695 |      825
1062.00/1062.26	c  630s |      19 |   589448 |   582482 |    34424     37 |      695 |      825
1064.10/1064.31	c  632s |      19 |   591662 |   584682 |    34424     37 |      695 |      825
1067.00/1067.23	c  635s |      19 |   593665 |   586682 |    34424     38 |      695 |      825
1069.00/1069.26	c  637s |      19 |   595980 |   588982 |    34424     38 |      695 |      825
1073.10/1073.37	c  641s |      19 |   596586 |   589582 |    34424     38 |      695 |      825
1075.20/1075.43	c  643s |      19 |   600002 |   592982 |    34424     38 |      695 |      825
1092.49/1092.76	c  661s |      19 |   601404 |   594382 |    34424     38 |      695 |      825
1094.49/1094.77	c  663s |      19 |   603712 |   596682 |    34424     38 |      695 |      825
1096.50/1096.78	c  665s |      19 |   606130 |   599082 |    34424     38 |      695 |      825
1098.80/1099.09	c  667s |      19 |   608345 |   601282 |    34424     38 |      695 |      825
1100.90/1101.14	c  669s |      19 |   610449 |   603382 |    34424     38 |      695 |      825
1103.20/1103.47	c  671s |      19 |   611446 |   604382 |    34424     39 |      695 |      825
1105.19/1105.50	c  673s |      19 |   614071 |   606982 |    34424     39 |      695 |      825
1107.29/1107.50	c  675s |      19 |   616876 |   609782 |    34424     39 |      695 |      825
1109.29/1109.52	c  677s |      19 |   618893 |   611782 |    34424     39 |      695 |      825
1111.39/1111.62	c  679s |      19 |   620988 |   613882 |    34424     39 |      695 |      825
1117.69/1117.93	c  686s |      19 |   623010 |   615882 |    34424     39 |      695 |      825
1119.78/1120.00	c  688s |      19 |   625425 |   618282 |    34424     39 |      695 |      825
1121.79/1122.02	c  690s |      19 |   627232 |   620082 |    34424     39 |      695 |      825
1123.78/1124.02	c  692s |      19 |   629044 |   621882 |    34424     39 |      695 |      825
1125.79/1126.03	c  694s |      19 |   629947 |   622782 |    34424     40 |      695 |      825
1127.79/1128.03	c  696s |      19 |   632460 |   625282 |    34424     40 |      695 |      825
1129.79/1130.06	c  698s |      19 |   634679 |   627482 |    34424     40 |      695 |      825
1131.89/1132.14	c  700s |      19 |   636882 |   629682 |    34424     40 |      695 |      825
1133.89/1134.16	c  702s |      19 |   638799 |   631582 |    34424     40 |      695 |      825
1135.88/1136.18	c  704s |      19 |   640394 |   633182 |    34424     40 |      695 |      825
1137.98/1138.24	c  706s |      19 |   642401 |   635182 |    34424     40 |      695 |      825
1140.08/1140.35	c  708s |      19 |   643916 |   636682 |    34424     40 |      695 |      825
1142.18/1142.45	c  710s |      19 |   645324 |   638082 |    34424     40 |      695 |      825
1144.89/1145.18	c  713s |      19 |   646828 |   639582 |    34424     41 |      695 |      825
1146.98/1147.20	c  715s |      19 |   646939 |   639682 |    34424     41 |      695 |      825
1149.08/1149.31	c  717s |      19 |   650147 |   642882 |    34424     41 |      695 |      825
1166.68/1166.91	c  735s |      19 |   650759 |   643482 |    34424     41 |      695 |      825
1168.68/1168.96	c  737s |      19 |   654572 |   647282 |    34424     41 |      695 |      825
1170.77/1171.01	c  739s |      19 |   657589 |   650282 |    34424     41 |      695 |      825
1172.77/1173.06	c  741s |      19 |   660102 |   652782 |    34424     41 |      695 |      825
1174.87/1175.12	c  743s |      19 |   662116 |   654782 |    34424     41 |      695 |      825
1176.97/1177.23	c  745s |      19 |   663821 |   656482 |    34424     41 |      695 |      825
1178.98/1179.25	c  747s |      19 |   664819 |   657482 |    34424     42 |      695 |      825
1181.07/1181.32	c  749s |      19 |   667540 |   660182 |    34424     42 |      695 |      825
1183.07/1183.32	c  751s |      19 |   670151 |   662782 |    34424     42 |      695 |      825
1185.07/1185.39	c  753s |      19 |   672158 |   664782 |    34424     42 |      695 |      825
1187.27/1187.52	c  755s |      19 |   674075 |   666682 |    34424     42 |      695 |      825
1187.37/1187.65	c  755s |      20 |   674221 |   666827 |    34424     42 |      695 |      825
1189.57/1189.80	c  758s |      20 |   675526 |   668027 |    34424     42 |      695 |      825
1191.56/1191.82	c  760s |      20 |   676923 |   669427 |    34424     42 |      695 |      825
1193.76/1194.03	c  762s |      20 |   679044 |   671527 |    34424     42 |      695 |      825
1195.86/1196.13	c  764s |      20 |   680849 |   673327 |    34424     42 |      695 |      825
1198.06/1198.31	c  766s |      20 |   682356 |   674827 |    34424     43 |      695 |      825
1200.55/1200.80	c  769s |      20 |   682855 |   675327 |    34424     43 |      695 |      825
1202.55/1202.84	c  771s |      20 |   684969 |   677427 |    34424     43 |      695 |      825
1204.55/1204.89	c  773s |      20 |   686178 |   678627 |    34424     43 |      695 |      825
1206.76/1207.01	c  775s |      20 |   687383 |   679827 |    34424     43 |      695 |      825
1208.77/1209.02	c  777s |      20 |   689601 |   682027 |    34424     43 |      695 |      825
1210.76/1211.08	c  779s |      20 |   691501 |   683927 |    34424     43 |      695 |      825
1212.86/1213.11	c  781s |      20 |   693414 |   685827 |    34424     43 |      695 |      825
1214.86/1215.15	c  783s |      20 |   695323 |   687727 |    34424     43 |      695 |      825
1226.15/1226.43	c  794s |      20 |   696031 |   688427 |    34424     43 |      695 |      825
1228.15/1228.45	c  796s |      20 |   698547 |   690927 |    34424     43 |      695 |      825
1232.15/1232.46	c  800s |      20 |   700059 |   692427 |    34424     44 |      695 |      825
1234.15/1234.49	c  802s |      20 |   703371 |   695727 |    34424     44 |      695 |      825
1236.26/1236.54	c  804s |      20 |   706291 |   698627 |    34424     44 |      695 |      825
1238.25/1238.59	c  806s |      20 |   708794 |   701127 |    34424     44 |      695 |      825
1240.34/1240.62	c  808s |      20 |   711007 |   703327 |    34424     44 |      695 |      825
1242.34/1242.68	c  810s |      20 |   713318 |   705627 |    34424     44 |      695 |      825
1244.34/1244.69	c  812s |      20 |   715330 |   707627 |    34424     44 |      695 |      825
1246.54/1246.81	c  815s |      20 |   716925 |   709227 |    34424     44 |      695 |      825
1250.55/1250.81	c  819s |      20 |   718040 |   710327 |    34424     45 |      695 |      825
1252.54/1252.83	c  821s |      20 |   720451 |   712727 |    34424     45 |      695 |      825
1254.54/1254.89	c  823s |      20 |   723560 |   715827 |    34424     45 |      695 |      825
1256.64/1256.91	c  825s |      20 |   725261 |   717527 |    34424     45 |      695 |      825
1258.64/1258.95	c  827s |      20 |   727474 |   719727 |    34424     45 |      695 |      825
1260.73/1261.02	c  829s |      20 |   729788 |   722027 |    34424     45 |      695 |      825
1262.73/1263.03	c  831s |      20 |   731998 |   724227 |    34424     45 |      695 |      825
1264.74/1265.04	c  833s |      20 |   733604 |   725827 |    34424     45 |      695 |      825
1266.83/1267.13	c  835s |      20 |   735112 |   727327 |    34424     45 |      695 |      825
1269.33/1269.64	c  837s |      20 |   736212 |   728427 |    34424     46 |      695 |      825
1271.34/1271.65	c  839s |      20 |   738223 |   730427 |    34424     46 |      695 |      825
1273.83/1274.18	c  842s |      20 |   739139 |   731327 |    34424     46 |      695 |      825
1275.93/1276.23	c  844s |      20 |   742255 |   734427 |    34424     46 |      695 |      825
1277.94/1278.26	c  846s |      20 |   745465 |   737627 |    34424     46 |      695 |      825
1279.93/1280.29	c  848s |      20 |   749191 |   741327 |    34424     46 |      695 |      825
1282.03/1282.30	c  850s |      20 |   752412 |   744527 |    34424     46 |      695 |      825
1284.03/1284.35	c  852s |      20 |   754619 |   746727 |    34424     47 |      695 |      825
1286.03/1286.38	c  854s |      20 |   758049 |   750127 |    34424     47 |      695 |      825
1288.13/1288.44	c  856s |      20 |   760251 |   752327 |    34424     47 |      695 |      825
1290.23/1290.52	c  858s |      20 |   762167 |   754227 |    34424     47 |      695 |      825
1292.23/1292.58	c  860s |      20 |   764169 |   756227 |    34424     47 |      695 |      825
1294.33/1294.69	c  862s |      20 |   765783 |   757827 |    34424     47 |      695 |      825
1296.53/1296.81	c  865s |      20 |   767384 |   759427 |    34424     47 |      695 |      825
1298.63/1298.92	c  867s |      20 |   768897 |   760927 |    34424     47 |      695 |      825
1300.72/1301.07	c  869s |      20 |   770000 |   762027 |    34424     47 |      695 |      825
1304.02/1304.32	c  872s |      20 |   770905 |   762927 |    34424     48 |      695 |      825
1306.02/1306.36	c  874s |      20 |   772422 |   764427 |    34424     48 |      695 |      825
1308.13/1308.40	c  876s |      20 |   773347 |   765327 |    34424     48 |      695 |      825
1310.13/1310.45	c  878s |      20 |   775147 |   767127 |    34424     48 |      695 |      825
1312.13/1312.49	c  880s |      20 |   776650 |   768627 |    34424     48 |      695 |      825
1314.23/1314.55	c  882s |      20 |   778064 |   770027 |    34424     48 |      695 |      825
1316.32/1316.63	c  884s |      20 |   779470 |   771427 |    34424     48 |      695 |      825
1329.12/1329.45	c  897s |      20 |   780380 |   772327 |    34424     48 |      695 |      825
1331.11/1331.48	c  899s |      20 |   781680 |   773627 |    34424     48 |      695 |      825
1333.21/1333.53	c  901s |      20 |   783290 |   775227 |    34424     48 |      695 |      825
1335.22/1335.54	c  903s |      20 |   786798 |   778727 |    34424     48 |      695 |      825
1337.21/1337.55	c  905s |      20 |   789212 |   781127 |    34424     49 |      695 |      825
1339.62/1339.97	c  908s |      20 |   791927 |   783827 |    34424     49 |      695 |      825
1341.61/1341.98	c  910s |      20 |   794879 |   786727 |    34424     49 |      695 |      825
1343.71/1344.00	c  912s |      20 |   797590 |   789427 |    34424     49 |      695 |      825
1345.71/1346.03	c  914s |      20 |   800305 |   792127 |    34424     49 |      695 |      825
1347.82/1348.12	c  916s |      20 |   802218 |   794027 |    34424     49 |      695 |      825
1349.82/1350.16	c  918s |      20 |   803725 |   795527 |    34424     49 |      695 |      825
1351.91/1352.20	c  920s |      20 |   805333 |   797127 |    34424     49 |      695 |      825
1354.01/1354.37	c  922s |      20 |   806440 |   798227 |    34424     50 |      695 |      825
1356.02/1356.37	c  924s |      20 |   808746 |   800527 |    34424     50 |      695 |      825
1358.01/1358.39	c  926s |      20 |   810857 |   802627 |    34424     50 |      695 |      825
1360.11/1360.44	c  928s |      20 |   812871 |   804627 |    34424     50 |      695 |      825
1364.10/1364.43	c  932s |      20 |   812979 |   804727 |    34424     50 |      695 |      825
1366.10/1366.46	c  934s |      20 |   815377 |   807127 |    34424     50 |      695 |      825
1368.11/1368.47	c  936s |      20 |   817793 |   809527 |    34424     50 |      695 |      825
1370.10/1370.49	c  938s |      20 |   820604 |   812327 |    34424     50 |      695 |      825
1372.20/1372.57	c  940s |      20 |   822811 |   814527 |    34424     50 |      695 |      825
1374.31/1374.62	c  942s |      20 |   824117 |   815827 |    34424     51 |      695 |      825
1376.31/1376.64	c  944s |      20 |   826533 |   818227 |    34424     51 |      695 |      825
1378.31/1378.68	c  946s |      20 |   828543 |   820227 |    34424     51 |      695 |      825
1380.40/1380.73	c  949s |      20 |   830558 |   822227 |    34424     51 |      695 |      825
1382.51/1382.82	c  951s |      20 |   832165 |   823827 |    34424     51 |      695 |      825
1384.50/1384.88	c  953s |      20 |   833880 |   825527 |    34424     51 |      695 |      825
1386.70/1387.10	c  955s |      20 |   835388 |   827027 |    34424     51 |      695 |      825
1388.80/1389.15	c  957s |      20 |   836796 |   828427 |    34424     51 |      695 |      825
1390.90/1391.24	c  959s |      20 |   838100 |   829727 |    34424     51 |      695 |      825
1403.30/1403.62	c  971s |      20 |   838307 |   829927 |    34424     51 |      695 |      825
1405.29/1405.68	c  973s |      20 |   839610 |   831227 |    34424     51 |      695 |      825
1407.39/1407.77	c  976s |      20 |   841316 |   832927 |    34424     51 |      695 |      825
1410.09/1410.42	c  978s |      20 |   841814 |   833427 |    34424     52 |      695 |      825
1413.89/1414.21	c  982s |      20 |   842935 |   834527 |    34424     52 |      695 |      825
1415.99/1416.30	c  984s |      20 |   845940 |   837527 |    34424     52 |      695 |      825
1417.99/1418.36	c  986s |      20 |   848145 |   839727 |    34424     52 |      695 |      825
1420.09/1420.44	c  988s |      20 |   850162 |   841727 |    34424     52 |      695 |      825
1422.09/1422.49	c  990s |      20 |   851965 |   843527 |    34424     52 |      695 |      825
1424.29/1424.61	c  992s |      20 |   853876 |   845427 |    34424     52 |      695 |      825
1426.28/1426.66	c  994s |      20 |   855486 |   847027 |    34424     52 |      695 |      825
1428.38/1428.76	c  997s |      20 |   856896 |   848427 |    34424     52 |      695 |      825
1430.38/1430.79	c  999s |      20 |   858108 |   849627 |    34424     52 |      695 |      825
1433.48/1433.81	c 1002s |      20 |   859504 |   851027 |    34424     53 |      695 |      825
1435.48/1435.87	c 1004s |      20 |   860921 |   852427 |    34424     53 |      695 |      825
1437.58/1437.95	c 1006s |      20 |   864232 |   855727 |    34424     53 |      695 |      825
1439.58/1440.00	c 1008s |      20 |   866850 |   858327 |    34424     53 |      695 |      825
1441.67/1442.03	c 1010s |      20 |   869358 |   860827 |    34424     53 |      695 |      825
1443.77/1444.11	c 1012s |      20 |   871368 |   862827 |    34424     53 |      695 |      825
1445.87/1446.22	c 1014s |      20 |   872378 |   863827 |    34424     53 |      695 |      825
1447.97/1448.33	c 1016s |      20 |   873875 |   865327 |    34424     53 |      695 |      825
1450.07/1450.43	c 1018s |      20 |   875694 |   867127 |    34424     53 |      695 |      825
1452.17/1452.52	c 1020s |      20 |   877200 |   868627 |    34424     53 |      695 |      825
1454.17/1454.56	c 1022s |      20 |   878101 |   869527 |    34424     54 |      695 |      825
1456.27/1456.61	c 1024s |      20 |   880506 |   871927 |    34424     54 |      695 |      825
1461.58/1461.91	c 1030s |      20 |   882122 |   873527 |    34424     54 |      695 |      825
1463.57/1463.93	c 1032s |      20 |   884330 |   875727 |    34424     54 |      695 |      825
1465.57/1465.93	c 1034s |      20 |   886342 |   877727 |    34424     54 |      695 |      825
1467.67/1468.00	c 1036s |      20 |   888146 |   879527 |    34424     54 |      695 |      825
1469.67/1470.07	c 1038s |      20 |   889754 |   881127 |    34424     54 |      695 |      825
1471.77/1472.15	c 1040s |      20 |   891264 |   882627 |    34424     54 |      695 |      825
1473.86/1474.24	c 1042s |      20 |   892867 |   884227 |    34424     54 |      695 |      825
1475.97/1476.35	c 1044s |      20 |   894278 |   885627 |    34424     54 |      695 |      825
1478.76/1479.18	c 1047s |      20 |   894977 |   886327 |    34424     55 |      695 |      825
1481.07/1481.46	c 1049s |      20 |   895183 |   886527 |    34424     55 |      695 |      825
1483.17/1483.53	c 1051s |      20 |   897998 |   889327 |    34424     55 |      695 |      825
1485.17/1485.54	c 1053s |      20 |   900104 |   891427 |    34424     55 |      695 |      825
1487.27/1487.64	c 1055s |      20 |   902118 |   893427 |    34424     55 |      695 |      825
1489.37/1489.76	c 1058s |      20 |   903721 |   895027 |    34424     55 |      695 |      825
1494.76/1495.16	c 1063s |      20 |   905251 |   896527 |    34424     55 |      695 |      825
1496.86/1497.27	c 1065s |      20 |   907103 |   898327 |    34424     55 |      695 |      825
1498.96/1499.31	c 1067s |      20 |   908732 |   899927 |    34424     55 |      695 |      825
1501.05/1501.45	c 1069s |      20 |   910683 |   901827 |    34424     55 |      695 |      825
1503.05/1503.45	c 1071s |      20 |   911895 |   903027 |    34424     55 |      695 |      825
1506.46/1506.84	c 1075s |      20 |   912797 |   903927 |    34424     56 |      695 |      825
1508.56/1508.91	c 1077s |      20 |   915321 |   906427 |    34424     56 |      695 |      825
1510.56/1510.99	c 1079s |      20 |   917435 |   908527 |    34424     56 |      695 |      825
1512.66/1513.04	c 1081s |      20 |   919346 |   910427 |    34424     56 |      695 |      825
1514.85/1515.28	c 1083s |      20 |   920960 |   912027 |    34424     56 |      695 |      825
1516.95/1517.32	c 1085s |      20 |   922666 |   913727 |    34424     56 |      695 |      825
1519.05/1519.41	c 1087s |      20 |   924379 |   915427 |    34424     56 |      695 |      825
1521.15/1521.55	c 1089s |      20 |   925898 |   916927 |    34424     56 |      695 |      825
1523.26/1523.69	c 1091s |      20 |   927407 |   918427 |    34424     56 |      695 |      825
1525.36/1525.79	c 1094s |      20 |   928808 |   919827 |    34424     56 |      695 |      825
1527.45/1527.87	c 1096s |      20 |   930219 |   921227 |    34424     56 |      695 |      825
1529.65/1530.01	c 1098s |      20 |   930620 |   921627 |    34424     57 |      695 |      825
1531.65/1532.07	c 1100s |      20 |   932026 |   923027 |    34424     57 |      695 |      825
1533.64/1534.09	c 1102s |      20 |   934334 |   925327 |    34424     57 |      695 |      825
1537.64/1538.08	c 1106s |      20 |   936552 |   927527 |    34424     57 |      695 |      825
1539.75/1540.13	c 1108s |      20 |   938961 |   929927 |    34424     57 |      695 |      825
1541.85/1542.24	c 1110s |      20 |   940768 |   931727 |    34424     57 |      695 |      825
1543.94/1544.32	c 1112s |      20 |   942482 |   933427 |    34424     57 |      695 |      825
1546.04/1546.44	c 1114s |      20 |   944092 |   935027 |    34424     57 |      695 |      825
1548.24/1548.62	c 1116s |      20 |   945690 |   936627 |    34424     57 |      695 |      825
1551.65/1552.03	c 1120s |      20 |   946601 |   937527 |    34424     57 |      695 |      825
1554.74/1555.17	c 1123s |      20 |   948315 |   939227 |    34424     58 |      695 |      825
1556.74/1557.19	c 1125s |      20 |   950253 |   941127 |    34424     58 |      695 |      825
1558.94/1559.31	c 1127s |      20 |   952788 |   943627 |    34424     58 |      695 |      825
1560.94/1561.35	c 1129s |      20 |   955301 |   946027 |    34424     58 |      695 |      825
1563.04/1563.45	c 1131s |      20 |   956944 |   947627 |    34424     58 |      695 |      825
1565.14/1565.52	c 1133s |      20 |   958848 |   949527 |    34424     58 |      695 |      825
1567.84/1568.28	c 1136s |      20 |   960461 |   951127 |    34424     58 |      695 |      825
1570.04/1570.42	c 1138s |      20 |   962267 |   952927 |    34424     58 |      695 |      825
1572.04/1572.47	c 1140s |      20 |   963670 |   954327 |    34424     58 |      695 |      825
1574.14/1574.52	c 1142s |      20 |   965076 |   955727 |    34424     58 |      695 |      825
1577.24/1577.60	c 1145s |      20 |   966188 |   956827 |    34424     59 |      695 |      825
1579.34/1579.76	c 1148s |      20 |   968403 |   959027 |    34424     59 |      695 |      825
1581.34/1581.79	c 1150s |      20 |   970905 |   961527 |    34424     59 |      695 |      825
1583.44/1583.81	c 1152s |      20 |   973025 |   963627 |    34424     59 |      695 |      825
1585.43/1585.90	c 1154s |      20 |   974634 |   965227 |    34424     59 |      695 |      825
1587.53/1587.94	c 1156s |      20 |   977044 |   967627 |    34424     59 |      695 |      825
1589.53/1589.95	c 1158s |      20 |   979257 |   969827 |    34424     59 |      695 |      825
1591.53/1591.98	c 1160s |      20 |   981063 |   971627 |    34424     59 |      695 |      825
1593.64/1594.08	c 1162s |      20 |   982875 |   973427 |    34424     59 |      695 |      825
1595.74/1596.19	c 1164s |      20 |   983878 |   974427 |    34424     60 |      695 |      825
1598.84/1599.20	c 1167s |      20 |   984088 |   974627 |    34424     60 |      695 |      825
1600.83/1601.23	c 1169s |      20 |   987102 |   977627 |    34424     60 |      695 |      825
1602.83/1603.28	c 1171s |      20 |   989606 |   980127 |    34424     60 |      695 |      825
1604.93/1605.33	c 1173s |      20 |   992328 |   982827 |    34424     60 |      695 |      825
1606.93/1607.34	c 1175s |      20 |   994435 |   984927 |    34424     60 |      695 |      825
1608.94/1609.40	c 1177s |      20 |   996742 |   987227 |    34424     60 |      695 |      825
1611.14/1611.52	c 1179s |      20 |   998855 |   989327 |    34424     60 |      695 |      825
1613.13/1613.52	c 1181s |      20 |  1000372 |   990827 |    34424     60 |      695 |      825
1615.54/1615.96	c 1184s |      20 |  1001575 |   992027 |    34424     61 |      695 |      825
1617.63/1618.01	c 1186s |      20 |  1003382 |   993827 |    34424     61 |      695 |      825
1619.73/1620.18	c 1188s |      20 |  1005801 |   996227 |    34424     61 |      695 |      825
1621.83/1622.20	c 1190s |      20 |  1007708 |   998127 |    34424     61 |      695 |      825
1625.32/1625.72	c 1194s |      20 |  1008218 |   998627 |    34424     61 |      695 |      825
1627.32/1627.79	c 1196s |      20 |  1009722 |  1000127 |    34424     61 |      695 |      825
1627.63/1628.09	c 1196s |      21 |  1009939 |  1000345 |    34424     61 |      695 |      825
1629.94/1630.35	c 1198s |      21 |  1010138 |  1000445 |    34424     61 |      695 |      825
1631.93/1632.35	c 1200s |      21 |  1011950 |  1002245 |    34424     61 |      695 |      825
1633.93/1634.37	c 1202s |      21 |  1014059 |  1004345 |    34424     61 |      695 |      825
1635.93/1636.38	c 1204s |      21 |  1016075 |  1006345 |    34424     61 |      695 |      825
1647.73/1648.17	c 1216s |      21 |  1018794 |  1009045 |    34424     61 |      695 |      825
1649.73/1650.19	c 1218s |      21 |  1019896 |  1010145 |    34424     62 |      695 |      825
1651.83/1652.20	c 1220s |      21 |  1023516 |  1013745 |    34424     62 |      695 |      825
1653.83/1654.25	c 1222s |      21 |  1026320 |  1016545 |    34424     62 |      695 |      825
1655.83/1656.28	c 1224s |      21 |  1028628 |  1018845 |    34424     62 |      695 |      825
1657.83/1658.29	c 1226s |      21 |  1030746 |  1020945 |    34424     62 |      695 |      825
1660.13/1660.52	c 1228s |      21 |  1033064 |  1023245 |    34424     62 |      695 |      825
1662.13/1662.53	c 1230s |      21 |  1034760 |  1024945 |    34424     62 |      695 |      825
1664.23/1664.63	c 1232s |      21 |  1036369 |  1026545 |    34424     62 |      695 |      825
1666.42/1666.83	c 1235s |      21 |  1037789 |  1027945 |    34424     63 |      695 |      825
1668.62/1669.03	c 1237s |      21 |  1040292 |  1030445 |    34424     63 |      695 |      825
1670.63/1671.04	c 1239s |      21 |  1042196 |  1032345 |    34424     63 |      695 |      825
1672.73/1673.11	c 1241s |      21 |  1044324 |  1034445 |    34424     63 |      695 |      825
1674.82/1675.21	c 1243s |      21 |  1046537 |  1036645 |    34424     63 |      695 |      825
1676.82/1677.27	c 1245s |      21 |  1048341 |  1038445 |    34424     63 |      695 |      825
1678.82/1679.29	c 1247s |      21 |  1050648 |  1040745 |    37867     63 |      695 |      825
1680.92/1681.38	c 1249s |      21 |  1052156 |  1042245 |    37867     63 |      695 |      825
1683.02/1683.48	c 1251s |      21 |  1053867 |  1043945 |    37867     63 |      695 |      825
1685.12/1685.57	c 1253s |      21 |  1054978 |  1045045 |    37867     63 |      695 |      825
1687.32/1687.71	c 1255s |      21 |  1056080 |  1046145 |    37867     63 |      695 |      825
1689.32/1689.72	c 1258s |      21 |  1057184 |  1047245 |    37867     63 |      695 |      825
1694.01/1694.46	c 1262s |      21 |  1058298 |  1048345 |    37867     64 |      695 |      825
1697.52/1697.95	c 1266s |      21 |  1059704 |  1049745 |    37867     64 |      695 |      825
1703.31/1703.77	c 1272s |      21 |  1060712 |  1050745 |    37867     64 |      695 |      825
1705.31/1705.79	c 1274s |      21 |  1063613 |  1053645 |    37867     64 |      695 |      825
1707.41/1707.83	c 1276s |      21 |  1065728 |  1055745 |    37867     64 |      695 |      825
1709.41/1709.87	c 1278s |      21 |  1067632 |  1057645 |    37867     64 |      695 |      825
1711.41/1711.89	c 1280s |      21 |  1068931 |  1058945 |    37867     64 |      695 |      825
1715.42/1715.89	c 1284s |      21 |  1070361 |  1060345 |    37867     64 |      695 |      825
1717.62/1718.06	c 1286s |      21 |  1071854 |  1061845 |    37867     64 |      695 |      825
1719.71/1720.12	c 1288s |      21 |  1073869 |  1063845 |    37867     64 |      695 |      825
1721.71/1722.19	c 1290s |      21 |  1075776 |  1065745 |    37867     64 |      695 |      825
1724.61/1725.08	c 1293s |      21 |  1077791 |  1067745 |    37867     65 |      695 |      825
1726.72/1727.12	c 1295s |      21 |  1080794 |  1070745 |    37867     65 |      695 |      825
1728.71/1729.19	c 1297s |      21 |  1084223 |  1074145 |    37867     65 |      695 |      825
1730.81/1731.27	c 1299s |      21 |  1087134 |  1077045 |    37867     65 |      695 |      825
1732.81/1733.27	c 1301s |      21 |  1089533 |  1079445 |    37867     65 |      695 |      825
1734.81/1735.28	c 1303s |      21 |  1091645 |  1081545 |    37867     65 |      695 |      825
1736.81/1737.30	c 1305s |      21 |  1093361 |  1083245 |    37867     65 |      695 |      825
1738.91/1739.37	c 1307s |      21 |  1095165 |  1085045 |    37867     65 |      695 |      825
1741.02/1741.50	c 1309s |      21 |  1097081 |  1086945 |    37867     65 |      695 |      825
1743.12/1743.54	c 1311s |      21 |  1097986 |  1087845 |    37867     66 |      695 |      825
1745.11/1745.59	c 1313s |      21 |  1100592 |  1090445 |    37867     66 |      695 |      825
1747.21/1747.68	c 1315s |      21 |  1102795 |  1092645 |    37867     66 |      695 |      825
1749.31/1749.75	c 1318s |      21 |  1104708 |  1094545 |    37867     66 |      695 |      825
1751.41/1751.81	c 1320s |      21 |  1107218 |  1097045 |    37867     66 |      695 |      825
1753.51/1753.96	c 1322s |      21 |  1108619 |  1098445 |    37867     66 |      695 |      825
1755.61/1756.08	c 1324s |      21 |  1109525 |  1099345 |    37867     66 |      695 |      825
1757.61/1758.09	c 1326s |      21 |  1110328 |  1100145 |    37867     66 |      695 |      825
1759.81/1760.20	c 1328s |      21 |  1111137 |  1100945 |    37867     66 |      695 |      825
1761.91/1762.31	c 1330s |      21 |  1112137 |  1101945 |    37867     66 |      695 |      825
1764.01/1764.41	c 1332s |      21 |  1113141 |  1102945 |    37867     66 |      695 |      825
1766.11/1766.55	c 1334s |      21 |  1113937 |  1103745 |    37867     66 |      695 |      825
1768.11/1768.58	c 1336s |      21 |  1114650 |  1104445 |    37867     66 |      695 |      825
1770.21/1770.66	c 1338s |      21 |  1115346 |  1105145 |    37867     66 |      695 |      825
1772.21/1772.68	c 1340s |      21 |  1115953 |  1105745 |    37867     66 |      695 |      825
1774.51/1774.99	c 1343s |      21 |  1116555 |  1106345 |    37867     66 |      695 |      825
1779.41/1779.86	c 1348s |      21 |  1116666 |  1106445 |    37867     67 |      695 |      825
1782.81/1783.26	c 1351s |      21 |  1117069 |  1106845 |    37867     67 |      695 |      825
1784.91/1785.40	c 1353s |      21 |  1118862 |  1108645 |    37867     67 |      695 |      825
1787.00/1787.43	c 1355s |      21 |  1120378 |  1110145 |    37867     67 |      695 |      825
1789.00/1789.45	c 1357s |      21 |  1121881 |  1111645 |    37867     67 |      695 |      825
1799.50/1799.92	c 1368s |      21 |  1122793 |  1112545 |    37867     67 |      695 |      825

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

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

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


[startup+0 s]
/proc/loadavg: 2.10 2.15 2.17 4/180 14799
/proc/meminfo: memFree=29497148/32872528 swapFree=12208/1156848
[pid=14799] ppid=14796 vsize=597436 CPUtime=0 cores=1,3,5,7
/proc/14799/stat : 14799 (toysat) R 14796 14799 9895 0 -1 4202496 2205 0 0 0 0 0 0 0 20 0 4 0 109196444 611774464 2566 33554432000 4194304 16246674 140735103433888 140735103433312 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14799/statm: 149871 2575 441 2943 0 146765 0
[pid=14799/tid=14800] ppid=14796 vsize=614844 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14800/stat : 14800 (toysat) S 14796 14799 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109196444 629600256 2635 33554432000 4194304 16246674 140735103433888 139757846768880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14799/tid=14801] ppid=14796 vsize=618940 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14801/stat : 14801 (toysat) S 14796 14799 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109196444 633794560 2651 33554432000 4194304 16246674 140735103433888 139757766028528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14799/tid=14802] ppid=14796 vsize=622148 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14802/stat : 14802 (toysat) S 14796 14799 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109196444 637079552 2665 33554432000 4194304 16246674 140735103433888 139757755554992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100123 s]
/proc/loadavg: 2.10 2.15 2.17 4/180 14799
/proc/meminfo: memFree=29497148/32872528 swapFree=12208/1156848
[pid=14799] ppid=14796 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/14799/stat : 14799 (toysat) R 14796 14799 9895 0 -1 4202496 28262 0 0 0 5 3 0 0 20 0 4 0 109196444 1247350784 28614 33554432000 4194304 16246674 140735103433888 140735103433312 13930238 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14799/statm: 304529 28623 647 2943 0 301423 0
[pid=14799/tid=14800] ppid=14796 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14800/stat : 14800 (toysat) S 14796 14799 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109196444 1247350784 28630 33554432000 4194304 16246674 140735103433888 139757846768880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14799/tid=14801] ppid=14796 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14801/stat : 14801 (toysat) S 14796 14799 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109196444 1247350784 28636 33554432000 4194304 16246674 140735103433888 139757766028528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14799/tid=14802] ppid=14796 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14802/stat : 14802 (toysat) S 14796 14799 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109196444 1247350784 28642 33554432000 4194304 16246674 140735103433888 139757755554992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.20055 s]
/proc/loadavg: 2.10 2.15 2.17 4/180 14799
/proc/meminfo: memFree=29497148/32872528 swapFree=12208/1156848
[pid=14799] ppid=14796 vsize=1227332 CPUtime=0.19 cores=1,3,5,7
/proc/14799/stat : 14799 (toysat) R 14796 14799 9895 0 -1 4202496 35033 0 0 0 14 5 0 0 20 0 4 0 109196444 1256787968 35340 33554432000 4194304 16246674 140735103433888 140735103433200 6011738 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14799/statm: 306833 35340 891 2943 0 303727 0
[pid=14799/tid=14800] ppid=14796 vsize=1227332 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14800/stat : 14800 (toysat) S 14796 14799 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109196444 1256787968 35340 33554432000 4194304 16246674 140735103433888 139757846768880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14799/tid=14801] ppid=14796 vsize=1227332 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14801/stat : 14801 (toysat) S 14796 14799 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109196444 1256787968 35340 33554432000 4194304 16246674 140735103433888 139757766028528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14799/tid=14802] ppid=14796 vsize=1227332 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14802/stat : 14802 (toysat) S 14796 14799 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109196444 1256787968 35340 33554432000 4194304 16246674 140735103433888 139757755554992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1227332

[startup+0.300464 s]
/proc/loadavg: 2.10 2.15 2.17 4/180 14799
/proc/meminfo: memFree=29497148/32872528 swapFree=12208/1156848
[pid=14799] ppid=14796 vsize=1227332 CPUtime=0.29 cores=1,3,5,7
/proc/14799/stat : 14799 (toysat) R 14796 14799 9895 0 -1 4202496 49561 0 0 0 22 7 0 0 20 0 4 0 109196444 1256787968 49868 33554432000 4194304 16246674 140735103433888 140735103415808 5677277 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14799/statm: 306833 49873 891 2943 0 303727 0
[pid=14799/tid=14800] ppid=14796 vsize=1227332 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14800/stat : 14800 (toysat) S 14796 14799 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109196444 1256787968 49876 33554432000 4194304 16246674 140735103433888 139757846768880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14799/tid=14801] ppid=14796 vsize=1227332 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14801/stat : 14801 (toysat) S 14796 14799 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109196444 1256787968 49881 33554432000 4194304 16246674 140735103433888 139757766028528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14799/tid=14802] ppid=14796 vsize=1227332 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14802/stat : 14802 (toysat) S 14796 14799 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109196444 1256787968 49883 33554432000 4194304 16246674 140735103433888 139757755554992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1227332

[startup+0.700368 s]
/proc/loadavg: 2.10 2.15 2.17 4/180 14799
/proc/meminfo: memFree=29497148/32872528 swapFree=12208/1156848
[pid=14799] ppid=14796 vsize=1227332 CPUtime=0.68 cores=1,3,5,7
/proc/14799/stat : 14799 (toysat) R 14796 14799 9895 0 -1 4202496 131005 0 0 0 50 18 0 0 20 0 4 0 109196444 1256787968 131312 33554432000 4194304 16246674 140735103433888 140735103415808 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14799/statm: 306833 131318 891 2943 0 303727 0
[pid=14799/tid=14800] ppid=14796 vsize=1227332 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14800/stat : 14800 (toysat) S 14796 14799 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109196444 1256787968 131322 33554432000 4194304 16246674 140735103433888 139757846768880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14799/tid=14801] ppid=14796 vsize=1227332 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14801/stat : 14801 (toysat) S 14796 14799 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109196444 1256787968 131324 33554432000 4194304 16246674 140735103433888 139757766028528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14799/tid=14802] ppid=14796 vsize=1227332 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14802/stat : 14802 (toysat) S 14796 14799 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109196444 1256787968 131327 33554432000 4194304 16246674 140735103433888 139757755554992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1227332

[startup+1.50038 s]
/proc/loadavg: 2.10 2.15 2.17 4/184 14803
/proc/meminfo: memFree=28657060/32872528 swapFree=12208/1156848
[pid=14799] ppid=14796 vsize=1297988 CPUtime=1.49 cores=1,3,5,7
/proc/14799/stat : 14799 (toysat) R 14796 14799 9895 0 -1 4202496 265527 0 0 0 112 37 0 0 20 0 4 0 109196444 1329139712 265834 33554432000 4194304 16246674 140735103433888 140735103415808 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14799/statm: 324497 265834 894 2943 0 321391 0
[pid=14799/tid=14800] ppid=14796 vsize=1297988 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14800/stat : 14800 (toysat) S 14796 14799 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109196444 1329139712 265834 33554432000 4194304 16246674 140735103433888 139757846768880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14799/tid=14801] ppid=14796 vsize=1297988 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14801/stat : 14801 (toysat) S 14796 14799 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109196444 1329139712 265834 33554432000 4194304 16246674 140735103433888 139757766028528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14799/tid=14802] ppid=14796 vsize=1297988 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14802/stat : 14802 (toysat) S 14796 14799 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109196444 1329139712 265834 33554432000 4194304 16246674 140735103433888 139757755554992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1297988

[startup+3.10043 s]
/proc/loadavg: 2.10 2.15 2.17 4/184 14803
/proc/meminfo: memFree=28435092/32872528 swapFree=12208/1156848
[pid=14799] ppid=14796 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/14799/stat : 14799 (toysat) R 14796 14799 9895 0 -1 4202496 267814 0 0 0 272 37 0 0 20 0 4 0 109196444 1338576896 268121 33554432000 4194304 16246674 140735103433888 140735103415808 5523513 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14799/statm: 326801 268121 898 2943 0 323695 0
[pid=14799/tid=14800] ppid=14796 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14800/stat : 14800 (toysat) S 14796 14799 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109196444 1338576896 268121 33554432000 4194304 16246674 140735103433888 139757846768880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14799/tid=14801] ppid=14796 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14801/stat : 14801 (toysat) S 14796 14799 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109196444 1338576896 268121 33554432000 4194304 16246674 140735103433888 139757766028528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14799/tid=14802] ppid=14796 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14802/stat : 14802 (toysat) S 14796 14799 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109196444 1338576896 268121 33554432000 4194304 16246674 140735103433888 139757755554992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30043 s]
/proc/loadavg: 2.17 2.16 2.17 3/184 14803
/proc/meminfo: memFree=28424932/32872528 swapFree=12208/1156848
[pid=14799] ppid=14796 vsize=1310276 CPUtime=6.29 cores=1,3,5,7
/proc/14799/stat : 14799 (toysat) R 14796 14799 9895 0 -1 4202496 268524 0 0 0 592 37 0 0 20 0 4 0 109196444 1341722624 268831 33554432000 4194304 16246674 140735103433888 140735103415808 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14799/statm: 327569 268831 919 2943 0 324463 0
[pid=14799/tid=14800] ppid=14796 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14800/stat : 14800 (toysat) S 14796 14799 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109196444 1341722624 268831 33554432000 4194304 16246674 140735103433888 139757846768880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14799/tid=14801] ppid=14796 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14801/stat : 14801 (toysat) S 14796 14799 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109196444 1341722624 268831 33554432000 4194304 16246674 140735103433888 139757766028528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14799/tid=14802] ppid=14796 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14802/stat : 14802 (toysat) S 14796 14799 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109196444 1341722624 268831 33554432000 4194304 16246674 140735103433888 139757755554992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.15 2.16 2.17 3/184 14803
/proc/meminfo: memFree=28402436/32872528 swapFree=12208/1156848
[pid=14799] ppid=14796 vsize=1329732 CPUtime=12.68 cores=1,3,5,7
/proc/14799/stat : 14799 (toysat) R 14796 14799 9895 0 -1 4202496 273634 0 0 0 1230 38 0 0 20 0 4 0 109196444 1361645568 273941 33554432000 4194304 16246674 140735103433888 140735103415808 5822144 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14799/statm: 332433 273941 920 2943 0 329327 0
[pid=14799/tid=14800] ppid=14796 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14800/stat : 14800 (toysat) S 14796 14799 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109196444 1361645568 273941 33554432000 4194304 16246674 140735103433888 139757846768880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14799/tid=14801] ppid=14796 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14801/stat : 14801 (toysat) S 14796 14799 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109196444 1361645568 273941 33554432000 4194304 16246674 140735103433888 139757766028528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14799/tid=14802] ppid=14796 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14802/stat : 14802 (toysat) S 14796 14799 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109196444 1361645568 273941 33554432000 4194304 16246674 140735103433888 139757755554992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1329732

[startup+25.5005 s]
/proc/loadavg: 2.19 2.17 2.17 3/184 14803
/proc/meminfo: memFree=28366792/32872528 swapFree=12208/1156848
[pid=14799] ppid=14796 vsize=1364548 CPUtime=25.48 cores=1,3,5,7
/proc/14799/stat : 14799 (toysat) R 14796 14799 9895 0 -1 4202496 282338 0 0 0 2509 39 0 0 20 0 4 0 109196444 1397297152 282645 33554432000 4194304 16246674 140735103433888 140735103415808 5666941 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14799/statm: 341137 282645 920 2943 0 338031 0
[pid=14799/tid=14800] ppid=14796 vsize=1364548 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14800/stat : 14800 (toysat) S 14796 14799 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109196444 1397297152 282645 33554432000 4194304 16246674 140735103433888 139757846768880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14799/tid=14801] ppid=14796 vsize=1364548 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14801/stat : 14801 (toysat) S 14796 14799 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109196444 1397297152 282645 33554432000 4194304 16246674 140735103433888 139757766028528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14799/tid=14802] ppid=14796 vsize=1364548 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14802/stat : 14802 (toysat) S 14796 14799 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109196444 1397297152 282645 33554432000 4194304 16246674 140735103433888 139757755554992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1364548

[startup+51.1005 s]
/proc/loadavg: 2.12 2.15 2.17 3/183 14803
/proc/meminfo: memFree=28347148/32872528 swapFree=12208/1156848
[pid=14799] ppid=14796 vsize=1384004 CPUtime=51.08 cores=1,3,5,7
/proc/14799/stat : 14799 (toysat) R 14796 14799 9895 0 -1 4202496 287203 0 0 0 5067 41 0 0 20 0 4 0 109196444 1417220096 287510 33554432000 4194304 16246674 140735103433888 140735103415808 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14799/statm: 346001 287510 921 2943 0 342895 0
[pid=14799/tid=14800] ppid=14796 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14800/stat : 14800 (toysat) S 14796 14799 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109196444 1417220096 287510 33554432000 4194304 16246674 140735103433888 139757846768880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14799/tid=14801] ppid=14796 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14801/stat : 14801 (toysat) S 14796 14799 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109196444 1417220096 287510 33554432000 4194304 16246674 140735103433888 139757766028528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14799/tid=14802] ppid=14796 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14802/stat : 14802 (toysat) S 14796 14799 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109196444 1417220096 287510 33554432000 4194304 16246674 140735103433888 139757755554992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1384004

[startup+102.301 s]
/proc/loadavg: 2.09 2.14 2.16 3/182 14804
/proc/meminfo: memFree=28265088/32872528 swapFree=12208/1156848
[pid=14799] ppid=14796 vsize=1384004 CPUtime=102.28 cores=1,3,5,7
/proc/14799/stat : 14799 (toysat) R 14796 14799 9895 0 -1 4202496 287203 0 0 0 10186 42 0 0 20 0 4 0 109196444 1417220096 287510 33554432000 4194304 16246674 140735103433888 140735103432984 5808574 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14799/statm: 346001 287510 921 2943 0 342895 0
[pid=14799/tid=14800] ppid=14796 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14800/stat : 14800 (toysat) S 14796 14799 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109196444 1417220096 287510 33554432000 4194304 16246674 140735103433888 139757846768880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14799/tid=14801] ppid=14796 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14801/stat : 14801 (toysat) S 14796 14799 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109196444 1417220096 287510 33554432000 4194304 16246674 140735103433888 139757766028528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14799/tid=14802] ppid=14796 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14802/stat : 14802 (toysat) S 14796 14799 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109196444 1417220096 287510 33554432000 4194304 16246674 140735103433888 139757755554992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1384004


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

/proc/14799/task/14802/stat : 14802 (toysat) S 14796 14799 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295446 33554432000 4194304 16246674 140735103433888 139757755554992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 1414724

[startup+1302.3 s]
/proc/loadavg: 2.11 2.14 2.10 3/183 15177
/proc/meminfo: memFree=28299628/32872528 swapFree=12208/1156848
[pid=14799] ppid=14796 vsize=1414724 CPUtime=1302.02 cores=1,3,5,7
/proc/14799/stat : 14799 (toysat) R 14796 14799 9895 0 -1 4202496 294992 0 0 0 130122 80 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 140735103415808 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14799/statm: 353681 295447 922 2943 0 350575 0
[pid=14799/tid=14800] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14800/stat : 14800 (toysat) S 14796 14799 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757846768880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14799/tid=14801] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14801/stat : 14801 (toysat) S 14796 14799 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757766028528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14799/tid=14802] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14802/stat : 14802 (toysat) S 14796 14799 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757755554992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1414724

[startup+1362.3 s]
/proc/loadavg: 2.04 2.11 2.09 3/183 15178
/proc/meminfo: memFree=28299588/32872528 swapFree=12208/1156848
[pid=14799] ppid=14796 vsize=1414724 CPUtime=1362.01 cores=1,3,5,7
/proc/14799/stat : 14799 (toysat) R 14796 14799 9895 0 -1 4202496 295011 0 0 0 136118 83 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 140735103433064 4206864 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14799/statm: 353681 295447 922 2943 0 350575 0
[pid=14799/tid=14800] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14800/stat : 14800 (toysat) S 14796 14799 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757846768880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14799/tid=14801] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14801/stat : 14801 (toysat) S 14796 14799 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757766028528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14799/tid=14802] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14802/stat : 14802 (toysat) S 14796 14799 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757755554992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 1414724

[startup+1422.3 s]
/proc/loadavg: 2.14 2.12 2.09 4/183 15180
/proc/meminfo: memFree=28300020/32872528 swapFree=12208/1156848
[pid=14799] ppid=14796 vsize=1414724 CPUtime=1421.99 cores=1,3,5,7
/proc/14799/stat : 14799 (toysat) R 14796 14799 9895 0 -1 4202496 295038 0 0 0 142113 86 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 140735103415808 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14799/statm: 353681 295447 922 2943 0 350575 0
[pid=14799/tid=14800] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14800/stat : 14800 (toysat) S 14796 14799 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757846768880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14799/tid=14801] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14801/stat : 14801 (toysat) S 14796 14799 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757766028528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14799/tid=14802] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14802/stat : 14802 (toysat) S 14796 14799 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757755554992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 1414724

[startup+1482.3 s]
/proc/loadavg: 2.13 2.12 2.09 3/183 15181
/proc/meminfo: memFree=28298964/32872528 swapFree=12208/1156848
[pid=14799] ppid=14796 vsize=1414724 CPUtime=1481.97 cores=1,3,5,7
/proc/14799/stat : 14799 (toysat) R 14796 14799 9895 0 -1 4202496 295059 0 0 0 148109 88 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 140735103415808 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14799/statm: 353681 295447 922 2943 0 350575 0
[pid=14799/tid=14800] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14800/stat : 14800 (toysat) S 14796 14799 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757846768880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14799/tid=14801] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14801/stat : 14801 (toysat) S 14796 14799 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757766028528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14799/tid=14802] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14802/stat : 14802 (toysat) S 14796 14799 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757755554992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1414724

[startup+1542.31 s]
/proc/loadavg: 2.08 2.11 2.09 3/183 15182
/proc/meminfo: memFree=28299664/32872528 swapFree=12208/1156848
[pid=14799] ppid=14796 vsize=1414724 CPUtime=1541.95 cores=1,3,5,7
/proc/14799/stat : 14799 (toysat) R 14796 14799 9895 0 -1 4202496 295071 0 0 0 154106 89 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 140735103415808 5822756 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14799/statm: 353681 295447 922 2943 0 350575 0
[pid=14799/tid=14800] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14800/stat : 14800 (toysat) S 14796 14799 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757846768880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14799/tid=14801] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14801/stat : 14801 (toysat) S 14796 14799 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757766028528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14799/tid=14802] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14802/stat : 14802 (toysat) S 14796 14799 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757755554992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 1414724

[startup+1602.3 s]
/proc/loadavg: 2.33 2.17 2.11 3/183 15183
/proc/meminfo: memFree=28300776/32872528 swapFree=12208/1156848
[pid=14799] ppid=14796 vsize=1414724 CPUtime=1601.93 cores=1,3,5,7
/proc/14799/stat : 14799 (toysat) R 14796 14799 9895 0 -1 4202496 295084 0 0 0 160101 92 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 140735103415808 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14799/statm: 353681 295447 922 2943 0 350575 0
[pid=14799/tid=14800] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14800/stat : 14800 (toysat) S 14796 14799 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757846768880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14799/tid=14801] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14801/stat : 14801 (toysat) S 14796 14799 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757766028528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14799/tid=14802] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14802/stat : 14802 (toysat) S 14796 14799 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757755554992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1414724

[startup+1662.3 s]
/proc/loadavg: 2.18 2.15 2.10 3/183 15184
/proc/meminfo: memFree=28299788/32872528 swapFree=12208/1156848
[pid=14799] ppid=14796 vsize=1414724 CPUtime=1661.93 cores=1,3,5,7
/proc/14799/stat : 14799 (toysat) R 14796 14799 9895 0 -1 4202496 295084 0 0 0 166099 94 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 140735103415808 5822488 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14799/statm: 353681 295447 922 2943 0 350575 0
[pid=14799/tid=14800] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14800/stat : 14800 (toysat) S 14796 14799 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757846768880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14799/tid=14801] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14801/stat : 14801 (toysat) S 14796 14799 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757766028528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14799/tid=14802] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14802/stat : 14802 (toysat) S 14796 14799 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757755554992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 1414724

[startup+1722.3 s]
/proc/loadavg: 2.06 2.12 2.09 3/183 15186
/proc/meminfo: memFree=28299444/32872528 swapFree=12208/1156848
[pid=14799] ppid=14796 vsize=1414724 CPUtime=1721.91 cores=1,3,5,7
/proc/14799/stat : 14799 (toysat) R 14796 14799 9895 0 -1 4202496 295084 0 0 0 172095 96 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 140735103415808 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14799/statm: 353681 295447 922 2943 0 350575 0
[pid=14799/tid=14800] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14800/stat : 14800 (toysat) S 14796 14799 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757846768880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14799/tid=14801] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14801/stat : 14801 (toysat) S 14796 14799 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757766028528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14799/tid=14802] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14802/stat : 14802 (toysat) S 14796 14799 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757755554992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1414724

[startup+1782.3 s]
/proc/loadavg: 2.16 2.14 2.10 3/184 15190
/proc/meminfo: memFree=28299452/32872528 swapFree=12208/1156848
[pid=14799] ppid=14796 vsize=1414724 CPUtime=1781.9 cores=1,3,5,7
/proc/14799/stat : 14799 (toysat) R 14796 14799 9895 0 -1 4202496 295084 0 0 0 178093 97 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 140735103431680 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14799/statm: 353681 295447 922 2943 0 350575 0
[pid=14799/tid=14800] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14800/stat : 14800 (toysat) S 14796 14799 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757846768880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14799/tid=14801] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14801/stat : 14801 (toysat) S 14796 14799 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757766028528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14799/tid=14802] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14802/stat : 14802 (toysat) S 14796 14799 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757755554992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1414724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.18 2.14 2.10 3/184 15191
/proc/meminfo: memFree=28299536/32872528 swapFree=12208/1156848
[pid=14799] ppid=14796 vsize=1414724 CPUtime=1800 cores=1,3,5,7
/proc/14799/stat : 14799 (toysat) R 14796 14799 9895 0 -1 4202496 295084 0 0 0 179902 98 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 140735103415808 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14799/statm: 353681 295447 922 2943 0 350575 0
[pid=14799/tid=14800] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14800/stat : 14800 (toysat) S 14796 14799 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757846768880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14799/tid=14801] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14801/stat : 14801 (toysat) S 14796 14799 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757766028528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14799/tid=14802] ppid=14796 vsize=1414724 CPUtime=0 cores=1,3,5,7
/proc/14799/task/14802/stat : 14802 (toysat) S 14796 14799 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109196444 1448677376 295447 33554432000 4194304 16246674 140735103433888 139757755554992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1414724

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.02
CPU user time (s): 1799.03
CPU system time (s): 0.987849
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 1414724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 0.987849
maximum resident set size= 1181788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295084
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= 216
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.35534 second user time and 7.15691 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-07 06:10:19
IDJOB=4080207
IDBENCH=72484
IDSOLVER=2542
FILE ID=node114/4080207-1465272619
RUNJOBID= node114-1465241547-9912
PBS_JOBID= 19843245
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_5_errors.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080207-1465272619/watcher-4080207-1465272619 -o /tmp/evaluation-result-4080207-1465272619/solver-4080207-1465272619 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9912 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080207-1465272619.opb

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

MD5SUM BENCH= 06d341d0af76f66d4946a3c264573060
RANDOM SEED=1288830468

node114.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.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.70
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.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.852
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.852
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.852
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.852
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.54
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.852
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:        29497676 kB
Buffers:          129544 kB
Cached:           233868 kB
SwapCached:         1696 kB
Active:          1261100 kB
Inactive:         221480 kB
Active(anon):    1120140 kB
Inactive(anon):     1252 kB
Active(file):     140960 kB
Inactive(file):   220228 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096680 kB
Dirty:             16308 kB
Writeback:             0 kB
AnonPages:       2281316 kB
Mapped:            10868 kB
Shmem:                 0 kB
Slab:             601612 kB
SReclaimable:      45600 kB
SUnreclaim:       556012 kB
KernelStack:        1528 kB
PageTables:         8072 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2419664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1157120 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= 71700 MiB
End job on node114 at 2016-06-07 06:40:19