Trace number 4106577

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.14 1800.64

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_60_1.opb
MD5SUM04b9af5ff2583cb908a8972f40516a9e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark42
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 37
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint61
Maximum length of a constraint110
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)75586
Sum of products size (including duplicates)151172
Number of different products75586
Sum of products size151172

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-18T20:17:05+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106577-1466273825.opb"]
0.00/0.01	c use --random-gen="80121273 892188605 981957046 1461476413 1513109069 1843557321 1774986165 404514138 3140281751 1139957216 79254228 1879878122 3677395543 2270373439 1537082980 3539080515 1379450811 161889452 3002476649 3151131941 1505612084 455122921 328560418 1584828267 1217399478 1286457486 3661872288 2057855010 720427588 3270941449 3273778449 3390845565 3602705975 2877793640 1988387967 3056603949 2710425108 2890705141 1674913446 1368729811 755640033 4109903166 70840121 2624185303 3725997597 30276501 3543623703 593981047 3532470276 4149396757 2354323505 106509042 1351740586 1060832053 2470209764 481238856 2222809471 2508024705 3215381454 4118575056 3712773650 1448497594 3599593633 2157487606 419588105 3385419256 3876085501 2947762234 241942032 2792734998 790805303 4017602290 1664555650 1864263490 1574220934 281432061 1600415938 1279820046 3420082104 2162191467 2626672927 439941714 4250262247 655537607 3885446015 1564329441 3791686519 2241328912 930509489 2634658095 117538999 418382352 117626254 4197366180 4034700012 3342135163 1020196038 2976350350 395877388 633814546 470700205 2605741442 3696686635 1651717083 1416224338 3106650940 1096778572 2918811820 3041988006 3281634721 1170296513 3430496740 1085654623 2114343528 3683895646 4080768654 1615004995 180249776 73703672 4064125686 3029089911 1279577201 2702598616 1827110055 196624033 1368807791 2499439999 2064153680 1862061454 374083245 2005189421 314560870 13516265 4191023808 3108700284 984701585 456343998 3499330351 1453246740 1226609351 1498306136 2585172016 2468539179 2433103668 3953825880 3695969719 3429899945 2365370547 1902017747 1274408696 1872703924 2389331478 2248142110 3495473688 2722291174 2104236123 1538507525 275219714 639596422 1828647780 1617158256 3612191353 1759930023 3557524111 1879325558 3139701658 3834665818 1711570578 1842553333 4255285308 4132423399 291545220 2386051334 2868933110 2504303024 659666554 1616263704 299525039 115536516 4152475714 507799840 1948589382 2635082208 2985775538 3872790697 3251524684 1643656983 2635589734 2010901388 2674713946 2724640466 818876158 2252329895 3590403108 4174641925 3071454203 1759817328 4259275175 9273534 554944191 3518444814 4043237786 3169146498 1552436617 4212797633 3613613495 3289782748 2222640874 2871384556 231413238 2340825171 1898866391 182937000 3845704250 2277982853 2138372361 1768864726 2665229527 1292451165 3736509157 1234750414 1152953971 922562382 2042366150 1596525384 1363510650 1445790677 4088827716 1983822129 1128509098 4113927563 3691329824 3714338390 3263138509 1088962321 557222738 4037055000 2031482547 1137633561 2627378471 530466617 1713104157 34231494 3831252964 3912853558 2181204709 3032667962 3919882370 3972595847 2591045013 2607121361 3903097380 1737900268 1118807624 4257977716 1323264138 255 362436" option to reproduce the execution
0.19/0.21	c #vars 1000
0.19/0.21	c #constraints 1000
1.88/1.98	c BCD2: Hardening is enabled.
1.88/1.98	c BCD2: BiasedSearch is enabled.
1.88/1.98	c Solving starts ...
1.88/1.98	c ============================[ Search Statistics ]============================
1.88/1.98	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.88/1.98	c       |         |          |          |    Limit     GC | Var      | Constra 
1.88/1.98	c =============================================================================
1.99/2.06	c  0.0s |       0 |        0 |        0 |    76252      0 |        0 |        0
2.20/2.23	c  0.2s |       0 |     4235 |        0 |    76252      0 |        0 |        0
2.20/2.23	c #cpu_time = 0.126s
2.20/2.23	c #wall_clock_time = 0.127s
2.20/2.23	c #decision = 4235
2.20/2.23	c #random_decision = 3
2.20/2.23	c #conflict = 0
2.20/2.23	c #restart = 0
2.20/2.23	o 934
2.20/2.23	c BCD2: updating upper bound: 1000 -> 933
2.20/2.23	c BCD2: 0 <= obj <= 933
2.20/2.23	c BCD2: #cores=0, #unrelaxed=1000, #relaxed=0, #hardened=0
2.20/2.23	c BCD2: #sat=1 #unsat=1 bias=1/2
2.20/2.23	c Solving starts ...
2.20/2.23	c ============================[ Search Statistics ]============================
2.20/2.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.20/2.23	c       |         |          |          |    Limit     GC | Var      | Constra 
2.20/2.23	c =============================================================================
2.20/2.23	c  0.0s |       0 |        0 |        0 |    76252      0 |        0 |        0
2.39/2.40	c  0.2s |       0 |      910 |        0 |    76252      0 |        0 |        0
2.39/2.40	c #cpu_time = 0.146s
2.39/2.40	c #wall_clock_time = 0.146s
2.39/2.40	c #decision = 910
2.39/2.40	c #random_decision = 0
2.39/2.40	c #conflict = 0
2.39/2.40	c #restart = 0
2.39/2.40	c BCD2: found a new core of size 69: cost of the new core is >=1
2.39/2.40	c lower bound updated to 1
2.39/2.40	c BCD2: 1 <= obj <= 933
2.39/2.40	c BCD2: #cores=1, #unrelaxed=931, #relaxed=69, #hardened=0
2.39/2.40	c BCD2: #sat=1 #unsat=2 bias=2/3
2.39/2.40	c Solving starts ...
2.39/2.40	c ============================[ Search Statistics ]============================
2.39/2.40	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.39/2.40	c       |         |          |          |    Limit     GC | Var      | Constra 
2.39/2.40	c =============================================================================
2.39/2.48	c  0.0s |       0 |        0 |        0 |    76252      0 |        0 |        0
2.59/2.67	c  0.2s |       0 |      919 |        0 |    76252      0 |        0 |        0
2.59/2.67	c #cpu_time = 0.158s
2.59/2.67	c #wall_clock_time = 0.158s
2.59/2.67	c #decision = 919
2.59/2.67	c #random_decision = 0
2.59/2.67	c #conflict = 0
2.59/2.67	c #restart = 0
2.59/2.67	c BCD2: found a new core of size 66: cost of the new core is >=1
2.59/2.67	c lower bound updated to 2
2.59/2.67	c BCD2: 2 <= obj <= 933
2.59/2.67	c BCD2: #cores=2, #unrelaxed=865, #relaxed=135, #hardened=0
2.59/2.67	c BCD2: #sat=1 #unsat=3 bias=3/4
2.59/2.67	c Solving starts ...
2.59/2.67	c ============================[ Search Statistics ]============================
2.59/2.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.59/2.67	c       |         |          |          |    Limit     GC | Var      | Constra 
2.59/2.67	c =============================================================================
2.69/2.71	c  0.0s |       0 |        0 |        0 |    76252      0 |        0 |        0
2.89/2.96	c  0.3s |       0 |     7487 |        0 |    76252      0 |        0 |        0
2.89/2.96	c #cpu_time = 0.183s
2.89/2.96	c #wall_clock_time = 0.183s
2.89/2.96	c #decision = 7487
2.89/2.96	c #random_decision = 2
2.89/2.96	c #conflict = 0
2.89/2.96	c #restart = 0
2.89/2.96	o 78
2.89/2.96	c BCD2: updating upper bound: 933 -> 77
2.89/2.98	c BCD2: 2 <= obj <= 77
2.89/2.98	c BCD2: #cores=2, #unrelaxed=865, #relaxed=135, #hardened=0
2.89/2.98	c BCD2: #sat=2 #unsat=3 bias=3/5
2.89/2.98	c Solving starts ...
2.89/2.98	c ============================[ Search Statistics ]============================
2.89/2.98	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.89/2.98	c       |         |          |          |    Limit     GC | Var      | Constra 
2.89/2.98	c =============================================================================
2.99/3.01	c  0.0s |       0 |        0 |        0 |    76252      0 |        0 |        1
3.59/3.63	c  0.6s |       1 |     2513 |      100 |    76252      0 |        0 |        1
4.59/4.67	c  1.7s |       2 |     3787 |      250 |    83878      0 |        0 |        1
5.79/5.88	c  2.9s |       3 |     5101 |      475 |    92266      0 |        0 |        1
7.69/7.76	c  4.8s |       4 |     6565 |      813 |   101493      0 |        0 |        1
9.79/9.82	c  6.8s |       4 |     8122 |     1213 |   111643      0 |        0 |        1
10.29/10.36	c  7.3s |       5 |     8302 |     1320 |   111643      0 |        0 |        1
12.49/12.53	c  9.5s |       5 |     9871 |     1720 |   122808      0 |        0 |        1
13.88/13.95	c 10.9s |       6 |    10528 |     2081 |   135089      0 |        0 |        1
16.18/16.29	c 13.3s |       6 |    12497 |     2581 |   135089      0 |        0 |        1
18.58/18.64	c 15.6s |       6 |    13730 |     3181 |   135089      0 |        0 |        1
18.69/18.78	c 15.8s |       6 |    16575 |     3183 |   135089      0 |        0 |        1
18.69/18.78	c #cpu_time = 15.648s
18.69/18.78	c #wall_clock_time = 15.689s
18.69/18.78	c #decision = 16575
18.69/18.78	c #random_decision = 13
18.69/18.78	c #conflict = 3183
18.69/18.78	c #restart = 6
18.69/18.78	o 46
18.69/18.78	c BCD2: updating upper bound: 77 -> 45
18.69/18.79	c BCD2: 2 <= obj <= 45
18.69/18.79	c BCD2: #cores=2, #unrelaxed=865, #relaxed=135, #hardened=0
18.69/18.79	c BCD2: #sat=3 #unsat=3 bias=3/6
18.69/18.79	c Solving starts ...
18.69/18.79	c ============================[ Search Statistics ]============================
18.69/18.79	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
18.69/18.79	c       |         |          |          |    Limit     GC | Var      | Constra 
18.69/18.79	c =============================================================================
18.79/18.81	c  0.0s |       0 |        0 |        0 |   135089      0 |        0 |        2
19.79/19.86	c  1.1s |       1 |     1126 |      100 |   148598      0 |        0 |        2
20.99/21.07	c  2.3s |       2 |     2285 |      250 |   148598      0 |        0 |        2
22.38/22.47	c  3.7s |       3 |     3750 |      475 |   148598      0 |        0 |        2
24.19/24.23	c  5.4s |       4 |     5254 |      813 |   148598      0 |        0 |        2
26.58/26.66	c  7.9s |       4 |     7040 |     1213 |   148598      0 |        0 |        2
27.18/27.25	c  8.4s |       5 |     7219 |     1320 |   148598      0 |        0 |        2
29.38/29.47	c 10.7s |       5 |     8958 |     1720 |   148598      0 |        0 |        2
30.89/30.98	c 12.2s |       6 |     9711 |     2081 |   163458      0 |        0 |        2
33.18/33.21	c 14.4s |       6 |    11502 |     2481 |   163458      0 |        0 |        2
35.38/35.49	c 16.7s |       6 |    12486 |     2981 |   163458      0 |        0 |        2
36.48/36.57	c 17.8s |       7 |    13089 |     3223 |   163458      0 |        0 |        2
38.78/38.88	c 20.1s |       7 |    14422 |     3623 |   163458      0 |        0 |        2
40.98/41.01	c 22.2s |       7 |    14946 |     3923 |   163458      0 |        0 |        2
42.99/43.07	c 24.3s |       7 |    15441 |     4223 |   163458      0 |        0 |        2
45.58/45.62	c 26.8s |       7 |    16027 |     4623 |   179804      0 |        0 |        2
47.08/47.19	c 28.4s |       8 |    16395 |     4936 |   179804      0 |        0 |        2
49.28/49.36	c 30.5s |       8 |    17875 |     5236 |   179804      0 |        0 |        2
51.58/51.65	c 32.8s |       8 |    18630 |     5636 |   179804      0 |        0 |        2
54.38/54.43	c 35.6s |       8 |    19502 |     6036 |   179804      0 |        0 |        2
56.78/56.83	c 38.0s |       8 |    20311 |     6436 |   179804      0 |        0 |        2
59.18/59.25	c 40.4s |       8 |    21146 |     6836 |   179804      0 |        0 |        2
61.69/61.77	c 43.0s |       8 |    22015 |     7236 |   179804      0 |        0 |        2
63.48/63.54	c 44.7s |       9 |    22525 |     7506 |   179804      0 |        0 |        2
65.58/65.61	c 46.8s |       9 |    24032 |     7806 |   179804      0 |        0 |        2
67.68/67.73	c 48.9s |       9 |    24854 |     8206 |   197785      0 |        0 |        2
70.18/70.26	c 51.4s |       9 |    25490 |     8606 |   197785      0 |        0 |        2
72.88/72.98	c 54.2s |       9 |    26229 |     9006 |   197785      0 |        0 |        2
75.08/75.12	c 56.3s |       9 |    26716 |     9306 |   197785      0 |        0 |        2
77.28/77.37	c 58.6s |       9 |    27245 |     9606 |   197785      0 |        0 |        2
79.78/79.83	c 61.0s |       9 |    28019 |    10006 |   197785      0 |        0 |        2
82.08/82.12	c 63.3s |       9 |    28663 |    10406 |   197785      0 |        0 |        2
84.28/84.31	c 65.5s |       9 |    29151 |    10706 |   197785      0 |        0 |        2
86.78/86.87	c 68.1s |       9 |    29602 |    11006 |   197785      0 |        0 |        2
89.08/89.16	c 70.4s |       9 |    30070 |    11306 |   197785      0 |        0 |        2
89.58/89.61	c 70.8s |      10 |    30144 |    11361 |   197785      0 |        0 |        2
92.08/92.19	c 73.4s |      10 |    31567 |    11661 |   197785      0 |        0 |        2
94.27/94.31	c 75.5s |      10 |    32241 |    11961 |   197785      0 |        0 |        2
96.27/96.31	c 77.5s |      10 |    32862 |    12261 |   197785      0 |        0 |        2
98.37/98.48	c 79.7s |      10 |    33398 |    12561 |   197785      0 |        0 |        2
100.97/101.02	c 82.2s |      10 |    34212 |    12961 |   197785      0 |        0 |        2
103.77/103.81	c 85.0s |      10 |    34950 |    13361 |   197785      0 |        0 |        2
106.17/106.21	c 87.4s |      10 |    35656 |    13661 |   197785      0 |        0 |        2
108.17/108.23	c 89.4s |      10 |    36324 |    13961 |   217564      0 |        0 |        2
110.27/110.33	c 91.5s |      10 |    36866 |    14261 |   217564      0 |        0 |        2
112.57/112.61	c 93.8s |      10 |    37497 |    14561 |   217564      0 |        0 |        2
114.87/114.92	c 96.1s |      10 |    38066 |    14861 |   217564      0 |        0 |        2
117.27/117.39	c 98.6s |      10 |    38691 |    15161 |   217564      0 |        0 |        2
119.67/119.74	c  100s |      10 |    39250 |    15461 |   217564      0 |        0 |        2
122.47/122.50	c  103s |      10 |    39782 |    15761 |   217564      0 |        0 |        2
124.67/124.78	c  105s |      10 |    40610 |    16161 |   217564      0 |        0 |        2
126.87/126.97	c  108s |      10 |    41268 |    16561 |   217564      0 |        0 |        2
129.27/129.33	c  110s |      10 |    42263 |    17061 |   217564      0 |        0 |        2
129.88/129.96	c  111s |      11 |    42416 |    17144 |   217564      0 |        0 |        2
132.08/132.10	c  113s |      11 |    43557 |    17344 |   217564      0 |        0 |        2
134.47/134.54	c  115s |      11 |    44352 |    17744 |   217564      0 |        0 |        2
136.87/136.96	c  118s |      11 |    45178 |    18144 |   217564      0 |        0 |        2
139.17/139.21	c  120s |      11 |    46001 |    18544 |   217564      0 |        0 |        2
141.67/141.78	c  122s |      11 |    46812 |    18944 |   217564      0 |        0 |        2
144.18/144.21	c  125s |      11 |    47564 |    19344 |   217564      0 |        0 |        2
146.77/146.87	c  128s |      11 |    48323 |    19744 |   217564      0 |        0 |        2
149.47/149.58	c  130s |      11 |    49079 |    20144 |   217564      0 |        0 |        2
151.78/151.90	c  133s |      11 |    49916 |    20544 |   217564      0 |        0 |        2
154.47/154.50	c  135s |      11 |    50696 |    20944 |   217564      0 |        0 |        2
156.57/156.61	c  137s |      11 |    51204 |    21244 |   217564      0 |        0 |        2
158.97/159.02	c  140s |      11 |    51790 |    21544 |   217564      0 |        0 |        2
161.07/161.15	c  142s |      11 |    52380 |    21844 |   217564      0 |        0 |        2
163.46/163.56	c  144s |      11 |    52884 |    22144 |   217564      0 |        0 |        2
165.86/165.97	c  147s |      11 |    53733 |    22544 |   239321      0 |        0 |        2
168.27/168.40	c  149s |      11 |    54504 |    22944 |   239321      0 |        0 |        2
170.36/170.49	c  151s |      11 |    55018 |    23244 |   239321      0 |        0 |        2
173.16/173.21	c  154s |      11 |    55800 |    23644 |   239321      0 |        0 |        2
175.36/175.42	c  156s |      11 |    56374 |    23944 |   239321      0 |        0 |        2
177.46/177.51	c  158s |      11 |    56912 |    24244 |   239321      0 |        0 |        2
179.66/179.74	c  160s |      11 |    57795 |    24644 |   239321      0 |        0 |        2
181.86/181.95	c  163s |      11 |    58785 |    25144 |   239321      0 |        0 |        2
184.16/184.26	c  165s |      11 |    59756 |    25644 |   239321      0 |        0 |        2
184.96/185.01	c  166s |      12 |    60182 |    25819 |   239321      0 |        0 |        2
186.96/187.07	c  168s |      12 |    61553 |    26019 |   239321      0 |        0 |        2
189.86/189.92	c  171s |      12 |    62249 |    26319 |   239321      0 |        0 |        2
192.06/192.19	c  173s |      12 |    62965 |    26619 |   239321      0 |        0 |        2
194.16/194.30	c  175s |      12 |    63509 |    26919 |   239321      0 |        0 |        2
196.56/196.68	c  177s |      12 |    64218 |    27319 |   239321      0 |        0 |        2
198.66/198.70	c  179s |      12 |    64799 |    27619 |   239321      0 |        0 |        2
201.37/201.41	c  182s |      12 |    65500 |    28019 |   239321      0 |        0 |        2
203.96/204.07	c  185s |      12 |    66168 |    28419 |   239321      0 |        0 |        2
206.06/206.11	c  187s |      12 |    66657 |    28719 |   239321      0 |        0 |        2
208.16/208.28	c  189s |      12 |    67312 |    29019 |   239321      0 |        0 |        2
210.65/210.72	c  191s |      12 |    67850 |    29319 |   239321      0 |        0 |        2
213.05/213.18	c  194s |      12 |    68439 |    29619 |   239321      0 |        0 |        2
215.76/215.83	c  197s |      12 |    68932 |    29919 |   239321      0 |        0 |        2
218.36/218.46	c  199s |      12 |    69456 |    30219 |   239321      0 |        0 |        2
220.45/220.51	c  201s |      12 |    70067 |    30519 |   239321      0 |        0 |        2
223.15/223.26	c  204s |      12 |    70798 |    30919 |   239321      0 |        0 |        2
225.56/225.67	c  206s |      12 |    71225 |    31219 |   239321      0 |        0 |        2
227.67/227.72	c  208s |      12 |    71567 |    31419 |   239321      0 |        0 |        2
229.76/229.90	c  211s |      12 |    72262 |    31819 |   239321      0 |        0 |        2
232.16/232.29	c  213s |      12 |    73171 |    32319 |   239321      0 |        0 |        2
234.66/234.74	c  215s |      12 |    74027 |    32819 |   239321      0 |        0 |        2
237.26/237.35	c  218s |      12 |    74755 |    33219 |   239321      0 |        0 |        2
239.65/239.70	c  220s |      12 |    75335 |    33519 |   239321      0 |        0 |        2
241.85/241.92	c  223s |      12 |    75979 |    33819 |   239321      0 |        0 |        2
244.35/244.42	c  225s |      12 |    76592 |    34119 |   239321      0 |        0 |        2
246.95/247.08	c  228s |      12 |    77088 |    34419 |   239321      0 |        0 |        2
249.76/249.82	c  231s |      12 |    77608 |    34719 |   239321      0 |        0 |        2
252.35/252.41	c  233s |      12 |    78136 |    35019 |   239321      0 |        0 |        2
254.95/255.02	c  236s |      12 |    78614 |    35319 |   239321      0 |        0 |        2
257.65/257.76	c  238s |      12 |    79215 |    35619 |   263254      0 |        0 |        2
260.15/260.23	c  241s |      12 |    79806 |    35919 |   263254      0 |        0 |        2
262.96/263.02	c  244s |      12 |    80362 |    36219 |   263254      0 |        0 |        2
265.06/265.16	c  246s |      12 |    81264 |    36619 |   263254      0 |        0 |        2
267.55/267.65	c  248s |      12 |    81894 |    36919 |   263254      0 |        0 |        2
270.05/270.15	c  251s |      12 |    82745 |    37319 |   263254      0 |        0 |        2
272.15/272.25	c  253s |      12 |    83654 |    37719 |   263254      0 |        0 |        2
274.25/274.38	c  255s |      12 |    84320 |    38019 |   263254      0 |        0 |        2
276.35/276.42	c  257s |      12 |    84917 |    38319 |   263254      0 |        0 |        2
278.35/278.43	c  259s |      12 |    85435 |    38619 |   263254      0 |        0 |        2
279.85/279.92	c  261s |      13 |    85922 |    38832 |   263254      0 |        0 |        2
282.35/282.44	c  263s |      13 |    87279 |    39032 |   263254      0 |        0 |        2
284.74/284.83	c  266s |      13 |    87932 |    39332 |   263254      0 |        0 |        2
287.44/287.56	c  268s |      13 |    88521 |    39632 |   263254      0 |        0 |        2
289.74/289.83	c  271s |      13 |    89088 |    39932 |   263254      0 |        0 |        2
292.14/292.22	c  273s |      13 |    89825 |    40232 |   263254      0 |        0 |        2
294.54/294.64	c  275s |      13 |    90530 |    40532 |   263254      0 |        0 |        2
296.64/296.71	c  277s |      13 |    91410 |    40832 |   263254      0 |        0 |        2
299.04/299.20	c  280s |      13 |    92167 |    41132 |   263254      0 |        0 |        2
302.04/302.16	c  283s |      13 |    92792 |    41432 |   263254      0 |        0 |        2
304.24/304.32	c  285s |      13 |    93128 |    41632 |   263254      0 |        0 |        2
306.74/306.88	c  288s |      13 |    93966 |    42032 |   263254      0 |        0 |        2
309.44/309.59	c  290s |      13 |    94618 |    42332 |   263254      0 |        0 |        2
312.04/312.13	c  293s |      13 |    95121 |    42532 |   263254      0 |        0 |        2
314.14/314.29	c  295s |      13 |    95577 |    42732 |   263254      0 |        0 |        2
316.24/316.38	c  297s |      13 |    95910 |    42932 |   263254      0 |        0 |        2
318.64/318.75	c  299s |      13 |    96361 |    43232 |   263254      0 |        0 |        2
321.25/321.34	c  302s |      13 |    96770 |    43532 |   263254      0 |        0 |        2
323.24/323.37	c  304s |      13 |    97140 |    43732 |   263254      0 |        0 |        2
326.14/326.21	c  307s |      13 |    97710 |    44032 |   263254      0 |        0 |        2
328.13/328.22	c  309s |      13 |    98001 |    44232 |   263254      0 |        0 |        2
330.23/330.36	c  311s |      13 |    98317 |    44432 |   263254      0 |        0 |        2
332.43/332.57	c  313s |      13 |    98659 |    44632 |   263254      0 |        0 |        2
334.83/334.99	c  316s |      13 |    99492 |    44932 |   263254      0 |        0 |        2
337.74/337.84	c  319s |      13 |   100206 |    45332 |   263254      0 |        0 |        2
339.94/340.03	c  321s |      13 |   100746 |    45632 |   263254      0 |        0 |        2
341.93/342.07	c  323s |      13 |   101223 |    45932 |   263254      0 |        0 |        2
344.13/344.24	c  325s |      13 |   101712 |    46232 |   263254      0 |        0 |        2
346.83/346.93	c  328s |      13 |   102240 |    46532 |   263254      0 |        0 |        2
349.64/349.70	c  330s |      13 |   102886 |    46932 |   263254      0 |        0 |        2
351.74/351.82	c  333s |      13 |   103159 |    47132 |   263254      0 |        0 |        2
354.44/354.50	c  335s |      13 |   103480 |    47332 |   263254      0 |        0 |        2
356.63/356.78	c  337s |      13 |   103782 |    47532 |   263254      0 |        0 |        2
359.03/359.12	c  340s |      13 |   104108 |    47732 |   263254      0 |        0 |        2
361.23/361.38	c  342s |      13 |   104493 |    47932 |   263254      0 |        0 |        2
363.83/363.95	c  345s |      13 |   104854 |    48132 |   263254      0 |        0 |        2
366.43/366.52	c  347s |      13 |   105201 |    48332 |   263254      0 |        0 |        2
368.73/368.86	c  350s |      13 |   105560 |    48532 |   263254      0 |        0 |        2
370.93/371.05	c  352s |      13 |   105915 |    48732 |   263254      0 |        0 |        2
373.13/373.21	c  354s |      13 |   106262 |    48932 |   263254      0 |        0 |        2
375.43/375.57	c  356s |      13 |   106560 |    49132 |   263254      0 |        0 |        2
377.92/378.03	c  359s |      13 |   106841 |    49332 |   263254      0 |        0 |        2
380.43/380.55	c  361s |      13 |   107198 |    49532 |   263254      0 |        0 |        2
382.93/383.07	c  364s |      13 |   107816 |    49932 |   263254      0 |        0 |        2
385.33/385.40	c  366s |      13 |   108263 |    50232 |   263254      0 |        0 |        2
387.53/387.62	c  368s |      13 |   108805 |    50532 |   263254      0 |        0 |        2
390.03/390.18	c  371s |      13 |   109240 |    50832 |   263254      0 |        0 |        2
392.73/392.86	c  374s |      13 |   109684 |    51132 |   263254      0 |        0 |        2
394.93/395.07	c  376s |      13 |   109972 |    51332 |   263254      0 |        0 |        2
397.72/397.81	c  379s |      13 |   110363 |    51632 |   263254      0 |        0 |        2
400.22/400.39	c  381s |      13 |   110765 |    51932 |   263254      0 |        0 |        2
403.12/403.27	c  384s |      13 |   111196 |    52232 |   263254      0 |        0 |        2
405.22/405.30	c  386s |      13 |   111442 |    52432 |   263254      0 |        0 |        2
407.62/407.71	c  388s |      13 |   111806 |    52732 |   263254      0 |        0 |        2
410.33/410.47	c  391s |      13 |   112238 |    53032 |   263254      0 |        0 |        2
413.12/413.22	c  394s |      13 |   112606 |    53332 |   263254      0 |        0 |        2
416.23/416.32	c  397s |      13 |   113013 |    53632 |   263254      0 |        0 |        2
418.82/418.96	c  400s |      13 |   113402 |    53932 |   263254      0 |        0 |        2
421.02/421.19	c  402s |      13 |   113735 |    54132 |   263254      0 |        0 |        2
423.32/423.46	c  404s |      13 |   113999 |    54332 |   263254      0 |        0 |        2
425.63/425.72	c  406s |      13 |   114290 |    54532 |   263254      0 |        0 |        2
428.52/428.61	c  409s |      13 |   114728 |    54832 |   289580      0 |        0 |        2
431.12/431.29	c  412s |      13 |   115097 |    55132 |   289580      0 |        0 |        2
433.32/433.45	c  414s |      13 |   115367 |    55332 |   289580      0 |        0 |        2
436.32/436.42	c  417s |      13 |   115741 |    55632 |   289580      0 |        0 |        2
439.22/439.37	c  420s |      13 |   116146 |    55932 |   289580      0 |        0 |        2
441.31/441.43	c  422s |      13 |   116448 |    56132 |   289580      0 |        0 |        2
444.11/444.22	c  425s |      13 |   116917 |    56432 |   289580      0 |        0 |        2
446.11/446.27	c  427s |      13 |   117184 |    56632 |   289580      0 |        0 |        2
448.31/448.40	c  429s |      13 |   117496 |    56832 |   289580      0 |        0 |        2
451.11/451.28	c  432s |      13 |   117929 |    57132 |   289580      0 |        0 |        2
453.41/453.57	c  434s |      13 |   118172 |    57332 |   289580      0 |        0 |        2
456.21/456.38	c  437s |      13 |   118831 |    57632 |   289580      0 |        0 |        2
459.00/459.18	c  440s |      13 |   119385 |    57932 |   289580      0 |        0 |        2
461.40/461.53	c  442s |      13 |   119722 |    58132 |   289580      0 |        0 |        2
463.80/463.91	c  445s |      13 |   120097 |    58332 |   289580      0 |        0 |        2
464.00/464.11	c  445s |      14 |   120149 |    58352 |   289580      0 |        0 |        2
466.20/466.40	c  447s |      14 |   121269 |    58452 |   289580      0 |        0 |        2
468.40/468.58	c  449s |      14 |   122000 |    58752 |   289580      0 |        0 |        2
470.60/470.75	c  451s |      14 |   122663 |    59052 |   289580      0 |        0 |        2
473.20/473.31	c  454s |      14 |   123420 |    59452 |   289580      0 |        0 |        2
475.80/475.92	c  457s |      14 |   124223 |    59852 |   289580      0 |        0 |        2
478.19/478.35	c  459s |      14 |   124728 |    60152 |   289580      0 |        0 |        2
481.10/481.30	c  462s |      14 |   125291 |    60452 |   289580      0 |        0 |        2
483.70/483.83	c  465s |      14 |   125853 |    60752 |   289580      0 |        0 |        2
485.80/485.93	c  467s |      14 |   126246 |    60952 |   289580      0 |        0 |        2
487.90/488.09	c  469s |      14 |   126843 |    61252 |   289580      0 |        0 |        2
490.29/490.40	c  471s |      14 |   127451 |    61552 |   289580      0 |        0 |        2
492.80/492.93	c  474s |      14 |   127978 |    61852 |   289580      0 |        0 |        2
495.59/495.73	c  476s |      14 |   128600 |    62152 |   289580      0 |        0 |        2
497.99/498.11	c  479s |      14 |   129238 |    62452 |   289580      0 |        0 |        2
500.49/500.62	c  481s |      14 |   129825 |    62752 |   289580      0 |        0 |        2
502.78/502.98	c  484s |      14 |   130289 |    63052 |   289580      0 |        0 |        2
505.18/505.37	c  486s |      14 |   130838 |    63352 |   289580      0 |        0 |        2
507.68/507.81	c  489s |      14 |   131333 |    63652 |   289580      0 |        0 |        2
509.78/509.97	c  491s |      14 |   131853 |    63952 |   289580      0 |        0 |        2
512.08/512.20	c  493s |      14 |   132440 |    64252 |   289580      0 |        0 |        2
514.58/514.72	c  495s |      14 |   133163 |    64652 |   289580      0 |        0 |        2
516.89/517.05	c  498s |      14 |   133590 |    64952 |   289580      0 |        0 |        2
519.28/519.45	c  500s |      14 |   134016 |    65252 |   289580      0 |        0 |        2
521.58/521.78	c  502s |      14 |   134460 |    65552 |   289580      0 |        0 |        2
524.08/524.29	c  505s |      14 |   134997 |    65852 |   289580      0 |        0 |        2
526.28/526.43	c  507s |      14 |   135558 |    66152 |   289580      0 |        0 |        2
528.37/528.51	c  509s |      14 |   136194 |    66452 |   289580      0 |        0 |        2
530.58/530.78	c  511s |      14 |   136838 |    66752 |   289580      0 |        0 |        2
533.28/533.42	c  514s |      14 |   137773 |    67152 |   289580      0 |        0 |        2
535.69/535.84	c  517s |      14 |   138314 |    67452 |   289580      0 |        0 |        2
538.38/538.50	c  519s |      14 |   138936 |    67752 |   289580      0 |        0 |        2
540.68/540.83	c  522s |      14 |   139605 |    68052 |   289580      0 |        0 |        2
543.07/543.26	c  524s |      14 |   140233 |    68352 |   289580      0 |        0 |        2
545.48/545.66	c  526s |      14 |   140748 |    68652 |   289580      0 |        0 |        2
547.87/548.00	c  529s |      14 |   141539 |    69052 |   289580      0 |        0 |        2
549.88/550.04	c  531s |      14 |   142108 |    69352 |   289580      0 |        0 |        2
551.97/552.13	c  533s |      14 |   142704 |    69652 |   289580      0 |        0 |        2
554.57/554.73	c  535s |      14 |   143365 |    69952 |   289580      0 |        0 |        2
557.27/557.43	c  538s |      14 |   143968 |    70252 |   289580      0 |        0 |        2
559.47/559.61	c  540s |      14 |   144572 |    70552 |   289580      0 |        0 |        2
561.66/561.89	c  543s |      14 |   145103 |    70852 |   289580      0 |        0 |        2
564.06/564.24	c  545s |      14 |   145542 |    71152 |   289580      0 |        0 |        2
566.47/566.67	c  547s |      14 |   145989 |    71452 |   289580      0 |        0 |        2
568.66/568.86	c  550s |      14 |   146615 |    71752 |   289580      0 |        0 |        2
570.96/571.13	c  552s |      14 |   147156 |    72052 |   289580      0 |        0 |        2
573.06/573.28	c  554s |      14 |   147757 |    72352 |   289580      0 |        0 |        2
575.26/575.46	c  556s |      14 |   148264 |    72652 |   289580      0 |        0 |        2
577.37/577.57	c  558s |      14 |   148747 |    72952 |   289580      0 |        0 |        2
579.46/579.61	c  560s |      14 |   149214 |    73252 |   289580      0 |        0 |        2
581.66/581.87	c  563s |      14 |   149691 |    73552 |   289580      0 |        0 |        2
584.26/584.40	c  565s |      14 |   150328 |    73852 |   289580      0 |        0 |        2
586.46/586.67	c  567s |      14 |   150945 |    74152 |   289580      0 |        0 |        2
589.15/589.37	c  570s |      14 |   151576 |    74452 |   289580      0 |        0 |        2
591.25/591.43	c  572s |      14 |   151938 |    74652 |   289580      0 |        0 |        2
593.75/593.96	c  575s |      14 |   152527 |    74952 |   289580      0 |        0 |        2
596.55/596.79	c  577s |      14 |   153101 |    75252 |   289580      0 |        0 |        2
599.24/599.41	c  580s |      14 |   153642 |    75552 |   289580      0 |        0 |        2
601.74/601.97	c  583s |      14 |   153976 |    75752 |   289580      0 |        0 |        2
604.34/604.51	c  585s |      14 |   154591 |    76052 |   289580      0 |        0 |        2
607.05/607.30	c  588s |      14 |   155208 |    76352 |   289580      0 |        0 |        2
609.44/609.68	c  590s |      14 |   155840 |    76652 |   289580      0 |        0 |        2
612.34/612.55	c  593s |      14 |   156335 |    76952 |   289580      0 |        0 |        2
614.75/615.00	c  596s |      14 |   156959 |    77252 |   289580      0 |        0 |        2
616.84/617.08	c  598s |      14 |   157333 |    77452 |   289580      0 |        0 |        2
618.93/619.15	c  600s |      14 |   157672 |    77652 |   289580      0 |        0 |        2
621.53/621.71	c  602s |      14 |   157968 |    77852 |   289580      0 |        0 |        2
623.53/623.74	c  604s |      14 |   158396 |    78052 |   289580      0 |        0 |        2
626.23/626.45	c  607s |      14 |   158924 |    78352 |   289580      0 |        0 |        2
629.23/629.46	c  610s |      14 |   159586 |    78652 |   289580      0 |        0 |        2
631.53/631.70	c  612s |      14 |   159964 |    78852 |   289580      0 |        0 |        2
633.72/633.94	c  615s |      14 |   160317 |    79052 |   289580      0 |        0 |        2
636.52/636.77	c  617s |      14 |   160985 |    79352 |   289580      0 |        0 |        2
638.72/638.92	c  620s |      14 |   161292 |    79552 |   289580      0 |        0 |        2
641.32/641.55	c  622s |      14 |   161604 |    79752 |   289580      0 |        0 |        2
643.92/644.15	c  625s |      14 |   162126 |    80052 |   289580      0 |        0 |        2
646.12/646.33	c  627s |      14 |   162427 |    80252 |   289580      0 |        0 |        2
648.92/649.17	c  630s |      14 |   162942 |    80552 |   289580      0 |        0 |        2
651.31/651.59	c  632s |      14 |   163282 |    80752 |   289580      0 |        0 |        2
653.41/653.69	c  634s |      14 |   163700 |    80952 |   289580      0 |        0 |        2
656.22/656.50	c  637s |      14 |   164355 |    81252 |   289580      0 |        0 |        2
658.91/659.10	c  640s |      14 |   164939 |    81552 |   289580      0 |        0 |        2
661.71/661.90	c  643s |      14 |   165511 |    81852 |   289580      0 |        0 |        2
664.71/664.96	c  646s |      14 |   166022 |    82152 |   289580      0 |        0 |        2
666.81/667.07	c  648s |      14 |   166403 |    82352 |   289580      0 |        0 |        2
668.90/669.16	c  650s |      14 |   166816 |    82552 |   289580      0 |        0 |        2
671.70/671.97	c  653s |      14 |   167361 |    82852 |   289580      0 |        0 |        2
674.60/674.86	c  656s |      14 |   167819 |    83152 |   289580      0 |        0 |        2
676.90/677.12	c  658s |      14 |   168169 |    83352 |   289580      0 |        0 |        2
679.19/679.47	c  660s |      14 |   168559 |    83552 |   289580      0 |        0 |        2
681.59/681.85	c  663s |      14 |   169124 |    83852 |   289580      0 |        0 |        2
684.29/684.56	c  665s |      14 |   169691 |    84152 |   318538      0 |        0 |        2
686.60/686.89	c  668s |      14 |   170066 |    84352 |   318538      0 |        0 |        2
689.00/689.28	c  670s |      14 |   170458 |    84552 |   318538      0 |        0 |        2
691.89/692.11	c  673s |      14 |   171032 |    84852 |   318538      0 |        0 |        2
694.69/694.90	c  676s |      14 |   171342 |    85052 |   318538      0 |        0 |        2
697.20/697.46	c  678s |      14 |   171862 |    85352 |   318538      0 |        0 |        2
699.50/699.79	c  680s |      14 |   172168 |    85552 |   318538      0 |        0 |        2
701.89/702.12	c  683s |      14 |   172543 |    85752 |   318538      0 |        0 |        2
703.90/704.16	c  685s |      14 |   172913 |    85952 |   318538      0 |        0 |        2
706.29/706.58	c  687s |      14 |   173284 |    86152 |   318538      0 |        0 |        2
708.78/709.09	c  690s |      14 |   173665 |    86352 |   318538      0 |        0 |        2
711.68/711.96	c  693s |      14 |   174188 |    86652 |   318538      0 |        0 |        2
714.19/714.44	c  695s |      14 |   174525 |    86852 |   318538      0 |        0 |        2
716.59/716.86	c  698s |      14 |   174866 |    87052 |   318538      0 |        0 |        2
719.19/719.46	c  700s |      14 |   175178 |    87252 |   318538      0 |        0 |        2
721.98/722.23	c  703s |      14 |   175498 |    87452 |   318538      0 |        0 |        2
724.28/724.53	c  705s |      15 |   175812 |    87632 |   318538      0 |        0 |        2
727.08/727.38	c  708s |      15 |   176955 |    87732 |   318538      0 |        0 |        2
730.18/730.41	c  711s |      15 |   177470 |    88032 |   318538      0 |        0 |        2
732.48/732.78	c  713s |      15 |   177850 |    88232 |   318538      0 |        0 |        2
734.77/735.08	c  716s |      15 |   178193 |    88432 |   318538      0 |        0 |        2
737.07/737.35	c  718s |      15 |   178661 |    88632 |   318538      0 |        0 |        2
739.86/740.14	c  721s |      15 |   179284 |    88932 |   318538      0 |        0 |        2
741.96/742.26	c  723s |      15 |   179552 |    89132 |   318538      0 |        0 |        2
744.07/744.32	c  725s |      15 |   179977 |    89332 |   318538      0 |        0 |        2
747.07/747.35	c  728s |      15 |   180470 |    89632 |   318538      0 |        0 |        2
749.16/749.41	c  730s |      15 |   181257 |    89932 |   318538      0 |        0 |        2
751.76/752.03	c  733s |      15 |   182249 |    90332 |   318538      0 |        0 |        2
753.96/754.28	c  735s |      15 |   182960 |    90632 |   318538      0 |        0 |        2
756.76/757.06	c  738s |      15 |   183725 |    90932 |   318538      0 |        0 |        2
759.65/759.93	c  741s |      15 |   184290 |    91232 |   318538      0 |        0 |        2
762.65/762.91	c  744s |      15 |   184852 |    91532 |   318538      0 |        0 |        2
765.26/765.59	c  746s |      15 |   185412 |    91832 |   318538      0 |        0 |        2
768.05/768.39	c  749s |      15 |   185963 |    92132 |   318538      0 |        0 |        2
770.55/770.89	c  752s |      15 |   186401 |    92332 |   318538      0 |        0 |        2
772.65/772.99	c  754s |      15 |   186754 |    92532 |   318538      0 |        0 |        2
775.65/775.91	c  757s |      15 |   187365 |    92832 |   318538      0 |        0 |        2
778.14/778.44	c  759s |      15 |   187913 |    93132 |   318538      0 |        0 |        2
780.14/780.45	c  761s |      15 |   188204 |    93332 |   318538      0 |        0 |        2
782.24/782.58	c  763s |      15 |   188542 |    93532 |   318538      0 |        0 |        2
784.64/784.95	c  766s |      15 |   189183 |    93832 |   318538      0 |        0 |        2
787.04/787.30	c  768s |      15 |   189946 |    94232 |   318538      0 |        0 |        2
789.54/789.80	c  770s |      15 |   190500 |    94532 |   318538      0 |        0 |        2
792.13/792.43	c  773s |      15 |   191056 |    94832 |   318538      0 |        0 |        2
794.54/794.88	c  776s |      15 |   191911 |    95132 |   318538      0 |        0 |        2
797.14/797.41	c  778s |      15 |   192597 |    95432 |   318538      0 |        0 |        2
799.13/799.43	c  780s |      15 |   193021 |    95632 |   318538      0 |        0 |        2
801.43/801.72	c  782s |      15 |   193660 |    95932 |   318538      0 |        0 |        2
804.33/804.61	c  785s |      15 |   194152 |    96232 |   318538      0 |        0 |        2
806.43/806.75	c  787s |      15 |   194529 |    96432 |   318538      0 |        0 |        2
809.43/809.73	c  790s |      15 |   195067 |    96732 |   318538      0 |        0 |        2
811.72/812.01	c  793s |      15 |   195471 |    96932 |   318538      0 |        0 |        2
814.72/815.08	c  796s |      15 |   195997 |    97232 |   318538      0 |        0 |        2
817.52/817.83	c  799s |      15 |   196408 |    97532 |   318538      0 |        0 |        2
820.11/820.42	c  801s |      15 |   197017 |    97832 |   318538      0 |        0 |        2
822.81/823.14	c  804s |      15 |   197556 |    98132 |   318538      0 |        0 |        2
825.02/825.32	c  806s |      15 |   198007 |    98332 |   318538      0 |        0 |        2
827.72/828.07	c  809s |      15 |   198528 |    98632 |   318538      0 |        0 |        2
830.22/830.53	c  811s |      15 |   199032 |    98932 |   318538      0 |        0 |        2
832.81/833.16	c  814s |      15 |   199567 |    99232 |   318538      0 |        0 |        2
835.72/836.02	c  817s |      15 |   200190 |    99532 |   318538      0 |        0 |        2
838.61/838.93	c  820s |      15 |   200763 |    99832 |   318538      0 |        0 |        2
840.80/841.18	c  822s |      15 |   201151 |   100032 |   318538      0 |        0 |        2
844.00/844.37	c  825s |      15 |   201759 |   100332 |   318538      0 |        0 |        2
846.82/847.11	c  828s |      15 |   202263 |   100632 |   318538      0 |        0 |        2
849.01/849.37	c  830s |      15 |   202691 |   100832 |   318538      0 |        0 |        2
851.40/851.71	c  832s |      15 |   203107 |   101032 |   318538      0 |        0 |        2
854.20/854.52	c  835s |      15 |   203664 |   101332 |   318538      0 |        0 |        2
856.71/857.01	c  838s |      15 |   204027 |   101532 |   318538      0 |        0 |        2
859.19/859.52	c  840s |      15 |   204364 |   101732 |   318538      0 |        0 |        2
861.69/862.01	c  843s |      15 |   204709 |   101932 |   318538      0 |        0 |        2
863.69/864.04	c  845s |      15 |   205107 |   102132 |   318538      0 |        0 |        2
865.79/866.16	c  847s |      15 |   205471 |   102332 |   318538      0 |        0 |        2
868.18/868.52	c  849s |      15 |   205842 |   102532 |   318538      0 |        0 |        2
870.38/870.79	c  851s |      15 |   206157 |   102732 |   318538      0 |        0 |        2
872.89/873.29	c  854s |      15 |   206508 |   102932 |   318538      0 |        0 |        2
875.39/875.71	c  856s |      15 |   206855 |   103132 |   318538      0 |        0 |        2
877.69/878.10	c  859s |      15 |   207176 |   103332 |   318538      0 |        0 |        2
880.28/880.63	c  861s |      15 |   207507 |   103532 |   318538      0 |        0 |        2
882.38/882.70	c  863s |      15 |   207861 |   103732 |   318538      0 |        0 |        2
884.78/885.18	c  866s |      15 |   208260 |   103932 |   318538      0 |        0 |        2
887.58/887.99	c  869s |      15 |   208776 |   104232 |   318538      0 |        0 |        2
889.68/890.08	c  871s |      15 |   209186 |   104432 |   318538      0 |        0 |        2
892.57/892.93	c  874s |      15 |   209792 |   104732 |   318538      0 |        0 |        2
894.77/895.14	c  876s |      15 |   210130 |   104932 |   318538      0 |        0 |        2
897.28/897.69	c  878s |      15 |   210449 |   105132 |   318538      0 |        0 |        2
899.96/900.32	c  881s |      15 |   210783 |   105332 |   318538      0 |        0 |        2
902.37/902.72	c  883s |      15 |   211126 |   105532 |   318538      0 |        0 |        2
904.47/904.82	c  886s |      15 |   211493 |   105732 |   318538      0 |        0 |        2
907.56/907.95	c  889s |      15 |   212118 |   106032 |   318538      0 |        0 |        2
909.76/910.15	c  891s |      15 |   212453 |   106232 |   318538      0 |        0 |        2
912.06/912.49	c  893s |      15 |   212796 |   106432 |   318538      0 |        0 |        2
914.26/914.66	c  895s |      15 |   213200 |   106632 |   318538      0 |        0 |        2
916.56/916.92	c  898s |      15 |   213828 |   106932 |   318538      0 |        0 |        2
919.16/919.55	c  900s |      15 |   214341 |   107232 |   318538      0 |        0 |        2
921.56/921.96	c  903s |      15 |   214623 |   107432 |   318538      0 |        0 |        2
923.66/924.10	c  905s |      15 |   215331 |   107732 |   318538      0 |        0 |        2
926.16/926.53	c  907s |      15 |   215909 |   108032 |   318538      0 |        0 |        2
928.45/928.88	c  910s |      15 |   216264 |   108232 |   318538      0 |        0 |        2
930.85/931.28	c  912s |      15 |   216580 |   108432 |   318538      0 |        0 |        2
933.35/933.71	c  914s |      15 |   216872 |   108632 |   318538      0 |        0 |        2
935.55/935.99	c  917s |      15 |   217203 |   108832 |   318538      0 |        0 |        2
938.65/939.04	c  920s |      15 |   217708 |   109132 |   318538      0 |        0 |        2
941.25/941.65	c  922s |      15 |   218066 |   109332 |   318538      0 |        0 |        2
944.05/944.46	c  925s |      15 |   218379 |   109532 |   318538      0 |        0 |        2
946.45/946.85	c  928s |      15 |   218768 |   109732 |   318538      0 |        0 |        2
948.84/949.26	c  930s |      15 |   219091 |   109932 |   318538      0 |        0 |        2
951.15/951.58	c  932s |      15 |   219406 |   110132 |   318538      0 |        0 |        2
953.35/953.72	c  934s |      15 |   219802 |   110332 |   318538      0 |        0 |        2
955.54/955.96	c  937s |      15 |   220216 |   110532 |   318538      0 |        0 |        2
958.43/958.87	c  940s |      15 |   220792 |   110832 |   318538      0 |        0 |        2
961.73/962.12	c  943s |      15 |   221331 |   111132 |   318538      0 |        0 |        2
963.83/964.28	c  945s |      15 |   221681 |   111332 |   318538      0 |        0 |        2
966.14/966.52	c  947s |      15 |   222012 |   111532 |   318538      0 |        0 |        2
968.43/968.86	c  950s |      15 |   222472 |   111732 |   318538      0 |        0 |        2
971.12/971.51	c  952s |      15 |   222778 |   111932 |   318538      0 |        0 |        2
973.13/973.54	c  954s |      15 |   223162 |   112132 |   318538      0 |        0 |        2
975.33/975.76	c  956s |      15 |   223465 |   112332 |   318538      0 |        0 |        2
978.13/978.58	c  959s |      15 |   223775 |   112532 |   318538      0 |        0 |        2
980.12/980.58	c  961s |      15 |   223941 |   112632 |   318538      0 |        0 |        2
982.63/983.09	c  964s |      15 |   224248 |   112832 |   318538      0 |        0 |        2
985.42/985.87	c  967s |      15 |   224645 |   113032 |   318538      0 |        0 |        2
988.12/988.50	c  969s |      15 |   225298 |   113332 |   318538      0 |        0 |        2
990.12/990.51	c  971s |      15 |   225735 |   113532 |   318538      0 |        0 |        2
992.22/992.66	c  973s |      15 |   226195 |   113732 |   318538      0 |        0 |        2
995.22/995.66	c  976s |      15 |   226801 |   114032 |   318538      0 |        0 |        2
997.92/998.34	c  979s |      15 |   227475 |   114332 |   318538      0 |        0 |        2
1000.52/1000.90	c  982s |      15 |   228164 |   114632 |   318538      0 |        0 |        2
1002.93/1003.37	c  984s |      15 |   228765 |   114932 |   318538      0 |        0 |        2
1005.13/1005.55	c  986s |      15 |   229167 |   115132 |   318538      0 |        0 |        2
1008.11/1008.59	c  989s |      15 |   229803 |   115432 |   318538      0 |        0 |        2
1010.21/1010.60	c  991s |      15 |   230224 |   115632 |   318538      0 |        0 |        2
1012.32/1012.74	c  993s |      15 |   230639 |   115832 |   318538      0 |        0 |        2
1015.03/1015.42	c  996s |      15 |   231315 |   116132 |   318538      0 |        0 |        2
1017.23/1017.68	c  998s |      15 |   231743 |   116332 |   318538      0 |        0 |        2
1020.12/1020.53	c 1001s |      15 |   232367 |   116632 |   318538      0 |        0 |        2
1023.22/1023.60	c 1004s |      15 |   232987 |   116932 |   318538      0 |        0 |        2
1025.22/1025.64	c 1006s |      15 |   233349 |   117132 |   318538      0 |        0 |        2
1027.41/1027.89	c 1009s |      15 |   233719 |   117332 |   318538      0 |        0 |        2
1030.42/1030.83	c 1012s |      15 |   234295 |   117632 |   318538      0 |        0 |        2
1032.81/1033.26	c 1014s |      15 |   234662 |   117832 |   318538      0 |        0 |        2
1035.21/1035.65	c 1016s |      15 |   235021 |   118032 |   318538      0 |        0 |        2
1037.61/1038.08	c 1019s |      15 |   235359 |   118232 |   318538      0 |        0 |        2
1039.71/1040.16	c 1021s |      15 |   235659 |   118432 |   318538      0 |        0 |        2
1042.31/1042.72	c 1023s |      15 |   235954 |   118632 |   318538      0 |        0 |        2
1045.02/1045.42	c 1026s |      15 |   236248 |   118832 |   318538      0 |        0 |        2
1047.81/1048.29	c 1029s |      15 |   236664 |   119132 |   318538      0 |        0 |        2
1050.81/1051.24	c 1032s |      15 |   237217 |   119432 |   318538      0 |        0 |        2
1053.52/1053.99	c 1035s |      15 |   237524 |   119632 |   318538      0 |        0 |        2
1055.72/1056.12	c 1037s |      15 |   237987 |   119832 |   318538      0 |        0 |        2
1057.91/1058.34	c 1039s |      15 |   238381 |   120032 |   318538      0 |        0 |        2
1060.31/1060.77	c 1041s |      15 |   238750 |   120232 |   318538      0 |        0 |        2
1062.32/1062.78	c 1043s |      15 |   239095 |   120432 |   318538      0 |        0 |        2
1064.52/1064.99	c 1046s |      15 |   239464 |   120632 |   318538      0 |        0 |        2
1066.81/1067.24	c 1048s |      15 |   239867 |   120832 |   318538      0 |        0 |        2
1068.91/1069.36	c 1050s |      15 |   240218 |   121032 |   318538      0 |        0 |        2
1071.41/1071.81	c 1052s |      15 |   240543 |   121232 |   318538      0 |        0 |        2
1074.00/1074.46	c 1055s |      15 |   240902 |   121432 |   318538      0 |        0 |        2
1076.40/1076.87	c 1058s |      15 |   241262 |   121632 |   318538      0 |        0 |        2
1079.21/1079.66	c 1060s |      15 |   241830 |   121932 |   318538      0 |        0 |        2
1081.71/1082.14	c 1063s |      15 |   242427 |   122232 |   318538      0 |        0 |        2
1084.31/1084.76	c 1065s |      15 |   242946 |   122532 |   318538      0 |        0 |        2
1086.41/1086.82	c 1068s |      15 |   243293 |   122732 |   318538      0 |        0 |        2
1088.61/1089.03	c 1070s |      15 |   243693 |   122932 |   318538      0 |        0 |        2
1090.61/1091.07	c 1072s |      15 |   244369 |   123232 |   318538      0 |        0 |        2
1092.91/1093.30	c 1074s |      15 |   244980 |   123532 |   318538      0 |        0 |        2
1094.91/1095.39	c 1076s |      15 |   245590 |   123832 |   318538      0 |        0 |        2
1097.21/1097.67	c 1078s |      15 |   246199 |   124132 |   318538      0 |        0 |        2
1099.40/1099.88	c 1081s |      15 |   246858 |   124432 |   318538      0 |        0 |        2
1102.10/1102.52	c 1083s |      15 |   247458 |   124732 |   318538      0 |        0 |        2
1104.30/1104.71	c 1085s |      15 |   247871 |   124932 |   318538      0 |        0 |        2
1106.50/1106.94	c 1088s |      15 |   248301 |   125132 |   318538      0 |        0 |        2
1109.50/1109.92	c 1091s |      15 |   248763 |   125432 |   318538      0 |        0 |        2
1111.70/1112.14	c 1093s |      15 |   249206 |   125632 |   318538      0 |        0 |        2
1114.20/1114.61	c 1095s |      15 |   249535 |   125832 |   318538      0 |        0 |        2
1116.80/1117.21	c 1098s |      15 |   249878 |   126032 |   318538      0 |        0 |        2
1119.40/1119.81	c 1100s |      15 |   250222 |   126232 |   318538      0 |        0 |        2
1121.60/1122.10	c 1103s |      15 |   250655 |   126432 |   318538      0 |        0 |        2
1124.00/1124.46	c 1105s |      15 |   251094 |   126632 |   318538      0 |        0 |        2
1126.40/1126.83	c 1108s |      15 |   251473 |   126832 |   318538      0 |        0 |        2
1128.70/1129.19	c 1110s |      15 |   251821 |   127032 |   318538      0 |        0 |        2
1131.50/1131.97	c 1113s |      15 |   252286 |   127232 |   318538      0 |        0 |        2
1134.29/1134.77	c 1115s |      15 |   252591 |   127432 |   318538      0 |        0 |        2
1137.10/1137.56	c 1118s |      15 |   252891 |   127632 |   350392      0 |        0 |        2
1139.99/1140.41	c 1121s |      15 |   253391 |   127932 |   350392      0 |        0 |        2
1143.09/1143.52	c 1124s |      15 |   253855 |   128232 |   350392      0 |        0 |        2
1145.50/1145.98	c 1127s |      15 |   254136 |   128432 |   350392      0 |        0 |        2
1147.70/1148.14	c 1129s |      15 |   254454 |   128632 |   350392      0 |        0 |        2
1150.10/1150.53	c 1131s |      15 |   254801 |   128832 |   350392      0 |        0 |        2
1152.69/1153.11	c 1134s |      15 |   255133 |   129032 |   350392      0 |        0 |        2
1154.79/1155.27	c 1136s |      15 |   255523 |   129232 |   350392      0 |        0 |        2
1157.60/1158.02	c 1139s |      15 |   255912 |   129432 |   350392      0 |        0 |        2
1159.80/1160.28	c 1141s |      15 |   256295 |   129632 |   350392      0 |        0 |        2
1162.49/1162.90	c 1144s |      15 |   256685 |   129832 |   350392      0 |        0 |        2
1164.89/1165.36	c 1146s |      15 |   257092 |   130032 |   350392      0 |        0 |        2
1167.49/1167.97	c 1149s |      15 |   257467 |   130232 |   350392      0 |        0 |        2
1169.70/1170.16	c 1151s |      15 |   257923 |   130432 |   350392      0 |        0 |        2
1172.20/1172.60	c 1153s |      15 |   258253 |   130632 |   350392      0 |        0 |        2
1174.59/1175.07	c 1156s |      15 |   258604 |   130832 |   350392      0 |        0 |        2
1176.99/1177.48	c 1158s |      15 |   258937 |   131032 |   350392      0 |        0 |        2
1178.99/1179.49	c 1160s |      15 |   259313 |   131232 |   350392      0 |        0 |        2
1181.49/1181.96	c 1163s |      15 |   259725 |   131432 |   350392      0 |        0 |        2
1183.20/1183.67	c 1164s |      16 |   259914 |   131552 |   350392      0 |        0 |        2
1186.79/1187.23	c 1168s |      16 |   261029 |   131652 |   350392      0 |        0 |        2
1189.09/1189.58	c 1170s |      16 |   261984 |   132052 |   350392      0 |        0 |        2
1191.59/1192.05	c 1173s |      16 |   262849 |   132452 |   350392      0 |        0 |        2
1193.69/1194.16	c 1175s |      16 |   263539 |   132752 |   350392      0 |        0 |        2
1195.89/1196.37	c 1177s |      16 |   264262 |   133052 |   350392      0 |        0 |        2
1198.29/1198.78	c 1179s |      16 |   264915 |   133352 |   350392      0 |        0 |        2
1200.99/1201.46	c 1182s |      16 |   265768 |   133752 |   350392      0 |        0 |        2
1203.68/1204.15	c 1185s |      16 |   266583 |   134152 |   350392      0 |        0 |        2
1206.08/1206.59	c 1187s |      16 |   267159 |   134452 |   350392      0 |        0 |        2
1208.18/1208.65	c 1189s |      16 |   267685 |   134752 |   350392      0 |        0 |        2
1210.79/1211.25	c 1192s |      16 |   268492 |   135152 |   350392      0 |        0 |        2
1213.08/1213.53	c 1194s |      16 |   269016 |   135452 |   350392      0 |        0 |        2
1215.19/1215.68	c 1196s |      16 |   269586 |   135752 |   350392      0 |        0 |        2
1217.58/1218.07	c 1199s |      16 |   270140 |   136052 |   350392      0 |        0 |        2
1220.28/1220.71	c 1201s |      16 |   270992 |   136452 |   350392      0 |        0 |        2
1222.99/1223.42	c 1204s |      16 |   271486 |   136752 |   350392      0 |        0 |        2
1225.39/1225.80	c 1206s |      16 |   272082 |   137052 |   350392      0 |        0 |        2
1227.99/1228.46	c 1209s |      16 |   272851 |   137452 |   350392      0 |        0 |        2
1230.49/1230.91	c 1212s |      16 |   273428 |   137752 |   350392      0 |        0 |        2
1232.48/1232.92	c 1214s |      16 |   273780 |   137952 |   350392      0 |        0 |        2
1234.48/1234.99	c 1216s |      16 |   274412 |   138252 |   350392      0 |        0 |        2
1236.68/1237.12	c 1218s |      16 |   274976 |   138552 |   350392      0 |        0 |        2
1239.08/1239.58	c 1220s |      16 |   275575 |   138852 |   350392      0 |        0 |        2
1241.59/1242.01	c 1223s |      16 |   276128 |   139152 |   350392      0 |        0 |        2
1243.88/1244.39	c 1225s |      16 |   276722 |   139452 |   350392      0 |        0 |        2
1246.08/1246.57	c 1227s |      16 |   277399 |   139752 |   350392      0 |        0 |        2
1248.38/1248.80	c 1229s |      16 |   278015 |   140052 |   350392      0 |        0 |        2
1250.58/1251.05	c 1232s |      16 |   278567 |   140352 |   350392      0 |        0 |        2
1252.88/1253.33	c 1234s |      16 |   279144 |   140652 |   350392      0 |        0 |        2
1255.28/1255.74	c 1236s |      16 |   279674 |   140952 |   350392      0 |        0 |        2
1257.38/1257.86	c 1239s |      16 |   280279 |   141252 |   350392      0 |        0 |        2
1259.77/1260.23	c 1241s |      16 |   280884 |   141552 |   350392      0 |        0 |        2
1262.27/1262.74	c 1243s |      16 |   281396 |   141852 |   350392      0 |        0 |        2
1264.78/1265.28	c 1246s |      16 |   282005 |   142152 |   350392      0 |        0 |        2
1267.68/1268.10	c 1249s |      16 |   282569 |   142452 |   350392      0 |        0 |        2
1270.18/1270.67	c 1251s |      16 |   283336 |   142852 |   350392      0 |        0 |        2
1272.87/1273.36	c 1254s |      16 |   284118 |   143252 |   350392      0 |        0 |        2
1275.47/1275.97	c 1257s |      16 |   284981 |   143652 |   350392      0 |        0 |        2
1277.57/1278.03	c 1259s |      16 |   285568 |   143952 |   350392      0 |        0 |        2
1279.67/1280.15	c 1261s |      16 |   286058 |   144252 |   350392      0 |        0 |        2
1281.67/1282.17	c 1263s |      16 |   286740 |   144552 |   350392      0 |        0 |        2
1284.28/1284.72	c 1265s |      16 |   287524 |   144952 |   350392      0 |        0 |        2
1286.78/1287.22	c 1268s |      16 |   288501 |   145352 |   350392      0 |        0 |        2
1289.48/1289.95	c 1271s |      16 |   289345 |   145752 |   350392      0 |        0 |        2
1291.58/1292.04	c 1273s |      16 |   290004 |   146052 |   350392      0 |        0 |        2
1294.07/1294.58	c 1275s |      16 |   291000 |   146452 |   350392      0 |        0 |        2
1296.77/1297.23	c 1278s |      16 |   291859 |   146852 |   350392      0 |        0 |        2
1298.97/1299.45	c 1280s |      16 |   292436 |   147152 |   350392      0 |        0 |        2
1301.67/1302.16	c 1283s |      16 |   293205 |   147552 |   350392      0 |        0 |        2
1304.07/1304.50	c 1285s |      16 |   293787 |   147852 |   350392      0 |        0 |        2
1306.17/1306.65	c 1287s |      16 |   294420 |   148152 |   350392      0 |        0 |        2
1308.47/1308.94	c 1290s |      16 |   294956 |   148452 |   350392      0 |        0 |        2
1310.67/1311.20	c 1292s |      16 |   295555 |   148752 |   350392      0 |        0 |        2
1312.87/1313.33	c 1294s |      16 |   296120 |   149052 |   350392      0 |        0 |        2
1314.97/1315.43	c 1296s |      16 |   296712 |   149352 |   350392      0 |        0 |        2
1317.07/1317.55	c 1298s |      16 |   297246 |   149652 |   350392      0 |        0 |        2
1319.67/1320.14	c 1301s |      16 |   297869 |   149952 |   350392      0 |        0 |        2
1321.67/1322.16	c 1303s |      16 |   298503 |   150252 |   350392      0 |        0 |        2
1324.37/1324.82	c 1306s |      16 |   299284 |   150652 |   350392      0 |        0 |        2
1326.96/1327.49	c 1308s |      16 |   300118 |   151052 |   350392      0 |        0 |        2
1329.16/1329.66	c 1310s |      16 |   300638 |   151352 |   350392      0 |        0 |        2
1331.46/1331.94	c 1313s |      16 |   301157 |   151652 |   350392      0 |        0 |        2
1333.66/1334.16	c 1315s |      16 |   301750 |   151952 |   350392      0 |        0 |        2
1335.86/1336.34	c 1317s |      16 |   302310 |   152252 |   350392      0 |        0 |        2
1338.06/1338.56	c 1319s |      16 |   303081 |   152552 |   350392      0 |        0 |        2
1340.36/1340.86	c 1322s |      16 |   303779 |   152852 |   350392      0 |        0 |        2
1342.78/1343.28	c 1324s |      16 |   304655 |   153152 |   350392      0 |        0 |        2
1345.17/1345.66	c 1326s |      16 |   305456 |   153452 |   350392      0 |        0 |        2
1347.77/1348.21	c 1329s |      16 |   305997 |   153752 |   350392      0 |        0 |        2
1350.47/1350.96	c 1332s |      16 |   306655 |   154052 |   350392      0 |        0 |        2
1353.46/1353.91	c 1335s |      16 |   307202 |   154352 |   350392      0 |        0 |        2
1356.06/1356.59	c 1337s |      16 |   307768 |   154652 |   350392      0 |        0 |        2
1358.86/1359.37	c 1340s |      16 |   308247 |   154952 |   350392      0 |        0 |        2
1360.97/1361.42	c 1342s |      16 |   308603 |   155152 |   350392      0 |        0 |        2
1363.16/1363.68	c 1344s |      16 |   309013 |   155352 |   350392      0 |        0 |        2
1365.56/1366.09	c 1347s |      16 |   309425 |   155552 |   350392      0 |        0 |        2
1367.76/1368.22	c 1349s |      16 |   309790 |   155752 |   350392      0 |        0 |        2
1369.86/1370.30	c 1351s |      16 |   310098 |   155952 |   350392      0 |        0 |        2
1372.46/1372.99	c 1354s |      16 |   310759 |   156252 |   350392      0 |        0 |        2
1374.96/1375.47	c 1356s |      16 |   311399 |   156552 |   350392      0 |        0 |        2
1377.26/1377.70	c 1358s |      16 |   311877 |   156752 |   350392      0 |        0 |        2
1379.36/1379.89	c 1361s |      16 |   312211 |   156952 |   350392      0 |        0 |        2
1381.56/1382.03	c 1363s |      16 |   312771 |   157252 |   350392      0 |        0 |        2
1383.85/1384.34	c 1365s |      16 |   313407 |   157552 |   350392      0 |        0 |        2
1386.15/1386.65	c 1367s |      16 |   314104 |   157852 |   350392      0 |        0 |        2
1388.45/1388.99	c 1370s |      16 |   314752 |   158152 |   350392      0 |        0 |        2
1390.75/1391.26	c 1372s |      16 |   315668 |   158552 |   350392      0 |        0 |        2
1393.55/1394.08	c 1375s |      16 |   316250 |   158852 |   350392      0 |        0 |        2
1395.95/1396.43	c 1377s |      16 |   316836 |   159152 |   350392      0 |        0 |        2
1398.15/1398.68	c 1379s |      16 |   317402 |   159452 |   350392      0 |        0 |        2
1400.75/1401.26	c 1382s |      16 |   318200 |   159852 |   350392      0 |        0 |        2
1403.35/1403.88	c 1385s |      16 |   318859 |   160152 |   350392      0 |        0 |        2
1406.15/1406.64	c 1387s |      16 |   319485 |   160452 |   350392      0 |        0 |        2
1408.46/1408.98	c 1390s |      16 |   320163 |   160752 |   350392      0 |        0 |        2
1410.56/1411.05	c 1392s |      16 |   320583 |   160952 |   350392      0 |        0 |        2
1413.17/1413.61	c 1394s |      16 |   321285 |   161252 |   350392      0 |        0 |        2
1415.16/1415.68	c 1396s |      16 |   321833 |   161552 |   350392      0 |        0 |        2
1417.76/1418.21	c 1399s |      16 |   322659 |   161952 |   350392      0 |        0 |        2
1420.26/1420.71	c 1401s |      16 |   323481 |   162352 |   350392      0 |        0 |        2
1422.56/1423.07	c 1404s |      16 |   324084 |   162652 |   350392      0 |        0 |        2
1424.76/1425.28	c 1406s |      16 |   324655 |   162952 |   350392      0 |        0 |        2
1426.86/1427.38	c 1408s |      16 |   325305 |   163252 |   350392      0 |        0 |        2
1429.15/1429.60	c 1410s |      16 |   325955 |   163552 |   350392      0 |        0 |        2
1431.45/1431.99	c 1413s |      16 |   326426 |   163852 |   350392      0 |        0 |        2
1433.75/1434.26	c 1415s |      16 |   326909 |   164152 |   350392      0 |        0 |        2
1436.26/1436.77	c 1417s |      16 |   327459 |   164452 |   350392      0 |        0 |        2
1438.46/1438.91	c 1420s |      16 |   328117 |   164752 |   350392      0 |        0 |        2
1441.05/1441.51	c 1422s |      16 |   329017 |   165152 |   350392      0 |        0 |        2
1443.05/1443.59	c 1424s |      16 |   329659 |   165452 |   350392      0 |        0 |        2
1445.55/1446.07	c 1427s |      16 |   330452 |   165852 |   350392      0 |        0 |        2
1448.35/1448.89	c 1430s |      16 |   331241 |   166252 |   350392      0 |        0 |        2
1450.64/1451.11	c 1432s |      16 |   331772 |   166552 |   350392      0 |        0 |        2
1452.84/1453.36	c 1434s |      16 |   332320 |   166852 |   350392      0 |        0 |        2
1455.35/1455.85	c 1437s |      16 |   332791 |   167152 |   350392      0 |        0 |        2
1457.45/1457.97	c 1439s |      16 |   333272 |   167452 |   350392      0 |        0 |        2
1459.95/1460.44	c 1441s |      16 |   333819 |   167752 |   350392      0 |        0 |        2
1462.34/1462.86	c 1444s |      16 |   334369 |   168052 |   350392      0 |        0 |        2
1464.45/1464.94	c 1446s |      16 |   334862 |   168352 |   350392      0 |        0 |        2
1466.45/1466.95	c 1448s |      16 |   335461 |   168652 |   350392      0 |        0 |        2
1469.05/1469.53	c 1450s |      16 |   336218 |   169052 |   350392      0 |        0 |        2
1471.15/1471.63	c 1452s |      16 |   336781 |   169352 |   350392      0 |        0 |        2
1473.35/1473.82	c 1455s |      16 |   337340 |   169652 |   350392      0 |        0 |        2
1475.55/1476.01	c 1457s |      16 |   337921 |   169952 |   350392      0 |        0 |        2
1477.55/1478.03	c 1459s |      16 |   338489 |   170252 |   350392      0 |        0 |        2
1479.65/1480.16	c 1461s |      16 |   338966 |   170552 |   350392      0 |        0 |        2
1481.74/1482.29	c 1463s |      16 |   339503 |   170852 |   350392      0 |        0 |        2
1484.04/1484.53	c 1465s |      16 |   340058 |   171152 |   350392      0 |        0 |        2
1486.24/1486.70	c 1467s |      16 |   340638 |   171452 |   350392      0 |        0 |        2
1488.64/1489.19	c 1470s |      16 |   341166 |   171752 |   350392      0 |        0 |        2
1490.94/1491.47	c 1472s |      16 |   341711 |   172052 |   350392      0 |        0 |        2
1493.24/1493.73	c 1474s |      16 |   342371 |   172352 |   350392      0 |        0 |        2
1495.84/1496.37	c 1477s |      16 |   343327 |   172752 |   350392      0 |        0 |        2
1498.04/1498.57	c 1479s |      16 |   343927 |   173052 |   350392      0 |        0 |        2
1500.24/1500.71	c 1481s |      16 |   344617 |   173352 |   350392      0 |        0 |        2
1502.84/1503.33	c 1484s |      16 |   345534 |   173752 |   350392      0 |        0 |        2
1505.05/1505.51	c 1486s |      16 |   346222 |   174052 |   350392      0 |        0 |        2
1507.34/1507.84	c 1489s |      16 |   346823 |   174352 |   350392      0 |        0 |        2
1510.04/1510.52	c 1491s |      16 |   347537 |   174652 |   350392      0 |        0 |        2
1512.15/1512.63	c 1493s |      16 |   347861 |   174852 |   350392      0 |        0 |        2
1514.25/1514.77	c 1495s |      16 |   348368 |   175152 |   350392      0 |        0 |        2
1516.34/1516.85	c 1498s |      16 |   348927 |   175452 |   350392      0 |        0 |        2
1518.54/1519.09	c 1500s |      16 |   349591 |   175752 |   350392      0 |        0 |        2
1520.84/1521.37	c 1502s |      16 |   350219 |   176052 |   350392      0 |        0 |        2
1523.04/1523.56	c 1504s |      16 |   350753 |   176352 |   350392      0 |        0 |        2
1525.34/1525.85	c 1507s |      16 |   351403 |   176652 |   350392      0 |        0 |        2
1527.84/1528.38	c 1509s |      16 |   352198 |   177052 |   350392      0 |        0 |        2
1529.94/1530.45	c 1511s |      16 |   352743 |   177352 |   350392      0 |        0 |        2
1532.54/1533.09	c 1514s |      16 |   353253 |   177652 |   350392      0 |        0 |        2
1535.04/1535.51	c 1516s |      16 |   353770 |   177952 |   350392      0 |        0 |        2
1537.64/1538.17	c 1519s |      16 |   354360 |   178252 |   350392      0 |        0 |        2
1540.43/1540.95	c 1522s |      16 |   354934 |   178552 |   350392      0 |        0 |        2
1542.94/1543.47	c 1524s |      16 |   355493 |   178852 |   350392      0 |        0 |        2
1545.23/1545.74	c 1526s |      16 |   356057 |   179152 |   350392      0 |        0 |        2
1547.24/1547.77	c 1528s |      16 |   356403 |   179352 |   350392      0 |        0 |        2
1549.73/1550.26	c 1531s |      16 |   357008 |   179652 |   350392      0 |        0 |        2
1551.83/1552.34	c 1533s |      16 |   357375 |   179852 |   350392      0 |        0 |        2
1554.43/1554.92	c 1536s |      16 |   357912 |   180152 |   350392      0 |        0 |        2
1556.93/1557.46	c 1538s |      16 |   358399 |   180452 |   350392      0 |        0 |        2
1559.83/1560.33	c 1541s |      16 |   358998 |   180752 |   350392      0 |        0 |        2
1562.13/1562.69	c 1543s |      16 |   359569 |   181052 |   350392      0 |        0 |        2
1564.73/1565.25	c 1546s |      16 |   360202 |   181352 |   350392      0 |        0 |        2
1567.14/1567.66	c 1548s |      16 |   360731 |   181652 |   350392      0 |        0 |        2
1569.93/1570.44	c 1551s |      16 |   361319 |   181952 |   350392      0 |        0 |        2
1572.73/1573.24	c 1554s |      16 |   361953 |   182252 |   350392      0 |        0 |        2
1575.33/1575.85	c 1557s |      16 |   362461 |   182552 |   350392      0 |        0 |        2
1577.63/1578.19	c 1559s |      16 |   363037 |   182852 |   350392      0 |        0 |        2
1580.03/1580.52	c 1561s |      16 |   363574 |   183152 |   350392      0 |        0 |        2
1582.44/1582.95	c 1564s |      16 |   364083 |   183452 |   350392      0 |        0 |        2
1585.13/1585.60	c 1566s |      16 |   364598 |   183752 |   350392      0 |        0 |        2
1587.93/1588.44	c 1569s |      16 |   365111 |   184052 |   350392      0 |        0 |        2
1590.63/1591.10	c 1572s |      16 |   365627 |   184352 |   350392      0 |        0 |        2
1593.02/1593.55	c 1574s |      16 |   366066 |   184652 |   350392      0 |        0 |        2
1595.64/1596.17	c 1577s |      16 |   366603 |   184952 |   350392      0 |        0 |        2
1598.13/1598.61	c 1579s |      16 |   367132 |   185252 |   350392      0 |        0 |        2
1600.62/1601.19	c 1582s |      16 |   367684 |   185552 |   350392      0 |        0 |        2
1603.63/1604.18	c 1585s |      16 |   368228 |   185852 |   350392      0 |        0 |        2
1606.13/1606.60	c 1587s |      16 |   368889 |   186152 |   350392      0 |        0 |        2
1608.32/1608.83	c 1590s |      16 |   369499 |   186452 |   350392      0 |        0 |        2
1610.62/1611.17	c 1592s |      16 |   370105 |   186752 |   350392      0 |        0 |        2
1612.72/1613.20	c 1594s |      16 |   370615 |   187052 |   350392      0 |        0 |        2
1614.82/1615.30	c 1596s |      16 |   371089 |   187352 |   350392      0 |        0 |        2
1616.82/1617.39	c 1598s |      16 |   371509 |   187652 |   350392      0 |        0 |        2
1618.92/1619.47	c 1600s |      16 |   371953 |   187952 |   350392      0 |        0 |        2
1621.42/1621.97	c 1603s |      16 |   372361 |   188252 |   350392      0 |        0 |        2
1623.52/1624.04	c 1605s |      16 |   372911 |   188552 |   350392      0 |        0 |        2
1625.62/1626.12	c 1607s |      16 |   373448 |   188852 |   350392      0 |        0 |        2
1628.12/1628.60	c 1609s |      16 |   374156 |   189252 |   350392      0 |        0 |        2
1630.42/1630.98	c 1612s |      16 |   374838 |   189652 |   350392      0 |        0 |        2
1632.42/1632.99	c 1614s |      16 |   375356 |   189952 |   350392      0 |        0 |        2
1635.03/1635.55	c 1616s |      16 |   375971 |   190352 |   350392      0 |        0 |        2
1637.12/1637.63	c 1618s |      16 |   376480 |   190652 |   350392      0 |        0 |        2
1639.82/1640.33	c 1621s |      16 |   377080 |   191052 |   350392      0 |        0 |        2
1642.52/1643.00	c 1624s |      16 |   377655 |   191352 |   350392      0 |        0 |        2
1644.72/1645.20	c 1626s |      16 |   378105 |   191552 |   350392      0 |        0 |        2
1647.02/1647.52	c 1628s |      16 |   378511 |   191752 |   350392      0 |        0 |        2
1649.63/1650.19	c 1631s |      16 |   378887 |   191952 |   350392      0 |        0 |        2
1652.83/1653.36	c 1634s |      16 |   379502 |   192252 |   350392      0 |        0 |        2
1655.02/1655.54	c 1636s |      16 |   379922 |   192452 |   350392      0 |        0 |        2
1657.32/1657.81	c 1638s |      16 |   380374 |   192652 |   350392      0 |        0 |        2
1660.42/1660.95	c 1642s |      16 |   380996 |   192952 |   385432      0 |        0 |        2
1662.62/1663.11	c 1644s |      16 |   381361 |   193152 |   385432      0 |        0 |        2
1664.62/1665.12	c 1646s |      16 |   381543 |   193252 |   385432      0 |        0 |        2
1667.12/1667.60	c 1648s |      16 |   381944 |   193452 |   385432      0 |        0 |        2
1670.12/1670.62	c 1651s |      16 |   382543 |   193752 |   385432      0 |        0 |        2
1672.22/1672.74	c 1653s |      16 |   382998 |   193952 |   385432      0 |        0 |        2
1675.72/1676.20	c 1657s |      16 |   383564 |   194252 |   385432      0 |        0 |        2
1678.22/1678.76	c 1659s |      16 |   383973 |   194452 |   385432      0 |        0 |        2
1680.51/1681.06	c 1662s |      16 |   384418 |   194652 |   385432      0 |        0 |        2
1683.01/1683.52	c 1664s |      16 |   384823 |   194852 |   385432      0 |        0 |        2
1685.71/1686.22	c 1667s |      16 |   385180 |   195052 |   385432      0 |        0 |        2
1688.02/1688.58	c 1669s |      16 |   385550 |   195252 |   385432      0 |        0 |        2
1690.71/1691.22	c 1672s |      16 |   385986 |   195452 |   385432      0 |        0 |        2
1693.61/1694.19	c 1675s |      16 |   386616 |   195752 |   385432      0 |        0 |        2
1696.11/1696.61	c 1677s |      16 |   387021 |   195952 |   385432      0 |        0 |        2
1698.61/1699.12	c 1680s |      16 |   387778 |   196252 |   385432      0 |        0 |        2
1701.62/1702.10	c 1683s |      16 |   388192 |   196452 |   385432      0 |        0 |        2
1703.62/1704.11	c 1685s |      16 |   388645 |   196652 |   385432      0 |        0 |        2
1706.31/1706.89	c 1688s |      16 |   389052 |   196852 |   385432      0 |        0 |        2
1708.81/1709.39	c 1690s |      16 |   389424 |   197052 |   385432      0 |        0 |        2
1711.41/1711.95	c 1693s |      16 |   389809 |   197252 |   385432      0 |        0 |        2
1713.01/1713.56	c 1694s |      17 |   390207 |   197432 |   385432      0 |        0 |        2
1717.31/1717.80	c 1698s |      17 |   391236 |   197532 |   385432      0 |        0 |        2
1719.81/1720.38	c 1701s |      17 |   391796 |   197832 |   385432      0 |        0 |        2
1722.91/1723.49	c 1704s |      17 |   392258 |   198132 |   385432      0 |        0 |        2
1725.42/1725.98	c 1707s |      17 |   393165 |   198432 |   385432      0 |        0 |        2
1727.51/1728.00	c 1709s |      17 |   393626 |   198632 |   385432      0 |        0 |        2
1729.61/1730.13	c 1711s |      17 |   394096 |   198832 |   385432      0 |        0 |        2
1732.51/1733.07	c 1714s |      17 |   394724 |   199132 |   385432      0 |        0 |        2
1735.01/1735.52	c 1716s |      17 |   395234 |   199432 |   385432      0 |        0 |        2
1737.01/1737.52	c 1718s |      17 |   395683 |   199632 |   385432      0 |        0 |        2
1739.10/1739.63	c 1720s |      17 |   396079 |   199832 |   385432      0 |        0 |        2
1741.70/1742.26	c 1723s |      17 |   396771 |   200132 |   385432      0 |        0 |        2
1743.80/1744.36	c 1725s |      17 |   397103 |   200332 |   385432      0 |        0 |        2
1746.70/1747.26	c 1728s |      17 |   397706 |   200632 |   385432      0 |        0 |        2
1749.10/1749.61	c 1730s |      17 |   398079 |   200832 |   385432      0 |        0 |        2
1751.81/1752.36	c 1733s |      17 |   398472 |   201032 |   385432      0 |        0 |        2
1754.60/1755.17	c 1736s |      17 |   398817 |   201232 |   385432      0 |        0 |        2
1756.70/1757.22	c 1738s |      17 |   399158 |   201432 |   385432      0 |        0 |        2
1758.70/1759.25	c 1740s |      17 |   399521 |   201632 |   385432      0 |        0 |        2
1761.71/1762.25	c 1743s |      17 |   400107 |   201932 |   385432      0 |        0 |        2
1764.40/1764.97	c 1746s |      17 |   400671 |   202232 |   385432      0 |        0 |        2
1767.10/1767.65	c 1748s |      17 |   401293 |   202532 |   385432      0 |        0 |        2
1770.10/1770.61	c 1751s |      17 |   401804 |   202832 |   385432      0 |        0 |        2
1772.20/1772.75	c 1753s |      17 |   402139 |   203032 |   385432      0 |        0 |        2
1775.10/1775.69	c 1756s |      17 |   402742 |   203332 |   385432      0 |        0 |        2
1777.90/1778.40	c 1759s |      17 |   403225 |   203632 |   385432      0 |        0 |        2
1780.70/1781.21	c 1762s |      17 |   403724 |   203932 |   385432      0 |        0 |        2
1783.20/1783.79	c 1764s |      17 |   404325 |   204232 |   385432      0 |        0 |        2
1785.29/1785.80	c 1766s |      17 |   404693 |   204432 |   385432      0 |        0 |        2
1787.39/1787.92	c 1769s |      17 |   405107 |   204632 |   385432      0 |        0 |        2
1789.99/1790.58	c 1771s |      17 |   405687 |   204932 |   385432      0 |        0 |        2
1792.80/1793.32	c 1774s |      17 |   406257 |   205232 |   385432      0 |        0 |        2
1795.81/1796.34	c 1777s |      17 |   406784 |   205532 |   385432      0 |        0 |        2
1798.10/1798.62	c 1779s |      17 |   407158 |   205732 |   385432      0 |        0 |        2

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

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

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


