Trace number 4109194

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.11 1800.62

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-101-100--soft-33-100-0.wbo
MD5SUM7f95aa45daecbcbe8d128ff4aa3d1714
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1800.06
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables10100
Total number of constraints201
Number of soft constraints138
Number of constraints which are clauses101
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint100
Maximum length of a constraint101
Top cost 6600
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 6599
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 102
Number of bits of the biggest sum of numbers7
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-19T15:10:23+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","--wbo","--search=bcd2","HOME/instance-4109194-1466341823.wbo"]
0.00/0.01	c use --random-gen="337915518 1394783961 3301198877 52699256 1269262298 1463744894 2052393447 4224393863 460250758 1227545894 3569009384 1689370626 1699352193 3927318467 3965241199 362240235 1403417113 1585801902 2444917925 3779181724 4044551590 1174660973 3067353895 1937409961 1168674585 2288072838 180190417 3218739705 514531482 3713703061 1290640475 1333536528 1645448587 2668666437 1173206814 1266257403 2476524784 2543898664 2666259478 2129280788 1837711332 3096335211 3784679725 786834806 203791613 3594172510 1255938622 3173370534 3515390036 927087804 3860524025 2879696231 1372657746 4277380315 3848779832 4001026868 998845245 662057448 755968197 2139546488 2114671561 3376398545 3804326498 128155768 1124179339 1744536430 2394962884 2991332180 3556760325 3114959504 3668583586 1740447206 3113145200 727962934 3362664375 3927346307 3654124475 3334165759 3318124694 3416279953 2638609116 3511385745 2278948080 1333813705 3892128110 3759350604 116500023 3901138732 3755952042 2260497524 2514893010 2080715105 2335944977 2617413287 1340514539 3376337148 3515785179 4014367459 2830440622 3086081197 1608103676 3360382447 2056174600 318343305 140588891 403813324 1571900451 1509368498 911014165 1805305923 3369405712 17602408 4032776518 3781299587 625528825 3998955667 827399764 3001514695 1914184466 340634723 1850720721 2176605925 3985956331 107973133 619637987 928273892 560470718 4030793163 2904261732 4194124655 58776881 2477091694 3735684228 31204653 1648708382 925891015 3753380567 426347967 1631021246 4282808044 2870536217 3581878060 1296299194 410863556 2980694904 1757538165 3361384964 2395230470 3305701500 1742835942 1981267915 1466656722 994837452 4199948573 2145285728 2027345944 83551797 1455915376 68873377 792592263 186102467 531147244 2615704021 2520857200 2695352912 730153986 2515412202 1906659517 1911778769 3585350617 1621828650 4230204899 3805759732 1852386076 3688773510 2674080507 1756033645 3480562467 2883911791 565732885 1407609474 1465048307 436403454 3792067580 1050246366 2627047263 3596177086 3753003963 1207265205 882878693 3667203745 1414465745 3411065512 2721714116 106927176 811732815 4189871234 1610821620 1020778606 3194537150 4085260964 47025371 2596974953 2464592119 1651273091 2220323263 2693915373 1688948050 967127329 2603463820 3143108535 2657728229 2339007477 1863149725 1495738177 124652987 926806684 382522897 1650291745 2924348616 2641988222 231257164 2351385932 2651835328 3103212130 3173095342 3793276060 3874441984 1509811008 545972376 2947281595 2835374308 3810497611 2000692163 1297985312 548468479 1632357606 3295914025 763390031 1311547445 4044835703 4107218845 2841686413 462078678 2428166227 4116915300 2261492476 1012578484 61455965 2582466252 4201988228 3161319353 3052052230 2078941444 1432129914 2093192302 255 362436" option to reproduce the execution
0.49/0.51	c #vars 10100
0.49/0.51	c #constraints 201
0.49/0.56	c BCD2: Hardening is enabled.
0.49/0.56	c BCD2: BiasedSearch is enabled.
0.49/0.56	c Solving starts ...
0.49/0.56	c ============================[ Search Statistics ]============================
0.49/0.56	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.56	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.56	c =============================================================================
0.49/0.56	c  0.0s |       0 |        0 |        0 |     3479      0 |        0 |        0
0.69/0.71	c  0.1s |       1 |      350 |      100 |     3479      0 |        0 |        0
0.69/0.73	c  0.2s |       1 |     7087 |      101 |     3827      0 |        0 |        0
0.69/0.73	c #cpu_time = 0.161s
0.69/0.73	c #wall_clock_time = 0.162s
0.69/0.73	c #decision = 7087
0.69/0.73	c #random_decision = 26
0.69/0.73	c #conflict = 101
0.69/0.73	c #restart = 1
0.69/0.73	o 3047
0.69/0.73	c BCD2: updating upper bound: 6599 -> 3046
0.69/0.73	c BCD2: 0 <= obj <= 3046
0.69/0.73	c BCD2: #cores=0, #unrelaxed=138, #relaxed=0, #hardened=0
0.69/0.73	c BCD2: #sat=1 #unsat=1 bias=1/2
0.69/0.73	c Solving starts ...
0.69/0.73	c ============================[ Search Statistics ]============================
0.69/0.73	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.73	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.73	c =============================================================================
0.69/0.73	c  0.0s |       0 |        0 |        0 |     3827      0 |        0 |        0
0.99/1.07	c  0.3s |       1 |     3101 |      100 |     3827      0 |        0 |        0
1.48/1.56	c  0.8s |       2 |     7437 |      250 |     4210      0 |        0 |        0
2.78/2.85	c  2.1s |       3 |    13450 |      475 |     4631      0 |        0 |        0
4.40/4.48	c  3.7s |       4 |    19966 |      813 |     5095      0 |        0 |        0
5.89/5.93	c  5.2s |       5 |    25883 |     1320 |     5605      0 |        0 |        0
7.99/8.05	c  7.3s |       6 |    31920 |     2081 |     6166      0 |        0 |        0
10.38/10.43	c  9.7s |       6 |    38319 |     2681 |     6166      0 |        0 |        0
12.39/12.48	c 11.7s |       6 |    38813 |     3081 |     6166      0 |        0 |        0
13.30/13.34	c 12.6s |       7 |    38983 |     3223 |     6783      0 |        0 |        0
15.59/15.61	c 14.9s |       7 |    45018 |     3923 |     6783      0 |        0 |        0
17.59/17.62	c 16.9s |       7 |    45576 |     4423 |     6783      0 |        0 |        0
19.58/19.65	c 18.9s |       8 |    46131 |     4936 |     7462      0 |        0 |        0
21.78/21.81	c 21.1s |       8 |    51902 |     5536 |     7462      0 |        0 |        0
24.09/24.14	c 23.4s |       8 |    52585 |     6136 |     7462      0 |        0 |        0
26.40/26.46	c 25.7s |       8 |    53258 |     6736 |     7462      0 |        0 |        0
28.69/28.77	c 28.0s |       8 |    53823 |     7236 |     7462      0 |        0 |        0
29.89/29.90	c 29.2s |       9 |    54114 |     7506 |     8209      0 |        0 |        0
31.89/31.99	c 31.3s |       9 |    59936 |     8106 |     8209      0 |        0 |        0
34.28/34.37	c 33.6s |       9 |    60638 |     8706 |     8209      0 |        0 |        0
36.29/36.40	c 35.7s |       9 |    61183 |     9206 |     8209      0 |        0 |        0
38.49/38.56	c 37.8s |       9 |    61731 |     9706 |     8209      0 |        0 |        0
40.89/40.91	c 40.2s |       9 |    62432 |    10306 |     8209      0 |        0 |        0
43.08/43.16	c 42.4s |       9 |    62981 |    10806 |     8209      0 |        0 |        0
45.38/45.48	c 44.7s |       9 |    63559 |    11306 |     9030      0 |        0 |        0
45.68/45.75	c 45.0s |      10 |    63621 |    11361 |     9030      0 |        0 |        0
47.78/47.88	c 47.1s |      10 |    69274 |    11761 |     9030      1 |        0 |        0
49.88/49.90	c 49.2s |      10 |    69852 |    12261 |     9030      1 |        0 |        0
52.18/52.23	c 51.5s |      10 |    70526 |    12861 |     9030      1 |        0 |        0
54.58/54.60	c 53.9s |      10 |    71092 |    13361 |     9030      1 |        0 |        0
56.58/56.69	c 56.0s |      10 |    71534 |    13761 |     9030      1 |        0 |        0
58.88/58.98	c 58.3s |      10 |    72087 |    14261 |     9030      1 |        0 |        0
61.18/61.23	c 60.5s |      10 |    72712 |    14761 |     9030      1 |        0 |        0
63.38/63.46	c 62.7s |      10 |    73184 |    15161 |     9030      1 |        0 |        0
65.58/65.61	c 64.9s |      10 |    73638 |    15561 |     9030      1 |        0 |        0
67.68/67.75	c 67.0s |      10 |    74116 |    15961 |     9030      1 |        0 |        0
69.88/69.92	c 69.2s |      10 |    74557 |    16361 |     9030      1 |        0 |        0
72.48/72.58	c 71.9s |      10 |    75024 |    16761 |     9030      1 |        0 |        0
74.57/74.69	c 74.0s |      10 |    75358 |    17061 |     9933      1 |        0 |        0
75.17/75.29	c 74.6s |      11 |    75451 |    17144 |     9933      1 |        0 |        0
77.28/77.34	c 76.6s |      11 |    80766 |    17544 |     9933      2 |        0 |        0
79.48/79.50	c 78.8s |      11 |    81337 |    18044 |     9933      2 |        0 |        0
81.88/81.99	c 81.3s |      11 |    81928 |    18544 |     9933      2 |        0 |        0
84.28/84.36	c 83.6s |      11 |    82489 |    19044 |     9933      2 |        0 |        0
86.38/86.48	c 85.7s |      11 |    82952 |    19444 |     9933      2 |        0 |        0
88.57/88.62	c 87.9s |      11 |    83393 |    19844 |     9933      2 |        0 |        0
90.78/90.82	c 90.1s |      11 |    83820 |    20244 |     9933      2 |        0 |        0
92.98/93.03	c 92.3s |      11 |    84283 |    20644 |     9933      2 |        0 |        0
95.27/95.31	c 94.6s |      11 |    84727 |    21044 |     9933      2 |        0 |        0
97.77/97.81	c 97.1s |      11 |    85189 |    21444 |     9933      2 |        0 |        0
99.77/99.86	c 99.1s |      11 |    85511 |    21744 |     9933      2 |        0 |        0
101.88/101.92	c  101s |      11 |    85857 |    22044 |     9933      2 |        0 |        0
104.07/104.10	c  103s |      11 |    86175 |    22344 |     9933      2 |        0 |        0
106.17/106.27	c  105s |      11 |    86490 |    22644 |     9933      2 |        0 |        0
108.47/108.58	c  107s |      11 |    86835 |    22944 |     9933      2 |        0 |        0
110.57/110.69	c  109s |      11 |    87155 |    23244 |     9933      2 |        0 |        0
112.88/112.94	c  112s |      11 |    87471 |    23544 |     9933      2 |        0 |        0
115.17/115.20	c  114s |      11 |    87809 |    23844 |     9933      2 |        0 |        0
117.27/117.31	c  116s |      11 |    88129 |    24144 |     9933      2 |        0 |        0
119.27/119.37	c  118s |      11 |    88441 |    24444 |     9933      2 |        0 |        0
121.87/121.91	c  121s |      11 |    88879 |    24844 |     9933      2 |        0 |        0
124.07/124.17	c  123s |      11 |    89239 |    25144 |     9933      2 |        0 |        0
126.17/126.27	c  125s |      11 |    89555 |    25444 |     9933      2 |        0 |        0
128.37/128.49	c  127s |      11 |    89875 |    25744 |    10927      2 |        0 |        0
128.97/129.06	c  128s |      12 |    89970 |    25819 |    10927      2 |        0 |        0
131.07/131.18	c  130s |      12 |    95192 |    26019 |    10927      3 |        0 |        0
133.27/133.39	c  132s |      12 |    95677 |    26419 |    10927      3 |        0 |        0
135.57/135.65	c  134s |      12 |    96195 |    26819 |    10927      3 |        0 |        0
138.07/138.19	c  137s |      12 |    96673 |    27219 |    10927      3 |        0 |        0
140.67/140.77	c  140s |      12 |    97162 |    27619 |    10927      3 |        0 |        0
142.77/142.83	c  142s |      12 |    97496 |    27919 |    10927      3 |        0 |        0
144.77/144.84	c  144s |      12 |    97841 |    28219 |    10927      3 |        0 |        0
146.86/146.92	c  146s |      12 |    98202 |    28519 |    10927      3 |        0 |        0
148.96/149.03	c  148s |      12 |    98601 |    28819 |    10927      3 |        0 |        0
151.17/151.21	c  150s |      12 |    98941 |    29119 |    10927      3 |        0 |        0
153.77/153.82	c  153s |      12 |    99422 |    29519 |    10927      3 |        0 |        0
155.87/155.97	c  155s |      12 |    99778 |    29819 |    10927      3 |        0 |        0
158.57/158.67	c  157s |      12 |   100257 |    30219 |    10927      3 |        0 |        0
160.68/160.78	c  160s |      12 |   100629 |    30519 |    10927      3 |        0 |        0
163.47/163.58	c  162s |      12 |   101100 |    30919 |    10927      3 |        0 |        0
165.96/166.03	c  165s |      12 |   101449 |    31219 |    10927      3 |        0 |        0
168.37/168.49	c  167s |      12 |   101773 |    31519 |    10927      3 |        0 |        0
170.47/170.58	c  169s |      12 |   102116 |    31819 |    10927      3 |        0 |        0
172.77/172.81	c  172s |      12 |   102467 |    32119 |    10927      3 |        0 |        0
174.97/175.02	c  174s |      12 |   102825 |    32419 |    10927      3 |        0 |        0
177.26/177.37	c  176s |      12 |   103152 |    32719 |    10927      3 |        0 |        0
179.37/179.43	c  178s |      12 |   103515 |    33019 |    10927      3 |        0 |        0
181.57/181.62	c  180s |      12 |   103850 |    33319 |    10927      3 |        0 |        0
184.36/184.42	c  183s |      12 |   104323 |    33719 |    10927      3 |        0 |        0
186.76/186.82	c  186s |      12 |   104661 |    34019 |    10927      3 |        0 |        0
189.17/189.24	c  188s |      12 |   105008 |    34319 |    10927      3 |        0 |        0
191.76/191.87	c  191s |      12 |   105350 |    34619 |    10927      3 |        0 |        0
194.26/194.38	c  193s |      12 |   105708 |    34919 |    10927      3 |        0 |        0
197.06/197.15	c  196s |      12 |   106063 |    35219 |    10927      3 |        0 |        0
199.86/199.93	c  199s |      12 |   106428 |    35519 |    10927      3 |        0 |        0
201.86/201.94	c  201s |      12 |   106657 |    35719 |    10927      3 |        0 |        0
203.96/204.04	c  203s |      12 |   106873 |    35919 |    10927      3 |        0 |        0
205.95/206.04	c  205s |      12 |   107104 |    36119 |    10927      3 |        0 |        0
208.76/208.88	c  208s |      12 |   107445 |    36419 |    10927      3 |        0 |        0
211.56/211.69	c  210s |      12 |   107778 |    36719 |    10927      3 |        0 |        0
214.47/214.57	c  213s |      12 |   108131 |    37019 |    10927      3 |        0 |        0
216.56/216.69	c  215s |      12 |   108346 |    37219 |    10927      3 |        0 |        0
218.86/218.96	c  218s |      12 |   108707 |    37519 |    10927      3 |        0 |        0
221.55/221.61	c  220s |      12 |   109061 |    37819 |    10927      3 |        0 |        0
224.16/224.28	c  223s |      12 |   109404 |    38119 |    10927      3 |        0 |        0
227.06/227.10	c  226s |      12 |   109744 |    38419 |    10927      3 |        0 |        0
229.06/229.14	c  228s |      12 |   109972 |    38619 |    12020      3 |        0 |        0
231.06/231.15	c  230s |      13 |   110217 |    38832 |    12020      3 |        0 |        0
234.15/234.28	c  233s |      13 |   115131 |    38932 |    12020      4 |        0 |        0
236.56/236.61	c  235s |      13 |   115626 |    39332 |    12020      4 |        0 |        0
238.76/238.80	c  238s |      13 |   115974 |    39632 |    12020      4 |        0 |        0
240.96/241.09	c  240s |      13 |   116313 |    39932 |    12020      4 |        0 |        0
243.36/243.42	c  242s |      13 |   116661 |    40232 |    12020      4 |        0 |        0
245.65/245.74	c  245s |      13 |   117006 |    40532 |    12020      4 |        0 |        0
247.95/248.09	c  247s |      13 |   117342 |    40832 |    12020      4 |        0 |        0
250.05/250.17	c  249s |      13 |   117696 |    41132 |    12020      4 |        0 |        0
252.25/252.35	c  251s |      13 |   118043 |    41432 |    12020      4 |        0 |        0
254.45/254.51	c  253s |      13 |   118377 |    41732 |    12020      4 |        0 |        0
256.65/256.75	c  256s |      13 |   118713 |    42032 |    12020      4 |        0 |        0
258.95/259.01	c  258s |      13 |   119046 |    42332 |    12020      4 |        0 |        0
261.35/261.45	c  260s |      13 |   119401 |    42632 |    12020      4 |        0 |        0
263.85/263.96	c  263s |      13 |   119724 |    42932 |    12020      4 |        0 |        0
266.55/266.65	c  265s |      13 |   120065 |    43232 |    12020      4 |        0 |        0
269.35/269.50	c  268s |      13 |   120410 |    43532 |    12020      4 |        0 |        0
271.44/271.55	c  270s |      13 |   120629 |    43732 |    12020      4 |        0 |        0
273.45/273.58	c  272s |      13 |   120844 |    43932 |    12020      4 |        0 |        0
275.55/275.65	c  274s |      13 |   121058 |    44132 |    12020      4 |        0 |        0
278.45/278.51	c  277s |      13 |   121387 |    44432 |    12020      4 |        0 |        0
281.35/281.43	c  280s |      13 |   121727 |    44732 |    12020      4 |        0 |        0
284.15/284.26	c  283s |      13 |   122084 |    45032 |    12020      4 |        0 |        0
286.95/287.01	c  286s |      13 |   122411 |    45332 |    12020      4 |        0 |        0
289.75/289.84	c  289s |      13 |   122732 |    45632 |    12020      4 |        0 |        0
292.75/292.84	c  292s |      13 |   123068 |    45932 |    12020      4 |        0 |        0
295.54/295.69	c  294s |      13 |   123388 |    46232 |    12020      4 |        0 |        0
297.64/297.75	c  297s |      13 |   123619 |    46432 |    12020      4 |        0 |        0
299.85/299.90	c  299s |      13 |   123833 |    46632 |    12020      4 |        0 |        0
301.85/301.93	c  301s |      13 |   124038 |    46832 |    12020      4 |        0 |        0
304.54/304.69	c  303s |      13 |   124374 |    47132 |    12020      4 |        0 |        0
307.34/307.49	c  306s |      13 |   124699 |    47432 |    12020      4 |        0 |        0
310.25/310.31	c  309s |      13 |   125044 |    47732 |    12020      4 |        0 |        0
312.94/313.03	c  312s |      13 |   125398 |    48032 |    12020      4 |        0 |        0
315.94/316.01	c  315s |      13 |   125717 |    48332 |    12020      4 |        0 |        0
318.04/318.11	c  317s |      13 |   125933 |    48532 |    12020      4 |        0 |        0
320.15/320.26	c  319s |      13 |   126154 |    48732 |    12020      4 |        0 |        0
323.14/323.21	c  322s |      13 |   126502 |    49032 |    12020      4 |        0 |        0
325.74/325.80	c  325s |      13 |   126839 |    49332 |    12020      4 |        0 |        0
328.54/328.68	c  327s |      13 |   127165 |    49632 |    12020      4 |        0 |        0
330.73/330.83	c  330s |      13 |   127383 |    49832 |    12020      4 |        0 |        0
333.53/333.66	c  332s |      13 |   127698 |    50132 |    12020      4 |        0 |        0
336.54/336.65	c  335s |      13 |   128014 |    50432 |    12020      4 |        0 |        0
341.04/341.15	c  340s |      13 |   128344 |    50732 |    12020      5 |        0 |        0
343.14/343.22	c  342s |      13 |   128611 |    50932 |    12020      5 |        0 |        0
346.04/346.15	c  345s |      13 |   128934 |    51232 |    12020      5 |        0 |        0
348.13/348.24	c  347s |      13 |   129151 |    51432 |    12020      5 |        0 |        0
350.93/351.01	c  350s |      13 |   129516 |    51732 |    12020      5 |        0 |        0
352.93/353.07	c  352s |      13 |   129727 |    51932 |    12020      5 |        0 |        0
355.13/355.21	c  354s |      13 |   129960 |    52132 |    12020      5 |        0 |        0
357.33/357.42	c  356s |      13 |   130177 |    52332 |    12020      5 |        0 |        0
359.42/359.52	c  358s |      13 |   130396 |    52532 |    12020      5 |        0 |        0
361.62/361.73	c  360s |      13 |   130615 |    52732 |    12020      5 |        0 |        0
363.82/363.97	c  363s |      13 |   130848 |    52932 |    12020      5 |        0 |        0
366.02/366.18	c  365s |      13 |   131063 |    53132 |    12020      5 |        0 |        0
368.33/368.47	c  367s |      13 |   131268 |    53332 |    12020      5 |        0 |        0
370.52/370.61	c  369s |      13 |   131483 |    53532 |    12020      5 |        0 |        0
372.62/372.79	c  372s |      13 |   131705 |    53732 |    12020      5 |        0 |        0
374.93/375.09	c  374s |      13 |   131913 |    53932 |    12020      5 |        0 |        0
377.42/377.51	c  376s |      13 |   132129 |    54132 |    12020      5 |        0 |        0
379.72/379.82	c  379s |      13 |   132355 |    54332 |    12020      5 |        0 |        0
381.91/382.03	c  381s |      13 |   132571 |    54532 |    12020      5 |        0 |        0
384.01/384.12	c  383s |      13 |   132789 |    54732 |    12020      5 |        0 |        0
386.22/386.33	c  385s |      13 |   133006 |    54932 |    12020      5 |        0 |        0
388.51/388.63	c  387s |      13 |   133226 |    55132 |    12020      5 |        0 |        0
390.92/391.08	c  390s |      13 |   133439 |    55332 |    12020      5 |        0 |        0
393.41/393.50	c  392s |      13 |   133659 |    55532 |    12020      5 |        0 |        0
395.51/395.61	c  394s |      13 |   133905 |    55732 |    12020      5 |        0 |        0
398.01/398.20	c  397s |      13 |   134239 |    56032 |    12020      5 |        0 |        0
400.80/400.95	c  400s |      13 |   134560 |    56332 |    12020      5 |        0 |        0
403.51/403.66	c  402s |      13 |   134949 |    56632 |    12020      5 |        0 |        0
406.31/406.45	c  405s |      13 |   135267 |    56932 |    12020      5 |        0 |        0
409.21/409.33	c  408s |      13 |   135615 |    57232 |    12020      5 |        0 |        0
411.20/411.37	c  410s |      13 |   135842 |    57432 |    12020      5 |        0 |        0
414.10/414.28	c  413s |      13 |   136198 |    57732 |    12020      5 |        0 |        0
416.20/416.37	c  415s |      13 |   136418 |    57932 |    13223      5 |        0 |        0
418.30/418.49	c  417s |      13 |   136635 |    58132 |    13223      5 |        0 |        0
420.60/420.70	c  419s |      14 |   136892 |    58352 |    13223      5 |        0 |        0
424.40/424.52	c  423s |      14 |   141199 |    58452 |    13223      6 |        0 |        0
426.50/426.62	c  425s |      14 |   141795 |    58952 |    13223      6 |        0 |        0
428.60/428.77	c  428s |      14 |   142387 |    59452 |    13223      6 |        0 |        0
430.99/431.13	c  430s |      14 |   142944 |    59952 |    13223      6 |        0 |        0
433.09/433.29	c  432s |      14 |   143389 |    60352 |    13223      6 |        0 |        0
435.29/435.44	c  434s |      14 |   143857 |    60752 |    13223      6 |        0 |        0
437.59/437.71	c  436s |      14 |   144287 |    61152 |    13223      6 |        0 |        0
439.70/439.86	c  439s |      14 |   144885 |    61652 |    13223      6 |        0 |        0
441.70/441.89	c  441s |      14 |   145363 |    62052 |    13223      6 |        0 |        0
444.00/444.10	c  443s |      14 |   145813 |    62452 |    13223      6 |        0 |        0
446.29/446.40	c  445s |      14 |   146273 |    62852 |    13223      6 |        0 |        0
448.80/448.98	c  448s |      14 |   146830 |    63352 |    13223      6 |        0 |        0
450.89/451.09	c  450s |      14 |   147157 |    63652 |    13223      6 |        0 |        0
452.99/453.13	c  452s |      14 |   147477 |    63952 |    13223      6 |        0 |        0
455.30/455.47	c  454s |      14 |   147952 |    64352 |    13223      6 |        0 |        0
457.79/457.94	c  457s |      14 |   148465 |    64752 |    13223      6 |        0 |        0
460.09/460.29	c  459s |      14 |   149029 |    65152 |    13223      6 |        0 |        0
462.79/462.94	c  462s |      14 |   149497 |    65552 |    13223      6 |        0 |        0
465.29/465.46	c  464s |      14 |   149967 |    65952 |    13223      6 |        0 |        0
467.59/467.78	c  467s |      14 |   150436 |    66352 |    13223      6 |        0 |        0
470.29/470.46	c  469s |      14 |   150920 |    66752 |    13223      6 |        0 |        0
472.39/472.50	c  471s |      14 |   151264 |    67052 |    13223      6 |        0 |        0
474.89/475.02	c  474s |      14 |   151708 |    67452 |    13223      6 |        0 |        0
477.59/477.70	c  476s |      14 |   152142 |    67852 |    13223      6 |        0 |        0
480.08/480.27	c  479s |      14 |   152599 |    68252 |    13223      6 |        0 |        0
482.08/482.28	c  481s |      14 |   152934 |    68552 |    13223      6 |        0 |        0
484.78/484.92	c  484s |      14 |   153393 |    68952 |    13223      6 |        0 |        0
487.38/487.54	c  486s |      14 |   153861 |    69352 |    13223      6 |        0 |        0
489.67/489.89	c  489s |      14 |   154192 |    69652 |    13223      6 |        0 |        0
492.18/492.31	c  491s |      14 |   154517 |    69952 |    13223      6 |        0 |        0
494.48/494.63	c  493s |      14 |   154861 |    70252 |    13223      6 |        0 |        0
496.68/496.87	c  496s |      14 |   155211 |    70552 |    13223      6 |        0 |        0
498.97/499.19	c  498s |      14 |   155541 |    70852 |    13223      6 |        0 |        0
501.37/501.52	c  500s |      14 |   155859 |    71152 |    13223      6 |        0 |        0
503.67/503.89	c  503s |      14 |   156209 |    71452 |    13223      6 |        0 |        0
506.17/506.32	c  505s |      14 |   156557 |    71752 |    13223      6 |        0 |        0
510.37/510.56	c  509s |      14 |   157015 |    72152 |    13223      7 |        0 |        0
513.07/513.21	c  512s |      14 |   157469 |    72552 |    13223      7 |        0 |        0
515.47/515.67	c  514s |      14 |   157936 |    72952 |    13223      7 |        0 |        0
517.97/518.13	c  517s |      14 |   158296 |    73252 |    13223      7 |        0 |        0
520.46/520.67	c  519s |      14 |   158792 |    73652 |    13223      7 |        0 |        0
522.77/522.99	c  522s |      14 |   159118 |    73952 |    13223      7 |        0 |        0
525.06/525.25	c  524s |      14 |   159486 |    74252 |    13223      7 |        0 |        0
527.16/527.36	c  526s |      14 |   159832 |    74552 |    13223      7 |        0 |        0
529.26/529.45	c  528s |      14 |   160189 |    74852 |    13223      7 |        0 |        0
531.36/531.56	c  530s |      14 |   160524 |    75152 |    13223      7 |        0 |        0
534.05/534.27	c  533s |      14 |   161009 |    75552 |    13223      7 |        0 |        0
536.26/536.45	c  535s |      14 |   161353 |    75852 |    13223      7 |        0 |        0
538.66/538.88	c  538s |      14 |   161689 |    76152 |    13223      7 |        0 |        0
541.36/541.53	c  540s |      14 |   162013 |    76452 |    13223      7 |        0 |        0
543.95/544.17	c  543s |      14 |   162383 |    76752 |    13223      7 |        0 |        0
546.46/546.62	c  545s |      14 |   162727 |    77052 |    13223      7 |        0 |        0
548.86/549.06	c  548s |      14 |   163100 |    77352 |    13223      7 |        0 |        0
551.35/551.51	c  550s |      14 |   163455 |    77652 |    13223      7 |        0 |        0
553.76/553.98	c  553s |      14 |   163851 |    77952 |    13223      7 |        0 |        0
556.35/556.55	c  555s |      14 |   164217 |    78252 |    13223      7 |        0 |        0
559.05/559.27	c  558s |      14 |   164574 |    78552 |    13223      7 |        0 |        0
561.74/561.98	c  561s |      14 |   164923 |    78852 |    13223      7 |        0 |        0
564.55/564.78	c  564s |      14 |   165288 |    79152 |    13223      7 |        0 |        0
567.14/567.31	c  566s |      14 |   165674 |    79452 |    13223      7 |        0 |        0
569.94/570.15	c  569s |      14 |   166059 |    79752 |    13223      7 |        0 |        0
572.34/572.55	c  571s |      14 |   166393 |    80052 |    13223      7 |        0 |        0
574.94/575.13	c  574s |      14 |   166730 |    80352 |    13223      7 |        0 |        0
577.35/577.57	c  576s |      14 |   167086 |    80652 |    13223      7 |        0 |        0
579.83/580.08	c  579s |      14 |   167439 |    80952 |    13223      7 |        0 |        0
582.33/582.56	c  581s |      14 |   167768 |    81252 |    13223      7 |        0 |        0
584.74/584.91	c  584s |      14 |   168134 |    81552 |    13223      7 |        0 |        0
587.44/587.64	c  586s |      14 |   168456 |    81852 |    13223      7 |        0 |        0
590.03/590.21	c  589s |      14 |   168814 |    82152 |    13223      7 |        0 |        0
592.53/592.76	c  592s |      14 |   169134 |    82452 |    13223      7 |        0 |        0
595.04/595.21	c  594s |      14 |   169505 |    82752 |    13223      7 |        0 |        0
597.73/597.97	c  597s |      14 |   169834 |    83052 |    13223      7 |        0 |        0
600.43/600.64	c  599s |      14 |   170171 |    83352 |    13223      7 |        0 |        0
602.42/602.65	c  601s |      14 |   170400 |    83552 |    13223      7 |        0 |        0
605.22/605.42	c  604s |      14 |   170506 |    83652 |    13223      8 |        0 |        0
607.43/607.61	c  606s |      14 |   170903 |    83952 |    13223      8 |        0 |        0
609.52/609.77	c  609s |      14 |   171256 |    84252 |    13223      8 |        0 |        0
611.62/611.82	c  611s |      14 |   171610 |    84552 |    13223      8 |        0 |        0
613.82/614.00	c  613s |      14 |   171937 |    84852 |    13223      8 |        0 |        0
615.93/616.16	c  615s |      14 |   172259 |    85152 |    13223      8 |        0 |        0
618.23/618.40	c  617s |      14 |   172609 |    85452 |    13223      8 |        0 |        0
620.23/620.45	c  619s |      14 |   172946 |    85752 |    13223      8 |        0 |        0
622.32/622.60	c  621s |      14 |   173268 |    86052 |    13223      8 |        0 |        0
624.63/624.83	c  624s |      14 |   173600 |    86352 |    13223      8 |        0 |        0
626.62/626.85	c  626s |      14 |   173948 |    86652 |    13223      8 |        0 |        0
628.72/628.98	c  628s |      14 |   174289 |    86952 |    14546      8 |        0 |        0
630.82/631.04	c  630s |      14 |   174556 |    87152 |    14546      8 |        0 |        0
633.61/633.80	c  633s |      14 |   174926 |    87452 |    14546      8 |        0 |        0
635.02/635.26	c  634s |      15 |   175125 |    87632 |    14546      8 |        0 |        0
637.31/637.56	c  636s |      15 |   178625 |    87732 |    14546      9 |        0 |        0
639.51/639.77	c  639s |      15 |   179435 |    88432 |    14546      9 |        0 |        0
641.61/641.84	c  641s |      15 |   180103 |    89032 |    14546      9 |        0 |        0
644.02/644.25	c  643s |      15 |   180784 |    89632 |    14546      9 |        0 |        0
646.32/646.53	c  645s |      15 |   181341 |    90132 |    14546      9 |        0 |        0
648.52/648.78	c  648s |      15 |   181907 |    90632 |    14546      9 |        0 |        0
650.72/650.94	c  650s |      15 |   182474 |    91132 |    14546      9 |        0 |        0
653.11/653.38	c  652s |      15 |   183005 |    91632 |    14546      9 |        0 |        0
655.61/655.80	c  655s |      15 |   183548 |    92132 |    14546      9 |        0 |        0
658.01/658.29	c  657s |      15 |   184093 |    92632 |    14546      9 |        0 |        0
660.11/660.34	c  659s |      15 |   184539 |    93032 |    14546      9 |        0 |        0
662.51/662.70	c  661s |      15 |   185109 |    93532 |    14546      9 |        0 |        0
664.71/664.91	c  664s |      15 |   185712 |    94032 |    14546      9 |        0 |        0
666.71/666.99	c  666s |      15 |   186154 |    94432 |    14546      9 |        0 |        0
668.91/669.17	c  668s |      15 |   186620 |    94832 |    14546      9 |        0 |        0
671.01/671.25	c  670s |      15 |   187086 |    95232 |    14546      9 |        0 |        0
673.30/673.57	c  672s |      15 |   187548 |    95632 |    14546      9 |        0 |        0
675.40/675.65	c  674s |      15 |   187979 |    96032 |    14546      9 |        0 |        0
677.60/677.88	c  677s |      15 |   188453 |    96432 |    14546      9 |        0 |        0
680.01/680.24	c  679s |      15 |   188908 |    96832 |    14546      9 |        0 |        0
682.60/682.89	c  682s |      15 |   189345 |    97232 |    14546      9 |        0 |        0
685.30/685.51	c  684s |      15 |   189788 |    97632 |    14546      9 |        0 |        0
687.90/688.14	c  687s |      15 |   190219 |    98032 |    14546      9 |        0 |        0
690.00/690.23	c  689s |      15 |   190557 |    98332 |    14546      9 |        0 |        0
691.99/692.26	c  691s |      15 |   190901 |    98632 |    14546      9 |        0 |        0
694.10/694.33	c  693s |      15 |   191225 |    98932 |    14546      9 |        0 |        0
696.21/696.42	c  695s |      15 |   191560 |    99232 |    14546      9 |        0 |        0
698.50/698.75	c  698s |      15 |   191873 |    99532 |    14546      9 |        0 |        0
700.69/700.94	c  700s |      15 |   192225 |    99832 |    14546      9 |        0 |        0
703.39/703.61	c  702s |      15 |   192681 |   100232 |    14546      9 |        0 |        0
705.39/705.65	c  704s |      15 |   193025 |   100532 |    14546      9 |        0 |        0
707.59/707.83	c  707s |      15 |   193482 |   100932 |    14546      9 |        0 |        0
710.10/710.33	c  709s |      15 |   194079 |   101432 |    14546      9 |        0 |        0
712.70/712.92	c  712s |      15 |   194525 |   101832 |    14546      9 |        0 |        0
714.69/714.94	c  714s |      15 |   194860 |   102132 |    14546      9 |        0 |        0
716.90/717.13	c  716s |      15 |   195181 |   102432 |    14546      9 |        0 |        0
719.10/719.32	c  718s |      15 |   195495 |   102732 |    14546      9 |        0 |        0
721.19/721.42	c  720s |      15 |   195819 |   103032 |    14546      9 |        0 |        0
723.49/723.70	c  722s |      15 |   196152 |   103332 |    14546      9 |        0 |        0
725.80/726.08	c  725s |      15 |   196487 |   103632 |    14546      9 |        0 |        0
728.19/728.44	c  727s |      15 |   196818 |   103932 |    14546      9 |        0 |        0
730.58/730.87	c  730s |      15 |   197125 |   104232 |    14546      9 |        0 |        0
732.69/732.93	c  732s |      15 |   197240 |   104332 |    14546     10 |        0 |        0
735.09/735.36	c  734s |      15 |   197559 |   104632 |    14546     10 |        0 |        0
737.19/737.48	c  736s |      15 |   197890 |   104932 |    14546     10 |        0 |        0
739.29/739.55	c  738s |      15 |   198232 |   105232 |    14546     10 |        0 |        0
741.68/741.96	c  741s |      15 |   198657 |   105632 |    14546     10 |        0 |        0
744.29/744.57	c  743s |      15 |   199091 |   106032 |    14546     10 |        0 |        0
746.89/747.14	c  746s |      15 |   199515 |   106432 |    14546     10 |        0 |        0
748.99/749.21	c  748s |      15 |   199851 |   106732 |    14546     10 |        0 |        0
751.38/751.65	c  750s |      15 |   200293 |   107132 |    14546     10 |        0 |        0
753.48/753.72	c  752s |      15 |   200619 |   107432 |    14546     10 |        0 |        0
755.48/755.77	c  755s |      15 |   200942 |   107732 |    14546     10 |        0 |        0
757.58/757.83	c  757s |      15 |   201268 |   108032 |    14546     10 |        0 |        0
759.77/760.04	c  759s |      15 |   201604 |   108332 |    14546     10 |        0 |        0
761.88/762.20	c  761s |      15 |   201917 |   108632 |    14546     10 |        0 |        0
764.39/764.63	c  763s |      15 |   202244 |   108932 |    14546     10 |        0 |        0
766.88/767.11	c  766s |      15 |   202564 |   109232 |    14546     10 |        0 |        0
769.57/769.80	c  769s |      15 |   203004 |   109632 |    14546     10 |        0 |        0
771.68/771.97	c  771s |      15 |   203325 |   109932 |    14546     10 |        0 |        0
773.88/774.12	c  773s |      15 |   203645 |   110232 |    14546     10 |        0 |        0
776.07/776.31	c  775s |      15 |   203971 |   110532 |    14546     10 |        0 |        0
778.47/778.74	c  778s |      15 |   204314 |   110832 |    14546     10 |        0 |        0
780.88/781.11	c  780s |      15 |   204638 |   111132 |    14546     10 |        0 |        0
783.17/783.45	c  782s |      15 |   204958 |   111432 |    14546     10 |        0 |        0
785.57/785.83	c  785s |      15 |   205270 |   111732 |    14546     10 |        0 |        0
787.87/788.10	c  787s |      15 |   205601 |   112032 |    14546     10 |        0 |        0
790.27/790.56	c  789s |      15 |   205929 |   112332 |    14546     10 |        0 |        0
792.66/792.90	c  792s |      15 |   206256 |   112632 |    14546     10 |        0 |        0
795.08/795.31	c  794s |      15 |   206590 |   112932 |    14546     10 |        0 |        0
797.57/797.83	c  797s |      15 |   206908 |   113232 |    14546     10 |        0 |        0
799.96/800.23	c  799s |      15 |   207219 |   113532 |    14546     10 |        0 |        0
802.46/802.70	c  801s |      15 |   207547 |   113832 |    14546     10 |        0 |        0
804.96/805.29	c  804s |      15 |   207893 |   114132 |    14546     10 |        0 |        0
807.66/807.99	c  807s |      15 |   208209 |   114432 |    14546     10 |        0 |        0
810.26/810.54	c  809s |      15 |   208539 |   114732 |    14546     10 |        0 |        0
812.67/812.95	c  812s |      15 |   208864 |   115032 |    14546     10 |        0 |        0
815.06/815.39	c  814s |      15 |   209310 |   115432 |    14546     10 |        0 |        0
817.76/818.05	c  817s |      15 |   209753 |   115832 |    14546     10 |        0 |        0
819.85/820.15	c  819s |      15 |   210075 |   116132 |    14546     10 |        0 |        0
822.16/822.41	c  821s |      15 |   210395 |   116432 |    14546     10 |        0 |        0
824.46/824.71	c  823s |      15 |   210521 |   116532 |    14546     11 |        0 |        0
827.06/827.35	c  826s |      15 |   210952 |   116932 |    14546     11 |        0 |        0
829.26/829.55	c  828s |      15 |   211295 |   117232 |    14546     11 |        0 |        0
831.75/832.08	c  831s |      15 |   211768 |   117632 |    14546     11 |        0 |        0
834.95/835.26	c  834s |      15 |   211872 |   117732 |    14546     11 |        0 |        0
837.46/837.78	c  837s |      15 |   212304 |   118132 |    14546     11 |        0 |        0
839.95/840.25	c  839s |      15 |   212744 |   118532 |    14546     11 |        0 |        0
842.55/842.89	c  842s |      15 |   213199 |   118932 |    14546     11 |        0 |        0
845.26/845.50	c  844s |      15 |   213651 |   119332 |    14546     11 |        0 |        0
847.55/847.87	c  847s |      15 |   214087 |   119732 |    14546     11 |        0 |        0
850.25/850.50	c  849s |      15 |   214527 |   120132 |    14546     11 |        0 |        0
852.75/853.05	c  852s |      15 |   214955 |   120532 |    14546     11 |        0 |        0
854.95/855.22	c  854s |      15 |   215276 |   120832 |    14546     11 |        0 |        0
857.05/857.38	c  856s |      15 |   215598 |   121132 |    14546     11 |        0 |        0
859.15/859.47	c  858s |      15 |   215917 |   121432 |    14546     11 |        0 |        0
861.75/862.03	c  861s |      15 |   216346 |   121832 |    14546     11 |        0 |        0
863.75/864.03	c  863s |      15 |   216695 |   122132 |    14546     11 |        0 |        0
866.34/866.61	c  865s |      15 |   217125 |   122532 |    14546     11 |        0 |        0
868.34/868.64	c  867s |      15 |   217455 |   122832 |    14546     11 |        0 |        0
870.54/870.84	c  870s |      15 |   217782 |   123132 |    14546     11 |        0 |        0
872.74/873.10	c  872s |      15 |   218100 |   123432 |    14546     11 |        0 |        0
874.85/875.14	c  874s |      15 |   218443 |   123732 |    14546     11 |        0 |        0
876.84/877.15	c  876s |      15 |   218775 |   124032 |    14546     11 |        0 |        0
879.04/879.34	c  878s |      15 |   219091 |   124332 |    14546     11 |        0 |        0
881.04/881.35	c  880s |      15 |   219403 |   124632 |    14546     11 |        0 |        0
883.14/883.49	c  882s |      15 |   219721 |   124932 |    14546     11 |        0 |        0
885.24/885.59	c  884s |      15 |   220037 |   125232 |    14546     11 |        0 |        0
887.33/887.61	c  886s |      15 |   220358 |   125532 |    14546     11 |        0 |        0
889.34/889.65	c  888s |      15 |   220675 |   125832 |    14546     11 |        0 |        0
891.53/891.82	c  891s |      15 |   220994 |   126132 |    14546     11 |        0 |        0
893.63/893.91	c  893s |      15 |   221332 |   126432 |    14546     11 |        0 |        0
896.25/896.53	c  895s |      15 |   221782 |   126832 |    14546     11 |        0 |        0
898.74/899.00	c  898s |      15 |   222231 |   127232 |    14546     11 |        0 |        0
901.33/901.60	c  900s |      15 |   222653 |   127632 |    14546     11 |        0 |        0
903.33/903.69	c  902s |      15 |   223013 |   127932 |    14546     11 |        0 |        0
905.43/905.79	c  905s |      15 |   223347 |   128232 |    14546     11 |        0 |        0
908.03/908.33	c  907s |      15 |   223780 |   128632 |    14546     11 |        0 |        0
911.43/911.70	c  910s |      15 |   223990 |   128832 |    14546     12 |        0 |        0
913.83/914.18	c  913s |      15 |   224413 |   129232 |    14546     12 |        0 |        0
916.32/916.60	c  915s |      15 |   224851 |   129632 |    14546     12 |        0 |        0
918.43/918.71	c  917s |      15 |   225175 |   129932 |    14546     12 |        0 |        0
920.44/920.74	c  920s |      15 |   225488 |   130232 |    14546     12 |        0 |        0
922.43/922.75	c  922s |      15 |   225824 |   130532 |    14546     12 |        0 |        0
925.03/925.34	c  924s |      15 |   226247 |   130932 |    16001     12 |        0 |        0
927.03/927.36	c  926s |      15 |   226577 |   131232 |    16001     12 |        0 |        0
928.92/929.28	c  928s |      16 |   226915 |   131552 |    16001     12 |        0 |        0
931.02/931.32	c  930s |      16 |   230660 |   132052 |    16001     12 |        0 |        0
933.12/933.43	c  932s |      16 |   231555 |   132752 |    16001     12 |        0 |        0
935.23/935.55	c  934s |      16 |   232234 |   133352 |    16001     12 |        0 |        0
937.43/937.71	c  936s |      16 |   232920 |   133952 |    16001     12 |        0 |        0
939.62/939.96	c  939s |      16 |   233606 |   134552 |    16001     12 |        0 |        0
941.82/942.19	c  941s |      16 |   234145 |   135052 |    16001     12 |        0 |        0
943.92/944.25	c  943s |      16 |   234731 |   135552 |    16001     12 |        0 |        0
946.13/946.47	c  945s |      16 |   235288 |   136052 |    16001     12 |        0 |        0
948.23/948.59	c  947s |      16 |   235879 |   136552 |    16001     12 |        0 |        0
950.62/950.91	c  950s |      16 |   236468 |   137052 |    16001     12 |        0 |        0
953.02/953.33	c  952s |      16 |   237015 |   137552 |    16001     12 |        0 |        0
955.42/955.73	c  955s |      16 |   237549 |   138052 |    16001     12 |        0 |        0
957.83/958.16	c  957s |      16 |   238008 |   138452 |    16001     12 |        0 |        0
960.13/960.42	c  959s |      16 |   238469 |   138852 |    16001     12 |        0 |        0
962.52/962.80	c  962s |      16 |   239040 |   139352 |    16001     12 |        0 |        0
964.62/964.92	c  964s |      16 |   239497 |   139752 |    16001     12 |        0 |        0
967.02/967.30	c  966s |      16 |   240072 |   140252 |    16001     12 |        0 |        0
969.32/969.69	c  968s |      16 |   240641 |   140752 |    16001     12 |        0 |        0
971.52/971.86	c  971s |      16 |   241103 |   141152 |    16001     12 |        0 |        0
973.72/974.09	c  973s |      16 |   241537 |   141552 |    16001     12 |        0 |        0
975.92/976.28	c  975s |      16 |   241969 |   141952 |    16001     12 |        0 |        0
979.61/979.97	c  979s |      16 |   242528 |   142452 |    16001     13 |        0 |        0
981.81/982.13	c  981s |      16 |   243001 |   142852 |    16001     13 |        0 |        0
984.02/984.35	c  983s |      16 |   243437 |   143252 |    16001     13 |        0 |        0
986.42/986.76	c  986s |      16 |   243907 |   143652 |    16001     13 |        0 |        0
988.62/988.99	c  988s |      16 |   244337 |   144052 |    16001     13 |        0 |        0
990.82/991.10	c  990s |      16 |   244798 |   144452 |    16001     13 |        0 |        0
992.91/993.25	c  992s |      16 |   245223 |   144852 |    16001     13 |        0 |        0
995.01/995.40	c  994s |      16 |   245649 |   145252 |    16001     13 |        0 |        0
997.52/997.86	c  997s |      16 |   246069 |   145652 |    16001     13 |        0 |        0
999.91/1000.29	c  999s |      16 |   246498 |   146052 |    16001     13 |        0 |        0
1002.21/1002.60	c 1001s |      16 |   246922 |   146452 |    16001     13 |        0 |        0
1004.81/1005.10	c 1004s |      16 |   247377 |   146852 |    16001     13 |        0 |        0
1007.32/1007.66	c 1006s |      16 |   247808 |   147252 |    16001     13 |        0 |        0
1009.91/1010.21	c 1009s |      16 |   248243 |   147652 |    16001     13 |        0 |        0
1012.31/1012.63	c 1011s |      16 |   248705 |   148052 |    16001     13 |        0 |        0
1014.61/1014.98	c 1014s |      16 |   249143 |   148452 |    16001     13 |        0 |        0
1016.81/1017.13	c 1016s |      16 |   249606 |   148852 |    16001     13 |        0 |        0
1019.00/1019.34	c 1018s |      16 |   250042 |   149252 |    16001     13 |        0 |        0
1021.31/1021.64	c 1020s |      16 |   250463 |   149652 |    16001     13 |        0 |        0
1023.71/1024.03	c 1023s |      16 |   250896 |   150052 |    16001     13 |        0 |        0
1025.70/1026.08	c 1025s |      16 |   251214 |   150352 |    16001     13 |        0 |        0
1028.51/1028.85	c 1028s |      16 |   251665 |   150752 |    16001     13 |        0 |        0
1030.71/1031.00	c 1030s |      16 |   251978 |   151052 |    16001     13 |        0 |        0
1032.91/1033.25	c 1032s |      16 |   252306 |   151352 |    16001     13 |        0 |        0
1035.10/1035.44	c 1034s |      16 |   252663 |   151652 |    16001     13 |        0 |        0
1037.40/1037.70	c 1036s |      16 |   252976 |   151952 |    16001     13 |        0 |        0
1039.60/1039.96	c 1039s |      16 |   253320 |   152252 |    16001     13 |        0 |        0
1041.90/1042.28	c 1041s |      16 |   253646 |   152552 |    16001     13 |        0 |        0
1044.01/1044.36	c 1043s |      16 |   253976 |   152852 |    16001     13 |        0 |        0
1046.20/1046.54	c 1045s |      16 |   254305 |   153152 |    16001     13 |        0 |        0
1048.70/1049.01	c 1048s |      16 |   254629 |   153452 |    16001     13 |        0 |        0
1050.90/1051.26	c 1050s |      16 |   254948 |   153752 |    16001     13 |        0 |        0
1053.30/1053.60	c 1052s |      16 |   255268 |   154052 |    16001     13 |        0 |        0
1055.90/1056.26	c 1055s |      16 |   255704 |   154452 |    16001     13 |        0 |        0
1058.20/1058.58	c 1057s |      16 |   256058 |   154752 |    16001     13 |        0 |        0
1060.40/1060.70	c 1059s |      16 |   256381 |   155052 |    16001     13 |        0 |        0
1064.10/1064.41	c 1063s |      16 |   256716 |   155352 |    16001     14 |        0 |        0
1066.20/1066.52	c 1065s |      16 |   257166 |   155752 |    16001     14 |        0 |        0
1068.40/1068.77	c 1068s |      16 |   257610 |   156152 |    16001     14 |        0 |        0
1070.79/1071.11	c 1070s |      16 |   258054 |   156552 |    16001     14 |        0 |        0
1073.19/1073.58	c 1072s |      16 |   258479 |   156952 |    16001     14 |        0 |        0
1075.69/1076.03	c 1075s |      16 |   258941 |   157352 |    16001     14 |        0 |        0
1078.20/1078.52	c 1077s |      16 |   259374 |   157752 |    16001     14 |        0 |        0
1080.49/1080.87	c 1080s |      16 |   259811 |   158152 |    16001     14 |        0 |        0
1083.30/1083.63	c 1082s |      16 |   260143 |   158452 |    16001     14 |        0 |        0
1085.50/1085.84	c 1085s |      16 |   260588 |   158852 |    16001     14 |        0 |        0
1087.70/1088.04	c 1087s |      16 |   261046 |   159252 |    16001     14 |        0 |        0
1089.70/1090.09	c 1089s |      16 |   261379 |   159552 |    16001     14 |        0 |        0
1092.29/1092.69	c 1091s |      16 |   261803 |   159952 |    16001     14 |        0 |        0
1094.79/1095.17	c 1094s |      16 |   262249 |   160352 |    16001     14 |        0 |        0
1097.39/1097.74	c 1097s |      16 |   262707 |   160752 |    16001     14 |        0 |        0
1099.38/1099.75	c 1099s |      16 |   263037 |   161052 |    16001     14 |        0 |        0
1101.99/1102.32	c 1101s |      16 |   263481 |   161452 |    16001     14 |        0 |        0
1104.49/1104.83	c 1104s |      16 |   263912 |   161852 |    16001     14 |        0 |        0
1106.49/1106.84	c 1106s |      16 |   264252 |   162152 |    16001     14 |        0 |        0
1108.68/1109.05	c 1108s |      16 |   264712 |   162552 |    16001     14 |        0 |        0
1111.08/1111.44	c 1110s |      16 |   265174 |   162952 |    16001     14 |        0 |        0
1113.59/1113.96	c 1113s |      16 |   265614 |   163352 |    16001     14 |        0 |        0
1115.68/1116.09	c 1115s |      16 |   265953 |   163652 |    16001     14 |        0 |        0
1117.88/1118.25	c 1117s |      16 |   266292 |   163952 |    16001     14 |        0 |        0
1120.09/1120.41	c 1119s |      16 |   266646 |   164252 |    16001     14 |        0 |        0
1122.18/1122.52	c 1121s |      16 |   266984 |   164552 |    16001     14 |        0 |        0
1124.58/1124.96	c 1124s |      16 |   267426 |   164952 |    16001     14 |        0 |        0
1127.19/1127.56	c 1126s |      16 |   267861 |   165352 |    16001     14 |        0 |        0
1129.58/1129.91	c 1129s |      16 |   268320 |   165752 |    16001     14 |        0 |        0
1131.58/1131.99	c 1131s |      16 |   268654 |   166052 |    16001     14 |        0 |        0
1133.78/1134.17	c 1133s |      16 |   268991 |   166352 |    16001     14 |        0 |        0
1135.88/1136.25	c 1135s |      16 |   269305 |   166652 |    16001     14 |        0 |        0
1138.19/1138.56	c 1137s |      16 |   269635 |   166952 |    16001     14 |        0 |        0
1140.48/1140.83	c 1140s |      16 |   269974 |   167252 |    16001     14 |        0 |        0
1142.57/1142.92	c 1142s |      16 |   270298 |   167552 |    16001     14 |        0 |        0
1145.18/1145.58	c 1144s |      16 |   270741 |   167952 |    16001     14 |        0 |        0
1149.17/1149.51	c 1148s |      16 |   271074 |   168252 |    16001     15 |        0 |        0
1151.48/1151.88	c 1151s |      16 |   271495 |   168652 |    16001     15 |        0 |        0
1155.47/1155.85	c 1155s |      16 |   271840 |   168952 |    16001     15 |        0 |        0
1157.87/1158.29	c 1157s |      16 |   272419 |   169452 |    16001     15 |        0 |        0
1160.07/1160.47	c 1159s |      16 |   272874 |   169852 |    16001     15 |        0 |        0
1162.37/1162.78	c 1162s |      16 |   273331 |   170252 |    16001     15 |        0 |        0
1164.57/1164.99	c 1164s |      16 |   273800 |   170652 |    16001     15 |        0 |        0
1166.96/1167.36	c 1166s |      16 |   274261 |   171052 |    16001     15 |        0 |        0
1169.56/1169.91	c 1169s |      16 |   274726 |   171452 |    16001     15 |        0 |        0
1172.06/1172.45	c 1171s |      16 |   275164 |   171852 |    16001     15 |        0 |        0
1174.06/1174.49	c 1173s |      16 |   275501 |   172152 |    16001     15 |        0 |        0
1176.36/1176.79	c 1176s |      16 |   275949 |   172552 |    16001     15 |        0 |        0
1178.46/1178.81	c 1178s |      16 |   276273 |   172852 |    16001     15 |        0 |        0
1180.96/1181.37	c 1180s |      16 |   276711 |   173252 |    16001     15 |        0 |        0
1183.37/1183.77	c 1183s |      16 |   277153 |   173652 |    16001     15 |        0 |        0
1185.86/1186.23	c 1185s |      16 |   277617 |   174052 |    16001     15 |        0 |        0
1188.36/1188.78	c 1188s |      16 |   278073 |   174452 |    16001     15 |        0 |        0
1190.85/1191.25	c 1190s |      16 |   278504 |   174852 |    16001     15 |        0 |        0
1193.46/1193.80	c 1193s |      16 |   278953 |   175252 |    16001     15 |        0 |        0
1195.86/1196.28	c 1195s |      16 |   279402 |   175652 |    16001     15 |        0 |        0
1198.25/1198.67	c 1197s |      16 |   279861 |   176052 |    16001     15 |        0 |        0
1200.65/1201.07	c 1200s |      16 |   280313 |   176452 |    16001     15 |        0 |        0
1202.75/1203.12	c 1202s |      16 |   280665 |   176752 |    16001     15 |        0 |        0
1204.75/1205.15	c 1204s |      16 |   280989 |   177052 |    16001     15 |        0 |        0
1207.15/1207.50	c 1206s |      16 |   281331 |   177352 |    16001     15 |        0 |        0
1209.35/1209.71	c 1208s |      16 |   281667 |   177652 |    16001     15 |        0 |        0
1211.45/1211.83	c 1211s |      16 |   282008 |   177952 |    16001     15 |        0 |        0
1213.55/1213.94	c 1213s |      16 |   282322 |   178252 |    16001     15 |        0 |        0
1215.75/1216.13	c 1215s |      16 |   282654 |   178552 |    16001     15 |        0 |        0
1218.04/1218.44	c 1217s |      16 |   282991 |   178852 |    16001     15 |        0 |        0
1220.15/1220.56	c 1219s |      16 |   283337 |   179152 |    16001     15 |        0 |        0
1222.34/1222.76	c 1222s |      16 |   283670 |   179452 |    16001     15 |        0 |        0
1224.75/1225.19	c 1224s |      16 |   284010 |   179752 |    16001     15 |        0 |        0
1227.05/1227.44	c 1226s |      16 |   284367 |   180052 |    16001     15 |        0 |        0
1229.35/1229.79	c 1229s |      16 |   284707 |   180352 |    16001     15 |        0 |        0
1231.95/1232.32	c 1231s |      16 |   285061 |   180652 |    16001     15 |        0 |        0
1234.54/1234.94	c 1234s |      16 |   285399 |   180952 |    16001     15 |        0 |        0
1239.54/1239.96	c 1239s |      16 |   285746 |   181252 |    16001     16 |        0 |        0
1241.55/1241.99	c 1241s |      16 |   286093 |   181552 |    16001     16 |        0 |        0
1244.25/1244.66	c 1243s |      16 |   286564 |   181952 |    16001     16 |        0 |        0
1246.74/1247.10	c 1246s |      16 |   286908 |   182252 |    16001     16 |        0 |        0
1249.05/1249.42	c 1248s |      16 |   287254 |   182552 |    16001     16 |        0 |        0
1251.14/1251.50	c 1250s |      16 |   287587 |   182852 |    16001     16 |        0 |        0
1253.14/1253.59	c 1252s |      16 |   287909 |   183152 |    16001     16 |        0 |        0
1255.34/1255.78	c 1255s |      16 |   288265 |   183452 |    16001     16 |        0 |        0
1257.54/1257.95	c 1257s |      16 |   288619 |   183752 |    16001     16 |        0 |        0
1259.93/1260.33	c 1259s |      16 |   288939 |   184052 |    16001     16 |        0 |        0
1262.04/1262.49	c 1261s |      16 |   289285 |   184352 |    16001     16 |        0 |        0
1264.14/1264.53	c 1263s |      16 |   289671 |   184652 |    16001     16 |        0 |        0
1266.24/1266.68	c 1265s |      16 |   290019 |   184952 |    16001     16 |        0 |        0
1268.93/1269.38	c 1268s |      16 |   290499 |   185352 |    16001     16 |        0 |        0
1271.03/1271.46	c 1270s |      16 |   290845 |   185652 |    16001     16 |        0 |        0
1273.14/1273.50	c 1272s |      16 |   291174 |   185952 |    16001     16 |        0 |        0
1275.13/1275.56	c 1274s |      16 |   291540 |   186252 |    16001     16 |        0 |        0
1277.74/1278.17	c 1277s |      16 |   291974 |   186652 |    16001     16 |        0 |        0
1279.83/1280.28	c 1279s |      16 |   292311 |   186952 |    16001     16 |        0 |        0
1282.53/1282.96	c 1282s |      16 |   292788 |   187352 |    16001     16 |        0 |        0
1284.63/1285.01	c 1284s |      16 |   293125 |   187652 |    16001     16 |        0 |        0
1286.83/1287.21	c 1286s |      16 |   293457 |   187952 |    16001     16 |        0 |        0
1288.94/1289.35	c 1288s |      16 |   293796 |   188252 |    16001     16 |        0 |        0
1291.62/1292.01	c 1291s |      16 |   294238 |   188652 |    16001     16 |        0 |        0
1293.72/1294.12	c 1293s |      16 |   294576 |   188952 |    16001     16 |        0 |        0
1295.83/1296.25	c 1295s |      16 |   294914 |   189252 |    16001     16 |        0 |        0
1298.02/1298.46	c 1297s |      16 |   295263 |   189552 |    16001     16 |        0 |        0
1300.32/1300.71	c 1299s |      16 |   295600 |   189852 |    16001     16 |        0 |        0
1302.52/1302.95	c 1302s |      16 |   295950 |   190152 |    16001     16 |        0 |        0
1304.52/1304.97	c 1304s |      16 |   296288 |   190452 |    16001     16 |        0 |        0
1306.62/1307.07	c 1306s |      16 |   296615 |   190752 |    16001     16 |        0 |        0
1309.03/1309.41	c 1308s |      16 |   296956 |   191052 |    16001     16 |        0 |        0
1311.12/1311.59	c 1310s |      16 |   297287 |   191352 |    16001     16 |        0 |        0
1313.42/1313.82	c 1313s |      16 |   297633 |   191652 |    16001     16 |        0 |        0
1316.22/1316.62	c 1315s |      16 |   298082 |   192052 |    16001     16 |        0 |        0
1318.32/1318.74	c 1318s |      16 |   298404 |   192352 |    16001     16 |        0 |        0
1320.41/1320.88	c 1320s |      16 |   298742 |   192652 |    16001     16 |        0 |        0
1322.82/1323.23	c 1322s |      16 |   299097 |   192952 |    16001     16 |        0 |        0
1325.23/1325.65	c 1324s |      16 |   299429 |   193252 |    16001     16 |        0 |        0
1327.51/1327.90	c 1327s |      16 |   299762 |   193552 |    16001     16 |        0 |        0
1329.82/1330.26	c 1329s |      16 |   300095 |   193852 |    16001     16 |        0 |        0
1333.42/1333.88	c 1333s |      16 |   300322 |   194052 |    16001     17 |        0 |        0
1335.52/1335.97	c 1335s |      16 |   300671 |   194352 |    16001     17 |        0 |        0
1338.22/1338.62	c 1337s |      16 |   301131 |   194752 |    16001     17 |        0 |        0
1340.71/1341.18	c 1340s |      16 |   301581 |   195152 |    16001     17 |        0 |        0
1343.22/1343.61	c 1342s |      16 |   302030 |   195552 |    16001     17 |        0 |        0
1345.32/1345.75	c 1345s |      16 |   302376 |   195852 |    16001     17 |        0 |        0
1347.71/1348.16	c 1347s |      16 |   302810 |   196252 |    17602     17 |        0 |        0
1350.21/1350.69	c 1349s |      16 |   303258 |   196652 |    17602     17 |        0 |        0
1352.81/1353.23	c 1352s |      16 |   303694 |   197052 |    17602     17 |        0 |        0
1355.31/1355.77	c 1355s |      17 |   304107 |   197432 |    17602     17 |        0 |        0
1357.51/1357.99	c 1357s |      17 |   308067 |   197732 |    17602     17 |        0 |        0
1359.81/1360.29	c 1359s |      17 |   309013 |   198532 |    17602     17 |        0 |        0
1361.91/1362.31	c 1361s |      17 |   309692 |   199132 |    17602     17 |        0 |        0
1364.31/1364.75	c 1364s |      17 |   310518 |   199832 |    17602     17 |        0 |        0
1366.61/1367.02	c 1366s |      17 |   311182 |   200432 |    17602     17 |        0 |        0
1368.81/1369.29	c 1368s |      17 |   311860 |   201032 |    17602     17 |        0 |        0
1370.90/1371.38	c 1370s |      17 |   312402 |   201532 |    17602     17 |        0 |        0
1373.10/1373.51	c 1372s |      17 |   312961 |   202032 |    17602     17 |        0 |        0
1375.40/1375.82	c 1375s |      17 |   313653 |   202632 |    17602     17 |        0 |        0
1377.60/1378.09	c 1377s |      17 |   314315 |   203232 |    17602     17 |        0 |        0
1379.90/1380.34	c 1379s |      17 |   315012 |   203832 |    17602     17 |        0 |        0
1381.99/1382.46	c 1381s |      17 |   315706 |   204432 |    17602     17 |        0 |        0
1384.30/1384.78	c 1384s |      17 |   316416 |   205032 |    17602     17 |        0 |        0
1386.40/1386.89	c 1386s |      17 |   316967 |   205532 |    17602     17 |        0 |        0
1388.50/1388.96	c 1388s |      17 |   317551 |   206032 |    17602     17 |        0 |        0
1390.90/1391.33	c 1390s |      17 |   318240 |   206632 |    17602     17 |        0 |        0
1392.99/1393.43	c 1392s |      17 |   318806 |   207132 |    17602     17 |        0 |        0
1395.19/1395.69	c 1394s |      17 |   319379 |   207632 |    17602     17 |        0 |        0
1397.49/1397.93	c 1397s |      17 |   319923 |   208132 |    17602     17 |        0 |        0
1399.99/1400.44	c 1399s |      17 |   320475 |   208632 |    17602     17 |        0 |        0
1402.09/1402.59	c 1401s |      17 |   320581 |   208732 |    17602     18 |        0 |        0
1404.48/1404.95	c 1404s |      17 |   321138 |   209232 |    17602     18 |        0 |        0
1406.89/1407.35	c 1406s |      17 |   321686 |   209732 |    17602     18 |        0 |        0
1409.19/1409.69	c 1408s |      17 |   322235 |   210232 |    17602     18 |        0 |        0
1411.28/1411.72	c 1410s |      17 |   322676 |   210632 |    17602     18 |        0 |        0
1413.28/1413.73	c 1413s |      17 |   323120 |   211032 |    17602     18 |        0 |        0
1415.29/1415.74	c 1415s |      17 |   323563 |   211432 |    17602     18 |        0 |        0
1417.38/1417.89	c 1417s |      17 |   323993 |   211832 |    17602     18 |        0 |        0
1419.88/1420.34	c 1419s |      17 |   324430 |   212232 |    17602     18 |        0 |        0
1422.08/1422.52	c 1421s |      17 |   324906 |   212632 |    17602     18 |        0 |        0
1424.48/1424.99	c 1424s |      17 |   325524 |   213132 |    17602     18 |        0 |        0
1426.88/1427.32	c 1426s |      17 |   326080 |   213632 |    17602     18 |        0 |        0
1428.98/1429.46	c 1428s |      17 |   326580 |   214032 |    17602     18 |        0 |        0
1430.98/1431.49	c 1430s |      17 |   327024 |   214432 |    17602     18 |        0 |        0
1433.47/1433.92	c 1433s |      17 |   327594 |   214932 |    17602     18 |        0 |        0
1435.67/1436.12	c 1435s |      17 |   328148 |   215432 |    17602     18 |        0 |        0
1438.07/1438.53	c 1437s |      17 |   328708 |   215932 |    17602     18 |        0 |        0
1440.37/1440.81	c 1440s |      17 |   329166 |   216332 |    17602     18 |        0 |        0
1442.58/1443.02	c 1442s |      17 |   329596 |   216732 |    17602     18 |        0 |        0
1444.78/1445.21	c 1444s |      17 |   330030 |   217132 |    17602     18 |        0 |        0
1446.98/1447.48	c 1446s |      17 |   330481 |   217532 |    17602     18 |        0 |        0
1449.17/1449.69	c 1448s |      17 |   330931 |   217932 |    17602     18 |        0 |        0
1451.27/1451.76	c 1451s |      17 |   331380 |   218332 |    17602     18 |        0 |        0
1453.37/1453.83	c 1453s |      17 |   331817 |   218732 |    17602     18 |        0 |        0
1455.47/1455.95	c 1455s |      17 |   332249 |   219132 |    17602     18 |        0 |        0
1457.67/1458.18	c 1457s |      17 |   332715 |   219532 |    17602     18 |        0 |        0
1459.97/1460.47	c 1459s |      17 |   333160 |   219932 |    17602     18 |        0 |        0
1462.27/1462.74	c 1462s |      17 |   333616 |   220332 |    17602     18 |        0 |        0
1464.47/1464.95	c 1464s |      17 |   334059 |   220732 |    17602     18 |        0 |        0
1466.77/1467.21	c 1466s |      17 |   334491 |   221132 |    17602     18 |        0 |        0
1468.86/1469.39	c 1468s |      17 |   334932 |   221532 |    17602     18 |        0 |        0
1471.16/1471.67	c 1470s |      17 |   335352 |   221932 |    17602     18 |        0 |        0
1473.87/1474.32	c 1473s |      17 |   335806 |   222332 |    17602     18 |        0 |        0
1475.87/1476.35	c 1475s |      17 |   335920 |   222432 |    17602     19 |        0 |        0
1478.07/1478.56	c 1477s |      17 |   336365 |   222832 |    17602     19 |        0 |        0
1481.56/1482.03	c 1481s |      17 |   336816 |   223232 |    17602     19 |        0 |        0
1483.97/1484.41	c 1483s |      17 |   337373 |   223732 |    17602     19 |        0 |        0
1486.26/1486.76	c 1486s |      17 |   337915 |   224232 |    17602     19 |        0 |        0
1488.77/1489.24	c 1488s |      17 |   338464 |   224732 |    17602     19 |        0 |        0
1491.16/1491.68	c 1490s |      17 |   339054 |   225232 |    17602     19 |        0 |        0
1493.47/1493.94	c 1493s |      17 |   339610 |   225732 |    17602     19 |        0 |        0
1495.57/1496.01	c 1495s |      17 |   340069 |   226132 |    17602     19 |        0 |        0
1497.87/1498.31	c 1497s |      17 |   340514 |   226532 |    17602     19 |        0 |        0
1500.06/1500.56	c 1499s |      17 |   340953 |   226932 |    17602     19 |        0 |        0
1502.36/1502.81	c 1502s |      17 |   341397 |   227332 |    17602     19 |        0 |        0
1504.46/1504.96	c 1504s |      17 |   341852 |   227732 |    17602     19 |        0 |        0
1506.66/1507.15	c 1506s |      17 |   342270 |   228132 |    17602     19 |        0 |        0
1509.16/1509.64	c 1508s |      17 |   342724 |   228532 |    17602     19 |        0 |        0
1511.55/1512.04	c 1511s |      17 |   343159 |   228932 |    17602     19 |        0 |        0
1513.95/1514.46	c 1513s |      17 |   343583 |   229332 |    17602     19 |        0 |        0
1516.35/1516.88	c 1516s |      17 |   344009 |   229732 |    17602     19 |        0 |        0
1518.85/1519.34	c 1518s |      17 |   344450 |   230132 |    17602     19 |        0 |        0
1521.25/1521.77	c 1521s |      17 |   344915 |   230532 |    17602     19 |        0 |        0
1523.35/1523.82	c 1523s |      17 |   345229 |   230832 |    17602     19 |        0 |        0
1525.74/1526.22	c 1525s |      17 |   345682 |   231232 |    17602     19 |        0 |        0
1527.75/1528.25	c 1527s |      17 |   346022 |   231532 |    17602     19 |        0 |        0
1530.25/1530.72	c 1529s |      17 |   346464 |   231932 |    17602     19 |        0 |        0
1532.54/1533.03	c 1532s |      17 |   346920 |   232332 |    17602     19 |        0 |        0
1534.55/1535.03	c 1534s |      17 |   347364 |   232732 |    17602     19 |        0 |        0
1536.94/1537.47	c 1536s |      17 |   347908 |   233232 |    17602     19 |        0 |        0
1538.94/1539.48	c 1538s |      17 |   348354 |   233632 |    17602     19 |        0 |        0
1540.94/1541.49	c 1540s |      17 |   348780 |   234032 |    17602     19 |        0 |        0
1543.24/1543.77	c 1543s |      17 |   349222 |   234432 |    17602     19 |        0 |        0
1545.44/1545.95	c 1545s |      17 |   349666 |   234832 |    17602     19 |        0 |        0
1547.64/1548.16	c 1547s |      17 |   350126 |   235232 |    17602     19 |        0 |        0
1549.84/1550.39	c 1549s |      17 |   350558 |   235632 |    17602     19 |        0 |        0
1552.34/1552.89	c 1552s |      17 |   350994 |   236032 |    17602     19 |        0 |        0
1554.83/1555.40	c 1554s |      17 |   351230 |   236232 |    17602     20 |        0 |        0
1557.84/1558.33	c 1557s |      17 |   351672 |   236632 |    17602     20 |        0 |        0
1559.94/1560.40	c 1559s |      17 |   352101 |   237032 |    17602     20 |        0 |        0
1562.14/1562.66	c 1561s |      17 |   352349 |   237232 |    17602     20 |        0 |        0
1564.43/1564.96	c 1564s |      17 |   352889 |   237732 |    17602     20 |        0 |        0
1566.73/1567.26	c 1566s |      17 |   353448 |   238232 |    17602     20 |        0 |        0
1568.94/1569.41	c 1568s |      17 |   353991 |   238732 |    17602     20 |        0 |        0
1571.23/1571.77	c 1571s |      17 |   354569 |   239232 |    17602     20 |        0 |        0
1573.33/1573.82	c 1573s |      17 |   354989 |   239632 |    17602     20 |        0 |        0
1575.33/1575.88	c 1575s |      17 |   355445 |   240032 |    17602     20 |        0 |        0
1577.63/1578.15	c 1577s |      17 |   355881 |   240432 |    17602     20 |        0 |        0
1580.13/1580.69	c 1579s |      17 |   356344 |   240832 |    17602     20 |        0 |        0
1582.73/1583.20	c 1582s |      17 |   356804 |   241232 |    17602     20 |        0 |        0
1584.74/1585.29	c 1584s |      17 |   357235 |   241632 |    17602     20 |        0 |        0
1587.03/1587.54	c 1586s |      17 |   357668 |   242032 |    17602     20 |        0 |        0
1589.22/1589.77	c 1589s |      17 |   358108 |   242432 |    17602     20 |        0 |        0
1591.33/1591.83	c 1591s |      17 |   358542 |   242832 |    17602     20 |        0 |        0
1593.53/1594.05	c 1593s |      17 |   359000 |   243232 |    17602     20 |        0 |        0
1595.82/1596.33	c 1595s |      17 |   359452 |   243632 |    17602     20 |        0 |        0
1598.03/1598.56	c 1597s |      17 |   359928 |   244032 |    17602     20 |        0 |        0
1600.13/1600.61	c 1599s |      17 |   360365 |   244432 |    17602     20 |        0 |        0
1602.33/1602.81	c 1602s |      17 |   360811 |   244832 |    17602     20 |        0 |        0
1604.43/1604.98	c 1604s |      17 |   361263 |   245232 |    17602     20 |        0 |        0
1606.82/1607.32	c 1606s |      17 |   361706 |   245632 |    17602     20 |        0 |        0
1609.02/1609.50	c 1608s |      17 |   362153 |   246032 |    17602     20 |        0 |        0
1611.22/1611.74	c 1611s |      17 |   362591 |   246432 |    17602     20 |        0 |        0
1613.22/1613.80	c 1613s |      17 |   363042 |   246832 |    17602     20 |        0 |        0
1615.32/1615.84	c 1615s |      17 |   363473 |   247232 |    17602     20 |        0 |        0
1617.52/1618.07	c 1617s |      17 |   363917 |   247632 |    17602     20 |        0 |        0
1619.71/1620.28	c 1619s |      17 |   364366 |   248032 |    17602     20 |        0 |        0
1621.92/1622.43	c 1621s |      17 |   364810 |   248432 |    17602     20 |        0 |        0
1624.23/1624.76	c 1624s |      17 |   365235 |   248832 |    17602     20 |        0 |        0
1626.71/1627.29	c 1626s |      17 |   365672 |   249232 |    17602     20 |        0 |        0
1629.11/1629.62	c 1628s |      17 |   366114 |   249632 |    17602     20 |        0 |        0
1632.21/1632.73	c 1631s |      17 |   366450 |   249932 |    17602     21 |        0 |        0
1634.31/1634.87	c 1634s |      17 |   366889 |   250332 |    17602     21 |        0 |        0
1636.42/1636.95	c 1636s |      17 |   367326 |   250732 |    17602     21 |        0 |        0
1641.22/1641.70	c 1640s |      17 |   367655 |   251032 |    17602     21 |        0 |        0
1643.51/1644.03	c 1643s |      17 |   368132 |   251432 |    17602     21 |        0 |        0
1645.71/1646.23	c 1645s |      17 |   368566 |   251832 |    17602     21 |        0 |        0
1647.81/1648.36	c 1647s |      17 |   369015 |   252232 |    17602     21 |        0 |        0
1649.90/1650.45	c 1649s |      17 |   369438 |   252632 |    17602     21 |        0 |        0
1652.21/1652.75	c 1652s |      17 |   369894 |   253032 |    17602     21 |        0 |        0
1654.30/1654.88	c 1654s |      17 |   370342 |   253432 |    17602     21 |        0 |        0
1656.50/1657.03	c 1656s |      17 |   370785 |   253832 |    17602     21 |        0 |        0
1658.70/1659.22	c 1658s |      17 |   371225 |   254232 |    17602     21 |        0 |        0
1661.00/1661.54	c 1660s |      17 |   371658 |   254632 |    17602     21 |        0 |        0
1663.21/1663.75	c 1663s |      17 |   372092 |   255032 |    17602     21 |        0 |        0
1665.50/1666.06	c 1665s |      17 |   372531 |   255432 |    17602     21 |        0 |        0
1667.50/1668.09	c 1667s |      17 |   372975 |   255832 |    17602     21 |        0 |        0
1669.70/1670.25	c 1669s |      17 |   373399 |   256232 |    17602     21 |        0 |        0
1671.81/1672.30	c 1671s |      17 |   373836 |   256632 |    17602     21 |        0 |        0
1674.00/1674.56	c 1673s |      17 |   374281 |   257032 |    17602     21 |        0 |        0
1676.30/1676.83	c 1676s |      17 |   374719 |   257432 |    17602     21 |        0 |        0
1678.70/1679.26	c 1678s |      17 |   375162 |   257832 |    17602     21 |        0 |        0
1681.30/1681.80	c 1681s |      17 |   375591 |   258232 |    17602     21 |        0 |        0
1683.30/1683.87	c 1683s |      17 |   375921 |   258532 |    17602     21 |        0 |        0
1685.60/1686.18	c 1685s |      17 |   376367 |   258932 |    17602     21 |        0 |        0
1688.10/1688.63	c 1687s |      17 |   376800 |   259332 |    17602     21 |        0 |        0
1690.20/1690.79	c 1690s |      17 |   377247 |   259732 |    17602     21 |        0 |        0
1692.41/1692.91	c 1692s |      17 |   377699 |   260132 |    17602     21 |        0 |        0
1694.50/1695.02	c 1694s |      17 |   378054 |   260432 |    17602     21 |        0 |        0
1696.50/1697.08	c 1696s |      17 |   378398 |   260732 |    17602     21 |        0 |        0
1698.79/1699.36	c 1698s |      17 |   378839 |   261132 |    17602     21 |        0 |        0
1701.31/1701.84	c 1701s |      17 |   379275 |   261532 |    17602     21 |        0 |        0
1703.99/1704.51	c 1703s |      17 |   379729 |   261932 |    17602     21 |        0 |        0
1706.00/1706.54	c 1705s |      17 |   380066 |   262232 |    17602     21 |        0 |        0
1708.19/1708.70	c 1707s |      17 |   380504 |   262632 |    17602     21 |        0 |        0
1710.30/1710.83	c 1710s |      17 |   380965 |   263032 |    17602     21 |        0 |        0
1712.50/1713.04	c 1712s |      17 |   381408 |   263432 |    17602     21 |        0 |        0
1719.10/1719.63	c 1718s |      17 |   381753 |   263732 |    17602     22 |        0 |        0
1721.10/1721.66	c 1720s |      17 |   382202 |   264132 |    17602     22 |        0 |        0
1723.20/1723.76	c 1723s |      17 |   382620 |   264532 |    17602     22 |        0 |        0
1725.50/1726.02	c 1725s |      17 |   383045 |   264932 |    17602     22 |        0 |        0
1727.79/1728.33	c 1727s |      17 |   383497 |   265332 |    17602     22 |        0 |        0
1730.19/1730.73	c 1729s |      17 |   383948 |   265732 |    17602     22 |        0 |        0
1732.29/1732.89	c 1732s |      17 |   384403 |   266132 |    17602     22 |        0 |        0
1734.49/1735.06	c 1734s |      17 |   384836 |   266532 |    17602     22 |        0 |        0
1736.79/1737.36	c 1736s |      17 |   385286 |   266932 |    17602     22 |        0 |        0
1738.99/1739.50	c 1738s |      17 |   385725 |   267332 |    17602     22 |        0 |        0
1740.99/1741.59	c 1740s |      17 |   385958 |   267532 |    17602     22 |        0 |        0
1743.49/1744.02	c 1743s |      17 |   386408 |   267932 |    17602     22 |        0 |        0
1745.69/1746.20	c 1745s |      17 |   386853 |   268332 |    17602     22 |        0 |        0
1747.79/1748.32	c 1747s |      17 |   387296 |   268732 |    17602     22 |        0 |        0
1749.99/1750.58	c 1749s |      17 |   387744 |   269132 |    17602     22 |        0 |        0
1752.39/1752.91	c 1752s |      17 |   388080 |   269432 |    17602     22 |        0 |        0
1754.69/1755.23	c 1754s |      17 |   388526 |   269832 |    17602     22 |        0 |        0
1757.29/1757.89	c 1757s |      17 |   388952 |   270232 |    17602     22 |        0 |        0
1759.89/1760.47	c 1759s |      17 |   389398 |   270632 |    17602     22 |        0 |        0
1762.49/1763.07	c 1762s |      17 |   389838 |   271032 |    17602     22 |        0 |        0
1764.89/1765.50	c 1764s |      17 |   390277 |   271432 |    17602     22 |        0 |        0
1767.20/1767.73	c 1766s |      17 |   390694 |   271832 |    17602     22 |        0 |        0
1769.29/1769.89	c 1769s |      17 |   391125 |   272232 |    17602     22 |        0 |        0
1771.69/1772.24	c 1771s |      17 |   391606 |   272632 |    17602     22 |        0 |        0
1773.79/1774.36	c 1773s |      17 |   391938 |   272932 |    17602     22 |        0 |        0
1776.29/1776.83	c 1776s |      17 |   392398 |   273332 |    17602     22 |        0 |        0
1778.79/1779.35	c 1778s |      17 |   392844 |   273732 |    17602     22 |        0 |        0
1781.29/1781.82	c 1781s |      17 |   393275 |   274132 |    17602     22 |        0 |        0
1783.29/1783.83	c 1783s |      17 |   393616 |   274432 |    17602     22 |        0 |        0
1785.48/1786.07	c 1785s |      17 |   394073 |   274832 |    17602     22 |        0 |        0
1787.88/1788.45	c 1787s |      17 |   394509 |   275232 |    17602     22 |        0 |        0
1790.48/1791.08	c 1790s |      17 |   394934 |   275632 |    17602     22 |        0 |        0
1792.98/1793.59	c 1792s |      17 |   395365 |   276032 |    17602     22 |        0 |        0
1795.38/1795.97	c 1795s |      17 |   395804 |   276432 |    17602     22 |        0 |        0
1797.38/1797.98	c 1797s |      17 |   396112 |   276732 |    17602     22 |        0 |        0
1799.48/1800.02	c 1799s |      17 |   396465 |   277032 |    17602     22 |        0 |        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-4109194-1466341823/watcher-4109194-1466341823 -o /tmp/evaluation-result-4109194-1466341823/solver-4109194-1466341823 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466341823-29123 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109194-1466341823.wbo 

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

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


