Trace number 4080139

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.11 1800.61

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_60_3.opb
MD5SUMd5313ea0d4ce989dad692c9adfb6f827
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 17
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint61
Maximum length of a constraint111
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)37460
Sum of products size (including duplicates)74920
Number of different products37460
Sum of products size74920

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-07T01:34:28+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-4080139-1465256068.opb"]
0.00/0.01	c use --random-gen="1978895976 3095811637 1913685924 970840906 555971546 1398082567 1499429504 2933370988 3086010480 1113557389 2782470046 1464985265 4253543843 3544982592 606734756 1866608558 3608964968 2845595961 3698437585 3578032322 589322095 765439487 2223895509 1013603881 1958206912 814783934 2526246762 3404728764 1668972202 1770478973 2931063892 1515817384 155678273 4204622731 3516204565 2378273871 3307571629 1240454480 2308845298 1104385190 702944467 4234749926 1040330667 3857303290 4118451212 151243005 2871440269 1142413519 1990902398 4229980699 3654381868 2876146622 3462634696 2598346066 2418706328 2015771166 3709879377 2472650097 801993469 1115734397 564984864 1944601332 3603337870 3470616873 2038991955 865558679 3466789908 2197455648 4182210232 2123402637 901682320 1218250718 744930204 2968192437 1844752337 598075257 1247881856 4138005704 1871592559 3571586103 3847850720 2842318905 1017200852 3714601468 1619781701 4069946312 602429525 2209387114 2569739897 1812960671 2652048168 1351430504 1727171166 380894153 1436851192 2895949108 3057812680 2922641304 2043812517 4103213023 1452846260 3134905099 4047867556 1052247732 1619821010 682238837 431782770 4265462975 3351797124 120291058 800168895 1176496041 1254691919 1401692483 3943874544 172141818 2669466842 1358796809 3241117315 2757182617 1218215458 6384864 2328253928 4277196683 2057327727 2595264843 567947248 1611184812 3903571057 3829372259 2411978045 506692336 2066146490 467025510 1990385360 3541068749 2530841427 2511901082 3064436799 3705347394 3099202158 1715467570 776274440 1699965729 3247490243 2541032931 445141526 3618035810 4085028010 456859507 948846978 3094721009 3970193657 1569053224 4261504724 746846348 401048117 4028516947 951398086 1241596692 3584720644 3427696956 1170639649 3619182917 2573608942 229308510 211952600 651555930 2250359281 1454365257 3408399582 3673013068 2372439887 606225327 985002717 2627015645 3684607148 2434032974 2447895090 3221776042 141772412 1945260151 628060756 2079623462 3814658922 474799821 2228793706 3678833783 2198235005 2252020355 2762194813 1474807654 3247608965 2821036338 3890705645 665249559 2087611444 1383459103 2549962547 4260553561 2913971166 114702285 525028783 3663786296 3732105018 3714383148 4227379547 2559858888 1564536980 3734453131 2879444832 1206782069 1459649520 4290190702 1254961673 1763866478 806271550 1989254538 2857559443 3940480006 3761443967 2802287355 1252472952 900563462 4270636424 3249716662 3685799032 2026166438 1919175686 1984673239 124983528 421254394 3242545321 1080593930 1313564861 1507723617 2625192437 2141839903 952585645 3972406425 2733837145 695990978 2233181816 3707058048 3996220356 3836785526 3666549109 2709270924 2135010490 187560276 669201575 2244830148 1997993522 3729081379 3244671145 2258522121 255 362436" option to reproduce the execution
0.09/0.13	c #vars 500
0.09/0.13	c #constraints 500
0.79/0.88	c BCD2: Hardening is enabled.
0.79/0.88	c BCD2: BiasedSearch is enabled.
0.79/0.88	c Solving starts ...
0.79/0.88	c ============================[ Search Statistics ]============================
0.79/0.88	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.79/0.88	c       |         |          |          |    Limit     GC | Var      | Constra 
0.79/0.88	c =============================================================================
0.79/0.88	c  0.0s |       0 |        0 |        0 |    37793      0 |        0 |        0
0.99/1.00	c  0.1s |       0 |     2250 |        0 |    37793      0 |        0 |        0
0.99/1.00	c #cpu_time = 0.095s
0.99/1.00	c #wall_clock_time = 0.095s
0.99/1.00	c #decision = 2250
0.99/1.00	c #random_decision = 4
0.99/1.00	c #conflict = 0
0.99/1.00	c #restart = 0
0.99/1.00	o 465
0.99/1.00	c BCD2: updating upper bound: 500 -> 464
0.99/1.00	c BCD2: 0 <= obj <= 464
0.99/1.00	c BCD2: #cores=0, #unrelaxed=500, #relaxed=0, #hardened=0
0.99/1.00	c BCD2: #sat=1 #unsat=1 bias=1/2
0.99/1.00	c Solving starts ...
0.99/1.00	c ============================[ Search Statistics ]============================
0.99/1.00	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.99/1.00	c       |         |          |          |    Limit     GC | Var      | Constra 
0.99/1.00	c =============================================================================
0.99/1.00	c  0.0s |       0 |        0 |        0 |    37793      0 |        0 |        0
1.09/1.11	c  0.1s |       0 |      467 |        0 |    37793      0 |        0 |        0
1.09/1.11	c #cpu_time = 0.096s
1.09/1.11	c #wall_clock_time = 0.096s
1.09/1.11	c #decision = 467
1.09/1.11	c #random_decision = 0
1.09/1.11	c #conflict = 0
1.09/1.11	c #restart = 0
1.09/1.11	c BCD2: found a new core of size 61: cost of the new core is >=1
1.09/1.11	c lower bound updated to 1
1.09/1.11	c BCD2: 1 <= obj <= 464
1.09/1.11	c BCD2: #cores=1, #unrelaxed=439, #relaxed=61, #hardened=0
1.09/1.11	c BCD2: #sat=1 #unsat=2 bias=2/3
1.09/1.11	c Solving starts ...
1.09/1.11	c ============================[ Search Statistics ]============================
1.09/1.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.09/1.11	c       |         |          |          |    Limit     GC | Var      | Constra 
1.09/1.11	c =============================================================================
1.19/1.22	c  0.0s |       0 |        0 |        0 |    37793      0 |        0 |        0
1.28/1.33	c  0.1s |       0 |     3356 |        0 |    37793      0 |        0 |        0
1.28/1.33	c #cpu_time = 0.083s
1.28/1.33	c #wall_clock_time = 0.083s
1.28/1.33	c #decision = 3356
1.28/1.33	c #random_decision = 1
1.28/1.33	c #conflict = 0
1.28/1.33	c #restart = 0
1.28/1.33	o 37
1.28/1.33	c BCD2: updating upper bound: 464 -> 36
1.28/1.34	c BCD2: 1 <= obj <= 36
1.28/1.34	c BCD2: #cores=1, #unrelaxed=439, #relaxed=61, #hardened=0
1.28/1.34	c BCD2: #sat=2 #unsat=2 bias=2/4
1.28/1.34	c Solving starts ...
1.28/1.34	c ============================[ Search Statistics ]============================
1.28/1.34	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.28/1.34	c       |         |          |          |    Limit     GC | Var      | Constra 
1.28/1.34	c =============================================================================
1.28/1.34	c  0.0s |       0 |        0 |        0 |    37793      0 |        0 |        1
1.68/1.72	c  0.4s |       1 |      886 |      100 |    37793      0 |        0 |        1
2.08/2.19	c  0.9s |       2 |     1575 |      250 |    41573      0 |        0 |        1
2.79/2.86	c  1.5s |       3 |     2401 |      475 |    45731      0 |        0 |        1
3.79/3.88	c  2.5s |       4 |     3427 |      813 |    50305      0 |        0 |        1
5.39/5.40	c  4.1s |       5 |     4776 |     1320 |    55336      0 |        0 |        1
7.39/7.46	c  6.1s |       5 |     6283 |     2020 |    60870      0 |        0 |        1
7.59/7.67	c  6.3s |       6 |     6369 |     2081 |    66957      0 |        0 |        1
9.69/9.71	c  8.4s |       6 |     7836 |     2681 |    66957      0 |        0 |        1
11.39/11.45	c 10.1s |       7 |     8567 |     3223 |    73653      0 |        0 |        1
13.68/13.70	c 12.4s |       7 |    10347 |     3923 |    73653      0 |        0 |        1
15.88/15.98	c 14.6s |       7 |    11605 |     4623 |    73653      0 |        0 |        1
17.08/17.15	c 15.8s |       8 |    12220 |     4936 |    81019      0 |        0 |        1
19.29/19.35	c 18.0s |       8 |    13818 |     5536 |    81019      0 |        0 |        1
21.59/21.65	c 20.3s |       8 |    15182 |     6236 |    81019      0 |        0 |        1
23.79/23.87	c 22.5s |       8 |    16117 |     6836 |    81019      0 |        0 |        1
26.09/26.11	c 24.8s |       8 |    17139 |     7436 |    81019      0 |        0 |        1
26.39/26.42	c 25.1s |       9 |    17239 |     7506 |    89121      0 |        0 |        1
28.59/28.67	c 27.3s |       9 |    18777 |     8106 |    89121      0 |        0 |        1
30.98/31.04	c 29.7s |       9 |    19796 |     8606 |    89121      0 |        0 |        1
33.09/33.19	c 31.9s |       9 |    20764 |     9106 |    89121      0 |        0 |        1
35.38/35.44	c 34.1s |       9 |    21685 |     9606 |    89121      0 |        0 |        1
37.39/37.44	c 36.1s |       9 |    22431 |    10006 |    89121      0 |        0 |        1
39.49/39.55	c 38.2s |       9 |    23605 |    10606 |    89121      0 |        0 |        1
41.79/41.84	c 40.5s |       9 |    24946 |    11206 |    89121      0 |        0 |        1
42.38/42.41	c 41.1s |      10 |    25203 |    11361 |    98034      0 |        0 |        1
44.48/44.54	c 43.2s |      10 |    26566 |    11861 |    98034      0 |        0 |        1
46.78/46.87	c 45.5s |      10 |    27733 |    12561 |    98034      0 |        0 |        1
49.08/49.15	c 47.8s |      10 |    28864 |    13161 |    98034      0 |        0 |        1
51.38/51.40	c 50.1s |      10 |    29977 |    13761 |    98034      0 |        0 |        1
53.58/53.66	c 52.3s |      10 |    30950 |    14361 |    98034      0 |        0 |        1
55.78/55.80	c 54.5s |      10 |    31785 |    14861 |    98034      0 |        0 |        1
57.88/57.93	c 56.6s |      10 |    32832 |    15461 |    98034      0 |        0 |        1
60.28/60.36	c 59.0s |      10 |    33914 |    16061 |    98034      0 |        0 |        1
62.69/62.75	c 61.4s |      10 |    34762 |    16561 |    98034      0 |        0 |        1
64.99/65.07	c 63.7s |      10 |    35744 |    17061 |   107838      0 |        0 |        1
65.38/65.40	c 64.1s |      10 |    36993 |    17118 |   107838      0 |        0 |        1
65.38/65.40	c #cpu_time = 63.859s
65.38/65.40	c #wall_clock_time = 64.023s
65.38/65.40	c #decision = 36993
65.38/65.40	c #random_decision = 19
65.38/65.40	c #conflict = 17118
65.38/65.40	c #restart = 10
65.38/65.40	o 19
65.38/65.40	c BCD2: updating upper bound: 36 -> 18
65.38/65.41	c BCD2: 1 <= obj <= 18
65.38/65.41	c BCD2: #cores=1, #unrelaxed=439, #relaxed=61, #hardened=0
65.38/65.41	c BCD2: #sat=3 #unsat=2 bias=2/5
65.38/65.41	c Solving starts ...
65.38/65.41	c ============================[ Search Statistics ]============================
65.38/65.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
65.38/65.41	c       |         |          |          |    Limit     GC | Var      | Constra 
65.38/65.41	c =============================================================================
65.38/65.41	c  0.0s |       0 |        0 |        0 |   107838      0 |        0 |        2
66.09/66.14	c  0.7s |       1 |      624 |      100 |   107838      0 |        0 |        2
66.98/67.02	c  1.6s |       2 |     1349 |      250 |   107838      0 |        0 |        2
68.19/68.28	c  2.9s |       3 |     2227 |      475 |   107838      0 |        0 |        2
70.18/70.24	c  4.8s |       4 |     3312 |      813 |   107838      0 |        0 |        2
72.69/72.76	c  7.3s |       4 |     4391 |     1213 |   107838      0 |        0 |        2
73.28/73.33	c  7.9s |       5 |     4600 |     1320 |   107838      0 |        0 |        2
75.38/75.42	c 10.0s |       5 |     5499 |     1620 |   107838      0 |        0 |        2
77.48/77.56	c 12.1s |       5 |     6061 |     2020 |   107838      0 |        0 |        2
77.88/77.97	c 12.6s |       6 |     6146 |     2081 |   107838      0 |        0 |        2
80.38/80.46	c 15.0s |       6 |     7243 |     2481 |   107838      0 |        0 |        2
83.07/83.12	c 17.7s |       6 |     7906 |     2881 |   107838      0 |        0 |        2
85.17/85.22	c 19.8s |       6 |     8407 |     3181 |   107838      0 |        0 |        2
85.48/85.53	c 20.1s |       7 |     8477 |     3223 |   107838      0 |        0 |        2
87.68/87.78	c 22.4s |       7 |     9417 |     3523 |   107838      0 |        0 |        2
89.88/89.91	c 24.5s |       7 |     9939 |     3823 |   107838      0 |        0 |        2
92.18/92.29	c 26.9s |       7 |    10647 |     4223 |   107838      0 |        0 |        2
94.27/94.31	c 28.9s |       7 |    11102 |     4523 |   107838      0 |        0 |        2
96.97/97.04	c 31.6s |       7 |    11687 |     4923 |   107838      0 |        0 |        2
97.07/97.16	c 31.7s |       8 |    11705 |     4936 |   107838      0 |        0 |        2
99.77/99.86	c 34.4s |       8 |    12614 |     5236 |   107838      0 |        0 |        2
101.97/102.08	c 36.7s |       8 |    13081 |     5536 |   107838      0 |        0 |        2
104.38/104.40	c 39.0s |       8 |    13485 |     5836 |   107838      0 |        0 |        2
106.58/106.67	c 41.3s |       8 |    13929 |     6136 |   107838      0 |        0 |        2
108.98/109.08	c 43.7s |       8 |    14360 |     6436 |   107838      0 |        0 |        2
111.57/111.62	c 46.2s |       8 |    14794 |     6736 |   107838      0 |        0 |        2
113.97/114.01	c 48.6s |       8 |    15299 |     7036 |   107838      0 |        0 |        2
116.27/116.39	c 51.0s |       8 |    15741 |     7336 |   107838      0 |        0 |        2
117.67/117.77	c 52.4s |       9 |    15996 |     7506 |   107838      0 |        0 |        2
119.77/119.83	c 54.4s |       9 |    16809 |     7706 |   107838      0 |        0 |        2
122.47/122.50	c 57.1s |       9 |    17319 |     8006 |   107838      0 |        0 |        2
124.28/124.34	c 58.9s |       9 |    17557 |     8191 |   107838      0 |        0 |        2
124.28/124.34	c #cpu_time = 58.757s
124.28/124.34	c #wall_clock_time = 58.908s
124.28/124.34	c #decision = 17557
124.28/124.34	c #random_decision = 10
124.28/124.34	c #conflict = 8191
124.28/124.34	c #restart = 9
124.28/124.34	c BCD2: relaxing 439 and merging with 1 cores into a new core of size 500: cost of the new core is >=2
124.28/124.34	c lower bound updated to 2
124.28/124.34	c BCD2: 2 <= obj <= 18
124.28/124.34	c BCD2: #cores=1, #unrelaxed=0, #relaxed=500, #hardened=0
124.28/124.34	c BCD2: #sat=3 #unsat=3 bias=3/6
124.28/124.34	c Solving starts ...
124.28/124.34	c ============================[ Search Statistics ]============================
124.28/124.34	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
124.28/124.34	c       |         |          |          |    Limit     GC | Var      | Constra 
124.28/124.34	c =============================================================================
124.28/124.34	c  0.0s |       0 |        0 |        0 |   107838      0 |        3 |        2
129.37/129.48	c  5.1s |       0 |     2717 |      100 |   107838      0 |        3 |        7
129.37/129.50	c  5.2s |       1 |     2717 |      100 |   107838      0 |        3 |        7
132.67/132.78	c  8.4s |       1 |     3929 |      200 |   107838      0 |        3 |        7
134.37/134.47	c 10.1s |       2 |     4119 |      250 |   107838      0 |        3 |        7
138.17/138.27	c 13.9s |       2 |     5245 |      350 |   107838      0 |        3 |        7
141.67/141.76	c 17.4s |       2 |     5911 |      450 |   118622      0 |        3 |        7
142.37/142.47	c 18.1s |       3 |     6004 |      475 |   118622      0 |        3 |        7
146.87/146.91	c 22.6s |       3 |     7191 |      575 |   118622      0 |        3 |        7
149.97/150.03	c 25.7s |       3 |     7673 |      675 |   118622      0 |        3 |        7
153.16/153.22	c 28.9s |       3 |     8116 |      775 |   118622      0 |        3 |        7
154.36/154.44	c 30.1s |       4 |     8222 |      813 |   118622      0 |        3 |        7
156.76/156.88	c 32.5s |       4 |     9309 |      913 |   118622      0 |        3 |        7
159.16/159.24	c 34.9s |       4 |    10084 |     1013 |   118622      0 |        3 |        7
162.36/162.47	c 38.1s |       4 |    10686 |     1113 |   118622      0 |        3 |        7
165.86/165.93	c 41.6s |       4 |    12244 |     1213 |   118622      0 |        3 |        7
169.76/169.85	c 45.5s |       4 |    12541 |     1313 |   118622      0 |        3 |        7
170.06/170.16	c 45.8s |       5 |    12666 |     1320 |   118622      0 |        3 |        7
173.46/173.57	c 49.2s |       5 |    13178 |     1420 |   118622      0 |        3 |        7
176.26/176.36	c 52.0s |       5 |    13370 |     1520 |   118622      0 |        3 |        7
179.37/179.48	c 55.1s |       5 |    13744 |     1620 |   118622      0 |        3 |        7
182.26/182.35	c 58.0s |       5 |    13901 |     1720 |   118622      0 |        3 |        7
186.36/186.41	c 62.1s |       5 |    14373 |     1820 |   118622      0 |        3 |        7
190.16/190.24	c 65.9s |       5 |    14751 |     1920 |   118622      0 |        3 |        7
194.06/194.11	c 69.8s |       5 |    15247 |     2020 |   118622      0 |        3 |        7
196.56/196.62	c 72.3s |       6 |    15540 |     2081 |   118622      0 |        3 |        7
200.35/200.44	c 76.1s |       6 |    17480 |     2181 |   118622      0 |        3 |        7
203.25/203.33	c 79.0s |       6 |    18190 |     2281 |   118622      0 |        3 |        7
206.25/206.34	c 82.0s |       6 |    19155 |     2381 |   118622      0 |        3 |        7
209.65/209.70	c 85.4s |       6 |    19820 |     2481 |   118622      0 |        3 |        7
212.36/212.48	c 88.1s |       6 |    20507 |     2581 |   118622      0 |        3 |        7
215.95/216.03	c 91.7s |       6 |    20826 |     2681 |   118622      0 |        3 |        7
219.15/219.28	c 94.9s |       6 |    21380 |     2781 |   118622      0 |        3 |        7
222.65/222.77	c 98.4s |       6 |    22049 |     2881 |   118622      0 |        3 |        7
226.15/226.24	c  101s |       6 |    22497 |     2981 |   118622      0 |        3 |        7
229.35/229.47	c  105s |       6 |    22839 |     3081 |   118622      0 |        3 |        7
233.26/233.35	c  109s |       6 |    23590 |     3181 |   118622      0 |        3 |        7
234.85/234.95	c  110s |       7 |    23871 |     3223 |   118622      0 |        3 |        7
237.85/237.97	c  113s |       7 |    24971 |     3323 |   118622      0 |        3 |        7
240.96/241.01	c  116s |       7 |    25153 |     3423 |   118622      0 |        3 |        7
244.25/244.38	c  120s |       7 |    25396 |     3523 |   118622      0 |        3 |        7
248.05/248.17	c  123s |       7 |    25680 |     3623 |   118622      0 |        3 |        7
250.35/250.43	c  126s |       7 |    26359 |     3723 |   118622      0 |        3 |        7
253.15/253.23	c  128s |       7 |    27282 |     3823 |   118622      0 |        3 |        7
256.95/257.00	c  132s |       7 |    28234 |     3923 |   118622      0 |        3 |        7
260.15/260.21	c  135s |       7 |    28479 |     4023 |   118622      0 |        3 |        7
263.25/263.38	c  139s |       7 |    28750 |     4123 |   118622      0 |        3 |        7
265.94/266.01	c  141s |       7 |    29233 |     4223 |   118622      0 |        3 |        7
268.94/269.01	c  144s |       7 |    29916 |     4323 |   118622      0 |        3 |        7
271.84/271.96	c  147s |       7 |    30541 |     4423 |   118622      0 |        3 |        7
274.95/275.06	c  150s |       7 |    30773 |     4523 |   118622      0 |        3 |        7
278.35/278.47	c  154s |       7 |    30959 |     4623 |   118622      0 |        3 |        7
282.14/282.20	c  157s |       7 |    31382 |     4723 |   118622      0 |        3 |        7
285.04/285.19	c  160s |       7 |    32408 |     4823 |   118622      0 |        3 |        7
287.44/287.59	c  163s |       7 |    32633 |     4923 |   118622      0 |        3 |        7
287.94/288.04	c  163s |       8 |    32742 |     4936 |   118622      0 |        3 |        7
292.04/292.17	c  167s |       8 |    35979 |     5036 |   118622      0 |        3 |        7
296.34/296.46	c  172s |       8 |    36682 |     5136 |   118622      0 |        3 |        7
300.14/300.20	c  175s |       8 |    36923 |     5236 |   118622      0 |        3 |        7
304.14/304.20	c  179s |       8 |    37308 |     5336 |   118622      0 |        3 |        7
307.64/307.77	c  183s |       8 |    37484 |     5436 |   118622      0 |        3 |        7
311.54/311.60	c  187s |       8 |    38068 |     5536 |   118622      0 |        3 |        7
314.14/314.26	c  189s |       8 |    38336 |     5636 |   118622      0 |        3 |        7
317.44/317.57	c  193s |       8 |    38868 |     5736 |   118622      0 |        3 |        7
320.24/320.36	c  196s |       8 |    39340 |     5836 |   118622      0 |        3 |        7
323.34/323.47	c  199s |       8 |    39883 |     5936 |   118622      0 |        3 |        7
326.64/326.76	c  202s |       8 |    40719 |     6036 |   118622      0 |        3 |        7
329.53/329.64	c  205s |       8 |    40986 |     6136 |   118622      0 |        3 |        7
332.33/332.40	c  208s |       8 |    41287 |     6236 |   118622      0 |        3 |        7
335.54/335.69	c  211s |       8 |    41637 |     6336 |   118622      0 |        3 |        7
338.93/339.05	c  214s |       8 |    41826 |     6436 |   118622      0 |        3 |        7
342.63/342.72	c  218s |       8 |    42122 |     6536 |   118622      0 |        3 |        7
346.03/346.10	c  221s |       8 |    42866 |     6636 |   118622      0 |        3 |        7
348.93/349.09	c  224s |       8 |    43118 |     6736 |   118622      0 |        3 |        7
352.43/352.57	c  228s |       8 |    43612 |     6836 |   118622      0 |        3 |        7
355.63/355.73	c  231s |       8 |    43834 |     6936 |   118622      0 |        3 |        7
359.53/359.65	c  235s |       8 |    44008 |     7036 |   118622      0 |        3 |        7
363.13/363.23	c  238s |       8 |    44214 |     7136 |   118622      0 |        3 |        7
366.83/366.96	c  242s |       8 |    44593 |     7236 |   118622      0 |        3 |        7
370.03/370.10	c  245s |       8 |    45219 |     7336 |   118622      0 |        3 |        7
373.63/373.79	c  249s |       8 |    45455 |     7436 |   118622      0 |        3 |        7
376.13/376.30	c  251s |       9 |    45810 |     7506 |   118622      0 |        3 |        7
380.03/380.17	c  255s |       9 |    46274 |     7606 |   118622      0 |        3 |        7
384.33/384.43	c  260s |       9 |    46756 |     7706 |   118622      0 |        3 |        7
388.13/388.30	c  263s |       9 |    47063 |     7806 |   118622      0 |        3 |        7
391.53/391.67	c  267s |       9 |    47511 |     7906 |   118622      0 |        3 |        7
394.42/394.50	c  270s |       9 |    48143 |     8006 |   118622      0 |        3 |        7
398.02/398.15	c  273s |       9 |    48485 |     8106 |   118622      0 |        3 |        7
401.43/401.56	c  277s |       9 |    48692 |     8206 |   118622      0 |        3 |        7
405.83/405.92	c  281s |       9 |    48908 |     8306 |   118622      0 |        3 |        7
408.62/408.75	c  284s |       9 |    49648 |     8406 |   118622      0 |        3 |        7
412.12/412.26	c  287s |       9 |    50272 |     8506 |   118622      0 |        3 |        7
415.62/415.76	c  291s |       9 |    51660 |     8606 |   118622      0 |        3 |        7
419.22/419.33	c  294s |       9 |    52424 |     8706 |   118622      0 |        3 |        7
423.12/423.27	c  298s |       9 |    52914 |     8806 |   118622      0 |        3 |        7
427.52/427.60	c  303s |       9 |    53613 |     8906 |   118622      0 |        3 |        7
430.83/430.95	c  306s |       9 |    54236 |     9006 |   118622      0 |        3 |        7
433.73/433.84	c  309s |       9 |    55078 |     9106 |   118622      0 |        3 |        7
437.43/437.51	c  313s |       9 |    55598 |     9206 |   118622      0 |        3 |        7
441.03/441.12	c  316s |       9 |    55914 |     9306 |   118622      0 |        3 |        7
444.62/444.74	c  320s |       9 |    56395 |     9406 |   118622      0 |        3 |        7
448.12/448.27	c  323s |       9 |    57065 |     9506 |   118622      0 |        3 |        7
451.32/451.40	c  327s |       9 |    57313 |     9606 |   118622      0 |        3 |        7
454.92/455.00	c  330s |       9 |    57764 |     9706 |   118622      0 |        3 |        7
457.42/457.55	c  333s |       9 |    59005 |     9806 |   118622      0 |        3 |        7
460.32/460.44	c  336s |       9 |    59289 |     9906 |   118622      0 |        3 |        7
463.32/463.40	c  339s |       9 |    59649 |    10006 |   118622      0 |        3 |        7
466.72/466.81	c  342s |       9 |    60397 |    10106 |   118622      0 |        3 |        7
470.02/470.17	c  345s |       9 |    61356 |    10206 |   118622      0 |        3 |        7
473.42/473.58	c  349s |       9 |    62105 |    10306 |   118622      0 |        3 |        7
477.12/477.20	c  352s |       9 |    62993 |    10406 |   118622      0 |        3 |        7
480.62/480.72	c  356s |       9 |    63471 |    10506 |   118622      0 |        3 |        7
484.02/484.20	c  359s |       9 |    63823 |    10606 |   118622      0 |        3 |        7
487.12/487.22	c  362s |       9 |    64602 |    10706 |   118622      0 |        3 |        7
490.92/491.02	c  366s |       9 |    64891 |    10806 |   118622      0 |        3 |        7
494.11/494.28	c  369s |       9 |    65139 |    10906 |   118622      0 |        3 |        7
497.41/497.59	c  373s |       9 |    65906 |    11006 |   118622      0 |        3 |        7
500.52/500.68	c  376s |       9 |    66759 |    11106 |   118622      0 |        3 |        7
503.82/503.94	c  379s |       9 |    69150 |    11206 |   118622      0 |        3 |        7
506.81/506.95	c  382s |       9 |    70034 |    11306 |   118622      0 |        3 |        7
508.81/508.99	c  384s |      10 |    70555 |    11361 |   118622      0 |        3 |        7
512.81/512.99	c  388s |      10 |    70940 |    11461 |   118622      0 |        3 |        7
516.71/516.89	c  392s |      10 |    71428 |    11561 |   118622      0 |        3 |        7
520.22/520.31	c  395s |      10 |    71819 |    11661 |   118622      0 |        3 |        7
523.41/523.51	c  399s |      10 |    71993 |    11761 |   118622      0 |        3 |        7
526.92/527.05	c  402s |      10 |    72576 |    11861 |   118622      0 |        3 |        7
530.12/530.23	c  405s |      10 |    72858 |    11961 |   118622      0 |        3 |        7
533.52/533.67	c  409s |      10 |    73091 |    12061 |   118622      0 |        3 |        7
537.01/537.10	c  412s |      10 |    74049 |    12161 |   118622      0 |        3 |        7
540.21/540.30	c  415s |      10 |    74665 |    12261 |   118622      0 |        3 |        7
543.51/543.69	c  419s |      10 |    74952 |    12361 |   118622      0 |        3 |        7
547.61/547.73	c  423s |      10 |    75370 |    12461 |   118622      0 |        3 |        7
551.21/551.36	c  427s |      10 |    75571 |    12561 |   118622      0 |        3 |        7
553.91/554.08	c  429s |      10 |    77217 |    12661 |   118622      0 |        3 |        7
557.11/557.25	c  432s |      10 |    77461 |    12761 |   118622      0 |        3 |        7
560.50/560.61	c  436s |      10 |    77618 |    12861 |   118622      0 |        3 |        7
564.10/564.23	c  439s |      10 |    77853 |    12961 |   118622      0 |        3 |        7
567.30/567.40	c  443s |      10 |    78092 |    13061 |   118622      0 |        3 |        7
571.10/571.20	c  446s |      10 |    78482 |    13161 |   118622      0 |        3 |        7
574.70/574.88	c  450s |      10 |    79809 |    13261 |   118622      0 |        3 |        7
578.00/578.16	c  453s |      10 |    81074 |    13361 |   130485      0 |        3 |        7
581.30/581.46	c  457s |      10 |    81247 |    13461 |   130485      0 |        3 |        7
584.70/584.85	c  460s |      10 |    81400 |    13561 |   130485      0 |        3 |        7
588.51/588.67	c  464s |      10 |    81685 |    13661 |   130485      0 |        3 |        7
592.50/592.64	c  468s |      10 |    81872 |    13761 |   130485      0 |        3 |        7
595.80/595.97	c  471s |      10 |    82635 |    13861 |   130485      0 |        3 |        7
598.80/598.95	c  474s |      10 |    82988 |    13961 |   130485      0 |        3 |        7
602.20/602.30	c  477s |      10 |    83352 |    14061 |   130485      0 |        3 |        7
606.00/606.15	c  481s |      10 |    83665 |    14161 |   130485      0 |        3 |        7
609.40/609.56	c  485s |      10 |    84148 |    14261 |   130485      0 |        3 |        7
613.00/613.12	c  488s |      10 |    84551 |    14361 |   130485      0 |        3 |        7
615.90/616.05	c  491s |      10 |    84732 |    14461 |   130485      0 |        3 |        7
619.40/619.57	c  495s |      10 |    86123 |    14561 |   130485      0 |        3 |        7
623.30/623.44	c  499s |      10 |    86967 |    14661 |   130485      0 |        3 |        7
626.69/626.82	c  502s |      10 |    87683 |    14761 |   130485      0 |        3 |        7
629.89/630.10	c  505s |      10 |    88538 |    14861 |   130485      0 |        3 |        7
633.50/633.67	c  509s |      10 |    88973 |    14961 |   130485      0 |        3 |        7
637.39/637.55	c  513s |      10 |    89848 |    15061 |   130485      0 |        3 |        7
641.09/641.20	c  516s |      10 |    90259 |    15161 |   130485      0 |        3 |        7
644.99/645.12	c  520s |      10 |    90635 |    15261 |   130485      0 |        3 |        7
648.69/648.82	c  524s |      10 |    91216 |    15361 |   130485      0 |        3 |        7
651.69/651.84	c  527s |      10 |    91619 |    15461 |   130485      0 |        3 |        7
654.99/655.10	c  530s |      10 |    91867 |    15561 |   130485      0 |        3 |        7
658.39/658.54	c  534s |      10 |    92485 |    15661 |   130485      0 |        3 |        7
662.10/662.25	c  537s |      10 |    92878 |    15761 |   130485      0 |        3 |        7
664.79/664.98	c  540s |      10 |    93673 |    15861 |   130485      0 |        3 |        7
667.39/667.51	c  543s |      10 |    94101 |    15961 |   130485      0 |        3 |        7
670.29/670.46	c  546s |      10 |    94656 |    16061 |   130485      0 |        3 |        7
673.69/673.88	c  549s |      10 |    95051 |    16161 |   130485      0 |        3 |        7
676.49/676.67	c  552s |      10 |    95638 |    16261 |   130485      0 |        3 |        7
679.59/679.80	c  555s |      10 |    96191 |    16361 |   130485      0 |        3 |        7
682.99/683.12	c  558s |      10 |    96918 |    16461 |   130485      0 |        3 |        7
686.79/686.90	c  562s |      10 |    98071 |    16561 |   130485      0 |        3 |        7
689.99/690.18	c  565s |      10 |    98801 |    16661 |   130485      0 |        3 |        7
693.28/693.42	c  569s |      10 |    99226 |    16761 |   130485      0 |        3 |        7
696.78/696.98	c  572s |      10 |    99784 |    16861 |   130485      0 |        3 |        7
699.88/700.08	c  575s |      10 |   100186 |    16961 |   130485      0 |        3 |        7
702.98/703.11	c  578s |      10 |   100452 |    17061 |   130485      0 |        3 |        7
706.09/706.21	c  581s |      11 |   100681 |    17144 |   130485      0 |        3 |        7
710.28/710.49	c  586s |      11 |   102030 |    17244 |   130485      0 |        3 |        7
714.38/714.52	c  590s |      11 |   102640 |    17344 |   130485      0 |        3 |        7
717.78/717.95	c  593s |      11 |   103138 |    17444 |   130485      0 |        3 |        7
721.68/721.87	c  597s |      11 |   104045 |    17544 |   130485      0 |        3 |        7
725.28/725.45	c  601s |      11 |   104598 |    17644 |   130485      0 |        3 |        7
728.68/728.82	c  604s |      11 |   105804 |    17744 |   130485      0 |        3 |        7
730.78/730.95	c  606s |      11 |   106432 |    17844 |   130485      0 |        3 |        7
733.08/733.26	c  608s |      11 |   106745 |    17944 |   130485      0 |        3 |        7
735.68/735.82	c  611s |      11 |   107252 |    18044 |   130485      0 |        3 |        7
738.18/738.36	c  614s |      11 |   107606 |    18144 |   130485      0 |        3 |        7
740.58/740.78	c  616s |      11 |   107784 |    18244 |   130485      0 |        3 |        7
743.28/743.43	c  619s |      11 |   108078 |    18344 |   130485      0 |        3 |        7
745.68/745.84	c  621s |      11 |   109083 |    18444 |   130485      0 |        3 |        7
748.57/748.71	c  624s |      11 |   110354 |    18544 |   130485      0 |        3 |        7
750.77/750.90	c  626s |      11 |   110843 |    18644 |   130485      0 |        3 |        7
753.67/753.89	c  629s |      11 |   111239 |    18744 |   130485      0 |        3 |        7
756.07/756.25	c  631s |      11 |   111658 |    18844 |   130485      0 |        3 |        7
758.67/758.80	c  634s |      11 |   112628 |    18944 |   130485      0 |        3 |        7
760.87/761.09	c  636s |      11 |   113407 |    19044 |   130485      0 |        3 |        7
763.17/763.33	c  638s |      11 |   114240 |    19144 |   130485      0 |        3 |        7
765.97/766.14	c  641s |      11 |   115681 |    19244 |   130485      0 |        3 |        7
768.27/768.42	c  644s |      11 |   116164 |    19344 |   130485      0 |        3 |        7
771.08/771.27	c  646s |      11 |   116592 |    19444 |   130485      0 |        3 |        7
773.77/773.99	c  649s |      11 |   117078 |    19544 |   130485      0 |        3 |        7
776.37/776.53	c  652s |      11 |   117415 |    19644 |   130485      0 |        3 |        7
779.17/779.38	c  655s |      11 |   118012 |    19744 |   130485      0 |        3 |        7
781.97/782.15	c  657s |      11 |   118599 |    19844 |   130485      0 |        3 |        7
784.27/784.47	c  660s |      11 |   119560 |    19944 |   130485      0 |        3 |        7
786.97/787.12	c  662s |      11 |   120051 |    20044 |   130485      0 |        3 |        7
789.77/789.95	c  665s |      11 |   120575 |    20144 |   130485      0 |        3 |        7
792.17/792.33	c  667s |      11 |   121439 |    20244 |   130485      0 |        3 |        7
794.17/794.37	c  670s |      11 |   121756 |    20344 |   130485      0 |        3 |        7
796.76/796.95	c  672s |      11 |   122003 |    20444 |   130485      0 |        3 |        7
799.57/799.75	c  675s |      11 |   122706 |    20544 |   130485      0 |        3 |        7
801.77/801.91	c  677s |      11 |   123325 |    20644 |   130485      0 |        3 |        7
804.16/804.33	c  679s |      11 |   123548 |    20744 |   130485      0 |        3 |        7
807.06/807.20	c  682s |      11 |   124123 |    20844 |   130485      0 |        3 |        7
811.26/811.42	c  687s |      11 |   124605 |    21044 |   130485      0 |        3 |        7
813.46/813.62	c  689s |      11 |   125657 |    21144 |   130485      0 |        3 |        7
815.56/815.78	c  691s |      11 |   126243 |    21244 |   130485      0 |        3 |        7
818.56/818.78	c  694s |      11 |   126648 |    21344 |   130485      0 |        3 |        7
821.06/821.29	c  696s |      11 |   127158 |    21444 |   130485      0 |        3 |        7
823.87/824.04	c  699s |      11 |   127638 |    21544 |   130485      0 |        3 |        7
826.16/826.34	c  701s |      11 |   128038 |    21644 |   130485      0 |        3 |        7
828.46/828.65	c  704s |      11 |   129080 |    21744 |   130485      0 |        3 |        7
830.96/831.14	c  706s |      11 |   129272 |    21844 |   130485      0 |        3 |        7
833.86/834.06	c  709s |      11 |   129513 |    21944 |   130485      0 |        3 |        7
836.66/836.84	c  712s |      11 |   130035 |    22044 |   130485      0 |        3 |        7
839.66/839.82	c  715s |      11 |   130606 |    22144 |   130485      0 |        3 |        7
842.56/842.73	c  718s |      11 |   131239 |    22244 |   130485      0 |        3 |        7
844.76/844.98	c  720s |      11 |   131575 |    22344 |   130485      0 |        3 |        7
847.56/847.75	c  723s |      11 |   132240 |    22444 |   130485      0 |        3 |        7
850.56/850.70	c  726s |      11 |   132624 |    22544 |   130485      0 |        3 |        7
853.86/854.00	c  729s |      11 |   132797 |    22644 |   130485      0 |        3 |        7
856.36/856.57	c  732s |      11 |   133653 |    22744 |   130485      0 |        3 |        7
859.16/859.30	c  734s |      11 |   134040 |    22844 |   130485      0 |        3 |        7
861.86/862.05	c  737s |      11 |   134219 |    22944 |   130485      0 |        3 |        7
864.85/865.06	c  740s |      11 |   134673 |    23044 |   130485      0 |        3 |        7
867.25/867.44	c  743s |      11 |   135077 |    23144 |   130485      0 |        3 |        7
870.55/870.73	c  746s |      11 |   135619 |    23244 |   130485      0 |        3 |        7
872.95/873.19	c  748s |      11 |   136590 |    23344 |   130485      0 |        3 |        7
875.65/875.83	c  751s |      11 |   138224 |    23444 |   130485      0 |        3 |        7
878.45/878.64	c  754s |      11 |   138823 |    23544 |   130485      0 |        3 |        7
881.55/881.71	c  757s |      11 |   139462 |    23644 |   130485      0 |        3 |        7
884.55/884.73	c  760s |      11 |   139816 |    23744 |   130485      0 |        3 |        7
887.35/887.56	c  763s |      11 |   140230 |    23844 |   130485      0 |        3 |        7
890.55/890.73	c  766s |      11 |   140520 |    23944 |   130485      0 |        3 |        7
893.75/893.90	c  769s |      11 |   140816 |    24044 |   130485      0 |        3 |        7
897.25/897.42	c  773s |      11 |   141105 |    24144 |   130485      0 |        3 |        7
899.95/900.16	c  775s |      11 |   141400 |    24244 |   130485      0 |        3 |        7
902.75/902.92	c  778s |      11 |   141704 |    24344 |   130485      0 |        3 |        7
904.95/905.15	c  780s |      11 |   141869 |    24444 |   130485      0 |        3 |        7
907.25/907.44	c  783s |      11 |   142180 |    24544 |   130485      0 |        3 |        7
910.25/910.41	c  786s |      11 |   142459 |    24644 |   130485      0 |        3 |        7
913.15/913.30	c  788s |      11 |   142862 |    24744 |   130485      0 |        3 |        7
915.55/915.73	c  791s |      11 |   143260 |    24844 |   130485      0 |        3 |        7
918.25/918.45	c  794s |      11 |   143437 |    24944 |   130485      0 |        3 |        7
920.75/920.90	c  796s |      11 |   143848 |    25044 |   130485      0 |        3 |        7
923.24/923.49	c  799s |      11 |   144086 |    25144 |   130485      0 |        3 |        7
925.84/926.04	c  801s |      11 |   144326 |    25244 |   130485      0 |        3 |        7
929.14/929.32	c  804s |      11 |   144527 |    25344 |   130485      0 |        3 |        7
932.04/932.26	c  807s |      11 |   145034 |    25444 |   130485      0 |        3 |        7
935.44/935.66	c  811s |      11 |   145440 |    25544 |   130485      0 |        3 |        7
939.04/939.21	c  814s |      11 |   146158 |    25644 |   130485      0 |        3 |        7
941.45/941.70	c  817s |      11 |   146478 |    25744 |   130485      0 |        3 |        7
943.34/943.59	c  819s |      12 |   146643 |    25819 |   130485      0 |        3 |        7
947.44/947.64	c  823s |      12 |   147349 |    25919 |   130485      0 |        3 |        7
951.04/951.23	c  826s |      12 |   147964 |    26019 |   130485      0 |        3 |        7
954.84/955.01	c  830s |      12 |   148420 |    26119 |   130485      0 |        3 |        7
958.64/958.89	c  834s |      12 |   149366 |    26219 |   130485      0 |        3 |        7
962.54/962.70	c  838s |      12 |   149863 |    26319 |   130485      0 |        3 |        7
966.34/966.56	c  842s |      12 |   150533 |    26419 |   130485      0 |        3 |        7
968.64/968.87	c  844s |      12 |   150870 |    26519 |   130485      0 |        3 |        7
971.14/971.31	c  846s |      12 |   151103 |    26619 |   130485      0 |        3 |        7
973.44/973.69	c  849s |      12 |   151380 |    26719 |   130485      0 |        3 |        7
976.04/976.28	c  851s |      12 |   151549 |    26819 |   130485      0 |        3 |        7
978.54/978.75	c  854s |      12 |   152346 |    26919 |   130485      0 |        3 |        7
981.24/981.41	c  857s |      12 |   152664 |    27019 |   130485      0 |        3 |        7
984.24/984.45	c  860s |      12 |   153209 |    27119 |   130485      0 |        3 |        7
987.23/987.41	c  863s |      12 |   153421 |    27219 |   130485      0 |        3 |        7
990.63/990.83	c  866s |      12 |   153762 |    27319 |   130485      0 |        3 |        7
993.83/994.07	c  869s |      12 |   154025 |    27419 |   130485      0 |        3 |        7
996.63/996.89	c  872s |      12 |   154301 |    27519 |   130485      0 |        3 |        7
999.84/1000.02	c  875s |      12 |   154596 |    27619 |   130485      0 |        3 |        7
1003.14/1003.37	c  879s |      12 |   154969 |    27719 |   130485      0 |        3 |        7
1006.34/1006.53	c  882s |      12 |   155214 |    27819 |   130485      0 |        3 |        7
1009.83/1010.04	c  885s |      12 |   155575 |    27919 |   130485      0 |        3 |        7
1013.63/1013.85	c  889s |      12 |   156004 |    28019 |   130485      0 |        3 |        7
1017.34/1017.51	c  893s |      12 |   156291 |    28119 |   130485      0 |        3 |        7
1021.93/1022.11	c  897s |      12 |   156530 |    28219 |   130485      0 |        3 |        7
1025.83/1026.03	c  901s |      12 |   156806 |    28319 |   130485      0 |        3 |        7
1029.33/1029.55	c  905s |      12 |   157386 |    28419 |   130485      0 |        3 |        7
1032.13/1032.31	c  907s |      12 |   157794 |    28519 |   130485      0 |        3 |        7
1035.33/1035.50	c  911s |      12 |   158030 |    28619 |   130485      0 |        3 |        7
1038.54/1038.72	c  914s |      12 |   158778 |    28719 |   130485      0 |        3 |        7
1041.73/1041.96	c  917s |      12 |   158957 |    28819 |   130485      0 |        3 |        7
1044.63/1044.82	c  920s |      12 |   159204 |    28919 |   130485      0 |        3 |        7
1048.73/1048.93	c  924s |      12 |   159454 |    29019 |   130485      0 |        3 |        7
1052.54/1052.79	c  928s |      12 |   159694 |    29119 |   130485      0 |        3 |        7
1056.43/1056.62	c  932s |      12 |   159956 |    29219 |   130485      0 |        3 |        7
1060.73/1060.99	c  936s |      12 |   160131 |    29319 |   130485      0 |        3 |        7
1063.93/1064.15	c  939s |      12 |   160545 |    29419 |   130485      0 |        3 |        7
1067.83/1068.04	c  943s |      12 |   161055 |    29519 |   130485      0 |        3 |        7
1071.63/1071.85	c  947s |      12 |   161598 |    29619 |   130485      0 |        3 |        7
1075.23/1075.45	c  951s |      12 |   162043 |    29719 |   130485      0 |        3 |        7
1078.94/1079.17	c  954s |      12 |   163235 |    29819 |   130485      0 |        3 |        7
1082.34/1082.53	c  958s |      12 |   164112 |    29919 |   130485      0 |        3 |        7
1085.64/1085.82	c  961s |      12 |   164395 |    30019 |   130485      0 |        3 |        7
1089.43/1089.61	c  965s |      12 |   164772 |    30119 |   130485      0 |        3 |        7
1093.13/1093.32	c  968s |      12 |   165083 |    30219 |   130485      0 |        3 |        7
1096.63/1096.88	c  972s |      12 |   165450 |    30319 |   130485      0 |        3 |        7
1100.43/1100.63	c  976s |      12 |   165639 |    30419 |   130485      0 |        3 |        7
1104.72/1104.90	c  980s |      12 |   165772 |    30519 |   130485      0 |        3 |        7
1107.72/1107.90	c  983s |      12 |   166122 |    30619 |   130485      0 |        3 |        7
1111.12/1111.37	c  987s |      12 |   166298 |    30719 |   130485      0 |        3 |        7
1114.22/1114.43	c  990s |      12 |   166979 |    30819 |   130485      0 |        3 |        7
1117.72/1117.93	c  993s |      12 |   167309 |    30919 |   130485      0 |        3 |        7
1121.42/1121.64	c  997s |      12 |   167655 |    31019 |   130485      0 |        3 |        7
1125.12/1125.32	c 1000s |      12 |   168072 |    31119 |   130485      0 |        3 |        7
1128.81/1129.06	c 1004s |      12 |   168278 |    31219 |   130485      0 |        3 |        7
1132.31/1132.56	c 1008s |      12 |   168520 |    31319 |   130485      0 |        3 |        7
1135.61/1135.85	c 1011s |      12 |   169235 |    31419 |   130485      0 |        3 |        7
1138.60/1138.82	c 1014s |      12 |   169403 |    31519 |   130485      0 |        3 |        7
1142.30/1142.50	c 1018s |      12 |   169733 |    31619 |   130485      0 |        3 |        7
1145.90/1146.12	c 1021s |      12 |   170254 |    31719 |   130485      0 |        3 |        7
1149.60/1149.84	c 1025s |      12 |   170517 |    31819 |   130485      0 |        3 |        7
1153.70/1153.95	c 1029s |      12 |   170746 |    31919 |   130485      0 |        3 |        7
1157.40/1157.60	c 1033s |      12 |   171062 |    32019 |   130485      0 |        3 |        7
1160.79/1161.09	c 1036s |      12 |   171272 |    32119 |   130485      0 |        3 |        7
1163.99/1164.26	c 1039s |      12 |   171564 |    32219 |   130485      0 |        3 |        7
1167.39/1167.60	c 1043s |      12 |   172064 |    32319 |   130485      0 |        3 |        7
1170.69/1170.99	c 1046s |      12 |   172442 |    32419 |   130485      0 |        3 |        7
1174.59/1174.84	c 1050s |      12 |   172594 |    32519 |   130485      0 |        3 |        7
1178.29/1178.57	c 1054s |      12 |   172726 |    32619 |   130485      0 |        3 |        7
1181.99/1182.22	c 1057s |      12 |   173453 |    32719 |   143534      0 |        3 |        7
1185.98/1186.20	c 1061s |      12 |   173729 |    32819 |   143534      0 |        3 |        7
1189.38/1189.61	c 1065s |      12 |   173926 |    32919 |   143534      0 |        3 |        7
1192.68/1192.91	c 1068s |      12 |   174932 |    33019 |   143534      0 |        3 |        7
1195.68/1195.92	c 1071s |      12 |   175304 |    33119 |   143534      0 |        3 |        7
1198.28/1198.59	c 1074s |      12 |   175511 |    33219 |   143534      0 |        3 |        7
1201.38/1201.66	c 1077s |      12 |   175748 |    33319 |   143534      0 |        3 |        7
1204.87/1205.16	c 1080s |      12 |   175933 |    33419 |   143534      0 |        3 |        7
1208.57/1208.86	c 1084s |      12 |   176201 |    33519 |   143534      0 |        3 |        7
1211.87/1212.18	c 1087s |      12 |   176544 |    33619 |   143534      0 |        3 |        7
1214.18/1214.45	c 1090s |      12 |   176828 |    33719 |   143534      0 |        3 |        7
1217.37/1217.67	c 1093s |      12 |   177141 |    33819 |   143534      0 |        3 |        7
1220.17/1220.47	c 1096s |      12 |   177448 |    33919 |   143534      0 |        3 |        7
1223.47/1223.80	c 1099s |      12 |   177729 |    34019 |   143534      0 |        3 |        7
1226.87/1227.10	c 1102s |      12 |   178414 |    34119 |   143534      0 |        3 |        7
1230.47/1230.77	c 1106s |      12 |   178695 |    34219 |   143534      0 |        3 |        7
1233.56/1233.85	c 1109s |      12 |   178946 |    34319 |   143534      0 |        3 |        7
1236.17/1236.45	c 1112s |      12 |   179732 |    34419 |   143534      0 |        3 |        7
1239.16/1239.45	c 1115s |      12 |   180196 |    34519 |   143534      0 |        3 |        7
1241.86/1242.10	c 1117s |      12 |   180564 |    34619 |   143534      0 |        3 |        7
1244.97/1245.24	c 1120s |      12 |   181154 |    34719 |   143534      0 |        3 |        7
1248.27/1248.56	c 1124s |      12 |   181757 |    34819 |   143534      0 |        3 |        7
1250.66/1250.99	c 1126s |      12 |   182457 |    34919 |   143534      0 |        3 |        7
1253.86/1254.18	c 1129s |      12 |   183338 |    35019 |   143534      0 |        3 |        7
1257.16/1257.45	c 1133s |      12 |   183606 |    35119 |   143534      0 |        3 |        7
1260.65/1260.92	c 1136s |      12 |   183784 |    35219 |   143534      0 |        3 |        7
1263.76/1264.03	c 1139s |      12 |   184562 |    35319 |   143534      0 |        3 |        7
1267.35/1267.63	c 1143s |      12 |   184809 |    35419 |   143534      0 |        3 |        7
1270.65/1270.97	c 1146s |      12 |   185225 |    35519 |   143534      0 |        3 |        7
1274.75/1275.04	c 1150s |      12 |   185515 |    35619 |   143534      0 |        3 |        7
1278.95/1279.23	c 1154s |      12 |   187345 |    35719 |   143534      0 |        3 |        7
1283.05/1283.34	c 1158s |      12 |   187635 |    35819 |   143534      0 |        3 |        7
1287.64/1287.90	c 1163s |      12 |   188159 |    35919 |   143534      0 |        3 |        7
1291.15/1291.43	c 1167s |      12 |   188754 |    36019 |   143534      0 |        3 |        7
1294.64/1294.97	c 1170s |      12 |   189170 |    36119 |   143534      0 |        3 |        7
1298.84/1299.18	c 1174s |      12 |   189861 |    36219 |   143534      0 |        3 |        7
1302.74/1303.05	c 1178s |      12 |   190272 |    36319 |   143534      0 |        3 |        7
1307.14/1307.41	c 1183s |      12 |   190597 |    36419 |   143534      0 |        3 |        7
1310.54/1310.87	c 1186s |      12 |   191121 |    36519 |   143534      0 |        3 |        7
1313.73/1314.02	c 1189s |      12 |   191329 |    36619 |   143534      0 |        3 |        7
1317.03/1317.30	c 1192s |      12 |   191518 |    36719 |   143534      0 |        3 |        7
1320.33/1320.64	c 1196s |      12 |   191994 |    36819 |   143534      0 |        3 |        7
1323.04/1323.38	c 1199s |      12 |   192398 |    36919 |   143534      0 |        3 |        7
1325.73/1326.04	c 1201s |      12 |   192745 |    37019 |   143534      0 |        3 |        7
1329.03/1329.39	c 1205s |      12 |   193266 |    37119 |   143534      0 |        3 |        7
1333.73/1334.03	c 1209s |      12 |   193637 |    37219 |   143534      0 |        3 |        7
1336.93/1337.22	c 1212s |      12 |   193797 |    37319 |   143534      0 |        3 |        7
1340.73/1341.02	c 1216s |      12 |   195145 |    37419 |   143534      0 |        3 |        7
1344.12/1344.48	c 1220s |      12 |   195565 |    37519 |   143534      0 |        3 |        7
1347.92/1348.27	c 1223s |      12 |   195854 |    37619 |   143534      0 |        3 |        7
1351.73/1352.03	c 1227s |      12 |   196213 |    37719 |   143534      0 |        3 |        7
1355.22/1355.56	c 1231s |      12 |   197507 |    37819 |   143534      0 |        3 |        7
1358.11/1358.47	c 1234s |      12 |   198103 |    37919 |   143534      0 |        3 |        7
1361.11/1361.48	c 1237s |      12 |   200134 |    38019 |   143534      0 |        3 |        7
1363.61/1363.92	c 1239s |      12 |   200841 |    38119 |   143534      0 |        3 |        7
1367.31/1367.67	c 1243s |      12 |   201268 |    38219 |   143534      0 |        3 |        7
1370.32/1370.66	c 1246s |      12 |   202158 |    38319 |   143534      0 |        3 |        7
1373.21/1373.53	c 1249s |      12 |   202618 |    38419 |   143534      0 |        3 |        7
1376.61/1376.92	c 1252s |      12 |   203216 |    38519 |   143534      0 |        3 |        7
1380.11/1380.49	c 1256s |      12 |   204190 |    38619 |   143534      0 |        3 |        7
1383.31/1383.67	c 1259s |      12 |   204618 |    38719 |   143534      0 |        3 |        7
1386.81/1387.18	c 1262s |      12 |   205051 |    38819 |   143534      0 |        3 |        7
1387.31/1387.66	c 1263s |      13 |   205288 |    38832 |   143534      0 |        3 |        7
1391.40/1391.79	c 1267s |      13 |   206407 |    38932 |   143534      0 |        3 |        7
1395.50/1395.84	c 1271s |      13 |   206982 |    39032 |   143534      0 |        3 |        7
1398.30/1398.61	c 1274s |      13 |   207744 |    39132 |   143534      0 |        3 |        7
1401.60/1401.95	c 1277s |      13 |   208204 |    39232 |   143534      0 |        3 |        7
1405.20/1405.53	c 1281s |      13 |   208461 |    39332 |   143534      0 |        3 |        7
1408.70/1409.06	c 1284s |      13 |   208807 |    39432 |   143534      0 |        3 |        7
1412.60/1412.92	c 1288s |      13 |   209019 |    39532 |   143534      0 |        3 |        7
1415.89/1416.21	c 1291s |      13 |   209303 |    39632 |   143534      0 |        3 |        7
1419.19/1419.60	c 1295s |      13 |   211251 |    39732 |   143534      0 |        3 |        7
1422.00/1422.32	c 1297s |      13 |   213984 |    39832 |   143534      0 |        3 |        7
1424.49/1424.85	c 1300s |      13 |   214663 |    39932 |   143534      0 |        3 |        7
1428.19/1428.53	c 1304s |      13 |   215430 |    40032 |   143534      0 |        3 |        7
1432.00/1432.36	c 1308s |      13 |   215957 |    40132 |   143534      0 |        3 |        7
1435.19/1435.56	c 1311s |      13 |   216161 |    40232 |   143534      0 |        3 |        7
1438.49/1438.81	c 1314s |      13 |   216467 |    40332 |   143534      0 |        3 |        7
1441.18/1441.59	c 1317s |      13 |   216782 |    40432 |   143534      0 |        3 |        7
1445.08/1445.48	c 1321s |      13 |   217025 |    40532 |   143534      0 |        3 |        7
1449.08/1449.43	c 1325s |      13 |   217298 |    40632 |   143534      0 |        3 |        7
1452.18/1452.52	c 1328s |      13 |   217710 |    40732 |   143534      0 |        3 |        7
1456.68/1457.07	c 1332s |      13 |   217919 |    40832 |   143534      0 |        3 |        7
1460.97/1461.30	c 1336s |      13 |   218168 |    40932 |   143534      0 |        3 |        7
1464.88/1465.28	c 1340s |      13 |   218661 |    41032 |   143534      0 |        3 |        7
1467.37/1467.75	c 1343s |      13 |   218986 |    41132 |   143534      0 |        3 |        7
1469.97/1470.36	c 1346s |      13 |   219368 |    41232 |   143534      0 |        3 |        7
1472.17/1472.52	c 1348s |      13 |   219675 |    41332 |   143534      0 |        3 |        7
1475.27/1475.68	c 1351s |      13 |   220271 |    41432 |   143534      0 |        3 |        7
1478.08/1478.44	c 1354s |      13 |   220732 |    41532 |   143534      0 |        3 |        7
1481.38/1481.71	c 1357s |      13 |   220929 |    41632 |   143534      0 |        3 |        7
1484.87/1485.24	c 1360s |      13 |   221259 |    41732 |   143534      0 |        3 |        7
1487.46/1487.83	c 1363s |      13 |   221527 |    41832 |   143534      0 |        3 |        7
1490.36/1490.70	c 1366s |      13 |   221852 |    41932 |   143534      0 |        3 |        7
1492.86/1493.25	c 1368s |      13 |   222320 |    42032 |   143534      0 |        3 |        7
1495.26/1495.68	c 1371s |      13 |   222574 |    42132 |   143534      0 |        3 |        7
1497.66/1498.09	c 1373s |      13 |   222967 |    42232 |   143534      0 |        3 |        7
1500.66/1501.01	c 1376s |      13 |   223224 |    42332 |   143534      0 |        3 |        7
1503.56/1503.94	c 1379s |      13 |   223527 |    42432 |   143534      0 |        3 |        7
1506.56/1506.94	c 1382s |      13 |   224087 |    42532 |   143534      0 |        3 |        7
1509.36/1509.76	c 1385s |      13 |   224384 |    42632 |   143534      0 |        3 |        7
1512.36/1512.79	c 1388s |      13 |   224621 |    42732 |   143534      0 |        3 |        7
1515.95/1516.34	c 1391s |      13 |   224821 |    42832 |   143534      0 |        3 |        7
1519.96/1520.33	c 1395s |      13 |   225191 |    42932 |   143534      0 |        3 |        7
1523.45/1523.84	c 1399s |      13 |   225403 |    43032 |   143534      0 |        3 |        7
1527.35/1527.80	c 1403s |      13 |   225605 |    43132 |   143534      0 |        3 |        7
1530.45/1530.83	c 1406s |      13 |   225841 |    43232 |   143534      0 |        3 |        7
1533.74/1534.13	c 1409s |      13 |   226208 |    43332 |   143534      0 |        3 |        7
1536.54/1536.95	c 1412s |      13 |   226572 |    43432 |   143534      0 |        3 |        7
1539.65/1540.09	c 1415s |      13 |   227264 |    43532 |   143534      0 |        3 |        7
1543.24/1543.63	c 1419s |      13 |   227521 |    43632 |   143534      0 |        3 |        7
1546.73/1547.18	c 1422s |      13 |   228011 |    43732 |   143534      0 |        3 |        7
1550.23/1550.63	c 1426s |      13 |   228522 |    43832 |   143534      0 |        3 |        7
1553.33/1553.71	c 1429s |      13 |   229243 |    43932 |   143534      0 |        3 |        7
1556.53/1556.92	c 1432s |      13 |   230230 |    44032 |   143534      0 |        3 |        7
1559.43/1559.85	c 1435s |      13 |   230637 |    44132 |   143534      0 |        3 |        7
1562.93/1563.39	c 1439s |      13 |   231077 |    44232 |   143534      0 |        3 |        7
1566.52/1566.91	c 1442s |      13 |   231498 |    44332 |   143534      0 |        3 |        7
1569.62/1570.01	c 1445s |      13 |   231731 |    44432 |   143534      0 |        3 |        7
1573.03/1573.49	c 1449s |      13 |   232009 |    44532 |   143534      0 |        3 |        7
1575.82/1576.24	c 1451s |      13 |   232297 |    44632 |   143534      0 |        3 |        7
1578.72/1579.12	c 1454s |      13 |   232609 |    44732 |   143534      0 |        3 |        7
1581.92/1582.34	c 1458s |      13 |   232763 |    44832 |   143534      0 |        3 |        7
1584.83/1585.27	c 1460s |      13 |   233381 |    44932 |   143534      0 |        3 |        7
1587.62/1588.05	c 1463s |      13 |   233549 |    45032 |   143534      0 |        3 |        7
1590.32/1590.77	c 1466s |      13 |   233839 |    45132 |   143534      0 |        3 |        7
1593.02/1593.43	c 1469s |      13 |   234349 |    45232 |   143534      0 |        3 |        7
1595.72/1596.11	c 1471s |      13 |   234660 |    45332 |   143534      0 |        3 |        7
1598.31/1598.71	c 1474s |      13 |   234989 |    45432 |   143534      0 |        3 |        7
1600.71/1601.10	c 1476s |      13 |   235421 |    45532 |   143534      0 |        3 |        7
1603.31/1603.77	c 1479s |      13 |   235899 |    45632 |   143534      0 |        3 |        7
1606.30/1606.77	c 1482s |      13 |   236221 |    45732 |   143534      0 |        3 |        7
1609.30/1609.70	c 1485s |      13 |   236515 |    45832 |   143534      0 |        3 |        7
1611.50/1611.96	c 1487s |      13 |   237248 |    45932 |   143534      0 |        3 |        7
1614.20/1614.63	c 1490s |      13 |   237789 |    46032 |   143534      0 |        3 |        7
1617.20/1617.60	c 1493s |      13 |   238611 |    46132 |   143534      0 |        3 |        7
1619.90/1620.37	c 1496s |      13 |   239094 |    46232 |   143534      0 |        3 |        7
1622.70/1623.18	c 1498s |      13 |   239810 |    46332 |   143534      0 |        3 |        7
1625.79/1626.21	c 1501s |      13 |   240101 |    46432 |   143534      0 |        3 |        7
1628.39/1628.86	c 1504s |      13 |   240702 |    46532 |   143534      0 |        3 |        7
1630.89/1631.37	c 1507s |      13 |   240954 |    46632 |   143534      0 |        3 |        7
1633.39/1633.83	c 1509s |      13 |   241827 |    46732 |   143534      0 |        3 |        7
1637.49/1637.99	c 1513s |      13 |   242689 |    46932 |   143534      0 |        3 |        7
1639.69/1640.18	c 1515s |      13 |   243028 |    47032 |   143534      0 |        3 |        7
1642.38/1642.83	c 1518s |      13 |   243459 |    47132 |   143534      0 |        3 |        7
1645.28/1645.72	c 1521s |      13 |   243714 |    47232 |   143534      0 |        3 |        7
1647.77/1648.26	c 1523s |      13 |   243935 |    47332 |   143534      0 |        3 |        7
1650.07/1650.55	c 1526s |      13 |   244257 |    47432 |   143534      0 |        3 |        7
1652.37/1652.82	c 1528s |      13 |   244595 |    47532 |   143534      0 |        3 |        7
1655.07/1655.60	c 1531s |      13 |   245084 |    47632 |   143534      0 |        3 |        7
1657.56/1658.01	c 1533s |      13 |   245637 |    47732 |   143534      0 |        3 |        7
1660.67/1661.15	c 1536s |      13 |   245926 |    47832 |   143534      0 |        3 |        7
1663.26/1663.74	c 1539s |      13 |   246235 |    47932 |   143534      0 |        3 |        7
1666.66/1667.13	c 1542s |      13 |   246513 |    48032 |   143534      0 |        3 |        7
1669.76/1670.29	c 1545s |      13 |   246744 |    48132 |   143534      0 |        3 |        7
1672.46/1672.93	c 1548s |      13 |   247020 |    48232 |   143534      0 |        3 |        7
1675.35/1675.86	c 1551s |      13 |   247285 |    48332 |   143534      0 |        3 |        7
1677.65/1678.14	c 1553s |      13 |   247699 |    48432 |   143534      0 |        3 |        7
1682.15/1682.65	c 1558s |      13 |   248853 |    48632 |   143534      0 |        3 |        7
1685.14/1685.63	c 1561s |      13 |   249458 |    48732 |   143534      0 |        3 |        7
1688.54/1689.09	c 1564s |      13 |   249676 |    48832 |   143534      0 |        3 |        7
1690.94/1691.49	c 1567s |      13 |   249921 |    48932 |   143534      0 |        3 |        7
1693.74/1694.24	c 1569s |      13 |   250299 |    49032 |   143534      0 |        3 |        7
1696.54/1697.07	c 1572s |      13 |   250539 |    49132 |   143534      0 |        3 |        7
1699.34/1699.84	c 1575s |      13 |   250824 |    49232 |   143534      0 |        3 |        7
1702.34/1702.85	c 1578s |      13 |   251101 |    49332 |   143534      0 |        3 |        7
1705.43/1705.93	c 1581s |      13 |   251328 |    49432 |   143534      0 |        3 |        7
1707.94/1708.47	c 1584s |      13 |   251698 |    49532 |   143534      0 |        3 |        7
1710.04/1710.56	c 1586s |      13 |   252681 |    49632 |   143534      0 |        3 |        7
1714.12/1714.60	c 1590s |      13 |   253198 |    49832 |   143534      0 |        3 |        7
1716.42/1716.92	c 1592s |      13 |   253601 |    49932 |   143534      0 |        3 |        7
1718.84/1719.31	c 1594s |      13 |   254104 |    50032 |   143534      0 |        3 |        7
1721.33/1721.83	c 1597s |      13 |   254415 |    50132 |   143534      0 |        3 |        7
1724.33/1724.85	c 1600s |      13 |   254680 |    50232 |   143534      0 |        3 |        7
1726.63/1727.11	c 1602s |      13 |   255381 |    50332 |   143534      0 |        3 |        7
1729.52/1730.05	c 1605s |      13 |   255878 |    50432 |   143534      0 |        3 |        7
1732.42/1732.99	c 1608s |      13 |   256965 |    50532 |   143534      0 |        3 |        7
1734.82/1735.33	c 1610s |      13 |   257326 |    50632 |   143534      0 |        3 |        7
1737.11/1737.62	c 1613s |      13 |   257963 |    50732 |   143534      0 |        3 |        7
1739.82/1740.31	c 1615s |      13 |   258444 |    50832 |   143534      0 |        3 |        7
1743.91/1744.40	c 1620s |      13 |   259635 |    51032 |   143534      0 |        3 |        7
1746.51/1747.01	c 1622s |      13 |   259891 |    51132 |   143534      0 |        3 |        7
1749.31/1749.83	c 1625s |      13 |   260843 |    51232 |   143534      0 |        3 |        7
1751.91/1752.43	c 1628s |      13 |   261640 |    51332 |   143534      0 |        3 |        7
1754.70/1755.22	c 1630s |      13 |   262524 |    51432 |   143534      0 |        3 |        7
1757.00/1757.51	c 1633s |      13 |   263168 |    51532 |   143534      0 |        3 |        7
1760.61/1761.15	c 1636s |      13 |   263372 |    51632 |   143534      0 |        3 |        7
1763.60/1764.18	c 1639s |      13 |   263649 |    51732 |   143534      0 |        3 |        7
1766.21/1766.74	c 1642s |      13 |   264025 |    51832 |   143534      0 |        3 |        7
1769.41/1769.95	c 1645s |      13 |   264529 |    51932 |   143534      0 |        3 |        7
1771.70/1772.28	c 1647s |      13 |   266030 |    52032 |   143534      0 |        3 |        7
1774.40/1774.94	c 1650s |      13 |   266654 |    52132 |   143534      0 |        3 |        7
1777.00/1777.54	c 1653s |      13 |   266922 |    52232 |   143534      0 |        3 |        7
1779.40/1779.91	c 1655s |      13 |   267172 |    52332 |   143534      0 |        3 |        7
1782.20/1782.73	c 1658s |      13 |   267519 |    52432 |   143534      0 |        3 |        7
1785.00/1785.59	c 1661s |      13 |   267746 |    52532 |   143534      0 |        3 |        7
1787.80/1788.33	c 1663s |      13 |   268425 |    52632 |   143534      0 |        3 |        7
1790.09/1790.66	c 1666s |      13 |   268924 |    52732 |   143534      0 |        3 |        7
1792.89/1793.40	c 1669s |      13 |   269311 |    52832 |   143534      0 |        3 |        7
1795.90/1796.48	c 1672s |      13 |   269533 |    52932 |   143534      0 |        3 |        7
1798.99/1799.58	c 1675s |      13 |   271187 |    53032 |   143534      0 |        3 |        7

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

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

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


