Trace number 4079676

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.11 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_14.opb
MD5SUM308ce6e771b8240fefc971d6e27a7575
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark151
Best CPU time to get the best result obtained on this benchmark1800.8
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 142
Optimality of the best value was proved NO
Number of variables3297
Total number of constraints6383
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints6383
Minimum length of a constraint16
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1411
Number of bits of the biggest sum of numbers11
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-06T21:32:03+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-4079676-1465241523.opb"]
0.00/0.01	c use --random-gen="2557216767 2765394072 2603868126 3051832695 2301925942 1226779369 1813624662 3771549481 147717239 4268167155 1981443072 4067868960 2803663003 2206125140 587636801 2014337373 3755685647 353730813 2984410774 318228243 3691507152 1517240048 53879165 2981479612 98700264 4234687669 3040527634 719921409 1875686254 1206058304 650017737 2630114124 186024719 747136522 3567640690 2995160625 3881016822 1074555718 2320850742 1927741188 3436208520 345990382 173353224 2125465099 2259265458 3623433376 25504259 4266067014 1926712162 1679587895 815121501 2995282274 2000978989 1075332508 4170991569 2548513743 2427002334 1249081230 410670139 4073898015 108996969 2757341333 3090338199 1287509669 4246940705 435231354 4117911205 295746486 1298144671 1584198984 606103896 3417907793 2876272680 202031392 3834037735 2506249609 923648527 905497061 2867289771 2893563312 4223998796 1111416629 3261613183 3122448880 4124830058 1966640340 1228644681 3520324917 2031737974 295293255 4279320795 1678345242 29068928 1881842048 2266103481 1889664171 1841533817 1752557102 618485413 2261730826 731457645 1463290981 3962248533 3994211135 2219070085 394936346 2206127187 1641756166 3579299245 1824795963 2097948306 2721717611 3590011053 10700701 1286414658 313907223 2313538646 1230863120 4267994609 3525529676 646953096 2962110587 3038462186 3051318424 735884971 3662461007 1378079707 3784371983 4101432065 2816881957 1980866274 1651508468 1271331945 506505330 2514375524 4051703792 1017079550 278948212 1817099938 3152677271 1788071450 2210285772 609112488 1745880823 2100909116 924178030 2266105921 935814595 3326659035 135627312 687030820 1041038825 2632235607 2077370949 4278105601 1836741127 4190162461 707844598 3908759197 4022340798 2878366176 3329228683 1458102906 2616898997 138615067 4184428208 3669116409 205132056 431484670 1715929626 3185283851 472830158 1105903449 2565997028 3857793419 3953088948 4162793126 1022864629 4155854229 3770144328 1627150446 4081847418 3386816508 2044910119 3410372137 2807577531 3932499435 1214085827 3534978686 760581653 4161644703 1633891837 3445623597 1971099049 2151630714 3939686090 2609319452 3519009768 529525357 824236088 2989873065 3209876563 3136907269 981078387 3807595476 2411704062 4236569622 4224024064 254079412 914238847 1005730137 2128929533 1121596552 4124469949 551421282 1333897171 2692216003 2216068949 1411692742 3374285760 484136281 366063168 3626678173 1676315084 459501811 3808509701 1414454127 862362392 1427271236 2527541149 1161610864 3292898032 1614477783 3847057201 1284120204 416178048 1353904817 582538482 3204654655 1634893409 2496194207 1570156308 564172702 1945841332 2033479401 2974107927 1172975184 852346980 3470349720 154115388 3362898428 518189600 903909736 3080426658 1417818612 1976088737 255 362436" option to reproduce the execution
0.38/0.40	c #vars 3297
0.38/0.40	c #constraints 6383
0.89/0.96	c BCD2: Hardening is enabled.
0.89/0.96	c BCD2: BiasedSearch is enabled.
0.89/0.96	c Solving starts ...
0.89/0.96	c ============================[ Search Statistics ]============================
0.89/0.96	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.89/0.96	c       |         |          |          |    Limit     GC | Var      | Constra 
0.89/0.96	c =============================================================================
0.89/0.96	c  0.0s |       0 |        0 |        0 |     3226      0 |        0 |        0
2.19/2.28	c  1.3s |       1 |     2504 |      100 |     3226      0 |        0 |        0
3.48/3.58	c  2.6s |       2 |     2774 |      250 |     3549      0 |        0 |        0
5.09/5.17	c  4.2s |       3 |     3108 |      475 |     3904      0 |        0 |        0
6.89/6.96	c  6.0s |       4 |     3646 |      813 |     4295      0 |        0 |        0
9.08/9.11	c  8.2s |       4 |     4335 |     1313 |     4725      0 |        0 |        0
9.08/9.18	c  8.2s |       5 |     4342 |     1320 |     4725      0 |        0 |        0
11.28/11.32	c 10.4s |       5 |     4765 |     1620 |     5198      0 |        0 |        0
13.48/13.51	c 12.6s |       5 |     5100 |     1920 |     5198      0 |        0 |        0
14.68/14.78	c 13.8s |       6 |     5277 |     2081 |     5718      0 |        0 |        0
17.18/17.28	c 16.3s |       6 |     6011 |     2581 |     5718      0 |        0 |        0
19.58/19.60	c 18.6s |       6 |     6487 |     2981 |     5718      0 |        0 |        0
20.99/21.06	c 20.1s |       7 |     6755 |     3223 |     6290      0 |        0 |        0
23.68/23.71	c 22.8s |       7 |     7448 |     3723 |     6290      0 |        0 |        0
25.78/25.88	c 24.9s |       7 |     7976 |     4123 |     6290      0 |        0 |        0
28.38/28.40	c 27.4s |       7 |     8569 |     4623 |     6290      0 |        0 |        0
30.38/30.49	c 29.5s |       7 |     8934 |     4923 |     6920      0 |        0 |        0
30.48/30.57	c 29.6s |       8 |     8954 |     4936 |     6920      0 |        0 |        0
32.78/32.88	c 31.9s |       8 |     9645 |     5436 |     6920      0 |        0 |        0
35.19/35.25	c 34.3s |       8 |    10295 |     5936 |     6920      0 |        0 |        0
37.28/37.33	c 36.4s |       8 |    10805 |     6336 |     6920      0 |        0 |        0
39.48/39.60	c 38.6s |       8 |    11379 |     6736 |     6920      0 |        0 |        0
42.18/42.21	c 41.2s |       8 |    12048 |     7236 |     6920      0 |        0 |        0
43.58/43.69	c 42.7s |       9 |    12411 |     7506 |     7613      0 |        0 |        0
45.88/45.90	c 44.9s |       9 |    12959 |     7906 |     7613      0 |        0 |        0
48.18/48.22	c 47.3s |       9 |    13492 |     8306 |     7613      0 |        0 |        0
50.38/50.46	c 49.5s |       9 |    14017 |     8706 |     7613      0 |        0 |        0
51.18/51.27	c 50.3s |       9 |    14167 |     8836 |     7613      0 |        0 |        0
51.18/51.27	c #cpu_time = 50.154s
51.18/51.27	c #wall_clock_time = 50.283s
51.18/51.27	c #decision = 14167
51.18/51.27	c #random_decision = 34
51.18/51.27	c #conflict = 8836
51.18/51.27	c #restart = 9
51.18/51.27	o 248
51.18/51.27	c BCD2: updating upper bound: 255 -> 247
51.18/51.28	c BCD2: 0 <= obj <= 247
51.18/51.28	c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0
51.18/51.28	c BCD2: #sat=1 #unsat=1 bias=1/2
51.18/51.28	c Solving starts ...
51.18/51.28	c ============================[ Search Statistics ]============================
51.18/51.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
51.18/51.28	c       |         |          |          |    Limit     GC | Var      | Constra 
51.18/51.28	c =============================================================================
51.18/51.28	c  0.0s |       0 |        0 |        0 |     7613      0 |        0 |        0
51.38/51.48	c  0.2s |       0 |        7 |        1 |     7613      1 |        0 |        0
51.38/51.48	c #cpu_time = 0.179s
51.38/51.48	c #wall_clock_time = 0.179s
51.38/51.48	c #decision = 7
51.38/51.48	c #random_decision = 0
51.38/51.48	c #conflict = 1
51.38/51.48	c #restart = 0
51.38/51.48	c BCD2: found a new core of size 7: cost of the new core is >=2
51.38/51.48	c lower bound updated to 2
51.38/51.49	c BCD2: 2 <= obj <= 247
51.38/51.49	c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0
51.38/51.49	c BCD2: #sat=1 #unsat=2 bias=2/3
51.38/51.49	c Solving starts ...
51.38/51.49	c ============================[ Search Statistics ]============================
51.38/51.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
51.38/51.49	c       |         |          |          |    Limit     GC | Var      | Constra 
51.38/51.49	c =============================================================================
51.38/51.49	c  0.0s |       0 |        0 |        0 |     7613      0 |        0 |        0
52.18/52.27	c  0.8s |       1 |      201 |      100 |     7613      0 |        0 |        0
53.08/53.11	c  1.6s |       2 |      423 |      250 |     7613      0 |        0 |        0
54.08/54.12	c  2.6s |       3 |      761 |      475 |     7613      0 |        0 |        0
56.18/56.29	c  4.8s |       4 |     1178 |      813 |     7613      0 |        0 |        0
58.28/58.31	c  6.8s |       4 |     1611 |     1113 |     7613      0 |        0 |        0
59.68/59.76	c  8.3s |       5 |     1847 |     1320 |     7613      0 |        0 |        0
61.88/61.91	c 10.4s |       5 |     2509 |     1820 |     7613      0 |        0 |        0
62.68/62.71	c 11.2s |       5 |     2701 |     1965 |     7613      0 |        0 |        0
62.68/62.71	c #cpu_time = 11.159s
62.68/62.71	c #wall_clock_time = 11.188s
62.68/62.71	c #decision = 2701
62.68/62.71	c #random_decision = 6
62.68/62.71	c #conflict = 1965
62.68/62.71	c #restart = 5
62.68/62.71	o 164
62.68/62.71	c BCD2: updating upper bound: 247 -> 163
62.68/62.72	c BCD2: 2 <= obj <= 163
62.68/62.72	c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0
62.68/62.72	c BCD2: #sat=2 #unsat=2 bias=2/4
62.68/62.72	c Solving starts ...
62.68/62.72	c ============================[ Search Statistics ]============================
62.68/62.72	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
62.68/62.72	c       |         |          |          |    Limit     GC | Var      | Constra 
62.68/62.72	c =============================================================================
62.68/62.72	c  0.0s |       0 |        0 |        0 |     7613      0 |        0 |        0
63.28/63.35	c  0.6s |       1 |      138 |      100 |     7613      0 |        0 |        0
64.18/64.29	c  1.6s |       2 |      395 |      250 |     7613      0 |        0 |        0
65.78/65.81	c  3.1s |       3 |      697 |      475 |     7613      0 |        0 |        0
67.37/67.49	c  4.8s |       4 |     1125 |      813 |     8375      0 |        0 |        0
69.67/69.80	c  7.1s |       4 |     1498 |     1113 |     8375      0 |        0 |        0
71.27/71.37	c  8.7s |       5 |     1722 |     1320 |     8375      0 |        0 |        0
73.78/73.82	c 11.1s |       5 |     2214 |     1720 |     8375      0 |        0 |        0
76.07/76.14	c 13.4s |       6 |     2668 |     2081 |     8375      0 |        0 |        0
78.18/78.28	c 15.6s |       6 |     3138 |     2481 |     8375      1 |        0 |        0
80.28/80.31	c 17.6s |       6 |     3587 |     2881 |     8375      1 |        0 |        0
82.27/82.36	c 19.6s |       7 |     3975 |     3223 |     8375      1 |        0 |        0
84.68/84.76	c 22.0s |       7 |     4472 |     3623 |     8375      1 |        0 |        0
86.98/87.01	c 24.3s |       7 |     4954 |     4023 |     8375      1 |        0 |        0
89.18/89.24	c 26.5s |       7 |     5403 |     4423 |     8375      1 |        0 |        0
91.28/91.35	c 28.6s |       7 |     5847 |     4823 |     8375      1 |        0 |        0
91.97/92.08	c 29.4s |       8 |     5973 |     4936 |     8375      1 |        0 |        0
94.37/94.40	c 31.7s |       8 |     6462 |     5336 |     8375      1 |        0 |        0
96.47/96.58	c 33.9s |       8 |     6906 |     5736 |     8375      1 |        0 |        0
99.08/99.12	c 36.4s |       8 |     7347 |     6136 |     8375      1 |        0 |        0
101.67/101.73	c 39.0s |       8 |     7797 |     6536 |     9213      1 |        0 |        0
104.27/104.37	c 41.7s |       8 |     8250 |     6936 |     9213      1 |        0 |        0
106.97/107.03	c 44.3s |       8 |     8674 |     7336 |     9213      1 |        0 |        0
108.07/108.11	c 45.4s |       9 |     8853 |     7506 |     9213      1 |        0 |        0
110.37/110.44	c 47.7s |       9 |     9359 |     7906 |     9213      2 |        0 |        0
112.57/112.62	c 49.9s |       9 |     9815 |     8306 |     9213      2 |        0 |        0
115.07/115.17	c 52.5s |       9 |    10290 |     8706 |     9213      2 |        0 |        0
117.37/117.43	c 54.7s |       9 |    10635 |     9006 |     9213      2 |        0 |        0
119.57/119.63	c 56.9s |       9 |    10980 |     9306 |     9213      2 |        0 |        0
121.67/121.78	c 59.1s |       9 |    11311 |     9606 |     9213      2 |        0 |        0
123.96/124.06	c 61.3s |       9 |    11645 |     9906 |     9213      2 |        0 |        0
126.36/126.40	c 63.7s |       9 |    12072 |    10306 |     9213      2 |        0 |        0
128.46/128.58	c 65.9s |       9 |    12498 |    10706 |     9213      2 |        0 |        0
130.97/131.02	c 68.3s |       9 |    12935 |    11106 |     9213      2 |        0 |        0
132.46/132.57	c 69.9s |      10 |    13230 |    11361 |     9213      2 |        0 |        0
135.06/135.16	c 72.4s |      10 |    13718 |    11761 |     9213      2 |        0 |        0
137.26/137.32	c 74.6s |      10 |    14152 |    12161 |     9213      2 |        0 |        0
139.26/139.32	c 76.6s |      10 |    14475 |    12461 |     9213      3 |        0 |        0
141.76/141.86	c 79.1s |      10 |    14908 |    12861 |     9213      3 |        0 |        0
144.46/144.52	c 81.8s |      10 |    15336 |    13261 |     9213      3 |        0 |        0
146.86/146.94	c 84.2s |      10 |    15785 |    13661 |     9213      3 |        0 |        0
149.36/149.45	c 86.7s |      10 |    16234 |    14061 |     9213      3 |        0 |        0
151.96/152.00	c 89.3s |      10 |    16684 |    14461 |     9213      3 |        0 |        0
154.36/154.47	c 91.8s |      10 |    17110 |    14861 |    10135      3 |        0 |        0
156.56/156.60	c 93.9s |      10 |    17429 |    15161 |    10135      3 |        0 |        0
158.56/158.65	c 95.9s |      10 |    17759 |    15461 |    10135      3 |        0 |        0
161.06/161.11	c 98.4s |      10 |    18191 |    15861 |    10135      3 |        0 |        0
163.06/163.14	c  100s |      10 |    18512 |    16161 |    10135      3 |        0 |        0
165.66/165.72	c  102s |      10 |    18944 |    16561 |    10135      3 |        0 |        0
168.26/168.30	c  105s |      10 |    19380 |    16961 |    10135      3 |        0 |        0
169.56/169.69	c  106s |      11 |    19564 |    17144 |    10135      3 |        0 |        0
171.96/172.08	c  109s |      11 |    19932 |    17444 |    10135      3 |        0 |        0
174.16/174.26	c  111s |      11 |    20258 |    17744 |    10135      3 |        0 |        0
176.46/176.56	c  113s |      11 |    20580 |    18044 |    10135      4 |        0 |        0
178.66/178.76	c  116s |      11 |    20947 |    18344 |    10135      4 |        0 |        0
180.76/180.89	c  118s |      11 |    21275 |    18644 |    10135      4 |        0 |        0
182.86/182.93	c  120s |      11 |    21604 |    18944 |    10135      4 |        0 |        0
185.05/185.18	c  122s |      11 |    21937 |    19244 |    10135      4 |        0 |        0
187.75/187.86	c  125s |      11 |    22279 |    19544 |    10135      4 |        0 |        0
190.15/190.24	c  127s |      11 |    22708 |    19844 |    10135      4 |        0 |        0
192.46/192.58	c  129s |      11 |    23066 |    20144 |    10135      4 |        0 |        0
195.05/195.14	c  132s |      11 |    23437 |    20444 |    10135      4 |        0 |        0
197.65/197.74	c  135s |      11 |    23828 |    20744 |    10135      4 |        0 |        0
200.16/200.27	c  137s |      11 |    24291 |    21144 |    10135      4 |        0 |        0
202.46/202.58	c  139s |      11 |    24636 |    21444 |    10135      4 |        0 |        0
205.35/205.49	c  142s |      11 |    24983 |    21744 |    10135      4 |        0 |        0
207.65/207.76	c  145s |      11 |    25320 |    22044 |    10135      4 |        0 |        0
210.06/210.18	c  147s |      11 |    25668 |    22344 |    10135      4 |        0 |        0
212.75/212.85	c  150s |      11 |    26012 |    22644 |    10135      4 |        0 |        0
214.85/214.92	c  152s |      11 |    26254 |    22844 |    10135      4 |        0 |        0
217.05/217.16	c  154s |      11 |    26615 |    23144 |    10135      4 |        0 |        0
219.55/219.63	c  156s |      11 |    27077 |    23544 |    10135      5 |        0 |        0
222.26/222.33	c  159s |      11 |    27509 |    23944 |    10135      5 |        0 |        0
224.55/224.68	c  161s |      11 |    27945 |    24344 |    10135      5 |        0 |        0
226.85/226.94	c  164s |      11 |    28267 |    24644 |    10135      5 |        0 |        0
228.95/229.00	c  166s |      11 |    28594 |    24944 |    10135      5 |        0 |        0
231.35/231.47	c  168s |      11 |    28938 |    25244 |    10135      5 |        0 |        0
234.05/234.17	c  171s |      11 |    29388 |    25644 |    10135      5 |        0 |        0
235.55/235.60	c  172s |      12 |    29617 |    25819 |    10135      5 |        0 |        0
237.55/237.70	c  174s |      12 |    30086 |    26219 |    10135      5 |        0 |        0
240.15/240.27	c  177s |      12 |    30523 |    26619 |    10135      5 |        0 |        0
242.45/242.52	c  179s |      12 |    30958 |    27019 |    10135      5 |        0 |        0
244.55/244.66	c  181s |      12 |    31386 |    27419 |    10135      5 |        0 |        0
246.65/246.78	c  184s |      12 |    31807 |    27819 |    11149      5 |        0 |        0
248.75/248.87	c  186s |      12 |    32236 |    28219 |    11149      5 |        0 |        0
250.94/251.09	c  188s |      12 |    32677 |    28619 |    11149      5 |        0 |        0
253.34/253.44	c  190s |      12 |    33131 |    29019 |    11149      5 |        0 |        0
255.74/255.84	c  193s |      12 |    33599 |    29419 |    11149      6 |        0 |        0
257.94/258.04	c  195s |      12 |    34048 |    29819 |    11149      6 |        0 |        0
260.44/260.50	c  197s |      12 |    34495 |    30219 |    11149      6 |        0 |        0
262.44/262.57	c  199s |      12 |    34840 |    30519 |    11149      6 |        0 |        0
264.64/264.70	c  201s |      12 |    35173 |    30819 |    11149      6 |        0 |        0
266.84/266.98	c  204s |      12 |    35502 |    31119 |    11149      6 |        0 |        0
269.34/269.44	c  206s |      12 |    35930 |    31519 |    11149      6 |        0 |        0
271.75/271.86	c  209s |      12 |    36369 |    31919 |    11149      6 |        0 |        0
274.14/274.25	c  211s |      12 |    36801 |    32319 |    11149      6 |        0 |        0
276.54/276.60	c  213s |      12 |    37335 |    32819 |    11149      6 |        0 |        0
278.74/278.89	c  216s |      12 |    37753 |    33219 |    11149      6 |        0 |        0
281.34/281.42	c  218s |      12 |    38172 |    33619 |    11149      6 |        0 |        0
283.54/283.67	c  220s |      12 |    38614 |    34019 |    11149      6 |        0 |        0
286.24/286.38	c  223s |      12 |    39031 |    34419 |    11149      6 |        0 |        0
288.64/288.75	c  226s |      12 |    39353 |    34719 |    11149      6 |        0 |        0
291.45/291.55	c  228s |      12 |    39702 |    35019 |    11149      7 |        0 |        0
293.94/294.06	c  231s |      12 |    40044 |    35319 |    11149      7 |        0 |        0
296.54/296.60	c  233s |      12 |    40396 |    35619 |    11149      7 |        0 |        0
299.24/299.38	c  236s |      12 |    40741 |    35919 |    11149      7 |        0 |        0
301.64/301.74	c  239s |      12 |    41073 |    36219 |    11149      7 |        0 |        0
304.44/304.51	c  241s |      12 |    41446 |    36519 |    11149      7 |        0 |        0
307.34/307.48	c  244s |      12 |    41814 |    36819 |    11149      7 |        0 |        0
309.73/309.80	c  247s |      12 |    42185 |    37119 |    11149      7 |        0 |        0
312.44/312.57	c  249s |      12 |    42540 |    37419 |    11149      7 |        0 |        0
315.23/315.30	c  252s |      12 |    42880 |    37719 |    11149      7 |        0 |        0
317.23/317.33	c  254s |      12 |    43096 |    37919 |    11149      7 |        0 |        0
319.73/319.85	c  257s |      12 |    43436 |    38219 |    11149      7 |        0 |        0
322.53/322.65	c  259s |      12 |    43782 |    38519 |    11149      7 |        0 |        0
325.13/325.20	c  262s |      12 |    44115 |    38819 |    11149      7 |        0 |        0
325.23/325.35	c  262s |      13 |    44133 |    38832 |    11149      7 |        0 |        0
327.84/327.91	c  265s |      13 |    44624 |    39232 |    11149      7 |        0 |        0
330.23/330.39	c  267s |      13 |    45124 |    39632 |    11149      7 |        0 |        0
332.93/333.05	c  270s |      13 |    45592 |    40032 |    11149      7 |        0 |        0
335.23/335.31	c  272s |      13 |    46048 |    40432 |    11149      7 |        0 |        0
337.53/337.69	c  274s |      13 |    46486 |    40832 |    11149      8 |        0 |        0
340.13/340.25	c  277s |      13 |    46952 |    41232 |    11149      8 |        0 |        0
342.43/342.53	c  279s |      13 |    47299 |    41532 |    11149      8 |        0 |        0
344.54/344.67	c  281s |      13 |    47639 |    41832 |    11149      8 |        0 |        0
346.84/346.93	c  284s |      13 |    48015 |    42132 |    11149      8 |        0 |        0
348.94/349.09	c  286s |      13 |    48374 |    42432 |    11149      8 |        0 |        0
351.14/351.26	c  288s |      13 |    48719 |    42732 |    11149      8 |        0 |        0
353.94/354.03	c  291s |      13 |    49161 |    43132 |    11149      8 |        0 |        0
356.73/356.81	c  294s |      13 |    49503 |    43432 |    11149      8 |        0 |        0
359.13/359.21	c  296s |      13 |    49862 |    43732 |    11149      8 |        0 |        0
361.33/361.48	c  298s |      13 |    50215 |    44032 |    11149      8 |        0 |        0
363.43/363.56	c  300s |      13 |    50594 |    44332 |    11149      8 |        0 |        0
365.63/365.74	c  303s |      13 |    50943 |    44632 |    11149      8 |        0 |        0
367.63/367.74	c  305s |      13 |    51161 |    44832 |    11149      8 |        0 |        0
369.83/369.97	c  307s |      13 |    51536 |    45132 |    11149      8 |        0 |        0
372.23/372.37	c  309s |      13 |    51884 |    45432 |    11149      8 |        0 |        0
374.73/374.80	c  312s |      13 |    52211 |    45732 |    11149      8 |        0 |        0
377.43/377.53	c  314s |      13 |    52527 |    46032 |    11149      8 |        0 |        0
379.54/379.63	c  316s |      13 |    52900 |    46332 |    11149      8 |        0 |        0
381.93/382.01	c  319s |      13 |    53212 |    46632 |    11149      8 |        0 |        0
384.33/384.42	c  321s |      13 |    53561 |    46932 |    11149      9 |        0 |        0
386.53/386.63	c  323s |      13 |    53907 |    47232 |    12264      9 |        0 |        0
389.23/389.34	c  326s |      13 |    54230 |    47532 |    12264      9 |        0 |        0
391.83/391.92	c  329s |      13 |    54580 |    47832 |    12264      9 |        0 |        0
394.03/394.17	c  331s |      13 |    54916 |    48132 |    12264      9 |        0 |        0
396.33/396.46	c  333s |      13 |    55251 |    48432 |    12264      9 |        0 |        0
398.83/398.96	c  336s |      13 |    55579 |    48732 |    12264      9 |        0 |        0
401.93/402.04	c  339s |      13 |    55926 |    49032 |    12264      9 |        0 |        0
404.93/405.00	c  342s |      13 |    56248 |    49332 |    12264      9 |        0 |        0
407.03/407.14	c  344s |      13 |    56471 |    49532 |    12264      9 |        0 |        0
409.23/409.34	c  346s |      13 |    56688 |    49732 |    12264      9 |        0 |        0
411.33/411.46	c  348s |      13 |    56904 |    49932 |    12264      9 |        0 |        0
413.43/413.53	c  350s |      13 |    57133 |    50132 |    12264      9 |        0 |        0
415.62/415.73	c  353s |      13 |    57480 |    50432 |    12264      9 |        0 |        0
417.62/417.78	c  355s |      13 |    57699 |    50632 |    12264      9 |        0 |        0
420.32/420.41	c  357s |      13 |    58038 |    50932 |    12264      9 |        0 |        0
423.22/423.33	c  360s |      13 |    58383 |    51232 |    12264      9 |        0 |        0
425.82/426.00	c  363s |      13 |    58768 |    51532 |    12264      9 |        0 |        0
428.22/428.34	c  365s |      13 |    59117 |    51832 |    12264      9 |        0 |        0
430.92/431.07	c  368s |      13 |    59462 |    52132 |    12264      9 |        0 |        0
433.82/433.93	c  371s |      13 |    59805 |    52432 |    12264      9 |        0 |        0
436.63/436.71	c  373s |      13 |    60143 |    52732 |    12264      9 |        0 |        0
438.93/439.07	c  376s |      13 |    60481 |    53032 |    12264      9 |        0 |        0
441.13/441.25	c  378s |      13 |    60904 |    53432 |    12264      9 |        0 |        0
443.33/443.44	c  380s |      13 |    61318 |    53832 |    12264      9 |        0 |        0
445.43/445.54	c  382s |      13 |    61739 |    54232 |    12264     10 |        0 |        0
447.92/448.03	c  385s |      13 |    62195 |    54632 |    12264     10 |        0 |        0
450.52/450.63	c  387s |      13 |    62657 |    55032 |    12264     10 |        0 |        0
452.82/452.96	c  390s |      13 |    62987 |    55332 |    12264     10 |        0 |        0
455.43/455.54	c  392s |      13 |    63447 |    55732 |    12264     10 |        0 |        0
457.72/457.81	c  395s |      13 |    63880 |    56132 |    12264     10 |        0 |        0
460.02/460.15	c  397s |      13 |    64318 |    56532 |    12264     10 |        0 |        0
462.62/462.78	c  400s |      13 |    64762 |    56932 |    12264     10 |        0 |        0
464.92/465.03	c  402s |      13 |    65102 |    57232 |    12264     10 |        0 |        0
467.02/467.14	c  404s |      13 |    65446 |    57532 |    12264     10 |        0 |        0
469.02/469.15	c  406s |      13 |    65791 |    57832 |    12264     10 |        0 |        0
471.02/471.18	c  408s |      13 |    66113 |    58132 |    12264     10 |        0 |        0
472.82/472.92	c  410s |      14 |    66362 |    58352 |    12264     10 |        0 |        0
474.82/474.99	c  412s |      14 |    66730 |    58652 |    12264     10 |        0 |        0
477.42/477.54	c  414s |      14 |    67158 |    59052 |    12264     10 |        0 |        0
479.92/480.05	c  417s |      14 |    67588 |    59452 |    12264     10 |        0 |        0
482.51/482.61	c  419s |      14 |    68030 |    59852 |    12264     10 |        0 |        0
484.51/484.64	c  421s |      14 |    68378 |    60152 |    12264     11 |        0 |        0
487.01/487.14	c  424s |      14 |    68834 |    60552 |    12264     11 |        0 |        0
489.42/489.58	c  426s |      14 |    69267 |    60952 |    12264     11 |        0 |        0
491.51/491.68	c  428s |      14 |    69623 |    61252 |    12264     11 |        0 |        0
493.51/493.68	c  430s |      14 |    69941 |    61552 |    12264     11 |        0 |        0
495.71/495.85	c  433s |      14 |    70248 |    61852 |    12264     11 |        0 |        0
497.71/497.88	c  435s |      14 |    70561 |    62152 |    12264     11 |        0 |        0
499.91/500.05	c  437s |      14 |    70895 |    62452 |    12264     11 |        0 |        0
502.31/502.48	c  439s |      14 |    71213 |    62752 |    12264     11 |        0 |        0
504.71/504.84	c  442s |      14 |    71538 |    63052 |    12264     11 |        0 |        0
506.81/506.97	c  444s |      14 |    71969 |    63452 |    12264     11 |        0 |        0
508.91/509.06	c  446s |      14 |    72400 |    63852 |    12264     11 |        0 |        0
511.52/511.66	c  448s |      14 |    72827 |    64252 |    12264     11 |        0 |        0
513.72/513.84	c  451s |      14 |    73278 |    64652 |    12264     11 |        0 |        0
515.92/516.06	c  453s |      14 |    73771 |    65052 |    12264     11 |        0 |        0
518.51/518.66	c  455s |      14 |    74378 |    65552 |    12264     11 |        0 |        0
520.81/520.92	c  458s |      14 |    74697 |    65852 |    12264     11 |        0 |        0
522.91/523.08	c  460s |      14 |    75032 |    66152 |    12264     11 |        0 |        0
525.21/525.33	c  462s |      14 |    75361 |    66452 |    12264     12 |        0 |        0
527.41/527.52	c  464s |      14 |    75705 |    66752 |    12264     12 |        0 |        0
529.81/529.90	c  467s |      14 |    76164 |    67152 |    12264     12 |        0 |        0
532.21/532.31	c  469s |      14 |    76612 |    67552 |    12264     12 |        0 |        0
534.51/534.66	c  471s |      14 |    77028 |    67952 |    12264     12 |        0 |        0
536.91/537.06	c  474s |      14 |    77441 |    68352 |    12264     12 |        0 |        0
539.21/539.35	c  476s |      14 |    77886 |    68752 |    12264     12 |        0 |        0
541.81/541.98	c  479s |      14 |    78329 |    69152 |    12264     12 |        0 |        0
544.51/544.64	c  481s |      14 |    78773 |    69552 |    12264     12 |        0 |        0
547.20/547.37	c  484s |      14 |    79215 |    69952 |    12264     12 |        0 |        0
549.60/549.72	c  487s |      14 |    79540 |    70252 |    12264     12 |        0 |        0
552.21/552.39	c  489s |      14 |    79964 |    70652 |    12264     12 |        0 |        0
554.60/554.75	c  492s |      14 |    80288 |    70952 |    12264     12 |        0 |        0
556.80/556.98	c  494s |      14 |    80607 |    71252 |    12264     12 |        0 |        0
558.90/559.09	c  496s |      14 |    80927 |    71552 |    12264     12 |        0 |        0
561.10/561.26	c  498s |      14 |    81247 |    71852 |    12264     12 |        0 |        0
563.70/563.84	c  501s |      14 |    81687 |    72252 |    12264     12 |        0 |        0
566.30/566.46	c  503s |      14 |    82135 |    72652 |    12264     12 |        0 |        0
568.80/568.99	c  506s |      14 |    82578 |    73052 |    12264     13 |        0 |        0
571.00/571.15	c  508s |      14 |    83016 |    73452 |    12264     13 |        0 |        0
573.59/573.70	c  510s |      14 |    83439 |    73852 |    12264     13 |        0 |        0
575.99/576.16	c  513s |      14 |    83866 |    74252 |    12264     13 |        0 |        0
578.29/578.47	c  515s |      14 |    84284 |    74652 |    12264     13 |        0 |        0
580.89/581.05	c  518s |      14 |    84724 |    75052 |    12264     13 |        0 |        0
583.00/583.12	c  520s |      14 |    85066 |    75352 |    12264     13 |        0 |        0
585.10/585.23	c  522s |      14 |    85390 |    75652 |    12264     13 |        0 |        0
587.30/587.41	c  524s |      14 |    85705 |    75952 |    12264     13 |        0 |        0
589.50/589.65	c  526s |      14 |    86156 |    76352 |    13491     13 |        0 |        0
591.99/592.16	c  529s |      14 |    86595 |    76752 |    13491     13 |        0 |        0
594.49/594.66	c  531s |      14 |    87030 |    77152 |    13491     13 |        0 |        0
597.09/597.23	c  534s |      14 |    87472 |    77552 |    13491     13 |        0 |        0
599.40/599.51	c  536s |      14 |    87794 |    77852 |    13491     13 |        0 |        0
601.70/601.89	c  539s |      14 |    88225 |    78252 |    13491     13 |        0 |        0
603.99/604.18	c  541s |      14 |    88640 |    78652 |    13491     13 |        0 |        0
606.29/606.44	c  543s |      14 |    89071 |    79052 |    13491     13 |        0 |        0
608.79/608.94	c  546s |      14 |    89522 |    79452 |    13491     13 |        0 |        0
611.39/611.51	c  548s |      14 |    89957 |    79852 |    13491     13 |        0 |        0
613.49/613.61	c  550s |      14 |    90287 |    80152 |    13491     13 |        0 |        0
615.49/615.66	c  552s |      14 |    90597 |    80452 |    13491     13 |        0 |        0
617.69/617.89	c  555s |      14 |    90933 |    80752 |    13491     14 |        0 |        0
619.79/619.99	c  557s |      14 |    91257 |    81052 |    13491     14 |        0 |        0
621.99/622.19	c  559s |      14 |    91578 |    81352 |    13491     14 |        0 |        0
624.19/624.37	c  561s |      14 |    91904 |    81652 |    13491     14 |        0 |        0
626.89/627.07	c  564s |      14 |    92333 |    82052 |    13491     14 |        0 |        0
629.49/629.67	c  566s |      14 |    92793 |    82452 |    13491     14 |        0 |        0
631.69/631.81	c  569s |      14 |    93354 |    82852 |    13491     14 |        0 |        0
634.08/634.24	c  571s |      14 |    93819 |    83252 |    13491     14 |        0 |        0
636.28/636.47	c  573s |      14 |    94256 |    83652 |    13491     14 |        0 |        0
638.48/638.66	c  575s |      14 |    94692 |    84052 |    13491     14 |        0 |        0
640.88/641.00	c  578s |      14 |    95171 |    84452 |    13491     14 |        0 |        0
642.88/643.08	c  580s |      14 |    95603 |    84852 |    13491     14 |        0 |        0
645.48/645.62	c  582s |      14 |    96049 |    85252 |    13491     14 |        0 |        0
647.98/648.11	c  585s |      14 |    96488 |    85652 |    13491     14 |        0 |        0
650.18/650.35	c  587s |      14 |    96930 |    86052 |    13491     14 |        0 |        0
652.68/652.87	c  590s |      14 |    97371 |    86452 |    13491     14 |        0 |        0
654.98/655.11	c  592s |      14 |    97811 |    86852 |    13491     14 |        0 |        0
657.38/657.53	c  594s |      14 |    98245 |    87252 |    13491     15 |        0 |        0
659.48/659.65	c  596s |      15 |    98637 |    87632 |    13491     15 |        0 |        0
661.68/661.87	c  599s |      15 |    99011 |    87932 |    13491     15 |        0 |        0
663.88/664.00	c  601s |      15 |    99363 |    88232 |    13491     15 |        0 |        0
665.88/666.02	c  603s |      15 |    99713 |    88532 |    13491     15 |        0 |        0
667.88/668.07	c  605s |      15 |   100076 |    88832 |    13491     15 |        0 |        0
670.18/670.32	c  607s |      15 |   100448 |    89132 |    13491     15 |        0 |        0
672.38/672.52	c  609s |      15 |   100906 |    89532 |    13491     15 |        0 |        0
675.08/675.21	c  612s |      15 |   101368 |    89932 |    13491     15 |        0 |        0
677.59/677.75	c  615s |      15 |   101825 |    90332 |    13491     15 |        0 |        0
679.88/680.00	c  617s |      15 |   102290 |    90732 |    13491     15 |        0 |        0
682.18/682.32	c  619s |      15 |   102761 |    91132 |    13491     15 |        0 |        0
684.88/685.08	c  622s |      15 |   103203 |    91532 |    13491     15 |        0 |        0
687.48/687.64	c  624s |      15 |   103651 |    91932 |    13491     15 |        0 |        0
690.28/690.42	c  627s |      15 |   104091 |    92332 |    13491     15 |        0 |        0
692.47/692.66	c  629s |      15 |   104434 |    92632 |    13491     15 |        0 |        0
694.77/694.91	c  632s |      15 |   104768 |    92932 |    13491     15 |        0 |        0
697.17/697.35	c  634s |      15 |   105219 |    93332 |    13491     15 |        0 |        0
699.67/699.86	c  637s |      15 |   105637 |    93732 |    13491     15 |        0 |        0
702.07/702.24	c  639s |      15 |   106065 |    94132 |    13491     16 |        0 |        0
704.67/704.80	c  642s |      15 |   106614 |    94632 |    13491     16 |        0 |        0
706.97/707.12	c  644s |      15 |   106952 |    94932 |    13491     16 |        0 |        0
709.57/709.79	c  647s |      15 |   107412 |    95332 |    13491     16 |        0 |        0
711.68/711.85	c  649s |      15 |   107739 |    95632 |    13491     16 |        0 |        0
713.78/713.95	c  651s |      15 |   108058 |    95932 |    13491     16 |        0 |        0
715.87/716.05	c  653s |      15 |   108385 |    96232 |    13491     16 |        0 |        0
717.87/718.07	c  655s |      15 |   108738 |    96532 |    13491     16 |        0 |        0
720.38/720.60	c  657s |      15 |   109207 |    96932 |    13491     16 |        0 |        0
722.58/722.76	c  660s |      15 |   109699 |    97332 |    13491     16 |        0 |        0
724.97/725.16	c  662s |      15 |   110131 |    97732 |    13491     16 |        0 |        0
727.17/727.32	c  664s |      15 |   110463 |    98032 |    13491     16 |        0 |        0
729.77/729.93	c  667s |      15 |   110903 |    98432 |    13491     16 |        0 |        0
732.07/732.29	c  669s |      15 |   111334 |    98832 |    13491     16 |        0 |        0
734.17/734.30	c  671s |      15 |   111654 |    99132 |    13491     16 |        0 |        0
736.37/736.54	c  673s |      15 |   111989 |    99432 |    13491     16 |        0 |        0
738.87/739.06	c  676s |      15 |   112430 |    99832 |    13491     16 |        0 |        0
741.27/741.45	c  678s |      15 |   112884 |   100232 |    13491     16 |        0 |        0
743.47/743.65	c  680s |      15 |   113307 |   100632 |    13491     16 |        0 |        0
745.47/745.69	c  682s |      15 |   113651 |   100932 |    13491     17 |        0 |        0
747.57/747.72	c  685s |      15 |   114091 |   101332 |    13491     17 |        0 |        0
749.97/750.13	c  687s |      15 |   114639 |   101832 |    13491     17 |        0 |        0
752.27/752.40	c  689s |      15 |   115066 |   102232 |    13491     17 |        0 |        0
754.37/754.50	c  691s |      15 |   115499 |   102632 |    13491     17 |        0 |        0
756.46/756.67	c  693s |      15 |   115918 |   103032 |    13491     17 |        0 |        0
758.76/758.95	c  696s |      15 |   116348 |   103432 |    13491     17 |        0 |        0
761.07/761.26	c  698s |      15 |   116673 |   103732 |    13491     17 |        0 |        0
763.16/763.33	c  700s |      15 |   117012 |   104032 |    13491     17 |        0 |        0
765.16/765.39	c  702s |      15 |   117345 |   104332 |    13491     17 |        0 |        0
767.56/767.75	c  705s |      15 |   117666 |   104632 |    13491     17 |        0 |        0
769.86/770.02	c  707s |      15 |   118001 |   104932 |    13491     17 |        0 |        0
772.16/772.32	c  709s |      15 |   118360 |   105232 |    13491     17 |        0 |        0
774.16/774.32	c  711s |      15 |   118713 |   105532 |    13491     17 |        0 |        0
776.25/776.46	c  713s |      15 |   119052 |   105832 |    13491     17 |        0 |        0
778.35/778.56	c  715s |      15 |   119398 |   106132 |    13491     17 |        0 |        0
780.86/781.03	c  718s |      15 |   119837 |   106532 |    13491     17 |        0 |        0
782.95/783.13	c  720s |      15 |   120168 |   106832 |    13491     17 |        0 |        0
785.55/785.74	c  723s |      15 |   120605 |   107232 |    13491     17 |        0 |        0
787.65/787.88	c  725s |      15 |   120930 |   107532 |    13491     17 |        0 |        0
790.35/790.55	c  727s |      15 |   121374 |   107932 |    13491     17 |        0 |        0
793.05/793.23	c  730s |      15 |   121832 |   108332 |    13491     18 |        0 |        0
795.35/795.53	c  732s |      15 |   122273 |   108732 |    13491     18 |        0 |        0
797.45/797.63	c  734s |      15 |   122751 |   109132 |    13491     18 |        0 |        0
799.74/800.00	c  737s |      15 |   123207 |   109532 |    13491     18 |        0 |        0
801.85/802.08	c  739s |      15 |   123576 |   109832 |    13491     18 |        0 |        0
804.54/804.79	c  742s |      15 |   124023 |   110232 |    13491     18 |        0 |        0
807.24/807.43	c  744s |      15 |   124447 |   110632 |    13491     18 |        0 |        0
809.54/809.78	c  747s |      15 |   124779 |   110932 |    13491     18 |        0 |        0
812.24/812.44	c  749s |      15 |   125090 |   111232 |    13491     18 |        0 |        0
814.64/814.87	c  752s |      15 |   125401 |   111532 |    13491     18 |        0 |        0
816.73/816.99	c  754s |      15 |   125723 |   111832 |    13491     18 |        0 |        0
819.23/819.42	c  756s |      15 |   126034 |   112132 |    13491     18 |        0 |        0
821.23/821.42	c  758s |      15 |   126368 |   112432 |    13491     18 |        0 |        0
823.53/823.73	c  761s |      15 |   126695 |   112732 |    13491     18 |        0 |        0
825.73/825.93	c  763s |      15 |   127043 |   113032 |    13491     18 |        0 |        0
828.02/828.22	c  765s |      15 |   127376 |   113332 |    13491     18 |        0 |        0
830.12/830.31	c  767s |      15 |   127694 |   113632 |    13491     18 |        0 |        0
832.32/832.59	c  769s |      15 |   128027 |   113932 |    13491     18 |        0 |        0
834.83/835.02	c  772s |      15 |   128379 |   114232 |    13491     18 |        0 |        0
837.22/837.44	c  774s |      15 |   128697 |   114532 |    13491     18 |        0 |        0
839.52/839.71	c  776s |      15 |   129031 |   114832 |    13491     18 |        0 |        0
842.32/842.50	c  779s |      15 |   129474 |   115232 |    13491     19 |        0 |        0
844.52/844.75	c  782s |      15 |   129809 |   115532 |    13491     19 |        0 |        0
846.51/846.75	c  784s |      15 |   130133 |   115832 |    13491     19 |        0 |        0
848.51/848.76	c  786s |      15 |   130446 |   116132 |    13491     19 |        0 |        0
850.91/851.18	c  788s |      15 |   130889 |   116532 |    13491     19 |        0 |        0
853.81/854.08	c  791s |      15 |   131217 |   116832 |    13491     19 |        0 |        0
856.61/856.80	c  794s |      15 |   131651 |   117232 |    13491     19 |        0 |        0
858.71/858.92	c  796s |      15 |   131967 |   117532 |    13491     19 |        0 |        0
861.01/861.21	c  798s |      15 |   132382 |   117932 |    13491     19 |        0 |        0
863.01/863.24	c  800s |      15 |   132721 |   118232 |    13491     19 |        0 |        0
865.21/865.47	c  802s |      15 |   133055 |   118532 |    13491     19 |        0 |        0
867.61/867.88	c  805s |      15 |   133521 |   118932 |    13491     19 |        0 |        0
870.21/870.43	c  807s |      15 |   133976 |   119332 |    13491     19 |        0 |        0
872.81/873.03	c  810s |      15 |   134423 |   119732 |    13491     19 |        0 |        0
875.31/875.50	c  812s |      15 |   134858 |   120132 |    14841     19 |        0 |        0
878.01/878.23	c  815s |      15 |   135301 |   120532 |    14841     19 |        0 |        0
880.01/880.28	c  817s |      15 |   135636 |   120832 |    14841     19 |        0 |        0
882.12/882.38	c  819s |      15 |   135985 |   121132 |    14841     19 |        0 |        0
884.71/884.98	c  822s |      15 |   136402 |   121532 |    14841     19 |        0 |        0
887.11/887.38	c  824s |      15 |   136729 |   121832 |    14841     19 |        0 |        0
889.51/889.70	c  826s |      15 |   137045 |   122132 |    14841     19 |        0 |        0
891.61/891.81	c  829s |      15 |   137370 |   122432 |    14841     19 |        0 |        0
893.61/893.82	c  831s |      15 |   137697 |   122732 |    14841     19 |        0 |        0
896.21/896.41	c  833s |      15 |   138172 |   123132 |    14841     19 |        0 |        0
898.31/898.57	c  835s |      15 |   138488 |   123432 |    14841     19 |        0 |        0
901.01/901.20	c  838s |      15 |   138925 |   123832 |    14841     20 |        0 |        0
903.11/903.37	c  840s |      15 |   139239 |   124132 |    14841     20 |        0 |        0
905.60/905.86	c  843s |      15 |   139683 |   124532 |    14841     20 |        0 |        0
908.20/908.49	c  845s |      15 |   140104 |   124932 |    14841     20 |        0 |        0
910.20/910.49	c  847s |      15 |   140441 |   125232 |    14841     20 |        0 |        0
912.81/913.04	c  850s |      15 |   140877 |   125632 |    14841     20 |        0 |        0
915.40/915.63	c  852s |      15 |   141312 |   126032 |    14841     20 |        0 |        0
917.70/917.98	c  855s |      15 |   141728 |   126432 |    14841     20 |        0 |        0
919.90/920.10	c  857s |      15 |   142052 |   126732 |    14841     20 |        0 |        0
922.40/922.64	c  859s |      15 |   142510 |   127132 |    14841     20 |        0 |        0
924.40/924.68	c  861s |      15 |   142867 |   127432 |    14841     20 |        0 |        0
926.90/927.16	c  864s |      15 |   143328 |   127832 |    14841     20 |        0 |        0
929.30/929.55	c  866s |      15 |   143782 |   128232 |    14841     20 |        0 |        0
931.90/932.10	c  869s |      15 |   144220 |   128632 |    14841     20 |        0 |        0
934.49/934.79	c  872s |      15 |   144638 |   129032 |    14841     20 |        0 |        0
936.89/937.12	c  874s |      15 |   144967 |   129332 |    14841     20 |        0 |        0
938.99/939.28	c  876s |      15 |   145279 |   129632 |    14841     20 |        0 |        0
941.40/941.62	c  878s |      15 |   145618 |   129932 |    14841     20 |        0 |        0
944.19/944.44	c  881s |      15 |   146043 |   130332 |    14841     20 |        0 |        0
946.38/946.69	c  883s |      15 |   146368 |   130632 |    14841     20 |        0 |        0
948.88/949.13	c  886s |      15 |   146687 |   130932 |    14841     20 |        0 |        0
950.88/951.19	c  888s |      15 |   146997 |   131232 |    14841     20 |        0 |        0
953.38/953.66	c  890s |      15 |   147326 |   131532 |    14841     20 |        0 |        0
953.59/953.83	c  891s |      16 |   147352 |   131552 |    14841     20 |        0 |        0
955.88/956.15	c  893s |      16 |   147599 |   131752 |    14841     21 |        0 |        0
958.28/958.58	c  895s |      16 |   148040 |   132152 |    14841     21 |        0 |        0
960.28/960.59	c  897s |      16 |   148468 |   132552 |    14841     21 |        0 |        0
962.68/963.00	c  900s |      16 |   148943 |   132952 |    14841     21 |        0 |        0
964.98/965.28	c  902s |      16 |   149396 |   133352 |    14841     21 |        0 |        0
967.18/967.43	c  904s |      16 |   149836 |   133752 |    14841     21 |        0 |        0
969.68/969.92	c  907s |      16 |   150290 |   134152 |    14841     21 |        0 |        0
971.78/972.05	c  909s |      16 |   150619 |   134452 |    14841     21 |        0 |        0
974.39/974.64	c  911s |      16 |   151041 |   134852 |    14841     21 |        0 |        0
976.78/977.02	c  914s |      16 |   151510 |   135252 |    14841     21 |        0 |        0
979.08/979.38	c  916s |      16 |   151937 |   135652 |    14841     21 |        0 |        0
981.68/981.94	c  919s |      16 |   152371 |   136052 |    14841     21 |        0 |        0
983.78/984.02	c  921s |      16 |   152682 |   136352 |    14841     21 |        0 |        0
986.08/986.36	c  923s |      16 |   153019 |   136652 |    14841     21 |        0 |        0
988.48/988.77	c  926s |      16 |   153457 |   137052 |    14841     21 |        0 |        0
990.78/991.00	c  928s |      16 |   153819 |   137352 |    14841     21 |        0 |        0
992.98/993.30	c  930s |      16 |   154265 |   137752 |    14841     21 |        0 |        0
995.28/995.54	c  932s |      16 |   154699 |   138152 |    14841     21 |        0 |        0
997.58/997.85	c  935s |      16 |   155148 |   138552 |    14841     21 |        0 |        0
999.68/999.92	c  937s |      16 |   155594 |   138952 |    14841     21 |        0 |        0
1001.98/1002.22	c  939s |      16 |   155919 |   139252 |    14841     22 |        0 |        0
1004.28/1004.58	c  941s |      16 |   156349 |   139652 |    14841     22 |        0 |        0
1006.87/1007.14	c  944s |      16 |   156790 |   140052 |    14841     22 |        0 |        0
1009.37/1009.67	c  946s |      16 |   157224 |   140452 |    14841     22 |        0 |        0
1011.97/1012.25	c  949s |      16 |   157670 |   140852 |    14841     22 |        0 |        0
1014.47/1014.77	c  952s |      16 |   158108 |   141252 |    14841     22 |        0 |        0
1016.97/1017.22	c  954s |      16 |   158558 |   141652 |    14841     22 |        0 |        0
1019.37/1019.64	c  956s |      16 |   159003 |   142052 |    14841     22 |        0 |        0
1022.07/1022.31	c  959s |      16 |   159540 |   142552 |    14841     22 |        0 |        0
1024.67/1024.91	c  962s |      16 |   159976 |   142952 |    14841     22 |        0 |        0
1026.66/1026.93	c  964s |      16 |   160307 |   143252 |    14841     22 |        0 |        0
1028.96/1029.23	c  966s |      16 |   160753 |   143652 |    14841     22 |        0 |        0
1030.96/1031.26	c  968s |      16 |   161078 |   143952 |    14841     22 |        0 |        0
1033.56/1033.81	c  971s |      16 |   161528 |   144352 |    14841     22 |        0 |        0
1035.66/1035.95	c  973s |      16 |   161848 |   144652 |    14841     22 |        0 |        0
1037.75/1038.05	c  975s |      16 |   162166 |   144952 |    14841     22 |        0 |        0
1040.15/1040.46	c  977s |      16 |   162615 |   145352 |    14841     22 |        0 |        0
1042.35/1042.67	c  979s |      16 |   163057 |   145752 |    14841     22 |        0 |        0
1044.65/1044.97	c  982s |      16 |   163483 |   146152 |    14841     22 |        0 |        0
1047.05/1047.33	c  984s |      16 |   163919 |   146552 |    14841     22 |        0 |        0
1049.45/1049.79	c  987s |      16 |   164359 |   146952 |    14841     22 |        0 |        0
1051.86/1052.19	c  989s |      16 |   164769 |   147352 |    14841     23 |        0 |        0
1054.16/1054.43	c  991s |      16 |   165232 |   147752 |    14841     23 |        0 |        0
1056.75/1057.08	c  994s |      16 |   165672 |   148152 |    14841     23 |        0 |        0
1059.25/1059.56	c  996s |      16 |   166099 |   148552 |    14841     23 |        0 |        0
1061.55/1061.85	c  999s |      16 |   166533 |   148952 |    14841     23 |        0 |        0
1063.85/1064.13	c 1001s |      16 |   166964 |   149352 |    14841     23 |        0 |        0
1065.95/1066.28	c 1003s |      16 |   167296 |   149652 |    14841     23 |        0 |        0
1067.95/1068.28	c 1005s |      16 |   167723 |   150052 |    14841     23 |        0 |        0
1070.15/1070.47	c 1007s |      16 |   168163 |   150452 |    14841     23 |        0 |        0
1072.25/1072.59	c 1009s |      16 |   168577 |   150852 |    14841     23 |        0 |        0
1074.84/1075.15	c 1012s |      16 |   169028 |   151252 |    14841     23 |        0 |        0
1077.24/1077.52	c 1014s |      16 |   169471 |   151652 |    14841     23 |        0 |        0
1079.34/1079.68	c 1016s |      16 |   169789 |   151952 |    14841     23 |        0 |        0
1081.94/1082.26	c 1019s |      16 |   170223 |   152352 |    14841     23 |        0 |        0
1083.94/1084.26	c 1021s |      16 |   170539 |   152652 |    14841     23 |        0 |        0
1086.64/1086.96	c 1024s |      16 |   170969 |   153052 |    14841     23 |        0 |        0
1088.93/1089.21	c 1026s |      16 |   171308 |   153352 |    14841     23 |        0 |        0
1091.04/1091.36	c 1028s |      16 |   171641 |   153652 |    14841     23 |        0 |        0
1093.33/1093.63	c 1030s |      16 |   172098 |   154052 |    14841     23 |        0 |        0
1095.33/1095.64	c 1032s |      16 |   172435 |   154352 |    14841     23 |        0 |        0
1097.82/1098.10	c 1035s |      16 |   172892 |   154752 |    14841     23 |        0 |        0
1099.83/1100.19	c 1037s |      16 |   173232 |   155052 |    14841     23 |        0 |        0
1102.22/1102.50	c 1039s |      16 |   173560 |   155352 |    14841     24 |        0 |        0
1104.42/1104.73	c 1042s |      16 |   173987 |   155752 |    14841     24 |        0 |        0
1106.72/1107.00	c 1044s |      16 |   174440 |   156152 |    14841     24 |        0 |        0
1109.12/1109.43	c 1046s |      16 |   174888 |   156552 |    14841     24 |        0 |        0
1111.32/1111.64	c 1048s |      16 |   175226 |   156852 |    14841     24 |        0 |        0
1113.92/1114.23	c 1051s |      16 |   175652 |   157252 |    14841     24 |        0 |        0
1116.02/1116.32	c 1053s |      16 |   175988 |   157552 |    14841     24 |        0 |        0
1118.62/1118.95	c 1056s |      16 |   176411 |   157952 |    14841     24 |        0 |        0
1120.82/1121.13	c 1058s |      16 |   176728 |   158252 |    14841     24 |        0 |        0
1123.52/1123.86	c 1061s |      16 |   177161 |   158652 |    14841     24 |        0 |        0
1125.82/1126.17	c 1063s |      16 |   177490 |   158952 |    14841     24 |        0 |        0
1128.32/1128.66	c 1065s |      16 |   177946 |   159352 |    14841     24 |        0 |        0
1130.91/1131.23	c 1068s |      16 |   178381 |   159752 |    14841     24 |        0 |        0
1133.21/1133.53	c 1070s |      16 |   178806 |   160152 |    14841     24 |        0 |        0
1135.41/1135.74	c 1073s |      16 |   179235 |   160552 |    14841     24 |        0 |        0
1137.91/1138.22	c 1075s |      16 |   179656 |   160952 |    14841     24 |        0 |        0
1140.31/1140.69	c 1077s |      16 |   180074 |   161352 |    14841     24 |        0 |        0
1142.51/1142.87	c 1080s |      16 |   180393 |   161652 |    14841     24 |        0 |        0
1144.61/1144.91	c 1082s |      16 |   180701 |   161952 |    14841     24 |        0 |        0
1147.12/1147.41	c 1084s |      16 |   181129 |   162352 |    14841     24 |        0 |        0
1149.11/1149.41	c 1086s |      16 |   181447 |   162652 |    14841     24 |        0 |        0
1151.81/1152.15	c 1089s |      16 |   181756 |   162952 |    14841     25 |        0 |        0
1154.31/1154.60	c 1091s |      16 |   182079 |   163252 |    14841     25 |        0 |        0
1156.31/1156.65	c 1093s |      16 |   182498 |   163652 |    14841     25 |        0 |        0
1158.50/1158.86	c 1096s |      16 |   182919 |   164052 |    14841     25 |        0 |        0
1160.90/1161.24	c 1098s |      16 |   183349 |   164452 |    14841     25 |        0 |        0
1163.40/1163.71	c 1100s |      16 |   183757 |   164852 |    14841     25 |        0 |        0
1165.60/1165.98	c 1103s |      16 |   184192 |   165252 |    14841     25 |        0 |        0
1167.80/1168.12	c 1105s |      16 |   184617 |   165652 |    14841     25 |        0 |        0
1169.90/1170.26	c 1107s |      16 |   185044 |   166052 |    14841     25 |        0 |        0
1172.50/1172.83	c 1110s |      16 |   185460 |   166452 |    14841     25 |        0 |        0
1175.00/1175.33	c 1112s |      16 |   185877 |   166852 |    14841     25 |        0 |        0
1177.30/1177.69	c 1114s |      16 |   186209 |   167152 |    14841     25 |        0 |        0
1180.01/1180.32	c 1117s |      16 |   186629 |   167552 |    14841     25 |        0 |        0
1182.50/1182.82	c 1120s |      16 |   187071 |   167952 |    14841     25 |        0 |        0
1185.10/1185.45	c 1122s |      16 |   187522 |   168352 |    14841     25 |        0 |        0
1187.50/1187.85	c 1125s |      16 |   187958 |   168752 |    14841     25 |        0 |        0
1189.60/1189.94	c 1127s |      16 |   188408 |   169152 |    14841     25 |        0 |        0
1192.00/1192.38	c 1129s |      16 |   188840 |   169552 |    14841     25 |        0 |        0
1194.30/1194.62	c 1131s |      16 |   189294 |   169952 |    14841     25 |        0 |        0
1196.50/1196.89	c 1134s |      16 |   189730 |   170352 |    14841     25 |        0 |        0
1199.19/1199.51	c 1136s |      16 |   190184 |   170752 |    14841     26 |        0 |        0
1201.59/1201.97	c 1139s |      16 |   190618 |   171152 |    14841     26 |        0 |        0
1203.70/1204.03	c 1141s |      16 |   190952 |   171452 |    14841     26 |        0 |        0
1206.00/1206.37	c 1143s |      16 |   191396 |   171852 |    14841     26 |        0 |        0
1208.20/1208.54	c 1145s |      16 |   191851 |   172252 |    14841     26 |        0 |        0
1210.50/1210.82	c 1148s |      16 |   192436 |   172752 |    14841     26 |        0 |        0
1212.50/1212.84	c 1150s |      16 |   192881 |   173152 |    14841     26 |        0 |        0
1214.50/1214.88	c 1152s |      16 |   193311 |   173552 |    14841     26 |        0 |        0
1216.70/1217.07	c 1154s |      16 |   193744 |   173952 |    14841     26 |        0 |        0
1219.10/1219.45	c 1156s |      16 |   194295 |   174452 |    14841     26 |        0 |        0
1221.50/1221.89	c 1159s |      16 |   194825 |   174952 |    14841     26 |        0 |        0
1223.60/1223.90	c 1161s |      16 |   195247 |   175352 |    14841     26 |        0 |        0
1225.70/1226.04	c 1163s |      16 |   195682 |   175752 |    14841     26 |        0 |        0
1227.90/1228.23	c 1165s |      16 |   196115 |   176152 |    14841     26 |        0 |        0
1230.00/1230.32	c 1167s |      16 |   196551 |   176552 |    14841     26 |        0 |        0
1232.10/1232.42	c 1169s |      16 |   196974 |   176952 |    14841     26 |        0 |        0
1234.10/1234.48	c 1171s |      16 |   197428 |   177352 |    14841     26 |        0 |        0
1236.10/1236.50	c 1173s |      16 |   197892 |   177752 |    14841     26 |        0 |        0
1238.19/1238.55	c 1175s |      16 |   198320 |   178152 |    14841     26 |        0 |        0
1240.39/1240.76	c 1178s |      16 |   198741 |   178552 |    14841     27 |        0 |        0
1242.49/1242.81	c 1180s |      16 |   199178 |   178952 |    14841     27 |        0 |        0
1244.59/1244.99	c 1182s |      16 |   199608 |   179352 |    14841     27 |        0 |        0
1246.89/1247.25	c 1184s |      16 |   200158 |   179852 |    14841     27 |        0 |        0
1248.89/1249.28	c 1186s |      16 |   200633 |   180252 |    14841     27 |        0 |        0
1251.29/1251.63	c 1188s |      16 |   201123 |   180652 |    14841     27 |        0 |        0
1253.59/1253.91	c 1191s |      16 |   201561 |   181052 |    14841     27 |        0 |        0
1256.00/1256.36	c 1193s |      16 |   202005 |   181452 |    14841     27 |        0 |        0
1258.68/1259.02	c 1196s |      16 |   202438 |   181852 |    14841     27 |        0 |        0
1261.18/1261.51	c 1198s |      16 |   202871 |   182252 |    14841     27 |        0 |        0
1263.69/1264.00	c 1201s |      16 |   203324 |   182652 |    14841     27 |        0 |        0
1265.89/1266.21	c 1203s |      16 |   203773 |   183052 |    14841     27 |        0 |        0
1268.18/1268.59	c 1205s |      16 |   204227 |   183452 |    14841     27 |        0 |        0
1270.68/1271.02	c 1208s |      16 |   204651 |   183852 |    14841     27 |        0 |        0
1273.28/1273.65	c 1210s |      16 |   205100 |   184252 |    14841     27 |        0 |        0
1275.79/1276.18	c 1213s |      16 |   205541 |   184652 |    14841     27 |        0 |        0
1277.99/1278.34	c 1215s |      16 |   205884 |   184952 |    14841     27 |        0 |        0
1280.09/1280.41	c 1217s |      16 |   206227 |   185252 |    14841     27 |        0 |        0
1282.08/1282.44	c 1219s |      16 |   206559 |   185552 |    16326     27 |        0 |        0
1284.68/1285.04	c 1222s |      16 |   206989 |   185952 |    16326     27 |        0 |        0
1287.28/1287.60	c 1224s |      16 |   207432 |   186352 |    16326     27 |        0 |        0
1289.28/1289.63	c 1226s |      16 |   207778 |   186652 |    16326     27 |        0 |        0
1291.98/1292.36	c 1229s |      16 |   208208 |   187052 |    16326     27 |        0 |        0
1294.18/1294.58	c 1231s |      16 |   208537 |   187352 |    16326     27 |        0 |        0
1296.18/1296.59	c 1233s |      16 |   208882 |   187652 |    16326     27 |        0 |        0
1298.58/1298.91	c 1236s |      16 |   209332 |   188052 |    16326     27 |        0 |        0
1300.88/1301.26	c 1238s |      16 |   209660 |   188352 |    16326     28 |        0 |        0
1303.58/1303.90	c 1241s |      16 |   210110 |   188752 |    16326     28 |        0 |        0
1305.88/1306.20	c 1243s |      16 |   210546 |   189152 |    16326     28 |        0 |        0
1308.38/1308.73	c 1246s |      16 |   210981 |   189552 |    16326     28 |        0 |        0
1310.78/1311.13	c 1248s |      16 |   211430 |   189952 |    16326     28 |        0 |        0
1313.28/1313.67	c 1250s |      16 |   211865 |   190352 |    16326     28 |        0 |        0
1315.48/1315.86	c 1253s |      16 |   212185 |   190652 |    16326     28 |        0 |        0
1317.67/1318.07	c 1255s |      16 |   212508 |   190952 |    16326     28 |        0 |        0
1319.87/1320.21	c 1257s |      16 |   212826 |   191252 |    16326     28 |        0 |        0
1321.98/1322.39	c 1259s |      16 |   213163 |   191552 |    16326     28 |        0 |        0
1324.08/1324.47	c 1261s |      16 |   213586 |   191952 |    16326     28 |        0 |        0
1326.17/1326.52	c 1263s |      16 |   214028 |   192352 |    16326     28 |        0 |        0
1328.27/1328.64	c 1265s |      16 |   214458 |   192752 |    16326     28 |        0 |        0
1330.68/1331.07	c 1268s |      16 |   214901 |   193152 |    16326     28 |        0 |        0
1333.17/1333.58	c 1270s |      16 |   215340 |   193552 |    16326     28 |        0 |        0
1335.67/1336.08	c 1273s |      16 |   215793 |   193952 |    16326     28 |        0 |        0
1338.27/1338.66	c 1275s |      16 |   216234 |   194352 |    16326     28 |        0 |        0
1340.47/1340.87	c 1278s |      16 |   216562 |   194652 |    16326     28 |        0 |        0
1342.97/1343.32	c 1280s |      16 |   216909 |   194952 |    16326     28 |        0 |        0
1345.37/1345.74	c 1283s |      16 |   217366 |   195352 |    16326     28 |        0 |        0
1347.47/1347.85	c 1285s |      16 |   217689 |   195652 |    16326     28 |        0 |        0
1349.66/1350.07	c 1287s |      16 |   218002 |   195952 |    16326     28 |        0 |        0
1352.16/1352.54	c 1289s |      16 |   218322 |   196252 |    16326     28 |        0 |        0
1354.76/1355.10	c 1292s |      16 |   218759 |   196652 |    16326     28 |        0 |        0
1357.46/1357.88	c 1295s |      16 |   219216 |   197052 |    16326     29 |        0 |        0
1359.66/1360.09	c 1297s |      16 |   219532 |   197352 |    16326     29 |        0 |        0
1360.26/1360.63	c 1297s |      17 |   219615 |   197432 |    16326     29 |        0 |        0
1362.26/1362.66	c 1299s |      17 |   219996 |   197732 |    16326     29 |        0 |        0
1364.46/1364.80	c 1302s |      17 |   220439 |   198132 |    16326     29 |        0 |        0
1366.66/1367.09	c 1304s |      17 |   220885 |   198532 |    16326     29 |        0 |        0
1369.06/1369.47	c 1306s |      17 |   221322 |   198932 |    16326     29 |        0 |        0
1371.26/1371.70	c 1308s |      17 |   221777 |   199332 |    16326     29 |        0 |        0
1373.76/1374.15	c 1311s |      17 |   222216 |   199732 |    16326     29 |        0 |        0
1376.36/1376.71	c 1313s |      17 |   222652 |   200132 |    16326     29 |        0 |        0
1378.76/1379.17	c 1316s |      17 |   223101 |   200532 |    16326     29 |        0 |        0
1381.27/1381.63	c 1318s |      17 |   223539 |   200932 |    16326     29 |        0 |        0
1383.26/1383.69	c 1320s |      17 |   223877 |   201232 |    16326     29 |        0 |        0
1385.36/1385.70	c 1322s |      17 |   224204 |   201532 |    16326     29 |        0 |        0
1387.36/1387.76	c 1325s |      17 |   224526 |   201832 |    16326     29 |        0 |        0
1389.56/1389.91	c 1327s |      17 |   224850 |   202132 |    16326     29 |        0 |        0
1392.16/1392.54	c 1329s |      17 |   225308 |   202532 |    16326     29 |        0 |        0
1394.16/1394.56	c 1331s |      17 |   225644 |   202832 |    16326     29 |        0 |        0
1396.76/1397.16	c 1334s |      17 |   226074 |   203232 |    16326     29 |        0 |        0
1399.16/1399.53	c 1336s |      17 |   226402 |   203532 |    16326     29 |        0 |        0
1401.16/1401.57	c 1338s |      17 |   226712 |   203832 |    16326     29 |        0 |        0
1403.55/1403.95	c 1341s |      17 |   227032 |   204132 |    16326     29 |        0 |        0
1405.56/1405.96	c 1343s |      17 |   227356 |   204432 |    16326     29 |        0 |        0
1408.05/1408.44	c 1345s |      17 |   227790 |   204832 |    16326     29 |        0 |        0
1410.65/1411.07	c 1348s |      17 |   228216 |   205232 |    16326     29 |        0 |        0
1412.75/1413.18	c 1350s |      17 |   228539 |   205532 |    16326     30 |        0 |        0
1415.36/1415.71	c 1352s |      17 |   228986 |   205932 |    16326     30 |        0 |        0
1417.75/1418.10	c 1355s |      17 |   229405 |   206332 |    16326     30 |        0 |        0
1420.05/1420.44	c 1357s |      17 |   229835 |   206732 |    16326     30 |        0 |        0
1422.15/1422.53	c 1359s |      17 |   230152 |   207032 |    16326     30 |        0 |        0
1424.75/1425.13	c 1362s |      17 |   230570 |   207432 |    16326     30 |        0 |        0
1426.85/1427.22	c 1364s |      17 |   230887 |   207732 |    16326     30 |        0 |        0
1429.25/1429.69	c 1366s |      17 |   231306 |   208132 |    16326     30 |        0 |        0
1431.75/1432.11	c 1369s |      17 |   231739 |   208532 |    16326     30 |        0 |        0
1434.35/1434.79	c 1372s |      17 |   232160 |   208932 |    16326     30 |        0 |        0
1436.45/1436.85	c 1374s |      17 |   232478 |   209232 |    16326     30 |        0 |        0
1438.46/1438.89	c 1376s |      17 |   232813 |   209532 |    16326     30 |        0 |        0
1440.55/1440.93	c 1378s |      17 |   233143 |   209832 |    16326     30 |        0 |        0
1442.86/1443.28	c 1380s |      17 |   233579 |   210232 |    16326     30 |        0 |        0
1445.06/1445.47	c 1382s |      17 |   233898 |   210532 |    16326     30 |        0 |        0
1447.55/1447.92	c 1385s |      17 |   234329 |   210932 |    16326     30 |        0 |        0
1450.15/1450.53	c 1387s |      17 |   234779 |   211332 |    16326     30 |        0 |        0
1452.65/1453.03	c 1390s |      17 |   235222 |   211732 |    16326     30 |        0 |        0
1455.15/1455.55	c 1392s |      17 |   235642 |   212132 |    16326     30 |        0 |        0
1457.85/1458.23	c 1395s |      17 |   236080 |   212532 |    16326     30 |        0 |        0
1460.45/1460.87	c 1398s |      17 |   236554 |   212932 |    16326     30 |        0 |        0
1463.04/1463.47	c 1400s |      17 |   236979 |   213332 |    16326     30 |        0 |        0
1465.64/1466.07	c 1403s |      17 |   237403 |   213732 |    16326     30 |        0 |        0
1467.94/1468.33	c 1405s |      17 |   237739 |   214032 |    16326     31 |        0 |        0
1470.54/1470.96	c 1408s |      17 |   238167 |   214432 |    16326     31 |        0 |        0
1473.04/1473.45	c 1410s |      17 |   238589 |   214832 |    16326     31 |        0 |        0
1475.04/1475.46	c 1412s |      17 |   238914 |   215132 |    16326     31 |        0 |        0
1477.14/1477.51	c 1414s |      17 |   239263 |   215432 |    16326     31 |        0 |        0
1479.15/1479.52	c 1416s |      17 |   239593 |   215732 |    16326     31 |        0 |        0
1481.24/1481.63	c 1418s |      17 |   239928 |   216032 |    16326     31 |        0 |        0
1483.74/1484.16	c 1421s |      17 |   240368 |   216432 |    16326     31 |        0 |        0
1486.54/1486.94	c 1424s |      17 |   240796 |   216832 |    16326     31 |        0 |        0
1488.64/1489.06	c 1426s |      17 |   241147 |   217132 |    16326     31 |        0 |        0
1491.14/1491.59	c 1428s |      17 |   241578 |   217532 |    16326     31 |        0 |        0
1493.84/1494.24	c 1431s |      17 |   242007 |   217932 |    16326     31 |        0 |        0
1495.84/1496.24	c 1433s |      17 |   242324 |   218232 |    16326     31 |        0 |        0
1497.85/1498.28	c 1435s |      17 |   242654 |   218532 |    16326     31 |        0 |        0
1499.94/1500.35	c 1437s |      17 |   242987 |   218832 |    16326     31 |        0 |        0
1502.04/1502.50	c 1439s |      17 |   243436 |   219232 |    16326     31 |        0 |        0
1504.24/1504.60	c 1441s |      17 |   243869 |   219632 |    16326     31 |        0 |        0
1506.54/1506.90	c 1444s |      17 |   244314 |   220032 |    16326     31 |        0 |        0
1508.54/1508.96	c 1446s |      17 |   244645 |   220332 |    16326     31 |        0 |        0
1511.14/1511.52	c 1448s |      17 |   245076 |   220732 |    16326     31 |        0 |        0
1513.74/1514.13	c 1451s |      17 |   245495 |   221132 |    16326     31 |        0 |        0
1515.94/1516.34	c 1453s |      17 |   245806 |   221432 |    16326     31 |        0 |        0
1518.04/1518.45	c 1455s |      17 |   246156 |   221732 |    16326     31 |        0 |        0
1520.53/1520.92	c 1458s |      17 |   246489 |   222032 |    16326     31 |        0 |        0
1522.93/1523.31	c 1460s |      17 |   246818 |   222332 |    16326     31 |        0 |        0
1525.44/1525.85	c 1463s |      17 |   247136 |   222632 |    16326     32 |        0 |        0
1527.64/1528.04	c 1465s |      17 |   247452 |   222932 |    16326     32 |        0 |        0
1529.84/1530.29	c 1467s |      17 |   247774 |   223232 |    16326     32 |        0 |        0
1532.13/1532.52	c 1469s |      17 |   248101 |   223532 |    16326     32 |        0 |        0
1534.73/1535.10	c 1472s |      17 |   248418 |   223832 |    16326     32 |        0 |        0
1536.74/1537.12	c 1474s |      17 |   248648 |   224032 |    16326     32 |        0 |        0
1539.04/1539.43	c 1476s |      17 |   249092 |   224432 |    16326     32 |        0 |        0
1541.74/1542.15	c 1479s |      17 |   249541 |   224832 |    16326     32 |        0 |        0
1543.84/1544.21	c 1481s |      17 |   249865 |   225132 |    16326     32 |        0 |        0
1546.24/1546.66	c 1483s |      17 |   250203 |   225432 |    16326     32 |        0 |        0
1549.04/1549.44	c 1486s |      17 |   250650 |   225832 |    16326     32 |        0 |        0
1551.04/1551.46	c 1488s |      17 |   250988 |   226132 |    16326     32 |        0 |        0
1553.54/1553.96	c 1491s |      17 |   251449 |   226532 |    16326     32 |        0 |        0
1556.14/1556.50	c 1493s |      17 |   251878 |   226932 |    16326     32 |        0 |        0
1558.64/1559.06	c 1496s |      17 |   252315 |   227332 |    16326     32 |        0 |        0
1561.04/1561.47	c 1498s |      17 |   252745 |   227732 |    16326     32 |        0 |        0
1563.44/1563.84	c 1501s |      17 |   253179 |   228132 |    16326     32 |        0 |        0
1565.94/1566.32	c 1503s |      17 |   253623 |   228532 |    16326     32 |        0 |        0
1567.93/1568.34	c 1505s |      17 |   253937 |   228832 |    16326     32 |        0 |        0
1570.63/1571.01	c 1508s |      17 |   254356 |   229232 |    16326     32 |        0 |        0
1573.13/1573.52	c 1510s |      17 |   254846 |   229632 |    16326     32 |        0 |        0
1575.33/1575.70	c 1512s |      17 |   255294 |   230032 |    16326     32 |        0 |        0
1577.33/1577.79	c 1515s |      17 |   255733 |   230432 |    16326     32 |        0 |        0
1579.83/1580.25	c 1517s |      17 |   256172 |   230832 |    16326     32 |        0 |        0
1582.54/1582.98	c 1520s |      17 |   256487 |   231132 |    16326     33 |        0 |        0
1584.93/1585.34	c 1522s |      17 |   256938 |   231532 |    16326     33 |        0 |        0
1587.13/1587.52	c 1524s |      17 |   257368 |   231932 |    16326     33 |        0 |        0
1589.24/1589.66	c 1526s |      17 |   257807 |   232332 |    16326     33 |        0 |        0
1591.53/1591.97	c 1529s |      17 |   258238 |   232732 |    16326     33 |        0 |        0
1593.93/1594.37	c 1531s |      17 |   258662 |   233132 |    16326     33 |        0 |        0
1596.23/1596.62	c 1533s |      17 |   259090 |   233532 |    16326     33 |        0 |        0
1598.63/1599.01	c 1536s |      17 |   259530 |   233932 |    16326     33 |        0 |        0
1601.13/1601.54	c 1538s |      17 |   259982 |   234332 |    16326     33 |        0 |        0
1603.23/1603.69	c 1540s |      17 |   260396 |   234732 |    16326     33 |        0 |        0
1605.53/1605.96	c 1543s |      17 |   260818 |   235132 |    16326     33 |        0 |        0
1607.73/1608.16	c 1545s |      17 |   261241 |   235532 |    16326     33 |        0 |        0
1610.23/1610.66	c 1547s |      17 |   261674 |   235932 |    16326     33 |        0 |        0
1612.73/1613.16	c 1550s |      17 |   262109 |   236332 |    16326     33 |        0 |        0
1614.92/1615.32	c 1552s |      17 |   262423 |   236632 |    16326     33 |        0 |        0
1617.13/1617.58	c 1554s |      17 |   262863 |   237032 |    16326     33 |        0 |        0
1619.12/1619.60	c 1556s |      17 |   263196 |   237332 |    16326     33 |        0 |        0
1621.32/1621.75	c 1559s |      17 |   263515 |   237632 |    16326     33 |        0 |        0
1623.33/1623.75	c 1561s |      17 |   263835 |   237932 |    16326     33 |        0 |        0
1625.53/1625.93	c 1563s |      17 |   264152 |   238232 |    16326     33 |        0 |        0
1627.63/1628.04	c 1565s |      17 |   264470 |   238532 |    16326     33 |        0 |        0
1629.72/1630.20	c 1567s |      17 |   264808 |   238832 |    16326     33 |        0 |        0
1631.82/1632.27	c 1569s |      17 |   265141 |   239132 |    16326     33 |        0 |        0
1633.92/1634.36	c 1571s |      17 |   265459 |   239432 |    16326     33 |        0 |        0
1637.22/1637.64	c 1574s |      17 |   265918 |   239832 |    16326     34 |        0 |        0
1639.42/1639.85	c 1577s |      17 |   266353 |   240232 |    16326     34 |        0 |        0
1641.93/1642.37	c 1579s |      17 |   266783 |   240632 |    16326     34 |        0 |        0
1644.32/1644.78	c 1582s |      17 |   267218 |   241032 |    16326     34 |        0 |        0
1646.43/1646.80	c 1584s |      17 |   267537 |   241332 |    16326     34 |        0 |        0
1648.82/1649.23	c 1586s |      17 |   267995 |   241732 |    16326     34 |        0 |        0
1651.42/1651.84	c 1589s |      17 |   268466 |   242132 |    16326     34 |        0 |        0
1653.92/1654.35	c 1591s |      17 |   268915 |   242532 |    16326     34 |        0 |        0
1656.22/1656.61	c 1593s |      17 |   269353 |   242932 |    16326     34 |        0 |        0
1658.72/1659.10	c 1596s |      17 |   269787 |   243332 |    16326     34 |        0 |        0
1660.82/1661.21	c 1598s |      17 |   270098 |   243632 |    16326     34 |        0 |        0
1663.22/1663.60	c 1600s |      17 |   270537 |   244032 |    16326     34 |        0 |        0
1665.72/1666.12	c 1603s |      17 |   270971 |   244432 |    16326     34 |        0 |        0
1668.22/1668.70	c 1605s |      17 |   271410 |   244832 |    16326     34 |        0 |        0
1670.32/1670.74	c 1608s |      17 |   271763 |   245132 |    16326     34 |        0 |        0
1672.92/1673.30	c 1610s |      17 |   272196 |   245532 |    16326     34 |        0 |        0
1675.12/1675.57	c 1612s |      17 |   272626 |   245932 |    16326     34 |        0 |        0
1677.22/1677.69	c 1614s |      17 |   273057 |   246332 |    16326     34 |        0 |        0
1679.61/1680.05	c 1617s |      17 |   273498 |   246732 |    16326     34 |        0 |        0
1682.01/1682.45	c 1619s |      17 |   273930 |   247132 |    16326     34 |        0 |        0
1684.31/1684.70	c 1621s |      17 |   274348 |   247532 |    16326     34 |        0 |        0
1687.02/1687.42	c 1624s |      17 |   274780 |   247932 |    16326     34 |        0 |        0
1689.51/1689.91	c 1627s |      17 |   275219 |   248332 |    16326     34 |        0 |        0
1691.52/1691.98	c 1629s |      17 |   275545 |   248632 |    16326     35 |        0 |        0
1693.62/1694.06	c 1631s |      17 |   275887 |   248932 |    16326     35 |        0 |        0
1696.01/1696.43	c 1633s |      17 |   276325 |   249332 |    16326     35 |        0 |        0
1698.41/1698.88	c 1636s |      17 |   276748 |   249732 |    16326     35 |        0 |        0
1701.01/1701.40	c 1638s |      17 |   277183 |   250132 |    16326     35 |        0 |        0
1703.52/1703.91	c 1641s |      17 |   277617 |   250532 |    16326     35 |        0 |        0
1705.82/1706.27	c 1643s |      17 |   278053 |   250932 |    16326     35 |        0 |        0
1708.02/1708.47	c 1645s |      17 |   278480 |   251332 |    16326     35 |        0 |        0
1710.61/1711.06	c 1648s |      17 |   278911 |   251732 |    16326     35 |        0 |        0
1712.91/1713.36	c 1650s |      17 |   279220 |   252032 |    16326     35 |        0 |        0
1715.21/1715.68	c 1652s |      17 |   279638 |   252432 |    16326     35 |        0 |        0
1717.61/1718.06	c 1655s |      17 |   280069 |   252832 |    16326     35 |        0 |        0
1720.01/1720.44	c 1657s |      17 |   280496 |   253232 |    16326     35 |        0 |        0
1722.61/1723.03	c 1660s |      17 |   280922 |   253632 |    16326     35 |        0 |        0
1725.11/1725.59	c 1662s |      17 |   281335 |   254032 |    16326     35 |        0 |        0
1727.31/1727.74	c 1665s |      17 |   281695 |   254332 |    16326     35 |        0 |        0
1729.51/1729.92	c 1667s |      17 |   282135 |   254732 |    16326     35 |        0 |        0
1731.80/1732.30	c 1669s |      17 |   282572 |   255132 |    16326     35 |        0 |        0
1734.41/1734.82	c 1672s |      17 |   283010 |   255532 |    16326     35 |        0 |        0
1736.51/1736.93	c 1674s |      17 |   283471 |   255932 |    16326     35 |        0 |        0
1738.81/1739.23	c 1676s |      17 |   283931 |   256332 |    16326     35 |        0 |        0
1741.10/1741.56	c 1678s |      17 |   284395 |   256732 |    16326     35 |        0 |        0
1743.40/1743.80	c 1681s |      17 |   284886 |   257132 |    16326     36 |        0 |        0
1745.80/1746.26	c 1683s |      17 |   285337 |   257532 |    16326     36 |        0 |        0
1748.10/1748.52	c 1685s |      17 |   285769 |   257932 |    16326     36 |        0 |        0
1750.20/1750.63	c 1687s |      17 |   286088 |   258232 |    16326     36 |        0 |        0
1752.50/1752.91	c 1690s |      17 |   286558 |   258632 |    16326     36 |        0 |        0
1754.90/1755.34	c 1692s |      17 |   287035 |   259032 |    16326     36 |        0 |        0
1757.41/1757.86	c 1695s |      17 |   287475 |   259432 |    16326     36 |        0 |        0
1759.61/1760.05	c 1697s |      17 |   287930 |   259832 |    16326     36 |        0 |        0
1761.70/1762.11	c 1699s |      17 |   288366 |   260232 |    16326     36 |        0 |        0
1763.80/1764.26	c 1701s |      17 |   288805 |   260632 |    16326     36 |        0 |        0
1766.00/1766.41	c 1703s |      17 |   289253 |   261032 |    16326     36 |        0 |        0
1768.51/1768.95	c 1706s |      17 |   289706 |   261432 |    16326     36 |        0 |        0
1771.20/1771.61	c 1708s |      17 |   290161 |   261832 |    16326     36 |        0 |        0
1773.30/1773.76	c 1711s |      17 |   290522 |   262132 |    16326     36 |        0 |        0
1775.90/1776.33	c 1713s |      17 |   290953 |   262532 |    16326     36 |        0 |        0
1778.10/1778.55	c 1715s |      17 |   291420 |   262932 |    16326     36 |        0 |        0
1780.60/1781.04	c 1718s |      17 |   291874 |   263332 |    16326     36 |        0 |        0
1783.00/1783.48	c 1720s |      17 |   292328 |   263732 |    16326     36 |        0 |        0
1785.60/1786.06	c 1723s |      17 |   292910 |   264232 |    16326     36 |        0 |        0
1787.60/1788.06	c 1725s |      17 |   293251 |   264532 |    16326     36 |        0 |        0
1789.60/1790.06	c 1727s |      17 |   293687 |   264932 |    16326     36 |        0 |        0
1791.80/1792.25	c 1729s |      17 |   294110 |   265332 |    16326     36 |        0 |        0
1794.10/1794.56	c 1731s |      17 |   294426 |   265632 |    16326     36 |        0 |        0
1796.20/1796.66	c 1733s |      17 |   294766 |   265932 |    16326     37 |        0 |        0
1798.69/1799.15	c 1736s |      17 |   295249 |   266332 |    16326     37 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079676-1465241523/watcher-4079676-1465241523 -o /tmp/evaluation-result-4079676-1465241523/solver-4079676-1465241523 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13091 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079676-1465241523.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.37 2.28 2.25 4/179 16781
/proc/meminfo: memFree=28763016/32872528 swapFree=16636/1570076
[pid=16781] ppid=16778 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/16781/stat : 16781 (toysat) R 16778 16781 13075 0 -1 4202496 703 0 0 0 0 0 0 0 20 0 4 0 106084644 246870016 1065 33554432000 4194304 16246674 140735846502528 140735846501952 14073233 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16781/statm: 60271 1071 424 2943 0 57165 0
[pid=16781/tid=16782] ppid=16778 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16782/stat : 16782 (toysat) S 16778 16781 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106084645 246870016 1099 33554432000 4194304 16246674 140735846502528 140354607099120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16781/tid=16783] ppid=16778 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16783/stat : 16783 (toysat) S 16778 16781 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106084645 246870016 1107 33554432000 4194304 16246674 140735846502528 140354596609264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16781/tid=16784] ppid=16778 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16784/stat : 16784 (toysat) S 16778 16781 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106084645 246870016 1115 33554432000 4194304 16246674 140735846502528 140354586135728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.10016 s]
/proc/loadavg: 2.37 2.28 2.25 4/179 16781
/proc/meminfo: memFree=28763016/32872528 swapFree=16636/1570076
[pid=16781] ppid=16778 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/16781/stat : 16781 (toysat) R 16778 16781 13075 0 -1 4202496 26834 0 0 0 6 3 0 0 20 0 4 0 106084644 1250496512 27133 33554432000 4194304 16246674 140735846502528 140735846501840 8056990 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16781/statm: 305297 27146 799 2943 0 302191 0
[pid=16781/tid=16782] ppid=16778 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16782/stat : 16782 (toysat) S 16778 16781 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106084645 1250496512 27157 33554432000 4194304 16246674 140735846502528 140354607099120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16781/tid=16783] ppid=16778 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16783/stat : 16783 (toysat) S 16778 16781 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106084645 1250496512 27169 33554432000 4194304 16246674 140735846502528 140354596609264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16781/tid=16784] ppid=16778 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16784/stat : 16784 (toysat) S 16778 16781 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106084645 1250496512 27180 33554432000 4194304 16246674 140735846502528 140354586135728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200496 s]
/proc/loadavg: 2.37 2.28 2.25 4/179 16781
/proc/meminfo: memFree=28763016/32872528 swapFree=16636/1570076
[pid=16781] ppid=16778 vsize=1307204 CPUtime=0.18 cores=0,2,4,6
/proc/16781/stat : 16781 (toysat) R 16778 16781 13075 0 -1 4202496 48797 0 0 0 13 5 0 0 20 0 4 0 106084644 1338576896 49608 33554432000 4194304 16246674 140735846502528 140735846501840 4221105 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16781/statm: 326801 49611 801 2943 0 323695 0
[pid=16781/tid=16782] ppid=16778 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16782/stat : 16782 (toysat) S 16778 16781 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106084645 1338576896 49614 33554432000 4194304 16246674 140735846502528 140354607099120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16781/tid=16783] ppid=16778 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16783/stat : 16783 (toysat) S 16778 16781 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106084645 1338576896 49616 33554432000 4194304 16246674 140735846502528 140354596609264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16781/tid=16784] ppid=16778 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16784/stat : 16784 (toysat) S 16778 16781 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106084645 1338576896 49618 33554432000 4194304 16246674 140735846502528 140354586135728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1307204

