Trace number 4108413

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12049_10.std.opb
MD5SUM447a543f878ceafadea8d85be2867299
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark97
Best CPU time to get the best result obtained on this benchmark142.185
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints256335
Number of constraints which are clauses255135
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint68
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-19T01:06:05+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4108413-1466291165.opb"]
0.00/0.01	c use --random-gen="2339990677 87550124 2957623615 470392686 3696371879 3100385921 2482428752 3081913907 2042937008 1834250873 1275257320 521071022 3162943379 540570028 422700743 2375986149 2046467207 603798864 368389926 3799186982 962711304 3599368079 3375000386 3025990405 533754500 931822203 1677895431 3024994486 4053463267 3833004948 2242626953 3353504710 489706673 1967488662 2574654713 3900961685 3818026942 355337856 2622378858 471965480 2907030127 3949832299 3248965976 3163786695 1150109372 229594187 3874089667 3196862394 1942826688 664668312 4184886428 3591356718 1265726678 1464935214 276639595 452791390 4220745166 1113506085 36869562 1828678214 1022950169 995251295 2979966694 2780520865 1239691268 1913810301 2073288924 18876531 4131411101 2323419210 4186178829 957905227 3707057058 522214419 272486580 179782862 4230111736 68868884 756168880 3541140047 3071209695 1852492565 4130616796 3621408752 2930130696 721192711 2491899223 348134661 2999671100 3591156316 2838464194 386108657 2033359618 4049641016 1197052932 2125978801 19123176 2162354097 3747968666 3224595292 2953779446 961453805 2918771075 532561495 3051824898 561790172 1919849761 895459702 2631147374 1774647600 462786222 4228108546 1295037942 3083633874 3915529716 845027407 1115820412 2838039222 617472581 2036151055 1990550309 2549494291 2333962597 2847968294 2430560358 3122169391 1019914130 1086356795 194267715 2950789595 2853628707 2879917107 3257494455 510270812 2798118193 2775769821 491191307 1404106215 3190877312 1661430128 3996529000 1503494629 4028032641 3074293341 4263911105 927795375 1585737225 2579399819 1856625387 1246995615 2176428197 977278375 2582964573 1547521956 2620735472 2103899668 375311081 3622750759 300105787 2979105645 3281741085 847413053 1511424315 2009755414 2065899243 821451871 2479745778 3077266651 3393921265 604498890 2552049831 1626016136 3078783444 363306180 2023453175 4130058495 1603689789 1394511041 1260851443 262615208 1554351743 3721622805 2338097506 756092448 2744327461 770115340 3664060393 779022996 3692643174 3337321533 4128443082 965627049 2864048556 2766625285 789520643 3584783196 3336808667 2456072679 1081988454 3106743368 49880182 3567422649 24913845 3488342189 4249281710 3007232770 2417571971 1507593928 3641621992 545989949 2054997700 2843763269 1602307792 2447878971 4143294111 2074466681 1951840656 976576959 1766852202 3561885883 1045334626 2349941417 492968136 1749094584 214998690 3552890490 3934772461 3986755350 960489191 3920220561 2194487080 2119873735 3146854280 4146652500 2147382795 3975327020 1600301881 2545504179 1559342614 1408054378 2070519889 1088871131 2821245060 1134396647 3121278471 2428183343 3397840155 455423254 4267783413 1172298478 878450608 3338933661 3489798501 3025420120 2363229737 162285132 255 362436" option to reproduce the execution
1.39/1.42	c #vars 72842
1.39/1.42	c #constraints 256335
4.39/4.41	c BCD2: Hardening is enabled.
4.39/4.41	c BCD2: BiasedSearch is enabled.
4.39/4.41	c Solving starts ...
4.39/4.41	c ============================[ Search Statistics ]============================
4.39/4.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.39/4.41	c       |         |          |          |    Limit     GC | Var      | Constra 
4.39/4.41	c =============================================================================
4.59/4.61	c  0.0s |       0 |        0 |        0 |    93808      0 |    18242 |        0
4.79/4.86	c  0.3s |       0 |      121 |        0 |    93808      0 |    18242 |    23914
4.79/4.86	c #cpu_time = 0.223s
4.79/4.86	c #wall_clock_time = 0.223s
4.79/4.86	c #decision = 121
4.79/4.86	c #random_decision = 0
4.79/4.86	c #conflict = 0
4.79/4.86	c #restart = 0
4.79/4.86	o 300
4.79/4.86	c BCD2: hardening fixes 1 literals
4.79/4.87	c BCD2: updating upper bound: 45150 -> 299
4.79/4.87	c BCD2: 0 <= obj <= 299
4.79/4.87	c BCD2: #cores=0, #unrelaxed=299, #relaxed=0, #hardened=1
4.79/4.87	c BCD2: #sat=1 #unsat=1 bias=1/2
4.79/4.87	c Solving starts ...
4.79/4.87	c ============================[ Search Statistics ]============================
4.79/4.87	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.79/4.87	c       |         |          |          |    Limit     GC | Var      | Constra 
4.79/4.87	c =============================================================================
4.79/4.87	c  0.0s |       0 |        0 |        0 |    93808      0 |    18484 |    23914
4.99/5.08	c  0.2s |       0 |      210 |        1 |    93808      0 |    18484 |    24773
4.99/5.08	c #cpu_time = 0.191s
4.99/5.08	c #wall_clock_time = 0.191s
4.99/5.08	c #decision = 210
4.99/5.08	c #random_decision = 0
4.99/5.08	c #conflict = 1
4.99/5.08	c #restart = 0
4.99/5.08	c BCD2: found a new core of size 210: cost of the new core is >=90
4.99/5.08	c lower bound updated to 90
4.99/5.08	c BCD2: 90 <= obj <= 299
4.99/5.08	c BCD2: #cores=1, #unrelaxed=89, #relaxed=210, #hardened=1
4.99/5.08	c BCD2: #sat=1 #unsat=2 bias=2/3
6.59/6.64	c Solving starts ...
6.59/6.64	c ============================[ Search Statistics ]============================
6.59/6.64	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.59/6.64	c       |         |          |          |    Limit     GC | Var      | Constra 
6.59/6.64	c =============================================================================
6.59/6.64	c  0.0s |       0 |        0 |        0 |    93808      0 |    18484 |    24773
6.89/6.93	c  0.3s |       0 |        4 |        3 |    93808      0 |    18485 |    24774
6.89/6.93	c #cpu_time = 0.289s
6.89/6.93	c #wall_clock_time = 0.289s
6.89/6.93	c #decision = 4
6.89/6.93	c #random_decision = 0
6.89/6.93	c #conflict = 3
6.89/6.93	c #restart = 0
6.89/6.93	c BCD2: updating lower bound of a core
6.89/6.93	c lower bound updated to 91
6.89/6.93	c BCD2: 91 <= obj <= 299
6.89/6.93	c BCD2: #cores=1, #unrelaxed=89, #relaxed=210, #hardened=1
6.89/6.93	c BCD2: #sat=1 #unsat=3 bias=3/4
8.28/8.39	c Solving starts ...
8.28/8.39	c ============================[ Search Statistics ]============================
8.28/8.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
8.28/8.39	c       |         |          |          |    Limit     GC | Var      | Constra 
8.28/8.39	c =============================================================================
8.28/8.39	c  0.0s |       0 |        0 |        0 |    93808      0 |    18485 |    24774
8.58/8.69	c  0.3s |       0 |       22 |       16 |    93808      0 |    18486 |    24775
8.58/8.69	c #cpu_time = 0.307s
8.58/8.69	c #wall_clock_time = 0.307s
8.58/8.69	c #decision = 22
8.58/8.69	c #random_decision = 0
8.58/8.69	c #conflict = 16
8.58/8.69	c #restart = 0
8.58/8.69	c BCD2: updating lower bound of a core
8.58/8.69	c lower bound updated to 92
8.58/8.69	c BCD2: 92 <= obj <= 299
8.58/8.69	c BCD2: #cores=1, #unrelaxed=89, #relaxed=210, #hardened=1
8.58/8.69	c BCD2: #sat=1 #unsat=4 bias=4/5
10.08/10.13	c Solving starts ...
10.08/10.13	c ============================[ Search Statistics ]============================
10.08/10.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.08/10.13	c       |         |          |          |    Limit     GC | Var      | Constra 
10.08/10.13	c =============================================================================
10.08/10.13	c  0.0s |       0 |        0 |        0 |    93808      0 |    18486 |    24775
10.48/10.53	c  0.4s |       0 |      157 |       95 |   103189      0 |    18487 |    24776
10.48/10.53	c #cpu_time = 0.399s
10.48/10.53	c #wall_clock_time = 0.399s
10.48/10.53	c #decision = 157
10.48/10.53	c #random_decision = 0
10.48/10.53	c #conflict = 95
10.48/10.53	c #restart = 0
10.48/10.53	c BCD2: updating lower bound of a core
10.48/10.53	c lower bound updated to 93
10.48/10.53	c BCD2: 93 <= obj <= 299
10.48/10.53	c BCD2: #cores=1, #unrelaxed=89, #relaxed=210, #hardened=1
10.48/10.53	c BCD2: #sat=1 #unsat=5 bias=5/6
11.88/11.95	c Solving starts ...
11.88/11.95	c ============================[ Search Statistics ]============================
11.88/11.95	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.88/11.95	c       |         |          |          |    Limit     GC | Var      | Constra 
11.88/11.95	c =============================================================================
11.88/11.95	c  0.0s |       0 |        0 |        0 |   103189      0 |    18487 |    24776
12.19/12.29	c  0.3s |       1 |      150 |      100 |   103189      0 |    18487 |    24776
12.68/12.72	c  0.8s |       1 |      279 |      207 |   113508      0 |    18488 |    24777
12.68/12.72	c #cpu_time = 0.772s
12.68/12.72	c #wall_clock_time = 0.773s
12.68/12.72	c #decision = 279
12.68/12.72	c #random_decision = 1
12.68/12.72	c #conflict = 207
12.68/12.72	c #restart = 1
12.68/12.72	c BCD2: updating lower bound of a core
12.68/12.72	c lower bound updated to 94
12.68/12.72	c BCD2: 94 <= obj <= 299
12.68/12.72	c BCD2: #cores=1, #unrelaxed=89, #relaxed=210, #hardened=1
12.68/12.72	c BCD2: #sat=1 #unsat=6 bias=6/7
14.08/14.11	c Solving starts ...
14.08/14.11	c ============================[ Search Statistics ]============================
14.08/14.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
14.08/14.11	c       |         |          |          |    Limit     GC | Var      | Constra 
14.08/14.11	c =============================================================================
14.08/14.11	c  0.0s |       0 |        0 |        0 |   113508      0 |    18488 |    24777
14.39/14.48	c  0.4s |       1 |      143 |      100 |   113508      0 |    18488 |    24777
14.88/14.91	c  0.8s |       2 |      339 |      250 |   124859      0 |    18488 |    24777
15.49/15.52	c  1.4s |       3 |      646 |      475 |   124859      0 |    18488 |    24777
16.18/16.24	c  2.1s |       4 |     1099 |      813 |   137345      0 |    18488 |    24777
16.68/16.73	c  2.6s |       4 |     1208 |      894 |   137345      0 |    18489 |    24778
16.68/16.73	c #cpu_time = 2.619s
16.68/16.73	c #wall_clock_time = 2.619s
16.68/16.73	c #decision = 1208
16.68/16.73	c #random_decision = 0
16.68/16.73	c #conflict = 894
16.68/16.73	c #restart = 4
16.68/16.73	c BCD2: updating lower bound of a core
16.68/16.73	c lower bound updated to 95
16.68/16.73	c BCD2: 95 <= obj <= 299
16.68/16.73	c BCD2: #cores=1, #unrelaxed=89, #relaxed=210, #hardened=1
16.68/16.73	c BCD2: #sat=1 #unsat=7 bias=7/8
18.08/18.10	c Solving starts ...
18.08/18.10	c ============================[ Search Statistics ]============================
18.08/18.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
18.08/18.10	c       |         |          |          |    Limit     GC | Var      | Constra 
18.08/18.10	c =============================================================================
18.08/18.10	c  0.0s |       0 |        0 |        0 |   137345      0 |    18489 |    24778
18.38/18.42	c  0.3s |       1 |      179 |      100 |   137345      0 |    18489 |    24778
18.79/18.88	c  0.8s |       2 |      435 |      250 |   151080      0 |    18489 |    24778
19.38/19.45	c  1.4s |       3 |      812 |      475 |   151080      0 |    18489 |    24778
20.08/20.19	c  2.1s |       4 |     1291 |      813 |   151080      0 |    18489 |    24778
21.38/21.41	c  3.3s |       5 |     2061 |     1320 |   166188      0 |    18489 |    24778
22.88/22.90	c  4.8s |       6 |     3063 |     2081 |   182807      0 |    18489 |    24778
25.08/25.10	c  7.0s |       6 |     4507 |     3181 |   182807      0 |    18489 |    24778
25.08/25.18	c  7.1s |       7 |     4565 |     3223 |   182807      0 |    18489 |    24778
27.49/27.54	c  9.4s |       7 |     5984 |     4123 |   201088      0 |    18489 |    24778
29.18/29.22	c 11.1s |       8 |     7093 |     4936 |   201088      0 |    18489 |    24778
31.28/31.35	c 13.3s |       8 |     8360 |     5836 |   201088      0 |    18489 |    24778
33.38/33.40	c 15.3s |       8 |     9702 |     6736 |   221197      0 |    18489 |    24778
35.19/35.28	c 17.2s |       9 |    10749 |     7506 |   221197      0 |    18489 |    24778
37.28/37.35	c 19.2s |       9 |    11680 |     8206 |   221197      0 |    18489 |    24778
39.28/39.35	c 21.2s |       9 |    12726 |     9006 |   221197      0 |    18489 |    24778
41.28/41.38	c 23.3s |       9 |    13806 |     9906 |   221197      0 |    18489 |    24778
42.99/43.02	c 24.9s |       9 |    14543 |    10478 |   243317      0 |    18490 |    24779
42.99/43.02	c #cpu_time = 24.919s
42.99/43.02	c #wall_clock_time = 24.919s
42.99/43.02	c #decision = 14543
42.99/43.02	c #random_decision = 3
42.99/43.02	c #conflict = 10478
42.99/43.02	c #restart = 9
42.99/43.02	c BCD2: updating lower bound of a core
42.99/43.02	c lower bound updated to 96
42.99/43.02	c BCD2: 96 <= obj <= 299
42.99/43.02	c BCD2: #cores=1, #unrelaxed=89, #relaxed=210, #hardened=1
42.99/43.02	c BCD2: #sat=1 #unsat=8 bias=8/9
44.29/44.39	c Solving starts ...
44.29/44.39	c ============================[ Search Statistics ]============================
44.29/44.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
44.29/44.39	c       |         |          |          |    Limit     GC | Var      | Constra 
44.29/44.39	c =============================================================================
44.29/44.40	c  0.0s |       0 |        0 |        0 |   243317      0 |    18490 |    24779
44.89/44.96	c  0.6s |       1 |      175 |      100 |   243317      0 |    18490 |    24779
45.49/45.58	c  1.2s |       2 |      411 |      250 |   243317      0 |    18490 |    24779
46.30/46.34	c  1.9s |       3 |      796 |      475 |   243317      0 |    18490 |    24779
47.29/47.36	c  3.0s |       4 |     1312 |      813 |   243317      0 |    18490 |    24779
48.69/48.77	c  4.4s |       5 |     2077 |     1320 |   243317      0 |    18490 |    24779
50.69/50.79	c  6.4s |       5 |     2889 |     1920 |   243317      0 |    18490 |    24779
51.19/51.20	c  6.8s |       6 |     3104 |     2081 |   243317      0 |    18490 |    24779
53.29/53.36	c  9.0s |       6 |     4107 |     2781 |   243317      0 |    18490 |    24779
54.49/54.57	c 10.2s |       7 |     4809 |     3223 |   243317      0 |    18490 |    24779
56.49/56.58	c 12.2s |       7 |     5547 |     3723 |   243317      0 |    18490 |    24779
58.69/58.72	c 14.3s |       7 |     6542 |     4423 |   243317      0 |    18490 |    24779
60.09/60.16	c 15.8s |       8 |     7273 |     4936 |   243317      0 |    18490 |    24779
62.19/62.28	c 17.9s |       8 |     8384 |     5636 |   267649      0 |    18490 |    24779
64.39/64.40	c 20.0s |       8 |     9528 |     6436 |   267649      0 |    18490 |    24779
66.58/66.61	c 22.2s |       8 |    10633 |     7236 |   267649      0 |    18490 |    24779
67.28/67.40	c 23.0s |       9 |    10995 |     7506 |   267649      0 |    18490 |    24779
69.58/69.63	c 25.2s |       9 |    12066 |     8206 |   267649      0 |    18490 |    24779
71.68/71.77	c 27.4s |       9 |    13207 |     9006 |   267649      0 |    18490 |    24779
73.79/73.89	c 29.5s |       9 |    14472 |     9906 |   267649      0 |    18490 |    24779
76.08/76.14	c 31.7s |       9 |    15730 |    10906 |   267649      0 |    18490 |    24779
77.28/77.35	c 33.0s |      10 |    16356 |    11361 |   267649      0 |    18490 |    24779
79.38/79.41	c 35.0s |      10 |    17216 |    11961 |   267649      0 |    18490 |    24779
81.49/81.59	c 37.2s |      10 |    18237 |    12661 |   267649      0 |    18490 |    24779
83.78/83.82	c 39.4s |      10 |    19275 |    13461 |   267649      0 |    18490 |    24779
85.79/85.83	c 41.4s |      10 |    20243 |    14161 |   294414      0 |    18490 |    24779
87.88/87.98	c 43.6s |      10 |    21353 |    14961 |   294414      0 |    18490 |    24779
89.98/90.03	c 45.6s |      10 |    22196 |    15661 |   294414      0 |    18490 |    24779
91.98/92.08	c 47.7s |      10 |    23095 |    16361 |   294414      0 |    18490 |    24779
93.98/94.09	c 49.7s |      10 |    24065 |    17061 |   294414      0 |    18490 |    24779
94.28/94.34	c 49.9s |      11 |    24185 |    17144 |   294414      0 |    18490 |    24779
96.58/96.63	c 52.2s |      11 |    25114 |    17744 |   294414      0 |    18490 |    24779
98.78/98.83	c 54.4s |      11 |    26091 |    18444 |   294414      0 |    18490 |    24779
100.98/101.08	c 56.7s |      11 |    27041 |    19144 |   294414      0 |    18490 |    24779
103.08/103.14	c 58.7s |      11 |    27891 |    19744 |   294414      0 |    18490 |    24779
105.18/105.25	c 60.9s |      11 |    28765 |    20344 |   294414      0 |    18490 |    24779
107.48/107.52	c 63.1s |      11 |    29584 |    20944 |   294414      0 |    18490 |    24779
109.68/109.76	c 65.4s |      11 |    30615 |    21644 |   294414      0 |    18490 |    24779
111.78/111.89	c 67.5s |      11 |    31808 |    22444 |   294414      0 |    18490 |    24779
114.08/114.16	c 69.8s |      11 |    32872 |    23244 |   294414      0 |    18490 |    24779
116.38/116.48	c 72.1s |      11 |    33655 |    23844 |   294414      0 |    18490 |    24779
118.58/118.63	c 74.2s |      11 |    34332 |    24344 |   294414      0 |    18490 |    24779
120.88/120.98	c 76.6s |      11 |    35227 |    24944 |   294414      0 |    18490 |    24779
123.08/123.13	c 78.7s |      11 |    35990 |    25544 |   294414      0 |    18490 |    24779
123.78/123.88	c 79.5s |      12 |    36344 |    25819 |   294414      0 |    18490 |    24779
125.98/126.03	c 81.6s |      12 |    36987 |    26319 |   294414      0 |    18490 |    24779
128.28/128.34	c 83.9s |      12 |    37839 |    27019 |   323856      0 |    18490 |    24779
130.48/130.51	c 86.1s |      12 |    38558 |    27619 |   323856      0 |    18490 |    24779
132.77/132.88	c 88.5s |      12 |    39334 |    28219 |   323856      0 |    18490 |    24779
135.17/135.24	c 90.8s |      12 |    40152 |    28819 |   323856      0 |    18490 |    24779
137.37/137.48	c 93.1s |      12 |    40977 |    29419 |   323856      0 |    18490 |    24779
139.68/139.73	c 95.3s |      12 |    41763 |    30019 |   323856      0 |    18490 |    24779
141.98/142.01	c 97.6s |      12 |    42550 |    30619 |   323856      0 |    18490 |    24779
144.08/144.17	c 99.8s |      12 |    43614 |    31319 |   323856      0 |    18490 |    24779
146.28/146.33	c  101s |      12 |    44370 |    31919 |   323856      0 |    18490 |    24779
148.48/148.54	c  104s |      12 |    45236 |    32519 |   323856      0 |    18490 |    24779
150.68/150.78	c  106s |      12 |    45882 |    33019 |   323856      0 |    18490 |    24779
152.77/152.84	c  108s |      12 |    46680 |    33619 |   323856      0 |    18490 |    24779
154.87/154.99	c  110s |      12 |    47365 |    34119 |   323856      0 |    18490 |    24779
157.07/157.19	c  112s |      12 |    48072 |    34619 |   323856      0 |    18490 |    24779
159.48/159.56	c  115s |      12 |    48763 |    35219 |   323856      0 |    18490 |    24779
161.78/161.85	c  117s |      12 |    49472 |    35819 |   323856      0 |    18490 |    24779
163.98/164.08	c  119s |      12 |    50285 |    36419 |   323856      0 |    18490 |    24779
166.37/166.42	c  122s |      12 |    50987 |    37019 |   323856      0 |    18490 |    24779
168.67/168.79	c  124s |      12 |    51685 |    37619 |   323856      0 |    18490 |    24779
171.07/171.12	c  126s |      12 |    52390 |    38219 |   323856      0 |    18490 |    24779
173.37/173.43	c  129s |      12 |    53117 |    38819 |   323856      0 |    18490 |    24779
173.47/173.51	c  129s |      13 |    53130 |    38832 |   323856      0 |    18490 |    24779
175.67/175.70	c  131s |      13 |    53713 |    39232 |   323856      0 |    18490 |    24779
177.77/177.82	c  133s |      13 |    54387 |    39732 |   323856      0 |    18490 |    24779
180.07/180.11	c  135s |      13 |    55150 |    40332 |   323856      0 |    18490 |    24779
182.17/182.21	c  137s |      13 |    55815 |    40832 |   323856      0 |    18490 |    24779
184.37/184.41	c  140s |      13 |    56481 |    41332 |   323856      0 |    18490 |    24779
186.67/186.75	c  142s |      13 |    57142 |    41832 |   323856      0 |    18490 |    24779
188.87/188.92	c  144s |      13 |    57800 |    42332 |   323856      0 |    18490 |    24779
190.97/191.04	c  146s |      13 |    58472 |    42832 |   323856      0 |    18490 |    24779
193.27/193.32	c  148s |      13 |    59081 |    43332 |   323856      0 |    18490 |    24779
195.47/195.58	c  151s |      13 |    59731 |    43832 |   323856      0 |    18490 |    24779
197.57/197.63	c  153s |      13 |    60379 |    44332 |   323856      0 |    18490 |    24779
199.56/199.66	c  155s |      13 |    61037 |    44832 |   323856      0 |    18490 |    24779
201.56/201.67	c  157s |      13 |    61678 |    45332 |   323856      0 |    18490 |    24779
203.86/203.91	c  159s |      13 |    62328 |    45832 |   323856      0 |    18490 |    24779
206.16/206.21	c  161s |      13 |    62969 |    46332 |   356242      0 |    18490 |    24779
208.36/208.41	c  164s |      13 |    63633 |    46832 |   356242      0 |    18490 |    24779
210.36/210.43	c  166s |      13 |    64167 |    47232 |   356242      0 |    18490 |    24779
212.46/212.55	c  168s |      13 |    64699 |    47632 |   356242      0 |    18490 |    24779
214.66/214.72	c  170s |      13 |    65415 |    48132 |   356242      0 |    18490 |    24779
216.77/216.86	c  172s |      13 |    66134 |    48632 |   356242      0 |    18490 |    24779
218.76/218.87	c  174s |      13 |    66799 |    49132 |   356242      0 |    18490 |    24779
220.96/221.09	c  176s |      13 |    67428 |    49632 |   356242      0 |    18490 |    24779
223.16/223.28	c  178s |      13 |    68096 |    50132 |   356242      0 |    18490 |    24779
225.47/225.56	c  181s |      13 |    68761 |    50632 |   356242      0 |    18490 |    24779
227.96/228.00	c  183s |      13 |    69367 |    51132 |   356242      0 |    18490 |    24779
230.26/230.31	c  185s |      13 |    69965 |    51632 |   356242      0 |    18490 |    24779
232.36/232.40	c  188s |      13 |    70468 |    52032 |   356242      0 |    18490 |    24779
234.46/234.51	c  190s |      13 |    70973 |    52432 |   356242      0 |    18490 |    24779
236.47/236.53	c  192s |      13 |    71456 |    52832 |   356242      0 |    18490 |    24779
238.46/238.58	c  194s |      13 |    72002 |    53232 |   356242      0 |    18490 |    24779
240.56/240.66	c  196s |      13 |    72800 |    53732 |   356242      0 |    18490 |    24779
242.76/242.86	c  198s |      13 |    73759 |    54432 |   356242      0 |    18490 |    24779
245.26/245.34	c  200s |      13 |    74479 |    54932 |   356242      0 |    18490 |    24779
247.46/247.56	c  203s |      13 |    75356 |    55632 |   356242      0 |    18490 |    24779
249.76/249.82	c  205s |      13 |    75825 |    56032 |   356242      0 |    18490 |    24779
252.06/252.10	c  207s |      13 |    76358 |    56432 |   356242      0 |    18490 |    24779
254.26/254.33	c  209s |      13 |    77062 |    56932 |   356242      0 |    18490 |    24779
256.46/256.57	c  212s |      13 |    77713 |    57432 |   356242      0 |    18490 |    24779
258.56/258.62	c  214s |      13 |    78292 |    57832 |   356242      0 |    18490 |    24779
260.66/260.73	c  216s |      13 |    78783 |    58232 |   356242      0 |    18490 |    24779
261.46/261.53	c  217s |      14 |    78936 |    58352 |   356242      0 |    18490 |    24779
263.96/264.02	c  219s |      14 |    79357 |    58652 |   356242      0 |    18490 |    24779
266.35/266.40	c  222s |      14 |    79851 |    59052 |   356242      0 |    18490 |    24779
268.75/268.86	c  224s |      14 |    80574 |    59552 |   356242      0 |    18490 |    24779
270.95/271.00	c  226s |      14 |    81073 |    59952 |   356242      0 |    18490 |    24779
273.05/273.14	c  228s |      14 |    81649 |    60352 |   356242      0 |    18490 |    24779
275.45/275.58	c  231s |      14 |    82131 |    60752 |   356242      0 |    18490 |    24779
277.85/277.97	c  233s |      14 |    82609 |    61152 |   356242      0 |    18490 |    24779
280.35/280.43	c  236s |      14 |    83098 |    61552 |   356242      0 |    18490 |    24779
282.76/282.85	c  238s |      14 |    83610 |    61952 |   356242      0 |    18490 |    24779
285.15/285.20	c  240s |      14 |    84152 |    62352 |   356242      0 |    18490 |    24779
287.16/287.21	c  242s |      14 |    84639 |    62752 |   356242      0 |    18490 |    24779
289.15/289.26	c  244s |      14 |    85194 |    63152 |   356242      0 |    18490 |    24779
291.35/291.45	c  247s |      14 |    85692 |    63552 |   356242      0 |    18490 |    24779
293.76/293.88	c  249s |      14 |    86216 |    63952 |   356242      0 |    18490 |    24779
295.75/295.89	c  251s |      14 |    86616 |    64252 |   356242      0 |    18490 |    24779
298.25/298.37	c  253s |      14 |    87163 |    64652 |   356242      0 |    18490 |    24779
300.65/300.71	c  256s |      14 |    87698 |    65052 |   356242      0 |    18490 |    24779
302.75/302.86	c  258s |      14 |    88233 |    65452 |   356242      0 |    18490 |    24779
304.85/304.90	c  260s |      14 |    88711 |    65852 |   356242      0 |    18490 |    24779
306.95/307.02	c  262s |      14 |    89189 |    66252 |   356242      0 |    18490 |    24779
309.15/309.29	c  264s |      14 |    89743 |    66652 |   356242      0 |    18490 |    24779
311.55/311.65	c  267s |      14 |    90257 |    67052 |   356242      0 |    18490 |    24779
313.95/314.02	c  269s |      14 |    90772 |    67452 |   356242      0 |    18490 |    24779
316.35/316.40	c  272s |      14 |    91247 |    67852 |   356242      0 |    18490 |    24779
318.75/318.86	c  274s |      14 |    91736 |    68252 |   356242      0 |    18490 |    24779
321.45/321.51	c  277s |      14 |    92258 |    68652 |   356242      0 |    18490 |    24779
323.74/323.86	c  279s |      14 |    92791 |    69052 |   356242      0 |    18490 |    24779
326.04/326.18	c  281s |      14 |    93341 |    69452 |   356242      0 |    18490 |    24779
328.04/328.19	c  283s |      14 |    93763 |    69752 |   356242      0 |    18490 |    24779
330.54/330.60	c  286s |      14 |    94275 |    70152 |   356242      0 |    18490 |    24779
332.54/332.61	c  288s |      14 |    94652 |    70452 |   356242      0 |    18490 |    24779
334.74/334.85	c  290s |      14 |    95170 |    70852 |   356242      0 |    18490 |    24779
337.24/337.35	c  292s |      14 |    95705 |    71252 |   356242      0 |    18490 |    24779
339.74/339.90	c  295s |      14 |    96210 |    71652 |   356242      0 |    18490 |    24779
342.15/342.22	c  297s |      14 |    96714 |    72052 |   356242      0 |    18490 |    24779
344.64/344.70	c  300s |      14 |    97284 |    72452 |   356242      0 |    18490 |    24779
346.74/346.85	c  302s |      14 |    97957 |    72952 |   356242      0 |    18490 |    24779
349.34/349.44	c  305s |      14 |    98813 |    73552 |   356242      0 |    18490 |    24779
351.84/351.96	c  307s |      14 |    99325 |    73952 |   356242      0 |    18490 |    24779
354.04/354.18	c  309s |      14 |    99833 |    74352 |   356242      0 |    18490 |    24779
356.64/356.73	c  312s |      14 |   100343 |    74752 |   356242      0 |    18490 |    24779
359.04/359.12	c  314s |      14 |   100872 |    75152 |   356242      0 |    18490 |    24779
361.44/361.59	c  317s |      14 |   101410 |    75552 |   391867      0 |    18490 |    24779
364.05/364.14	c  319s |      14 |   101935 |    75952 |   391867      0 |    18490 |    24779
366.35/366.48	c  322s |      14 |   102446 |    76352 |   391867      0 |    18490 |    24779
368.45/368.60	c  324s |      14 |   102798 |    76652 |   391867      0 |    18490 |    24779
371.14/371.22	c  326s |      14 |   103345 |    77052 |   391867      0 |    18490 |    24779
373.44/373.54	c  329s |      14 |   103711 |    77352 |   391867      0 |    18490 |    24779
376.04/376.14	c  331s |      14 |   104247 |    77752 |   391867      0 |    18490 |    24779
378.44/378.51	c  334s |      14 |   104811 |    78152 |   391867      0 |    18490 |    24779
380.44/380.58	c  336s |      14 |   105207 |    78452 |   391867      0 |    18490 |    24779
382.74/382.83	c  338s |      14 |   105740 |    78852 |   391867      0 |    18490 |    24779
385.04/385.18	c  340s |      14 |   106267 |    79252 |   391867      0 |    18490 |    24779
387.14/387.30	c  342s |      14 |   106664 |    79552 |   391867      0 |    18490 |    24779
389.34/389.47	c  345s |      14 |   107077 |    79852 |   391867      0 |    18490 |    24779
391.83/391.95	c  347s |      14 |   107589 |    80252 |   391867      0 |    18490 |    24779
394.33/394.46	c  350s |      14 |   108124 |    80652 |   391867      0 |    18490 |    24779
396.43/396.54	c  352s |      14 |   108492 |    80952 |   391867      0 |    18490 |    24779
398.53/398.68	c  354s |      14 |   108839 |    81252 |   391867      0 |    18490 |    24779
401.13/401.22	c  356s |      14 |   109401 |    81652 |   391867      0 |    18490 |    24779
403.23/403.33	c  358s |      14 |   109777 |    81952 |   391867      0 |    18490 |    24779
405.43/405.59	c  361s |      14 |   110202 |    82252 |   391867      0 |    18490 |    24779
408.04/408.13	c  363s |      14 |   110559 |    82552 |   391867      0 |    18490 |    24779
410.63/410.73	c  366s |      14 |   111092 |    82952 |   391867      0 |    18490 |    24779
412.93/413.00	c  368s |      14 |   111460 |    83252 |   391867      0 |    18490 |    24779
415.53/415.68	c  371s |      14 |   111957 |    83652 |   391867      0 |    18490 |    24779
417.73/417.83	c  373s |      14 |   112383 |    83952 |   391867      0 |    18490 |    24779
419.93/420.06	c  375s |      14 |   112746 |    84252 |   391867      0 |    18490 |    24779
422.03/422.14	c  377s |      14 |   113137 |    84552 |   391867      0 |    18490 |    24779
424.63/424.71	c  380s |      14 |   113652 |    84952 |   391867      0 |    18490 |    24779
426.93/427.01	c  382s |      14 |   114043 |    85252 |   391867      0 |    18490 |    24779
429.13/429.22	c  384s |      14 |   114382 |    85552 |   391867      0 |    18490 |    24779
431.42/431.51	c  387s |      14 |   114766 |    85852 |   391867      0 |    18490 |    24779
433.62/433.76	c  389s |      14 |   115144 |    86152 |   391867      0 |    18490 |    24779
435.92/436.07	c  391s |      14 |   115533 |    86452 |   391867      0 |    18490 |    24779
438.02/438.17	c  393s |      14 |   115925 |    86752 |   391867      0 |    18490 |    24779
440.72/440.84	c  396s |      14 |   116472 |    87152 |   391867      0 |    18490 |    24779
442.82/442.91	c  398s |      14 |   116857 |    87452 |   391867      0 |    18490 |    24779
444.22/444.32	c  399s |      15 |   117070 |    87632 |   391867      0 |    18490 |    24779
446.62/446.71	c  402s |      15 |   117351 |    87832 |   391867      0 |    18490 |    24779
449.02/449.19	c  404s |      15 |   117841 |    88232 |   391867      0 |    18490 |    24779
451.51/451.66	c  407s |      15 |   118363 |    88632 |   391867      0 |    18490 |    24779
453.61/453.71	c  409s |      15 |   118799 |    88932 |   391867      0 |    18490 |    24779
455.71/455.83	c  411s |      15 |   119153 |    89232 |   391867      0 |    18490 |    24779
457.91/458.07	c  413s |      15 |   119705 |    89632 |   391867      0 |    18490 |    24779
460.31/460.45	c  416s |      15 |   120258 |    90032 |   391867      0 |    18490 |    24779
462.41/462.54	c  418s |      15 |   120846 |    90432 |   391867      0 |    18490 |    24779
464.91/465.05	c  420s |      15 |   121355 |    90832 |   391867      0 |    18490 |    24779
467.21/467.31	c  422s |      15 |   122120 |    91332 |   391867      0 |    18490 |    24779
469.41/469.55	c  425s |      15 |   122645 |    91732 |   391867      0 |    18490 |    24779
471.70/471.87	c  427s |      15 |   123398 |    92232 |   391867      0 |    18490 |    24779
474.01/474.14	c  429s |      15 |   123923 |    92632 |   391867      0 |    18490 |    24779
476.10/476.21	c  431s |      15 |   124509 |    93032 |   391867      0 |    18490 |    24779
478.60/478.77	c  434s |      15 |   125260 |    93532 |   391867      0 |    18490 |    24779
481.00/481.13	c  436s |      15 |   125813 |    93932 |   391867      0 |    18490 |    24779
483.50/483.68	c  439s |      15 |   126309 |    94332 |   391867      0 |    18490 |    24779
485.80/485.91	c  441s |      15 |   126873 |    94732 |   391867      0 |    18490 |    24779
488.20/488.37	c  443s |      15 |   127589 |    95232 |   391867      0 |    18490 |    24779
490.70/490.80	c  446s |      15 |   128098 |    95632 |   391867      0 |    18490 |    24779
492.90/493.03	c  448s |      15 |   128666 |    96032 |   391867      0 |    18490 |    24779
494.90/495.09	c  450s |      15 |   129028 |    96332 |   391867      0 |    18490 |    24779
496.99/497.16	c  452s |      15 |   129413 |    96632 |   391867      0 |    18490 |    24779
499.09/499.23	c  454s |      15 |   129822 |    96932 |   391867      0 |    18490 |    24779
501.69/501.86	c  457s |      15 |   130336 |    97332 |   391867      0 |    18490 |    24779
504.19/504.33	c  459s |      15 |   130873 |    97732 |   391867      0 |    18490 |    24779
506.59/506.78	c  462s |      15 |   131346 |    98132 |   391867      0 |    18490 |    24779
509.09/509.27	c  464s |      15 |   131873 |    98532 |   391867      0 |    18490 |    24779
511.49/511.61	c  467s |      15 |   132430 |    98932 |   391867      0 |    18490 |    24779
513.98/514.14	c  469s |      15 |   132936 |    99332 |   391867      0 |    18490 |    24779
516.08/516.21	c  471s |      15 |   133304 |    99632 |   391867      0 |    18490 |    24779
518.09/518.26	c  473s |      15 |   133668 |    99932 |   391867      0 |    18490 |    24779
520.48/520.61	c  476s |      15 |   134015 |   100232 |   391867      0 |    18490 |    24779
522.98/523.19	c  478s |      15 |   134499 |   100632 |   391867      0 |    18490 |    24779
525.48/525.61	c  481s |      15 |   134843 |   100932 |   391867      0 |    18490 |    24779
527.98/528.15	c  483s |      15 |   135261 |   101232 |   391867      0 |    18490 |    24779
530.08/530.21	c  485s |      15 |   135662 |   101532 |   391867      0 |    18490 |    24779
532.67/532.85	c  488s |      15 |   136077 |   101832 |   391867      0 |    18490 |    24779
535.27/535.45	c  491s |      15 |   136603 |   102232 |   391867      0 |    18490 |    24779
537.37/537.51	c  493s |      15 |   136970 |   102532 |   391867      0 |    18490 |    24779
539.37/539.55	c  495s |      15 |   137312 |   102832 |   391867      0 |    18490 |    24779
541.97/542.14	c  497s |      15 |   137827 |   103232 |   391867      0 |    18490 |    24779
544.27/544.49	c  500s |      15 |   138312 |   103632 |   391867      0 |    18490 |    24779
546.46/546.62	c  502s |      15 |   138695 |   103932 |   391867      0 |    18490 |    24779
548.96/549.16	c  504s |      15 |   139208 |   104332 |   391867      0 |    18490 |    24779
551.66/551.87	c  507s |      15 |   139693 |   104732 |   391867      0 |    18490 |    24779
553.76/553.95	c  509s |      15 |   140068 |   105032 |   391867      0 |    18490 |    24779
556.06/556.25	c  511s |      15 |   140572 |   105432 |   391867      0 |    18490 |    24779
558.36/558.55	c  514s |      15 |   140955 |   105732 |   391867      0 |    18490 |    24779
560.75/560.94	c  516s |      15 |   141332 |   106032 |   391867      0 |    18490 |    24779
562.95/563.19	c  518s |      15 |   141703 |   106332 |   391867      0 |    18490 |    24779
565.15/565.32	c  520s |      15 |   142068 |   106632 |   391867      0 |    18490 |    24779
567.46/567.63	c  523s |      15 |   142460 |   106932 |   391867      0 |    18490 |    24779
569.85/570.00	c  525s |      15 |   142831 |   107232 |   391867      0 |    18490 |    24779
572.55/572.70	c  528s |      15 |   143329 |   107632 |   391867      0 |    18490 |    24779
575.15/575.31	c  530s |      15 |   143839 |   108032 |   391867      0 |    18490 |    24779
577.15/577.37	c  532s |      15 |   144207 |   108332 |   391867      0 |    18490 |    24779
579.15/579.39	c  534s |      15 |   144591 |   108632 |   391867      0 |    18490 |    24779
581.24/581.41	c  537s |      15 |   144983 |   108932 |   391867      0 |    18490 |    24779
583.95/584.14	c  539s |      15 |   145460 |   109332 |   391867      0 |    18490 |    24779
586.64/586.89	c  542s |      15 |   145961 |   109732 |   391867      0 |    18490 |    24779
588.74/588.94	c  544s |      15 |   146337 |   110032 |   391867      0 |    18490 |    24779
591.53/591.72	c  547s |      15 |   146824 |   110432 |   391867      0 |    18490 |    24779
593.63/593.80	c  549s |      15 |   147157 |   110732 |   391867      0 |    18490 |    24779
596.33/596.53	c  552s |      15 |   147639 |   111132 |   391867      0 |    18490 |    24779
598.43/598.68	c  554s |      15 |   148011 |   111432 |   391867      0 |    18490 |    24779
600.73/600.96	c  556s |      15 |   148377 |   111732 |   391867      0 |    18490 |    24779
602.83/603.03	c  558s |      15 |   148736 |   112032 |   391867      0 |    18490 |    24779
605.13/605.30	c  560s |      15 |   149095 |   112332 |   391867      0 |    18490 |    24779
607.33/607.55	c  563s |      15 |   149457 |   112632 |   391867      0 |    18490 |    24779
609.73/609.92	c  565s |      15 |   149785 |   112932 |   391867      0 |    18490 |    24779
612.02/612.26	c  567s |      15 |   150136 |   113232 |   391867      0 |    18490 |    24779
614.22/614.45	c  570s |      15 |   150521 |   113532 |   391867      0 |    18490 |    24779
616.42/616.62	c  572s |      15 |   150915 |   113832 |   391867      0 |    18490 |    24779
618.62/618.87	c  574s |      15 |   151284 |   114132 |   391867      0 |    18490 |    24779
621.51/621.74	c  577s |      15 |   151647 |   114432 |   391867      0 |    18490 |    24779
624.21/624.41	c  580s |      15 |   152039 |   114732 |   391867      0 |    18490 |    24779
626.92/627.11	c  582s |      15 |   152416 |   115032 |   391867      0 |    18490 |    24779
629.21/629.45	c  585s |      15 |   152838 |   115332 |   391867      0 |    18490 |    24779
631.41/631.61	c  587s |      15 |   153286 |   115632 |   391867      0 |    18490 |    24779
633.71/633.98	c  589s |      15 |   153657 |   115932 |   391867      0 |    18490 |    24779
636.11/636.35	c  591s |      15 |   154035 |   116232 |   391867      0 |    18490 |    24779
638.61/638.82	c  594s |      15 |   154386 |   116532 |   391867      0 |    18490 |    24779
641.21/641.45	c  597s |      15 |   154735 |   116832 |   391867      0 |    18490 |    24779
643.70/643.92	c  599s |      15 |   155143 |   117132 |   391867      0 |    18490 |    24779
646.40/646.60	c  602s |      15 |   155506 |   117432 |   391867      0 |    18490 |    24779
649.10/649.38	c  604s |      15 |   155876 |   117732 |   391867      0 |    18490 |    24779
651.89/652.10	c  607s |      15 |   156257 |   118032 |   391867      0 |    18490 |    24779
654.40/654.63	c  610s |      15 |   156644 |   118332 |   391867      0 |    18490 |    24779
657.19/657.48	c  613s |      15 |   157025 |   118632 |   391867      0 |    18490 |    24779
659.29/659.54	c  615s |      15 |   157281 |   118832 |   391867      0 |    18490 |    24779
661.99/662.23	c  617s |      15 |   157681 |   119132 |   431054      0 |    18490 |    24779
664.69/664.93	c  620s |      15 |   158085 |   119432 |   431054      0 |    18490 |    24779
667.09/667.39	c  622s |      15 |   158483 |   119732 |   431054      0 |    18490 |    24779
670.08/670.31	c  625s |      15 |   159019 |   120132 |   431054      0 |    18490 |    24779
672.18/672.43	c  628s |      15 |   159291 |   120332 |   431054      0 |    18490 |    24779
674.48/674.78	c  630s |      15 |   159656 |   120632 |   431054      0 |    18490 |    24779
676.88/677.10	c  632s |      15 |   160046 |   120932 |   431054      0 |    18490 |    24779
679.38/679.67	c  635s |      15 |   160558 |   121332 |   431054      0 |    18490 |    24779
681.97/682.22	c  637s |      15 |   160905 |   121632 |   431054      0 |    18490 |    24779
684.87/685.14	c  640s |      15 |   161300 |   121932 |   431054      0 |    18490 |    24779
686.87/687.19	c  642s |      15 |   161542 |   122132 |   431054      0 |    18490 |    24779
689.67/689.90	c  645s |      15 |   161938 |   122432 |   431054      0 |    18490 |    24779
692.16/692.43	c  648s |      15 |   162344 |   122732 |   431054      0 |    18490 |    24779
694.66/694.92	c  650s |      15 |   162682 |   123032 |   431054      0 |    18490 |    24779
697.06/697.38	c  652s |      15 |   163043 |   123332 |   431054      0 |    18490 |    24779
699.76/700.04	c  655s |      15 |   163430 |   123632 |   431054      0 |    18490 |    24779
702.46/702.77	c  658s |      15 |   163812 |   123932 |   431054      0 |    18490 |    24779
705.36/705.61	c  661s |      15 |   164185 |   124232 |   431054      0 |    18490 |    24779
707.36/707.68	c  663s |      15 |   164428 |   124432 |   431054      0 |    18490 |    24779
709.56/709.88	c  665s |      15 |   164680 |   124632 |   431054      0 |    18490 |    24779
711.85/712.10	c  667s |      15 |   164919 |   124832 |   431054      0 |    18490 |    24779
714.55/714.88	c  670s |      15 |   165312 |   125132 |   431054      0 |    18490 |    24779
717.15/717.41	c  673s |      15 |   165666 |   125432 |   431054      0 |    18490 |    24779
720.15/720.47	c  676s |      15 |   166046 |   125732 |   431054      0 |    18490 |    24779
722.25/722.59	c  678s |      15 |   166282 |   125932 |   431054      0 |    18490 |    24779
724.34/724.63	c  680s |      15 |   166535 |   126132 |   431054      0 |    18490 |    24779
727.04/727.39	c  682s |      15 |   166912 |   126432 |   431054      0 |    18490 |    24779
729.74/730.04	c  685s |      15 |   167344 |   126732 |   431054      0 |    18490 |    24779
732.44/732.77	c  688s |      15 |   167718 |   127032 |   431054      0 |    18490 |    24779
734.54/734.82	c  690s |      15 |   167938 |   127232 |   431054      0 |    18490 |    24779
736.64/736.90	c  692s |      15 |   168184 |   127432 |   431054      0 |    18490 |    24779
738.74/739.08	c  694s |      15 |   168430 |   127632 |   431054      0 |    18490 |    24779
741.14/741.42	c  697s |      15 |   168663 |   127832 |   431054      0 |    18490 |    24779
743.23/743.60	c  699s |      15 |   168914 |   128032 |   431054      0 |    18490 |    24779
745.33/745.68	c  701s |      15 |   169165 |   128232 |   431054      0 |    18490 |    24779
748.23/748.59	c  704s |      15 |   169533 |   128532 |   431054      0 |    18490 |    24779
751.22/751.53	c  707s |      15 |   169869 |   128832 |   431054      0 |    18490 |    24779
754.02/754.31	c  709s |      15 |   170297 |   129132 |   431054      0 |    18490 |    24779
756.12/756.43	c  712s |      15 |   170541 |   129332 |   431054      0 |    18490 |    24779
759.02/759.30	c  714s |      15 |   170898 |   129632 |   431054      0 |    18490 |    24779
761.12/761.42	c  717s |      15 |   171151 |   129832 |   431054      0 |    18490 |    24779
763.92/764.25	c  719s |      15 |   171517 |   130132 |   431054      0 |    18490 |    24779
766.92/767.21	c  722s |      15 |   171914 |   130432 |   431054      0 |    18490 |    24779
769.72/770.01	c  725s |      15 |   172300 |   130732 |   431054      0 |    18490 |    24779
772.31/772.61	c  728s |      15 |   172677 |   131032 |   431054      0 |    18490 |    24779
774.81/775.10	c  730s |      15 |   173054 |   131332 |   431054      0 |    18490 |    24779
776.51/776.89	c  732s |      16 |   173308 |   131552 |   431054      0 |    18490 |    24779
778.91/779.29	c  734s |      16 |   173503 |   131652 |   431054      0 |    18490 |    24779
781.52/781.82	c  737s |      16 |   173836 |   131952 |   431054      0 |    18490 |    24779
784.21/784.53	c  740s |      16 |   174209 |   132252 |   431054      0 |    18490 |    24779
786.81/787.17	c  742s |      16 |   174606 |   132552 |   431054      0 |    18490 |    24779
789.62/789.98	c  745s |      16 |   174985 |   132852 |   431054      0 |    18490 |    24779
792.41/792.77	c  748s |      16 |   175348 |   133152 |   431054      0 |    18490 |    24779
794.71/795.09	c  750s |      16 |   175585 |   133352 |   431054      0 |    18490 |    24779
797.71/798.04	c  753s |      16 |   175953 |   133652 |   431054      0 |    18490 |    24779
800.40/800.70	c  756s |      16 |   176354 |   133952 |   431054      0 |    18490 |    24779
803.10/803.47	c  759s |      16 |   176700 |   134252 |   431054      0 |    18490 |    24779
806.01/806.31	c  761s |      16 |   177061 |   134552 |   431054      0 |    18490 |    24779
808.80/809.13	c  764s |      16 |   177432 |   134852 |   431054      0 |    18490 |    24779
811.30/811.64	c  767s |      16 |   177795 |   135152 |   431054      0 |    18490 |    24779
813.30/813.69	c  769s |      16 |   178044 |   135352 |   431054      0 |    18490 |    24779
815.80/816.10	c  771s |      16 |   178311 |   135552 |   431054      0 |    18490 |    24779
818.30/818.60	c  774s |      16 |   178704 |   135852 |   431054      0 |    18490 |    24779
820.99/821.39	c  776s |      16 |   179085 |   136152 |   431054      0 |    18490 |    24779
823.09/823.41	c  779s |      16 |   179357 |   136352 |   431054      0 |    18490 |    24779
825.69/826.00	c  781s |      16 |   179758 |   136652 |   431054      0 |    18490 |    24779
828.49/828.82	c  784s |      16 |   180161 |   136952 |   431054      0 |    18490 |    24779
831.09/831.49	c  787s |      16 |   180587 |   137252 |   431054      0 |    18490 |    24779
833.79/834.18	c  789s |      16 |   180974 |   137552 |   431054      0 |    18490 |    24779
835.99/836.31	c  791s |      16 |   181246 |   137752 |   431054      0 |    18490 |    24779
838.69/839.06	c  794s |      16 |   181622 |   138052 |   431054      0 |    18490 |    24779
841.19/841.60	c  797s |      16 |   182024 |   138352 |   431054      0 |    18490 |    24779
843.68/844.07	c  799s |      16 |   182274 |   138552 |   431054      0 |    18490 |    24779
846.48/846.87	c  802s |      16 |   182656 |   138852 |   431054      0 |    18490 |    24779
849.28/849.69	c  805s |      16 |   183008 |   139152 |   431054      0 |    18490 |    24779
851.38/851.79	c  807s |      16 |   183249 |   139352 |   431054      0 |    18490 |    24779
853.38/853.79	c  809s |      16 |   183546 |   139552 |   431054      0 |    18490 |    24779
856.08/856.41	c  812s |      16 |   183923 |   139852 |   431054      0 |    18490 |    24779
858.98/859.33	c  814s |      16 |   184304 |   140152 |   431054      0 |    18490 |    24779
861.97/862.35	c  817s |      16 |   184702 |   140452 |   431054      0 |    18490 |    24779
864.87/865.20	c  820s |      16 |   185050 |   140752 |   431054      0 |    18490 |    24779
867.68/868.00	c  823s |      16 |   185413 |   141052 |   431054      0 |    18490 |    24779
869.67/870.02	c  825s |      16 |   185669 |   141252 |   431054      0 |    18490 |    24779
871.77/872.19	c  827s |      16 |   185904 |   141452 |   431054      0 |    18490 |    24779
873.97/874.39	c  829s |      16 |   186135 |   141652 |   431054      0 |    18490 |    24779
876.56/876.93	c  832s |      16 |   186545 |   141952 |   431054      0 |    18490 |    24779
879.06/879.43	c  835s |      16 |   186952 |   142252 |   431054      0 |    18490 |    24779
881.76/882.11	c  837s |      16 |   187322 |   142552 |   431054      0 |    18490 |    24779
883.76/884.17	c  839s |      16 |   187583 |   142752 |   431054      0 |    18490 |    24779
886.56/886.96	c  842s |      16 |   187950 |   143052 |   431054      0 |    18490 |    24779
889.26/889.62	c  845s |      16 |   188337 |   143352 |   431054      0 |    18490 |    24779
892.16/892.53	c  848s |      16 |   188676 |   143652 |   431054      0 |    18490 |    24779
894.96/895.33	c  850s |      16 |   189042 |   143952 |   431054      0 |    18490 |    24779
897.76/898.12	c  853s |      16 |   189422 |   144252 |   431054      0 |    18490 |    24779
900.45/900.81	c  856s |      16 |   189783 |   144552 |   431054      0 |    18490 |    24779
903.25/903.65	c  859s |      16 |   190153 |   144852 |   431054      0 |    18490 |    24779
905.95/906.34	c  861s |      16 |   190557 |   145152 |   431054      0 |    18490 |    24779
908.45/908.82	c  864s |      16 |   190906 |   145452 |   431054      0 |    18490 |    24779
911.05/911.49	c  867s |      16 |   191267 |   145752 |   431054      0 |    18490 |    24779
914.05/914.41	c  870s |      16 |   191614 |   146052 |   431054      0 |    18490 |    24779
916.05/916.44	c  872s |      16 |   191850 |   146252 |   431054      0 |    18490 |    24779
918.25/918.65	c  874s |      16 |   192081 |   146452 |   431054      0 |    18490 |    24779
921.35/921.73	c  877s |      16 |   192510 |   146752 |   431054      0 |    18490 |    24779
923.44/923.88	c  879s |      16 |   192800 |   146952 |   431054      0 |    18490 |    24779
926.04/926.45	c  882s |      16 |   193180 |   147252 |   431054      0 |    18490 |    24779
928.74/929.20	c  884s |      16 |   193573 |   147552 |   431054      0 |    18490 |    24779
931.54/931.97	c  887s |      16 |   193940 |   147852 |   431054      0 |    18490 |    24779
934.34/934.79	c  890s |      16 |   194342 |   148152 |   431054      0 |    18490 |    24779
937.04/937.43	c  893s |      16 |   194699 |   148452 |   431054      0 |    18490 |    24779
939.44/939.81	c  895s |      16 |   195067 |   148752 |   431054      0 |    18490 |    24779
941.64/942.08	c  897s |      16 |   195310 |   148952 |   431054      0 |    18490 |    24779
943.74/944.13	c  899s |      16 |   195598 |   149152 |   431054      0 |    18490 |    24779
946.54/946.93	c  902s |      16 |   196006 |   149452 |   431054      0 |    18490 |    24779
949.24/949.64	c  905s |      16 |   196364 |   149752 |   431054      0 |    18490 |    24779
951.34/951.74	c  907s |      16 |   196628 |   149952 |   431054      0 |    18490 |    24779
954.24/954.65	c  910s |      16 |   197031 |   150252 |   431054      0 |    18490 |    24779
956.74/957.15	c  912s |      16 |   197412 |   150552 |   431054      0 |    18490 |    24779
958.73/959.18	c  914s |      16 |   197677 |   150752 |   431054      0 |    18490 |    24779
961.83/962.25	c  917s |      16 |   198102 |   151052 |   431054      0 |    18490 |    24779
964.73/965.10	c  920s |      16 |   198492 |   151352 |   431054      0 |    18490 |    24779
967.33/967.75	c  923s |      16 |   198907 |   151652 |   431054      0 |    18490 |    24779
970.23/970.61	c  926s |      16 |   199303 |   151952 |   431054      0 |    18490 |    24779
972.23/972.63	c  928s |      16 |   199564 |   152152 |   431054      0 |    18490 |    24779
974.43/974.84	c  930s |      16 |   199800 |   152352 |   431054      0 |    18490 |    24779
976.53/976.92	c  932s |      16 |   200023 |   152552 |   431054      0 |    18490 |    24779
978.83/979.27	c  934s |      16 |   200286 |   152752 |   431054      0 |    18490 |    24779
981.52/981.97	c  937s |      16 |   200668 |   153052 |   431054      0 |    18490 |    24779
984.42/984.81	c  940s |      16 |   201047 |   153352 |   431054      0 |    18490 |    24779
986.92/987.32	c  942s |      16 |   201308 |   153552 |   431054      0 |    18490 |    24779
989.02/989.43	c  945s |      16 |   201545 |   153752 |   431054      0 |    18490 |    24779
991.22/991.67	c  947s |      16 |   201790 |   153952 |   431054      0 |    18490 |    24779
994.22/994.61	c  950s |      16 |   202044 |   154152 |   431054      0 |    18490 |    24779
996.32/996.72	c  952s |      16 |   202316 |   154352 |   431054      0 |    18490 |    24779
999.12/999.53	c  955s |      16 |   202712 |   154652 |   431054      0 |    18490 |    24779
1001.41/1001.80	c  957s |      16 |   202973 |   154852 |   431054      0 |    18490 |    24779
1004.31/1004.75	c  960s |      16 |   203346 |   155152 |   431054      0 |    18490 |    24779
1006.51/1006.90	c  962s |      16 |   203572 |   155352 |   431054      0 |    18490 |    24779
1008.71/1009.17	c  964s |      16 |   203829 |   155552 |   431054      0 |    18490 |    24779
1011.01/1011.45	c  967s |      16 |   204106 |   155752 |   431054      0 |    18490 |    24779
1013.91/1014.38	c  969s |      16 |   204489 |   156052 |   431054      0 |    18490 |    24779
1016.81/1017.27	c  972s |      16 |   204880 |   156352 |   431054      0 |    18490 |    24779
1018.91/1019.39	c  974s |      16 |   205121 |   156552 |   431054      0 |    18490 |    24779
1021.10/1021.54	c  977s |      16 |   205354 |   156752 |   431054      0 |    18490 |    24779
1023.30/1023.71	c  979s |      16 |   205606 |   156952 |   431054      0 |    18490 |    24779
1025.80/1026.26	c  981s |      16 |   205839 |   157152 |   431054      0 |    18490 |    24779
1028.40/1028.87	c  984s |      16 |   206097 |   157352 |   431054      0 |    18490 |    24779
1031.10/1031.54	c  987s |      16 |   206387 |   157552 |   431054      0 |    18490 |    24779
1033.20/1033.67	c  989s |      16 |   206627 |   157752 |   431054      0 |    18490 |    24779
1035.40/1035.80	c  991s |      16 |   206876 |   157952 |   431054      0 |    18490 |    24779
1037.60/1038.02	c  993s |      16 |   207133 |   158152 |   431054      0 |    18490 |    24779
1040.00/1040.49	c  996s |      16 |   207386 |   158352 |   431054      0 |    18490 |    24779
1042.50/1042.99	c  998s |      16 |   207660 |   158552 |   431054      0 |    18490 |    24779
1045.00/1045.49	c 1001s |      16 |   207902 |   158752 |   431054      0 |    18490 |    24779
1047.59/1048.01	c 1003s |      16 |   208157 |   158952 |   431054      0 |    18490 |    24779
1049.59/1050.04	c 1005s |      16 |   208417 |   159152 |   431054      0 |    18490 |    24779
1051.89/1052.35	c 1007s |      16 |   208645 |   159352 |   431054      0 |    18490 |    24779
1054.29/1054.74	c 1010s |      16 |   208891 |   159552 |   431054      0 |    18490 |    24779
1056.49/1056.91	c 1012s |      16 |   209134 |   159752 |   431054      0 |    18490 |    24779
1058.59/1059.02	c 1014s |      16 |   209403 |   159952 |   431054      0 |    18490 |    24779
1061.59/1062.05	c 1017s |      16 |   209808 |   160252 |   431054      0 |    18490 |    24779
1063.79/1064.23	c 1019s |      16 |   210067 |   160452 |   431054      0 |    18490 |    24779
1066.99/1067.44	c 1023s |      16 |   210510 |   160752 |   431054      0 |    18490 |    24779
1069.89/1070.37	c 1025s |      16 |   210916 |   161052 |   431054      0 |    18490 |    24779
1072.19/1072.67	c 1028s |      16 |   211190 |   161252 |   431054      0 |    18490 |    24779
1074.68/1075.18	c 1030s |      16 |   211512 |   161452 |   431054      0 |    18490 |    24779
1077.38/1077.89	c 1033s |      16 |   211771 |   161652 |   431054      0 |    18490 |    24779
1079.58/1080.03	c 1035s |      16 |   212049 |   161852 |   431054      0 |    18490 |    24779
1081.99/1082.48	c 1038s |      16 |   212292 |   162052 |   431054      0 |    18490 |    24779
1084.48/1084.93	c 1040s |      16 |   212508 |   162252 |   431054      0 |    18490 |    24779
1087.08/1087.50	c 1043s |      16 |   212765 |   162452 |   431054      0 |    18490 |    24779
1090.17/1090.60	c 1046s |      16 |   213170 |   162752 |   431054      0 |    18490 |    24779
1093.08/1093.59	c 1049s |      16 |   213628 |   163052 |   431054      0 |    18490 |    24779
1095.57/1096.00	c 1051s |      16 |   213873 |   163252 |   431054      0 |    18490 |    24779
1097.87/1098.30	c 1053s |      16 |   214124 |   163452 |   431054      0 |    18490 |    24779
1099.87/1100.38	c 1055s |      16 |   214387 |   163652 |   431054      0 |    18490 |    24779
1102.57/1103.03	c 1058s |      16 |   214624 |   163852 |   431054      0 |    18490 |    24779
1104.97/1105.41	c 1061s |      16 |   214866 |   164052 |   431054      0 |    18490 |    24779
1107.38/1107.86	c 1063s |      16 |   215126 |   164252 |   431054      0 |    18490 |    24779
1110.07/1110.55	c 1066s |      16 |   215373 |   164452 |   431054      0 |    18490 |    24779
1112.67/1113.11	c 1068s |      16 |   215664 |   164652 |   431054      0 |    18490 |    24779
1115.47/1115.91	c 1071s |      16 |   215937 |   164852 |   431054      0 |    18490 |    24779
1117.87/1118.34	c 1073s |      16 |   216166 |   165052 |   431054      0 |    18490 |    24779
1120.57/1121.09	c 1076s |      16 |   216428 |   165252 |   431054      0 |    18490 |    24779
1123.17/1123.63	c 1079s |      16 |   216682 |   165452 |   431054      0 |    18490 |    24779
1126.07/1126.56	c 1082s |      16 |   217099 |   165752 |   431054      0 |    18490 |    24779
1128.17/1128.63	c 1084s |      16 |   217332 |   165952 |   431054      0 |    18490 |    24779
1130.17/1130.67	c 1086s |      16 |   217622 |   166152 |   431054      0 |    18490 |    24779
1133.26/1133.72	c 1089s |      16 |   218015 |   166452 |   431054      0 |    18490 |    24779
1135.56/1136.08	c 1091s |      16 |   218289 |   166652 |   431054      0 |    18490 |    24779
1137.96/1138.49	c 1094s |      16 |   218536 |   166852 |   431054      0 |    18490 |    24779
1140.16/1140.65	c 1096s |      16 |   218786 |   167052 |   431054      0 |    18490 |    24779
1142.47/1142.94	c 1098s |      16 |   219022 |   167252 |   431054      0 |    18490 |    24779
1144.86/1145.32	c 1100s |      16 |   219290 |   167452 |   431054      0 |    18490 |    24779
1147.16/1147.60	c 1103s |      16 |   219565 |   167652 |   431054      0 |    18490 |    24779
1149.26/1149.73	c 1105s |      16 |   219801 |   167852 |   431054      0 |    18490 |    24779
1151.46/1151.90	c 1107s |      16 |   220034 |   168052 |   431054      0 |    18490 |    24779
1153.57/1154.07	c 1109s |      16 |   220289 |   168252 |   431054      0 |    18490 |    24779
1156.06/1156.54	c 1112s |      16 |   220540 |   168452 |   431054      0 |    18490 |    24779
1158.36/1158.81	c 1114s |      16 |   220829 |   168652 |   431054      0 |    18490 |    24779
1160.76/1161.27	c 1116s |      16 |   221116 |   168852 |   431054      0 |    18490 |    24779
1163.37/1163.83	c 1119s |      16 |   221356 |   169052 |   431054      0 |    18490 |    24779
1165.76/1166.21	c 1121s |      16 |   221631 |   169252 |   431054      0 |    18490 |    24779
1167.87/1168.38	c 1123s |      16 |   221884 |   169452 |   431054      0 |    18490 |    24779
1170.16/1170.66	c 1126s |      16 |   222126 |   169652 |   431054      0 |    18490 |    24779
1172.66/1173.10	c 1128s |      16 |   222391 |   169852 |   431054      0 |    18490 |    24779
1175.06/1175.59	c 1131s |      16 |   222642 |   170052 |   431054      0 |    18490 |    24779
1177.36/1177.84	c 1133s |      16 |   222874 |   170252 |   431054      0 |    18490 |    24779
1179.86/1180.34	c 1135s |      16 |   223137 |   170452 |   431054      0 |    18490 |    24779
1182.36/1182.87	c 1138s |      16 |   223390 |   170652 |   431054      0 |    18490 |    24779
1185.16/1185.64	c 1141s |      16 |   223642 |   170852 |   431054      0 |    18490 |    24779
1188.06/1188.54	c 1144s |      16 |   223890 |   171052 |   431054      0 |    18490 |    24779
1191.26/1191.73	c 1147s |      16 |   224183 |   171252 |   431054      0 |    18490 |    24779
1193.96/1194.45	c 1150s |      16 |   224454 |   171452 |   431054      0 |    18490 |    24779
1196.36/1196.87	c 1152s |      16 |   224712 |   171652 |   431054      0 |    18490 |    24779
1198.75/1199.25	c 1154s |      16 |   224962 |   171852 |   431054      0 |    18490 |    24779
1200.95/1201.46	c 1157s |      16 |   225198 |   172052 |   431054      0 |    18490 |    24779
1203.15/1203.64	c 1159s |      16 |   225452 |   172252 |   431054      0 |    18490 |    24779
1205.35/1205.82	c 1161s |      16 |   225687 |   172452 |   431054      0 |    18490 |    24779
1207.75/1208.25	c 1163s |      16 |   225952 |   172652 |   431054      0 |    18490 |    24779
1210.35/1210.86	c 1166s |      16 |   226198 |   172852 |   431054      0 |    18490 |    24779
1212.86/1213.36	c 1168s |      16 |   226446 |   173052 |   431054      0 |    18490 |    24779
1215.45/1215.98	c 1171s |      16 |   226717 |   173252 |   431054      0 |    18490 |    24779
1218.65/1219.17	c 1174s |      16 |   226951 |   173452 |   431054      0 |    18490 |    24779
1222.05/1222.56	c 1178s |      16 |   227193 |   173652 |   431054      0 |    18490 |    24779
1225.15/1225.60	c 1181s |      16 |   227457 |   173852 |   431054      0 |    18490 |    24779
1227.85/1228.33	c 1183s |      16 |   227722 |   174052 |   431054      0 |    18490 |    24779
1230.65/1231.15	c 1186s |      16 |   227952 |   174252 |   431054      0 |    18490 |    24779
1233.76/1234.24	c 1189s |      16 |   228185 |   174452 |   431054      0 |    18490 |    24779
1236.65/1237.11	c 1192s |      16 |   228426 |   174652 |   431054      0 |    18490 |    24779
1239.25/1239.73	c 1195s |      16 |   228665 |   174852 |   431054      0 |    18490 |    24779
1242.15/1242.64	c 1198s |      16 |   228883 |   175052 |   431054      0 |    18490 |    24779
1245.35/1245.86	c 1201s |      16 |   229144 |   175252 |   431054      0 |    18490 |    24779
1248.25/1248.71	c 1204s |      16 |   229372 |   175452 |   431054      0 |    18490 |    24779
1250.95/1251.46	c 1207s |      16 |   229594 |   175652 |   431054      0 |    18490 |    24779
1253.55/1254.03	c 1209s |      16 |   229848 |   175852 |   431054      0 |    18490 |    24779
1256.65/1257.11	c 1212s |      16 |   230082 |   176052 |   431054      0 |    18490 |    24779
1259.64/1260.12	c 1215s |      16 |   230297 |   176252 |   431054      0 |    18490 |    24779
1263.04/1263.57	c 1219s |      16 |   230534 |   176452 |   431054      0 |    18490 |    24779
1266.04/1266.51	c 1222s |      16 |   230782 |   176652 |   431054      0 |    18490 |    24779
1269.24/1269.72	c 1225s |      16 |   231031 |   176852 |   431054      0 |    18490 |    24779
1271.94/1272.49	c 1228s |      16 |   231280 |   177052 |   431054      0 |    18490 |    24779
1275.14/1275.69	c 1231s |      16 |   231507 |   177252 |   431054      0 |    18490 |    24779
1278.04/1278.55	c 1234s |      16 |   231785 |   177452 |   431054      0 |    18490 |    24779
1281.05/1281.58	c 1237s |      16 |   232036 |   177652 |   431054      0 |    18490 |    24779
1284.04/1284.56	c 1240s |      16 |   232297 |   177852 |   431054      0 |    18490 |    24779
1286.84/1287.32	c 1242s |      16 |   232551 |   178052 |   431054      0 |    18490 |    24779
1289.44/1289.92	c 1245s |      16 |   232799 |   178252 |   431054      0 |    18490 |    24779
1292.54/1293.00	c 1248s |      16 |   233056 |   178452 |   431054      0 |    18490 |    24779
1295.35/1295.81	c 1251s |      16 |   233308 |   178652 |   431054      0 |    18490 |    24779
1298.24/1298.76	c 1254s |      16 |   233556 |   178852 |   431054      0 |    18490 |    24779
1300.84/1301.39	c 1256s |      16 |   233815 |   179052 |   431054      0 |    18490 |    24779
1303.64/1304.13	c 1259s |      16 |   234062 |   179252 |   431054      0 |    18490 |    24779
1307.04/1307.57	c 1263s |      16 |   234301 |   179452 |   431054      0 |    18490 |    24779
1310.14/1310.67	c 1266s |      16 |   234542 |   179652 |   431054      0 |    18490 |    24779
1313.34/1313.87	c 1269s |      16 |   234813 |   179852 |   431054      0 |    18490 |    24779
1316.03/1316.57	c 1272s |      16 |   235064 |   180052 |   431054      0 |    18490 |    24779
1318.93/1319.46	c 1275s |      16 |   235341 |   180252 |   431054      0 |    18490 |    24779
1321.74/1322.26	c 1277s |      16 |   235591 |   180452 |   431054      0 |    18490 |    24779
1324.13/1324.66	c 1280s |      16 |   235843 |   180652 |   431054      0 |    18490 |    24779
1326.83/1327.33	c 1282s |      16 |   236095 |   180852 |   431054      0 |    18490 |    24779
1329.13/1329.60	c 1285s |      16 |   236345 |   181052 |   431054      0 |    18490 |    24779
1331.13/1331.65	c 1287s |      16 |   236665 |   181252 |   431054      0 |    18490 |    24779
1333.53/1334.08	c 1289s |      16 |   236913 |   181452 |   431054      0 |    18490 |    24779
1335.93/1336.41	c 1292s |      16 |   237192 |   181652 |   431054      0 |    18490 |    24779
1338.34/1338.85	c 1294s |      16 |   237436 |   181852 |   431054      0 |    18490 |    24779
1341.13/1341.67	c 1297s |      16 |   237714 |   182052 |   431054      0 |    18490 |    24779
1344.23/1344.72	c 1300s |      16 |   237969 |   182252 |   431054      0 |    18490 |    24779
1346.43/1346.94	c 1302s |      16 |   238083 |   182352 |   431054      0 |    18490 |    24779
1349.13/1349.69	c 1305s |      16 |   238333 |   182552 |   431054      0 |    18490 |    24779
1352.23/1352.70	c 1308s |      16 |   238587 |   182752 |   431054      0 |    18490 |    24779
1354.84/1355.34	c 1310s |      16 |   238853 |   182952 |   431054      0 |    18490 |    24779
1357.33/1357.84	c 1313s |      16 |   239113 |   183152 |   431054      0 |    18490 |    24779
1360.34/1360.84	c 1316s |      16 |   239352 |   183352 |   431054      0 |    18490 |    24779
1363.03/1363.56	c 1319s |      16 |   239602 |   183552 |   431054      0 |    18490 |    24779
1365.93/1366.43	c 1322s |      16 |   239856 |   183752 |   431054      0 |    18490 |    24779
1368.63/1369.10	c 1324s |      16 |   240096 |   183952 |   431054      0 |    18490 |    24779
1371.13/1371.63	c 1327s |      16 |   240355 |   184152 |   431054      0 |    18490 |    24779
1373.43/1373.96	c 1329s |      16 |   240596 |   184352 |   431054      0 |    18490 |    24779
1376.03/1376.59	c 1332s |      16 |   240859 |   184552 |   474160      0 |    18490 |    24779
1378.42/1378.97	c 1334s |      16 |   241087 |   184752 |   474160      0 |    18490 |    24779
1381.92/1382.49	c 1338s |      16 |   241327 |   184952 |   474160      0 |    18490 |    24779
1385.42/1385.90	c 1341s |      16 |   241568 |   185152 |   474160      0 |    18490 |    24779
1388.42/1388.92	c 1344s |      16 |   241830 |   185352 |   474160      0 |    18490 |    24779
1390.92/1391.44	c 1347s |      16 |   242071 |   185552 |   474160      0 |    18490 |    24779
1393.33/1393.89	c 1349s |      16 |   242368 |   185752 |   474160      0 |    18490 |    24779
1396.42/1396.92	c 1352s |      16 |   242611 |   185952 |   474160      0 |    18490 |    24779
1399.42/1399.94	c 1355s |      16 |   242847 |   186152 |   474160      0 |    18490 |    24779
1401.82/1402.33	c 1357s |      16 |   243099 |   186352 |   474160      0 |    18490 |    24779
1404.23/1404.79	c 1360s |      16 |   243341 |   186552 |   474160      0 |    18490 |    24779
1407.53/1408.03	c 1363s |      16 |   243587 |   186752 |   474160      0 |    18490 |    24779
1410.62/1411.16	c 1366s |      16 |   243836 |   186952 |   474160      0 |    18490 |    24779
1413.72/1414.21	c 1369s |      16 |   244079 |   187152 |   474160      0 |    18490 |    24779
1416.22/1416.73	c 1372s |      16 |   244317 |   187352 |   474160      0 |    18490 |    24779
1418.92/1419.49	c 1375s |      16 |   244548 |   187552 |   474160      0 |    18490 |    24779
1421.22/1421.72	c 1377s |      16 |   244836 |   187752 |   474160      0 |    18490 |    24779
1423.82/1424.31	c 1379s |      16 |   245073 |   187952 |   474160      0 |    18490 |    24779
1426.52/1427.04	c 1382s |      16 |   245304 |   188152 |   474160      0 |    18490 |    24779
1429.22/1429.73	c 1385s |      16 |   245575 |   188352 |   474160      0 |    18490 |    24779
1432.22/1432.73	c 1388s |      16 |   245820 |   188552 |   474160      0 |    18490 |    24779
1435.92/1436.40	c 1392s |      16 |   246081 |   188752 |   474160      0 |    18490 |    24779
1439.52/1440.07	c 1395s |      16 |   246321 |   188952 |   474160      0 |    18490 |    24779
1443.21/1443.73	c 1399s |      16 |   246572 |   189152 |   474160      0 |    18490 |    24779
1446.82/1447.37	c 1402s |      16 |   246821 |   189352 |   474160      0 |    18490 |    24779
1450.62/1451.15	c 1406s |      16 |   247100 |   189552 |   474160      0 |    18490 |    24779
1453.22/1453.74	c 1409s |      16 |   247377 |   189752 |   474160      0 |    18490 |    24779
1455.72/1456.20	c 1411s |      16 |   247638 |   189952 |   474160      0 |    18490 |    24779
1459.02/1459.52	c 1415s |      16 |   247882 |   190152 |   474160      0 |    18490 |    24779
1461.72/1462.28	c 1417s |      16 |   248140 |   190352 |   474160      0 |    18490 |    24779
1465.32/1465.80	c 1421s |      16 |   248400 |   190552 |   474160      0 |    18490 |    24779
1468.92/1469.41	c 1425s |      16 |   248633 |   190752 |   474160      0 |    18490 |    24779
1472.43/1472.99	c 1428s |      16 |   248885 |   190952 |   474160      0 |    18490 |    24779
1475.73/1476.21	c 1431s |      16 |   249131 |   191152 |   474160      0 |    18490 |    24779
1478.82/1479.36	c 1434s |      16 |   249394 |   191352 |   474160      0 |    18490 |    24779
1482.02/1482.59	c 1438s |      16 |   249629 |   191552 |   474160      0 |    18490 |    24779
1485.72/1486.29	c 1441s |      16 |   249852 |   191752 |   474160      0 |    18490 |    24779
1489.12/1489.67	c 1445s |      16 |   250117 |   191952 |   474160      0 |    18490 |    24779
1492.42/1492.98	c 1448s |      16 |   250368 |   192152 |   474160      0 |    18490 |    24779
1495.11/1495.61	c 1451s |      16 |   250608 |   192352 |   474160      0 |    18490 |    24779
1498.01/1498.51	c 1454s |      16 |   250848 |   192552 |   474160      0 |    18490 |    24779
1500.61/1501.14	c 1456s |      16 |   251090 |   192752 |   474160      0 |    18490 |    24779
1502.91/1503.48	c 1459s |      16 |   251321 |   192952 |   474160      0 |    18490 |    24779
1505.31/1505.90	c 1461s |      16 |   251583 |   193152 |   474160      0 |    18490 |    24779
1507.81/1508.33	c 1463s |      16 |   251815 |   193352 |   474160      0 |    18490 |    24779
1510.21/1510.75	c 1466s |      16 |   252058 |   193552 |   474160      0 |    18490 |    24779
1512.71/1513.20	c 1468s |      16 |   252307 |   193752 |   474160      0 |    18490 |    24779
1515.11/1515.67	c 1471s |      16 |   252549 |   193952 |   474160      0 |    18490 |    24779
1517.62/1518.19	c 1473s |      16 |   252781 |   194152 |   474160      0 |    18490 |    24779
1520.31/1520.85	c 1476s |      16 |   253013 |   194352 |   474160      0 |    18490 |    24779
1522.91/1523.49	c 1479s |      16 |   253246 |   194552 |   474160      0 |    18490 |    24779
1525.32/1525.87	c 1481s |      16 |   253495 |   194752 |   474160      0 |    18490 |    24779
1527.91/1528.43	c 1484s |      16 |   253720 |   194952 |   474160      0 |    18490 |    24779
1530.61/1531.20	c 1486s |      16 |   253972 |   195152 |   474160      0 |    18490 |    24779
1534.12/1534.67	c 1490s |      16 |   254208 |   195352 |   474160      0 |    18490 |    24779
1537.11/1537.68	c 1493s |      16 |   254447 |   195552 |   474160      0 |    18490 |    24779
1540.61/1541.11	c 1496s |      16 |   254696 |   195752 |   474160      0 |    18490 |    24779
1543.41/1543.96	c 1499s |      16 |   254937 |   195952 |   474160      0 |    18490 |    24779
1547.01/1547.50	c 1503s |      16 |   255175 |   196152 |   474160      0 |    18490 |    24779
1549.91/1550.49	c 1506s |      16 |   255406 |   196352 |   474160      0 |    18490 |    24779
1553.31/1553.82	c 1509s |      16 |   255647 |   196552 |   474160      0 |    18490 |    24779
1556.61/1557.10	c 1512s |      16 |   255889 |   196752 |   474160      0 |    18490 |    24779
1560.20/1560.79	c 1516s |      16 |   256145 |   196952 |   474160      0 |    18490 |    24779
1563.20/1563.77	c 1519s |      16 |   256412 |   197152 |   474160      0 |    18490 |    24779
1566.30/1566.87	c 1522s |      16 |   256641 |   197352 |   474160      0 |    18490 |    24779
1567.40/1567.93	c 1523s |      17 |   256750 |   197432 |   474160      0 |    18490 |    24779
1571.60/1572.19	c 1527s |      17 |   256899 |   197532 |   474160      0 |    18490 |    24779
1574.71/1575.27	c 1530s |      17 |   257188 |   197732 |   474160      0 |    18490 |    24779
1577.01/1577.59	c 1533s |      17 |   257431 |   197932 |   474160      0 |    18490 |    24779
1579.70/1580.29	c 1535s |      17 |   257699 |   198132 |   474160      0 |    18490 |    24779
1581.90/1582.48	c 1538s |      17 |   257966 |   198332 |   474160      0 |    18490 |    24779
1585.20/1585.70	c 1541s |      17 |   258339 |   198632 |   474160      0 |    18490 |    24779
1587.91/1588.47	c 1544s |      17 |   258756 |   198932 |   474160      0 |    18490 |    24779
1590.40/1590.99	c 1546s |      17 |   259165 |   199232 |   474160      0 |    18490 |    24779
1592.50/1593.00	c 1548s |      17 |   259419 |   199432 |   474160      0 |    18490 |    24779
1594.51/1595.02	c 1550s |      17 |   259663 |   199632 |   474160      0 |    18490 |    24779
1597.40/1597.98	c 1553s |      17 |   260024 |   199932 |   474160      0 |    18490 |    24779
1600.01/1600.59	c 1556s |      17 |   260436 |   200232 |   474160      0 |    18490 |    24779
1602.80/1603.34	c 1558s |      17 |   260904 |   200532 |   474160      0 |    18490 |    24779
1605.20/1605.75	c 1561s |      17 |   261318 |   200832 |   474160      0 |    18490 |    24779
1607.90/1608.46	c 1564s |      17 |   261778 |   201132 |   474160      0 |    18490 |    24779
1610.10/1610.60	c 1566s |      17 |   262021 |   201332 |   474160      0 |    18490 |    24779
1612.40/1612.97	c 1568s |      17 |   262485 |   201632 |   474160      0 |    18490 |    24779
1615.00/1615.59	c 1571s |      17 |   262967 |   201932 |   474160      0 |    18490 |    24779
1617.90/1618.49	c 1574s |      17 |   263385 |   202232 |   474160      0 |    18490 |    24779
1620.59/1621.13	c 1576s |      17 |   263841 |   202532 |   474160      0 |    18490 |    24779
1622.99/1623.57	c 1579s |      17 |   264223 |   202832 |   474160      0 |    18490 |    24779
1625.89/1626.44	c 1582s |      17 |   264685 |   203132 |   474160      0 |    18490 |    24779
1628.29/1628.85	c 1584s |      17 |   265081 |   203432 |   474160      0 |    18490 |    24779
1630.90/1631.43	c 1587s |      17 |   265444 |   203732 |   474160      0 |    18490 |    24779
1633.00/1633.55	c 1589s |      17 |   265705 |   203932 |   474160      0 |    18490 |    24779
1635.89/1636.46	c 1592s |      17 |   266127 |   204232 |   474160      0 |    18490 |    24779
1638.50/1639.02	c 1594s |      17 |   266578 |   204532 |   474160      0 |    18490 |    24779
1640.80/1641.33	c 1596s |      17 |   267023 |   204832 |   474160      0 |    18490 |    24779
1642.79/1643.36	c 1598s |      17 |   267304 |   205032 |   474160      0 |    18490 |    24779
1645.69/1646.29	c 1601s |      17 |   267718 |   205332 |   474160      0 |    18490 |    24779
1648.50/1649.09	c 1604s |      17 |   268100 |   205632 |   474160      0 |    18490 |    24779
1650.79/1651.30	c 1606s |      17 |   268400 |   205832 |   474160      0 |    18490 |    24779
1653.09/1653.64	c 1609s |      17 |   268697 |   206032 |   474160      0 |    18490 |    24779
1655.79/1656.39	c 1611s |      17 |   269056 |   206332 |   474160      0 |    18490 |    24779
1657.89/1658.45	c 1614s |      17 |   269328 |   206532 |   474160      0 |    18490 |    24779
1660.99/1661.53	c 1617s |      17 |   269554 |   206732 |   474160      0 |    18490 |    24779
1663.29/1663.86	c 1619s |      17 |   269813 |   206932 |   474160      0 |    18490 |    24779
1666.49/1667.09	c 1622s |      17 |   270048 |   207132 |   474160      0 |    18490 |    24779
1669.69/1670.24	c 1625s |      17 |   270367 |   207332 |   474160      0 |    18490 |    24779
1672.88/1673.41	c 1629s |      17 |   270610 |   207532 |   474160      0 |    18490 |    24779
1675.68/1676.23	c 1631s |      17 |   270880 |   207732 |   474160      0 |    18490 |    24779
1678.48/1679.02	c 1634s |      17 |   271167 |   207932 |   474160      0 |    18490 |    24779
1680.88/1681.46	c 1637s |      17 |   271423 |   208132 |   474160      0 |    18490 |    24779
1683.78/1684.38	c 1639s |      17 |   271760 |   208332 |   474160      0 |    18490 |    24779
1686.08/1686.64	c 1642s |      17 |   272037 |   208532 |   474160      0 |    18490 |    24779
1688.78/1689.39	c 1644s |      17 |   272303 |   208732 |   474160      0 |    18490 |    24779
1691.39/1691.91	c 1647s |      17 |   272597 |   208932 |   474160      0 |    18490 |    24779
1694.48/1695.02	c 1650s |      17 |   272863 |   209132 |   474160      0 |    18490 |    24779
1697.08/1697.67	c 1653s |      17 |   273160 |   209332 |   474160      0 |    18490 |    24779
1699.68/1700.22	c 1655s |      17 |   273410 |   209532 |   474160      0 |    18490 |    24779
1702.18/1702.74	c 1658s |      17 |   273678 |   209732 |   474160      0 |    18490 |    24779
1704.18/1704.76	c 1660s |      17 |   273946 |   209932 |   474160      0 |    18490 |    24779
1706.38/1706.91	c 1662s |      17 |   274224 |   210132 |   474160      0 |    18490 |    24779
1708.48/1709.06	c 1664s |      17 |   274467 |   210332 |   474160      0 |    18490 |    24779
1711.38/1711.95	c 1667s |      17 |   274843 |   210632 |   474160      0 |    18490 |    24779
1713.48/1714.04	c 1669s |      17 |   275089 |   210832 |   474160      0 |    18490 |    24779
1716.58/1717.18	c 1672s |      17 |   275524 |   211132 |   474160      0 |    18490 |    24779
1718.68/1719.29	c 1674s |      17 |   275788 |   211332 |   474160      0 |    18490 |    24779
1720.77/1721.36	c 1676s |      17 |   276062 |   211532 |   474160      0 |    18490 |    24779
1723.47/1724.08	c 1679s |      17 |   276439 |   211832 |   474160      0 |    18490 |    24779
1726.27/1726.86	c 1682s |      17 |   276844 |   212132 |   474160      0 |    18490 |    24779
1728.87/1729.44	c 1685s |      17 |   277241 |   212432 |   474160      0 |    18490 |    24779
1731.37/1731.91	c 1687s |      17 |   277615 |   212732 |   474160      0 |    18490 |    24779
1733.67/1734.25	c 1689s |      17 |   277841 |   212932 |   474160      0 |    18490 |    24779
1736.57/1737.13	c 1692s |      17 |   278110 |   213132 |   474160      0 |    18490 |    24779
1738.77/1739.33	c 1694s |      17 |   278364 |   213332 |   474160      0 |    18490 |    24779
1741.37/1741.92	c 1697s |      17 |   278755 |   213632 |   474160      0 |    18490 |    24779
1743.57/1744.13	c 1699s |      17 |   279128 |   213932 |   474160      0 |    18490 |    24779
1745.97/1746.51	c 1702s |      17 |   279509 |   214232 |   474160      0 |    18490 |    24779
1748.77/1749.33	c 1704s |      17 |   279878 |   214532 |   474160      0 |    18490 |    24779
1751.27/1751.80	c 1707s |      17 |   280140 |   214732 |   474160      0 |    18490 |    24779
1753.27/1753.84	c 1709s |      17 |   280263 |   214832 |   474160      0 |    18490 |    24779
1756.77/1757.32	c 1712s |      17 |   280511 |   215032 |   474160      0 |    18490 |    24779
1759.77/1760.35	c 1715s |      17 |   280741 |   215232 |   474160      0 |    18490 |    24779
1762.78/1763.40	c 1719s |      17 |   280990 |   215432 |   474160      0 |    18490 |    24779
1766.07/1766.69	c 1722s |      17 |   281232 |   215632 |   474160      0 |    18490 |    24779
1769.57/1770.18	c 1725s |      17 |   281447 |   215832 |   474160      0 |    18490 |    24779
1772.37/1772.93	c 1728s |      17 |   281679 |   216032 |   474160      0 |    18490 |    24779
1775.47/1776.06	c 1731s |      17 |   281945 |   216232 |   474160      0 |    18490 |    24779
1779.77/1780.37	c 1735s |      17 |   282183 |   216432 |   474160      0 |    18490 |    24779
1783.67/1784.27	c 1739s |      17 |   282421 |   216632 |   474160      0 |    18490 |    24779
1786.76/1787.30	c 1742s |      17 |   282655 |   216832 |   474160      0 |    18490 |    24779
1790.37/1790.91	c 1746s |      17 |   282912 |   217032 |   474160      0 |    18490 |    24779
1793.86/1794.46	c 1750s |      17 |   283149 |   217232 |   474160      0 |    18490 |    24779
1796.76/1797.33	c 1752s |      17 |   283414 |   217432 |   474160      0 |    18490 |    24779

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