[startup+0 s]
/proc/loadavg: 2.19 2.18 2.18 2/179 2836
/proc/meminfo: memFree=29219044/32872528 swapFree=17892/1720544
[pid=2836] ppid=2833 vsize=791108 CPUtime=0 cores=1,3,5,7
/proc/2836/stat : 2836 (toysat) R 2833 2836 31655 0 -1 4202496 2962 0 0 0 0 0 0 0 20 0 4 0 107539949 810094592 2813 33554432000 4194304 16246674 140736578145392 140736578144816 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2836/statm: 198289 2823 442 2943 0 195183 0
[pid=2836/tid=2837] ppid=2833 vsize=836164 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2837/stat : 2837 (toysat) S 2833 2836 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107539949 856231936 2990 33554432000 4194304 16246674 140736578145392 139727700208880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2836/tid=2838] ppid=2833 vsize=841284 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2838/stat : 2838 (toysat) S 2833 2836 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107539949 861474816 3010 33554432000 4194304 16246674 140736578145392 139727689719024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2836/tid=2839] ppid=2833 vsize=845380 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2839/stat : 2839 (toysat) S 2833 2836 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107539949 865669120 3025 33554432000 4194304 16246674 140736578145392 139727679245488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.19 2.18 2.18 2/179 2836
/proc/meminfo: memFree=29219044/32872528 swapFree=17892/1720544
[pid=2836] ppid=2833 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/2836/stat : 2836 (toysat) R 2833 2836 31655 0 -1 4202496 28507 0 0 0 5 4 0 0 20 0 4 0 107539949 1332285440 28296 33554432000 4194304 16246674 140736578145392 140736578144704 7377837 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2836/statm: 325265 28313 801 2943 0 322159 0
[pid=2836/tid=2837] ppid=2833 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2837/stat : 2837 (toysat) S 2833 2836 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107539949 1332285440 28325 33554432000 4194304 16246674 140736578145392 139727700208880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2836/tid=2838] ppid=2833 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2838/stat : 2838 (toysat) S 2833 2836 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107539949 1332285440 28336 33554432000 4194304 16246674 140736578145392 139727689719024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2836/tid=2839] ppid=2833 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2839/stat : 2839 (toysat) S 2833 2836 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107539949 1332285440 28347 33554432000 4194304 16246674 140736578145392 139727679245488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200534 s]
/proc/loadavg: 2.19 2.18 2.18 2/179 2836
/proc/meminfo: memFree=29219044/32872528 swapFree=17892/1720544
[pid=2836] ppid=2833 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/2836/stat : 2836 (toysat) R 2833 2836 31655 0 -1 4202496 49036 0 0 0 13 6 0 0 20 0 4 0 107539949 1342771200 48824 33554432000 4194304 16246674 140736578145392 140736578144008 4221105 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2836/statm: 327825 48827 835 2943 0 324719 0
[pid=2836/tid=2837] ppid=2833 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2837/stat : 2837 (toysat) S 2833 2836 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107539949 1342771200 48829 33554432000 4194304 16246674 140736578145392 139727700208880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2836/tid=2838] ppid=2833 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2838/stat : 2838 (toysat) S 2833 2836 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107539949 1342771200 48832 33554432000 4194304 16246674 140736578145392 139727689719024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2836/tid=2839] ppid=2833 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2839/stat : 2839 (toysat) S 2833 2836 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107539949 1343819776 48838 33554432000 4194304 16246674 140736578145392 139727679245488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300502 s]
/proc/loadavg: 2.19 2.18 2.18 2/179 2836
/proc/meminfo: memFree=29219044/32872528 swapFree=17892/1720544
[pid=2836] ppid=2833 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/2836/stat : 2836 (toysat) R 2833 2836 31655 0 -1 4202496 49631 0 0 0 23 6 0 0 20 0 4 0 107539949 1345916928 49419 33554432000 4194304 16246674 140736578145392 140736578144704 5516328 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2836/statm: 328593 49419 835 2943 0 325487 0
[pid=2836/tid=2837] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2837/stat : 2837 (toysat) S 2833 2836 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 49419 33554432000 4194304 16246674 140736578145392 139727700208880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2836/tid=2838] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2838/stat : 2838 (toysat) S 2833 2836 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 49419 33554432000 4194304 16246674 140736578145392 139727689719024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2836/tid=2839] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2839/stat : 2839 (toysat) S 2833 2836 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 49419 33554432000 4194304 16246674 140736578145392 139727679245488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700436 s]
/proc/loadavg: 2.19 2.18 2.18 2/179 2836
/proc/meminfo: memFree=29219044/32872528 swapFree=17892/1720544
[pid=2836] ppid=2833 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/2836/stat : 2836 (toysat) R 2833 2836 31655 0 -1 4202496 69718 0 0 0 60 9 0 0 20 0 4 0 107539949 1345916928 69506 33554432000 4194304 16246674 140736578145392 140736578144704 4220807 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2836/statm: 328593 69506 836 2943 0 325487 0
[pid=2836/tid=2837] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2837/stat : 2837 (toysat) S 2833 2836 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 69506 33554432000 4194304 16246674 140736578145392 139727700208880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2836/tid=2838] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2838/stat : 2838 (toysat) S 2833 2836 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 69506 33554432000 4194304 16246674 140736578145392 139727689719024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2836/tid=2839] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2839/stat : 2839 (toysat) S 2833 2836 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 69506 33554432000 4194304 16246674 140736578145392 139727679245488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50042 s]
/proc/loadavg: 2.18 2.18 2.18 3/183 2840
/proc/meminfo: memFree=28759320/32872528 swapFree=17892/1720544
[pid=2836] ppid=2833 vsize=1314372 CPUtime=1.48 cores=1,3,5,7
/proc/2836/stat : 2836 (toysat) R 2833 2836 31655 0 -1 4202496 116652 0 0 0 133 15 0 0 20 0 4 0 107539949 1345916928 116440 33554432000 4194304 16246674 140736578145392 140736578143232 6837238 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2836/statm: 328593 116440 909 2943 0 325487 0
[pid=2836/tid=2837] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2837/stat : 2837 (toysat) S 2833 2836 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 116440 33554432000 4194304 16246674 140736578145392 139727700208880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2836/tid=2838] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2838/stat : 2838 (toysat) S 2833 2836 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 116440 33554432000 4194304 16246674 140736578145392 139727689719024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2836/tid=2839] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2839/stat : 2839 (toysat) S 2833 2836 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 116440 33554432000 4194304 16246674 140736578145392 139727679245488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1314372