[startup+0.30048 s]
/proc/loadavg: 2.37 2.28 2.25 4/179 16781
/proc/meminfo: memFree=28763016/32872528 swapFree=16636/1570076
[pid=16781] ppid=16778 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/16781/stat : 16781 (toysat) R 16778 16781 13075 0 -1 4202496 67455 0 0 0 21 8 0 0 20 0 4 0 106084644 1344868352 68266 33554432000 4194304 16246674 140735846502528 140735846485520 8055408 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16781/statm: 328337 68285 801 2943 0 325231 0
[pid=16781/tid=16782] ppid=16778 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16782/stat : 16782 (toysat) S 16778 16781 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106084645 1344868352 68297 33554432000 4194304 16246674 140735846502528 140354607099120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16781/tid=16783] ppid=16778 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16783/stat : 16783 (toysat) S 16778 16781 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106084645 1344868352 68308 33554432000 4194304 16246674 140735846502528 140354596609264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16781/tid=16784] ppid=16778 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16784/stat : 16784 (toysat) S 16778 16781 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106084645 1344868352 68319 33554432000 4194304 16246674 140735846502528 140354586135728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700358 s]
/proc/loadavg: 2.37 2.28 2.25 4/179 16781
/proc/meminfo: memFree=28763016/32872528 swapFree=16636/1570076
[pid=16781] ppid=16778 vsize=1314372 CPUtime=0.68 cores=0,2,4,6
/proc/16781/stat : 16781 (toysat) R 16778 16781 13075 0 -1 4202496 105505 0 0 0 56 12 0 0 20 0 4 0 106084644 1345916928 106315 33554432000 4194304 16246674 140735846502528 140735846485520 8225795 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16781/statm: 328593 106325 834 2943 0 325487 0
[pid=16781/tid=16782] ppid=16778 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16782/stat : 16782 (toysat) S 16778 16781 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106084645 1345916928 106333 33554432000 4194304 16246674 140735846502528 140354607099120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16781/tid=16783] ppid=16778 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16783/stat : 16783 (toysat) S 16778 16781 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106084645 1345916928 106340 33554432000 4194304 16246674 140735846502528 140354596609264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16781/tid=16784] ppid=16778 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16784/stat : 16784 (toysat) S 16778 16781 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106084645 1345916928 106345 33554432000 4194304 16246674 140735846502528 140354586135728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1314372