[startup+0 s]
/proc/loadavg: 2.11 2.00 1.70 3/177 24101
/proc/meminfo: memFree=30127908/32872528 swapFree=447868/480572
[pid=24101] ppid=24098 vsize=852548 CPUtime=0 cores=0,2,4,6
/proc/24101/stat : 24101 (toysat) R 24098 24101 16921 0 -1 4202496 3205 0 0 0 0 0 0 0 20 0 4 0 29432603 873009152 3055 33554432000 4194304 16246674 140733348522576 140733348522000 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24101/statm: 213905 3064 442 2943 0 210799 0
[pid=24101/tid=24102] ppid=24098 vsize=870980 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24102/stat : 24102 (toysat) S 24098 24101 16921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29432603 891883520 3126 33554432000 4194304 16246674 140733348522576 139676074618096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24101/tid=24103] ppid=24098 vsize=875076 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24103/stat : 24103 (toysat) S 24098 24101 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29432603 896077824 3144 33554432000 4194304 16246674 140733348522576 139676064128240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24101/tid=24104] ppid=24098 vsize=879172 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24104/stat : 24104 (toysat) S 24098 24101 16921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29432603 900272128 3159 33554432000 4194304 16246674 140733348522576 139676053654704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.11 2.00 1.70 3/177 24101
/proc/meminfo: memFree=30127908/32872528 swapFree=447868/480572
[pid=24101] ppid=24098 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/24101/stat : 24101 (toysat) R 24098 24101 16921 0 -1 4202496 26923 0 0 0 5 3 0 0 20 0 4 0 29432603 1333334016 26712 33554432000 4194304 16246674 140733348522576 140733348521888 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24101/statm: 325521 26726 800 2943 0 322415 0
[pid=24101/tid=24102] ppid=24098 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24102/stat : 24102 (toysat) S 24098 24101 16921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29432603 1333334016 26737 33554432000 4194304 16246674 140733348522576 139676074618096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24101/tid=24103] ppid=24098 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24103/stat : 24103 (toysat) S 24098 24101 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29432603 1333334016 26748 33554432000 4194304 16246674 140733348522576 139676064128240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24101/tid=24104] ppid=24098 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24104/stat : 24104 (toysat) S 24098 24101 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29432603 1333334016 26759 33554432000 4194304 16246674 140733348522576 139676053654704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200503 s]
/proc/loadavg: 2.11 2.00 1.70 3/177 24101
/proc/meminfo: memFree=30127908/32872528 swapFree=447868/480572
[pid=24101] ppid=24098 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/24101/stat : 24101 (toysat) R 24098 24101 16921 0 -1 4202496 46039 0 0 0 13 6 0 0 20 0 4 0 29432603 1344868352 46338 33554432000 4194304 16246674 140733348522576 140733348521888 13753004 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24101/statm: 328337 46338 800 2943 0 325231 0
[pid=24101/tid=24102] ppid=24098 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24102/stat : 24102 (toysat) S 24098 24101 16921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29432603 1344868352 46338 33554432000 4194304 16246674 140733348522576 139676074618096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24101/tid=24103] ppid=24098 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24103/stat : 24103 (toysat) S 24098 24101 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29432603 1344868352 46338 33554432000 4194304 16246674 140733348522576 139676064128240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24101/tid=24104] ppid=24098 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24104/stat : 24104 (toysat) S 24098 24101 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29432603 1344868352 46338 33554432000 4194304 16246674 140733348522576 139676053654704 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) 1313348