[startup+3.10038 s]
/proc/loadavg: 2.18 2.18 2.18 3/183 2840
/proc/meminfo: memFree=28756160/32872528 swapFree=17892/1720544
[pid=2836] ppid=2833 vsize=1314372 CPUtime=3.09 cores=1,3,5,7
/proc/2836/stat : 2836 (toysat) R 2833 2836 31655 0 -1 4202496 147782 0 0 0 290 19 0 0 20 0 4 0 107539949 1345916928 147570 33554432000 4194304 16246674 140736578145392 140736578128384 5545876 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2836/statm: 328593 147570 911 2943 0 325487 0
[pid=2836/tid=2837] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2837/stat : 2837 (toysat) S 2833 2836 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 147570 33554432000 4194304 16246674 140736578145392 139727700208880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2836/tid=2838] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2838/stat : 2838 (toysat) S 2833 2836 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 147570 33554432000 4194304 16246674 140736578145392 139727689719024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2836/tid=2839] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2839/stat : 2839 (toysat) S 2833 2836 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 147570 33554432000 4194304 16246674 140736578145392 139727679245488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1314372

[startup+6.30044 s]
/proc/loadavg: 2.18 2.18 2.18 3/183 2840
/proc/meminfo: memFree=28390756/32872528 swapFree=17892/1720544
[pid=2836] ppid=2833 vsize=1314372 CPUtime=6.29 cores=1,3,5,7
/proc/2836/stat : 2836 (toysat) R 2833 2836 31655 0 -1 4202496 208050 0 0 0 601 28 0 0 20 0 4 0 107539949 1345916928 207838 33554432000 4194304 16246674 140736578145392 140736578127296 5675825 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2836/statm: 328593 207838 911 2943 0 325487 0
[pid=2836/tid=2837] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2837/stat : 2837 (toysat) S 2833 2836 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 207838 33554432000 4194304 16246674 140736578145392 139727700208880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2836/tid=2838] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2838/stat : 2838 (toysat) S 2833 2836 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 207838 33554432000 4194304 16246674 140736578145392 139727689719024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2836/tid=2839] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2839/stat : 2839 (toysat) S 2833 2836 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 207838 33554432000 4194304 16246674 140736578145392 139727679245488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1314372

