Trace number 4101561

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

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-tr12-30.opb
MD5SUM93a0ff34a98f6d4593d65282fbf98be9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21960
Total number of constraints750
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints750
Minimum length of a constraint31
Maximum length of a constraint372
Number of terms in the objective function 11160
Biggest coefficient in the objective function 1295
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 533310
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261781
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 533310
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T06:32:07+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-4101561-1466224327.opb"]
0.00/0.01	c use --random-gen="1754003051 3082456710 2394217277 1568814879 3686690996 1155889350 3283080708 3331929383 566412741 3448915288 4291587669 1084458761 4093991711 1689703859 3416394162 2099170966 3075019366 1316040836 23292605 3723327786 2509627875 2460938063 2272033237 3867183119 3570293120 3357877486 702688659 816740421 1309089896 3836460909 2748388418 3902455982 227516695 1485224880 1755714722 2248118450 3593864577 2289189356 2323725778 1910085026 1761168014 4234351764 3728088840 1768686338 2070276487 545063178 1859880921 3460063533 3150734810 4032639998 3473197348 3600300029 903358125 708488266 2216838769 2943109538 1757288655 2535791968 4140183373 4019796060 201072637 1215035699 1827211912 1135559820 1535115264 989157299 1176357127 869363896 4135414656 1039237345 289312182 1791152817 525184277 421761753 3555766054 2391234910 886154765 2871490452 1479322218 2851099487 763840239 4047169182 1207425259 1940000396 3932670816 2059416403 2161749410 844378672 2281787042 622958980 602979064 2869185622 3247942598 895490894 2749003710 3759357588 389443896 2255402302 1237982908 2413938822 2449290630 3079378020 3120620750 4201676216 1190001505 3514625770 664609723 4210652804 184398330 709878153 620626253 1827298299 3138449576 2452931829 841003996 3104740474 407193499 893466539 805260786 1580418720 3366572349 3144695141 4174278502 3693571711 1201694133 2849443667 3737772603 3094710563 2604935128 1495919468 2823279724 2192937167 1243915094 3158185346 1261338040 2366616700 2607616918 3121141713 1809097761 4217524321 3141492319 3000112317 2629753253 4290625285 802523281 2721046845 1769224472 3158563066 2852640945 54064915 4084972829 142369353 4267531994 4007214726 4212163397 2030558603 2553489161 1689958769 1213146238 729663662 2095550931 3139145609 3133797234 533685885 3432103357 1275755983 3280257929 2628304915 2561930814 2532716394 2284694723 2479047156 1317421384 560258413 306642835 2564900061 434473072 1567876380 4213365184 2066062782 1546334746 780022206 1200386917 1684410550 389582267 1929185139 1040465964 2398977662 4141782659 1862223466 2249761725 2298559195 2591546895 604401144 2525352617 1787941689 4125130623 1251767482 1105600130 4066529014 2803957423 3053003369 316615690 3507103544 2280113973 1039599088 3818020925 1747249565 4269162578 1084044788 150668262 482461903 2782398422 2231694575 2565764875 2148677500 3089646489 2268120207 1302590241 927705628 2070876045 1860653212 1671271381 3378953110 3584117361 2505947009 1479493129 2237559191 1241614001 2650791233 2710394744 3168802467 2697043340 3312720059 3903587361 1113819228 4223845690 1483770703 395787564 2470866010 3723309256 3938277098 2772062987 915297223 2371057586 3164284326 3914903958 3236389753 3430483212 2123489059 316493431 3947560589 810571547 995286208 1900940636 556692038 255 362436" option to reproduce the execution
0.08/0.14	c #vars 21960
0.08/0.14	c #constraints 750
1.39/1.49	c BCD2: Hardening is enabled.
1.39/1.49	c BCD2: BiasedSearch is enabled.
1.39/1.49	c Solving starts ...
1.39/1.49	c ============================[ Search Statistics ]============================
1.39/1.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.39/1.49	c       |         |          |          |    Limit     GC | Var      | Constra 
1.49/1.69	c =============================================================================
1.49/1.69	c  0.0s |       0 |        0 |        0 |     7690      0 |     3680 |        0
1.49/1.69	c  0.1s |       1 |      477 |      100 |     7690      0 |     3681 |        0
1.49/1.69	c  0.2s |       2 |      682 |      250 |     8459      0 |     3681 |        0
1.49/1.73	c  0.2s |       3 |      965 |      475 |     9305      0 |     3681 |        0
1.79/1.86	c  0.4s |       4 |     1365 |      813 |    10236      0 |     3681 |        0
1.98/2.07	c  0.6s |       5 |     2050 |     1320 |    11260      0 |     3681 |        0
2.28/2.36	c  0.9s |       6 |     3342 |     2081 |    13626      0 |     3681 |        0
2.78/2.83	c  1.3s |       7 |     5329 |     3223 |    14989      0 |     3681 |        0
3.49/3.53	c  2.0s |       8 |     8363 |     4936 |    16488      0 |     3681 |        0
4.48/4.50	c  3.0s |       9 |    12475 |     7506 |    18137      0 |     3681 |        0
5.98/6.07	c  4.6s |      10 |    19015 |    11361 |    19951      0 |     3681 |        0
8.08/8.11	c  6.6s |      10 |    26449 |    15561 |    19951      0 |     3681 |        0
8.88/8.93	c  7.4s |      11 |    29103 |    17144 |    21947      0 |     3681 |        0
10.88/10.98	c  9.5s |      11 |    34987 |    20744 |    21947      0 |     3681 |        0
12.78/12.88	c 11.4s |      12 |    42172 |    25819 |    24142      0 |     3681 |        0
14.88/14.90	c 13.4s |      12 |    49136 |    29619 |    24142      1 |     3681 |        0
16.88/16.90	c 15.4s |      12 |    56333 |    33919 |    24142      1 |     3681 |        0
18.89/18.94	c 17.5s |      12 |    63061 |    37919 |    24142      1 |     3681 |        0
19.38/19.47	c 18.0s |      13 |    64687 |    38832 |    26557      1 |     3681 |        0
21.48/21.51	c 20.0s |      13 |    69794 |    42132 |    26557      1 |     3681 |        0
23.48/23.55	c 22.1s |      13 |    74376 |    45132 |    26557      2 |     3681 |        0
25.49/25.59	c 24.1s |      13 |    79184 |    48032 |    26557      2 |     3681 |        0
27.58/27.66	c 26.2s |      13 |    83799 |    50932 |    26557      2 |     3681 |        0
30.48/30.59	c 29.1s |      13 |    85027 |    51632 |    26557      2 |     3681 |        0
32.58/32.67	c 31.2s |      13 |    90921 |    54132 |    26557      2 |     3681 |        0
34.68/34.73	c 33.2s |      13 |    95466 |    56932 |    26557      2 |     3681 |        0
35.78/35.82	c 34.3s |      14 |    98039 |    58352 |    29213      2 |     3681 |        0
37.88/37.96	c 36.5s |      14 |   102650 |    60452 |    29213      2 |     3681 |        0
39.98/40.09	c 38.6s |      14 |   106948 |    62452 |    29213      3 |     3681 |        0
48.08/48.11	c 46.6s |      14 |   109478 |    63952 |    29213      3 |     3681 |        0
50.08/50.12	c 48.6s |      14 |   117076 |    66752 |    29213      3 |     3681 |        0
52.08/52.15	c 50.7s |      14 |   125582 |    69552 |    29213      3 |     3681 |        0
54.09/54.16	c 52.7s |      14 |   132505 |    72352 |    29213      3 |     3681 |        0
56.18/56.25	c 54.8s |      14 |   137365 |    74552 |    29213      3 |     3681 |        0
58.18/58.27	c 56.8s |      14 |   141592 |    76652 |    29213      3 |     3681 |        0
60.28/60.34	c 58.8s |      14 |   145884 |    78952 |    29213      3 |     3681 |        0
62.38/62.40	c 60.9s |      14 |   149713 |    81752 |    29213      4 |     3681 |        0
64.38/64.46	c 63.0s |      14 |   153817 |    84252 |    29213      4 |     3681 |        0
66.38/66.49	c 65.0s |      14 |   160776 |    86852 |    29213      4 |     3681 |        0
67.08/67.11	c 65.6s |      15 |   162789 |    87632 |    32135      4 |     3681 |        0
72.17/72.29	c 70.8s |      15 |   163110 |    87832 |    32135      4 |     3681 |        0
74.27/74.36	c 72.9s |      15 |   170443 |    90832 |    32135      4 |     3681 |        0
76.27/76.39	c 74.9s |      15 |   177774 |    93832 |    32135      4 |     3681 |        0
78.39/78.43	c 76.9s |      15 |   183259 |    96632 |    32135      4 |     3681 |        0
80.38/80.49	c 79.0s |      15 |   187591 |    99132 |    32135      5 |     3681 |        0
82.48/82.52	c 81.0s |      15 |   192956 |   102632 |    32135      5 |     3681 |        0
84.48/84.57	c 83.1s |      15 |   198196 |   105932 |    32135      5 |     3681 |        0
86.48/86.57	c 85.1s |      15 |   202811 |   108832 |    32135      5 |     3681 |        0
88.48/88.59	c 87.1s |      15 |   207208 |   111132 |    32135      5 |     3681 |        0
90.58/90.64	c 89.1s |      15 |   211828 |   113232 |    32135      5 |     3681 |        0
92.58/92.66	c 91.2s |      15 |   216418 |   115032 |    32135      5 |     3681 |        0
96.68/96.73	c 95.2s |      15 |   219733 |   116732 |    32135      6 |     3681 |        0
99.07/99.10	c 97.6s |      15 |   222290 |   117932 |    32135      6 |     3681 |        0
101.07/101.10	c 99.6s |      15 |   228785 |   120232 |    32135      6 |     3681 |        0
103.07/103.16	c  101s |      15 |   235507 |   123632 |    32135      6 |     3681 |        0
105.07/105.19	c  103s |      15 |   239592 |   125032 |    32135      6 |     3681 |        0
107.17/107.23	c  105s |      15 |   246043 |   127232 |    32135      6 |     3681 |        0
109.18/109.26	c  107s |      15 |   251879 |   129232 |    32135      6 |     3681 |        0
111.17/111.28	c  109s |      15 |   257247 |   131232 |    35349      6 |     3681 |        0
111.57/111.64	c  110s |      16 |   258170 |   131552 |    35349      6 |     3681 |        0
113.67/113.71	c  112s |      16 |   262163 |   132952 |    35349      6 |     3681 |        0
116.37/116.42	c  114s |      16 |   263370 |   133252 |    35349      6 |     3681 |        0
118.38/118.44	c  116s |      16 |   269503 |   135252 |    35349      6 |     3681 |        0
120.47/120.54	c  119s |      16 |   274634 |   137052 |    35349      6 |     3681 |        0
123.27/123.39	c  121s |      16 |   276866 |   137852 |    35349      7 |     3681 |        0
125.37/125.45	c  123s |      16 |   284597 |   140252 |    35349      7 |     3681 |        0
127.47/127.57	c  126s |      16 |   290814 |   142652 |    35349      7 |     3681 |        0
129.57/129.63	c  128s |      16 |   298397 |   145352 |    35349      7 |     3681 |        0
131.67/131.70	c  130s |      16 |   305076 |   148552 |    35349      7 |     3681 |        0
133.67/133.73	c  132s |      16 |   310551 |   151252 |    35349      7 |     3681 |        0
135.77/135.88	c  134s |      16 |   315049 |   153352 |    35349      7 |     3681 |        0
137.87/137.90	c  136s |      16 |   317851 |   154652 |    35349      7 |     3681 |        0
139.88/139.95	c  138s |      16 |   321095 |   155952 |    35349      7 |     3681 |        0
142.27/142.30	c  140s |      16 |   325192 |   157452 |    35349      8 |     3681 |        0
144.38/144.41	c  142s |      16 |   328253 |   159052 |    35349      8 |     3681 |        0
146.37/146.50	c  145s |      16 |   333389 |   160952 |    35349      8 |     3681 |        0
148.47/148.59	c  147s |      16 |   338720 |   162952 |    35349      8 |     3681 |        0
150.57/150.66	c  149s |      16 |   343199 |   164652 |    35349      8 |     3681 |        0
152.77/152.88	c  151s |      16 |   347232 |   166152 |    35349      8 |     3681 |        0
154.87/154.95	c  153s |      16 |   351032 |   168652 |    35349      8 |     3681 |        0
156.97/157.01	c  155s |      16 |   355444 |   170952 |    35349      8 |     3681 |        0
158.96/159.02	c  157s |      16 |   360498 |   173252 |    35349      8 |     3681 |        0
160.96/161.08	c  159s |      16 |   364919 |   175452 |    35349      8 |     3681 |        0
163.36/163.43	c  161s |      16 |   368815 |   177152 |    35349      9 |     3681 |        0
165.36/165.47	c  163s |      16 |   373649 |   179052 |    35349      9 |     3681 |        0
167.87/167.96	c  166s |      16 |   376228 |   180152 |    35349      9 |     3681 |        0
169.87/169.98	c  168s |      16 |   379961 |   181852 |    35349      9 |     3681 |        0
171.96/172.07	c  170s |      16 |   384683 |   183952 |    35349      9 |     3681 |        0
174.07/174.14	c  172s |      16 |   389175 |   186152 |    35349      9 |     3681 |        0
176.17/176.23	c  174s |      16 |   393103 |   188252 |    35349      9 |     3681 |        0
178.16/178.25	c  176s |      16 |   395933 |   189552 |    35349      9 |     3681 |        0
180.16/180.27	c  178s |      16 |   401107 |   192052 |    35349      9 |     3681 |        0
182.26/182.33	c  180s |      16 |   405636 |   194252 |    35349      9 |     3681 |        0
184.26/184.39	c  182s |      16 |   409118 |   196352 |    38884      9 |     3681 |        0
185.56/185.63	c  184s |      17 |   411587 |   197432 |    38884      9 |     3681 |        0
187.66/187.72	c  186s |      17 |   416854 |   199232 |    38884      9 |     3681 |        0
193.46/193.59	c  192s |      17 |   420896 |   200932 |    38884     10 |     3681 |        0
195.56/195.62	c  194s |      17 |   427309 |   203632 |    38884     10 |     3681 |        0
197.56/197.64	c  196s |      17 |   436010 |   206832 |    38884     10 |     3681 |        0
199.55/199.66	c  198s |      17 |   444558 |   209732 |    38884     10 |     3681 |        0
201.65/201.73	c  200s |      17 |   452342 |   212232 |    38884     10 |     3681 |        0
203.66/203.77	c  202s |      17 |   459095 |   214832 |    38884     10 |     3681 |        0
205.75/205.85	c  204s |      17 |   465380 |   217232 |    38884     10 |     3681 |        0
207.75/207.86	c  206s |      17 |   471315 |   219232 |    38884     10 |     3681 |        0
209.85/209.92	c  208s |      17 |   477730 |   221432 |    38884     10 |     3681 |        0
211.85/211.95	c  210s |      17 |   482879 |   223632 |    38884     11 |     3681 |        0
213.95/214.04	c  212s |      17 |   488437 |   226232 |    38884     11 |     3681 |        0
215.95/216.05	c  214s |      17 |   495465 |   228832 |    38884     11 |     3681 |        0
218.06/218.12	c  216s |      17 |   502822 |   231232 |    38884     11 |     3681 |        0
220.05/220.16	c  218s |      17 |   508120 |   233232 |    38884     11 |     3681 |        0
222.15/222.23	c  220s |      17 |   513904 |   235532 |    38884     11 |     3681 |        0
224.15/224.23	c  222s |      17 |   518878 |   237232 |    38884     11 |     3681 |        0
226.15/226.28	c  224s |      17 |   524794 |   239232 |    38884     11 |     3681 |        0
228.25/228.32	c  226s |      17 |   529684 |   241032 |    38884     11 |     3681 |        0
230.25/230.34	c  228s |      17 |   535393 |   242932 |    38884     11 |     3681 |        0
232.45/232.54	c  231s |      17 |   540650 |   244932 |    38884     12 |     3681 |        0
234.46/234.59	c  233s |      17 |   546066 |   247232 |    38884     12 |     3681 |        0
236.55/236.64	c  235s |      17 |   550331 |   249532 |    38884     12 |     3681 |        0
238.65/238.71	c  237s |      17 |   554382 |   251232 |    38884     12 |     3681 |        0
241.36/241.43	c  239s |      17 |   557663 |   252832 |    38884     12 |     3681 |        0
243.36/243.48	c  241s |      17 |   561220 |   254032 |    38884     12 |     3681 |        0
245.46/245.55	c  244s |      17 |   566614 |   256032 |    38884     12 |     3681 |        0
247.55/247.62	c  246s |      17 |   572303 |   258232 |    38884     12 |     3681 |        0
249.65/249.70	c  248s |      17 |   578008 |   260232 |    38884     12 |     3681 |        0
251.75/251.83	c  250s |      17 |   582963 |   262132 |    38884     12 |     3681 |        0
253.75/253.87	c  252s |      17 |   586722 |   264032 |    38884     12 |     3681 |        0
255.75/255.89	c  254s |      17 |   588992 |   265232 |    38884     13 |     3681 |        0
272.35/272.48	c  270s |      17 |   589184 |   265332 |    38884     13 |     3681 |        0
274.45/274.52	c  273s |      17 |   595352 |   269232 |    38884     13 |     3681 |        0
276.45/276.57	c  275s |      17 |   601199 |   272832 |    38884     13 |     3681 |        0
278.56/278.64	c  277s |      17 |   607232 |   276432 |    38884     13 |     3681 |        0
280.55/280.67	c  279s |      17 |   613344 |   279032 |    38884     13 |     3681 |        0
282.65/282.75	c  281s |      17 |   618293 |   281532 |    38884     13 |     3681 |        0
284.75/284.80	c  283s |      17 |   623466 |   283832 |    38884     13 |     3681 |        0
287.05/287.11	c  285s |      17 |   627937 |   285932 |    38884     14 |     3681 |        0
289.05/289.16	c  287s |      17 |   630956 |   287632 |    38884     14 |     3681 |        0
291.15/291.24	c  289s |      17 |   635694 |   289932 |    38884     14 |     3681 |        0
293.25/293.31	c  291s |      17 |   640548 |   292332 |    38884     14 |     3681 |        0
295.25/295.32	c  293s |      17 |   644313 |   294232 |    42773     14 |     3681 |        0
297.25/297.36	c  295s |      17 |   648507 |   296232 |    42773     14 |     3681 |        0
297.25/297.38	c  295s |      18 |   648528 |   296252 |    42773     14 |     3681 |        0
299.35/299.49	c  297s |      18 |   652781 |   298252 |    42773     14 |     3681 |        0
301.44/301.59	c  300s |      18 |   656457 |   300352 |    42773     14 |     3681 |        0
303.54/303.61	c  302s |      18 |   660463 |   302352 |    42773     14 |     3681 |        0
305.54/305.63	c  304s |      18 |   664550 |   304752 |    42773     14 |     3681 |        0
307.54/307.68	c  306s |      18 |   667493 |   306552 |    42773     14 |     3681 |        0
309.64/309.79	c  308s |      18 |   671141 |   308452 |    42773     14 |     3681 |        0
311.74/311.88	c  310s |      18 |   674754 |   310252 |    42773     14 |     3681 |        0
314.34/314.46	c  312s |      18 |   676974 |   311352 |    42773     15 |     3681 |        0
317.34/317.46	c  315s |      18 |   678932 |   312352 |    42773     15 |     3681 |        0
319.34/319.48	c  317s |      18 |   683399 |   314952 |    42773     15 |     3681 |        0
321.84/321.96	c  320s |      18 |   684900 |   315852 |    42773     15 |     3681 |        0
323.84/323.98	c  322s |      18 |   689270 |   317752 |    42773     15 |     3681 |        0
325.94/326.06	c  324s |      18 |   693711 |   320552 |    42773     15 |     3681 |        0
327.95/328.10	c  326s |      18 |   698041 |   322952 |    42773     15 |     3681 |        0
330.04/330.17	c  328s |      18 |   701034 |   324752 |    42773     15 |     3681 |        0
332.14/332.21	c  330s |      18 |   704131 |   326952 |    42773     15 |     3681 |        0
334.24/334.30	c  332s |      18 |   707944 |   328752 |    42773     15 |     3681 |        0
336.24/336.38	c  334s |      18 |   711485 |   330752 |    42773     15 |     3681 |        0
338.34/338.45	c  336s |      18 |   712363 |   331252 |    42773     15 |     3681 |        0
340.44/340.51	c  339s |      18 |   713735 |   332152 |    42773     15 |     3681 |        0
342.54/342.64	c  341s |      18 |   715082 |   333052 |    42773     15 |     3681 |        0
348.53/348.63	c  347s |      18 |   715311 |   333152 |    42773     15 |     3681 |        0
350.63/350.71	c  349s |      18 |   718379 |   334652 |    42773     16 |     3681 |        0
354.44/354.54	c  353s |      18 |   719276 |   335152 |    42773     16 |     3681 |        0
356.44/356.58	c  355s |      18 |   723698 |   337252 |    42773     16 |     3681 |        0
358.54/358.68	c  357s |      18 |   727953 |   339452 |    42773     16 |     3681 |        0
360.64/360.77	c  359s |      18 |   731280 |   341552 |    42773     16 |     3681 |        0
362.64/362.79	c  361s |      18 |   734795 |   343152 |    42773     16 |     3681 |        0
364.74/364.89	c  363s |      18 |   738761 |   345052 |    42773     16 |     3681 |        0
366.94/367.05	c  365s |      18 |   742476 |   347052 |    42773     16 |     3681 |        0
369.03/369.13	c  367s |      18 |   745380 |   348852 |    42773     16 |     3681 |        0
371.13/371.20	c  369s |      18 |   748526 |   350552 |    42773     16 |     3681 |        0
373.14/373.21	c  371s |      18 |   751294 |   352052 |    42773     16 |     3681 |        0
375.24/375.34	c  373s |      18 |   754030 |   353652 |    42773     16 |     3681 |        0
377.33/377.42	c  375s |      18 |   756461 |   355252 |    42773     16 |     3681 |        0
379.43/379.54	c  378s |      18 |   759461 |   356752 |    42773     16 |     3681 |        0
381.63/381.78	c  380s |      18 |   762021 |   358152 |    42773     17 |     3681 |        0
383.73/383.84	c  382s |      18 |   765724 |   360252 |    42773     17 |     3681 |        0
385.73/385.87	c  384s |      18 |   769633 |   362752 |    42773     17 |     3681 |        0
387.83/387.91	c  386s |      18 |   772888 |   364752 |    42773     17 |     3681 |        0
389.83/389.99	c  388s |      18 |   775919 |   366452 |    42773     17 |     3681 |        0
391.93/392.04	c  390s |      18 |   779169 |   368252 |    42773     17 |     3681 |        0
394.04/394.12	c  392s |      18 |   781932 |   369952 |    42773     17 |     3681 |        0
396.03/396.13	c  394s |      18 |   785450 |   371752 |    42773     17 |     3681 |        0
398.13/398.23	c  396s |      18 |   788219 |   373452 |    42773     17 |     3681 |        0
408.93/409.06	c  407s |      18 |   790024 |   374452 |    42773     17 |     3681 |        0
411.03/411.12	c  409s |      18 |   792102 |   375652 |    42773     17 |     3681 |        0
413.03/413.17	c  411s |      18 |   796070 |   377852 |    42773     17 |     3681 |        0
415.13/415.21	c  413s |      18 |   799496 |   379852 |    42773     17 |     3681 |        0
418.02/418.10	c  416s |      18 |   802294 |   381352 |    42773     18 |     3681 |        0
420.43/420.55	c  419s |      18 |   803683 |   382152 |    42773     18 |     3681 |        0
422.42/422.58	c  421s |      18 |   805303 |   382952 |    42773     18 |     3681 |        0
424.52/424.65	c  423s |      18 |   808655 |   385152 |    42773     18 |     3681 |        0
426.62/426.79	c  425s |      18 |   811944 |   387152 |    42773     18 |     3681 |        0
428.72/428.83	c  427s |      18 |   814954 |   389052 |    42773     18 |     3681 |        0
433.42/433.58	c  432s |      18 |   816973 |   390352 |    42773     18 |     3681 |        0
435.52/435.64	c  434s |      18 |   821183 |   392552 |    42773     18 |     3681 |        0
437.52/437.64	c  436s |      18 |   825641 |   394552 |    42773     18 |     3681 |        0
439.52/439.69	c  438s |      18 |   829587 |   396752 |    42773     18 |     3681 |        0
441.62/441.73	c  440s |      18 |   833575 |   398952 |    42773     18 |     3681 |        0
443.62/443.79	c  442s |      18 |   837066 |   400952 |    42773     18 |     3681 |        0
445.73/445.84	c  444s |      18 |   840611 |   403152 |    42773     18 |     3681 |        0
448.52/448.62	c  447s |      18 |   842689 |   404652 |    42773     19 |     3681 |        0
450.52/450.66	c  449s |      18 |   844632 |   405952 |    42773     19 |     3681 |        0
452.52/452.68	c  451s |      18 |   848523 |   408452 |    42773     19 |     3681 |        0
454.53/454.69	c  453s |      18 |   852069 |   410652 |    42773     19 |     3681 |        0
456.62/456.72	c  455s |      18 |   855319 |   412852 |    42773     19 |     3681 |        0
459.02/459.18	c  457s |      18 |   856710 |   413552 |    42773     19 |     3681 |        0
461.21/461.33	c  459s |      18 |   857563 |   413852 |    42773     19 |     3681 |        0
463.22/463.35	c  461s |      18 |   861115 |   415852 |    42773     19 |     3681 |        0
465.31/465.43	c  463s |      18 |   865029 |   417652 |    42773     19 |     3681 |        0
467.31/467.47	c  465s |      18 |   869052 |   419952 |    42773     19 |     3681 |        0
469.31/469.49	c  468s |      18 |   872068 |   422252 |    42773     19 |     3681 |        0
471.41/471.56	c  470s |      18 |   874898 |   423952 |    42773     19 |     3681 |        0
473.61/473.71	c  472s |      18 |   878413 |   425552 |    42773     19 |     3681 |        0
475.61/475.73	c  474s |      18 |   881516 |   427152 |    42773     19 |     3681 |        0
477.81/477.91	c  476s |      18 |   883781 |   428452 |    42773     20 |     3681 |        0
480.32/480.48	c  478s |      18 |   887941 |   430752 |    42773     20 |     3681 |        0
482.42/482.58	c  481s |      18 |   891393 |   432852 |    42773     20 |     3681 |        0
484.52/484.66	c  483s |      18 |   894576 |   434552 |    42773     20 |     3681 |        0
486.52/486.67	c  485s |      18 |   898085 |   436452 |    42773     20 |     3681 |        0
488.63/488.79	c  487s |      18 |   901759 |   438252 |    42773     20 |     3681 |        0
490.92/491.00	c  489s |      18 |   903925 |   439352 |    42773     20 |     3681 |        0
492.92/493.04	c  491s |      18 |   906651 |   441352 |    47051     20 |     3681 |        0
494.92/495.06	c  493s |      18 |   910120 |   443452 |    47051     20 |     3681 |        0
496.22/496.35	c  494s |      19 |   913170 |   444482 |    47051     20 |     3681 |        0
498.22/498.37	c  496s |      19 |   917508 |   446182 |    47051     20 |     3681 |        0
521.11/521.21	c  519s |      19 |   921098 |   448482 |    47051     20 |     3681 |        0
523.11/523.21	c  521s |      19 |   925111 |   449982 |    47051     20 |     3681 |        0
525.21/525.30	c  523s |      19 |   929151 |   451482 |    47051     20 |     3681 |        0
527.21/527.39	c  525s |      19 |   933352 |   452982 |    47051     20 |     3681 |        0
529.41/529.51	c  528s |      19 |   936435 |   454382 |    47051     20 |     3681 |        0
532.71/532.81	c  531s |      19 |   939807 |   455682 |    47051     21 |     3681 |        0
534.90/535.08	c  533s |      19 |   940048 |   455782 |    47051     21 |     3681 |        0
537.01/537.15	c  535s |      19 |   942576 |   456882 |    47051     21 |     3681 |        0
539.00/539.19	c  537s |      19 |   948084 |   459082 |    47051     21 |     3681 |        0
541.11/541.24	c  539s |      19 |   953000 |   460782 |    47051     21 |     3681 |        0
543.11/543.24	c  541s |      19 |   958978 |   462782 |    47051     21 |     3681 |        0
545.11/545.28	c  543s |      19 |   964116 |   465082 |    47051     21 |     3681 |        0
547.21/547.32	c  545s |      19 |   968267 |   466982 |    47051     21 |     3681 |        0
549.31/549.42	c  547s |      19 |   973721 |   469382 |    47051     21 |     3681 |        0
551.32/551.43	c  549s |      19 |   978294 |   471182 |    47051     21 |     3681 |        0
553.31/553.47	c  551s |      19 |   982319 |   472882 |    47051     21 |     3681 |        0
555.41/555.56	c  554s |      19 |   986698 |   474682 |    47051     21 |     3681 |        0
557.61/557.70	c  556s |      19 |   990998 |   476382 |    47051     21 |     3681 |        0
559.61/559.75	c  558s |      19 |   995446 |   478182 |    47051     21 |     3681 |        0
561.71/561.81	c  560s |      19 |   999193 |   479782 |    47051     21 |     3681 |        0
563.71/563.81	c  562s |      19 |  1002249 |   481282 |    47051     22 |     3681 |        0
565.71/565.84	c  564s |      19 |  1003867 |   482382 |    47051     22 |     3681 |        0
567.81/567.92	c  566s |      19 |  1009030 |   484382 |    47051     22 |     3681 |        0
571.20/571.31	c  569s |      19 |  1011705 |   485382 |    47051     22 |     3681 |        0
573.21/573.33	c  571s |      19 |  1015394 |   487182 |    47051     22 |     3681 |        0
575.20/575.37	c  573s |      19 |  1020771 |   489382 |    47051     22 |     3681 |        0
577.30/577.43	c  575s |      19 |  1024744 |   491582 |    47051     22 |     3681 |        0
579.30/579.49	c  577s |      19 |  1028799 |   493782 |    47051     22 |     3681 |        0
581.40/581.54	c  580s |      19 |  1032749 |   495882 |    47051     22 |     3681 |        0
583.50/583.65	c  582s |      19 |  1037223 |   497882 |    47051     22 |     3681 |        0
585.60/585.73	c  584s |      19 |  1040789 |   499782 |    47051     22 |     3681 |        0
587.61/587.77	c  586s |      19 |  1044362 |   501582 |    47051     22 |     3681 |        0
589.70/589.80	c  588s |      19 |  1048044 |   503482 |    47051     22 |     3681 |        0
591.70/591.89	c  590s |      19 |  1051625 |   505482 |    47051     22 |     3681 |        0
594.50/594.65	c  593s |      19 |  1054092 |   506982 |    47051     23 |     3681 |        0
596.50/596.66	c  595s |      19 |  1057745 |   508782 |    47051     23 |     3681 |        0
598.60/598.71	c  597s |      19 |  1062732 |   511182 |    47051     23 |     3681 |        0
600.60/600.73	c  599s |      19 |  1067137 |   513482 |    47051     23 |     3681 |        0
602.70/602.89	c  601s |      19 |  1071778 |   515582 |    47051     23 |     3681 |        0
604.80/604.96	c  603s |      19 |  1075278 |   517282 |    47051     23 |     3681 |        0
617.10/617.29	c  615s |      19 |  1077774 |   518882 |    47051     23 |     3681 |        0
619.20/619.31	c  617s |      19 |  1081767 |   520382 |    47051     23 |     3681 |        0
621.20/621.34	c  619s |      19 |  1086334 |   522482 |    47051     23 |     3681 |        0
623.20/623.39	c  621s |      19 |  1090730 |   524682 |    47051     23 |     3681 |        0
625.30/625.42	c  623s |      19 |  1095474 |   526782 |    47051     23 |     3681 |        0
627.30/627.46	c  625s |      19 |  1099260 |   528682 |    47051     23 |     3681 |        0
629.40/629.51	c  628s |      19 |  1103157 |   530482 |    47051     23 |     3681 |        0
634.49/634.67	c  633s |      19 |  1105997 |   532182 |    47051     24 |     3681 |        0
636.59/636.74	c  635s |      19 |  1108848 |   533882 |    47051     24 |     3681 |        0
638.69/638.80	c  637s |      19 |  1113521 |   536382 |    47051     24 |     3681 |        0
640.69/640.83	c  639s |      19 |  1117841 |   538382 |    47051     24 |     3681 |        0
644.39/644.58	c  643s |      19 |  1122735 |   540382 |    47051     24 |     3681 |        0
646.39/646.59	c  645s |      19 |  1128505 |   543082 |    47051     24 |     3681 |        0
648.49/648.64	c  647s |      19 |  1132941 |   545482 |    47051     24 |     3681 |        0
650.49/650.65	c  649s |      19 |  1138551 |   547482 |    47051     24 |     3681 |        0
652.50/652.67	c  651s |      19 |  1141616 |   548882 |    47051     24 |     3681 |        0
654.60/654.76	c  653s |      19 |  1145417 |   550882 |    47051     24 |     3681 |        0
656.59/656.79	c  655s |      19 |  1149516 |   552782 |    47051     24 |     3681 |        0
658.69/658.86	c  657s |      19 |  1153057 |   554582 |    47051     24 |     3681 |        0
660.69/660.89	c  659s |      19 |  1156528 |   556282 |    47051     24 |     3681 |        0
663.50/663.62	c  662s |      19 |  1158876 |   557682 |    47051     25 |     3681 |        0
665.49/665.66	c  664s |      19 |  1162597 |   559482 |    47051     25 |     3681 |        0
667.59/667.70	c  666s |      19 |  1167289 |   561482 |    47051     25 |     3681 |        0
676.29/676.49	c  675s |      19 |  1168566 |   562082 |    47051     25 |     3681 |        0
678.39/678.54	c  677s |      19 |  1173407 |   564582 |    47051     25 |     3681 |        0
680.49/680.60	c  679s |      19 |  1178527 |   566682 |    47051     25 |     3681 |        0
682.49/682.65	c  681s |      19 |  1182737 |   568582 |    47051     25 |     3681 |        0
684.49/684.69	c  683s |      19 |  1187018 |   571082 |    47051     25 |     3681 |        0
686.49/686.69	c  685s |      19 |  1191130 |   572982 |    47051     25 |     3681 |        0
688.59/688.74	c  687s |      19 |  1194668 |   574882 |    47051     25 |     3681 |        0
690.69/690.89	c  689s |      19 |  1198722 |   576682 |    47051     25 |     3681 |        0
692.79/692.92	c  691s |      19 |  1202569 |   578382 |    47051     25 |     3681 |        0
694.79/694.98	c  693s |      19 |  1205981 |   579982 |    47051     25 |     3681 |        0
696.89/697.08	c  695s |      19 |  1209511 |   581682 |    47051     25 |     3681 |        0
700.89/701.06	c  699s |      19 |  1212447 |   583282 |    47051     26 |     3681 |        0
702.99/703.15	c  701s |      19 |  1216530 |   585482 |    47051     26 |     3681 |        0
704.98/705.16	c  703s |      19 |  1220962 |   587582 |    47051     26 |     3681 |        0
707.08/707.23	c  705s |      19 |  1225608 |   589782 |    47051     26 |     3681 |        0
709.08/709.23	c  707s |      19 |  1230228 |   591982 |    47051     26 |     3681 |        0
711.17/711.35	c  709s |      19 |  1235240 |   594382 |    47051     26 |     3681 |        0
713.17/713.38	c  711s |      19 |  1239157 |   596582 |    47051     26 |     3681 |        0
715.27/715.41	c  713s |      19 |  1241948 |   597782 |    47051     26 |     3681 |        0
717.28/717.43	c  715s |      19 |  1247623 |   600382 |    47051     26 |     3681 |        0
719.27/719.49	c  718s |      19 |  1252209 |   602382 |    47051     26 |     3681 |        0
721.37/721.54	c  720s |      19 |  1255516 |   603882 |    47051     26 |     3681 |        0
723.37/723.57	c  722s |      19 |  1258816 |   605482 |    47051     26 |     3681 |        0
725.37/725.59	c  724s |      19 |  1262254 |   607482 |    47051     26 |     3681 |        0
727.57/727.72	c  726s |      19 |  1264697 |   608682 |    47051     27 |     3681 |        0
729.57/729.74	c  728s |      19 |  1268240 |   610282 |    47051     27 |     3681 |        0
731.57/731.80	c  730s |      19 |  1274567 |   613082 |    47051     27 |     3681 |        0
733.67/733.81	c  732s |      19 |  1279922 |   615582 |    47051     27 |     3681 |        0
735.67/735.85	c  734s |      19 |  1284562 |   618382 |    47051     27 |     3681 |        0
737.76/737.93	c  736s |      19 |  1288603 |   620782 |    47051     27 |     3681 |        0
739.76/739.99	c  738s |      19 |  1292436 |   622982 |    47051     27 |     3681 |        0
742.07/742.22	c  740s |      19 |  1295318 |   624482 |    47051     27 |     3681 |        0
744.07/744.25	c  742s |      19 |  1298721 |   626382 |    47051     27 |     3681 |        0
746.07/746.27	c  744s |      19 |  1302622 |   628082 |    47051     27 |     3681 |        0
748.18/748.31	c  746s |      19 |  1306428 |   629782 |    47051     27 |     3681 |        0
750.17/750.40	c  748s |      19 |  1310223 |   631182 |    47051     27 |     3681 |        0
752.27/752.48	c  750s |      19 |  1314095 |   632882 |    47051     27 |     3681 |        0
754.47/754.69	c  753s |      19 |  1316741 |   634282 |    47051     28 |     3681 |        0
756.56/756.72	c  755s |      19 |  1320116 |   636182 |    47051     28 |     3681 |        0
758.66/758.87	c  757s |      19 |  1323989 |   637882 |    47051     28 |     3681 |        0
760.66/760.89	c  759s |      19 |  1328147 |   639882 |    47051     28 |     3681 |        0
762.76/762.99	c  761s |      19 |  1332217 |   641782 |    47051     28 |     3681 |        0
765.66/765.86	c  764s |      19 |  1334595 |   642882 |    47051     28 |     3681 |        0
767.66/767.90	c  766s |      19 |  1337578 |   644282 |    47051     28 |     3681 |        0
769.86/770.00	c  768s |      19 |  1341540 |   646282 |    47051     28 |     3681 |        0
771.85/772.08	c  770s |      19 |  1345127 |   647782 |    47051     28 |     3681 |        0
773.85/774.08	c  772s |      19 |  1348142 |   649382 |    47051     28 |     3681 |        0
775.95/776.13	c  774s |      19 |  1350788 |   650782 |    47051     28 |     3681 |        0
777.95/778.17	c  776s |      19 |  1353274 |   652082 |    47051     28 |     3681 |        0
780.05/780.24	c  778s |      19 |  1356116 |   653882 |    47051     28 |     3681 |        0
782.05/782.28	c  780s |      19 |  1358815 |   655182 |    47051     28 |     3681 |        0
784.15/784.35	c  782s |      19 |  1361549 |   656382 |    47051     28 |     3681 |        0
786.14/786.39	c  784s |      19 |  1364185 |   657582 |    47051     28 |     3681 |        0
788.24/788.49	c  786s |      19 |  1366852 |   658882 |    47051     28 |     3681 |        0
790.54/790.71	c  789s |      19 |  1369176 |   659682 |    47051     29 |     3681 |        0
792.54/792.73	c  791s |      19 |  1372586 |   661482 |    47051     29 |     3681 |        0
794.54/794.76	c  793s |      19 |  1376132 |   663182 |    51757     29 |     3681 |        0
796.64/796.80	c  795s |      19 |  1380939 |   665182 |    51757     29 |     3681 |        0
798.44/798.60	c  797s |      20 |  1384497 |   666827 |    51757     29 |     3681 |        0
802.64/802.82	c  801s |      20 |  1384742 |   666927 |    51757     29 |     3681 |        0
804.74/804.91	c  803s |      20 |  1388857 |   668827 |    51757     29 |     3681 |        0
834.33/834.57	c  833s |      20 |  1391806 |   670527 |    51757     29 |     3681 |        0
836.43/836.63	c  835s |      20 |  1396643 |   673127 |    51757     29 |     3681 |        0
838.43/838.67	c  837s |      20 |  1399964 |   674727 |    51757     29 |     3681 |        0
840.54/840.76	c  839s |      20 |  1403513 |   676827 |    51757     29 |     3681 |        0
842.53/842.80	c  841s |      20 |  1407201 |   679027 |    51757     29 |     3681 |        0
844.63/844.85	c  843s |      20 |  1410591 |   681027 |    51757     29 |     3681 |        0
846.73/846.94	c  845s |      20 |  1414671 |   683427 |    51757     29 |     3681 |        0
848.73/848.99	c  847s |      20 |  1418636 |   685227 |    51757     29 |     3681 |        0
850.83/851.07	c  849s |      20 |  1421875 |   687227 |    51757     29 |     3681 |        0
852.83/853.08	c  851s |      20 |  1423941 |   688627 |    51757     29 |     3681 |        0
857.73/857.93	c  856s |      20 |  1426089 |   689927 |    51757     30 |     3681 |        0
859.72/859.97	c  858s |      20 |  1428441 |   691427 |    51757     30 |     3681 |        0
866.53/866.79	c  865s |      20 |  1431612 |   693727 |    51757     30 |     3681 |        0
868.63/868.83	c  867s |      20 |  1434031 |   694927 |    51757     30 |     3681 |        0
870.63/870.84	c  869s |      20 |  1438050 |   696627 |    51757     30 |     3681 |        0
872.63/872.88	c  871s |      20 |  1442246 |   698527 |    51757     30 |     3681 |        0
874.73/874.97	c  873s |      20 |  1446063 |   700527 |    51757     30 |     3681 |        0
876.73/877.00	c  875s |      20 |  1448812 |   702427 |    51757     30 |     3681 |        0
878.83/879.08	c  877s |      20 |  1451625 |   704327 |    51757     30 |     3681 |        0
880.93/881.13	c  879s |      20 |  1454132 |   706027 |    51757     30 |     3681 |        0
882.92/883.19	c  881s |      20 |  1456883 |   708027 |    51757     30 |     3681 |        0
885.02/885.24	c  883s |      20 |  1459380 |   709627 |    51757     30 |     3681 |        0
887.02/887.29	c  885s |      20 |  1462288 |   711327 |    51757     30 |     3681 |        0
889.22/889.44	c  887s |      20 |  1464806 |   712527 |    51757     30 |     3681 |        0
891.32/891.52	c  890s |      20 |  1467487 |   714027 |    51757     30 |     3681 |        0
893.33/893.60	c  892s |      20 |  1470005 |   715527 |    51757     30 |     3681 |        0
895.42/895.63	c  894s |      20 |  1473095 |   716827 |    51757     30 |     3681 |        0
897.51/897.72	c  896s |      20 |  1474772 |   717727 |    51757     31 |     3681 |        0
899.61/899.80	c  898s |      20 |  1475995 |   718527 |    51757     31 |     3681 |        0
901.71/901.94	c  900s |      20 |  1478492 |   720027 |    51757     31 |     3681 |        0
903.71/903.99	c  902s |      20 |  1481060 |   721727 |    51757     31 |     3681 |        0
905.81/906.00	c  904s |      20 |  1484381 |   723627 |    51757     31 |     3681 |        0
907.81/908.04	c  906s |      20 |  1486994 |   725327 |    51757     31 |     3681 |        0
909.91/910.10	c  908s |      20 |  1489023 |   726527 |    51757     31 |     3681 |        0
913.81/914.06	c  912s |      20 |  1491007 |   727527 |    51757     31 |     3681 |        0
915.81/916.06	c  914s |      20 |  1493955 |   729227 |    51757     31 |     3681 |        0
917.91/918.10	c  916s |      20 |  1496519 |   731027 |    51757     31 |     3681 |        0
921.21/921.48	c  919s |      20 |  1499147 |   732627 |    51757     31 |     3681 |        0
938.60/938.82	c  937s |      20 |  1499394 |   732727 |    51757     31 |     3681 |        0
940.70/940.90	c  939s |      20 |  1502855 |   734627 |    51757     31 |     3681 |        0
942.71/942.92	c  941s |      20 |  1506030 |   736427 |    51757     31 |     3681 |        0
944.70/944.93	c  943s |      20 |  1509206 |   738227 |    51757     31 |     3681 |        0
946.80/947.06	c  945s |      20 |  1512179 |   739927 |    51757     31 |     3681 |        0
948.80/949.09	c  947s |      20 |  1514899 |   741227 |    51757     31 |     3681 |        0
950.90/951.12	c  949s |      20 |  1517878 |   742627 |    51757     31 |     3681 |        0
952.90/953.16	c  951s |      20 |  1520724 |   743927 |    51757     31 |     3681 |        0
955.00/955.20	c  953s |      20 |  1523690 |   745327 |    51757     31 |     3681 |        0
957.59/957.85	c  956s |      20 |  1524374 |   745627 |    51757     32 |     3681 |        0
959.69/959.92	c  958s |      20 |  1527115 |   747027 |    51757     32 |     3681 |        0
961.90/962.17	c  960s |      20 |  1530206 |   748927 |    51757     32 |     3681 |        0
964.00/964.25	c  962s |      20 |  1534094 |   750827 |    51757     32 |     3681 |        0
966.09/966.30	c  964s |      20 |  1538250 |   752927 |    51757     32 |     3681 |        0
968.19/968.42	c  966s |      20 |  1541667 |   755227 |    51757     32 |     3681 |        0
970.20/970.44	c  968s |      20 |  1544948 |   757027 |    51757     32 |     3681 |        0
972.19/972.45	c  970s |      20 |  1548672 |   759227 |    51757     32 |     3681 |        0
974.19/974.48	c  972s |      20 |  1552005 |   761227 |    51757     32 |     3681 |        0
976.29/976.56	c  975s |      20 |  1555597 |   763027 |    51757     32 |     3681 |        0
978.39/978.65	c  977s |      20 |  1558956 |   764827 |    51757     32 |     3681 |        0
980.49/980.70	c  979s |      20 |  1562290 |   766427 |    51757     32 |     3681 |        0
982.49/982.70	c  981s |      20 |  1565350 |   768127 |    51757     32 |     3681 |        0
984.60/984.83	c  983s |      20 |  1568124 |   769827 |    51757     32 |     3681 |        0
986.69/986.97	c  985s |      20 |  1570574 |   771227 |    51757     32 |     3681 |        0
988.78/989.08	c  987s |      20 |  1573354 |   772627 |    51757     32 |     3681 |        0
991.28/991.55	c  990s |      20 |  1574827 |   773627 |    51757     33 |     3681 |        0
993.29/993.58	c  992s |      20 |  1578889 |   776027 |    51757     33 |     3681 |        0
995.38/995.63	c  994s |      20 |  1581954 |   777827 |    51757     33 |     3681 |        0
997.48/997.72	c  996s |      20 |  1585585 |   779827 |    51757     33 |     3681 |        0
999.58/999.81	c  998s |      20 |  1588435 |   781327 |    51757     33 |     3681 |        0
1001.58/1001.88	c 1000s |      20 |  1592209 |   783427 |    51757     33 |     3681 |        0
1003.68/1003.96	c 1002s |      20 |  1595011 |   785227 |    51757     33 |     3681 |        0
1005.68/1005.99	c 1004s |      20 |  1598242 |   787027 |    51757     33 |     3681 |        0
1007.78/1008.08	c 1006s |      20 |  1601568 |   789027 |    51757     33 |     3681 |        0
1009.88/1010.11	c 1008s |      20 |  1604228 |   791027 |    51757     33 |     3681 |        0
1011.88/1012.13	c 1010s |      20 |  1606758 |   792327 |    51757     33 |     3681 |        0
1026.28/1026.51	c 1025s |      20 |  1607561 |   792627 |    51757     33 |     3681 |        0
1028.27/1028.53	c 1027s |      20 |  1609685 |   794027 |    51757     33 |     3681 |        0
1030.37/1030.68	c 1029s |      20 |  1612048 |   795327 |    51757     33 |     3681 |        0
1032.37/1032.68	c 1031s |      20 |  1614887 |   796827 |    51757     33 |     3681 |        0
1034.37/1034.68	c 1033s |      20 |  1617212 |   798227 |    51757     33 |     3681 |        0
1036.47/1036.73	c 1035s |      20 |  1619860 |   799727 |    51757     33 |     3681 |        0
1038.47/1038.74	c 1037s |      20 |  1622173 |   801027 |    51757     33 |     3681 |        0
1040.57/1040.82	c 1039s |      20 |  1623326 |   801627 |    51757     34 |     3681 |        0
1042.57/1042.82	c 1041s |      20 |  1626893 |   803527 |    51757     34 |     3681 |        0
1044.57/1044.89	c 1043s |      20 |  1631121 |   805827 |    51757     34 |     3681 |        0
1046.66/1046.93	c 1045s |      20 |  1634397 |   807727 |    51757     34 |     3681 |        0
1073.56/1073.87	c 1072s |      20 |  1637510 |   809527 |    51757     34 |     3681 |        0
1075.66/1076.00	c 1074s |      20 |  1639548 |   811127 |    51757     34 |     3681 |        0
1077.75/1078.04	c 1076s |      20 |  1641787 |   812927 |    51757     34 |     3681 |        0
1079.75/1080.05	c 1078s |      20 |  1644077 |   814627 |    51757     34 |     3681 |        0
1081.85/1082.14	c 1080s |      20 |  1646772 |   816627 |    51757     34 |     3681 |        0
1083.85/1084.16	c 1082s |      20 |  1649574 |   818627 |    51757     34 |     3681 |        0
1085.95/1086.20	c 1084s |      20 |  1652091 |   820627 |    51757     34 |     3681 |        0
1087.96/1088.26	c 1086s |      20 |  1653911 |   821927 |    51757     34 |     3681 |        0
1090.06/1090.37	c 1088s |      20 |  1655835 |   823427 |    51757     34 |     3681 |        0
1092.15/1092.41	c 1090s |      20 |  1657899 |   824927 |    51757     34 |     3681 |        0
1094.25/1094.59	c 1093s |      20 |  1660215 |   826627 |    51757     34 |     3681 |        0
1096.25/1096.59	c 1095s |      20 |  1662064 |   827727 |    51757     34 |     3681 |        0
1100.15/1100.49	c 1098s |      20 |  1664198 |   829127 |    51757     35 |     3681 |        0
1102.26/1102.53	c 1101s |      20 |  1666272 |   830527 |    51757     35 |     3681 |        0
1104.25/1104.56	c 1103s |      20 |  1668113 |   831727 |    51757     35 |     3681 |        0
1106.25/1106.57	c 1105s |      20 |  1671836 |   833927 |    51757     35 |     3681 |        0
1108.45/1108.72	c 1107s |      20 |  1675524 |   836127 |    51757     35 |     3681 |        0
1110.45/1110.78	c 1109s |      20 |  1677761 |   837627 |    51757     35 |     3681 |        0
1112.54/1112.87	c 1111s |      20 |  1680328 |   839227 |    51757     35 |     3681 |        0
1114.54/1114.88	c 1113s |      20 |  1682725 |   840727 |    51757     35 |     3681 |        0
1116.84/1117.10	c 1115s |      20 |  1684335 |   841927 |    51757     35 |     3681 |        0
1118.84/1119.13	c 1117s |      20 |  1686406 |   843027 |    51757     35 |     3681 |        0
1120.85/1121.18	c 1119s |      20 |  1687492 |   843727 |    51757     35 |     3681 |        0
1122.94/1123.29	c 1121s |      20 |  1689366 |   844827 |    51757     35 |     3681 |        0
1125.04/1125.34	c 1123s |      20 |  1691530 |   846227 |    51757     35 |     3681 |        0
1127.14/1127.45	c 1125s |      20 |  1694033 |   847827 |    51757     35 |     3681 |        0
1129.14/1129.47	c 1127s |      20 |  1696135 |   849227 |    51757     35 |     3681 |        0
1131.24/1131.57	c 1130s |      20 |  1698402 |   850627 |    51757     35 |     3681 |        0
1133.64/1133.92	c 1132s |      20 |  1700008 |   851727 |    51757     35 |     3681 |        0
1135.64/1135.99	c 1134s |      20 |  1702012 |   852827 |    51757     35 |     3681 |        0
1137.74/1138.01	c 1136s |      20 |  1704295 |   854127 |    51757     35 |     3681 |        0
1139.74/1140.03	c 1138s |      20 |  1706231 |   855327 |    51757     35 |     3681 |        0
1141.74/1142.05	c 1140s |      20 |  1708291 |   856627 |    51757     35 |     3681 |        0
1143.94/1144.30	c 1142s |      20 |  1708901 |   856927 |    51757     36 |     3681 |        0
1147.83/1148.15	c 1146s |      20 |  1709767 |   857427 |    51757     36 |     3681 |        0
1149.84/1150.18	c 1148s |      20 |  1711053 |   858227 |    51757     36 |     3681 |        0
1151.84/1152.19	c 1150s |      20 |  1714505 |   860127 |    51757     36 |     3681 |        0
1153.94/1154.21	c 1152s |      20 |  1715784 |   860727 |    51757     36 |     3681 |        0
1155.94/1156.24	c 1154s |      20 |  1720025 |   862727 |    51757     36 |     3681 |        0
1157.94/1158.26	c 1156s |      20 |  1723222 |   864727 |    51757     36 |     3681 |        0
1159.93/1160.27	c 1158s |      20 |  1726329 |   866627 |    51757     36 |     3681 |        0
1162.03/1162.35	c 1160s |      20 |  1729441 |   868427 |    51757     36 |     3681 |        0
1164.03/1164.38	c 1162s |      20 |  1731428 |   869327 |    51757     36 |     3681 |        0
1166.13/1166.45	c 1164s |      20 |  1734822 |   871127 |    51757     36 |     3681 |        0
1168.24/1168.54	c 1167s |      20 |  1737303 |   872627 |    51757     36 |     3681 |        0
1170.23/1170.56	c 1169s |      20 |  1740627 |   874227 |    51757     36 |     3681 |        0
1172.23/1172.57	c 1171s |      20 |  1743956 |   875827 |    51757     36 |     3681 |        0
1174.33/1174.65	c 1173s |      20 |  1747015 |   877527 |    51757     36 |     3681 |        0
1176.43/1176.74	c 1175s |      20 |  1749509 |   879127 |    51757     36 |     3681 |        0
1178.53/1178.84	c 1177s |      20 |  1752134 |   880827 |    51757     36 |     3681 |        0
1180.63/1180.94	c 1179s |      20 |  1754963 |   882527 |    51757     36 |     3681 |        0
1182.73/1183.07	c 1181s |      20 |  1757533 |   884027 |    51757     36 |     3681 |        0
1204.62/1204.96	c 1203s |      20 |  1758250 |   884427 |    51757     36 |     3681 |        0
1207.02/1207.38	c 1205s |      20 |  1759301 |   884827 |    51757     37 |     3681 |        0
1209.12/1209.45	c 1207s |      20 |  1761399 |   885627 |    51757     37 |     3681 |        0
1211.12/1211.46	c 1209s |      20 |  1764716 |   887027 |    51757     37 |     3681 |        0
1213.22/1213.52	c 1212s |      20 |  1767897 |   888727 |    51757     37 |     3681 |        0
1218.02/1218.34	c 1216s |      20 |  1769608 |   889627 |    51757     37 |     3681 |        0
1220.02/1220.39	c 1218s |      20 |  1773112 |   891727 |    51757     37 |     3681 |        0
1222.13/1222.46	c 1220s |      20 |  1777690 |   893527 |    51757     37 |     3681 |        0
1224.23/1224.51	c 1223s |      20 |  1782673 |   895527 |    51757     37 |     3681 |        0
1226.32/1226.61	c 1225s |      20 |  1786721 |   897727 |    51757     37 |     3681 |        0
1228.32/1228.66	c 1227s |      20 |  1790601 |   899727 |    51757     37 |     3681 |        0
1230.52/1230.82	c 1229s |      20 |  1793582 |   901427 |    51757     37 |     3681 |        0
1232.62/1232.92	c 1231s |      20 |  1796902 |   903127 |    51757     37 |     3681 |        0
1234.61/1234.98	c 1233s |      20 |  1800570 |   904927 |    51757     37 |     3681 |        0
1236.71/1237.06	c 1235s |      20 |  1804062 |   906727 |    51757     37 |     3681 |        0
1238.81/1239.10	c 1237s |      20 |  1806719 |   908227 |    51757     37 |     3681 |        0
1240.82/1241.14	c 1239s |      20 |  1809610 |   909927 |    51757     37 |     3681 |        0
1242.92/1243.20	c 1241s |      20 |  1812858 |   911627 |    51757     37 |     3681 |        0
1245.81/1246.10	c 1244s |      20 |  1814839 |   912727 |    51757     38 |     3681 |        0
1247.81/1248.13	c 1246s |      20 |  1819505 |   914927 |    51757     38 |     3681 |        0
1249.90/1250.21	c 1248s |      20 |  1824750 |   917827 |    51757     38 |     3681 |        0
1251.90/1252.26	c 1250s |      20 |  1829393 |   920427 |    51757     38 |     3681 |        0
1253.91/1254.29	c 1252s |      20 |  1833212 |   922527 |    51757     38 |     3681 |        0
1255.90/1256.29	c 1254s |      20 |  1837190 |   924727 |    51757     38 |     3681 |        0
1258.00/1258.32	c 1256s |      20 |  1841132 |   926827 |    51757     38 |     3681 |        0
1260.10/1260.41	c 1258s |      20 |  1844353 |   928727 |    51757     38 |     3681 |        0
1262.10/1262.42	c 1260s |      20 |  1847306 |   930527 |    51757     38 |     3681 |        0
1267.91/1268.24	c 1266s |      20 |  1848921 |   931527 |    51757     38 |     3681 |        0
1269.91/1270.26	c 1268s |      20 |  1850998 |   932827 |    51757     38 |     3681 |        0
1272.00/1272.39	c 1270s |      20 |  1853728 |   934627 |    51757     38 |     3681 |        0
1274.20/1274.51	c 1273s |      20 |  1856435 |   936427 |    51757     38 |     3681 |        0
1276.20/1276.56	c 1275s |      20 |  1859633 |   938127 |    51757     38 |     3681 |        0
1278.30/1278.62	c 1277s |      20 |  1861989 |   939627 |    51757     38 |     3681 |        0
1282.10/1282.43	c 1280s |      20 |  1863280 |   940527 |    51757     39 |     3681 |        0
1284.10/1284.47	c 1282s |      20 |  1865135 |   941727 |    51757     39 |     3681 |        0
1286.20/1286.51	c 1285s |      20 |  1868801 |   944227 |    51757     39 |     3681 |        0
1288.20/1288.52	c 1287s |      20 |  1872984 |   946427 |    51757     39 |     3681 |        0
1290.30/1290.61	c 1289s |      20 |  1877507 |   948627 |    51757     39 |     3681 |        0
1292.30/1292.69	c 1291s |      20 |  1881091 |   950927 |    51757     39 |     3681 |        0
1294.29/1294.70	c 1293s |      20 |  1884617 |   952727 |    51757     39 |     3681 |        0
1296.39/1296.77	c 1295s |      20 |  1887864 |   954627 |    51757     39 |     3681 |        0
1298.49/1298.82	c 1297s |      20 |  1890929 |   956327 |    51757     39 |     3681 |        0
1300.49/1300.83	c 1299s |      20 |  1893878 |   958027 |    51757     39 |     3681 |        0
1302.59/1302.95	c 1301s |      20 |  1896715 |   959727 |    51757     39 |     3681 |        0
1305.40/1305.76	c 1304s |      20 |  1897736 |   960427 |    51757     39 |     3681 |        0
1307.40/1307.78	c 1306s |      20 |  1900421 |   962127 |    51757     39 |     3681 |        0
1309.50/1309.82	c 1308s |      20 |  1903414 |   963727 |    51757     39 |     3681 |        0
1311.50/1311.84	c 1310s |      20 |  1906168 |   965327 |    51757     39 |     3681 |        0
1313.50/1313.86	c 1312s |      20 |  1908758 |   966827 |    51757     39 |     3681 |        0
1315.50/1315.90	c 1314s |      20 |  1911337 |   968227 |    51757     39 |     3681 |        0
1320.09/1320.46	c 1318s |      20 |  1913567 |   969627 |    51757     40 |     3681 |        0
1322.20/1322.53	c 1321s |      20 |  1916663 |   971527 |    51757     40 |     3681 |        0
1324.19/1324.58	c 1323s |      20 |  1920304 |   973727 |    51757     40 |     3681 |        0
1335.40/1335.73	c 1334s |      20 |  1921409 |   974427 |    51757     40 |     3681 |        0
1337.39/1337.77	c 1336s |      20 |  1923919 |   975927 |    51757     40 |     3681 |        0
1339.39/1339.79	c 1338s |      20 |  1927164 |   977927 |    51757     40 |     3681 |        0
1341.49/1341.87	c 1340s |      20 |  1931390 |   980327 |    51757     40 |     3681 |        0
1343.59/1343.92	c 1342s |      20 |  1934388 |   981927 |    51757     40 |     3681 |        0
1345.59/1345.93	c 1344s |      20 |  1938036 |   983927 |    51757     40 |     3681 |        0
1347.59/1347.99	c 1346s |      20 |  1940996 |   985427 |    51757     40 |     3681 |        0
1349.59/1350.00	c 1348s |      20 |  1943995 |   986927 |    51757     40 |     3681 |        0
1351.98/1352.31	c 1350s |      20 |  1947156 |   988727 |    51757     40 |     3681 |        0
1353.99/1354.39	c 1352s |      20 |  1949554 |   990227 |    51757     40 |     3681 |        0
1356.08/1356.50	c 1355s |      20 |  1953024 |   992127 |    51757     40 |     3681 |        0
1358.18/1358.59	c 1357s |      20 |  1955844 |   994027 |    56933     40 |     3681 |        0
1360.18/1360.59	c 1359s |      20 |  1958335 |   995627 |    56933     40 |     3681 |        0
1362.38/1362.71	c 1361s |      20 |  1959964 |   996727 |    56933     40 |     3681 |        0
1364.48/1364.83	c 1363s |      20 |  1963233 |   998327 |    56933     40 |     3681 |        0
1366.48/1366.84	c 1365s |      20 |  1966146 |   999827 |    56933     40 |     3681 |        0
1367.38/1367.74	c 1366s |      21 |  1967494 |  1000345 |    56933     40 |     3681 |        0
1373.47/1373.82	c 1372s |      21 |  1967782 |  1000445 |    56933     40 |     3681 |        0
1375.77/1376.12	c 1374s |      21 |  1969378 |  1001445 |    56933     41 |     3681 |        0
1378.07/1378.41	c 1376s |      21 |  1969875 |  1001645 |    56933     41 |     3681 |        0
1387.37/1387.75	c 1386s |      21 |  1970123 |  1001745 |    56933     41 |     3681 |        0
1389.37/1389.76	c 1388s |      21 |  1973767 |  1003745 |    56933     41 |     3681 |        0
1392.17/1392.54	c 1391s |      21 |  1975450 |  1004745 |    56933     41 |     3681 |        0
1394.17/1394.55	c 1393s |      21 |  1979512 |  1006845 |    56933     41 |     3681 |        0
1396.27/1396.63	c 1395s |      21 |  1983375 |  1008845 |    56933     41 |     3681 |        0
1398.27/1398.64	c 1397s |      21 |  1986880 |  1010945 |    56933     41 |     3681 |        0
1410.08/1410.44	c 1408s |      21 |  1989536 |  1012445 |    56933     41 |     3681 |        0
1412.17/1412.56	c 1411s |      21 |  1992665 |  1014045 |    56933     41 |     3681 |        0
1414.27/1414.60	c 1413s |      21 |  1995849 |  1015845 |    56933     41 |     3681 |        0
1416.27/1416.65	c 1415s |      21 |  1999074 |  1017745 |    56933     41 |     3681 |        0
1418.37/1418.71	c 1417s |      21 |  2002481 |  1019645 |    56933     41 |     3681 |        0
1420.37/1420.71	c 1419s |      21 |  2005343 |  1021445 |    56933     41 |     3681 |        0
1422.47/1422.80	c 1421s |      21 |  2007573 |  1022945 |    56933     41 |     3681 |        0
1424.47/1424.84	c 1423s |      21 |  2010855 |  1024445 |    56933     41 |     3681 |        0
1426.57/1426.92	c 1425s |      21 |  2014102 |  1026145 |    56933     41 |     3681 |        0
1428.57/1428.95	c 1427s |      21 |  2016855 |  1027645 |    56933     41 |     3681 |        0
1430.67/1431.03	c 1429s |      21 |  2019654 |  1029145 |    56933     41 |     3681 |        0
1432.77/1433.10	c 1431s |      21 |  2021993 |  1030445 |    56933     41 |     3681 |        0
1435.77/1436.13	c 1434s |      21 |  2024577 |  1031845 |    56933     42 |     3681 |        0
1437.77/1438.16	c 1436s |      21 |  2028021 |  1033945 |    56933     42 |     3681 |        0
1443.26/1443.61	c 1442s |      21 |  2029244 |  1034645 |    56933     42 |     3681 |        0
1445.27/1445.67	c 1444s |      21 |  2032988 |  1036745 |    56933     42 |     3681 |        0
1447.26/1447.70	c 1446s |      21 |  2035891 |  1038345 |    56933     42 |     3681 |        0
1449.36/1449.70	c 1448s |      21 |  2038567 |  1040145 |    56933     42 |     3681 |        0
1451.36/1451.78	c 1450s |      21 |  2041289 |  1041945 |    56933     42 |     3681 |        0
1453.36/1453.79	c 1452s |      21 |  2043991 |  1043545 |    56933     42 |     3681 |        0
1456.46/1456.83	c 1455s |      21 |  2044750 |  1044045 |    56933     42 |     3681 |        0
1458.47/1458.85	c 1457s |      21 |  2047311 |  1045445 |    56933     42 |     3681 |        0
1463.96/1464.39	c 1462s |      21 |  2048182 |  1045845 |    56933     42 |     3681 |        0
1496.45/1496.89	c 1495s |      21 |  2048403 |  1045945 |    56933     42 |     3681 |        0
1498.55/1498.93	c 1497s |      21 |  2050602 |  1047245 |    56933     42 |     3681 |        0
1500.65/1501.09	c 1499s |      21 |  2053436 |  1048945 |    56933     42 |     3681 |        0
1502.75/1503.16	c 1501s |      21 |  2055740 |  1050445 |    56933     42 |     3681 |        0
1504.76/1505.19	c 1503s |      21 |  2059449 |  1053345 |    56933     42 |     3681 |        0
1506.86/1507.24	c 1505s |      21 |  2061468 |  1054645 |    56933     42 |     3681 |        0
1508.95/1509.32	c 1507s |      21 |  2063456 |  1055845 |    56933     42 |     3681 |        0
1510.95/1511.36	c 1509s |      21 |  2065440 |  1056845 |    56933     42 |     3681 |        0
1513.15/1513.59	c 1512s |      21 |  2067243 |  1058045 |    56933     42 |     3681 |        0
1515.45/1515.81	c 1514s |      21 |  2068453 |  1058645 |    56933     42 |     3681 |        0
1517.45/1517.81	c 1516s |      21 |  2071996 |  1061245 |    56933     42 |     3681 |        0
1520.95/1521.35	c 1519s |      21 |  2073738 |  1062245 |    56933     43 |     3681 |        0
1524.05/1524.41	c 1522s |      21 |  2075403 |  1063145 |    56933     43 |     3681 |        0
1526.05/1526.49	c 1524s |      21 |  2078790 |  1064945 |    56933     43 |     3681 |        0
1528.35/1528.73	c 1527s |      21 |  2080961 |  1065945 |    56933     43 |     3681 |        0
1530.44/1530.87	c 1529s |      21 |  2085857 |  1067945 |    56933     43 |     3681 |        0
1532.54/1532.95	c 1531s |      21 |  2091139 |  1069945 |    56933     43 |     3681 |        0
1534.54/1534.98	c 1533s |      21 |  2095246 |  1071445 |    56933     43 |     3681 |        0
1536.65/1537.07	c 1535s |      21 |  2099804 |  1073345 |    56933     43 |     3681 |        0
1538.85/1539.26	c 1537s |      21 |  2103880 |  1075545 |    56933     43 |     3681 |        0
1540.84/1541.28	c 1539s |      21 |  2107466 |  1077545 |    56933     43 |     3681 |        0
1542.95/1543.31	c 1541s |      21 |  2110748 |  1079545 |    56933     43 |     3681 |        0
1544.95/1545.31	c 1543s |      21 |  2113989 |  1081445 |    56933     43 |     3681 |        0
1547.05/1547.41	c 1545s |      21 |  2116416 |  1082745 |    56933     43 |     3681 |        0
1549.15/1549.53	c 1548s |      21 |  2118299 |  1083745 |    56933     43 |     3681 |        0
1551.15/1551.56	c 1550s |      21 |  2120143 |  1084745 |    56933     43 |     3681 |        0
1553.35/1553.70	c 1552s |      21 |  2122008 |  1085845 |    56933     43 |     3681 |        0
1555.36/1555.78	c 1554s |      21 |  2125632 |  1087445 |    56933     43 |     3681 |        0
1557.45/1557.81	c 1556s |      21 |  2129166 |  1088845 |    56933     43 |     3681 |        0
1559.45/1559.82	c 1558s |      21 |  2132109 |  1090845 |    56933     43 |     3681 |        0
1561.55/1561.93	c 1560s |      21 |  2135158 |  1092645 |    56933     44 |     3681 |        0
1563.55/1563.97	c 1562s |      21 |  2137744 |  1094245 |    56933     44 |     3681 |        0
1565.55/1565.99	c 1564s |      21 |  2141509 |  1096545 |    56933     44 |     3681 |        0
1567.94/1568.36	c 1566s |      21 |  2144695 |  1098445 |    56933     44 |     3681 |        0
1570.04/1570.45	c 1568s |      21 |  2148618 |  1100445 |    56933     44 |     3681 |        0
1572.14/1572.53	c 1571s |      21 |  2151918 |  1102245 |    56933     44 |     3681 |        0
1574.14/1574.54	c 1573s |      21 |  2155272 |  1103745 |    56933     44 |     3681 |        0
1583.35/1583.76	c 1582s |      21 |  2156102 |  1104045 |    56933     44 |     3681 |        0
1585.45/1585.81	c 1584s |      21 |  2159831 |  1106245 |    56933     44 |     3681 |        0
1587.44/1587.89	c 1586s |      21 |  2163618 |  1107945 |    56933     44 |     3681 |        0
1589.54/1589.92	c 1588s |      21 |  2166290 |  1109645 |    56933     44 |     3681 |        0
1591.55/1591.96	c 1590s |      21 |  2169340 |  1111645 |    56933     44 |     3681 |        0
1593.54/1593.98	c 1592s |      21 |  2172474 |  1113345 |    56933     44 |     3681 |        0
1595.64/1596.00	c 1594s |      21 |  2175255 |  1115045 |    56933     44 |     3681 |        0
1597.64/1598.02	c 1596s |      21 |  2178339 |  1116745 |    56933     44 |     3681 |        0
1599.74/1600.12	c 1598s |      21 |  2181294 |  1118545 |    56933     44 |     3681 |        0
1603.93/1604.33	c 1602s |      21 |  2182974 |  1119545 |    56933     44 |     3681 |        0
1606.13/1606.54	c 1605s |      21 |  2184339 |  1120445 |    56933     44 |     3681 |        0
1608.33/1608.70	c 1607s |      21 |  2186282 |  1121445 |    56933     44 |     3681 |        0
1610.43/1610.83	c 1609s |      21 |  2188152 |  1122345 |    56933     44 |     3681 |        0
1612.64/1613.04	c 1611s |      21 |  2189803 |  1123345 |    56933     45 |     3681 |        0
1618.34/1618.79	c 1617s |      21 |  2191065 |  1124145 |    56933     45 |     3681 |        0
1620.44/1620.80	c 1619s |      21 |  2194090 |  1125345 |    56933     45 |     3681 |        0
1622.54/1622.91	c 1621s |      21 |  2198692 |  1127445 |    56933     45 |     3681 |        0
1624.64/1625.01	c 1623s |      21 |  2202902 |  1129445 |    56933     45 |     3681 |        0
1626.74/1627.12	c 1625s |      21 |  2206479 |  1131545 |    56933     45 |     3681 |        0
1628.83/1629.22	c 1627s |      21 |  2210426 |  1133345 |    56933     45 |     3681 |        0
1630.93/1631.31	c 1629s |      21 |  2213634 |  1135245 |    56933     45 |     3681 |        0
1632.93/1633.36	c 1631s |      21 |  2216651 |  1136745 |    56933     45 |     3681 |        0
1634.93/1635.36	c 1633s |      21 |  2220141 |  1138545 |    56933     45 |     3681 |        0
1636.93/1637.38	c 1635s |      21 |  2222529 |  1140045 |    56933     45 |     3681 |        0
1639.03/1639.49	c 1638s |      21 |  2225682 |  1141645 |    56933     45 |     3681 |        0
1641.14/1641.51	c 1640s |      21 |  2228448 |  1143245 |    56933     45 |     3681 |        0
1643.13/1643.58	c 1642s |      21 |  2232137 |  1144645 |    56933     45 |     3681 |        0
1645.23/1645.62	c 1644s |      21 |  2235195 |  1146245 |    56933     45 |     3681 |        0
1647.33/1647.70	c 1646s |      21 |  2237922 |  1147745 |    56933     45 |     3681 |        0
1649.33/1649.72	c 1648s |      21 |  2240575 |  1149045 |    56933     45 |     3681 |        0
1651.33/1651.80	c 1650s |      21 |  2243356 |  1150545 |    56933     45 |     3681 |        0
1653.43/1653.80	c 1652s |      21 |  2245943 |  1151945 |    56933     45 |     3681 |        0
1655.43/1655.89	c 1654s |      21 |  2248410 |  1153245 |    56933     45 |     3681 |        0
1657.73/1658.12	c 1656s |      21 |  2249244 |  1153745 |    56933     46 |     3681 |        0
1659.73/1660.15	c 1658s |      21 |  2253273 |  1155745 |    56933     46 |     3681 |        0
1661.73/1662.18	c 1660s |      21 |  2257323 |  1157745 |    56933     46 |     3681 |        0
1674.83/1675.26	c 1673s |      21 |  2261574 |  1159445 |    56933     46 |     3681 |        0
1676.93/1677.34	c 1675s |      21 |  2264475 |  1160645 |    56933     46 |     3681 |        0
1679.03/1679.46	c 1677s |      21 |  2267086 |  1161845 |    56933     46 |     3681 |        0
1681.03/1681.49	c 1680s |      21 |  2270478 |  1163345 |    56933     46 |     3681 |        0
1683.13/1683.51	c 1682s |      21 |  2274496 |  1165545 |    56933     46 |     3681 |        0
1686.14/1686.60	c 1685s |      21 |  2276071 |  1166445 |    56933     46 |     3681 |        0
1688.23/1688.63	c 1687s |      21 |  2280947 |  1168245 |    56933     46 |     3681 |        0
1690.23/1690.69	c 1689s |      21 |  2285578 |  1170045 |    56933     46 |     3681 |        0
1692.33/1692.79	c 1691s |      21 |  2290063 |  1172045 |    56933     46 |     3681 |        0
1694.43/1694.85	c 1693s |      21 |  2294184 |  1174045 |    56933     46 |     3681 |        0
1696.53/1696.95	c 1695s |      21 |  2298088 |  1176145 |    56933     46 |     3681 |        0
1698.63/1699.02	c 1697s |      21 |  2301673 |  1178145 |    56933     46 |     3681 |        0
1700.63/1701.09	c 1699s |      21 |  2304641 |  1179745 |    56933     46 |     3681 |        0
1702.73/1703.18	c 1701s |      21 |  2308013 |  1181245 |    56933     46 |     3681 |        0
1704.83/1705.25	c 1703s |      21 |  2311668 |  1182845 |    56933     46 |     3681 |        0
1707.33/1707.76	c 1706s |      21 |  2314146 |  1184145 |    56933     47 |     3681 |        0
1709.33/1709.78	c 1708s |      21 |  2315563 |  1185045 |    56933     47 |     3681 |        0
1711.43/1711.83	c 1710s |      21 |  2319397 |  1187045 |    56933     47 |     3681 |        0
1713.42/1713.85	c 1712s |      21 |  2323227 |  1189145 |    56933     47 |     3681 |        0
1715.42/1715.86	c 1714s |      21 |  2326587 |  1191045 |    56933     47 |     3681 |        0
1717.52/1717.91	c 1716s |      21 |  2330192 |  1192945 |    56933     47 |     3681 |        0
1719.52/1719.96	c 1718s |      21 |  2332937 |  1194745 |    56933     47 |     3681 |        0
1721.62/1722.00	c 1720s |      21 |  2336333 |  1196745 |    56933     47 |     3681 |        0
1723.63/1724.03	c 1722s |      21 |  2339646 |  1198645 |    56933     47 |     3681 |        0
1725.62/1726.04	c 1724s |      21 |  2342619 |  1200345 |    56933     47 |     3681 |        0
1727.62/1728.05	c 1726s |      21 |  2344982 |  1201845 |    56933     47 |     3681 |        0
1729.72/1730.12	c 1728s |      21 |  2348387 |  1203245 |    56933     47 |     3681 |        0
1731.82/1732.25	c 1730s |      21 |  2351640 |  1204745 |    56933     47 |     3681 |        0
1733.82/1734.26	c 1732s |      21 |  2353996 |  1206045 |    56933     47 |     3681 |        0
1735.92/1736.31	c 1734s |      21 |  2356805 |  1207445 |    56933     47 |     3681 |        0
1738.12/1738.50	c 1737s |      21 |  2359203 |  1208845 |    56933     47 |     3681 |        0
1740.13/1740.59	c 1739s |      21 |  2361981 |  1210245 |    56933     47 |     3681 |        0
1742.22/1742.67	c 1741s |      21 |  2364799 |  1211845 |    56933     47 |     3681 |        0
1744.32/1744.72	c 1743s |      21 |  2367012 |  1213045 |    56933     47 |     3681 |        0
1747.22/1747.68	c 1746s |      21 |  2369491 |  1214445 |    56933     48 |     3681 |        0
1749.32/1749.77	c 1748s |      21 |  2370461 |  1215045 |    56933     48 |     3681 |        0
1751.42/1751.87	c 1750s |      21 |  2373820 |  1216845 |    56933     48 |     3681 |        0
1753.61/1754.04	c 1752s |      21 |  2374173 |  1217045 |    56933     48 |     3681 |        0
1764.61/1765.04	c 1763s |      21 |  2374394 |  1217145 |    56933     48 |     3681 |        0
1766.71/1767.11	c 1765s |      21 |  2378389 |  1218945 |    56933     48 |     3681 |        0
1768.72/1769.18	c 1767s |      21 |  2382368 |  1220845 |    56933     48 |     3681 |        0
1770.91/1771.30	c 1769s |      21 |  2385662 |  1222645 |    56933     48 |     3681 |        0
1772.91/1773.35	c 1771s |      21 |  2389369 |  1224645 |    56933     48 |     3681 |        0
1774.91/1775.38	c 1773s |      21 |  2392565 |  1226345 |    56933     48 |     3681 |        0
1777.01/1777.42	c 1775s |      21 |  2394938 |  1227545 |    56933     48 |     3681 |        0
1779.01/1779.49	c 1777s |      21 |  2398274 |  1229245 |    56933     48 |     3681 |        0
1781.11/1781.52	c 1780s |      21 |  2400862 |  1230345 |    56933     48 |     3681 |        0
1783.11/1783.59	c 1782s |      21 |  2404238 |  1231845 |    56933     48 |     3681 |        0
1785.21/1785.64	c 1784s |      21 |  2406541 |  1232945 |    56933     48 |     3681 |        0
1787.21/1787.65	c 1786s |      21 |  2408717 |  1234045 |    56933     48 |     3681 |        0
1789.31/1789.76	c 1788s |      21 |  2411851 |  1235545 |    56933     48 |     3681 |        0
1791.30/1791.78	c 1790s |      21 |  2414548 |  1237145 |    56933     48 |     3681 |        0
1793.40/1793.84	c 1792s |      21 |  2416781 |  1238345 |    56933     48 |     3681 |        0
1795.50/1795.95	c 1794s |      21 |  2419482 |  1239845 |    56933     48 |     3681 |        0
1797.60/1798.01	c 1796s |      21 |  2421583 |  1241145 |    56933     48 |     3681 |        0
1799.71/1800.14	c 1798s |      21 |  2423912 |  1242445 |    56933     48 |     3681 |        0

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