[startup+1.5004 s]
/proc/loadavg: 2.34 2.27 2.25 4/183 16785
/proc/meminfo: memFree=28081004/32872528 swapFree=16636/1570076
[pid=16781] ppid=16778 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/16781/stat : 16781 (toysat) R 16778 16781 13075 0 -1 4202496 183605 0 0 0 125 24 0 0 20 0 4 0 106084644 1345916928 184415 33554432000 4194304 16246674 140735846502528 140735846484416 13780501 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16781/statm: 328593 184415 884 2943 0 325487 0
[pid=16781/tid=16782] ppid=16778 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16782/stat : 16782 (toysat) S 16778 16781 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106084645 1345916928 184416 33554432000 4194304 16246674 140735846502528 140354607099120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16781/tid=16783] ppid=16778 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16783/stat : 16783 (toysat) S 16778 16781 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106084645 1345916928 184416 33554432000 4194304 16246674 140735846502528 140354596609264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16781/tid=16784] ppid=16778 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16784/stat : 16784 (toysat) S 16778 16781 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106084645 1345916928 184416 33554432000 4194304 16246674 140735846502528 140354586135728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.1004 s]
/proc/loadavg: 2.34 2.27 2.25 3/183 16785
/proc/meminfo: memFree=27914348/32872528 swapFree=16636/1570076
[pid=16781] ppid=16778 vsize=1314372 CPUtime=3.08 cores=0,2,4,6
/proc/16781/stat : 16781 (toysat) R 16778 16781 13075 0 -1 4202496 242397 0 0 0 275 33 0 0 20 0 4 0 106084644 1345916928 243207 33554432000 4194304 16246674 140735846502528 140735846484416 5602147 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16781/statm: 328593 243210 884 2943 0 325487 0
[pid=16781/tid=16782] ppid=16778 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16782/stat : 16782 (toysat) S 16778 16781 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106084645 1345916928 243211 33554432000 4194304 16246674 140735846502528 140354607099120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16781/tid=16783] ppid=16778 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16783/stat : 16783 (toysat) S 16778 16781 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106084645 1345916928 243212 33554432000 4194304 16246674 140735846502528 140354596609264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16781/tid=16784] ppid=16778 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16784/stat : 16784 (toysat) S 16778 16781 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106084645 1345916928 243213 33554432000 4194304 16246674 140735846502528 140354586135728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1314372

