Trace number 4079116

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.1 1800.38

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_100_3__3_91__16.opb
MD5SUMdd2523e10c08c9cb3b30bc694276e5a5
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark70998
Best CPU time to get the best result obtained on this benchmark564.672
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4898
Total number of constraints400
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)302
Number of constraints which are nor clauses,nor cardinality constraints98
Minimum length of a constraint16
Maximum length of a constraint273
Number of terms in the objective function 4800
Biggest coefficient in the objective function 94834
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 173230512
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 94834
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 173230512
Number of bits of the biggest sum of numbers28
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-07T04:23:59+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-4079116-1465266239.opb"]
0.00/0.01	c use --random-gen="514432817 2349487037 3329720220 670411734 4140571699 348853435 558128309 4012518195 2090704460 922927601 2477542540 2480541297 230788441 2114621728 1807960151 2324771966 3355023316 2062869655 3525303808 256744065 1438718393 3304259548 726333617 314098979 112056682 26037050 2725146844 850616899 3820432676 2657721486 209004139 3951677836 4205966752 703487984 113963543 1303042635 29087718 3449389301 2892383512 1881987328 4175299496 2520171522 1023744182 2797207565 3012901316 3831788036 2273582814 1289624299 419960152 209080279 3654639432 753068107 2975737741 4047165073 1019861239 2188377321 727179786 3585650487 1851243054 1696972386 2556499742 1254518793 3238597723 1711539017 2098169594 1430064503 3025631522 3042612462 2434872158 2666857707 501013422 2033973071 1644254539 1976126310 2247501256 1135432062 2274701613 1951375044 2240495565 165813795 1516564952 95310602 4161251844 2249485594 2853914164 3739360049 2953659100 1633671216 1534584623 2193930431 1099504338 1356421442 148435982 1849749045 911526187 172320551 2766722555 3842033973 2632771626 3358431194 1435585973 4131322837 301718174 4107753401 232798447 2518430896 649152478 1555035707 146635476 2562688151 2080412770 3262285784 2103988673 1976456983 4178985829 412901576 243949793 782359909 3516603974 1850741905 3328588215 66737243 341693621 2577139348 3792932352 1350834427 979475228 3123460556 1814699257 3762030239 103370358 1070628942 1283383675 3433155472 311389540 807491427 2889860346 435673896 3962110215 8978823 707827948 3137688700 2095191690 88114272 1825351647 1123440482 1129051006 3003010803 2997580931 386410152 227886178 2892812944 1978199794 3103298725 3380769742 3304742294 1416056959 2295961903 4155284627 438746310 3428130404 4188590051 2650230819 2778895828 2500820267 3895066327 3683190343 639623563 686665817 3130218431 1203374638 1063161726 1363021995 3688136689 1117581263 2695642127 3490626168 3545400340 3058782331 2528227486 3266848931 1886226690 4106553394 1258541981 3768879534 2634487464 117544320 4008679457 544908369 3772053655 1056658927 2974298957 367266404 3410573391 226009038 3152696966 2233809341 2256430321 2396902234 1417219593 153916692 2533912713 2743598644 3530232963 1391709859 1357789512 3114272206 3306993593 4215928406 3914895876 1363535315 3495194438 852726229 1441381539 1746209727 2843836244 2890549334 1893453076 52487332 2978294287 1953369850 780972795 1894823098 1644562794 949866207 2585204607 4212135566 4052408265 1322926360 1118944506 2271955295 146643698 1644297419 3154210383 3125255063 4159981687 2946433917 1466593098 4146295873 3153575150 3978642392 3425593958 346600904 2070840374 3347581049 2749382433 3754097440 1611616281 21959032 3073426964 368553804 270516492 2165955648 2492449753 2512121028 2607518402 255 362436" option to reproduce the execution
0.00/0.05	c #vars 4898
0.00/0.05	c #constraints 400
0.09/0.10	c BCD2: Hardening is enabled.
0.09/0.10	c BCD2: BiasedSearch is enabled.
0.09/0.10	c Solving starts ...
0.09/0.10	c ============================[ Search Statistics ]============================
0.09/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.10	c =============================================================================
0.09/0.10	c  0.0s |       0 |        0 |        0 |     1799      0 |        0 |        0
0.09/0.16	c  0.1s |       1 |     1465 |      100 |     1799      0 |        0 |        0
0.19/0.21	c  0.1s |       1 |     3003 |      156 |     1979      0 |        0 |        0
0.19/0.21	c #cpu_time = 0.101s
0.19/0.21	c #wall_clock_time = 0.101s
0.19/0.21	c #decision = 3003
0.19/0.21	c #random_decision = 7
0.19/0.21	c #conflict = 156
0.19/0.21	c #restart = 1
0.19/0.21	o 3328040
0.19/0.25	c BCD2: updating upper bound: 173230512 -> 3328039
0.19/0.28	c BCD2: 0 <= obj <= 3328039
0.19/0.28	c BCD2: #cores=0, #unrelaxed=4800, #relaxed=0, #hardened=0
0.19/0.28	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.28	c Solving starts ...
0.19/0.28	c ============================[ Search Statistics ]============================
0.19/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.28	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     1979      0 |        0 |        0
0.19/0.29	c  0.0s |       0 |      567 |        0 |     1979      0 |        0 |        0
0.19/0.29	c #cpu_time = 0.006s
0.19/0.29	c #wall_clock_time = 0.006s
0.19/0.29	c #decision = 567
0.19/0.29	c #random_decision = 0
0.19/0.29	c #conflict = 0
0.19/0.29	c #restart = 0
0.19/0.29	c BCD2: found a new core of size 95: cost of the new core is >=9941
0.19/0.29	c lower bound updated to 9941
0.29/0.31	c BCD2: 9941 <= obj <= 3328039
0.29/0.31	c BCD2: #cores=1, #unrelaxed=4705, #relaxed=95, #hardened=0
0.29/0.31	c BCD2: #sat=1 #unsat=2 bias=2/3
0.79/0.82	c Solving starts ...
0.79/0.82	c ============================[ Search Statistics ]============================
0.79/0.82	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.79/0.82	c       |         |          |          |    Limit     GC | Var      | Constra 
0.79/0.82	c =============================================================================
0.79/0.82	c  0.0s |       0 |        0 |        0 |     1979      0 |        0 |        0
0.79/0.89	c  0.1s |       0 |     4782 |       64 |     1979      0 |        0 |        0
0.79/0.89	c #cpu_time = 0.061s
0.79/0.89	c #wall_clock_time = 0.061s
0.79/0.89	c #decision = 4782
0.79/0.89	c #random_decision = 0
0.79/0.89	c #conflict = 64
0.79/0.89	c #restart = 0
0.79/0.89	c BCD2: found a new core of size 4370: cost of the new core is >=2279
0.79/0.89	c lower bound updated to 12220
0.89/0.91	c BCD2: 12220 <= obj <= 3328039
0.89/0.91	c BCD2: #cores=2, #unrelaxed=335, #relaxed=4465, #hardened=0
0.89/0.91	c BCD2: #sat=1 #unsat=3 bias=3/4
0.89/0.93	c Solving starts ...
0.89/0.93	c ============================[ Search Statistics ]============================
0.89/0.93	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.89/0.93	c       |         |          |          |    Limit     GC | Var      | Constra 
0.89/0.93	c =============================================================================
0.89/0.93	c  0.0s |       0 |        0 |        0 |     1979      0 |        0 |        0
0.89/0.97	c  0.0s |       0 |     3755 |       93 |     2177      0 |        0 |        0
0.89/0.97	c #cpu_time = 0.039s
0.89/0.97	c #wall_clock_time = 0.039s
0.89/0.97	c #decision = 3755
0.89/0.97	c #random_decision = 13
0.89/0.97	c #conflict = 93
0.89/0.97	c #restart = 0
0.89/0.97	o 652073
0.99/1.01	c BCD2: updating upper bound: 3328039 -> 652072
0.99/1.06	c BCD2: 12220 <= obj <= 652072
0.99/1.06	c BCD2: #cores=2, #unrelaxed=335, #relaxed=4465, #hardened=0
0.99/1.06	c BCD2: #sat=2 #unsat=3 bias=3/5
194.16/194.25	c Solving starts ...
194.16/194.25	c ============================[ Search Statistics ]============================
194.16/194.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
194.16/194.25	c       |         |          |          |    Limit     GC | Var      | Constra 
194.16/194.25	c =============================================================================
194.16/194.25	c  0.0s |       0 |        0 |        0 |     2177      0 |        0 |        1
194.56/194.67	c  0.4s |       1 |     2543 |      100 |     2177      0 |        0 |        1
196.66/196.79	c  2.5s |       2 |     4643 |      250 |     2395      0 |        0 |        1
198.66/198.76	c  4.5s |       3 |     8284 |      475 |     2395      0 |        0 |        1
201.27/201.37	c  7.1s |       3 |     9896 |      675 |     2635      0 |        0 |        1
202.86/202.94	c  8.7s |       4 |    10981 |      813 |     2635      0 |        0 |        1
205.06/205.14	c 10.9s |       4 |    12904 |     1013 |     2899      0 |        0 |        1
208.26/208.38	c 14.1s |       4 |    14058 |     1313 |     2899      0 |        0 |        1
208.36/208.49	c 14.2s |       5 |    14065 |     1320 |     2899      0 |        0 |        1
211.65/211.78	c 17.5s |       5 |    15189 |     1520 |     2899      0 |        0 |        1
214.16/214.27	c 20.0s |       5 |    17307 |     1820 |     3189      0 |        0 |        1
216.56/216.62	c 22.4s |       6 |    19523 |     2081 |     3189      0 |        0 |        1
218.55/218.63	c 24.4s |       6 |    20643 |     2281 |     3189      0 |        0 |        1
221.45/221.50	c 27.2s |       6 |    21727 |     2581 |     3189      0 |        0 |        1
224.25/224.38	c 30.1s |       6 |    22828 |     2881 |     3189      0 |        0 |        1
226.95/227.08	c 32.8s |       6 |    24070 |     3181 |     3508      0 |        0 |        1
227.45/227.58	c 33.3s |       7 |    24115 |     3223 |     3508      0 |        0 |        1
229.75/229.87	c 35.6s |       7 |    25131 |     3423 |     3508      1 |        0 |        1
231.95/232.01	c 37.8s |       7 |    25676 |     3623 |     3508      1 |        0 |        1
234.26/234.40	c 40.1s |       7 |    26660 |     3823 |     3508      1 |        0 |        1
236.95/237.01	c 42.8s |       7 |    27039 |     4023 |     3508      1 |        0 |        1
239.55/239.69	c 45.4s |       7 |    27604 |     4223 |     3508      1 |        0 |        1
242.45/242.57	c 48.3s |       7 |    28135 |     4423 |     3508      1 |        0 |        1
244.86/244.92	c 50.7s |       7 |    28641 |     4623 |     3859      1 |        0 |        1
247.56/247.64	c 53.4s |       7 |    31581 |     4923 |     3859      1 |        0 |        1
247.65/247.74	c 53.5s |       8 |    31616 |     4936 |     3859      1 |        0 |        1
249.76/249.85	c 55.6s |       8 |    33123 |     5236 |     3859      1 |        0 |        1
251.86/251.99	c 57.7s |       8 |    34473 |     5536 |     3859      1 |        0 |        1
253.95/254.00	c 59.7s |       8 |    35250 |     5736 |     3859      1 |        0 |        1
256.36/256.42	c 62.2s |       8 |    35978 |     5936 |     3859      1 |        0 |        1
258.65/258.76	c 64.5s |       8 |    36800 |     6136 |     3859      1 |        0 |        1
261.55/261.64	c 67.4s |       8 |    39068 |     6436 |     3859      1 |        0 |        1
264.44/264.52	c 70.3s |       8 |    41053 |     6736 |     3859      1 |        0 |        1
266.54/266.69	c 72.4s |       8 |    41821 |     6936 |     3859      2 |        0 |        1
268.95/269.03	c 74.8s |       8 |    43348 |     7136 |     3859      2 |        0 |        1
271.15/271.24	c 77.0s |       8 |    43734 |     7336 |     4245      2 |        0 |        1
273.15/273.22	c 79.0s |       9 |    44299 |     7506 |     4245      2 |        0 |        1
275.25/275.39	c 81.1s |       9 |    45324 |     7706 |     4245      2 |        0 |        1
277.45/277.50	c 83.2s |       9 |    46978 |     7906 |     4245      2 |        0 |        1
279.85/279.96	c 85.7s |       9 |    47666 |     8106 |     4245      2 |        0 |        1
282.44/282.55	c 88.3s |       9 |    48314 |     8306 |     4245      2 |        0 |        1
285.24/285.33	c 91.1s |       9 |    50106 |     8506 |     4245      2 |        0 |        1
287.84/287.99	c 93.7s |       9 |    51186 |     8806 |     4245      2 |        0 |        1
290.36/290.50	c 96.2s |       9 |    53181 |     9006 |     4245      2 |        0 |        1
292.56/292.63	c 98.4s |       9 |    57060 |     9206 |     4245      2 |        0 |        1
294.75/294.84	c  100s |       9 |    57645 |     9406 |     4245      2 |        0 |        1
297.24/297.32	c  103s |       9 |    58455 |     9706 |     4245      2 |        0 |        1
299.54/299.67	c  105s |       9 |    59042 |    10006 |     4245      3 |        0 |        1
301.84/301.92	c  107s |       9 |    59752 |    10306 |     4245      3 |        0 |        1
304.14/304.25	c  109s |       9 |    60432 |    10506 |     4245      3 |        0 |        1
306.65/306.79	c  112s |       9 |    61112 |    10706 |     4245      3 |        0 |        1
309.05/309.12	c  114s |       9 |    61693 |    10906 |     4245      3 |        0 |        1
312.05/312.10	c  117s |       9 |    62289 |    11206 |     4670      3 |        0 |        1
313.15/313.25	c  118s |      10 |    62925 |    11361 |     4670      3 |        0 |        1
315.55/315.67	c  121s |      10 |    64228 |    11661 |     4670      3 |        0 |        1
318.44/318.54	c  124s |      10 |    65497 |    11961 |     4670      3 |        0 |        1
320.74/320.89	c  126s |      10 |    66277 |    12261 |     4670      3 |        0 |        1
322.84/322.93	c  128s |      10 |    66615 |    12461 |     4670      3 |        0 |        1
325.55/325.62	c  131s |      10 |    67598 |    12761 |     4670      4 |        0 |        1
327.64/327.79	c  133s |      10 |    68466 |    12961 |     4670      4 |        0 |        1
330.24/330.35	c  136s |      10 |    69542 |    13261 |     4670      4 |        0 |        1
332.54/332.67	c  138s |      10 |    72318 |    13561 |     4670      4 |        0 |        1
335.04/335.15	c  140s |      10 |    73106 |    13861 |     4670      4 |        0 |        1
337.24/337.39	c  143s |      10 |    74193 |    14161 |     4670      4 |        0 |        1
339.54/339.60	c  145s |      10 |    75549 |    14461 |     4670      4 |        0 |        1
341.94/342.00	c  147s |      10 |    76439 |    14661 |     4670      4 |        0 |        1
344.64/344.73	c  150s |      10 |    77371 |    14961 |     4670      4 |        0 |        1
346.74/346.85	c  152s |      10 |    77799 |    15161 |     4670      4 |        0 |        1
349.44/349.57	c  155s |      10 |    78327 |    15461 |     4670      5 |        0 |        1
351.95/352.03	c  157s |      10 |    79193 |    15761 |     4670      5 |        0 |        1
354.34/354.48	c  160s |      10 |    80138 |    16061 |     4670      5 |        0 |        1
356.64/356.77	c  162s |      10 |    80990 |    16361 |     4670      5 |        0 |        1
359.54/359.61	c  165s |      10 |    82013 |    16661 |     4670      5 |        0 |        1
361.74/361.82	c  167s |      10 |    82830 |    16861 |     5137      5 |        0 |        1
364.04/364.13	c  169s |      11 |    83726 |    17144 |     5137      5 |        0 |        1
366.94/367.08	c  172s |      11 |    84979 |    17444 |     5137      5 |        0 |        1
369.34/369.41	c  175s |      11 |    89297 |    17744 |     5137      5 |        0 |        1
371.74/371.83	c  177s |      11 |    93894 |    18344 |     5137      5 |        0 |        1
374.04/374.15	c  179s |      11 |    95620 |    18844 |     5137      6 |        0 |        1
376.43/376.53	c  182s |      11 |    97106 |    19244 |     5137      6 |        0 |        1
378.53/378.67	c  184s |      11 |    99395 |    19544 |     5137      6 |        0 |        1
381.23/381.33	c  187s |      11 |   101749 |    19944 |     5137      6 |        0 |        1
383.43/383.58	c  189s |      11 |   102774 |    20144 |     5137      6 |        0 |        1
385.73/385.86	c  191s |      11 |   104409 |    20344 |     5137      6 |        0 |        1
387.83/387.90	c  193s |      11 |   106674 |    20644 |     5137      6 |        0 |        1
390.54/390.62	c  196s |      11 |   108998 |    21044 |     5137      6 |        0 |        1
393.23/393.31	c  199s |      11 |   110924 |    21344 |     5137      6 |        0 |        1
396.04/396.16	c  201s |      11 |   111789 |    21544 |     5137      6 |        0 |        1
400.23/400.32	c  206s |      11 |   113810 |    21744 |     5137      6 |        0 |        1
402.83/402.96	c  208s |      11 |   114564 |    21844 |     5137      6 |        0 |        1
406.73/406.87	c  212s |      11 |   115158 |    22044 |     5137      6 |        0 |        1
409.14/409.26	c  215s |      11 |   115531 |    22144 |     5137      7 |        0 |        1
412.93/413.04	c  218s |      11 |   116289 |    22344 |     5137      7 |        0 |        1
415.53/415.69	c  221s |      11 |   117178 |    22444 |     5137      7 |        0 |        1
418.93/419.04	c  224s |      11 |   119823 |    22644 |     5137      7 |        0 |        1
422.63/422.75	c  228s |      11 |   121256 |    22844 |     5137      7 |        0 |        1
425.73/425.87	c  231s |      11 |   122257 |    23044 |     5137      7 |        0 |        1
428.13/428.29	c  234s |      11 |   123657 |    23244 |     5137      7 |        0 |        1
430.23/430.37	c  236s |      11 |   124841 |    23344 |     5137      7 |        0 |        1
432.33/432.45	c  238s |      11 |   125616 |    23544 |     5137      7 |        0 |        1
435.53/435.61	c  241s |      11 |   126337 |    23744 |     5137      7 |        0 |        1
438.12/438.29	c  244s |      11 |   126829 |    23944 |     5137      7 |        0 |        1
440.72/440.86	c  246s |      11 |   128136 |    24144 |     5137      7 |        0 |        1
442.82/442.90	c  248s |      11 |   128359 |    24244 |     5137      7 |        0 |        1
445.22/445.39	c  251s |      11 |   128542 |    24344 |     5137      7 |        0 |        1
447.32/447.48	c  253s |      11 |   128709 |    24444 |     5137      7 |        0 |        1
449.93/450.01	c  255s |      11 |   129779 |    24644 |     5137      7 |        0 |        1
452.03/452.14	c  257s |      11 |   130239 |    24744 |     5137      7 |        0 |        1
454.33/454.49	c  260s |      11 |   131282 |    24944 |     5137      8 |        0 |        1
456.53/456.62	c  262s |      11 |   132546 |    25144 |     5137      8 |        0 |        1
459.12/459.27	c  265s |      11 |   133103 |    25244 |     5137      8 |        0 |        1
462.82/462.92	c  268s |      11 |   134310 |    25444 |     5651      8 |        0 |        1
465.02/465.11	c  270s |      11 |   134650 |    25544 |     5651      8 |        0 |        1
469.22/469.36	c  275s |      11 |   135106 |    25744 |     5651      8 |        0 |        1
470.62/470.79	c  276s |      12 |   135306 |    25819 |     5651      8 |        0 |        1
473.12/473.29	c  279s |      12 |   136110 |    25919 |     5651      8 |        0 |        1
476.72/476.80	c  282s |      12 |   137045 |    26119 |     5651      8 |        0 |        1
479.72/479.86	c  285s |      12 |   138106 |    26319 |     5651      8 |        0 |        1
483.01/483.19	c  288s |      12 |   139192 |    26519 |     5651      8 |        0 |        1
486.51/486.63	c  292s |      12 |   140079 |    26719 |     5651      8 |        0 |        1
489.91/490.01	c  295s |      12 |   141245 |    26919 |     5651      8 |        0 |        1
492.21/492.37	c  298s |      12 |   141588 |    27019 |     5651      8 |        0 |        1
494.41/494.57	c  300s |      12 |   141987 |    27119 |     5651      8 |        0 |        1
498.41/498.57	c  304s |      12 |   142760 |    27319 |     5651      8 |        0 |        1
502.41/502.57	c  308s |      12 |   143405 |    27519 |     5651      8 |        0 |        1
505.61/505.78	c  311s |      12 |   143688 |    27619 |     5651      8 |        0 |        1
508.31/508.40	c  314s |      12 |   144089 |    27719 |     5651      8 |        0 |        1
510.61/510.79	c  316s |      12 |   144478 |    27819 |     5651      8 |        0 |        1
513.72/513.81	c  319s |      12 |   144942 |    27919 |     5651      8 |        0 |        1
516.11/516.26	c  322s |      12 |   145511 |    28119 |     5651      8 |        0 |        1
519.11/519.26	c  325s |      12 |   145886 |    28319 |     5651      8 |        0 |        1
522.61/522.78	c  328s |      12 |   146587 |    28519 |     5651      8 |        0 |        1
527.11/527.22	c  332s |      12 |   147420 |    28719 |     5651      8 |        0 |        1
529.61/529.72	c  335s |      12 |   148005 |    28819 |     5651      8 |        0 |        1
531.71/531.81	c  337s |      12 |   148543 |    28919 |     5651      8 |        0 |        1
534.00/534.16	c  339s |      12 |   148954 |    29019 |     5651      8 |        0 |        1
536.81/536.96	c  342s |      12 |   149233 |    29119 |     5651      8 |        0 |        1
539.90/540.01	c  345s |      12 |   149468 |    29219 |     5651      9 |        0 |        1
542.31/542.49	c  348s |      12 |   149871 |    29319 |     5651      9 |        0 |        1
546.10/546.20	c  351s |      12 |   150683 |    29519 |     5651      9 |        0 |        1
550.80/550.94	c  356s |      12 |   151348 |    29719 |     5651      9 |        0 |        1
553.31/553.46	c  359s |      12 |   151725 |    29819 |     5651      9 |        0 |        1
555.60/555.71	c  361s |      12 |   152150 |    29919 |     5651      9 |        0 |        1
558.40/558.51	c  364s |      12 |   152727 |    30019 |     5651      9 |        0 |        1
560.91/561.03	c  366s |      12 |   153037 |    30119 |     5651      9 |        0 |        1
563.70/563.84	c  369s |      12 |   153350 |    30219 |     5651      9 |        0 |        1
566.41/566.59	c  372s |      12 |   153659 |    30319 |     5651      9 |        0 |        1
569.10/569.24	c  374s |      12 |   153809 |    30419 |     5651      9 |        0 |        1
571.30/571.41	c  377s |      12 |   154099 |    30519 |     5651      9 |        0 |        1
573.70/573.82	c  379s |      12 |   155053 |    30819 |     5651      9 |        0 |        1
576.81/576.97	c  382s |      12 |   155852 |    31019 |     5651      9 |        0 |        1
580.71/580.80	c  386s |      12 |   157059 |    31219 |     5651      9 |        0 |        1
584.70/584.84	c  390s |      12 |   157847 |    31419 |     5651      9 |        0 |        1
586.70/586.86	c  392s |      12 |   158219 |    31519 |     5651      9 |        0 |        1
589.00/589.17	c  394s |      12 |   158504 |    31619 |     5651      9 |        0 |        1
591.50/591.64	c  397s |      12 |   158922 |    31719 |     5651      9 |        0 |        1
594.40/594.51	c  400s |      12 |   159248 |    31819 |     5651      9 |        0 |        1
596.40/596.54	c  402s |      12 |   159572 |    31919 |     5651      9 |        0 |        1
598.90/599.00	c  404s |      12 |   159993 |    32019 |     5651      9 |        0 |        1
601.50/601.60	c  407s |      12 |   160228 |    32119 |     5651      9 |        0 |        1
603.70/603.83	c  409s |      12 |   162140 |    32219 |     5651      9 |        0 |        1
605.90/606.06	c  411s |      12 |   164243 |    32319 |     5651      9 |        0 |        1
608.40/608.56	c  414s |      12 |   164608 |    32419 |     5651      9 |        0 |        1
611.61/611.78	c  417s |      12 |   164841 |    32519 |     5651     10 |        0 |        1
614.00/614.14	c  419s |      12 |   165396 |    32619 |     5651     10 |        0 |        1
617.30/617.43	c  423s |      12 |   167932 |    32819 |     5651     10 |        0 |        1
619.50/619.69	c  425s |      12 |   168296 |    32919 |     5651     10 |        0 |        1
622.90/623.02	c  428s |      12 |   169130 |    33119 |     5651     10 |        0 |        1
626.00/626.12	c  431s |      12 |   169754 |    33319 |     5651     10 |        0 |        1
628.90/629.03	c  434s |      12 |   170375 |    33519 |     5651     10 |        0 |        1
630.90/631.04	c  436s |      12 |   170840 |    33719 |     5651     10 |        0 |        1
635.20/635.32	c  441s |      12 |   171507 |    33919 |     5651     10 |        0 |        1
638.30/638.43	c  444s |      12 |   172576 |    34119 |     5651     10 |        0 |        1
640.29/640.43	c  446s |      12 |   173207 |    34319 |     5651     10 |        0 |        1
643.19/643.39	c  449s |      12 |   175235 |    34519 |     5651     10 |        0 |        1
647.09/647.21	c  452s |      12 |   176668 |    34719 |     5651     10 |        0 |        1
650.10/650.22	c  455s |      12 |   177550 |    34919 |     5651     10 |        0 |        1
652.59/652.74	c  458s |      12 |   177968 |    35119 |     5651     10 |        0 |        1
656.29/656.45	c  462s |      12 |   179061 |    35319 |     5651     10 |        0 |        1
661.19/661.32	c  467s |      12 |   179870 |    35519 |     5651     10 |        0 |        1
664.89/665.08	c  470s |      12 |   180498 |    35719 |     5651     10 |        0 |        1
667.70/667.88	c  473s |      12 |   180772 |    35819 |     5651     11 |        0 |        1
670.29/670.46	c  476s |      12 |   180960 |    35919 |     5651     11 |        0 |        1
672.89/673.01	c  478s |      12 |   182399 |    36019 |     5651     11 |        0 |        1
675.49/675.62	c  481s |      12 |   182555 |    36119 |     5651     11 |        0 |        1
677.59/677.78	c  483s |      12 |   182846 |    36219 |     5651     11 |        0 |        1
680.99/681.14	c  486s |      12 |   184267 |    36519 |     5651     11 |        0 |        1
683.49/683.69	c  489s |      12 |   184487 |    36619 |     5651     11 |        0 |        1
685.99/686.15	c  491s |      12 |   187517 |    36819 |     5651     11 |        0 |        1
687.99/688.19	c  493s |      12 |   188063 |    36919 |     5651     11 |        0 |        1
691.49/691.69	c  497s |      12 |   190002 |    37119 |     5651     11 |        0 |        1
693.99/694.15	c  499s |      12 |   190574 |    37219 |     5651     11 |        0 |        1
696.19/696.35	c  502s |      12 |   190956 |    37319 |     5651     11 |        0 |        1
699.49/699.66	c  505s |      12 |   192845 |    37519 |     5651     11 |        0 |        1
702.68/702.90	c  508s |      12 |   195130 |    37719 |     5651     11 |        0 |        1
704.88/705.04	c  510s |      12 |   195700 |    37819 |     5651     11 |        0 |        1
708.39/708.58	c  514s |      12 |   196675 |    38019 |     5651     11 |        0 |        1
712.69/712.81	c  518s |      12 |   198028 |    38219 |     5651     11 |        0 |        1
714.99/715.15	c  520s |      12 |   198343 |    38319 |     6217     11 |        0 |        1
718.29/718.48	c  524s |      12 |   198486 |    38419 |     6217     11 |        0 |        1
720.78/720.98	c  526s |      12 |   198656 |    38519 |     6217     11 |        0 |        1
723.88/724.06	c  529s |      12 |   198884 |    38619 |     6217     11 |        0 |        1
726.08/726.23	c  531s |      12 |   199071 |    38719 |     6217     11 |        0 |        1
729.19/729.31	c  535s |      12 |   199628 |    38819 |     6217     11 |        0 |        1
729.48/729.67	c  535s |      13 |   199645 |    38832 |     6217     11 |        0 |        1
731.88/732.06	c  537s |      13 |   200245 |    38932 |     6217     12 |        0 |        1
733.88/734.07	c  539s |      13 |   200804 |    39032 |     6217     12 |        0 |        1
736.38/736.55	c  542s |      13 |   201228 |    39132 |     6217     12 |        0 |        1
739.18/739.37	c  545s |      13 |   201499 |    39232 |     6217     12 |        0 |        1
741.78/741.91	c  547s |      13 |   201709 |    39332 |     6217     12 |        0 |        1
744.18/744.34	c  550s |      13 |   202071 |    39432 |     6217     12 |        0 |        1
746.28/746.48	c  552s |      13 |   202331 |    39532 |     6217     12 |        0 |        1
750.08/750.21	c  555s |      13 |   202921 |    39632 |     6217     12 |        0 |        1
752.17/752.39	c  558s |      13 |   203130 |    39732 |     6217     12 |        0 |        1
754.58/754.75	c  560s |      13 |   203287 |    39832 |     6217     12 |        0 |        1
756.57/756.79	c  562s |      13 |   203668 |    39932 |     6217     12 |        0 |        1
759.98/760.16	c  565s |      13 |   204710 |    40232 |     6217     12 |        0 |        1
763.47/763.62	c  569s |      13 |   205761 |    40432 |     6217     12 |        0 |        1
765.58/765.76	c  571s |      13 |   206287 |    40532 |     6217     12 |        0 |        1
768.57/768.78	c  574s |      13 |   207087 |    40732 |     6217     12 |        0 |        1
771.47/771.62	c  577s |      13 |   208156 |    40932 |     6217     12 |        0 |        1
775.07/775.29	c  581s |      13 |   208609 |    41132 |     6217     12 |        0 |        1
777.58/777.72	c  583s |      13 |   209040 |    41332 |     6217     12 |        0 |        1
779.88/780.02	c  585s |      13 |   209444 |    41432 |     6217     12 |        0 |        1
782.77/782.96	c  588s |      13 |   210209 |    41632 |     6217     12 |        0 |        1
784.97/785.15	c  590s |      13 |   211123 |    41832 |     6217     12 |        0 |        1
787.48/787.70	c  593s |      13 |   211898 |    42032 |     6217     12 |        0 |        1
790.67/790.86	c  596s |      13 |   212739 |    42232 |     6217     12 |        0 |        1
793.67/793.84	c  599s |      13 |   213370 |    42432 |     6217     12 |        0 |        1
796.77/796.96	c  602s |      13 |   213994 |    42632 |     6217     12 |        0 |        1
799.87/800.00	c  605s |      13 |   214365 |    42832 |     6217     12 |        0 |        1
803.37/803.57	c  609s |      13 |   214926 |    43032 |     6217     12 |        0 |        1
805.47/805.66	c  611s |      13 |   215153 |    43132 |     6217     12 |        0 |        1
809.17/809.38	c  615s |      13 |   216777 |    43332 |     6217     12 |        0 |        1
811.26/811.41	c  617s |      13 |   217048 |    43432 |     6217     12 |        0 |        1
814.56/814.71	c  620s |      13 |   217756 |    43632 |     6217     13 |        0 |        1
816.76/816.98	c  622s |      13 |   218232 |    43732 |     6217     13 |        0 |        1
820.57/820.76	c  626s |      13 |   218864 |    43932 |     6217     13 |        0 |        1
823.87/824.01	c  629s |      13 |   219630 |    44132 |     6217     13 |        0 |        1
825.97/826.14	c  631s |      13 |   219842 |    44232 |     6217     13 |        0 |        1
829.46/829.63	c  635s |      13 |   220169 |    44432 |     6217     13 |        0 |        1
831.76/831.96	c  637s |      13 |   220475 |    44532 |     6217     13 |        0 |        1
835.66/835.80	c  641s |      13 |   221502 |    44732 |     6217     13 |        0 |        1
838.36/838.53	c  644s |      13 |   222075 |    44932 |     6217     13 |        0 |        1
841.66/841.89	c  647s |      13 |   222744 |    45132 |     6217     13 |        0 |        1
844.26/844.41	c  650s |      13 |   222970 |    45232 |     6217     13 |        0 |        1
847.86/848.07	c  653s |      13 |   224807 |    45432 |     6217     13 |        0 |        1
850.06/850.23	c  655s |      13 |   225654 |    45532 |     6217     13 |        0 |        1
852.96/853.14	c  658s |      13 |   226986 |    45632 |     6217     13 |        0 |        1
856.06/856.23	c  661s |      13 |   228933 |    45832 |     6217     13 |        0 |        1
858.26/858.44	c  664s |      13 |   230110 |    45932 |     6217     13 |        0 |        1
860.36/860.57	c  666s |      13 |   231038 |    46032 |     6217     13 |        0 |        1
863.36/863.59	c  669s |      13 |   232644 |    46232 |     6217     13 |        0 |        1
867.05/867.23	c  672s |      13 |   233495 |    46432 |     6217     13 |        0 |        1
869.05/869.24	c  674s |      13 |   233785 |    46532 |     6217     13 |        0 |        1
871.16/871.37	c  677s |      13 |   234314 |    46632 |     6217     14 |        0 |        1
874.75/874.97	c  680s |      13 |   236072 |    46832 |     6217     14 |        0 |        1
876.95/877.19	c  682s |      13 |   237953 |    47132 |     6217     14 |        0 |        1
880.55/880.75	c  686s |      13 |   238947 |    47332 |     6217     14 |        0 |        1
884.85/885.02	c  690s |      13 |   239544 |    47532 |     6217     14 |        0 |        1
888.25/888.44	c  694s |      13 |   240437 |    47732 |     6217     14 |        0 |        1
892.06/892.21	c  697s |      13 |   242297 |    47832 |     6217     14 |        0 |        1
895.65/895.85	c  701s |      13 |   243883 |    48032 |     6217     14 |        0 |        1
897.95/898.15	c  703s |      13 |   244398 |    48132 |     6217     14 |        0 |        1
900.35/900.53	c  706s |      13 |   244649 |    48232 |     6217     14 |        0 |        1
903.25/903.44	c  709s |      13 |   247488 |    48432 |     6217     14 |        0 |        1
906.35/906.59	c  712s |      13 |   248145 |    48632 |     6217     14 |        0 |        1
908.85/909.07	c  714s |      13 |   251074 |    48832 |     6217     14 |        0 |        1
912.25/912.44	c  718s |      13 |   253391 |    49032 |     6217     14 |        0 |        1
914.45/914.64	c  720s |      13 |   257145 |    49232 |     6217     14 |        0 |        1
918.75/918.93	c  724s |      13 |   258321 |    49432 |     6217     14 |        0 |        1
922.54/922.78	c  728s |      13 |   259280 |    49632 |     6217     14 |        0 |        1
925.54/925.72	c  731s |      13 |   259650 |    49732 |     6217     14 |        0 |        1
928.84/929.04	c  734s |      13 |   261200 |    49932 |     6217     14 |        0 |        1
931.24/931.41	c  737s |      13 |   262628 |    50132 |     6217     14 |        0 |        1
933.34/933.54	c  739s |      13 |   263749 |    50332 |     6217     14 |        0 |        1
935.74/935.97	c  741s |      13 |   264259 |    50532 |     6217     14 |        0 |        1
938.74/938.96	c  744s |      13 |   264929 |    50832 |     6217     14 |        0 |        1
940.94/941.10	c  746s |      13 |   265296 |    51032 |     6217     14 |        0 |        1
943.75/943.92	c  749s |      13 |   267648 |    51232 |     6217     15 |        0 |        1
946.95/947.20	c  752s |      13 |   270636 |    51432 |     6217     15 |        0 |        1
949.74/949.90	c  755s |      13 |   276313 |    51632 |     6217     15 |        0 |        1
953.04/953.29	c  759s |      13 |   278105 |    51832 |     6217     15 |        0 |        1
956.34/956.52	c  762s |      13 |   279365 |    52032 |     6217     15 |        0 |        1
958.54/958.70	c  764s |      13 |   279569 |    52132 |     6217     15 |        0 |        1
960.64/960.85	c  766s |      13 |   280080 |    52232 |     6217     15 |        0 |        1
962.94/963.12	c  768s |      13 |   280984 |    52332 |     6217     15 |        0 |        1
965.14/965.31	c  771s |      13 |   281258 |    52432 |     6217     15 |        0 |        1
967.34/967.56	c  773s |      13 |   281550 |    52532 |     6217     15 |        0 |        1
971.74/971.96	c  777s |      13 |   282155 |    52732 |     6217     15 |        0 |        1
975.14/975.36	c  781s |      13 |   285936 |    52932 |     6217     15 |        0 |        1
977.54/977.78	c  783s |      13 |   286368 |    53032 |     6217     15 |        0 |        1
979.54/979.79	c  785s |      13 |   288609 |    53332 |     6217     15 |        0 |        1
982.93/983.17	c  788s |      13 |   289506 |    53532 |     6217     15 |        0 |        1
985.23/985.43	c  791s |      13 |   290037 |    53632 |     6217     15 |        0 |        1
987.33/987.53	c  793s |      13 |   290328 |    53732 |     6217     15 |        0 |        1
989.73/989.99	c  795s |      13 |   291170 |    53932 |     6217     15 |        0 |        1
991.93/992.12	c  797s |      13 |   291627 |    54032 |     6217     16 |        0 |        1
995.24/995.44	c  801s |      13 |   293714 |    54232 |     6217     16 |        0 |        1
999.14/999.39	c  805s |      13 |   294872 |    54432 |     6217     16 |        0 |        1
1002.54/1002.73	c  808s |      13 |   295483 |    54632 |     6217     16 |        0 |        1
1004.74/1004.91	c  810s |      13 |   296577 |    54932 |     6217     16 |        0 |        1
1008.14/1008.32	c  814s |      13 |   299049 |    55132 |     6217     16 |        0 |        1
1010.75/1010.96	c  816s |      13 |   302057 |    55332 |     6217     16 |        0 |        1
1013.94/1014.10	c  819s |      13 |   302934 |    55532 |     6217     16 |        0 |        1
1016.54/1016.75	c  822s |      13 |   305210 |    55732 |     6217     16 |        0 |        1
1019.94/1020.18	c  825s |      13 |   306986 |    55932 |     6217     16 |        0 |        1
1022.14/1022.32	c  828s |      13 |   309147 |    56132 |     6217     16 |        0 |        1
1025.14/1025.37	c  831s |      13 |   310715 |    56332 |     6217     16 |        0 |        1
1028.14/1028.38	c  834s |      13 |   311748 |    56532 |     6217     16 |        0 |        1
1031.74/1031.99	c  837s |      13 |   312642 |    56732 |     6217     16 |        0 |        1
1036.14/1036.31	c  842s |      13 |   313400 |    56932 |     6217     16 |        0 |        1
1038.63/1038.88	c  844s |      13 |   314622 |    57032 |     6217     16 |        0 |        1
1041.54/1041.73	c  847s |      13 |   315117 |    57132 |     6217     16 |        0 |        1
1044.13/1044.33	c  850s |      13 |   315330 |    57232 |     6217     16 |        0 |        1
1046.73/1046.94	c  852s |      13 |   315559 |    57332 |     6217     16 |        0 |        1
1049.93/1050.14	c  855s |      13 |   318430 |    57532 |     6217     16 |        0 |        1
1052.23/1052.45	c  858s |      13 |   319613 |    57732 |     6839     16 |        0 |        1
1054.53/1054.75	c  860s |      13 |   320178 |    57832 |     6839     16 |        0 |        1
1058.23/1058.46	c  864s |      13 |   320853 |    58032 |     6839     16 |        0 |        1
1062.13/1062.39	c  868s |      13 |   323236 |    58232 |     6839     16 |        0 |        1
1064.23/1064.50	c  870s |      13 |   323473 |    58332 |     6839     16 |        0 |        1
1064.53/1064.79	c  870s |      14 |   323513 |    58352 |     6839     16 |        0 |        1
1067.73/1067.95	c  873s |      14 |   324211 |    58552 |     6839     17 |        0 |        1
1070.93/1071.18	c  876s |      14 |   324564 |    58752 |     6839     17 |        0 |        1
1074.73/1074.90	c  880s |      14 |   325339 |    58952 |     6839     17 |        0 |        1
1077.63/1077.83	c  883s |      14 |   326178 |    59152 |     6839     17 |        0 |        1
1080.93/1081.18	c  886s |      14 |   327199 |    59352 |     6839     17 |        0 |        1
1084.83/1085.05	c  890s |      14 |   327997 |    59552 |     6839     17 |        0 |        1
1087.42/1087.64	c  893s |      14 |   328895 |    59852 |     6839     17 |        0 |        1
1090.72/1090.92	c  896s |      14 |   329905 |    60052 |     6839     17 |        0 |        1
1092.92/1093.10	c  898s |      14 |   330284 |    60152 |     6839     17 |        0 |        1
1095.62/1095.89	c  901s |      14 |   330633 |    60252 |     6839     17 |        0 |        1
1098.52/1098.79	c  904s |      14 |   330898 |    60352 |     6839     17 |        0 |        1
1101.92/1102.17	c  907s |      14 |   332683 |    60452 |     6839     17 |        0 |        1
1104.92/1105.14	c  910s |      14 |   333062 |    60552 |     6839     17 |        0 |        1
1107.82/1108.08	c  913s |      14 |   333729 |    60652 |     6839     17 |        0 |        1
1111.32/1111.54	c  917s |      14 |   334655 |    60852 |     6839     17 |        0 |        1
1115.52/1115.70	c  921s |      14 |   335566 |    61052 |     6839     17 |        0 |        1
1117.53/1117.77	c  923s |      14 |   335959 |    61152 |     6839     17 |        0 |        1
1119.73/1119.91	c  925s |      14 |   336363 |    61252 |     6839     17 |        0 |        1
1122.52/1122.78	c  928s |      14 |   336810 |    61352 |     6839     17 |        0 |        1
1125.23/1125.43	c  931s |      14 |   337683 |    61552 |     6839     17 |        0 |        1
1127.32/1127.58	c  933s |      14 |   337887 |    61652 |     6839     17 |        0 |        1
1129.52/1129.74	c  935s |      14 |   339168 |    61752 |     6839     17 |        0 |        1
1132.22/1132.49	c  938s |      14 |   339704 |    61852 |     6839     17 |        0 |        1
1135.62/1135.89	c  941s |      14 |   340270 |    62052 |     6839     17 |        0 |        1
1138.62/1138.83	c  944s |      14 |   340816 |    62252 |     6839     17 |        0 |        1
1141.02/1141.29	c  947s |      14 |   341123 |    62452 |     6839     17 |        0 |        1
1143.21/1143.44	c  949s |      14 |   342211 |    62652 |     6839     18 |        0 |        1
1145.51/1145.79	c  951s |      14 |   342828 |    62952 |     6839     18 |        0 |        1
1147.71/1147.93	c  953s |      14 |   343378 |    63052 |     6839     18 |        0 |        1
1151.71/1151.92	c  957s |      14 |   344327 |    63252 |     6839     18 |        0 |        1
1154.21/1154.44	c  960s |      14 |   344614 |    63352 |     6839     18 |        0 |        1
1157.91/1158.15	c  963s |      14 |   344971 |    63452 |     6839     18 |        0 |        1
1160.61/1160.87	c  966s |      14 |   345747 |    63652 |     6839     18 |        0 |        1
1164.31/1164.54	c  970s |      14 |   346279 |    63852 |     6839     18 |        0 |        1
1166.51/1166.78	c  972s |      14 |   346586 |    63952 |     6839     18 |        0 |        1
1169.41/1169.62	c  975s |      14 |   347400 |    64052 |     6839     18 |        0 |        1
1171.51/1171.74	c  977s |      14 |   347863 |    64152 |     6839     18 |        0 |        1
1174.21/1174.43	c  980s |      14 |   349530 |    64252 |     6839     18 |        0 |        1
1178.01/1178.24	c  983s |      14 |   350488 |    64352 |     6839     18 |        0 |        1
1181.31/1181.53	c  987s |      14 |   350805 |    64452 |     6839     18 |        0 |        1
1184.51/1184.75	c  990s |      14 |   351176 |    64552 |     6839     18 |        0 |        1
1187.01/1187.26	c  993s |      14 |   351570 |    64652 |     6839     18 |        0 |        1
1189.91/1190.15	c  995s |      14 |   351949 |    64752 |     6839     18 |        0 |        1
1192.90/1193.14	c  998s |      14 |   352185 |    64852 |     6839     18 |        0 |        1
1195.20/1195.46	c 1001s |      14 |   352675 |    64952 |     6839     18 |        0 |        1
1198.70/1198.92	c 1004s |      14 |   352846 |    65052 |     6839     18 |        0 |        1
1200.80/1201.01	c 1006s |      14 |   353388 |    65152 |     6839     18 |        0 |        1
1203.60/1203.80	c 1009s |      14 |   354031 |    65352 |     6839     18 |        0 |        1
1207.61/1207.86	c 1013s |      14 |   354661 |    65552 |     6839     18 |        0 |        1
1209.70/1209.96	c 1015s |      14 |   355093 |    65652 |     6839     18 |        0 |        1
1212.11/1212.33	c 1018s |      14 |   355374 |    65752 |     6839     18 |        0 |        1
1215.00/1215.29	c 1021s |      14 |   355840 |    65852 |     6839     18 |        0 |        1
1219.00/1219.25	c 1024s |      14 |   356657 |    66052 |     6839     18 |        0 |        1
1221.91/1222.13	c 1027s |      14 |   356897 |    66152 |     6839     18 |        0 |        1
1224.11/1224.32	c 1030s |      14 |   357474 |    66252 |     6839     18 |        0 |        1
1227.00/1227.29	c 1033s |      14 |   357874 |    66352 |     6839     18 |        0 |        1
1229.50/1229.75	c 1035s |      14 |   358293 |    66452 |     6839     18 |        0 |        1
1232.60/1232.86	c 1038s |      14 |   358662 |    66552 |     6839     18 |        0 |        1
1235.90/1236.13	c 1041s |      14 |   359022 |    66652 |     6839     18 |        0 |        1
1238.60/1238.87	c 1044s |      14 |   359573 |    66752 |     6839     18 |        0 |        1
1241.70/1241.98	c 1047s |      14 |   360630 |    66852 |     6839     18 |        0 |        1
1244.00/1244.24	c 1049s |      14 |   360837 |    66952 |     6839     18 |        0 |        1
1246.70/1246.93	c 1052s |      14 |   361120 |    67052 |     6839     18 |        0 |        1
1249.50/1249.74	c 1055s |      14 |   361452 |    67152 |     6839     18 |        0 |        1
1251.49/1251.78	c 1057s |      14 |   361849 |    67252 |     6839     19 |        0 |        1
1253.59/1253.88	c 1059s |      14 |   362104 |    67352 |     6839     19 |        0 |        1
1258.39/1258.61	c 1064s |      14 |   362872 |    67552 |     6839     19 |        0 |        1
1260.40/1260.66	c 1066s |      14 |   363059 |    67652 |     6839     19 |        0 |        1
1263.29/1263.51	c 1069s |      14 |   363448 |    67852 |     6839     19 |        0 |        1
1267.19/1267.45	c 1073s |      14 |   364071 |    68052 |     6839     19 |        0 |        1
1270.59/1270.84	c 1076s |      14 |   364602 |    68152 |     6839     19 |        0 |        1
1273.60/1273.85	c 1079s |      14 |   364910 |    68252 |     6839     19 |        0 |        1
1276.29/1276.59	c 1082s |      14 |   366209 |    68352 |     6839     19 |        0 |        1
1280.99/1281.26	c 1087s |      14 |   366942 |    68552 |     6839     19 |        0 |        1
1284.29/1284.58	c 1090s |      14 |   367291 |    68652 |     6839     19 |        0 |        1
1286.69/1286.94	c 1092s |      14 |   368045 |    68752 |     6839     19 |        0 |        1
1289.39/1289.67	c 1095s |      14 |   368522 |    68852 |     6839     19 |        0 |        1
1292.19/1292.44	c 1098s |      14 |   369145 |    68952 |     6839     19 |        0 |        1
1295.19/1295.48	c 1101s |      14 |   369386 |    69052 |     6839     19 |        0 |        1
1297.89/1298.14	c 1103s |      14 |   369855 |    69152 |     6839     19 |        0 |        1
1300.79/1301.08	c 1106s |      14 |   371532 |    69252 |     6839     19 |        0 |        1
1304.59/1304.83	c 1110s |      14 |   371741 |    69352 |     6839     19 |        0 |        1
1307.89/1308.19	c 1113s |      14 |   372230 |    69452 |     6839     19 |        0 |        1
1310.68/1310.92	c 1116s |      14 |   372424 |    69552 |     6839     19 |        0 |        1
1314.29/1314.53	c 1120s |      14 |   373801 |    69652 |     6839     19 |        0 |        1
1317.59/1317.83	c 1123s |      14 |   374057 |    69752 |     6839     19 |        0 |        1
1320.58/1320.87	c 1126s |      14 |   374268 |    69852 |     6839     19 |        0 |        1
1323.89/1324.11	c 1129s |      14 |   375464 |    69952 |     6839     19 |        0 |        1
1326.50/1326.71	c 1132s |      14 |   375870 |    70052 |     6839     19 |        0 |        1
1329.19/1329.42	c 1135s |      14 |   376625 |    70252 |     6839     19 |        0 |        1
1332.19/1332.45	c 1138s |      14 |   377075 |    70352 |     6839     19 |        0 |        1
1334.49/1334.73	c 1140s |      14 |   377517 |    70452 |     6839     19 |        0 |        1
1337.09/1337.33	c 1143s |      14 |   377758 |    70552 |     6839     19 |        0 |        1
1340.29/1340.51	c 1146s |      14 |   378200 |    70652 |     6839     19 |        0 |        1
1343.09/1343.35	c 1149s |      14 |   378461 |    70752 |     6839     19 |        0 |        1
1346.29/1346.53	c 1152s |      14 |   378760 |    70852 |     6839     19 |        0 |        1
1350.29/1350.56	c 1156s |      14 |   379532 |    71052 |     6839     20 |        0 |        1
1354.79/1355.09	c 1160s |      14 |   381603 |    71252 |     6839     20 |        0 |        1
1357.19/1357.42	c 1163s |      14 |   381871 |    71352 |     6839     20 |        0 |        1
1359.39/1359.61	c 1165s |      14 |   382035 |    71452 |     6839     20 |        0 |        1
1362.29/1362.56	c 1168s |      14 |   382210 |    71552 |     6839     20 |        0 |        1
1365.48/1365.77	c 1171s |      14 |   382376 |    71652 |     6839     20 |        0 |        1
1368.48/1368.75	c 1174s |      14 |   382680 |    71752 |     6839     20 |        0 |        1
1370.88/1371.10	c 1176s |      14 |   382983 |    71852 |     6839     20 |        0 |        1
1374.18/1374.43	c 1180s |      14 |   384197 |    71952 |     6839     20 |        0 |        1
1377.88/1378.10	c 1183s |      14 |   384594 |    72052 |     6839     20 |        0 |        1
1380.48/1380.73	c 1186s |      14 |   384983 |    72152 |     6839     20 |        0 |        1
1382.49/1382.79	c 1188s |      14 |   385287 |    72252 |     6839     20 |        0 |        1
1384.79/1385.01	c 1190s |      14 |   385665 |    72352 |     6839     20 |        0 |        1
1387.28/1387.51	c 1193s |      14 |   385932 |    72452 |     6839     20 |        0 |        1
1389.78/1390.05	c 1195s |      14 |   386212 |    72552 |     6839     20 |        0 |        1
1392.88/1393.15	c 1198s |      14 |   387075 |    72652 |     6839     20 |        0 |        1
1395.48/1395.71	c 1201s |      14 |   387314 |    72752 |     6839     20 |        0 |        1
1397.68/1397.97	c 1203s |      14 |   387709 |    72852 |     6839     20 |        0 |        1
1399.78/1400.01	c 1205s |      14 |   387975 |    72952 |     6839     20 |        0 |        1
1402.48/1402.77	c 1208s |      14 |   388372 |    73052 |     6839     20 |        0 |        1
1405.58/1405.82	c 1211s |      14 |   388563 |    73152 |     6839     20 |        0 |        1
1409.08/1409.33	c 1215s |      14 |   388724 |    73252 |     6839     20 |        0 |        1
1411.58/1411.84	c 1217s |      14 |   389282 |    73352 |     6839     20 |        0 |        1
1413.88/1414.11	c 1219s |      14 |   389883 |    73452 |     6839     20 |        0 |        1
1416.37/1416.66	c 1222s |      14 |   390433 |    73552 |     6839     20 |        0 |        1
1420.17/1420.47	c 1226s |      14 |   391363 |    73752 |     6839     20 |        0 |        1
1422.77/1423.05	c 1228s |      14 |   391863 |    73852 |     6839     20 |        0 |        1
1426.58/1426.87	c 1232s |      14 |   392798 |    74052 |     6839     20 |        0 |        1
1429.47/1429.71	c 1235s |      14 |   393055 |    74152 |     6839     20 |        0 |        1
1431.77/1432.00	c 1237s |      14 |   393336 |    74252 |     6839     20 |        0 |        1
1434.18/1434.44	c 1240s |      14 |   393730 |    74352 |     6839     20 |        0 |        1
1436.67/1436.96	c 1242s |      14 |   393986 |    74452 |     6839     20 |        0 |        1
1438.97/1439.21	c 1244s |      14 |   394260 |    74552 |     6839     20 |        0 |        1
1442.87/1443.18	c 1248s |      14 |   394932 |    74752 |     6839     20 |        0 |        1
1445.57/1445.80	c 1251s |      14 |   395253 |    74852 |     6839     20 |        0 |        1
1447.87/1448.16	c 1253s |      14 |   395698 |    74952 |     6839     20 |        0 |        1
1450.57/1450.85	c 1256s |      14 |   395937 |    75052 |     6839     20 |        0 |        1
1454.08/1454.37	c 1260s |      14 |   396606 |    75252 |     6839     20 |        0 |        1
1456.77/1457.03	c 1262s |      14 |   397607 |    75452 |     6839     20 |        0 |        1
1458.97/1459.24	c 1264s |      14 |   399111 |    75652 |     6839     21 |        0 |        1
1461.67/1461.99	c 1267s |      14 |   400614 |    76052 |     6839     21 |        0 |        1
1465.17/1465.47	c 1271s |      14 |   401763 |    76252 |     6839     21 |        0 |        1
1468.37/1468.62	c 1274s |      14 |   402502 |    76452 |     6839     21 |        0 |        1
1470.86/1471.15	c 1276s |      14 |   403220 |    76652 |     6839     21 |        0 |        1
1474.56/1474.82	c 1280s |      14 |   403739 |    76852 |     6839     21 |        0 |        1
1476.76/1477.09	c 1282s |      14 |   406668 |    76952 |     6839     21 |        0 |        1
1480.66/1480.90	c 1286s |      14 |   409147 |    77152 |     6839     21 |        0 |        1
1484.06/1484.32	c 1290s |      14 |   411318 |    77352 |     6839     21 |        0 |        1
1487.76/1488.09	c 1293s |      14 |   412074 |    77552 |     6839     21 |        0 |        1
1491.26/1491.52	c 1297s |      14 |   412816 |    77752 |     6839     21 |        0 |        1
1493.36/1493.62	c 1299s |      14 |   413479 |    77952 |     6839     21 |        0 |        1
1496.16/1496.49	c 1302s |      14 |   416247 |    78252 |     6839     21 |        0 |        1
1498.66/1498.90	c 1304s |      14 |   419501 |    78552 |     6839     21 |        0 |        1
1501.37/1501.62	c 1307s |      14 |   421281 |    78852 |     6839     22 |        0 |        1
1503.66/1503.90	c 1309s |      14 |   424567 |    79452 |     6839     22 |        0 |        1
1505.56/1505.90	c 1311s |      14 |   428290 |    79752 |     6839     22 |        0 |        1
1508.06/1508.34	c 1314s |      14 |   432693 |    80052 |     6839     22 |        0 |        1
1510.16/1510.47	c 1316s |      14 |   434472 |    80252 |     6839     22 |        0 |        1
1512.56/1512.85	c 1318s |      14 |   437020 |    80552 |     6839     22 |        0 |        1
1514.56/1514.87	c 1320s |      14 |   439119 |    80752 |     6839     22 |        0 |        1
1517.26/1517.52	c 1323s |      14 |   441493 |    81152 |     6839     22 |        0 |        1
1519.26/1519.55	c 1325s |      14 |   443002 |    81452 |     6839     22 |        0 |        1
1522.95/1523.23	c 1328s |      14 |   444768 |    81752 |     6839     22 |        0 |        1
1525.95/1526.27	c 1332s |      14 |   445735 |    81952 |     6839     22 |        0 |        1
1528.65/1528.98	c 1334s |      14 |   447789 |    82152 |     6839     22 |        0 |        1
1531.75/1532.06	c 1337s |      14 |   448745 |    82352 |     6839     22 |        0 |        1
1534.26/1534.54	c 1340s |      14 |   450281 |    82552 |     6839     22 |        0 |        1
1536.56/1536.88	c 1342s |      14 |   451501 |    82752 |     6839     22 |        0 |        1
1539.15/1539.40	c 1345s |      14 |   452282 |    82952 |     6839     23 |        0 |        1
1542.35/1542.65	c 1348s |      14 |   453068 |    83152 |     6839     23 |        0 |        1
1545.15/1545.49	c 1351s |      14 |   453681 |    83352 |     6839     23 |        0 |        1
1547.46/1547.72	c 1353s |      14 |   454346 |    83552 |     6839     23 |        0 |        1
1551.05/1551.31	c 1357s |      14 |   455409 |    83752 |     6839     23 |        0 |        1
1554.35/1554.65	c 1360s |      14 |   456570 |    83952 |     6839     23 |        0 |        1
1557.05/1557.35	c 1363s |      14 |   458765 |    84152 |     6839     23 |        0 |        1
1560.25/1560.55	c 1366s |      14 |   459871 |    84352 |     6839     23 |        0 |        1
1563.95/1564.23	c 1369s |      14 |   460691 |    84552 |     6839     23 |        0 |        1
1567.15/1567.49	c 1373s |      14 |   461562 |    84752 |     6839     23 |        0 |        1
1570.25/1570.58	c 1376s |      14 |   463929 |    85052 |     6839     23 |        0 |        1
1573.95/1574.24	c 1379s |      14 |   465142 |    85352 |     6839     23 |        0 |        1
1577.25/1577.52	c 1383s |      14 |   465961 |    85552 |     6839     23 |        0 |        1
1580.04/1580.35	c 1386s |      14 |   466894 |    85752 |     6839     23 |        0 |        1
1582.14/1582.46	c 1388s |      14 |   467185 |    85852 |     6839     23 |        0 |        1
1584.74/1585.04	c 1390s |      14 |   468338 |    86252 |     6839     23 |        0 |        1
1586.84/1587.10	c 1392s |      14 |   468662 |    86352 |     6839     23 |        0 |        1
1588.84/1589.12	c 1394s |      14 |   469222 |    86452 |     6839     23 |        0 |        1
1592.65/1592.99	c 1398s |      14 |   469986 |    86652 |     6839     23 |        0 |        1
1595.64/1595.96	c 1401s |      14 |   470841 |    86952 |     7523     23 |        0 |        1
1598.84/1599.18	c 1404s |      14 |   471350 |    87152 |     7523     23 |        0 |        1
1601.45/1601.72	c 1407s |      14 |   472190 |    87352 |     7523     24 |        0 |        1
1603.65/1603.91	c 1409s |      15 |   472985 |    87632 |     7523     24 |        0 |        1
1606.14/1606.42	c 1412s |      15 |   473745 |    87832 |     7523     24 |        0 |        1
1609.34/1609.67	c 1415s |      15 |   474449 |    88032 |     7523     24 |        0 |        1
1613.45/1613.71	c 1419s |      15 |   474984 |    88232 |     7523     24 |        0 |        1
1616.44/1616.77	c 1422s |      15 |   476025 |    88432 |     7523     24 |        0 |        1
1619.24/1619.56	c 1425s |      15 |   476854 |    88632 |     7523     24 |        0 |        1
1622.14/1622.45	c 1428s |      15 |   477305 |    88832 |     7523     24 |        0 |        1
1624.84/1625.17	c 1430s |      15 |   478451 |    89032 |     7523     24 |        0 |        1
1627.44/1627.77	c 1433s |      15 |   479189 |    89232 |     7523     24 |        0 |        1
1630.44/1630.73	c 1436s |      15 |   480011 |    89432 |     7523     24 |        0 |        1
1633.13/1633.42	c 1439s |      15 |   481299 |    89632 |     7523     24 |        0 |        1
1635.63/1635.92	c 1441s |      15 |   483113 |    89832 |     7523     24 |        0 |        1
1638.84/1639.15	c 1444s |      15 |   483919 |    90032 |     7523     24 |        0 |        1
1642.33/1642.65	c 1448s |      15 |   484668 |    90232 |     7523     24 |        0 |        1
1644.73/1645.09	c 1450s |      15 |   485227 |    90432 |     7523     24 |        0 |        1
1647.33/1647.68	c 1453s |      15 |   486542 |    90632 |     7523     24 |        0 |        1
1649.84/1650.14	c 1455s |      15 |   487530 |    90832 |     7523     24 |        0 |        1
1652.83/1653.13	c 1458s |      15 |   488420 |    91032 |     7523     24 |        0 |        1
1657.03/1657.31	c 1463s |      15 |   489215 |    91232 |     7523     24 |        0 |        1
1659.43/1659.77	c 1465s |      15 |   490012 |    91532 |     7523     25 |        0 |        1
1661.93/1662.21	c 1467s |      15 |   491213 |    91732 |     7523     25 |        0 |        1
1664.53/1664.89	c 1470s |      15 |   491970 |    91932 |     7523     25 |        0 |        1
1666.63/1666.95	c 1472s |      15 |   492750 |    92132 |     7523     25 |        0 |        1
1668.93/1669.24	c 1474s |      15 |   493594 |    92432 |     7523     25 |        0 |        1
1671.43/1671.80	c 1477s |      15 |   494254 |    92632 |     7523     25 |        0 |        1
1673.63/1673.96	c 1479s |      15 |   495000 |    92832 |     7523     25 |        0 |        1
1676.13/1676.46	c 1482s |      15 |   495839 |    93032 |     7523     25 |        0 |        1
1678.34/1678.70	c 1484s |      15 |   497325 |    93232 |     7523     25 |        0 |        1
1680.54/1680.85	c 1486s |      15 |   497992 |    93432 |     7523     25 |        0 |        1
1683.43/1683.75	c 1489s |      15 |   498778 |    93632 |     7523     25 |        0 |        1
1685.53/1685.88	c 1491s |      15 |   499322 |    93832 |     7523     25 |        0 |        1
1687.93/1688.23	c 1493s |      15 |   499853 |    94032 |     7523     25 |        0 |        1
1691.13/1691.47	c 1497s |      15 |   500327 |    94232 |     7523     25 |        0 |        1
1694.13/1694.44	c 1500s |      15 |   500653 |    94432 |     7523     25 |        0 |        1
1697.83/1698.15	c 1503s |      15 |   501215 |    94632 |     7523     25 |        0 |        1
1699.93/1700.24	c 1505s |      15 |   501462 |    94732 |     7523     25 |        0 |        1
1702.23/1702.59	c 1508s |      15 |   502836 |    94932 |     7523     25 |        0 |        1
1705.13/1705.44	c 1511s |      15 |   504121 |    95132 |     7523     25 |        0 |        1
1707.23/1707.50	c 1513s |      15 |   505538 |    95332 |     7523     25 |        0 |        1
1710.83/1711.13	c 1516s |      15 |   506482 |    95532 |     7523     25 |        0 |        1
1713.43/1713.75	c 1519s |      15 |   509119 |    95732 |     7523     26 |        0 |        1
1716.63/1716.98	c 1522s |      15 |   511973 |    95932 |     7523     26 |        0 |        1
1719.43/1719.71	c 1525s |      15 |   512571 |    96132 |     7523     26 |        0 |        1
1721.63/1721.93	c 1527s |      15 |   512792 |    96232 |     7523     26 |        0 |        1
1725.02/1725.33	c 1531s |      15 |   513604 |    96432 |     7523     26 |        0 |        1
1727.32/1727.62	c 1533s |      15 |   514384 |    96632 |     7523     26 |        0 |        1
1729.32/1729.68	c 1535s |      15 |   516112 |    96732 |     7523     26 |        0 |        1
1731.72/1732.04	c 1537s |      15 |   518037 |    96932 |     7523     26 |        0 |        1
1734.12/1734.43	c 1540s |      15 |   519591 |    97232 |     7523     26 |        0 |        1
1736.42/1736.74	c 1542s |      15 |   520387 |    97332 |     7523     26 |        0 |        1
1740.82/1741.12	c 1546s |      15 |   521053 |    97532 |     7523     26 |        0 |        1
1742.92/1743.20	c 1548s |      15 |   521582 |    97632 |     7523     26 |        0 |        1
1746.63/1746.92	c 1552s |      15 |   524789 |    97832 |     7523     26 |        0 |        1
1750.93/1751.28	c 1557s |      15 |   525271 |    98032 |     7523     26 |        0 |        1
1753.62/1753.97	c 1559s |      15 |   525637 |    98132 |     7523     26 |        0 |        1
1755.72/1756.04	c 1561s |      15 |   526182 |    98232 |     7523     26 |        0 |        1
1759.42/1759.73	c 1565s |      15 |   528436 |    98532 |     7523     26 |        0 |        1
1762.42/1762.74	c 1568s |      15 |   528670 |    98632 |     7523     26 |        0 |        1
1764.92/1765.24	c 1570s |      15 |   528999 |    98732 |     7523     26 |        0 |        1
1767.02/1767.38	c 1573s |      15 |   529223 |    98832 |     7523     26 |        0 |        1
1769.62/1769.97	c 1575s |      15 |   530059 |    98932 |     7523     26 |        0 |        1
1771.62/1771.99	c 1577s |      15 |   530354 |    99032 |     7523     26 |        0 |        1
1774.42/1774.77	c 1580s |      15 |   530552 |    99132 |     7523     26 |        0 |        1
1776.72/1777.08	c 1582s |      15 |   530822 |    99232 |     7523     26 |        0 |        1
1779.42/1779.74	c 1585s |      15 |   532506 |    99332 |     7523     26 |        0 |        1
1782.22/1782.50	c 1588s |      15 |   532840 |    99432 |     7523     26 |        0 |        1
1785.32/1785.61	c 1591s |      15 |   533065 |    99532 |     7523     26 |        0 |        1
1787.82/1788.16	c 1593s |      15 |   533764 |    99832 |     7523     26 |        0 |        1
1794.21/1794.55	c 1600s |      15 |   534453 |   100032 |     7523     27 |        0 |        1
1797.51/1797.84	c 1603s |      15 |   538129 |   100132 |     7523     27 |        0 |        1
1799.91/1800.29	c 1606s |      15 |   538586 |   100232 |     7523     27 |        0 |        1

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