[startup+0.300491 s]
/proc/loadavg: 2.11 2.00 1.70 3/177 24101
/proc/meminfo: memFree=30127908/32872528 swapFree=447868/480572
[pid=24101] ppid=24098 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/24101/stat : 24101 (toysat) R 24098 24101 16921 0 -1 4202496 46254 0 0 0 23 6 0 0 20 0 4 0 29432603 1344868352 46553 33554432000 4194304 16246674 140733348522576 140733348521888 13811854 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24101/statm: 328337 46553 834 2943 0 325231 0
[pid=24101/tid=24102] ppid=24098 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24102/stat : 24102 (toysat) S 24098 24101 16921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29432603 1344868352 46553 33554432000 4194304 16246674 140733348522576 139676074618096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24101/tid=24103] ppid=24098 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24103/stat : 24103 (toysat) S 24098 24101 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29432603 1344868352 46553 33554432000 4194304 16246674 140733348522576 139676064128240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24101/tid=24104] ppid=24098 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24104/stat : 24104 (toysat) S 24098 24101 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29432603 1344868352 46553 33554432000 4194304 16246674 140733348522576 139676053654704 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) 1313348

[startup+0.700399 s]
/proc/loadavg: 2.11 2.00 1.70 3/177 24101
/proc/meminfo: memFree=30127908/32872528 swapFree=447868/480572
[pid=24101] ppid=24098 vsize=1313348 CPUtime=0.68 cores=0,2,4,6
/proc/24101/stat : 24101 (toysat) R 24098 24101 16921 0 -1 4202496 65456 0 0 0 60 8 0 0 20 0 4 0 29432603 1344868352 65755 33554432000 4194304 16246674 140733348522576 140733348504448 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24101/statm: 328337 65755 834 2943 0 325231 0
[pid=24101/tid=24102] ppid=24098 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24102/stat : 24102 (toysat) S 24098 24101 16921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29432603 1344868352 65755 33554432000 4194304 16246674 140733348522576 139676074618096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24101/tid=24103] ppid=24098 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24103/stat : 24103 (toysat) S 24098 24101 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29432603 1344868352 65755 33554432000 4194304 16246674 140733348522576 139676064128240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24101/tid=24104] ppid=24098 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24104/stat : 24104 (toysat) S 24098 24101 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29432603 1344868352 65755 33554432000 4194304 16246674 140733348522576 139676053654704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50039 s]
/proc/loadavg: 2.11 2.00 1.70 3/181 24105
/proc/meminfo: memFree=29778888/32872528 swapFree=447868/480572
[pid=24101] ppid=24098 vsize=1315396 CPUtime=1.49 cores=0,2,4,6
/proc/24101/stat : 24101 (toysat) R 24098 24101 16921 0 -1 4202496 130481 0 0 0 131 18 0 0 20 0 4 0 29432603 1346965504 130780 33554432000 4194304 16246674 140733348522576 140733348504448 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24101/statm: 328849 130784 834 2943 0 325743 0
[pid=24101/tid=24102] ppid=24098 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24102/stat : 24102 (toysat) S 24098 24101 16921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29432603 1346965504 130786 33554432000 4194304 16246674 140733348522576 139676074618096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24101/tid=24103] ppid=24098 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24103/stat : 24103 (toysat) S 24098 24101 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29432603 1346965504 130788 33554432000 4194304 16246674 140733348522576 139676064128240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24101/tid=24104] ppid=24098 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24104/stat : 24104 (toysat) S 24098 24101 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29432603 1346965504 130790 33554432000 4194304 16246674 140733348522576 139676053654704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1315396