pid=11978
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.08 2.04 2.00 3/179 11981
/proc/meminfo: memFree=30014240/32872528 swapFree=496868/529572
[pid=11981] ppid=11978 vsize=741820 CPUtime=0 cores=1,3,5,7
/proc/11981/stat : 11981 (toysat) R 11978 11981 7739 0 -1 4202496 2766 0 0 0 0 0 0 0 20 0 4 0 31161936 759623680 3639 33554432000 4194304 16246674 140736405704176 140736405703600 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11981/statm: 185967 3647 441 2943 0 182861 0
[pid=11981/tid=11982] ppid=11978 vsize=761276 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11982/stat : 11982 (toysat) S 11978 11981 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31161937 779546624 3716 33554432000 4194304 16246674 140736405704176 139731341913328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11981/tid=11983] ppid=11978 vsize=765372 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11983/stat : 11983 (toysat) S 11978 11981 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31161937 783740928 3732 33554432000 4194304 16246674 140736405704176 139731258027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11981/tid=11984] ppid=11978 vsize=770492 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11984/stat : 11984 (toysat) S 11978 11981 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31161937 788983808 3751 33554432000 4194304 16246674 140736405704176 139731247553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 11981
/proc/meminfo: memFree=30014240/32872528 swapFree=496868/529572
[pid=11981] ppid=11978 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/11981/stat : 11981 (toysat) R 11978 11981 7739 0 -1 4202496 27058 0 0 0 5 4 0 0 20 0 4 0 31161936 1333334016 27868 33554432000 4194304 16246674 140736405704176 140736405703488 7367789 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11981/statm: 325521 27884 799 2943 0 322415 0
[pid=11981/tid=11982] ppid=11978 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11982/stat : 11982 (toysat) S 11978 11981 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31161937 1333334016 27894 33554432000 4194304 16246674 140736405704176 139731341913328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11981/tid=11983] ppid=11978 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11983/stat : 11983 (toysat) S 11978 11981 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31161937 1333334016 27905 33554432000 4194304 16246674 140736405704176 139731258027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11981/tid=11984] ppid=11978 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11984/stat : 11984 (toysat) S 11978 11981 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31161937 1333334016 27915 33554432000 4194304 16246674 140736405704176 139731247553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200536 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 11981
/proc/meminfo: memFree=30014240/32872528 swapFree=496868/529572
[pid=11981] ppid=11978 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/11981/stat : 11981 (toysat) R 11978 11981 7739 0 -1 4202496 45408 0 0 0 12 7 0 0 20 0 4 0 31161936 1344868352 46729 33554432000 4194304 16246674 140736405704176 140736405703488 7381272 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11981/statm: 328337 46729 799 2943 0 325231 0
[pid=11981/tid=11982] ppid=11978 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11982/stat : 11982 (toysat) S 11978 11981 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31161937 1344868352 46729 33554432000 4194304 16246674 140736405704176 139731341913328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11981/tid=11983] ppid=11978 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11983/stat : 11983 (toysat) S 11978 11981 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31161937 1344868352 46729 33554432000 4194304 16246674 140736405704176 139731258027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11981/tid=11984] ppid=11978 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11984/stat : 11984 (toysat) S 11978 11981 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31161937 1344868352 46729 33554432000 4194304 16246674 140736405704176 139731247553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300505 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 11981
/proc/meminfo: memFree=30014240/32872528 swapFree=496868/529572
[pid=11981] ppid=11978 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/11981/stat : 11981 (toysat) R 11978 11981 7739 0 -1 4202496 57490 0 0 0 21 8 0 0 20 0 4 0 31161936 1344868352 58811 33554432000 4194304 16246674 140736405704176 140736405703488 8057033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11981/statm: 328337 58811 799 2943 0 325231 0
[pid=11981/tid=11982] ppid=11978 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11982/stat : 11982 (toysat) S 11978 11981 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31161937 1344868352 58811 33554432000 4194304 16246674 140736405704176 139731341913328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11981/tid=11983] ppid=11978 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11983/stat : 11983 (toysat) S 11978 11981 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31161937 1344868352 58811 33554432000 4194304 16246674 140736405704176 139731258027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11981/tid=11984] ppid=11978 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11984/stat : 11984 (toysat) S 11978 11981 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31161937 1344868352 58811 33554432000 4194304 16246674 140736405704176 139731247553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700346 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 11981
/proc/meminfo: memFree=30014240/32872528 swapFree=496868/529572
[pid=11981] ppid=11978 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/11981/stat : 11981 (toysat) R 11978 11981 7739 0 -1 4202496 64592 0 0 0 60 9 0 0 20 0 4 0 31161936 1344868352 65913 33554432000 4194304 16246674 140736405704176 140736405702080 8057033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11981/statm: 328337 65913 800 2943 0 325231 0
[pid=11981/tid=11982] ppid=11978 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11982/stat : 11982 (toysat) S 11978 11981 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31161937 1344868352 65913 33554432000 4194304 16246674 140736405704176 139731341913328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11981/tid=11983] ppid=11978 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11983/stat : 11983 (toysat) S 11978 11981 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31161937 1344868352 65913 33554432000 4194304 16246674 140736405704176 139731258027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11981/tid=11984] ppid=11978 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11984/stat : 11984 (toysat) S 11978 11981 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31161937 1344868352 65913 33554432000 4194304 16246674 140736405704176 139731247553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50041 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 11985
/proc/meminfo: memFree=29713556/32872528 swapFree=496868/529572
[pid=11981] ppid=11978 vsize=1324612 CPUtime=1.49 cores=1,3,5,7
/proc/11981/stat : 11981 (toysat) R 11978 11981 7739 0 -1 4202496 82575 0 0 0 138 11 0 0 20 0 4 0 31161936 1356402688 83897 33554432000 4194304 16246674 140736405704176 140736405687168 4221799 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11981/statm: 331153 83903 811 2943 0 328047 0
[pid=11981/tid=11982] ppid=11978 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11982/stat : 11982 (toysat) S 11978 11981 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31161937 1356402688 83906 33554432000 4194304 16246674 140736405704176 139731341913328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11981/tid=11983] ppid=11978 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11983/stat : 11983 (toysat) S 11978 11981 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31161937 1356402688 83909 33554432000 4194304 16246674 140736405704176 139731258027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11981/tid=11984] ppid=11978 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11984/stat : 11984 (toysat) S 11978 11981 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31161937 1356402688 83913 33554432000 4194304 16246674 140736405704176 139731247553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1324612