pid=15277
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.36 2.24 2.19 3/179 15280
/proc/meminfo: memFree=29186636/32872528 swapFree=17452/1581112
[pid=15280] ppid=15277 vsize=788924 CPUtime=0 cores=1,3,5,7
/proc/15280/stat : 15280 (toysat) R 15277 15280 13546 0 -1 4202496 2954 0 0 0 0 0 0 0 20 0 4 0 108555816 807858176 2803 33554432000 4194304 16246674 140734563221776 140734563221200 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15280/statm: 197999 2814 441 2943 0 194893 0
[pid=15280/tid=15281] ppid=15277 vsize=806332 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15281/stat : 15281 (toysat) S 15277 15280 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108555817 825683968 2874 33554432000 4194304 16246674 140734563221776 140729165786352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15280/tid=15282] ppid=15277 vsize=810428 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15282/stat : 15282 (toysat) S 15277 15280 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108555817 829878272 2890 33554432000 4194304 16246674 140734563221776 140729155296496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15280/tid=15283] ppid=15277 vsize=815548 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15283/stat : 15283 (toysat) S 15277 15280 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108555817 835121152 2906 33554432000 4194304 16246674 140734563221776 140729144822960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.36 2.24 2.19 3/179 15280
/proc/meminfo: memFree=29186636/32872528 swapFree=17452/1581112
[pid=15280] ppid=15277 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/15280/stat : 15280 (toysat) R 15277 15280 13546 0 -1 4202496 24590 0 0 0 5 4 0 0 20 0 4 0 108555816 1249447936 24378 33554432000 4194304 16246674 140734563221776 140734563221088 6939688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15280/statm: 305041 24388 837 2943 0 301935 0
[pid=15280/tid=15281] ppid=15277 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15281/stat : 15281 (toysat) S 15277 15280 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108555817 1249447936 24396 33554432000 4194304 16246674 140734563221776 140729165786352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15280/tid=15282] ppid=15277 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15282/stat : 15282 (toysat) S 15277 15280 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108555817 1249447936 24403 33554432000 4194304 16246674 140734563221776 140729155296496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15280/tid=15283] ppid=15277 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15283/stat : 15283 (toysat) S 15277 15280 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108555817 1249447936 24410 33554432000 4194304 16246674 140734563221776 140729144822960 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) 1220164