pid=1777
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.26 2.24 2.19 3/179 1781
/proc/meminfo: memFree=29464152/32872528 swapFree=1200228/1314692
[pid=1781] ppid=1777 vsize=629180 CPUtime=0 cores=1,3,5,7
/proc/1781/stat : 1781 (toysat) R 1777 1781 31224 0 -1 4202496 2331 0 0 0 0 0 0 0 20 0 4 0 24479221 644280320 2692 33554432000 4194304 16246674 140735989505216 140735989504640 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1781/statm: 158063 2701 441 2943 0 154957 0
[pid=1781/tid=1782] ppid=1777 vsize=735676 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1782/stat : 1782 (toysat) S 1777 1781 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24479221 753332224 3107 33554432000 4194304 16246674 140735989505216 139775623277808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1781/tid=1783] ppid=1777 vsize=739772 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1783/stat : 1783 (toysat) S 1777 1781 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24479221 757526528 3124 33554432000 4194304 16246674 140735989505216 139775612787952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1781/tid=1784] ppid=1777 vsize=744892 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1784/stat : 1784 (toysat) S 1777 1781 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24479221 762769408 3141 33554432000 4194304 16246674 140735989505216 139775602314416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100215 s]
/proc/loadavg: 2.26 2.24 2.19 3/179 1781
/proc/meminfo: memFree=29464152/32872528 swapFree=1200228/1314692
[pid=1781] ppid=1777 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/1781/stat : 1781 (toysat) R 1777 1781 31224 0 -1 4202496 27492 0 0 0 5 3 0 0 20 0 4 0 24479221 1333334016 27792 33554432000 4194304 16246674 140735989505216 140735989504528 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1781/statm: 325521 27806 800 2943 0 322415 0
[pid=1781/tid=1782] ppid=1777 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1782/stat : 1782 (toysat) S 1777 1781 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24479221 1333334016 27816 33554432000 4194304 16246674 140735989505216 139775623277808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1781/tid=1783] ppid=1777 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1783/stat : 1783 (toysat) S 1777 1781 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24479221 1333334016 27828 33554432000 4194304 16246674 140735989505216 139775612787952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1781/tid=1784] ppid=1777 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1784/stat : 1784 (toysat) S 1777 1781 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24479221 1333334016 27839 33554432000 4194304 16246674 140735989505216 139775602314416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200517 s]
/proc/loadavg: 2.26 2.24 2.19 3/179 1781
/proc/meminfo: memFree=29464152/32872528 swapFree=1200228/1314692
[pid=1781] ppid=1777 vsize=1310276 CPUtime=0.19 cores=1,3,5,7
/proc/1781/stat : 1781 (toysat) R 1777 1781 31224 0 -1 4202496 42493 0 0 0 13 6 0 0 20 0 4 0 24479221 1341722624 42792 33554432000 4194304 16246674 140735989505216 140735989504528 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1781/statm: 327569 42792 833 2943 0 324463 0
[pid=1781/tid=1782] ppid=1777 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1782/stat : 1782 (toysat) S 1777 1781 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24479221 1341722624 42792 33554432000 4194304 16246674 140735989505216 139775623277808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1781/tid=1783] ppid=1777 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1783/stat : 1783 (toysat) S 1777 1781 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24479221 1341722624 42792 33554432000 4194304 16246674 140735989505216 139775612787952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1781/tid=1784] ppid=1777 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1784/stat : 1784 (toysat) S 1777 1781 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24479221 1341722624 42792 33554432000 4194304 16246674 140735989505216 139775602314416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.300484 s]
/proc/loadavg: 2.26 2.24 2.19 3/179 1781
/proc/meminfo: memFree=29464152/32872528 swapFree=1200228/1314692
[pid=1781] ppid=1777 vsize=1310276 CPUtime=0.29 cores=1,3,5,7
/proc/1781/stat : 1781 (toysat) R 1777 1781 31224 0 -1 4202496 70006 0 0 0 20 9 0 0 20 0 4 0 24479221 1341722624 70306 33554432000 4194304 16246674 140735989505216 140735989504528 12449399 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1781/statm: 327569 70320 833 2943 0 324463 0
[pid=1781/tid=1782] ppid=1777 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1782/stat : 1782 (toysat) S 1777 1781 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24479221 1341722624 70330 33554432000 4194304 16246674 140735989505216 139775623277808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1781/tid=1783] ppid=1777 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1783/stat : 1783 (toysat) S 1777 1781 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24479221 1341722624 70342 33554432000 4194304 16246674 140735989505216 139775612787952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1781/tid=1784] ppid=1777 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1784/stat : 1784 (toysat) S 1777 1781 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24479221 1341722624 70351 33554432000 4194304 16246674 140735989505216 139775602314416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1310276