[startup+12.7004 s]
/proc/loadavg: 2.15 2.17 2.18 4/183 2840
/proc/meminfo: memFree=28390692/32872528 swapFree=17892/1720544
[pid=2836] ppid=2833 vsize=1314372 CPUtime=12.69 cores=1,3,5,7
/proc/2836/stat : 2836 (toysat) R 2833 2836 31655 0 -1 4202496 208053 0 0 0 1241 28 0 0 20 0 4 0 107539949 1345916928 207841 33554432000 4194304 16246674 140736578145392 140736578127296 6023144 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2836/statm: 328593 207841 914 2943 0 325487 0
[pid=2836/tid=2837] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2837/stat : 2837 (toysat) S 2833 2836 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 207841 33554432000 4194304 16246674 140736578145392 139727700208880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2836/tid=2838] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2838/stat : 2838 (toysat) S 2833 2836 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 207841 33554432000 4194304 16246674 140736578145392 139727689719024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2836/tid=2839] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2839/stat : 2839 (toysat) S 2833 2836 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 207841 33554432000 4194304 16246674 140736578145392 139727679245488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1314372

[startup+25.5005 s]
/proc/loadavg: 2.20 2.18 2.18 4/183 2840
/proc/meminfo: memFree=28388956/32872528 swapFree=17892/1720544
[pid=2836] ppid=2833 vsize=1314372 CPUtime=25.49 cores=1,3,5,7
/proc/2836/stat : 2836 (toysat) R 2833 2836 31655 0 -1 4202496 208053 0 0 0 2520 29 0 0 20 0 4 0 107539949 1345916928 207841 33554432000 4194304 16246674 140736578145392 140736578127296 5674851 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2836/statm: 328593 207841 914 2943 0 325487 0
[pid=2836/tid=2837] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2837/stat : 2837 (toysat) S 2833 2836 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 207841 33554432000 4194304 16246674 140736578145392 139727700208880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2836/tid=2838] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2838/stat : 2838 (toysat) S 2833 2836 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 207841 33554432000 4194304 16246674 140736578145392 139727689719024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2836/tid=2839] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2839/stat : 2839 (toysat) S 2833 2836 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 207841 33554432000 4194304 16246674 140736578145392 139727679245488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1314372