[startup+3.10042 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 11985
/proc/meminfo: memFree=29247068/32872528 swapFree=496868/529572
[pid=11981] ppid=11978 vsize=1340996 CPUtime=3.09 cores=1,3,5,7
/proc/11981/stat : 11981 (toysat) R 11978 11981 7739 0 -1 4202496 275864 0 0 0 267 42 0 0 20 0 4 0 31161936 1373179904 277185 33554432000 4194304 16246674 140736405704176 140736405686080 6165428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11981/statm: 335249 277185 839 2943 0 332143 0
[pid=11981/tid=11982] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11982/stat : 11982 (toysat) S 11978 11981 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277185 33554432000 4194304 16246674 140736405704176 139731341913328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11981/tid=11983] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11983/stat : 11983 (toysat) S 11978 11981 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277185 33554432000 4194304 16246674 140736405704176 139731258027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11981/tid=11984] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11984/stat : 11984 (toysat) S 11978 11981 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277185 33554432000 4194304 16246674 140736405704176 139731247553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1340996

[startup+6.30043 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 11985
/proc/meminfo: memFree=28906368/32872528 swapFree=496868/529572
[pid=11981] ppid=11978 vsize=1340996 CPUtime=6.29 cores=1,3,5,7
/proc/11981/stat : 11981 (toysat) R 11978 11981 7739 0 -1 4202496 275943 0 0 0 587 42 0 0 20 0 4 0 31161936 1373179904 277264 33554432000 4194304 16246674 140736405704176 140736405686080 12449269 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11981/statm: 335249 277264 913 2943 0 332143 0
[pid=11981/tid=11982] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11982/stat : 11982 (toysat) S 11978 11981 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277264 33554432000 4194304 16246674 140736405704176 139731341913328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11981/tid=11983] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11983/stat : 11983 (toysat) S 11978 11981 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277264 33554432000 4194304 16246674 140736405704176 139731258027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11981/tid=11984] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11984/stat : 11984 (toysat) S 11978 11981 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277264 33554432000 4194304 16246674 140736405704176 139731247553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1340996