[startup+0.700368 s]
/proc/loadavg: 2.26 2.24 2.19 3/179 1781
/proc/meminfo: memFree=29464152/32872528 swapFree=1200228/1314692
[pid=1781] ppid=1777 vsize=1310276 CPUtime=0.69 cores=1,3,5,7
/proc/1781/stat : 1781 (toysat) R 1777 1781 31224 0 -1 4202496 205120 0 0 0 42 27 0 0 20 0 4 0 24479221 1341722624 205420 33554432000 4194304 16246674 140735989505216 140735989487104 12655109 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1781/statm: 327569 205435 833 2943 0 324463 0
[pid=1781/tid=1782] ppid=1777 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1782/stat : 1782 (toysat) S 1777 1781 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24479221 1341722624 205443 33554432000 4194304 16246674 140735989505216 139775623277808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1781/tid=1783] ppid=1777 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1783/stat : 1783 (toysat) S 1777 1781 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24479221 1341722624 205451 33554432000 4194304 16246674 140735989505216 139775612787952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1781/tid=1784] ppid=1777 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1784/stat : 1784 (toysat) S 1777 1781 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24479221 1341722624 205462 33554432000 4194304 16246674 140735989505216 139775602314416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1310276

[startup+1.50038 s]
/proc/loadavg: 2.26 2.24 2.19 4/183 1785
/proc/meminfo: memFree=28376792/32872528 swapFree=1200228/1314692
[pid=1781] ppid=1777 vsize=1323588 CPUtime=1.49 cores=1,3,5,7
/proc/1781/stat : 1781 (toysat) R 1777 1781 31224 0 -1 4202496 272053 0 0 0 115 34 0 0 20 0 4 0 24479221 1355354112 272352 33554432000 4194304 16246674 140735989505216 140735989487104 5813117 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1781/statm: 330897 272352 861 2943 0 327791 0
[pid=1781/tid=1782] ppid=1777 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1782/stat : 1782 (toysat) S 1777 1781 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24479221 1355354112 272352 33554432000 4194304 16246674 140735989505216 139775623277808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1781/tid=1783] ppid=1777 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1783/stat : 1783 (toysat) S 1777 1781 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24479221 1355354112 272352 33554432000 4194304 16246674 140735989505216 139775612787952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1781/tid=1784] ppid=1777 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1784/stat : 1784 (toysat) S 1777 1781 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24479221 1355354112 272352 33554432000 4194304 16246674 140735989505216 139775602314416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1323588