[startup+51.1005 s]
/proc/loadavg: 2.23 2.19 2.18 3/183 2840
/proc/meminfo: memFree=28386888/32872528 swapFree=17892/1720544
[pid=2836] ppid=2833 vsize=1314372 CPUtime=51.08 cores=1,3,5,7
/proc/2836/stat : 2836 (toysat) R 2833 2836 31655 0 -1 4202496 208053 0 0 0 5078 30 0 0 20 0 4 0 107539949 1345916928 207841 33554432000 4194304 16246674 140736578145392 140736578144568 5674919 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2836/statm: 328593 207841 914 2943 0 325487 0
[pid=2836/tid=2837] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2837/stat : 2837 (toysat) S 2833 2836 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 207841 33554432000 4194304 16246674 140736578145392 139727700208880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2836/tid=2838] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2838/stat : 2838 (toysat) S 2833 2836 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 207841 33554432000 4194304 16246674 140736578145392 139727689719024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2836/tid=2839] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2839/stat : 2839 (toysat) S 2833 2836 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 207841 33554432000 4194304 16246674 140736578145392 139727679245488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372

[startup+102.301 s]
/proc/loadavg: 2.33 2.22 2.19 3/183 2841
/proc/meminfo: memFree=28386636/32872528 swapFree=17892/1720544
[pid=2836] ppid=2833 vsize=1314372 CPUtime=102.28 cores=1,3,5,7
/proc/2836/stat : 2836 (toysat) R 2833 2836 31655 0 -1 4202496 208053 0 0 0 10196 32 0 0 20 0 4 0 107539949 1345916928 207841 33554432000 4194304 16246674 140736578145392 140736578127296 6022344 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2836/statm: 328593 207841 914 2943 0 325487 0
[pid=2836/tid=2837] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2837/stat : 2837 (toysat) S 2833 2836 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 207841 33554432000 4194304 16246674 140736578145392 139727700208880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2836/tid=2838] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2838/stat : 2838 (toysat) S 2833 2836 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 207841 33554432000 4194304 16246674 140736578145392 139727689719024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2836/tid=2839] ppid=2833 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2839/stat : 2839 (toysat) S 2833 2836 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107539949 1345916928 207841 33554432000 4194304 16246674 140736578145392 139727679245488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/2836/task/2839/stat : 2839 (toysat) S 2833 2836 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727679245488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 1317444