[startup+6.30041 s]
/proc/loadavg: 2.34 2.27 2.25 3/183 16785
/proc/meminfo: memFree=27654008/32872528 swapFree=16636/1570076
[pid=16781] ppid=16778 vsize=1344068 CPUtime=6.29 cores=0,2,4,6
/proc/16781/stat : 16781 (toysat) R 16778 16781 13075 0 -1 4202496 276642 0 0 0 592 37 0 0 20 0 4 0 106084644 1376325632 277452 33554432000 4194304 16246674 140735846502528 140735846484416 5600380 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16781/statm: 336017 277452 887 2943 0 332911 0
[pid=16781/tid=16782] ppid=16778 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16782/stat : 16782 (toysat) S 16778 16781 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106084645 1376325632 277452 33554432000 4194304 16246674 140735846502528 140354607099120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16781/tid=16783] ppid=16778 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16783/stat : 16783 (toysat) S 16778 16781 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106084645 1376325632 277452 33554432000 4194304 16246674 140735846502528 140354596609264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16781/tid=16784] ppid=16778 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16784/stat : 16784 (toysat) S 16778 16781 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106084645 1376325632 277452 33554432000 4194304 16246674 140735846502528 140354586135728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1344068

[startup+12.7004 s]
/proc/loadavg: 2.37 2.28 2.26 4/183 16785
/proc/meminfo: memFree=27653664/32872528 swapFree=16636/1570076
[pid=16781] ppid=16778 vsize=1344068 CPUtime=12.68 cores=0,2,4,6
/proc/16781/stat : 16781 (toysat) R 16778 16781 13075 0 -1 4202496 276684 0 0 0 1231 37 0 0 20 0 4 0 106084644 1376325632 277494 33554432000 4194304 16246674 140735846502528 140735846484416 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16781/statm: 336017 277494 887 2943 0 332911 0
[pid=16781/tid=16782] ppid=16778 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16782/stat : 16782 (toysat) S 16778 16781 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106084645 1376325632 277494 33554432000 4194304 16246674 140735846502528 140354607099120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16781/tid=16783] ppid=16778 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16783/stat : 16783 (toysat) S 16778 16781 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106084645 1376325632 277494 33554432000 4194304 16246674 140735846502528 140354596609264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16781/tid=16784] ppid=16778 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16784/stat : 16784 (toysat) S 16778 16781 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106084645 1376325632 277494 33554432000 4194304 16246674 140735846502528 140354586135728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1344068