[startup+3.10034 s]
/proc/loadavg: 2.32 2.25 2.19 4/183 1785
/proc/meminfo: memFree=28374932/32872528 swapFree=1200228/1314692
[pid=1781] ppid=1777 vsize=1323588 CPUtime=3.08 cores=1,3,5,7
/proc/1781/stat : 1781 (toysat) R 1777 1781 31224 0 -1 4202496 272083 0 0 0 274 34 0 0 20 0 4 0 24479221 1355354112 272382 33554432000 4194304 16246674 140735989505216 140735989487104 5829844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1781/statm: 330897 272382 891 2943 0 327791 0
[pid=1781/tid=1782] ppid=1777 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1782/stat : 1782 (toysat) S 1777 1781 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24479221 1355354112 272382 33554432000 4194304 16246674 140735989505216 139775623277808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1781/tid=1783] ppid=1777 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1783/stat : 1783 (toysat) S 1777 1781 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24479221 1355354112 272382 33554432000 4194304 16246674 140735989505216 139775612787952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1781/tid=1784] ppid=1777 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1784/stat : 1784 (toysat) S 1777 1781 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24479221 1355354112 272382 33554432000 4194304 16246674 140735989505216 139775602314416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1323588

[startup+6.30034 s]
/proc/loadavg: 2.32 2.25 2.19 3/183 1785
/proc/meminfo: memFree=28375416/32872528 swapFree=1200228/1314692
[pid=1781] ppid=1777 vsize=1323588 CPUtime=6.28 cores=1,3,5,7
/proc/1781/stat : 1781 (toysat) R 1777 1781 31224 0 -1 4202496 272083 0 0 0 594 34 0 0 20 0 4 0 24479221 1355354112 272382 33554432000 4194304 16246674 140735989505216 140735989487104 13780648 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1781/statm: 330897 272382 891 2943 0 327791 0
[pid=1781/tid=1782] ppid=1777 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1782/stat : 1782 (toysat) S 1777 1781 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24479221 1355354112 272382 33554432000 4194304 16246674 140735989505216 139775623277808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1781/tid=1783] ppid=1777 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1783/stat : 1783 (toysat) S 1777 1781 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24479221 1355354112 272382 33554432000 4194304 16246674 140735989505216 139775612787952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1781/tid=1784] ppid=1777 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1784/stat : 1784 (toysat) S 1777 1781 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24479221 1355354112 272382 33554432000 4194304 16246674 140735989505216 139775602314416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1323588