[startup+0 s]
/proc/loadavg: 0.06 0.08 0.08 3/171 29143
/proc/meminfo: memFree=30668972/32872528 swapFree=877056/942464
[pid=29143] ppid=29140 vsize=614844 CPUtime=0 cores=0,2,4,6
/proc/29143/stat : 29143 (toysat) R 29140 29143 29107 0 -1 4202496 2274 0 0 0 0 0 0 0 20 0 4 0 36231241 629600256 3146 33554432000 4194304 16246674 140733949859088 140733949858512 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29143/statm: 154479 3154 441 2943 0 151373 0
[pid=29143/tid=29144] ppid=29140 vsize=632252 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (toysat) S 29140 29143 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36231241 647426048 3212 33554432000 4194304 16246674 140733949859088 139998772833520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29143/tid=29145] ppid=29140 vsize=636348 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (toysat) S 29140 29143 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36231241 651620352 3229 33554432000 4194304 16246674 140733949859088 139998686850288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29143/tid=29146] ppid=29140 vsize=640444 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (toysat) S 29140 29143 29107 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36231241 655814656 3246 33554432000 4194304 16246674 140733949859088 139998676376752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 0.06 0.08 0.08 3/171 29143
/proc/meminfo: memFree=30668972/32872528 swapFree=877056/942464
[pid=29143] ppid=29140 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/29143/stat : 29143 (toysat) R 29140 29143 29107 0 -1 4202496 22559 0 0 0 6 3 0 0 20 0 4 0 36231241 1249447936 23370 33554432000 4194304 16246674 140733949859088 140733949858400 6144966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29143/statm: 305041 23378 828 2943 0 301935 0
[pid=29143/tid=29144] ppid=29140 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (toysat) S 29140 29143 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36231241 1249447936 23385 33554432000 4194304 16246674 140733949859088 139998772833520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29143/tid=29145] ppid=29140 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (toysat) S 29140 29143 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36231241 1249447936 23391 33554432000 4194304 16246674 140733949859088 139998686850288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29143/tid=29146] ppid=29140 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (toysat) S 29140 29143 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36231241 1249447936 23398 33554432000 4194304 16246674 140733949859088 139998676376752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200503 s]
/proc/loadavg: 0.06 0.08 0.08 3/171 29143
/proc/meminfo: memFree=30668972/32872528 swapFree=877056/942464
[pid=29143] ppid=29140 vsize=1220164 CPUtime=0.19 cores=0,2,4,6
/proc/29143/stat : 29143 (toysat) R 29140 29143 29107 0 -1 4202496 42035 0 0 0 13 6 0 0 20 0 4 0 36231241 1249447936 42846 33554432000 4194304 16246674 140733949859088 140733949858400 12459048 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29143/statm: 305041 42854 828 2943 0 301935 0
[pid=29143/tid=29144] ppid=29140 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (toysat) S 29140 29143 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36231241 1249447936 42857 33554432000 4194304 16246674 140733949859088 139998772833520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29143/tid=29145] ppid=29140 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (toysat) S 29140 29143 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36231241 1249447936 42863 33554432000 4194304 16246674 140733949859088 139998686850288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29143/tid=29146] ppid=29140 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (toysat) S 29140 29143 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36231241 1249447936 42867 33554432000 4194304 16246674 140733949859088 139998676376752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300463 s]
/proc/loadavg: 0.06 0.08 0.08 3/171 29143
/proc/meminfo: memFree=30668972/32872528 swapFree=877056/942464
[pid=29143] ppid=29140 vsize=1220164 CPUtime=0.29 cores=0,2,4,6
/proc/29143/stat : 29143 (toysat) R 29140 29143 29107 0 -1 4202496 61711 0 0 0 19 10 0 0 20 0 4 0 36231241 1249447936 62522 33554432000 4194304 16246674 140733949859088 140733949840960 13954914 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29143/statm: 305041 62530 830 2943 0 301935 0
[pid=29143/tid=29144] ppid=29140 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (toysat) S 29140 29143 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36231241 1249447936 62536 33554432000 4194304 16246674 140733949859088 139998772833520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29143/tid=29145] ppid=29140 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (toysat) S 29140 29143 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36231241 1249447936 62539 33554432000 4194304 16246674 140733949859088 139998686850288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29143/tid=29146] ppid=29140 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (toysat) S 29140 29143 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36231241 1249447936 62546 33554432000 4194304 16246674 140733949859088 139998676376752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700389 s]
/proc/loadavg: 0.06 0.08 0.08 3/171 29143
/proc/meminfo: memFree=30668972/32872528 swapFree=877056/942464
[pid=29143] ppid=29140 vsize=1306180 CPUtime=0.69 cores=0,2,4,6
/proc/29143/stat : 29143 (toysat) R 29140 29143 29107 0 -1 4202496 142769 0 0 0 48 21 0 0 20 0 4 0 36231241 1337528320 143580 33554432000 4194304 16246674 140733949859088 140733949858400 12477857 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29143/statm: 326545 143580 911 2943 0 323439 0
[pid=29143/tid=29144] ppid=29140 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (toysat) S 29140 29143 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36231241 1337528320 143580 33554432000 4194304 16246674 140733949859088 139998772833520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29143/tid=29145] ppid=29140 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (toysat) S 29140 29143 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36231241 1337528320 143580 33554432000 4194304 16246674 140733949859088 139998686850288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29143/tid=29146] ppid=29140 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (toysat) S 29140 29143 29107 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 36231241 1337528320 143580 33554432000 4194304 16246674 140733949859088 139998676376752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1306180