[startup+3.10039 s]
/proc/loadavg: 2.11 2.00 1.70 3/181 24105
/proc/meminfo: memFree=29579736/32872528 swapFree=447868/480572
[pid=24101] ppid=24098 vsize=1318468 CPUtime=3.09 cores=0,2,4,6
/proc/24101/stat : 24101 (toysat) R 24098 24101 16921 0 -1 4202496 135909 0 0 0 290 19 0 0 20 0 4 0 29432603 1350111232 136208 33554432000 4194304 16246674 140733348522576 140733348504448 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24101/statm: 329617 136208 897 2943 0 326511 0
[pid=24101/tid=24102] ppid=24098 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24102/stat : 24102 (toysat) S 24098 24101 16921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29432603 1350111232 136208 33554432000 4194304 16246674 140733348522576 139676074618096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24101/tid=24103] ppid=24098 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24103/stat : 24103 (toysat) S 24098 24101 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29432603 1350111232 136208 33554432000 4194304 16246674 140733348522576 139676064128240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24101/tid=24104] ppid=24098 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24104/stat : 24104 (toysat) S 24098 24101 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29432603 1350111232 136208 33554432000 4194304 16246674 140733348522576 139676053654704 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) 1318468

[startup+6.3004 s]
/proc/loadavg: 2.18 2.02 1.71 3/181 24105
/proc/meminfo: memFree=29118396/32872528 swapFree=447868/480572
[pid=24101] ppid=24098 vsize=1318468 CPUtime=6.29 cores=0,2,4,6
/proc/24101/stat : 24101 (toysat) R 24098 24101 16921 0 -1 4202496 251328 0 0 0 595 34 0 0 20 0 4 0 29432603 1350111232 251627 33554432000 4194304 16246674 140733348522576 140733348504448 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24101/statm: 329617 251627 909 2943 0 326511 0
[pid=24101/tid=24102] ppid=24098 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24102/stat : 24102 (toysat) S 24098 24101 16921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29432603 1350111232 251627 33554432000 4194304 16246674 140733348522576 139676074618096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24101/tid=24103] ppid=24098 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24103/stat : 24103 (toysat) S 24098 24101 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29432603 1350111232 251627 33554432000 4194304 16246674 140733348522576 139676064128240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24101/tid=24104] ppid=24098 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24104/stat : 24104 (toysat) S 24098 24101 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29432603 1350111232 251627 33554432000 4194304 16246674 140733348522576 139676053654704 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) 1318468