[startup+0.200544 s]
/proc/loadavg: 2.36 2.24 2.19 3/179 15280
/proc/meminfo: memFree=29186636/32872528 swapFree=17452/1581112
[pid=15280] ppid=15277 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/15280/stat : 15280 (toysat) R 15277 15280 13546 0 -1 4202496 37289 0 0 0 14 5 0 0 20 0 4 0 108555816 1249447936 37076 33554432000 4194304 16246674 140734563221776 140734563221088 5602147 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15280/statm: 305041 37080 883 2943 0 301935 0
[pid=15280/tid=15281] ppid=15277 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15281/stat : 15281 (toysat) S 15277 15280 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108555817 1249447936 37083 33554432000 4194304 16246674 140734563221776 140729165786352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15280/tid=15282] ppid=15277 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15282/stat : 15282 (toysat) S 15277 15280 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108555817 1249447936 37084 33554432000 4194304 16246674 140734563221776 140729155296496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15280/tid=15283] ppid=15277 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15283/stat : 15283 (toysat) S 15277 15280 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108555817 1249447936 37089 33554432000 4194304 16246674 140734563221776 140729144822960 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) 1220164

[startup+0.300495 s]
/proc/loadavg: 2.36 2.24 2.19 3/179 15280
/proc/meminfo: memFree=29186636/32872528 swapFree=17452/1581112
[pid=15280] ppid=15277 vsize=1308228 CPUtime=0.29 cores=1,3,5,7
/proc/15280/stat : 15280 (toysat) R 15277 15280 13546 0 -1 4202496 53008 0 0 0 22 7 0 0 20 0 4 0 108555816 1339625472 52795 33554432000 4194304 16246674 140734563221776 140734563221088 4221799 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15280/statm: 327057 52795 908 2943 0 323951 0
[pid=15280/tid=15281] ppid=15277 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15281/stat : 15281 (toysat) S 15277 15280 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108555817 1339625472 52795 33554432000 4194304 16246674 140734563221776 140729165786352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15280/tid=15282] ppid=15277 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15282/stat : 15282 (toysat) S 15277 15280 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108555817 1339625472 52795 33554432000 4194304 16246674 140734563221776 140729155296496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15280/tid=15283] ppid=15277 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15283/stat : 15283 (toysat) S 15277 15280 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108555817 1339625472 52795 33554432000 4194304 16246674 140734563221776 140729144822960 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) 1308228