[startup+12.7004 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 11985
/proc/meminfo: memFree=28906144/32872528 swapFree=496868/529572
[pid=11981] ppid=11978 vsize=1340996 CPUtime=12.68 cores=1,3,5,7
/proc/11981/stat : 11981 (toysat) R 11978 11981 7739 0 -1 4202496 275944 0 0 0 1226 42 0 0 20 0 4 0 31161936 1373179904 277265 33554432000 4194304 16246674 140736405704176 140736405686080 5991508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11981/statm: 335249 277265 913 2943 0 332143 0
[pid=11981/tid=11982] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11982/stat : 11982 (toysat) S 11978 11981 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277265 33554432000 4194304 16246674 140736405704176 139731341913328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11981/tid=11983] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11983/stat : 11983 (toysat) S 11978 11981 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277265 33554432000 4194304 16246674 140736405704176 139731258027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11981/tid=11984] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11984/stat : 11984 (toysat) S 11978 11981 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277265 33554432000 4194304 16246674 140736405704176 139731247553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1340996

[startup+25.5004 s]
/proc/loadavg: 2.05 2.04 2.00 4/183 11985
/proc/meminfo: memFree=28906980/32872528 swapFree=496868/529572
[pid=11981] ppid=11978 vsize=1340996 CPUtime=25.48 cores=1,3,5,7
/proc/11981/stat : 11981 (toysat) R 11978 11981 7739 0 -1 4202496 275947 0 0 0 2506 42 0 0 20 0 4 0 31161936 1373179904 277268 33554432000 4194304 16246674 140736405704176 140736405686080 5754764 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11981/statm: 335249 277268 915 2943 0 332143 0
[pid=11981/tid=11982] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11982/stat : 11982 (toysat) S 11978 11981 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277268 33554432000 4194304 16246674 140736405704176 139731341913328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11981/tid=11983] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11983/stat : 11983 (toysat) S 11978 11981 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277268 33554432000 4194304 16246674 140736405704176 139731258027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11981/tid=11984] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11984/stat : 11984 (toysat) S 11978 11981 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277268 33554432000 4194304 16246674 140736405704176 139731247553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1340996