[startup+25.5005 s]
/proc/loadavg: 2.31 2.27 2.25 3/183 16785
/proc/meminfo: memFree=27527244/32872528 swapFree=16636/1570076
[pid=16781] ppid=16778 vsize=1344068 CPUtime=25.48 cores=0,2,4,6
/proc/16781/stat : 16781 (toysat) R 16778 16781 13075 0 -1 4202496 276690 0 0 0 2511 37 0 0 20 0 4 0 106084644 1376325632 277500 33554432000 4194304 16246674 140735846502528 140735846484416 12415827 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16781/statm: 336017 277500 890 2943 0 332911 0
[pid=16781/tid=16782] ppid=16778 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16782/stat : 16782 (toysat) S 16778 16781 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106084645 1376325632 277500 33554432000 4194304 16246674 140735846502528 140354607099120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16781/tid=16783] ppid=16778 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16783/stat : 16783 (toysat) S 16778 16781 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106084645 1376325632 277500 33554432000 4194304 16246674 140735846502528 140354596609264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16781/tid=16784] ppid=16778 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16784/stat : 16784 (toysat) S 16778 16781 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106084645 1376325632 277500 33554432000 4194304 16246674 140735846502528 140354586135728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1344068

[startup+51.1005 s]
/proc/loadavg: 2.28 2.26 2.25 3/183 16785
/proc/meminfo: memFree=27384728/32872528 swapFree=16636/1570076
[pid=16781] ppid=16778 vsize=1344068 CPUtime=51.08 cores=0,2,4,6
/proc/16781/stat : 16781 (toysat) R 16778 16781 13075 0 -1 4202496 276690 0 0 0 5071 37 0 0 20 0 4 0 106084644 1376325632 277500 33554432000 4194304 16246674 140735846502528 140735846484416 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16781/statm: 336017 277500 890 2943 0 332911 0
[pid=16781/tid=16782] ppid=16778 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16782/stat : 16782 (toysat) S 16778 16781 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106084645 1376325632 277500 33554432000 4194304 16246674 140735846502528 140354607099120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16781/tid=16783] ppid=16778 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16783/stat : 16783 (toysat) S 16778 16781 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106084645 1376325632 277500 33554432000 4194304 16246674 140735846502528 140354596609264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16781/tid=16784] ppid=16778 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16784/stat : 16784 (toysat) S 16778 16781 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106084645 1376325632 277500 33554432000 4194304 16246674 140735846502528 140354586135728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1344068