[startup+0.700384 s]
/proc/loadavg: 2.36 2.24 2.19 3/179 15280
/proc/meminfo: memFree=29186636/32872528 swapFree=17452/1581112
[pid=15280] ppid=15277 vsize=1308228 CPUtime=0.69 cores=1,3,5,7
/proc/15280/stat : 15280 (toysat) R 15277 15280 13546 0 -1 4202496 116182 0 0 0 54 15 0 0 20 0 4 0 108555816 1339625472 115969 33554432000 4194304 16246674 140734563221776 140734563203648 12656437 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15280/statm: 327057 115975 908 2943 0 323951 0
[pid=15280/tid=15281] ppid=15277 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15281/stat : 15281 (toysat) S 15277 15280 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108555817 1339625472 115979 33554432000 4194304 16246674 140734563221776 140729165786352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15280/tid=15282] ppid=15277 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15282/stat : 15282 (toysat) S 15277 15280 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108555817 1339625472 115982 33554432000 4194304 16246674 140734563221776 140729155296496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15280/tid=15283] ppid=15277 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15283/stat : 15283 (toysat) S 15277 15280 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108555817 1339625472 115986 33554432000 4194304 16246674 140734563221776 140729144822960 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) 1308228

[startup+1.50038 s]
/proc/loadavg: 2.36 2.24 2.19 3/183 15284
/proc/meminfo: memFree=28599228/32872528 swapFree=17452/1581112
[pid=15280] ppid=15277 vsize=1308228 CPUtime=1.49 cores=1,3,5,7
/proc/15280/stat : 15280 (toysat) R 15277 15280 13546 0 -1 4202496 147477 0 0 0 131 18 0 0 20 0 4 0 108555816 1339625472 147264 33554432000 4194304 16246674 140734563221776 140734563203648 12449269 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15280/statm: 327057 147264 912 2943 0 323951 0
[pid=15280/tid=15281] ppid=15277 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15281/stat : 15281 (toysat) S 15277 15280 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108555817 1339625472 147264 33554432000 4194304 16246674 140734563221776 140729165786352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15280/tid=15282] ppid=15277 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15282/stat : 15282 (toysat) S 15277 15280 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108555817 1339625472 147264 33554432000 4194304 16246674 140734563221776 140729155296496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15280/tid=15283] ppid=15277 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15283/stat : 15283 (toysat) S 15277 15280 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108555817 1339625472 147264 33554432000 4194304 16246674 140734563221776 140729144822960 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) 1308228