[startup+12.7003 s]
/proc/loadavg: 2.35 2.26 2.20 4/183 1785
/proc/meminfo: memFree=28375304/32872528 swapFree=1200228/1314692
[pid=1781] ppid=1777 vsize=1323588 CPUtime=12.68 cores=1,3,5,7
/proc/1781/stat : 1781 (toysat) R 1777 1781 31224 0 -1 4202496 272083 0 0 0 1234 34 0 0 20 0 4 0 24479221 1355354112 272382 33554432000 4194304 16246674 140735989505216 140735989487104 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1781/statm: 330897 272382 891 2943 0 327791 0
[pid=1781/tid=1782] ppid=1777 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1782/stat : 1782 (toysat) S 1777 1781 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24479221 1355354112 272382 33554432000 4194304 16246674 140735989505216 139775623277808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1781/tid=1783] ppid=1777 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1783/stat : 1783 (toysat) S 1777 1781 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24479221 1355354112 272382 33554432000 4194304 16246674 140735989505216 139775612787952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1781/tid=1784] ppid=1777 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1784/stat : 1784 (toysat) S 1777 1781 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24479221 1355354112 272382 33554432000 4194304 16246674 140735989505216 139775602314416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1323588

[startup+25.5003 s]
/proc/loadavg: 2.37 2.27 2.20 4/183 1785
/proc/meminfo: memFree=28348064/32872528 swapFree=1200228/1314692
[pid=1781] ppid=1777 vsize=1352260 CPUtime=25.49 cores=1,3,5,7
/proc/1781/stat : 1781 (toysat) R 1777 1781 31224 0 -1 4202496 279065 0 0 0 2514 35 0 0 20 0 4 0 24479221 1384714240 279364 33554432000 4194304 16246674 140735989505216 140735989487104 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1781/statm: 338065 279364 897 2943 0 334959 0
[pid=1781/tid=1782] ppid=1777 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1782/stat : 1782 (toysat) S 1777 1781 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24479221 1384714240 279364 33554432000 4194304 16246674 140735989505216 139775623277808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1781/tid=1783] ppid=1777 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1783/stat : 1783 (toysat) S 1777 1781 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24479221 1384714240 279364 33554432000 4194304 16246674 140735989505216 139775612787952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1781/tid=1784] ppid=1777 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1784/stat : 1784 (toysat) S 1777 1781 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24479221 1384714240 279364 33554432000 4194304 16246674 140735989505216 139775602314416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1352260