[startup+12.7004 s]
/proc/loadavg: 2.16 2.02 1.71 3/181 24105
/proc/meminfo: memFree=29117584/32872528 swapFree=447868/480572
[pid=24101] ppid=24098 vsize=1318468 CPUtime=12.69 cores=0,2,4,6
/proc/24101/stat : 24101 (toysat) R 24098 24101 16921 0 -1 4202496 251328 0 0 0 1235 34 0 0 20 0 4 0 29432603 1350111232 251627 33554432000 4194304 16246674 140733348522576 140733348504448 5675761 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24101/statm: 329617 251627 909 2943 0 326511 0
[pid=24101/tid=24102] ppid=24098 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24102/stat : 24102 (toysat) S 24098 24101 16921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29432603 1350111232 251627 33554432000 4194304 16246674 140733348522576 139676074618096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24101/tid=24103] ppid=24098 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24103/stat : 24103 (toysat) S 24098 24101 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29432603 1350111232 251627 33554432000 4194304 16246674 140733348522576 139676064128240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24101/tid=24104] ppid=24098 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24104/stat : 24104 (toysat) S 24098 24101 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29432603 1350111232 251627 33554432000 4194304 16246674 140733348522576 139676053654704 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) 1318468

[startup+25.5005 s]
/proc/loadavg: 2.13 2.01 1.72 3/181 24105
/proc/meminfo: memFree=29117712/32872528 swapFree=447868/480572
[pid=24101] ppid=24098 vsize=1318468 CPUtime=25.48 cores=0,2,4,6
/proc/24101/stat : 24101 (toysat) R 24098 24101 16921 0 -1 4202496 251331 0 0 0 2514 34 0 0 20 0 4 0 29432603 1350111232 251630 33554432000 4194304 16246674 140733348522576 140733348504448 5674919 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24101/statm: 329617 251630 912 2943 0 326511 0
[pid=24101/tid=24102] ppid=24098 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24102/stat : 24102 (toysat) S 24098 24101 16921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29432603 1350111232 251630 33554432000 4194304 16246674 140733348522576 139676074618096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24101/tid=24103] ppid=24098 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24103/stat : 24103 (toysat) S 24098 24101 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29432603 1350111232 251630 33554432000 4194304 16246674 140733348522576 139676064128240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24101/tid=24104] ppid=24098 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24104/stat : 24104 (toysat) S 24098 24101 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29432603 1350111232 251630 33554432000 4194304 16246674 140733348522576 139676053654704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1318468