[startup+3.10042 s]
/proc/loadavg: 2.36 2.24 2.19 3/183 15284
/proc/meminfo: memFree=28084132/32872528 swapFree=17452/1581112
[pid=15280] ppid=15277 vsize=1372740 CPUtime=3.09 cores=1,3,5,7
/proc/15280/stat : 15280 (toysat) R 15277 15280 13546 0 -1 4202496 284398 0 0 0 273 36 0 0 20 0 4 0 108555816 1405685760 284185 33554432000 4194304 16246674 140734563221776 140734563203648 13950202 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15280/statm: 343185 284185 912 2943 0 340079 0
[pid=15280/tid=15281] ppid=15277 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15281/stat : 15281 (toysat) S 15277 15280 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108555817 1405685760 284185 33554432000 4194304 16246674 140734563221776 140729165786352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15280/tid=15282] ppid=15277 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15282/stat : 15282 (toysat) S 15277 15280 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108555817 1405685760 284185 33554432000 4194304 16246674 140734563221776 140729155296496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15280/tid=15283] ppid=15277 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15283/stat : 15283 (toysat) S 15277 15280 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108555817 1405685760 284185 33554432000 4194304 16246674 140734563221776 140729144822960 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) 1372740

[startup+6.30044 s]
/proc/loadavg: 2.41 2.25 2.20 3/183 15284
/proc/meminfo: memFree=28050288/32872528 swapFree=17452/1581112
[pid=15280] ppid=15277 vsize=1372740 CPUtime=6.29 cores=1,3,5,7
/proc/15280/stat : 15280 (toysat) R 15277 15280 13546 0 -1 4202496 284398 0 0 0 593 36 0 0 20 0 4 0 108555816 1405685760 284185 33554432000 4194304 16246674 140734563221776 140734563203648 4220936 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15280/statm: 343185 284185 912 2943 0 340079 0
[pid=15280/tid=15281] ppid=15277 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15281/stat : 15281 (toysat) S 15277 15280 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108555817 1405685760 284185 33554432000 4194304 16246674 140734563221776 140729165786352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15280/tid=15282] ppid=15277 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15282/stat : 15282 (toysat) S 15277 15280 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108555817 1405685760 284185 33554432000 4194304 16246674 140734563221776 140729155296496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15280/tid=15283] ppid=15277 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15283/stat : 15283 (toysat) S 15277 15280 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108555817 1405685760 284185 33554432000 4194304 16246674 140734563221776 140729144822960 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) 1372740