[startup+51.1005 s]
/proc/loadavg: 2.10 2.05 2.00 3/183 11985
/proc/meminfo: memFree=28906936/32872528 swapFree=496868/529572
[pid=11981] ppid=11978 vsize=1340996 CPUtime=51.09 cores=1,3,5,7
/proc/11981/stat : 11981 (toysat) R 11978 11981 7739 0 -1 4202496 275953 0 0 0 5066 43 0 0 20 0 4 0 31161936 1373179904 277274 33554432000 4194304 16246674 140736405704176 140736405686080 6023008 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11981/statm: 335249 277274 919 2943 0 332143 0
[pid=11981/tid=11982] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11982/stat : 11982 (toysat) S 11978 11981 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731341913328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11981/tid=11983] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11983/stat : 11983 (toysat) S 11978 11981 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731258027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11981/tid=11984] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11984/stat : 11984 (toysat) S 11978 11981 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731247553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1340996

[startup+102.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/183 11986
/proc/meminfo: memFree=28906552/32872528 swapFree=496868/529572
[pid=11981] ppid=11978 vsize=1340996 CPUtime=102.29 cores=1,3,5,7
/proc/11981/stat : 11981 (toysat) R 11978 11981 7739 0 -1 4202496 275953 0 0 0 10186 43 0 0 20 0 4 0 31161936 1373179904 277274 33554432000 4194304 16246674 140736405704176 140736405686080 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11981/statm: 335249 277274 919 2943 0 332143 0
[pid=11981/tid=11982] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11982/stat : 11982 (toysat) S 11978 11981 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731341913328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11981/tid=11983] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11983/stat : 11983 (toysat) S 11978 11981 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731258027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11981/tid=11984] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11984/stat : 11984 (toysat) S 11978 11981 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731247553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1340996


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