[startup+51.1005 s]
/proc/loadavg: 2.08 2.01 1.72 3/181 24105
/proc/meminfo: memFree=29042012/32872528 swapFree=447868/480572
[pid=24101] ppid=24098 vsize=1318468 CPUtime=51.08 cores=0,2,4,6
/proc/24101/stat : 24101 (toysat) R 24098 24101 16921 0 -1 4202496 270318 0 0 0 5071 37 0 0 20 0 4 0 29432603 1350111232 270617 33554432000 4194304 16246674 140733348522576 140733348521752 6836977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24101/statm: 329617 270617 912 2943 0 326511 0
[pid=24101/tid=24102] ppid=24098 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24102/stat : 24102 (toysat) S 24098 24101 16921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29432603 1350111232 270617 33554432000 4194304 16246674 140733348522576 139676074618096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24101/tid=24103] ppid=24098 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24103/stat : 24103 (toysat) S 24098 24101 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29432603 1350111232 270617 33554432000 4194304 16246674 140733348522576 139676064128240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24101/tid=24104] ppid=24098 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24104/stat : 24104 (toysat) S 24098 24101 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29432603 1350111232 270617 33554432000 4194304 16246674 140733348522576 139676053654704 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) 1318468

[startup+102.3 s]
/proc/loadavg: 2.03 2.01 1.74 3/181 24107
/proc/meminfo: memFree=29041872/32872528 swapFree=447868/480572
[pid=24101] ppid=24098 vsize=1318468 CPUtime=102.28 cores=0,2,4,6
/proc/24101/stat : 24101 (toysat) R 24098 24101 16921 0 -1 4202496 270319 0 0 0 10190 38 0 0 20 0 4 0 29432603 1350111232 270618 33554432000 4194304 16246674 140733348522576 140733348521752 5661363 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24101/statm: 329617 270618 913 2943 0 326511 0
[pid=24101/tid=24102] ppid=24098 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24102/stat : 24102 (toysat) S 24098 24101 16921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29432603 1350111232 270618 33554432000 4194304 16246674 140733348522576 139676074618096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24101/tid=24103] ppid=24098 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24103/stat : 24103 (toysat) S 24098 24101 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29432603 1350111232 270618 33554432000 4194304 16246674 140733348522576 139676064128240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24101/tid=24104] ppid=24098 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24104/stat : 24104 (toysat) S 24098 24101 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29432603 1350111232 270618 33554432000 4194304 16246674 140733348522576 139676053654704 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) 1318468


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