[startup+1.50039 s]
/proc/loadavg: 0.22 0.11 0.09 3/184 29160
/proc/meminfo: memFree=28978136/32872528 swapFree=877056/942464
[pid=29143] ppid=29140 vsize=1307204 CPUtime=1.48 cores=0,2,4,6
/proc/29143/stat : 29143 (toysat) R 29140 29143 29107 0 -1 4202496 153628 0 0 0 126 22 0 0 20 0 4 0 36231241 1338576896 154439 33554432000 4194304 16246674 140733949859088 140733949858264 5572312 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29143/statm: 326801 154439 926 2943 0 323695 0
[pid=29143/tid=29144] ppid=29140 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (toysat) S 29140 29143 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36231241 1338576896 154439 33554432000 4194304 16246674 140733949859088 139998772833520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29143/tid=29145] ppid=29140 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (toysat) S 29140 29143 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36231241 1338576896 154439 33554432000 4194304 16246674 140733949859088 139998686850288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29143/tid=29146] ppid=29140 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (toysat) S 29140 29143 29107 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 36231241 1338576896 154439 33554432000 4194304 16246674 140733949859088 139998676376752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1307204

[startup+3.1004 s]
/proc/loadavg: 0.22 0.11 0.09 3/184 29160
/proc/meminfo: memFree=28976996/32872528 swapFree=877056/942464
[pid=29143] ppid=29140 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/29143/stat : 29143 (toysat) R 29140 29143 29107 0 -1 4202496 153628 0 0 0 286 23 0 0 20 0 4 0 36231241 1338576896 154439 33554432000 4194304 16246674 140733949859088 140733949858264 5546219 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29143/statm: 326801 154439 926 2943 0 323695 0
[pid=29143/tid=29144] ppid=29140 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (toysat) S 29140 29143 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36231241 1338576896 154439 33554432000 4194304 16246674 140733949859088 139998772833520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29143/tid=29145] ppid=29140 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (toysat) S 29140 29143 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36231241 1338576896 154439 33554432000 4194304 16246674 140733949859088 139998686850288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29143/tid=29146] ppid=29140 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (toysat) S 29140 29143 29107 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 36231241 1338576896 154439 33554432000 4194304 16246674 140733949859088 139998676376752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.3004 s]
/proc/loadavg: 0.36 0.14 0.10 3/184 29160
/proc/meminfo: memFree=28975508/32872528 swapFree=877056/942464
[pid=29143] ppid=29140 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/29143/stat : 29143 (toysat) R 29140 29143 29107 0 -1 4202496 153802 0 0 0 606 23 0 0 20 0 4 0 36231241 1338576896 154613 33554432000 4194304 16246674 140733949859088 140733949858264 5546116 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29143/statm: 326801 154613 926 2943 0 323695 0
[pid=29143/tid=29144] ppid=29140 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (toysat) S 29140 29143 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36231241 1338576896 154613 33554432000 4194304 16246674 140733949859088 139998772833520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29143/tid=29145] ppid=29140 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (toysat) S 29140 29143 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36231241 1338576896 154613 33554432000 4194304 16246674 140733949859088 139998686850288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29143/tid=29146] ppid=29140 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (toysat) S 29140 29143 29107 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 36231241 1338576896 154613 33554432000 4194304 16246674 140733949859088 139998676376752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 0.49 0.17 0.11 3/184 29160
/proc/meminfo: memFree=28973724/32872528 swapFree=877056/942464
[pid=29143] ppid=29140 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/29143/stat : 29143 (toysat) R 29140 29143 29107 0 -1 4202496 153802 0 0 0 1245 24 0 0 20 0 4 0 36231241 1338576896 154613 33554432000 4194304 16246674 140733949859088 140733949840960 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29143/statm: 326801 154613 926 2943 0 323695 0
[pid=29143/tid=29144] ppid=29140 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (toysat) S 29140 29143 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36231241 1338576896 154613 33554432000 4194304 16246674 140733949859088 139998772833520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29143/tid=29145] ppid=29140 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (toysat) S 29140 29143 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36231241 1338576896 154613 33554432000 4194304 16246674 140733949859088 139998686850288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29143/tid=29146] ppid=29140 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (toysat) S 29140 29143 29107 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 36231241 1338576896 154613 33554432000 4194304 16246674 140733949859088 139998676376752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 0.83 0.26 0.14 3/183 29160
/proc/meminfo: memFree=28975296/32872528 swapFree=877056/942464
[pid=29143] ppid=29140 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/29143/stat : 29143 (toysat) R 29140 29143 29107 0 -1 4202496 153802 0 0 0 2524 25 0 0 20 0 4 0 36231241 1338576896 154613 33554432000 4194304 16246674 140733949859088 140733949840960 5545903 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29143/statm: 326801 154613 926 2943 0 323695 0
[pid=29143/tid=29144] ppid=29140 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (toysat) S 29140 29143 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36231241 1338576896 154613 33554432000 4194304 16246674 140733949859088 139998772833520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29143/tid=29145] ppid=29140 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (toysat) S 29140 29143 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36231241 1338576896 154613 33554432000 4194304 16246674 140733949859088 139998686850288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29143/tid=29146] ppid=29140 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (toysat) S 29140 29143 29107 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 36231241 1338576896 154613 33554432000 4194304 16246674 140733949859088 139998676376752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 1.23 0.40 0.19 3/183 29161
/proc/meminfo: memFree=28632872/32872528 swapFree=877056/942464
[pid=29143] ppid=29140 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/29143/stat : 29143 (toysat) R 29140 29143 29107 0 -1 4202496 237912 0 0 0 5072 36 0 0 20 0 4 0 36231241 1339625472 238723 33554432000 4194304 16246674 140733949859088 140733949840960 5711580 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29143/statm: 327057 238723 930 2943 0 323951 0
[pid=29143/tid=29144] ppid=29140 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (toysat) S 29140 29143 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36231241 1339625472 238723 33554432000 4194304 16246674 140733949859088 139998772833520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29143/tid=29145] ppid=29140 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (toysat) S 29140 29143 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36231241 1339625472 238723 33554432000 4194304 16246674 140733949859088 139998686850288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29143/tid=29146] ppid=29140 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (toysat) S 29140 29143 29107 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 36231241 1339625472 238723 33554432000 4194304 16246674 140733949859088 139998676376752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 1.66 0.64 0.28 3/183 29162
/proc/meminfo: memFree=28507756/32872528 swapFree=877056/942464
[pid=29143] ppid=29140 vsize=1311300 CPUtime=102.28 cores=0,2,4,6
/proc/29143/stat : 29143 (toysat) R 29140 29143 29107 0 -1 4202496 269050 0 0 0 10184 44 0 0 20 0 4 0 36231241 1342771200 269861 33554432000 4194304 16246674 140733949859088 140733949840960 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29143/statm: 327825 269861 931 2943 0 324719 0
[pid=29143/tid=29144] ppid=29140 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (toysat) S 29140 29143 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36231241 1342771200 269861 33554432000 4194304 16246674 140733949859088 139998772833520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29143/tid=29145] ppid=29140 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (toysat) S 29140 29143 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36231241 1342771200 269861 33554432000 4194304 16246674 140733949859088 139998686850288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29143/tid=29146] ppid=29140 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (toysat) S 29140 29143 29107 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 36231241 1342771200 269861 33554432000 4194304 16246674 140733949859088 139998676376752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1311300


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