/proc/11981/task/11984/stat : 11984 (toysat) S 11978 11981 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731247553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1340996

[startup+1302.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/183 12016
/proc/meminfo: memFree=28870052/32872528 swapFree=496868/529572
[pid=11981] ppid=11978 vsize=1340996 CPUtime=1301.84 cores=1,3,5,7
/proc/11981/stat : 11981 (toysat) R 11978 11981 7739 0 -1 4202496 276364 0 0 0 130140 44 0 0 20 0 4 0 31161936 1373179904 277274 33554432000 4194304 16246674 140736405704176 140736405702016 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11981/statm: 335249 277274 919 2943 0 332143 0
[pid=11981/tid=11982] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11982/stat : 11982 (toysat) S 11978 11981 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731341913328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11981/tid=11983] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11983/stat : 11983 (toysat) S 11978 11981 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731258027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11981/tid=11984] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11984/stat : 11984 (toysat) S 11978 11981 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731247553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1340996

[startup+1362.3 s]
/proc/loadavg: 2.26 2.09 2.02 3/182 12017
/proc/meminfo: memFree=28870068/32872528 swapFree=496868/529572
[pid=11981] ppid=11978 vsize=1340996 CPUtime=1361.83 cores=1,3,5,7
/proc/11981/stat : 11981 (toysat) R 11978 11981 7739 0 -1 4202496 276364 0 0 0 136139 44 0 0 20 0 4 0 31161936 1373179904 277274 33554432000 4194304 16246674 140736405704176 140736405686080 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11981/statm: 335249 277274 919 2943 0 332143 0
[pid=11981/tid=11982] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11982/stat : 11982 (toysat) S 11978 11981 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731341913328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11981/tid=11983] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11983/stat : 11983 (toysat) S 11978 11981 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731258027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11981/tid=11984] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11984/stat : 11984 (toysat) S 11978 11981 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731247553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1340996