[startup+51.1003 s]
/proc/loadavg: 2.25 2.25 2.19 3/183 1785
/proc/meminfo: memFree=28347320/32872528 swapFree=1200228/1314692
[pid=1781] ppid=1777 vsize=1352260 CPUtime=51.08 cores=1,3,5,7
/proc/1781/stat : 1781 (toysat) R 1777 1781 31224 0 -1 4202496 279261 0 0 0 5071 37 0 0 20 0 4 0 24479221 1384714240 279560 33554432000 4194304 16246674 140735989505216 140735989487104 5827962 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1781/statm: 338065 279560 898 2943 0 334959 0
[pid=1781/tid=1782] ppid=1777 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1782/stat : 1782 (toysat) S 1777 1781 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24479221 1384714240 279560 33554432000 4194304 16246674 140735989505216 139775623277808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1781/tid=1783] ppid=1777 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1783/stat : 1783 (toysat) S 1777 1781 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24479221 1384714240 279560 33554432000 4194304 16246674 140735989505216 139775612787952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1781/tid=1784] ppid=1777 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1784/stat : 1784 (toysat) S 1777 1781 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24479221 1384714240 279560 33554432000 4194304 16246674 140735989505216 139775602314416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1352260

[startup+102.3 s]
/proc/loadavg: 2.26 2.25 2.19 4/183 1786
/proc/meminfo: memFree=28266204/32872528 swapFree=1200228/1314692
[pid=1781] ppid=1777 vsize=1433156 CPUtime=102.27 cores=1,3,5,7
/proc/1781/stat : 1781 (toysat) R 1777 1781 31224 0 -1 4202496 299485 0 0 0 10186 41 0 0 20 0 4 0 24479221 1467551744 299784 33554432000 4194304 16246674 140735989505216 140735989487104 5822472 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1781/statm: 358289 299784 898 2943 0 355183 0
[pid=1781/tid=1782] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1782/stat : 1782 (toysat) S 1777 1781 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299784 33554432000 4194304 16246674 140735989505216 139775623277808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1781/tid=1783] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1783/stat : 1783 (toysat) S 1777 1781 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299784 33554432000 4194304 16246674 140735989505216 139775612787952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1781/tid=1784] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1784/stat : 1784 (toysat) S 1777 1781 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299784 33554432000 4194304 16246674 140735989505216 139775602314416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1433156


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