/proc/29143/task/29146/stat : 29146 (toysat) S 29140 29143 29107 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 36231241 2425950208 534142 33554432000 4194304 16246674 140733949859088 139998676376752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 2369092

[startup+1302.3 s]
/proc/loadavg: 2.27 2.17 1.64 3/183 29192
/proc/meminfo: memFree=27421968/32872528 swapFree=877056/942464
[pid=29143] ppid=29140 vsize=2385476 CPUtime=1301.92 cores=0,2,4,6
/proc/29143/stat : 29143 (toysat) R 29140 29143 29107 0 -1 4202496 537977 0 0 0 129935 257 0 0 20 0 4 0 36231241 2442727424 538409 33554432000 4194304 16246674 140733949859088 140733949858264 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29143/statm: 596369 538409 932 2943 0 593263 0
[pid=29143/tid=29144] ppid=29140 vsize=2385476 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (toysat) S 29140 29143 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36231241 2442727424 538409 33554432000 4194304 16246674 140733949859088 139998772833520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29143/tid=29145] ppid=29140 vsize=2385476 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (toysat) S 29140 29143 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36231241 2442727424 538409 33554432000 4194304 16246674 140733949859088 139998686850288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29143/tid=29146] ppid=29140 vsize=2385476 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (toysat) S 29140 29143 29107 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 36231241 2442727424 538409 33554432000 4194304 16246674 140733949859088 139998676376752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 2385476