[startup+102.3 s]
/proc/loadavg: 2.39 2.29 2.26 4/183 16787
/proc/meminfo: memFree=27384008/32872528 swapFree=16636/1570076
[pid=16781] ppid=16778 vsize=1344068 CPUtime=102.28 cores=0,2,4,6
/proc/16781/stat : 16781 (toysat) R 16778 16781 13075 0 -1 4202496 276720 0 0 0 10191 37 0 0 20 0 4 0 106084644 1376325632 277530 33554432000 4194304 16246674 140735846502528 140735846484416 5602433 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16781/statm: 336017 277530 916 2943 0 332911 0
[pid=16781/tid=16782] ppid=16778 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16782/stat : 16782 (toysat) S 16778 16781 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106084645 1376325632 277530 33554432000 4194304 16246674 140735846502528 140354607099120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16781/tid=16783] ppid=16778 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16783/stat : 16783 (toysat) S 16778 16781 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106084645 1376325632 277530 33554432000 4194304 16246674 140735846502528 140354596609264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16781/tid=16784] ppid=16778 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16784/stat : 16784 (toysat) S 16778 16781 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106084645 1376325632 277530 33554432000 4194304 16246674 140735846502528 140354586135728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1344068


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

/proc/16781/task/16784/stat : 16784 (toysat) S 16778 16781 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106084645 1431900160 291104 33554432000 4194304 16246674 140735846502528 140354586135728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1398340