[startup+1302.3 s]
/proc/loadavg: 2.31 2.23 2.19 3/183 2920
/proc/meminfo: memFree=28130232/32872528 swapFree=17892/1720544
[pid=2836] ppid=2833 vsize=1317444 CPUtime=1302.04 cores=1,3,5,7
/proc/2836/stat : 2836 (toysat) R 2833 2836 31655 0 -1 4202496 270686 0 0 0 130159 45 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 140736578127296 6837232 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2836/statm: 329361 270623 918 2943 0 326255 0
[pid=2836/tid=2837] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2837/stat : 2837 (toysat) S 2833 2836 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727700208880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2836/tid=2838] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2838/stat : 2838 (toysat) S 2833 2836 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727689719024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2836/tid=2839] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2839/stat : 2839 (toysat) S 2833 2836 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727679245488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 1317444

[startup+1362.3 s]
/proc/loadavg: 2.24 2.23 2.19 3/183 2921
/proc/meminfo: memFree=28130140/32872528 swapFree=17892/1720544
[pid=2836] ppid=2833 vsize=1317444 CPUtime=1362.01 cores=1,3,5,7
/proc/2836/stat : 2836 (toysat) R 2833 2836 31655 0 -1 4202496 270712 0 0 0 136156 45 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 140736578144568 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2836/statm: 329361 270623 918 2943 0 326255 0
[pid=2836/tid=2837] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2837/stat : 2837 (toysat) S 2833 2836 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727700208880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2836/tid=2838] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2838/stat : 2838 (toysat) S 2833 2836 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727689719024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2836/tid=2839] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2839/stat : 2839 (toysat) S 2833 2836 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727679245488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 1317444