/proc/24101/task/24104/stat : 24104 (toysat) S 24098 24101 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29432603 1594429440 330228 33554432000 4194304 16246674 140733348522576 139676053654704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1557060

[startup+1302.3 s]
/proc/loadavg: 2.08 2.07 1.95 3/181 24186
/proc/meminfo: memFree=28801500/32872528 swapFree=447868/480572
[pid=24101] ppid=24098 vsize=1557060 CPUtime=1301.87 cores=0,2,4,6
/proc/24101/stat : 24101 (toysat) R 24098 24101 16921 0 -1 4202496 330316 0 0 0 130093 94 0 0 20 0 4 0 29432603 1594429440 330228 33554432000 4194304 16246674 140733348522576 140733348521752 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24101/statm: 389265 330228 914 2943 0 386159 0
[pid=24101/tid=24102] ppid=24098 vsize=1557060 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24102/stat : 24102 (toysat) S 24098 24101 16921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29432603 1594429440 330228 33554432000 4194304 16246674 140733348522576 139676074618096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24101/tid=24103] ppid=24098 vsize=1557060 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24103/stat : 24103 (toysat) S 24098 24101 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29432603 1594429440 330228 33554432000 4194304 16246674 140733348522576 139676064128240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24101/tid=24104] ppid=24098 vsize=1557060 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24104/stat : 24104 (toysat) S 24098 24101 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29432603 1594429440 330228 33554432000 4194304 16246674 140733348522576 139676053654704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1557060