[startup+1422.3 s]
/proc/loadavg: 2.14 2.09 2.02 4/183 12067
/proc/meminfo: memFree=27474608/32872528 swapFree=496868/529572
[pid=11981] ppid=11978 vsize=1340996 CPUtime=1421.82 cores=1,3,5,7
/proc/11981/stat : 11981 (toysat) R 11978 11981 7739 0 -1 4202496 276364 0 0 0 142138 44 0 0 20 0 4 0 31161936 1373179904 277274 33554432000 4194304 16246674 140736405704176 140736405686080 5677164 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11981/statm: 335249 277274 919 2943 0 332143 0
[pid=11981/tid=11982] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11982/stat : 11982 (toysat) S 11978 11981 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731341913328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11981/tid=11983] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11983/stat : 11983 (toysat) S 11978 11981 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731258027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11981/tid=11984] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11984/stat : 11984 (toysat) S 11978 11981 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731247553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1340996

[startup+1482.3 s]
/proc/loadavg: 2.13 2.08 2.02 3/184 12071
/proc/meminfo: memFree=27474148/32872528 swapFree=496868/529572
[pid=11981] ppid=11978 vsize=1340996 CPUtime=1481.82 cores=1,3,5,7
/proc/11981/stat : 11981 (toysat) R 11978 11981 7739 0 -1 4202496 276364 0 0 0 148137 45 0 0 20 0 4 0 31161936 1373179904 277274 33554432000 4194304 16246674 140736405704176 140736405686080 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11981/statm: 335249 277274 919 2943 0 332143 0
[pid=11981/tid=11982] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11982/stat : 11982 (toysat) S 11978 11981 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731341913328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11981/tid=11983] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11983/stat : 11983 (toysat) S 11978 11981 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731258027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11981/tid=11984] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11984/stat : 11984 (toysat) S 11978 11981 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731247553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1340996