/proc/1781/task/1784/stat : 1784 (toysat) S 1777 1781 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775602314416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1433156

[startup+1302.3 s]
/proc/loadavg: 2.15 2.17 2.17 3/183 1878
/proc/meminfo: memFree=28287380/32872528 swapFree=1200228/1314692
[pid=1781] ppid=1777 vsize=1433156 CPUtime=1301.99 cores=1,3,5,7
/proc/1781/stat : 1781 (toysat) R 1777 1781 31224 0 -1 4202496 299682 0 0 0 130115 84 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 140735989487104 6010981 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1781/statm: 358289 299787 898 2943 0 355183 0
[pid=1781/tid=1782] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1782/stat : 1782 (toysat) S 1777 1781 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775623277808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1781/tid=1783] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1783/stat : 1783 (toysat) S 1777 1781 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775612787952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1781/tid=1784] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1784/stat : 1784 (toysat) S 1777 1781 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775602314416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 1433156

[startup+1362.3 s]
/proc/loadavg: 2.24 2.18 2.17 3/183 1879
/proc/meminfo: memFree=28286512/32872528 swapFree=1200228/1314692
[pid=1781] ppid=1777 vsize=1433156 CPUtime=1361.98 cores=1,3,5,7
/proc/1781/stat : 1781 (toysat) R 1777 1781 31224 0 -1 4202496 299699 0 0 0 136112 86 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 140735989488216 5573324 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1781/statm: 358289 299787 898 2943 0 355183 0
[pid=1781/tid=1782] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1782/stat : 1782 (toysat) S 1777 1781 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775623277808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1781/tid=1783] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1783/stat : 1783 (toysat) S 1777 1781 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775612787952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1781/tid=1784] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1784/stat : 1784 (toysat) S 1777 1781 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775602314416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1433156