[startup+1362.3 s]
/proc/loadavg: 2.35 2.21 1.69 3/183 29193
/proc/meminfo: memFree=27362604/32872528 swapFree=877056/942464
[pid=29143] ppid=29140 vsize=2444868 CPUtime=1361.91 cores=0,2,4,6
/proc/29143/stat : 29143 (toysat) R 29140 29143 29107 0 -1 4202496 552729 0 0 0 135908 283 0 0 20 0 4 0 36231241 2503544832 553144 33554432000 4194304 16246674 140733949859088 140733949858264 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29143/statm: 611217 553144 932 2943 0 608111 0
[pid=29143/tid=29144] ppid=29140 vsize=2444868 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (toysat) S 29140 29143 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36231241 2503544832 553144 33554432000 4194304 16246674 140733949859088 139998772833520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29143/tid=29145] ppid=29140 vsize=2444868 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (toysat) S 29140 29143 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36231241 2503544832 553144 33554432000 4194304 16246674 140733949859088 139998686850288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29143/tid=29146] ppid=29140 vsize=2444868 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (toysat) S 29140 29143 29107 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 36231241 2503544832 553144 33554432000 4194304 16246674 140733949859088 139998676376752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 2444868

[startup+1422.3 s]
/proc/loadavg: 2.17 2.18 1.71 3/183 29194
/proc/meminfo: memFree=27362340/32872528 swapFree=877056/942464
[pid=29143] ppid=29140 vsize=2444868 CPUtime=1421.89 cores=0,2,4,6
/proc/29143/stat : 29143 (toysat) R 29140 29143 29107 0 -1 4202496 552871 0 0 0 141882 307 0 0 20 0 4 0 36231241 2503544832 553257 33554432000 4194304 16246674 140733949859088 140733949858264 5662779 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29143/statm: 611217 553257 932 2943 0 608111 0
[pid=29143/tid=29144] ppid=29140 vsize=2444868 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (toysat) S 29140 29143 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36231241 2503544832 553257 33554432000 4194304 16246674 140733949859088 139998772833520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29143/tid=29145] ppid=29140 vsize=2444868 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (toysat) S 29140 29143 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36231241 2503544832 553257 33554432000 4194304 16246674 140733949859088 139998686850288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29143/tid=29146] ppid=29140 vsize=2444868 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (toysat) S 29140 29143 29107 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 36231241 2503544832 553257 33554432000 4194304 16246674 140733949859088 139998676376752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 2444868