[startup+12.7004 s]
/proc/loadavg: 2.37 2.25 2.20 4/183 15284
/proc/meminfo: memFree=28044888/32872528 swapFree=17452/1581112
[pid=15280] ppid=15277 vsize=1372740 CPUtime=12.69 cores=1,3,5,7
/proc/15280/stat : 15280 (toysat) R 15277 15280 13546 0 -1 4202496 284398 0 0 0 1233 36 0 0 20 0 4 0 108555816 1405685760 284185 33554432000 4194304 16246674 140734563221776 140734563219648 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15280/statm: 343185 284185 912 2943 0 340079 0
[pid=15280/tid=15281] ppid=15277 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15281/stat : 15281 (toysat) S 15277 15280 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108555817 1405685760 284185 33554432000 4194304 16246674 140734563221776 140729165786352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15280/tid=15282] ppid=15277 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15282/stat : 15282 (toysat) S 15277 15280 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108555817 1405685760 284185 33554432000 4194304 16246674 140734563221776 140729155296496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15280/tid=15283] ppid=15277 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15283/stat : 15283 (toysat) S 15277 15280 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108555817 1405685760 284185 33554432000 4194304 16246674 140734563221776 140729144822960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1372740

[startup+25.5005 s]
/proc/loadavg: 2.36 2.25 2.20 3/183 15284
/proc/meminfo: memFree=27809392/32872528 swapFree=17452/1581112
[pid=15280] ppid=15277 vsize=1608260 CPUtime=25.49 cores=1,3,5,7
/proc/15280/stat : 15280 (toysat) R 15277 15280 13546 0 -1 4202496 343278 0 0 0 2504 45 0 0 20 0 4 0 108555816 1646858240 343065 33554432000 4194304 16246674 140734563221776 140734563220872 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15280/statm: 402065 343065 912 2943 0 398959 0
[pid=15280/tid=15281] ppid=15277 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15281/stat : 15281 (toysat) S 15277 15280 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108555817 1646858240 343065 33554432000 4194304 16246674 140734563221776 140729165786352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15280/tid=15282] ppid=15277 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15282/stat : 15282 (toysat) S 15277 15280 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108555817 1646858240 343065 33554432000 4194304 16246674 140734563221776 140729155296496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15280/tid=15283] ppid=15277 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15283/stat : 15283 (toysat) S 15277 15280 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108555817 1646858240 343065 33554432000 4194304 16246674 140734563221776 140729144822960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1608260