[startup+1542.31 s]
/proc/loadavg: 2.14 2.10 2.03 4/183 12072
/proc/meminfo: memFree=27474284/32872528 swapFree=496868/529572
[pid=11981] ppid=11978 vsize=1340996 CPUtime=1541.81 cores=1,3,5,7
/proc/11981/stat : 11981 (toysat) R 11978 11981 7739 0 -1 4202496 276364 0 0 0 154136 45 0 0 20 0 4 0 31161936 1373179904 277274 33554432000 4194304 16246674 140736405704176 140736405686080 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11981/statm: 335249 277274 919 2943 0 332143 0
[pid=11981/tid=11982] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11982/stat : 11982 (toysat) S 11978 11981 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731341913328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11981/tid=11983] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11983/stat : 11983 (toysat) S 11978 11981 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731258027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11981/tid=11984] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11984/stat : 11984 (toysat) S 11978 11981 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731247553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1340996

[startup+1602.3 s]
/proc/loadavg: 2.15 2.11 2.03 4/183 12073
/proc/meminfo: memFree=27474168/32872528 swapFree=496868/529572
[pid=11981] ppid=11978 vsize=1340996 CPUtime=1601.8 cores=1,3,5,7
/proc/11981/stat : 11981 (toysat) R 11978 11981 7739 0 -1 4202496 276364 0 0 0 160135 45 0 0 20 0 4 0 31161936 1373179904 277274 33554432000 4194304 16246674 140736405704176 140736405686080 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11981/statm: 335249 277274 919 2943 0 332143 0
[pid=11981/tid=11982] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11982/stat : 11982 (toysat) S 11978 11981 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731341913328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11981/tid=11983] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11983/stat : 11983 (toysat) S 11978 11981 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731258027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11981/tid=11984] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11984/stat : 11984 (toysat) S 11978 11981 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731247553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1340996

[startup+1662.3 s]
/proc/loadavg: 2.12 2.10 2.03 4/182 12074
/proc/meminfo: memFree=27474416/32872528 swapFree=496868/529572
[pid=11981] ppid=11978 vsize=1340996 CPUtime=1661.79 cores=1,3,5,7
/proc/11981/stat : 11981 (toysat) R 11978 11981 7739 0 -1 4202496 276364 0 0 0 166134 45 0 0 20 0 4 0 31161936 1373179904 277274 33554432000 4194304 16246674 140736405704176 140736405686080 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11981/statm: 335249 277274 919 2943 0 332143 0
[pid=11981/tid=11982] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11982/stat : 11982 (toysat) S 11978 11981 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731341913328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11981/tid=11983] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11983/stat : 11983 (toysat) S 11978 11981 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731258027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11981/tid=11984] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11984/stat : 11984 (toysat) S 11978 11981 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731247553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1340996

[startup+1722.3 s]
/proc/loadavg: 2.10 2.09 2.03 3/183 12076
/proc/meminfo: memFree=27474176/32872528 swapFree=496868/529572
[pid=11981] ppid=11978 vsize=1340996 CPUtime=1721.77 cores=1,3,5,7
/proc/11981/stat : 11981 (toysat) R 11978 11981 7739 0 -1 4202496 276364 0 0 0 172132 45 0 0 20 0 4 0 31161936 1373179904 277274 33554432000 4194304 16246674 140736405704176 140736405686080 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11981/statm: 335249 277274 919 2943 0 332143 0
[pid=11981/tid=11982] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11982/stat : 11982 (toysat) S 11978 11981 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731341913328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11981/tid=11983] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11983/stat : 11983 (toysat) S 11978 11981 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731258027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11981/tid=11984] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11984/stat : 11984 (toysat) S 11978 11981 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731247553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1340996

[startup+1782.3 s]
/proc/loadavg: 2.18 2.12 2.04 3/183 12077
/proc/meminfo: memFree=27473868/32872528 swapFree=496868/529572
[pid=11981] ppid=11978 vsize=1340996 CPUtime=1781.77 cores=1,3,5,7
/proc/11981/stat : 11981 (toysat) R 11978 11981 7739 0 -1 4202496 276364 0 0 0 178132 45 0 0 20 0 4 0 31161936 1373179904 277274 33554432000 4194304 16246674 140736405704176 140736405686080 5823408 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11981/statm: 335249 277274 919 2943 0 332143 0
[pid=11981/tid=11982] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11982/stat : 11982 (toysat) S 11978 11981 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731341913328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11981/tid=11983] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11983/stat : 11983 (toysat) S 11978 11981 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731258027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11981/tid=11984] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11984/stat : 11984 (toysat) S 11978 11981 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731247553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1340996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.27 2.14 2.05 3/183 12078
/proc/meminfo: memFree=27473496/32872528 swapFree=496868/529572
[pid=11981] ppid=11978 vsize=1340996 CPUtime=1800.06 cores=1,3,5,7
/proc/11981/stat : 11981 (toysat) R 11978 11981 7739 0 -1 4202496 276364 0 0 0 179961 45 0 0 20 0 4 0 31161936 1373179904 277274 33554432000 4194304 16246674 140736405704176 140736405686080 5724032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11981/statm: 335249 277274 919 2943 0 332143 0
[pid=11981/tid=11982] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11982/stat : 11982 (toysat) S 11978 11981 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731341913328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11981/tid=11983] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11983/stat : 11983 (toysat) S 11978 11981 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731258027248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11981/tid=11984] ppid=11978 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/11981/task/11984/stat : 11984 (toysat) S 11978 11981 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31161937 1373179904 277274 33554432000 4194304 16246674 140736405704176 139731247553712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1340996

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 11981 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.08
CPU user time (s): 1799.62
CPU system time (s): 0.45793
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 1340996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.45793
maximum resident set size= 1109096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276364
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= 438
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5663 second user time and 6.94294 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-19 01:06:05
IDJOB=4108413
IDBENCH=77343
IDSOLVER=2542
FILE ID=node141/4108413-1466291165
RUNJOBID= node141-1466264081-7756
PBS_JOBID= 19918217
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12049_10.std.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108413-1466291165/watcher-4108413-1466291165 -o /tmp/evaluation-result-4108413-1466291165/solver-4108413-1466291165 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7756 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108413-1466291165.opb

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

MD5SUM BENCH= 447a543f878ceafadea8d85be2867299
RANDOM SEED=294126150

node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.547
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.547
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30015148 kB
Buffers:          170204 kB
Cached:           286268 kB
SwapCached:         2528 kB
Active:          1283836 kB
Inactive:         296136 kB
Active(anon):    1123400 kB
Inactive(anon):     2028 kB
Active(file):     160436 kB
Inactive(file):   294108 kB
Unevictable:      529572 kB
Mlocked:          496868 kB
SwapTotal:      67108856 kB
SwapFree:       67099068 kB
Dirty:             24088 kB
Writeback:             0 kB
AnonPages:       1636888 kB
Mapped:            10696 kB
Shmem:                 0 kB
Slab:             611644 kB
SReclaimable:      55188 kB
SUnreclaim:       556456 kB
KernelStack:        1488 kB
PageTables:         7492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1799048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    493568 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= 71640 MiB
End job on node141 at 2016-06-19 01:36:06