[startup+1422.3 s]
/proc/loadavg: 2.12 2.16 2.17 4/183 1880
/proc/meminfo: memFree=28286024/32872528 swapFree=1200228/1314692
[pid=1781] ppid=1777 vsize=1433156 CPUtime=1421.97 cores=1,3,5,7
/proc/1781/stat : 1781 (toysat) R 1777 1781 31224 0 -1 4202496 299703 0 0 0 142107 90 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 140735989487104 5677392 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1781/statm: 358289 299787 898 2943 0 355183 0
[pid=1781/tid=1782] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1782/stat : 1782 (toysat) S 1777 1781 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775623277808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1781/tid=1783] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1783/stat : 1783 (toysat) S 1777 1781 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775612787952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1781/tid=1784] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1784/stat : 1784 (toysat) S 1777 1781 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775602314416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1433156

[startup+1482.3 s]
/proc/loadavg: 2.18 2.17 2.17 3/183 1881
/proc/meminfo: memFree=28284972/32872528 swapFree=1200228/1314692
[pid=1781] ppid=1777 vsize=1433156 CPUtime=1481.96 cores=1,3,5,7
/proc/1781/stat : 1781 (toysat) R 1777 1781 31224 0 -1 4202496 299703 0 0 0 148103 93 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 140735989504392 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1781/statm: 358289 299787 898 2943 0 355183 0
[pid=1781/tid=1782] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1782/stat : 1782 (toysat) S 1777 1781 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775623277808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1781/tid=1783] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1783/stat : 1783 (toysat) S 1777 1781 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775612787952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1781/tid=1784] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1784/stat : 1784 (toysat) S 1777 1781 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775602314416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1433156

[startup+1542.3 s]
/proc/loadavg: 2.20 2.17 2.17 3/183 1883
/proc/meminfo: memFree=28284832/32872528 swapFree=1200228/1314692
[pid=1781] ppid=1777 vsize=1433156 CPUtime=1541.95 cores=1,3,5,7
/proc/1781/stat : 1781 (toysat) R 1777 1781 31224 0 -1 4202496 299703 0 0 0 154100 95 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 140735989487104 5712555 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1781/statm: 358289 299787 898 2943 0 355183 0
[pid=1781/tid=1782] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1782/stat : 1782 (toysat) S 1777 1781 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775623277808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1781/tid=1783] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1783/stat : 1783 (toysat) S 1777 1781 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775612787952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1781/tid=1784] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1784/stat : 1784 (toysat) S 1777 1781 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775602314416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 1433156

[startup+1602.3 s]
/proc/loadavg: 2.15 2.16 2.17 4/183 1884
/proc/meminfo: memFree=28284336/32872528 swapFree=1200228/1314692
[pid=1781] ppid=1777 vsize=1433156 CPUtime=1601.94 cores=1,3,5,7
/proc/1781/stat : 1781 (toysat) R 1777 1781 31224 0 -1 4202496 299703 0 0 0 160097 97 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 140735989487104 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1781/statm: 358289 299787 898 2943 0 355183 0
[pid=1781/tid=1782] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1782/stat : 1782 (toysat) S 1777 1781 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775623277808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1781/tid=1783] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1783/stat : 1783 (toysat) S 1777 1781 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775612787952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1781/tid=1784] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1784/stat : 1784 (toysat) S 1777 1781 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775602314416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 1433156

[startup+1662.3 s]
/proc/loadavg: 2.24 2.19 2.18 3/183 1885
/proc/meminfo: memFree=28284200/32872528 swapFree=1200228/1314692
[pid=1781] ppid=1777 vsize=1433156 CPUtime=1661.94 cores=1,3,5,7
/proc/1781/stat : 1781 (toysat) R 1777 1781 31224 0 -1 4202496 299703 0 0 0 166095 99 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 140735989504392 13781188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1781/statm: 358289 299787 898 2943 0 355183 0
[pid=1781/tid=1782] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1782/stat : 1782 (toysat) S 1777 1781 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775623277808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1781/tid=1783] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1783/stat : 1783 (toysat) S 1777 1781 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775612787952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1781/tid=1784] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1784/stat : 1784 (toysat) S 1777 1781 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775602314416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1433156

[startup+1722.3 s]
/proc/loadavg: 2.19 2.18 2.18 3/184 1889
/proc/meminfo: memFree=28284700/32872528 swapFree=1200228/1314692
[pid=1781] ppid=1777 vsize=1433156 CPUtime=1721.92 cores=1,3,5,7
/proc/1781/stat : 1781 (toysat) R 1777 1781 31224 0 -1 4202496 299703 0 0 0 172091 101 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 140735989487104 5823234 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1781/statm: 358289 299787 898 2943 0 355183 0
[pid=1781/tid=1782] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1782/stat : 1782 (toysat) S 1777 1781 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775623277808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1781/tid=1783] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1783/stat : 1783 (toysat) S 1777 1781 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775612787952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1781/tid=1784] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1784/stat : 1784 (toysat) S 1777 1781 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775602314416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 1433156

[startup+1782.31 s]
/proc/loadavg: 2.18 2.18 2.18 4/184 1913
/proc/meminfo: memFree=28284024/32872528 swapFree=1200228/1314692
[pid=1781] ppid=1777 vsize=1433156 CPUtime=1781.91 cores=1,3,5,7
/proc/1781/stat : 1781 (toysat) R 1777 1781 31224 0 -1 4202496 299703 0 0 0 178089 102 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 140735989487104 13774488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1781/statm: 358289 299787 898 2943 0 355183 0
[pid=1781/tid=1782] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1782/stat : 1782 (toysat) S 1777 1781 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775623277808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1781/tid=1783] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1783/stat : 1783 (toysat) S 1777 1781 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775612787952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1781/tid=1784] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1784/stat : 1784 (toysat) S 1777 1781 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775602314416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 1433156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.22 2.18 2.18 3/183 1914
/proc/meminfo: memFree=28283884/32872528 swapFree=1200228/1314692
[pid=1781] ppid=1777 vsize=1433156 CPUtime=1800.01 cores=1,3,5,7
/proc/1781/stat : 1781 (toysat) R 1777 1781 31224 0 -1 4202496 299703 0 0 0 179898 103 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 140735989487104 5673507 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1781/statm: 358289 299787 898 2943 0 355183 0
[pid=1781/tid=1782] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1782/stat : 1782 (toysat) S 1777 1781 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775623277808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1781/tid=1783] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1783/stat : 1783 (toysat) S 1777 1781 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775612787952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1781/tid=1784] ppid=1777 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/1781/task/1784/stat : 1784 (toysat) S 1777 1781 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24479221 1467551744 299787 33554432000 4194304 16246674 140735989505216 139775602314416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1433156

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 1781 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): 1798.99
CPU system time (s): 1.03084
CPU usage (%): 99.9786
Max. virtual memory (cumulated for all children) (KiB): 1433156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.03084
maximum resident set size= 1199148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299703
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= 233
involuntary context switches= 1959

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.96524 second user time and 7.04593 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-18 06:32:07
IDJOB=4101561
IDBENCH=1766
IDSOLVER=2542
FILE ID=node131/4101561-1466224327
RUNJOBID= node131-1466206062-31241
PBS_JOBID= 19918146
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-tr12-30.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101561-1466224327/watcher-4101561-1466224327 -o /tmp/evaluation-result-4101561-1466224327/solver-4101561-1466224327 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31241 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101561-1466224327.opb

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

MD5SUM BENCH= 93a0ff34a98f6d4593d65282fbf98be9
RANDOM SEED=1275942978

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.752
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.57
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.752
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:        29464416 kB
Buffers:          112696 kB
Cached:           132076 kB
SwapCached:         1508 kB
Active:          1208216 kB
Inactive:         149460 kB
Active(anon):    1112456 kB
Inactive(anon):     2684 kB
Active(file):      95760 kB
Inactive(file):   146776 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099856 kB
Dirty:             17120 kB
Writeback:             0 kB
AnonPages:       2426708 kB
Mapped:            10528 kB
Shmem:                 0 kB
Slab:             601200 kB
SReclaimable:      45320 kB
SUnreclaim:       555880 kB
KernelStack:        1504 kB
PageTables:         8612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2569208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1220608 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= 71672 MiB
End job on node131 at 2016-06-18 07:02:08