[startup+51.1005 s]
/proc/loadavg: 2.30 2.25 2.19 3/183 15284
/proc/meminfo: memFree=27506224/32872528 swapFree=17452/1581112
[pid=15280] ppid=15277 vsize=1907268 CPUtime=51.08 cores=1,3,5,7
/proc/15280/stat : 15280 (toysat) R 15277 15280 13546 0 -1 4202496 418030 0 0 0 5055 53 0 0 20 0 4 0 108555816 1953042432 417817 33554432000 4194304 16246674 140734563221776 140734563219584 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15280/statm: 476817 417817 912 2943 0 473711 0
[pid=15280/tid=15281] ppid=15277 vsize=1907268 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15281/stat : 15281 (toysat) S 15277 15280 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108555817 1953042432 417817 33554432000 4194304 16246674 140734563221776 140729165786352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15280/tid=15282] ppid=15277 vsize=1907268 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15282/stat : 15282 (toysat) S 15277 15280 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108555817 1953042432 417817 33554432000 4194304 16246674 140734563221776 140729155296496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15280/tid=15283] ppid=15277 vsize=1907268 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15283/stat : 15283 (toysat) S 15277 15280 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108555817 1953042432 417817 33554432000 4194304 16246674 140734563221776 140729144822960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1907268

[startup+102.3 s]
/proc/loadavg: 2.29 2.25 2.20 4/183 15285
/proc/meminfo: memFree=27040040/32872528 swapFree=17452/1581112
[pid=15280] ppid=15277 vsize=2372164 CPUtime=102.28 cores=1,3,5,7
/proc/15280/stat : 15280 (toysat) R 15277 15280 13546 0 -1 4202496 534254 0 0 0 10156 72 0 0 20 0 4 0 108555816 2429095936 534041 33554432000 4194304 16246674 140734563221776 140734563221088 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15280/statm: 593041 534041 912 2943 0 589935 0
[pid=15280/tid=15281] ppid=15277 vsize=2372164 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15281/stat : 15281 (toysat) S 15277 15280 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108555817 2429095936 534041 33554432000 4194304 16246674 140734563221776 140729165786352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15280/tid=15282] ppid=15277 vsize=2372164 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15282/stat : 15282 (toysat) S 15277 15280 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108555817 2429095936 534041 33554432000 4194304 16246674 140734563221776 140729155296496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15280/tid=15283] ppid=15277 vsize=2372164 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15283/stat : 15283 (toysat) S 15277 15280 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108555817 2429095936 534041 33554432000 4194304 16246674 140734563221776 140729144822960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2372164


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