[startup+1482.3 s]
/proc/loadavg: 2.18 2.18 1.74 3/183 29195
/proc/meminfo: memFree=27193260/32872528 swapFree=877056/942464
[pid=29143] ppid=29140 vsize=2614852 CPUtime=1481.87 cores=0,2,4,6
/proc/29143/stat : 29143 (toysat) R 29140 29143 29107 0 -1 4202496 595134 0 0 0 147849 338 0 0 20 0 4 0 36231241 2677608448 595509 33554432000 4194304 16246674 140733949859088 140733949858264 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29143/statm: 653713 595509 932 2943 0 650607 0
[pid=29143/tid=29144] ppid=29140 vsize=2614852 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (toysat) S 29140 29143 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36231241 2677608448 595509 33554432000 4194304 16246674 140733949859088 139998772833520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29143/tid=29145] ppid=29140 vsize=2614852 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (toysat) S 29140 29143 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36231241 2677608448 595509 33554432000 4194304 16246674 140733949859088 139998686850288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29143/tid=29146] ppid=29140 vsize=2614852 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (toysat) S 29140 29143 29107 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 36231241 2677608448 595509 33554432000 4194304 16246674 140733949859088 139998676376752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 2614852

[startup+1542.31 s]
/proc/loadavg: 2.19 2.19 1.76 3/183 29196
/proc/meminfo: memFree=27192436/32872528 swapFree=877056/942464
[pid=29143] ppid=29140 vsize=2614852 CPUtime=1541.84 cores=0,2,4,6
/proc/29143/stat : 29143 (toysat) R 29140 29143 29107 0 -1 4202496 595401 0 0 0 153822 362 0 0 20 0 4 0 36231241 2677608448 595753 33554432000 4194304 16246674 140733949859088 140733949858184 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29143/statm: 653713 595753 932 2943 0 650607 0
[pid=29143/tid=29144] ppid=29140 vsize=2614852 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (toysat) S 29140 29143 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36231241 2677608448 595753 33554432000 4194304 16246674 140733949859088 139998772833520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29143/tid=29145] ppid=29140 vsize=2614852 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (toysat) S 29140 29143 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36231241 2677608448 595753 33554432000 4194304 16246674 140733949859088 139998686850288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29143/tid=29146] ppid=29140 vsize=2614852 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (toysat) S 29140 29143 29107 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 36231241 2677608448 595753 33554432000 4194304 16246674 140733949859088 139998676376752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 2614852