[startup+1422.3 s]
/proc/loadavg: 2.17 2.21 2.18 3/183 2922
/proc/meminfo: memFree=28129796/32872528 swapFree=17892/1720544
[pid=2836] ppid=2833 vsize=1317444 CPUtime=1422 cores=1,3,5,7
/proc/2836/stat : 2836 (toysat) R 2833 2836 31655 0 -1 4202496 270742 0 0 0 142155 45 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 140736578127296 6022991 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2836/statm: 329361 270623 918 2943 0 326255 0
[pid=2836/tid=2837] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2837/stat : 2837 (toysat) S 2833 2836 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727700208880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2836/tid=2838] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2838/stat : 2838 (toysat) S 2833 2836 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727689719024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2836/tid=2839] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2839/stat : 2839 (toysat) S 2833 2836 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727679245488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 1317444

[startup+1482.3 s]
/proc/loadavg: 2.42 2.28 2.20 3/183 2924
/proc/meminfo: memFree=28129460/32872528 swapFree=17892/1720544
[pid=2836] ppid=2833 vsize=1317444 CPUtime=1481.97 cores=1,3,5,7
/proc/2836/stat : 2836 (toysat) R 2833 2836 31655 0 -1 4202496 270763 0 0 0 148152 45 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 140736578127296 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2836/statm: 329361 270623 918 2943 0 326255 0
[pid=2836/tid=2837] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2837/stat : 2837 (toysat) S 2833 2836 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727700208880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2836/tid=2838] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2838/stat : 2838 (toysat) S 2833 2836 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727689719024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2836/tid=2839] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2839/stat : 2839 (toysat) S 2833 2836 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727679245488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1317444