/proc/15280/task/15283/stat : 15283 (toysat) S 15277 15280 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729144822960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 2835012

[startup+1362.3 s]
/proc/loadavg: 2.29 2.32 2.27 3/183 15317
/proc/meminfo: memFree=26557692/32872528 swapFree=17452/1581112
[pid=15280] ppid=15277 vsize=2835012 CPUtime=1362.09 cores=1,3,5,7
/proc/15280/stat : 15280 (toysat) R 15277 15280 13546 0 -1 4202496 649975 0 0 0 136103 106 0 0 20 0 4 0 108555816 2903052288 650017 33554432000 4194304 16246674 140734563221776 140734563203648 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15280/statm: 708753 650017 920 2943 0 705647 0
[pid=15280/tid=15281] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15281/stat : 15281 (toysat) S 15277 15280 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729165786352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15280/tid=15282] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15282/stat : 15282 (toysat) S 15277 15280 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729155296496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15280/tid=15283] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15283/stat : 15283 (toysat) S 15277 15280 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729144822960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 2835012

[startup+1422.3 s]
/proc/loadavg: 2.36 2.34 2.27 3/183 15318
/proc/meminfo: memFree=26557524/32872528 swapFree=17452/1581112
[pid=15280] ppid=15277 vsize=2835012 CPUtime=1422.08 cores=1,3,5,7
/proc/15280/stat : 15280 (toysat) R 15277 15280 13546 0 -1 4202496 649975 0 0 0 142102 106 0 0 20 0 4 0 108555816 2903052288 650017 33554432000 4194304 16246674 140734563221776 140734563203648 13780624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15280/statm: 708753 650017 920 2943 0 705647 0
[pid=15280/tid=15281] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15281/stat : 15281 (toysat) S 15277 15280 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729165786352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15280/tid=15282] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15282/stat : 15282 (toysat) S 15277 15280 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729155296496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15280/tid=15283] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15283/stat : 15283 (toysat) S 15277 15280 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729144822960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 2835012

[startup+1482.3 s]
/proc/loadavg: 2.23 2.30 2.27 3/183 15320
/proc/meminfo: memFree=26557560/32872528 swapFree=17452/1581112
[pid=15280] ppid=15277 vsize=2835012 CPUtime=1482.06 cores=1,3,5,7
/proc/15280/stat : 15280 (toysat) R 15277 15280 13546 0 -1 4202496 649975 0 0 0 148100 106 0 0 20 0 4 0 108555816 2903052288 650017 33554432000 4194304 16246674 140734563221776 140734563203648 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15280/statm: 708753 650017 920 2943 0 705647 0
[pid=15280/tid=15281] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15281/stat : 15281 (toysat) S 15277 15280 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729165786352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15280/tid=15282] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15282/stat : 15282 (toysat) S 15277 15280 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729155296496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15280/tid=15283] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15283/stat : 15283 (toysat) S 15277 15280 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729144822960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2835012

[startup+1542.31 s]
/proc/loadavg: 2.25 2.29 2.27 3/183 15321
/proc/meminfo: memFree=26557492/32872528 swapFree=17452/1581112
[pid=15280] ppid=15277 vsize=2835012 CPUtime=1542.06 cores=1,3,5,7
/proc/15280/stat : 15280 (toysat) R 15277 15280 13546 0 -1 4202496 649975 0 0 0 154100 106 0 0 20 0 4 0 108555816 2903052288 650017 33554432000 4194304 16246674 140734563221776 140734563203648 5711984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15280/statm: 708753 650017 920 2943 0 705647 0
[pid=15280/tid=15281] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15281/stat : 15281 (toysat) S 15277 15280 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729165786352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15280/tid=15282] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15282/stat : 15282 (toysat) S 15277 15280 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729155296496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15280/tid=15283] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15283/stat : 15283 (toysat) S 15277 15280 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729144822960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 2835012

[startup+1602.3 s]
/proc/loadavg: 2.26 2.28 2.26 3/184 15325
/proc/meminfo: memFree=26558380/32872528 swapFree=17452/1581112
[pid=15280] ppid=15277 vsize=2835012 CPUtime=1602.04 cores=1,3,5,7
/proc/15280/stat : 15280 (toysat) R 15277 15280 13546 0 -1 4202496 649975 0 0 0 160098 106 0 0 20 0 4 0 108555816 2903052288 650017 33554432000 4194304 16246674 140734563221776 140734563203648 12483222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15280/statm: 708753 650017 920 2943 0 705647 0
[pid=15280/tid=15281] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15281/stat : 15281 (toysat) S 15277 15280 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729165786352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15280/tid=15282] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15282/stat : 15282 (toysat) S 15277 15280 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729155296496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15280/tid=15283] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15283/stat : 15283 (toysat) S 15277 15280 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729144822960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 2835012

[startup+1662.3 s]
/proc/loadavg: 2.32 2.29 2.27 4/183 15326
/proc/meminfo: memFree=26557676/32872528 swapFree=17452/1581112
[pid=15280] ppid=15277 vsize=2835012 CPUtime=1662.03 cores=1,3,5,7
/proc/15280/stat : 15280 (toysat) R 15277 15280 13546 0 -1 4202496 649980 0 0 0 166097 106 0 0 20 0 4 0 108555816 2903052288 650017 33554432000 4194304 16246674 140734563221776 140734563203648 5712628 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15280/statm: 708753 650017 920 2943 0 705647 0
[pid=15280/tid=15281] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15281/stat : 15281 (toysat) S 15277 15280 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729165786352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15280/tid=15282] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15282/stat : 15282 (toysat) S 15277 15280 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729155296496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15280/tid=15283] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15283/stat : 15283 (toysat) S 15277 15280 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729144822960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 2835012

[startup+1722.3 s]
/proc/loadavg: 2.33 2.31 2.27 3/183 15327
/proc/meminfo: memFree=26557660/32872528 swapFree=17452/1581112
[pid=15280] ppid=15277 vsize=2835012 CPUtime=1722.03 cores=1,3,5,7
/proc/15280/stat : 15280 (toysat) R 15277 15280 13546 0 -1 4202496 649981 0 0 0 172096 107 0 0 20 0 4 0 108555816 2903052288 650017 33554432000 4194304 16246674 140734563221776 140734563203648 5711576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15280/statm: 708753 650017 920 2943 0 705647 0
[pid=15280/tid=15281] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15281/stat : 15281 (toysat) S 15277 15280 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729165786352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15280/tid=15282] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15282/stat : 15282 (toysat) S 15277 15280 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729155296496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15280/tid=15283] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15283/stat : 15283 (toysat) S 15277 15280 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729144822960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 2835012

[startup+1782.3 s]
/proc/loadavg: 2.46 2.35 2.29 4/183 15377
/proc/meminfo: memFree=22758984/32872528 swapFree=17452/1581112
[pid=15280] ppid=15277 vsize=2835012 CPUtime=1782.02 cores=1,3,5,7
/proc/15280/stat : 15280 (toysat) R 15277 15280 13546 0 -1 4202496 649981 0 0 0 178095 107 0 0 20 0 4 0 108555816 2903052288 650017 33554432000 4194304 16246674 140734563221776 140734563203648 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15280/statm: 708753 650017 920 2943 0 705647 0
[pid=15280/tid=15281] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15281/stat : 15281 (toysat) S 15277 15280 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729165786352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15280/tid=15282] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15282/stat : 15282 (toysat) S 15277 15280 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729155296496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15280/tid=15283] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15283/stat : 15283 (toysat) S 15277 15280 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729144822960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 2835012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.46 2.36 2.29 3/183 15378
/proc/meminfo: memFree=21107932/32872528 swapFree=17452/1581112
[pid=15280] ppid=15277 vsize=2835012 CPUtime=1800.01 cores=1,3,5,7
/proc/15280/stat : 15280 (toysat) R 15277 15280 13546 0 -1 4202496 649981 0 0 0 179894 107 0 0 20 0 4 0 108555816 2903052288 650017 33554432000 4194304 16246674 140734563221776 140734563203648 12483512 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15280/statm: 708753 650017 920 2943 0 705647 0
[pid=15280/tid=15281] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15281/stat : 15281 (toysat) S 15277 15280 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729165786352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15280/tid=15282] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15282/stat : 15282 (toysat) S 15277 15280 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729155296496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15280/tid=15283] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15283/stat : 15283 (toysat) S 15277 15280 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729144822960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2835012

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

[startup+1800.3 s]
/proc/loadavg: 2.46 2.36 2.29 3/183 15378
/proc/meminfo: memFree=21107932/32872528 swapFree=17452/1581112
[pid=15280] ppid=15277 vsize=2835012 CPUtime=1800.01 cores=1,3,5,7
/proc/15280/stat : 15280 (toysat) R 15277 15280 13546 0 -1 4202496 649981 0 0 0 179894 107 0 0 20 0 4 0 108555816 2903052288 650017 33554432000 4194304 16246674 140734563221776 140734563203648 12483512 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15280/statm: 708753 650017 920 2943 0 705647 0
[pid=15280/tid=15281] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15281/stat : 15281 (toysat) S 15277 15280 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729165786352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15280/tid=15282] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15282/stat : 15282 (toysat) S 15277 15280 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729155296496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15280/tid=15283] ppid=15277 vsize=2835012 CPUtime=0 cores=1,3,5,7
/proc/15280/task/15283/stat : 15283 (toysat) S 15277 15280 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108555817 2903052288 650017 33554432000 4194304 16246674 140734563221776 140729144822960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2835012

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.38
CPU time (s): 1800.1
CPU user time (s): 1798.95
CPU system time (s): 1.14782
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 2835012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.95
system time used= 1.14783
maximum resident set size= 2600068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 649981
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= 323
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2732 second user time and 7.72882 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-07 04:23:59
IDJOB=4079116
IDBENCH=71852
IDSOLVER=2542
FILE ID=node139/4079116-1465266239
RUNJOBID= node139-1465254943-13563
PBS_JOBID= 19843273
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__16.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079116-1465266239/watcher-4079116-1465266239 -o /tmp/evaluation-result-4079116-1465266239/solver-4079116-1465266239 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13563 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079116-1465266239.opb

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

MD5SUM BENCH= dd2523e10c08c9cb3b30bc694276e5a5
RANDOM SEED=402491058

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29187428 kB
Buffers:          119748 kB
Cached:           172116 kB
SwapCached:         1464 kB
Active:          1195832 kB
Inactive:         172756 kB
Active(anon):    1076344 kB
Inactive(anon):     2220 kB
Active(file):     119488 kB
Inactive(file):   170536 kB
Unevictable:     1581112 kB
Mlocked:           17452 kB
SwapTotal:      67108856 kB
SwapFree:       67099808 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       2656020 kB
Mapped:            10728 kB
Shmem:                 0 kB
Slab:             600196 kB
SReclaimable:      44172 kB
SUnreclaim:       556024 kB
KernelStack:        1504 kB
PageTables:         9364 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2799560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1568768 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= 71196 MiB
End job on node139 at 2016-06-07 04:53:59