[startup+1362.3 s]
/proc/loadavg: 2.07 2.07 1.95 3/181 24187
/proc/meminfo: memFree=28741796/32872528 swapFree=447868/480572
[pid=24101] ppid=24098 vsize=1611332 CPUtime=1361.87 cores=0,2,4,6
/proc/24101/stat : 24101 (toysat) R 24098 24101 16921 0 -1 4202496 343818 0 0 0 136088 99 0 0 20 0 4 0 29432603 1650003968 343985 33554432000 4194304 16246674 140733348522576 140733348521672 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24101/statm: 402833 343985 914 2943 0 399727 0
[pid=24101/tid=24102] ppid=24098 vsize=1611332 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24102/stat : 24102 (toysat) S 24098 24101 16921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29432603 1650003968 343985 33554432000 4194304 16246674 140733348522576 139676074618096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24101/tid=24103] ppid=24098 vsize=1611332 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24103/stat : 24103 (toysat) S 24098 24101 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29432603 1650003968 343985 33554432000 4194304 16246674 140733348522576 139676064128240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24101/tid=24104] ppid=24098 vsize=1611332 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24104/stat : 24104 (toysat) S 24098 24101 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29432603 1650003968 343985 33554432000 4194304 16246674 140733348522576 139676053654704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1611332

[startup+1422.3 s]
/proc/loadavg: 2.02 2.05 1.95 3/182 24191
/proc/meminfo: memFree=28687184/32872528 swapFree=447868/480572
[pid=24101] ppid=24098 vsize=1666628 CPUtime=1421.86 cores=0,2,4,6
/proc/24101/stat : 24101 (toysat) R 24098 24101 16921 0 -1 4202496 357546 0 0 0 142084 102 0 0 20 0 4 0 29432603 1706627072 357713 33554432000 4194304 16246674 140733348522576 140733348504448 5677667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24101/statm: 416657 357713 914 2943 0 413551 0
[pid=24101/tid=24102] ppid=24098 vsize=1666628 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24102/stat : 24102 (toysat) S 24098 24101 16921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29432603 1706627072 357713 33554432000 4194304 16246674 140733348522576 139676074618096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24101/tid=24103] ppid=24098 vsize=1666628 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24103/stat : 24103 (toysat) S 24098 24101 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29432603 1706627072 357713 33554432000 4194304 16246674 140733348522576 139676064128240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24101/tid=24104] ppid=24098 vsize=1666628 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24104/stat : 24104 (toysat) S 24098 24101 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29432603 1706627072 357713 33554432000 4194304 16246674 140733348522576 139676053654704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1666628

[startup+1482.3 s]
/proc/loadavg: 2.06 2.06 1.96 3/181 24192
/proc/meminfo: memFree=28644912/32872528 swapFree=447868/480572
[pid=24101] ppid=24098 vsize=1708612 CPUtime=1481.84 cores=0,2,4,6
/proc/24101/stat : 24101 (toysat) R 24098 24101 16921 0 -1 4202496 368125 0 0 0 148079 105 0 0 20 0 4 0 29432603 1749618688 368292 33554432000 4194304 16246674 140733348522576 140733348521752 13898695 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24101/statm: 427153 368292 914 2943 0 424047 0
[pid=24101/tid=24102] ppid=24098 vsize=1708612 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24102/stat : 24102 (toysat) S 24098 24101 16921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29432603 1749618688 368292 33554432000 4194304 16246674 140733348522576 139676074618096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24101/tid=24103] ppid=24098 vsize=1708612 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24103/stat : 24103 (toysat) S 24098 24101 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29432603 1749618688 368292 33554432000 4194304 16246674 140733348522576 139676064128240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24101/tid=24104] ppid=24098 vsize=1708612 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24104/stat : 24104 (toysat) S 24098 24101 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29432603 1749618688 368292 33554432000 4194304 16246674 140733348522576 139676053654704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1708612

[startup+1542.31 s]
/proc/loadavg: 2.10 2.07 1.97 3/181 24193
/proc/meminfo: memFree=28645048/32872528 swapFree=447868/480572
[pid=24101] ppid=24098 vsize=1708612 CPUtime=1541.84 cores=0,2,4,6
/proc/24101/stat : 24101 (toysat) R 24098 24101 16921 0 -1 4202496 368125 0 0 0 154077 107 0 0 20 0 4 0 29432603 1749618688 368292 33554432000 4194304 16246674 140733348522576 140733348504448 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24101/statm: 427153 368292 914 2943 0 424047 0
[pid=24101/tid=24102] ppid=24098 vsize=1708612 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24102/stat : 24102 (toysat) S 24098 24101 16921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29432603 1749618688 368292 33554432000 4194304 16246674 140733348522576 139676074618096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24101/tid=24103] ppid=24098 vsize=1708612 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24103/stat : 24103 (toysat) S 24098 24101 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29432603 1749618688 368292 33554432000 4194304 16246674 140733348522576 139676064128240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24101/tid=24104] ppid=24098 vsize=1708612 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24104/stat : 24104 (toysat) S 24098 24101 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29432603 1749618688 368292 33554432000 4194304 16246674 140733348522576 139676053654704 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) 1708612

[startup+1602.3 s]
/proc/loadavg: 2.03 2.06 1.97 4/181 24195
/proc/meminfo: memFree=28585772/32872528 swapFree=447868/480572
[pid=24101] ppid=24098 vsize=1768004 CPUtime=1601.82 cores=0,2,4,6
/proc/24101/stat : 24101 (toysat) R 24098 24101 16921 0 -1 4202496 382930 0 0 0 160070 112 0 0 20 0 4 0 29432603 1810436096 383097 33554432000 4194304 16246674 140733348522576 140733348521672 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24101/statm: 442001 383097 914 2943 0 438895 0
[pid=24101/tid=24102] ppid=24098 vsize=1768004 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24102/stat : 24102 (toysat) S 24098 24101 16921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29432603 1810436096 383097 33554432000 4194304 16246674 140733348522576 139676074618096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24101/tid=24103] ppid=24098 vsize=1768004 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24103/stat : 24103 (toysat) S 24098 24101 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29432603 1810436096 383097 33554432000 4194304 16246674 140733348522576 139676064128240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24101/tid=24104] ppid=24098 vsize=1768004 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24104/stat : 24104 (toysat) S 24098 24101 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29432603 1810436096 383097 33554432000 4194304 16246674 140733348522576 139676053654704 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) 1768004

[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 1.97 3/181 24196
/proc/meminfo: memFree=28539884/32872528 swapFree=447868/480572
[pid=24101] ppid=24098 vsize=1813060 CPUtime=1661.82 cores=0,2,4,6
/proc/24101/stat : 24101 (toysat) R 24098 24101 16921 0 -1 4202496 394356 0 0 0 166067 115 0 0 20 0 4 0 29432603 1856573440 394523 33554432000 4194304 16246674 140733348522576 140733348504448 5673837 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24101/statm: 453265 394523 914 2943 0 450159 0
[pid=24101/tid=24102] ppid=24098 vsize=1813060 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24102/stat : 24102 (toysat) S 24098 24101 16921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29432603 1856573440 394523 33554432000 4194304 16246674 140733348522576 139676074618096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24101/tid=24103] ppid=24098 vsize=1813060 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24103/stat : 24103 (toysat) S 24098 24101 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29432603 1856573440 394523 33554432000 4194304 16246674 140733348522576 139676064128240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24101/tid=24104] ppid=24098 vsize=1813060 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24104/stat : 24104 (toysat) S 24098 24101 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29432603 1856573440 394523 33554432000 4194304 16246674 140733348522576 139676053654704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1813060

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/181 24197
/proc/meminfo: memFree=28466604/32872528 swapFree=447868/480572
[pid=24101] ppid=24098 vsize=1885764 CPUtime=1721.81 cores=0,2,4,6
/proc/24101/stat : 24101 (toysat) R 24098 24101 16921 0 -1 4202496 412532 0 0 0 172062 119 0 0 20 0 4 0 29432603 1931022336 412699 33554432000 4194304 16246674 140733348522576 140733348521752 5677392 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24101/statm: 471441 412699 914 2943 0 468335 0
[pid=24101/tid=24102] ppid=24098 vsize=1885764 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24102/stat : 24102 (toysat) S 24098 24101 16921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29432603 1931022336 412699 33554432000 4194304 16246674 140733348522576 139676074618096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24101/tid=24103] ppid=24098 vsize=1885764 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24103/stat : 24103 (toysat) S 24098 24101 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29432603 1931022336 412699 33554432000 4194304 16246674 140733348522576 139676064128240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24101/tid=24104] ppid=24098 vsize=1885764 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24104/stat : 24104 (toysat) S 24098 24101 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29432603 1931022336 412699 33554432000 4194304 16246674 140733348522576 139676053654704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1885764

[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 1.98 3/181 24198
/proc/meminfo: memFree=28407216/32872528 swapFree=447868/480572
[pid=24101] ppid=24098 vsize=1920580 CPUtime=1781.8 cores=0,2,4,6
/proc/24101/stat : 24101 (toysat) R 24098 24101 16921 0 -1 4202496 421088 0 0 0 178058 122 0 0 20 0 4 0 29432603 1966673920 421255 33554432000 4194304 16246674 140733348522576 140733348504448 5822179 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24101/statm: 480145 421255 914 2943 0 477039 0
[pid=24101/tid=24102] ppid=24098 vsize=1920580 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24102/stat : 24102 (toysat) S 24098 24101 16921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29432603 1966673920 421255 33554432000 4194304 16246674 140733348522576 139676074618096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24101/tid=24103] ppid=24098 vsize=1920580 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24103/stat : 24103 (toysat) S 24098 24101 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29432603 1966673920 421255 33554432000 4194304 16246674 140733348522576 139676064128240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24101/tid=24104] ppid=24098 vsize=1920580 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24104/stat : 24104 (toysat) S 24098 24101 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29432603 1966673920 421255 33554432000 4194304 16246674 140733348522576 139676053654704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1920580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.03 2.03 1.98 3/181 24199
/proc/meminfo: memFree=28407252/32872528 swapFree=447868/480572
[pid=24101] ppid=24098 vsize=1952324 CPUtime=1800.09 cores=0,2,4,6
/proc/24101/stat : 24101 (toysat) R 24098 24101 16921 0 -1 4202496 429094 0 0 0 179885 124 0 0 20 0 4 0 29432603 1999179776 429261 33554432000 4194304 16246674 140733348522576 140733348521888 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24101/statm: 488081 429261 914 2943 0 484975 0
[pid=24101/tid=24102] ppid=24098 vsize=1952324 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24102/stat : 24102 (toysat) S 24098 24101 16921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29432603 1999179776 429261 33554432000 4194304 16246674 140733348522576 139676074618096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24101/tid=24103] ppid=24098 vsize=1952324 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24103/stat : 24103 (toysat) S 24098 24101 16921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29432603 1999179776 429261 33554432000 4194304 16246674 140733348522576 139676064128240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24101/tid=24104] ppid=24098 vsize=1952324 CPUtime=0 cores=0,2,4,6
/proc/24101/task/24104/stat : 24104 (toysat) S 24098 24101 16921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29432603 1999179776 429261 33554432000 4194304 16246674 140733348522576 139676053654704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1952324

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 24101 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.64
CPU time (s): 1800.14
CPU user time (s): 1798.86
CPU system time (s): 1.27981
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 1952324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.86
system time used= 1.27981
maximum resident set size= 1717044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 429094
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= 453
involuntary context switches= 1827

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.74328 second user time and 6.76497 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-18 20:17:05
IDJOB=4106577
IDBENCH=48116
IDSOLVER=2542
FILE ID=node104/4106577-1466273825
RUNJOBID= node104-1466273142-24003
PBS_JOBID= 19918194
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_60_1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106577-1466273825/watcher-4106577-1466273825 -o /tmp/evaluation-result-4106577-1466273825/solver-4106577-1466273825 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466273142-24003 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106577-1466273825.opb

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

MD5SUM BENCH= 04b9af5ff2583cb908a8972f40516a9e
RANDOM SEED=263177978

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30128552 kB
Buffers:          139488 kB
Cached:           255576 kB
SwapCached:        40452 kB
Active:          1211784 kB
Inactive:         310272 kB
Active(anon):    1089512 kB
Inactive(anon):    39968 kB
Active(file):     122272 kB
Inactive(file):   270304 kB
Unevictable:      480572 kB
Mlocked:          447868 kB
SwapTotal:      67108856 kB
SwapFree:       67060428 kB
Dirty:             17516 kB
Writeback:             0 kB
AnonPages:       1568332 kB
Mapped:            10336 kB
Shmem:                 0 kB
Slab:             607572 kB
SReclaimable:      51680 kB
SUnreclaim:       555892 kB
KernelStack:        1464 kB
PageTables:         7356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1702104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    649216 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 node104 at 2016-06-18 20:47:06