[startup+1362.3 s]
/proc/loadavg: 2.33 2.30 2.25 4/183 16916
/proc/meminfo: memFree=28937256/32872528 swapFree=16636/1570076
[pid=16781] ppid=16778 vsize=1398340 CPUtime=1361.96 cores=0,2,4,6
/proc/16781/stat : 16781 (toysat) R 16778 16781 13075 0 -1 4202496 290500 0 0 0 136154 42 0 0 20 0 4 0 106084644 1431900160 291104 33554432000 4194304 16246674 140735846502528 140735846484416 13774432 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16781/statm: 349585 291104 918 2943 0 346479 0
[pid=16781/tid=16782] ppid=16778 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16782/stat : 16782 (toysat) S 16778 16781 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106084645 1431900160 291104 33554432000 4194304 16246674 140735846502528 140354607099120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16781/tid=16783] ppid=16778 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16783/stat : 16783 (toysat) S 16778 16781 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106084645 1431900160 291104 33554432000 4194304 16246674 140735846502528 140354596609264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16781/tid=16784] ppid=16778 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16784/stat : 16784 (toysat) S 16778 16781 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106084645 1431900160 291104 33554432000 4194304 16246674 140735846502528 140354586135728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1398340

[startup+1422.3 s]
/proc/loadavg: 2.44 2.33 2.27 3/183 16917
/proc/meminfo: memFree=28841488/32872528 swapFree=16636/1570076
[pid=16781] ppid=16778 vsize=1398340 CPUtime=1421.96 cores=0,2,4,6
/proc/16781/stat : 16781 (toysat) R 16778 16781 13075 0 -1 4202496 290500 0 0 0 142154 42 0 0 20 0 4 0 106084644 1431900160 291104 33554432000 4194304 16246674 140735846502528 140735846484416 5600072 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16781/statm: 349585 291104 918 2943 0 346479 0
[pid=16781/tid=16782] ppid=16778 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16782/stat : 16782 (toysat) S 16778 16781 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106084645 1431900160 291104 33554432000 4194304 16246674 140735846502528 140354607099120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16781/tid=16783] ppid=16778 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16783/stat : 16783 (toysat) S 16778 16781 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106084645 1431900160 291104 33554432000 4194304 16246674 140735846502528 140354596609264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16781/tid=16784] ppid=16778 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16784/stat : 16784 (toysat) S 16778 16781 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106084645 1431900160 291104 33554432000 4194304 16246674 140735846502528 140354586135728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1398340