[startup+1542.31 s]
/proc/loadavg: 2.38 2.30 2.21 3/184 2928
/proc/meminfo: memFree=28129848/32872528 swapFree=17892/1720544
[pid=2836] ppid=2833 vsize=1317444 CPUtime=1541.95 cores=1,3,5,7
/proc/2836/stat : 2836 (toysat) R 2833 2836 31655 0 -1 4202496 270796 0 0 0 154150 45 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 140736578127296 5677716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2836/statm: 329361 270623 918 2943 0 326255 0
[pid=2836/tid=2837] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2837/stat : 2837 (toysat) S 2833 2836 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727700208880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2836/tid=2838] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2838/stat : 2838 (toysat) S 2833 2836 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727689719024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2836/tid=2839] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2839/stat : 2839 (toysat) S 2833 2836 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727679245488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 1317444

[startup+1602.3 s]
/proc/loadavg: 2.21 2.27 2.20 3/184 2952
/proc/meminfo: memFree=28129000/32872528 swapFree=17892/1720544
[pid=2836] ppid=2833 vsize=1317444 CPUtime=1601.91 cores=1,3,5,7
/proc/2836/stat : 2836 (toysat) R 2833 2836 31655 0 -1 4202496 270844 0 0 0 160145 46 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 140736578144488 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2836/statm: 329361 270623 918 2943 0 326255 0
[pid=2836/tid=2837] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2837/stat : 2837 (toysat) S 2833 2836 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727700208880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2836/tid=2838] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2838/stat : 2838 (toysat) S 2833 2836 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727689719024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2836/tid=2839] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2839/stat : 2839 (toysat) S 2833 2836 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727679245488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1317444

[startup+1662.3 s]
/proc/loadavg: 2.32 2.29 2.21 3/183 2953
/proc/meminfo: memFree=28129508/32872528 swapFree=17892/1720544
[pid=2836] ppid=2833 vsize=1317444 CPUtime=1661.86 cores=1,3,5,7
/proc/2836/stat : 2836 (toysat) R 2833 2836 31655 0 -1 4202496 270892 0 0 0 166140 46 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 140736578127296 5677667 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2836/statm: 329361 270623 918 2943 0 326255 0
[pid=2836/tid=2837] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2837/stat : 2837 (toysat) S 2833 2836 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727700208880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2836/tid=2838] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2838/stat : 2838 (toysat) S 2833 2836 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727689719024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2836/tid=2839] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2839/stat : 2839 (toysat) S 2833 2836 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727679245488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1317444

[startup+1722.3 s]
/proc/loadavg: 2.21 2.27 2.21 3/183 2954
/proc/meminfo: memFree=28129404/32872528 swapFree=17892/1720544
[pid=2836] ppid=2833 vsize=1317444 CPUtime=1721.83 cores=1,3,5,7
/proc/2836/stat : 2836 (toysat) R 2833 2836 31655 0 -1 4202496 270940 0 0 0 172136 47 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 140736578127296 5722912 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2836/statm: 329361 270623 918 2943 0 326255 0
[pid=2836/tid=2837] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2837/stat : 2837 (toysat) S 2833 2836 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727700208880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2836/tid=2838] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2838/stat : 2838 (toysat) S 2833 2836 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727689719024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2836/tid=2839] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2839/stat : 2839 (toysat) S 2833 2836 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727679245488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1317444

[startup+1782.3 s]
/proc/loadavg: 2.24 2.26 2.20 3/183 2956
/proc/meminfo: memFree=28129032/32872528 swapFree=17892/1720544
[pid=2836] ppid=2833 vsize=1317444 CPUtime=1781.8 cores=1,3,5,7
/proc/2836/stat : 2836 (toysat) R 2833 2836 31655 0 -1 4202496 270970 0 0 0 178133 47 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 140736578127296 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2836/statm: 329361 270623 918 2943 0 326255 0
[pid=2836/tid=2837] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2837/stat : 2837 (toysat) S 2833 2836 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727700208880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2836/tid=2838] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2838/stat : 2838 (toysat) S 2833 2836 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727689719024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2836/tid=2839] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2839/stat : 2839 (toysat) S 2833 2836 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727679245488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1317444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.26 2.26 2.21 3/183 2956
/proc/meminfo: memFree=28128580/32872528 swapFree=17892/1720544
[pid=2836] ppid=2833 vsize=1317444 CPUtime=1800.09 cores=1,3,5,7
/proc/2836/stat : 2836 (toysat) R 2833 2836 31655 0 -1 4202496 270970 0 0 0 179962 47 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 140736578127296 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2836/statm: 329361 270623 918 2943 0 326255 0
[pid=2836/tid=2837] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2837/stat : 2837 (toysat) S 2833 2836 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727700208880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2836/tid=2838] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2838/stat : 2838 (toysat) S 2833 2836 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727689719024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2836/tid=2839] ppid=2833 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2836/task/2839/stat : 2839 (toysat) S 2833 2836 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107539949 1349062656 270623 33554432000 4194304 16246674 140736578145392 139727679245488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1317444

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1799.63
CPU system time (s): 0.476927
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.476927
maximum resident set size= 1082492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270970
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= 405
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.76028 second user time and 7.30589 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-07 01:34:28
IDJOB=4080139
IDBENCH=48124
IDSOLVER=2542
FILE ID=node117/4080139-1465256068
RUNJOBID= node117-1465227498-31672
PBS_JOBID= 19843241
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= d5313ea0d4ce989dad692c9adfb6f827
RANDOM SEED=1894880761

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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.53
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.088
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:        29220208 kB
Buffers:           14052 kB
Cached:            76992 kB
SwapCached:        55888 kB
Active:          1141764 kB
Inactive:          86384 kB
Active(anon):    1083096 kB
Inactive(anon):    56024 kB
Active(file):      58668 kB
Inactive(file):    30360 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67043784 kB
Dirty:             16704 kB
Writeback:             0 kB
AnonPages:       2800608 kB
Mapped:            10140 kB
Shmem:                 0 kB
Slab:             567604 kB
SReclaimable:      11812 kB
SUnreclaim:       555792 kB
KernelStack:        1520 kB
PageTables:         9936 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2950612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1710080 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= 71708 MiB
End job on node117 at 2016-06-07 02:04:29