[startup+1602.3 s]
/proc/loadavg: 2.19 2.18 1.79 3/183 29198
/proc/meminfo: memFree=27119320/32872528 swapFree=877056/942464
[pid=29143] ppid=29140 vsize=2687556 CPUtime=1601.82 cores=0,2,4,6
/proc/29143/stat : 29143 (toysat) R 29140 29143 29107 0 -1 4202496 613473 0 0 0 159791 391 0 0 20 0 4 0 36231241 2752057344 613809 33554432000 4194304 16246674 140733949859088 140733949858264 5672188 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29143/statm: 671889 613809 932 2943 0 668783 0
[pid=29143/tid=29144] ppid=29140 vsize=2687556 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (toysat) S 29140 29143 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36231241 2752057344 613809 33554432000 4194304 16246674 140733949859088 139998772833520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29143/tid=29145] ppid=29140 vsize=2687556 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (toysat) S 29140 29143 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36231241 2752057344 613809 33554432000 4194304 16246674 140733949859088 139998686850288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29143/tid=29146] ppid=29140 vsize=2687556 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (toysat) S 29140 29143 29107 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 36231241 2752057344 613809 33554432000 4194304 16246674 140733949859088 139998676376752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 2687556

[startup+1662.3 s]
/proc/loadavg: 2.16 2.17 1.81 4/183 29199
/proc/meminfo: memFree=27102492/32872528 swapFree=877056/942464
[pid=29143] ppid=29140 vsize=2703940 CPUtime=1661.8 cores=0,2,4,6
/proc/29143/stat : 29143 (toysat) R 29140 29143 29107 0 -1 4202496 617703 0 0 0 165763 417 0 0 20 0 4 0 36231241 2768834560 618025 33554432000 4194304 16246674 140733949859088 140733949858184 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29143/statm: 675985 618025 932 2943 0 672879 0
[pid=29143/tid=29144] ppid=29140 vsize=2703940 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (toysat) S 29140 29143 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36231241 2768834560 618025 33554432000 4194304 16246674 140733949859088 139998772833520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29143/tid=29145] ppid=29140 vsize=2703940 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (toysat) S 29140 29143 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36231241 2768834560 618025 33554432000 4194304 16246674 140733949859088 139998686850288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29143/tid=29146] ppid=29140 vsize=2703940 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (toysat) S 29140 29143 29107 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 36231241 2768834560 618025 33554432000 4194304 16246674 140733949859088 139998676376752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 2703940