[startup+1482.3 s]
/proc/loadavg: 2.43 2.35 2.27 3/183 16918
/proc/meminfo: memFree=28744852/32872528 swapFree=16636/1570076
[pid=16781] ppid=16778 vsize=1398340 CPUtime=1481.94 cores=0,2,4,6
/proc/16781/stat : 16781 (toysat) R 16778 16781 13075 0 -1 4202496 290500 0 0 0 148152 42 0 0 20 0 4 0 106084644 1431900160 291104 33554432000 4194304 16246674 140735846502528 140735846484416 12415766 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16781/statm: 349585 291104 918 2943 0 346479 0
[pid=16781/tid=16782] ppid=16778 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16782/stat : 16782 (toysat) S 16778 16781 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106084645 1431900160 291104 33554432000 4194304 16246674 140735846502528 140354607099120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16781/tid=16783] ppid=16778 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16783/stat : 16783 (toysat) S 16778 16781 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106084645 1431900160 291104 33554432000 4194304 16246674 140735846502528 140354596609264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16781/tid=16784] ppid=16778 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16784/stat : 16784 (toysat) S 16778 16781 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106084645 1431900160 291104 33554432000 4194304 16246674 140735846502528 140354586135728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1398340

[startup+1542.31 s]
/proc/loadavg: 2.51 2.37 2.28 3/183 16919
/proc/meminfo: memFree=28648068/32872528 swapFree=16636/1570076
[pid=16781] ppid=16778 vsize=1398340 CPUtime=1541.95 cores=0,2,4,6
/proc/16781/stat : 16781 (toysat) R 16778 16781 13075 0 -1 4202496 290500 0 0 0 154152 43 0 0 20 0 4 0 106084644 1431900160 291104 33554432000 4194304 16246674 140735846502528 140735846484416 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16781/statm: 349585 291104 918 2943 0 346479 0
[pid=16781/tid=16782] ppid=16778 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16782/stat : 16782 (toysat) S 16778 16781 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106084645 1431900160 291104 33554432000 4194304 16246674 140735846502528 140354607099120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16781/tid=16783] ppid=16778 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16783/stat : 16783 (toysat) S 16778 16781 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106084645 1431900160 291104 33554432000 4194304 16246674 140735846502528 140354596609264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16781/tid=16784] ppid=16778 vsize=1398340 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16784/stat : 16784 (toysat) S 16778 16781 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106084645 1431900160 291104 33554432000 4194304 16246674 140735846502528 140354586135728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 1398340

[startup+1602.3 s]
/proc/loadavg: 2.43 2.38 2.29 3/183 16921
/proc/meminfo: memFree=28526516/32872528 swapFree=16636/1570076
[pid=16781] ppid=16778 vsize=1422916 CPUtime=1601.93 cores=0,2,4,6
/proc/16781/stat : 16781 (toysat) R 16778 16781 13075 0 -1 4202496 296644 0 0 0 160150 43 0 0 20 0 4 0 106084644 1457065984 297248 33554432000 4194304 16246674 140735846502528 140735846484416 12875485 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16781/statm: 355729 297248 918 2943 0 352623 0
[pid=16781/tid=16782] ppid=16778 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16782/stat : 16782 (toysat) S 16778 16781 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106084645 1457065984 297248 33554432000 4194304 16246674 140735846502528 140354607099120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16781/tid=16783] ppid=16778 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16783/stat : 16783 (toysat) S 16778 16781 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106084645 1457065984 297248 33554432000 4194304 16246674 140735846502528 140354596609264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16781/tid=16784] ppid=16778 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16784/stat : 16784 (toysat) S 16778 16781 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106084645 1457065984 297248 33554432000 4194304 16246674 140735846502528 140354586135728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1422916

[startup+1662.3 s]
/proc/loadavg: 2.36 2.35 2.28 4/183 16922
/proc/meminfo: memFree=28429928/32872528 swapFree=16636/1570076
[pid=16781] ppid=16778 vsize=1422916 CPUtime=1661.92 cores=0,2,4,6
/proc/16781/stat : 16781 (toysat) R 16778 16781 13075 0 -1 4202496 296644 0 0 0 166149 43 0 0 20 0 4 0 106084644 1457065984 297248 33554432000 4194304 16246674 140735846502528 140735846500352 13928104 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16781/statm: 355729 297248 918 2943 0 352623 0
[pid=16781/tid=16782] ppid=16778 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16782/stat : 16782 (toysat) S 16778 16781 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106084645 1457065984 297248 33554432000 4194304 16246674 140735846502528 140354607099120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16781/tid=16783] ppid=16778 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16783/stat : 16783 (toysat) S 16778 16781 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106084645 1457065984 297248 33554432000 4194304 16246674 140735846502528 140354596609264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16781/tid=16784] ppid=16778 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16784/stat : 16784 (toysat) S 16778 16781 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106084645 1457065984 297248 33554432000 4194304 16246674 140735846502528 140354586135728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1422916

[startup+1722.3 s]
/proc/loadavg: 2.39 2.36 2.28 4/184 16926
/proc/meminfo: memFree=28324592/32872528 swapFree=16636/1570076
[pid=16781] ppid=16778 vsize=1422916 CPUtime=1721.91 cores=0,2,4,6
/proc/16781/stat : 16781 (toysat) R 16778 16781 13075 0 -1 4202496 296644 0 0 0 172148 43 0 0 20 0 4 0 106084644 1457065984 297248 33554432000 4194304 16246674 140735846502528 140735846484416 5601643 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16781/statm: 355729 297248 918 2943 0 352623 0
[pid=16781/tid=16782] ppid=16778 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16782/stat : 16782 (toysat) S 16778 16781 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106084645 1457065984 297248 33554432000 4194304 16246674 140735846502528 140354607099120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16781/tid=16783] ppid=16778 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16783/stat : 16783 (toysat) S 16778 16781 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106084645 1457065984 297248 33554432000 4194304 16246674 140735846502528 140354596609264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16781/tid=16784] ppid=16778 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16784/stat : 16784 (toysat) S 16778 16781 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106084645 1457065984 297248 33554432000 4194304 16246674 140735846502528 140354586135728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1422916

[startup+1782.3 s]
/proc/loadavg: 2.37 2.36 2.28 3/184 16950
/proc/meminfo: memFree=28195176/32872528 swapFree=16636/1570076
[pid=16781] ppid=16778 vsize=1422916 CPUtime=1781.9 cores=0,2,4,6
/proc/16781/stat : 16781 (toysat) R 16778 16781 13075 0 -1 4202496 296644 0 0 0 178147 43 0 0 20 0 4 0 106084644 1457065984 297248 33554432000 4194304 16246674 140735846502528 140735846484416 13774516 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16781/statm: 355729 297248 918 2943 0 352623 0
[pid=16781/tid=16782] ppid=16778 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16782/stat : 16782 (toysat) S 16778 16781 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106084645 1457065984 297248 33554432000 4194304 16246674 140735846502528 140354607099120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16781/tid=16783] ppid=16778 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16783/stat : 16783 (toysat) S 16778 16781 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106084645 1457065984 297248 33554432000 4194304 16246674 140735846502528 140354596609264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16781/tid=16784] ppid=16778 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16784/stat : 16784 (toysat) S 16778 16781 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106084645 1457065984 297248 33554432000 4194304 16246674 140735846502528 140354586135728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1422916



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.37 2.35 2.28 3/183 16950
/proc/meminfo: memFree=28190012/32872528 swapFree=16636/1570076
[pid=16781] ppid=16778 vsize=1422916 CPUtime=1800.09 cores=0,2,4,6
/proc/16781/stat : 16781 (toysat) R 16778 16781 13075 0 -1 4202496 296644 0 0 0 179966 43 0 0 20 0 4 0 106084644 1457065984 297248 33554432000 4194304 16246674 140735846502528 140735846484416 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16781/statm: 355729 297248 918 2943 0 352623 0
[pid=16781/tid=16782] ppid=16778 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16782/stat : 16782 (toysat) S 16778 16781 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106084645 1457065984 297248 33554432000 4194304 16246674 140735846502528 140354607099120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16781/tid=16783] ppid=16778 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16783/stat : 16783 (toysat) S 16778 16781 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106084645 1457065984 297248 33554432000 4194304 16246674 140735846502528 140354596609264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16781/tid=16784] ppid=16778 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16784/stat : 16784 (toysat) S 16778 16781 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106084645 1457065984 297248 33554432000 4194304 16246674 140735846502528 140354586135728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1422916

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

[startup+1800.5 s]
/proc/loadavg: 2.37 2.35 2.28 3/183 16950
/proc/meminfo: memFree=28190012/32872528 swapFree=16636/1570076
[pid=16781] ppid=16778 vsize=1422916 CPUtime=1800.09 cores=0,2,4,6
/proc/16781/stat : 16781 (toysat) R 16778 16781 13075 0 -1 4202496 296644 0 0 0 179966 43 0 0 20 0 4 0 106084644 1457065984 297248 33554432000 4194304 16246674 140735846502528 140735846484416 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16781/statm: 355729 297248 918 2943 0 352623 0
[pid=16781/tid=16782] ppid=16778 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16782/stat : 16782 (toysat) S 16778 16781 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106084645 1457065984 297248 33554432000 4194304 16246674 140735846502528 140354607099120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16781/tid=16783] ppid=16778 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16783/stat : 16783 (toysat) S 16778 16781 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106084645 1457065984 297248 33554432000 4194304 16246674 140735846502528 140354596609264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16781/tid=16784] ppid=16778 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16784/stat : 16784 (toysat) S 16778 16781 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106084645 1457065984 297248 33554432000 4194304 16246674 140735846502528 140354586135728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1422916

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.11
CPU user time (s): 1799.67
CPU system time (s): 0.435933
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 1422916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.435933
maximum resident set size= 1188992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 296644
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= 227
involuntary context switches= 1846

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7514 second user time and 18.2092 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-06 21:32:03
IDJOB=4079676
IDBENCH=2631
IDSOLVER=2542
FILE ID=node140/4079676-1465241523
RUNJOBID= node140-1465216678-13091
PBS_JOBID= 19843199
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_14.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079676-1465241523/watcher-4079676-1465241523 -o /tmp/evaluation-result-4079676-1465241523/solver-4079676-1465241523 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13091 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079676-1465241523.opb

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

MD5SUM BENCH= 308ce6e771b8240fefc971d6e27a7575
RANDOM SEED=83002244

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28763552 kB
Buffers:           42356 kB
Cached:            90528 kB
SwapCached:         1748 kB
Active:          1764992 kB
Inactive:          69576 kB
Active(anon):    1701328 kB
Inactive(anon):     2612 kB
Active(file):      63664 kB
Inactive(file):    66964 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098604 kB
Dirty:             17904 kB
Writeback:             0 kB
AnonPages:       3371104 kB
Mapped:            10672 kB
Shmem:                 0 kB
Slab:             567808 kB
SReclaimable:      12096 kB
SUnreclaim:       555712 kB
KernelStack:        1520 kB
PageTables:        10472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3413380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2445312 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= 71704 MiB
End job on node140 at 2016-06-06 22:02:04