[startup+1722.3 s]
/proc/loadavg: 2.06 2.14 1.82 3/183 29200
/proc/meminfo: memFree=27043736/32872528 swapFree=877056/942464
[pid=29143] ppid=29140 vsize=2762308 CPUtime=1721.79 cores=0,2,4,6
/proc/29143/stat : 29143 (toysat) R 29140 29143 29107 0 -1 4202496 632252 0 0 0 171732 447 0 0 20 0 4 0 36231241 2828603392 632574 33554432000 4194304 16246674 140733949859088 140733949858264 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29143/statm: 690577 632574 932 2943 0 687471 0
[pid=29143/tid=29144] ppid=29140 vsize=2762308 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (toysat) S 29140 29143 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36231241 2828603392 632574 33554432000 4194304 16246674 140733949859088 139998772833520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29143/tid=29145] ppid=29140 vsize=2762308 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (toysat) S 29140 29143 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36231241 2828603392 632574 33554432000 4194304 16246674 140733949859088 139998686850288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29143/tid=29146] ppid=29140 vsize=2762308 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (toysat) S 29140 29143 29107 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 36231241 2828603392 632574 33554432000 4194304 16246674 140733949859088 139998676376752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 2762308

[startup+1782.3 s]
/proc/loadavg: 2.02 2.11 1.83 3/184 29204
/proc/meminfo: memFree=27033096/32872528 swapFree=877056/942464
[pid=29143] ppid=29140 vsize=2771524 CPUtime=1781.78 cores=0,2,4,6
/proc/29143/stat : 29143 (toysat) R 29140 29143 29107 0 -1 4202496 634599 0 0 0 177702 476 0 0 20 0 4 0 36231241 2838040576 634921 33554432000 4194304 16246674 140733949859088 140733949858184 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29143/statm: 692881 634921 932 2943 0 689775 0
[pid=29143/tid=29144] ppid=29140 vsize=2771524 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (toysat) S 29140 29143 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36231241 2838040576 634921 33554432000 4194304 16246674 140733949859088 139998772833520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29143/tid=29145] ppid=29140 vsize=2771524 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (toysat) S 29140 29143 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36231241 2838040576 634921 33554432000 4194304 16246674 140733949859088 139998686850288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29143/tid=29146] ppid=29140 vsize=2771524 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (toysat) S 29140 29143 29107 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 36231241 2838040576 634921 33554432000 4194304 16246674 140733949859088 139998676376752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 2771524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.09 2.12 1.83 3/184 29204
/proc/meminfo: memFree=27034512/32872528 swapFree=877056/942464
[pid=29143] ppid=29140 vsize=2771524 CPUtime=1800.08 cores=0,2,4,6
/proc/29143/stat : 29143 (toysat) R 29140 29143 29107 0 -1 4202496 634599 0 0 0 179523 485 0 0 20 0 4 0 36231241 2838040576 634921 33554432000 4194304 16246674 140733949859088 140733949858264 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29143/statm: 692881 634921 932 2943 0 689775 0
[pid=29143/tid=29144] ppid=29140 vsize=2771524 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29144/stat : 29144 (toysat) S 29140 29143 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36231241 2838040576 634921 33554432000 4194304 16246674 140733949859088 139998772833520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29143/tid=29145] ppid=29140 vsize=2771524 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29145/stat : 29145 (toysat) S 29140 29143 29107 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36231241 2838040576 634921 33554432000 4194304 16246674 140733949859088 139998686850288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29143/tid=29146] ppid=29140 vsize=2771524 CPUtime=0 cores=0,2,4,6
/proc/29143/task/29146/stat : 29146 (toysat) S 29140 29143 29107 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 36231241 2838040576 634921 33554432000 4194304 16246674 140733949859088 139998676376752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2771524

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 29143 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.62
CPU time (s): 1800.11
CPU user time (s): 1795.24
CPU system time (s): 4.86626
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 2771524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.24
system time used= 4.86626
maximum resident set size= 2539684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 634599
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= 508
involuntary context switches= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5743 second user time and 6.94694 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-19 15:10:23
IDJOB=4109194
IDBENCH=78716
IDSOLVER=2553
FILE ID=node113/4109194-1466341823
RUNJOBID= node113-1466341823-29123
PBS_JOBID= 19922039
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109194-1466341823/watcher-4109194-1466341823 -o /tmp/evaluation-result-4109194-1466341823/solver-4109194-1466341823 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466341823-29123 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109194-1466341823.wbo

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

MD5SUM BENCH= 7f95aa45daecbcbe8d128ff4aa3d1714
RANDOM SEED=130697087

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30670244 kB
Buffers:          148160 kB
Cached:           366312 kB
SwapCached:         1964 kB
Active:           141668 kB
Inactive:         375740 kB
Active(anon):       3460 kB
Inactive(anon):     2224 kB
Active(file):     138208 kB
Inactive(file):   373516 kB
Unevictable:      942464 kB
Mlocked:          877056 kB
SwapTotal:      67108856 kB
SwapFree:       67099096 kB
Dirty:             32608 kB
Writeback:             0 kB
AnonPages:        944388 kB
Mapped:             7316 kB
Shmem:                 0 kB
Slab:             607660 kB
SReclaimable:      52020 kB
SUnreclaim:       555640 kB
KernelStack:        1344 kB
PageTables:         5480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1039220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     65536 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 node113 at 2016-06-19 15:40:24