Trace number 4093092

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.07 1800.65

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/
normalized-j12013_1-unsat--soft-66-100-0.wbo
MD5SUMd90996ead5d333f681473deac8f769b5
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark7311
Best CPU time to get the best result obtained on this benchmark317.481
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables29282
Total number of constraints92908
Number of soft constraints31669
Number of constraints which are clauses92428
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints480
Minimum length of a constraint1
Maximum length of a constraint93
Top cost 1605974
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1605973
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 554
Number of bits of the biggest sum of numbers10
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-16T13:38:22+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","--wbo","--search=bcd2","HOME/instance-4093092-1466077101.wbo"]
0.00/0.01	c use --random-gen="1839947290 2433219572 4272346291 585939045 951745357 3040321619 575582350 3393488833 2038289858 2678699586 1197750687 568620955 2166160713 2050003986 2845380674 2800758533 943539140 2202155467 2817720739 1583322645 1213170626 2935496476 1729495662 16446311 3801927665 1616741122 2804325271 2105351742 223612664 140937446 3660024022 1708117237 2892946220 4270497656 4227365043 2939528266 2781925753 3172455554 1487195353 2025477804 4113192587 2141454203 669967999 4286740506 3929959540 3262022616 1158807712 2716236700 1898628726 3198895773 1281506450 2486164753 676639802 3947510793 1967443096 3000526506 2402184621 1649415082 3882627641 1101868845 2234007426 3875413787 313651239 2246721797 3458955685 2371541107 308759695 757488484 4160448966 18161982 3006102166 3075569860 332289577 3577963500 4037433212 953523579 2379989027 711802971 1141227539 1551222824 1920525900 835664948 4289557271 371296284 1105738403 1109940091 1891749781 668810274 2677475753 30846406 1823034565 3922456624 3507167045 2655476655 149086067 3004512069 2971539542 2752428250 2132000043 852733955 2732246098 558510868 4200253947 1569235130 1100467326 2124322517 534572153 1817116839 731665302 4193953584 1025956212 3343089732 784923459 853494832 2972778558 1245281197 3981926527 3974336370 3730476218 4238469755 529237425 4162692502 3326025508 2558637809 2822146119 2350614654 1113657457 4006396032 3581473372 1373831655 3858281265 4088058268 4156977568 2223209570 2322678966 2602902451 1754727160 3567830269 1700425244 1057901482 2192002563 2744384203 4124173924 2826327929 850934517 199465493 2857431286 316623095 3267487998 1831553790 891203235 2345817390 4090718916 589985134 841425458 1697935096 1614248184 2842901600 1100162712 2008557002 1562958104 3069012888 325335915 309163098 3811973487 3018395609 2057587873 1335607578 2228446598 1167582038 349923743 2994239312 412268907 3387577427 3925392886 1942077352 675572854 385626319 1163873910 4270432091 3197832299 2797863188 2635354862 3386456676 230364235 1876663151 1555669973 3521940966 529078042 3238567082 4083656153 23340231 4204172492 3678665396 4179457271 3261358580 2990990170 2609773791 3916862993 2891433641 3876364385 1816157216 1177644219 1195397451 3194961935 3500212190 1751636440 2245080072 2559755625 1691442070 2785321826 1138585677 3934684025 3229305877 2151170183 3587034922 3918539138 2800918232 2066993881 2721261478 906240281 52750628 2156501350 278163146 4024144027 109361095 963805547 3755954369 3460121429 3463858484 3386750374 2433656055 425265836 3862217333 1085953352 1156322227 2324036208 1047146310 743425863 1833767459 4205932750 3548176576 1986509315 3168667288 378289793 2003986588 2779490593 2613199823 702350509 1735150399 3636617372 4088224473 2049442735 2130423244 2879917278 3697825211 255 362436" option to reproduce the execution
29.29/29.32	c #vars 29282
29.29/29.32	c #constraints 92908
30.49/30.56	c BCD2: Hardening is enabled.
30.49/30.56	c BCD2: BiasedSearch is enabled.
30.49/30.56	c Solving starts ...
30.49/30.56	c ============================[ Search Statistics ]============================
30.49/30.56	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
30.49/30.56	c       |         |          |          |    Limit     GC | Var      | Constra 
30.49/30.56	c =============================================================================
30.49/30.57	c  0.0s |       0 |        0 |        0 |    41873      0 |     9005 |        0
30.89/30.90	c  0.3s |       1 |    30470 |      100 |    41873      0 |     9005 |    15972
30.99/31.09	c  0.5s |       1 |    77904 |      113 |    46061      0 |     9005 |    15972
30.99/31.09	c #cpu_time = 0.486s
30.99/31.09	c #wall_clock_time = 0.486s
30.99/31.09	c #decision = 77904
30.99/31.09	c #random_decision = 186
30.99/31.09	c #conflict = 113
30.99/31.09	c #restart = 1
31.09/31.10	o 21181
31.19/31.20	c BCD2: updating upper bound: 1611733 -> 26940
31.29/31.37	c BCD2: 0 <= obj <= 26940
31.29/31.37	c BCD2: #cores=0, #unrelaxed=31621, #relaxed=0, #hardened=0
31.29/31.37	c BCD2: #sat=1 #unsat=1 bias=1/2
31.29/31.38	c Solving starts ...
31.29/31.38	c ============================[ Search Statistics ]============================
31.29/31.38	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
31.29/31.38	c       |         |          |          |    Limit     GC | Var      | Constra 
31.29/31.38	c =============================================================================
31.29/31.38	c  0.0s |       0 |        0 |        0 |    46061      0 |     9005 |    15972
31.39/31.42	c  0.0s |       0 |        0 |        0 |    46061      0 |     9005 |    15972
31.39/31.42	c #cpu_time = 0.040s
31.39/31.42	c #wall_clock_time = 0.040s
31.39/31.42	c #decision = 0
31.39/31.42	c #random_decision = 0
31.39/31.42	c #conflict = 0
31.39/31.42	c #restart = 0
31.39/31.42	c BCD2: found a new core of size 1: cost of the new core is >=5760
31.39/31.42	c lower bound updated to 0
31.39/31.44	c BCD2: 5760 <= obj <= 26940
31.39/31.44	c BCD2: #cores=1, #unrelaxed=31620, #relaxed=1, #hardened=0
31.39/31.44	c BCD2: #sat=1 #unsat=2 bias=2/3
31.39/31.44	c Solving starts ...
31.39/31.44	c ============================[ Search Statistics ]============================
31.39/31.44	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
31.39/31.44	c       |         |          |          |    Limit     GC | Var      | Constra 
31.39/31.44	c =============================================================================
31.39/31.44	c  0.0s |       0 |        0 |        0 |    46061      0 |     9005 |    15972
31.49/31.50	c  0.1s |       0 |     9795 |        0 |    46061      0 |     9005 |    15972
31.49/31.50	c #cpu_time = 0.059s
31.49/31.50	c #wall_clock_time = 0.059s
31.49/31.50	c #decision = 9795
31.49/31.50	c #random_decision = 0
31.49/31.50	c #conflict = 0
31.49/31.50	c #restart = 0
31.49/31.50	c BCD2: found a new core of size 3: cost of the new core is >=41
31.49/31.50	c lower bound updated to 41
31.49/31.52	c BCD2: 5801 <= obj <= 26940
31.49/31.52	c BCD2: #cores=2, #unrelaxed=31617, #relaxed=4, #hardened=0
31.49/31.52	c BCD2: #sat=1 #unsat=3 bias=3/4
31.49/31.53	c Solving starts ...
31.49/31.53	c ============================[ Search Statistics ]============================
31.49/31.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
31.49/31.53	c       |         |          |          |    Limit     GC | Var      | Constra 
31.49/31.53	c =============================================================================
31.49/31.53	c  0.0s |       0 |        0 |        0 |    46061      0 |     9005 |    15972
31.79/31.83	c  0.3s |       1 |    31668 |      100 |    46061      0 |     9005 |    15972
32.19/32.28	c  0.8s |       2 |    63443 |      250 |    50668      0 |     9005 |    15972
32.89/32.92	c  1.4s |       3 |    95303 |      475 |    55735      0 |     9005 |    15972
33.88/33.94	c  2.4s |       4 |   127365 |      813 |    61309      0 |     9005 |    15972
35.58/35.65	c  4.1s |       5 |   159664 |     1320 |    67440      0 |     9005 |    15972
37.38/37.42	c  5.9s |       6 |   192402 |     2081 |    74184      0 |     9005 |    15972
39.48/39.54	c  8.0s |       6 |   224925 |     2781 |    74184      0 |     9005 |    15972
41.18/41.21	c  9.7s |       7 |   225451 |     3223 |    81603      0 |     9005 |    15972
43.48/43.55	c 12.0s |       7 |   257812 |     3823 |    81603      0 |     9005 |    15972
45.48/45.56	c 14.0s |       7 |   258588 |     4323 |    81603      0 |     9005 |    15972
47.88/47.95	c 16.4s |       7 |   259412 |     4923 |    89764      0 |     9005 |    15972
47.98/48.02	c 16.5s |       8 |   259426 |     4936 |    89764      0 |     9005 |    15972
50.18/50.27	c 18.7s |       8 |   291710 |     5536 |    89764      0 |     9005 |    15972
52.28/52.32	c 20.8s |       8 |   292862 |     6336 |    89764      0 |     9005 |    15972
54.38/54.43	c 22.9s |       8 |   293825 |     7036 |    89764      0 |     9005 |    15972
55.98/56.09	c 24.6s |       9 |   294459 |     7506 |    98741      0 |     9005 |    15972
58.28/58.31	c 26.8s |       9 |   326898 |     8106 |    98741      0 |     9005 |    15972
60.28/60.31	c 28.8s |       9 |   327583 |     8606 |    98741      0 |     9005 |    15972
62.57/62.63	c 31.1s |       9 |   328260 |     9106 |    98741      0 |     9005 |    15972
64.77/64.80	c 33.3s |       9 |   328990 |     9606 |    98741      0 |     9005 |    15972
66.77/66.89	c 35.4s |       9 |   329734 |    10206 |    98741      0 |     9005 |    15972
68.97/69.07	c 37.5s |       9 |   330563 |    10806 |    98741      0 |     9005 |    15972
71.47/71.53	c 40.0s |       9 |   331202 |    11306 |   108616      0 |     9005 |    15972
71.88/71.90	c 40.4s |      10 |   331264 |    11361 |   108616      0 |     9005 |    15972
74.18/74.21	c 42.7s |      10 |   363317 |    11761 |   108616      0 |     9005 |    15972
76.48/76.54	c 45.0s |      10 |   363817 |    12161 |   108616      0 |     9005 |    15972
78.57/78.63	c 47.1s |      10 |   364322 |    12561 |   108616      0 |     9005 |    15972
80.57/80.69	c 49.2s |      10 |   364931 |    13061 |   108616      0 |     9005 |    15972
83.17/83.23	c 51.7s |      10 |   365565 |    13561 |   108616      0 |     9005 |    15972
85.17/85.29	c 53.8s |      10 |   366045 |    13961 |   108616      0 |     9005 |    15972
87.57/87.68	c 56.2s |      10 |   366686 |    14461 |   108616      0 |     9005 |    15972
89.77/89.84	c 58.3s |      10 |   367176 |    14861 |   108616      0 |     9005 |    15972
91.87/91.90	c 60.4s |      10 |   367721 |    15261 |   108616      0 |     9005 |    15972
94.06/94.18	c 62.6s |      10 |   368227 |    15661 |   108616      0 |     9005 |    15972
96.37/96.42	c 64.9s |      10 |   368909 |    16161 |   108616      0 |     9005 |    15972
98.47/98.53	c 67.0s |      10 |   369465 |    16561 |   108616      0 |     9005 |    15972
100.66/100.73	c 69.2s |      11 |   370208 |    17144 |   119478      0 |     9005 |    15972
102.76/102.83	c 71.3s |      11 |   402368 |    17544 |   119478      0 |     9005 |    15972
105.16/105.20	c 73.7s |      11 |   403255 |    18144 |   119478      0 |     9005 |    15972
107.16/107.24	c 75.7s |      11 |   403899 |    18644 |   119478      0 |     9005 |    15972
109.36/109.47	c 77.9s |      11 |   404554 |    19144 |   119478      0 |     9005 |    15972
111.57/111.63	c 80.1s |      11 |   405093 |    19544 |   119478      0 |     9005 |    15972
113.97/114.06	c 82.5s |      11 |   405683 |    20044 |   119478      0 |     9005 |    15972
116.16/116.23	c 84.7s |      11 |   406204 |    20444 |   119478      0 |     9005 |    15972
118.46/118.57	c 87.0s |      11 |   406718 |    20844 |   119478      0 |     9005 |    15972
121.06/121.19	c 89.7s |      11 |   407221 |    21244 |   119478      0 |     9005 |    15972
123.56/123.69	c 92.2s |      11 |   407768 |    21644 |   119478      0 |     9005 |    15972
126.26/126.33	c 94.8s |      11 |   408121 |    21944 |   119478      0 |     9005 |    15972
128.46/128.54	c 97.0s |      11 |   408628 |    22344 |   119478      0 |     9005 |    15972
130.66/130.77	c 99.2s |      11 |   409129 |    22744 |   119478      0 |     9005 |    15972
132.96/133.05	c  101s |      11 |   409913 |    23244 |   119478      0 |     9005 |    15972
135.06/135.11	c  103s |      11 |   410455 |    23644 |   119478      0 |     9005 |    15972
137.35/137.46	c  105s |      11 |   410989 |    24044 |   119478      0 |     9005 |    15972
139.76/139.81	c  108s |      11 |   411503 |    24444 |   119478      0 |     9005 |    15972
142.25/142.36	c  110s |      11 |   412031 |    24844 |   119478      0 |     9005 |    15972
144.86/144.98	c  113s |      11 |   412539 |    25244 |   119478      0 |     9005 |    15972
147.36/147.45	c  115s |      11 |   413075 |    25644 |   131426      0 |     9005 |    15972
148.66/148.79	c  117s |      12 |   413307 |    25819 |   131426      0 |     9005 |    15972
150.86/150.97	c  119s |      12 |   445103 |    26019 |   131426      0 |     9005 |    15972
152.96/153.10	c  121s |      12 |   445481 |    26319 |   131426      0 |     9005 |    15972
155.16/155.25	c  123s |      12 |   446056 |    26719 |   131426      0 |     9005 |    15972
157.15/157.29	c  125s |      12 |   446437 |    27019 |   131426      0 |     9005 |    15972
159.35/159.44	c  127s |      12 |   446863 |    27319 |   131426      0 |     9005 |    15972
162.05/162.11	c  130s |      12 |   447395 |    27719 |   131426      0 |     9005 |    15972
164.55/164.64	c  133s |      12 |   447780 |    28019 |   131426      0 |     9005 |    15972
166.55/166.69	c  135s |      12 |   448125 |    28319 |   131426      0 |     9005 |    15972
168.85/168.92	c  137s |      12 |   448622 |    28719 |   131426      0 |     9005 |    15972
171.34/171.47	c  139s |      12 |   449121 |    29119 |   131426      0 |     9005 |    15972
173.64/173.72	c  142s |      12 |   449480 |    29419 |   131426      0 |     9005 |    15972
176.16/176.24	c  144s |      12 |   449833 |    29719 |   131426      0 |     9005 |    15972
178.45/178.55	c  147s |      12 |   450318 |    30119 |   131426      0 |     9005 |    15972
180.75/180.89	c  149s |      12 |   450693 |    30419 |   131426      0 |     9005 |    15972
182.85/182.99	c  151s |      12 |   451099 |    30719 |   131426      0 |     9005 |    15972
185.74/185.83	c  154s |      12 |   451608 |    31119 |   131426      0 |     9005 |    15972
187.84/187.91	c  156s |      12 |   451974 |    31419 |   131426      0 |     9005 |    15972
189.84/189.94	c  158s |      12 |   452359 |    31719 |   131426      0 |     9005 |    15972
192.34/192.43	c  160s |      12 |   452727 |    32019 |   131426      0 |     9005 |    15972
194.34/194.48	c  162s |      12 |   453084 |    32319 |   131426      0 |     9005 |    15972
196.84/196.92	c  165s |      12 |   453502 |    32619 |   131426      0 |     9005 |    15972
199.04/199.20	c  167s |      12 |   453906 |    32919 |   131426      0 |     9005 |    15972
202.13/202.20	c  170s |      12 |   454368 |    33319 |   131426      0 |     9005 |    15972
204.43/204.55	c  173s |      12 |   454698 |    33619 |   131426      0 |     9005 |    15972
206.83/206.98	c  175s |      12 |   455049 |    33919 |   131426      0 |     9005 |    15972
209.23/209.35	c  177s |      12 |   455404 |    34219 |   131426      0 |     9005 |    15972
211.73/211.85	c  180s |      12 |   455746 |    34519 |   131426      0 |     9005 |    15972
213.84/213.96	c  182s |      12 |   456100 |    34819 |   131426      0 |     9005 |    15972
215.93/216.00	c  184s |      12 |   456322 |    35019 |   131426      0 |     9005 |    15972
218.63/218.71	c  187s |      12 |   456687 |    35319 |   131426      0 |     9005 |    15972
220.63/220.76	c  189s |      12 |   457059 |    35619 |   131426      0 |     9005 |    15972
223.03/223.10	c  191s |      12 |   457415 |    35919 |   131426      0 |     9005 |    15972
225.53/225.63	c  194s |      12 |   457942 |    36319 |   131426      0 |     9005 |    15972
227.92/228.04	c  196s |      12 |   458288 |    36619 |   131426      0 |     9005 |    15972
230.72/230.87	c  199s |      12 |   458651 |    36919 |   131426      0 |     9005 |    15972
233.82/233.96	c  202s |      12 |   459013 |    37219 |   131426      0 |     9005 |    15972
235.82/235.97	c  204s |      12 |   459432 |    37519 |   131426      0 |     9005 |    15972
238.42/238.54	c  207s |      12 |   459800 |    37819 |   131426      0 |     9005 |    15972
240.82/240.96	c  209s |      12 |   460157 |    38119 |   131426      0 |     9005 |    15972
243.52/243.69	c  212s |      12 |   460536 |    38419 |   131426      0 |     9005 |    15972
246.42/246.57	c  215s |      12 |   460900 |    38719 |   144569      0 |     9005 |    15972
247.31/247.46	c  215s |      13 |   461065 |    38832 |   144569      0 |     9005 |    15972
249.61/249.73	c  218s |      13 |   492738 |    38932 |   144569      0 |     9005 |    15972
251.61/251.78	c  220s |      13 |   492971 |    39132 |   144569      0 |     9005 |    15972
254.31/254.49	c  222s |      13 |   493368 |    39432 |   144569      0 |     9005 |    15972
256.41/256.55	c  225s |      13 |   493734 |    39732 |   144569      0 |     9005 |    15972
258.51/258.67	c  227s |      13 |   494124 |    40032 |   144569      0 |     9005 |    15972
260.90/261.05	c  229s |      13 |   494513 |    40332 |   144569      0 |     9005 |    15972
263.01/263.17	c  231s |      13 |   494933 |    40632 |   144569      0 |     9005 |    15972
265.39/265.50	c  233s |      13 |   495453 |    41032 |   144569      0 |     9005 |    15972
267.41/267.51	c  235s |      13 |   495898 |    41332 |   144569      0 |     9005 |    15972
269.61/269.73	c  238s |      13 |   496259 |    41632 |   144569      0 |     9005 |    15972
271.90/272.02	c  240s |      13 |   496646 |    41932 |   144569      0 |     9005 |    15972
274.20/274.37	c  242s |      13 |   496981 |    42232 |   144569      0 |     9005 |    15972
276.49/276.66	c  245s |      13 |   497404 |    42532 |   144569      0 |     9005 |    15972
279.09/279.23	c  247s |      13 |   497815 |    42832 |   144569      0 |     9005 |    15972
281.19/281.34	c  249s |      13 |   498053 |    43032 |   144569      0 |     9005 |    15972
283.99/284.17	c  252s |      13 |   498395 |    43332 |   144569      0 |     9005 |    15972
286.49/286.68	c  255s |      13 |   498789 |    43632 |   144569      0 |     9005 |    15972
289.09/289.21	c  257s |      13 |   499153 |    43932 |   144569      0 |     9005 |    15972
291.89/292.02	c  260s |      13 |   499550 |    44232 |   144569      0 |     9005 |    15972
294.28/294.42	c  262s |      13 |   499982 |    44532 |   144569      0 |     9005 |    15972
297.08/297.29	c  265s |      13 |   500358 |    44832 |   144569      0 |     9005 |    15972
299.78/299.92	c  268s |      13 |   500605 |    45032 |   144569      0 |     9005 |    15972
302.38/302.58	c  271s |      13 |   500941 |    45332 |   144569      0 |     9005 |    15972
305.37/305.57	c  274s |      13 |   501286 |    45632 |   144569      0 |     9005 |    15972
308.17/308.35	c  276s |      13 |   501707 |    45932 |   144569      0 |     9005 |    15972
310.77/310.97	c  279s |      13 |   502196 |    46332 |   144569      0 |     9005 |    15972
312.87/313.01	c  281s |      13 |   502606 |    46632 |   144569      0 |     9005 |    15972
315.37/315.54	c  284s |      13 |   503009 |    46932 |   144569      0 |     9005 |    15972
317.78/317.92	c  286s |      13 |   503404 |    47232 |   144569      0 |     9005 |    15972
320.47/320.64	c  289s |      13 |   503799 |    47532 |   144569      0 |     9005 |    15972
323.38/323.53	c  291s |      13 |   504187 |    47832 |   144569      0 |     9005 |    15972
325.97/326.12	c  294s |      13 |   504548 |    48132 |   144569      0 |     9005 |    15972
328.27/328.46	c  296s |      13 |   504963 |    48432 |   144569      0 |     9005 |    15972
330.56/330.77	c  299s |      13 |   505204 |    48632 |   144569      0 |     9005 |    15972
333.06/333.21	c  301s |      13 |   505593 |    48932 |   144569      0 |     9005 |    15972
335.56/335.78	c  304s |      13 |   505849 |    49132 |   144569      0 |     9005 |    15972
337.96/338.15	c  306s |      13 |   506100 |    49332 |   144569      0 |     9005 |    15972
340.66/340.80	c  309s |      13 |   506356 |    49532 |   144569      0 |     9005 |    15972
343.36/343.52	c  311s |      13 |   506755 |    49832 |   144569      0 |     9005 |    15972
346.35/346.58	c  315s |      13 |   507120 |    50132 |   144569      0 |     9005 |    15972
348.45/348.64	c  317s |      13 |   507363 |    50332 |   144569      0 |     9005 |    15972
350.55/350.77	c  319s |      13 |   507638 |    50532 |   144569      0 |     9005 |    15972
352.55/352.78	c  321s |      13 |   508077 |    50832 |   144569      0 |     9005 |    15972
354.75/354.93	c  323s |      13 |   508525 |    51132 |   144569      0 |     9005 |    15972
357.34/357.51	c  325s |      13 |   509073 |    51532 |   144569      0 |     9005 |    15972
360.24/360.46	c  328s |      13 |   509431 |    51832 |   144569      0 |     9005 |    15972
362.96/363.18	c  331s |      13 |   509844 |    52132 |   144569      0 |     9005 |    15972
365.15/365.36	c  333s |      13 |   510239 |    52432 |   144569      0 |     9005 |    15972
367.65/367.89	c  336s |      13 |   510605 |    52732 |   144569      0 |     9005 |    15972
370.34/370.56	c  339s |      13 |   510988 |    53032 |   144569      0 |     9005 |    15972
373.24/373.46	c  341s |      13 |   511352 |    53332 |   144569      0 |     9005 |    15972
375.44/375.64	c  344s |      13 |   511587 |    53532 |   144569      0 |     9005 |    15972
377.84/378.05	c  346s |      13 |   511984 |    53832 |   144569      0 |     9005 |    15972
380.64/380.90	c  349s |      13 |   512356 |    54132 |   144569      0 |     9005 |    15972
382.84/383.03	c  351s |      13 |   512595 |    54332 |   144569      0 |     9005 |    15972
385.73/385.92	c  354s |      13 |   512811 |    54532 |   144569      0 |     9005 |    15972
387.83/388.05	c  356s |      13 |   513087 |    54732 |   144569      0 |     9005 |    15972
390.23/390.49	c  358s |      13 |   513366 |    54932 |   144569      0 |     9005 |    15972
392.83/393.02	c  361s |      13 |   513636 |    55132 |   144569      0 |     9005 |    15972
395.32/395.50	c  363s |      13 |   513924 |    55332 |   144569      0 |     9005 |    15972
397.83/398.08	c  366s |      13 |   514186 |    55532 |   144569      0 |     9005 |    15972
400.53/400.70	c  369s |      13 |   514432 |    55732 |   144569      0 |     9005 |    15972
403.02/403.26	c  371s |      13 |   514683 |    55932 |   144569      0 |     9005 |    15972
405.42/405.60	c  374s |      13 |   514928 |    56132 |   144569      0 |     9005 |    15972
408.22/408.44	c  376s |      13 |   515335 |    56432 |   144569      0 |     9005 |    15972
410.52/410.75	c  379s |      13 |   515599 |    56632 |   144569      0 |     9005 |    15972
413.02/413.26	c  381s |      13 |   515841 |    56832 |   144569      0 |     9005 |    15972
415.52/415.77	c  384s |      13 |   516238 |    57132 |   144569      0 |     9005 |    15972
418.03/418.25	c  386s |      13 |   516488 |    57332 |   144569      0 |     9005 |    15972
420.13/420.34	c  388s |      13 |   516721 |    57532 |   144569      0 |     9005 |    15972
422.43/422.64	c  391s |      13 |   516961 |    57732 |   144569      0 |     9005 |    15972
424.63/424.90	c  393s |      13 |   517216 |    57932 |   159026      0 |     9005 |    15972
427.22/427.49	c  395s |      13 |   517574 |    58232 |   159026      0 |     9005 |    15972
428.32/428.54	c  397s |      14 |   517706 |    58352 |   159026      0 |     9005 |    15972
431.82/432.08	c  400s |      14 |   549377 |    58452 |   159026      0 |     9005 |    15972
434.32/434.55	c  403s |      14 |   549634 |    58652 |   159026      0 |     9005 |    15972
436.81/437.07	c  405s |      14 |   549900 |    58852 |   159026      0 |     9005 |    15972
439.31/439.51	c  407s |      14 |   550140 |    59052 |   159026      0 |     9005 |    15972
441.41/441.69	c  410s |      14 |   550389 |    59252 |   159026      0 |     9005 |    15972
444.01/444.29	c  412s |      14 |   550628 |    59452 |   159026      0 |     9005 |    15972
446.41/446.64	c  415s |      14 |   550890 |    59652 |   159026      0 |     9005 |    15972
448.71/448.92	c  417s |      14 |   551141 |    59852 |   159026      0 |     9005 |    15972
451.31/451.51	c  419s |      14 |   551383 |    60052 |   159026      0 |     9005 |    15972
453.61/453.84	c  422s |      14 |   551658 |    60252 |   159026      0 |     9005 |    15972
456.40/456.62	c  425s |      14 |   551927 |    60452 |   159026      0 |     9005 |    15972
458.70/458.91	c  427s |      14 |   552185 |    60652 |   159026      0 |     9005 |    15972
461.29/461.54	c  430s |      14 |   552427 |    60852 |   159026      0 |     9005 |    15972
463.79/464.08	c  432s |      14 |   552683 |    61052 |   159026      0 |     9005 |    15972
466.50/466.72	c  435s |      14 |   552931 |    61252 |   159026      0 |     9005 |    15972
469.40/469.64	c  438s |      14 |   553179 |    61452 |   159026      0 |     9005 |    15972
471.40/471.69	c  440s |      14 |   553421 |    61652 |   159026      0 |     9005 |    15972
473.89/474.15	c  442s |      14 |   553659 |    61852 |   159026      0 |     9005 |    15972
477.19/477.43	c  445s |      14 |   553889 |    62052 |   159026      0 |     9005 |    15972
480.59/480.86	c  449s |      14 |   554131 |    62252 |   159026      0 |     9005 |    15972
483.99/484.27	c  452s |      14 |   554366 |    62452 |   159026      0 |     9005 |    15972
487.58/487.80	c  456s |      14 |   554579 |    62652 |   159026      0 |     9005 |    15972
491.39/491.64	c  460s |      14 |   554798 |    62852 |   159026      0 |     9005 |    15972
495.08/495.32	c  463s |      14 |   555037 |    63052 |   159026      0 |     9005 |    15972
497.98/498.29	c  466s |      14 |   555293 |    63252 |   159026      0 |     9005 |    15972
500.67/500.90	c  469s |      14 |   555544 |    63452 |   159026      0 |     9005 |    15972
503.57/503.86	c  472s |      14 |   555777 |    63652 |   159026      0 |     9005 |    15972
506.07/506.35	c  474s |      14 |   556016 |    63852 |   159026      0 |     9005 |    15972
509.18/509.47	c  477s |      14 |   556256 |    64052 |   159026      0 |     9005 |    15972
512.27/512.52	c  480s |      14 |   556490 |    64252 |   159026      0 |     9005 |    15972
514.47/514.75	c  483s |      14 |   556716 |    64452 |   159026      0 |     9005 |    15972
516.57/516.83	c  485s |      14 |   556944 |    64652 |   159026      0 |     9005 |    15972
519.57/519.80	c  488s |      14 |   557368 |    64952 |   159026      0 |     9005 |    15972
522.27/522.51	c  490s |      14 |   557737 |    65252 |   159026      0 |     9005 |    15972
524.27/524.56	c  493s |      14 |   557986 |    65452 |   159026      0 |     9005 |    15972
527.06/527.39	c  495s |      14 |   558344 |    65752 |   159026      0 |     9005 |    15972
529.36/529.66	c  498s |      14 |   558606 |    65952 |   159026      0 |     9005 |    15972
531.66/531.91	c  500s |      14 |   558855 |    66152 |   159026      0 |     9005 |    15972
534.06/534.38	c  502s |      14 |   559133 |    66352 |   159026      0 |     9005 |    15972
536.36/536.66	c  505s |      14 |   559378 |    66552 |   159026      0 |     9005 |    15972
538.75/539.01	c  507s |      14 |   559639 |    66752 |   159026      0 |     9005 |    15972
540.85/541.17	c  509s |      14 |   559902 |    66952 |   159026      0 |     9005 |    15972
543.95/544.21	c  512s |      14 |   560135 |    67152 |   159026      0 |     9005 |    15972
546.15/546.43	c  514s |      14 |   560412 |    67352 |   159026      0 |     9005 |    15972
548.55/548.87	c  517s |      14 |   560667 |    67552 |   159026      0 |     9005 |    15972
550.95/551.23	c  519s |      14 |   560957 |    67752 |   159026      0 |     9005 |    15972
554.04/554.39	c  522s |      14 |   561330 |    68052 |   159026      0 |     9005 |    15972
556.55/556.81	c  525s |      14 |   561570 |    68252 |   159026      0 |     9005 |    15972
559.05/559.31	c  527s |      14 |   561793 |    68452 |   159026      0 |     9005 |    15972
561.84/562.12	c  530s |      14 |   562025 |    68652 |   159026      0 |     9005 |    15972
564.64/564.98	c  533s |      14 |   562259 |    68852 |   159026      0 |     9005 |    15972
567.54/567.81	c  536s |      14 |   562532 |    69052 |   159026      0 |     9005 |    15972
570.43/570.73	c  539s |      14 |   562753 |    69252 |   159026      0 |     9005 |    15972
572.83/573.19	c  541s |      14 |   563001 |    69452 |   159026      0 |     9005 |    15972
575.53/575.89	c  544s |      14 |   563236 |    69652 |   159026      0 |     9005 |    15972
577.93/578.24	c  546s |      14 |   563472 |    69852 |   159026      0 |     9005 |    15972
580.83/581.16	c  549s |      14 |   563679 |    70052 |   159026      0 |     9005 |    15972
583.23/583.58	c  552s |      14 |   563939 |    70252 |   159026      0 |     9005 |    15972
585.42/585.77	c  554s |      14 |   564207 |    70452 |   159026      0 |     9005 |    15972
588.22/588.55	c  557s |      14 |   564578 |    70752 |   159026      0 |     9005 |    15972
590.32/590.60	c  559s |      14 |   564822 |    70952 |   159026      0 |     9005 |    15972
592.42/592.72	c  561s |      14 |   565072 |    71152 |   159026      0 |     9005 |    15972
594.62/594.92	c  563s |      14 |   565324 |    71352 |   159026      0 |     9005 |    15972
597.62/597.92	c  566s |      14 |   565693 |    71652 |   159026      0 |     9005 |    15972
600.02/600.33	c  568s |      14 |   565935 |    71852 |   159026      0 |     9005 |    15972
602.62/602.97	c  571s |      14 |   566187 |    72052 |   159026      0 |     9005 |    15972
604.83/605.16	c  573s |      14 |   566482 |    72252 |   159026      0 |     9005 |    15972
607.22/607.57	c  576s |      14 |   566746 |    72452 |   159026      0 |     9005 |    15972
610.42/610.74	c  579s |      14 |   566968 |    72652 |   159026      0 |     9005 |    15972
613.01/613.34	c  581s |      14 |   567204 |    72852 |   159026      0 |     9005 |    15972
616.51/616.87	c  585s |      14 |   567447 |    73052 |   159026      0 |     9005 |    15972
619.90/620.27	c  588s |      14 |   567707 |    73252 |   159026      0 |     9005 |    15972
622.10/622.49	c  590s |      14 |   567967 |    73452 |   159026      0 |     9005 |    15972
625.00/625.30	c  593s |      14 |   568230 |    73652 |   159026      0 |     9005 |    15972
627.00/627.39	c  595s |      14 |   568476 |    73852 |   159026      0 |     9005 |    15972
629.41/629.71	c  598s |      14 |   568720 |    74052 |   159026      0 |     9005 |    15972
632.20/632.59	c  601s |      14 |   568961 |    74252 |   159026      0 |     9005 |    15972
635.30/635.66	c  604s |      14 |   569213 |    74452 |   159026      0 |     9005 |    15972
638.60/638.98	c  607s |      14 |   569466 |    74652 |   159026      0 |     9005 |    15972
641.60/641.95	c  610s |      14 |   569689 |    74852 |   159026      0 |     9005 |    15972
644.99/645.31	c  613s |      14 |   569925 |    75052 |   159026      0 |     9005 |    15972
648.19/648.57	c  617s |      14 |   570163 |    75252 |   159026      0 |     9005 |    15972
651.29/651.60	c  620s |      14 |   570414 |    75452 |   159026      0 |     9005 |    15972
654.09/654.47	c  622s |      14 |   570669 |    75652 |   159026      0 |     9005 |    15972
657.09/657.44	c  625s |      14 |   570942 |    75852 |   159026      0 |     9005 |    15972
660.19/660.50	c  628s |      14 |   571191 |    76052 |   159026      0 |     9005 |    15972
663.38/663.79	c  632s |      14 |   571414 |    76252 |   159026      0 |     9005 |    15972
666.39/666.71	c  635s |      14 |   571683 |    76452 |   159026      0 |     9005 |    15972
669.18/669.54	c  638s |      14 |   571934 |    76652 |   159026      0 |     9005 |    15972
672.18/672.56	c  641s |      14 |   572172 |    76852 |   159026      0 |     9005 |    15972
675.77/676.10	c  644s |      14 |   572426 |    77052 |   159026      0 |     9005 |    15972
678.87/679.28	c  647s |      14 |   572687 |    77252 |   159026      0 |     9005 |    15972
681.77/682.18	c  650s |      14 |   572947 |    77452 |   159026      0 |     9005 |    15972
684.78/685.13	c  653s |      14 |   573192 |    77652 |   159026      0 |     9005 |    15972
687.57/687.99	c  656s |      14 |   573434 |    77852 |   159026      0 |     9005 |    15972
690.37/690.72	c  659s |      14 |   573670 |    78052 |   159026      0 |     9005 |    15972
693.67/694.02	c  662s |      14 |   573924 |    78252 |   159026      0 |     9005 |    15972
697.27/697.68	c  666s |      14 |   574170 |    78452 |   159026      0 |     9005 |    15972
699.86/700.29	c  668s |      14 |   574420 |    78652 |   159026      0 |     9005 |    15972
702.97/703.37	c  671s |      14 |   574673 |    78852 |   159026      0 |     9005 |    15972
706.26/706.64	c  675s |      14 |   574898 |    79052 |   159026      0 |     9005 |    15972
709.06/709.44	c  677s |      14 |   575155 |    79252 |   159026      0 |     9005 |    15972
711.57/711.97	c  680s |      14 |   575387 |    79452 |   159026      0 |     9005 |    15972
715.06/715.49	c  683s |      14 |   575612 |    79652 |   159026      0 |     9005 |    15972
717.96/718.30	c  686s |      14 |   575877 |    79852 |   159026      0 |     9005 |    15972
720.96/721.37	c  689s |      14 |   576123 |    80052 |   159026      0 |     9005 |    15972
724.16/724.58	c  693s |      14 |   576385 |    80252 |   159026      0 |     9005 |    15972
727.65/728.04	c  696s |      14 |   576629 |    80452 |   159026      0 |     9005 |    15972
730.66/731.09	c  699s |      14 |   576885 |    80652 |   159026      0 |     9005 |    15972
733.56/733.94	c  702s |      14 |   577142 |    80852 |   159026      0 |     9005 |    15972
736.35/736.72	c  705s |      14 |   577412 |    81052 |   159026      0 |     9005 |    15972
738.75/739.16	c  707s |      14 |   577666 |    81252 |   159026      0 |     9005 |    15972
741.35/741.77	c  710s |      14 |   577921 |    81452 |   159026      0 |     9005 |    15972
744.25/744.61	c  713s |      14 |   578152 |    81652 |   159026      0 |     9005 |    15972
747.14/747.53	c  716s |      14 |   578409 |    81852 |   159026      0 |     9005 |    15972
749.96/750.35	c  718s |      14 |   578629 |    82052 |   159026      0 |     9005 |    15972
752.95/753.30	c  721s |      14 |   578984 |    82352 |   159026      0 |     9005 |    15972
755.15/755.57	c  724s |      14 |   579232 |    82552 |   159026      0 |     9005 |    15972
757.75/758.14	c  726s |      14 |   579444 |    82752 |   159026      0 |     9005 |    15972
760.04/760.44	c  728s |      14 |   579719 |    82952 |   159026      0 |     9005 |    15972
762.65/763.09	c  731s |      14 |   579951 |    83152 |   159026      0 |     9005 |    15972
764.75/765.15	c  733s |      14 |   580198 |    83352 |   159026      0 |     9005 |    15972
767.05/767.46	c  735s |      14 |   580449 |    83552 |   159026      0 |     9005 |    15972
769.55/769.95	c  738s |      14 |   580690 |    83752 |   159026      0 |     9005 |    15972
772.05/772.41	c  740s |      14 |   580929 |    83952 |   159026      0 |     9005 |    15972
774.25/774.61	c  743s |      14 |   581188 |    84152 |   159026      0 |     9005 |    15972
776.35/776.79	c  745s |      14 |   581443 |    84352 |   159026      0 |     9005 |    15972
778.94/779.31	c  747s |      14 |   581689 |    84552 |   159026      0 |     9005 |    15972
781.24/781.61	c  750s |      14 |   581929 |    84752 |   159026      0 |     9005 |    15972
783.54/783.92	c  752s |      14 |   582194 |    84952 |   159026      0 |     9005 |    15972
786.24/786.63	c  755s |      14 |   582433 |    85152 |   159026      0 |     9005 |    15972
788.94/789.33	c  757s |      14 |   582674 |    85352 |   159026      0 |     9005 |    15972
791.84/792.24	c  760s |      14 |   582927 |    85552 |   159026      0 |     9005 |    15972
794.24/794.67	c  763s |      14 |   583168 |    85752 |   159026      0 |     9005 |    15972
796.33/796.74	c  765s |      14 |   583431 |    85952 |   159026      0 |     9005 |    15972
799.04/799.44	c  767s |      14 |   583658 |    86152 |   159026      0 |     9005 |    15972
801.44/801.88	c  770s |      14 |   583892 |    86352 |   159026      0 |     9005 |    15972
804.43/804.85	c  773s |      14 |   584294 |    86652 |   159026      0 |     9005 |    15972
806.83/807.23	c  775s |      14 |   584545 |    86852 |   159026      0 |     9005 |    15972
808.93/809.31	c  777s |      14 |   584794 |    87052 |   174929      0 |     9005 |    15972
811.23/811.61	c  780s |      14 |   585037 |    87252 |   174929      0 |     9005 |    15972
813.63/814.09	c  782s |      14 |   585276 |    87452 |   174929      0 |     9005 |    15972
815.73/816.13	c  784s |      15 |   585482 |    87632 |   174929      0 |     9005 |    15972
821.82/822.23	c  790s |      15 |   617114 |    87732 |   174929      0 |     9005 |    15972
824.42/824.80	c  793s |      15 |   617561 |    88032 |   174929      0 |     9005 |    15972
826.83/827.26	c  795s |      15 |   617979 |    88332 |   174929      0 |     9005 |    15972
829.02/829.43	c  797s |      15 |   618381 |    88632 |   174929      0 |     9005 |    15972
831.43/831.88	c  800s |      15 |   618763 |    88932 |   174929      0 |     9005 |    15972
834.22/834.64	c  803s |      15 |   619173 |    89232 |   174929      0 |     9005 |    15972
837.02/837.41	c  805s |      15 |   619547 |    89532 |   174929      0 |     9005 |    15972
839.42/839.84	c  808s |      15 |   619794 |    89732 |   174929      0 |     9005 |    15972
842.33/842.73	c  811s |      15 |   620181 |    90032 |   174929      0 |     9005 |    15972
844.92/845.39	c  813s |      15 |   620557 |    90332 |   174929      0 |     9005 |    15972
847.01/847.43	c  815s |      15 |   621166 |    90732 |   174929      0 |     9005 |    15972
849.71/850.18	c  818s |      15 |   621661 |    91132 |   174929      0 |     9005 |    15972
852.41/852.86	c  821s |      15 |   622099 |    91432 |   174929      0 |     9005 |    15972
855.20/855.65	c  824s |      15 |   622508 |    91732 |   174929      0 |     9005 |    15972
857.72/858.13	c  826s |      15 |   622866 |    92032 |   174929      0 |     9005 |    15972
860.21/860.63	c  829s |      15 |   623397 |    92432 |   174929      0 |     9005 |    15972
862.61/863.09	c  831s |      15 |   623803 |    92732 |   174929      0 |     9005 |    15972
865.21/865.63	c  834s |      15 |   624208 |    93032 |   174929      0 |     9005 |    15972
868.10/868.51	c  836s |      15 |   624628 |    93332 |   174929      0 |     9005 |    15972
870.40/870.82	c  839s |      15 |   625035 |    93632 |   174929      0 |     9005 |    15972
872.81/873.21	c  841s |      15 |   625380 |    93932 |   174929      0 |     9005 |    15972
875.21/875.63	c  844s |      15 |   625768 |    94232 |   174929      0 |     9005 |    15972
877.20/877.69	c  846s |      15 |   626027 |    94432 |   174929      0 |     9005 |    15972
879.60/880.00	c  848s |      15 |   626297 |    94632 |   174929      0 |     9005 |    15972
882.20/882.67	c  851s |      15 |   626690 |    94932 |   174929      0 |     9005 |    15972
884.70/885.17	c  853s |      15 |   627067 |    95232 |   174929      0 |     9005 |    15972
886.90/887.32	c  855s |      15 |   627338 |    95432 |   174929      0 |     9005 |    15972
889.21/889.69	c  858s |      15 |   627771 |    95732 |   174929      0 |     9005 |    15972
891.91/892.36	c  860s |      15 |   628142 |    96032 |   174929      0 |     9005 |    15972
894.70/895.16	c  863s |      15 |   628662 |    96432 |   174929      0 |     9005 |    15972
896.89/897.34	c  865s |      15 |   629027 |    96732 |   174929      0 |     9005 |    15972
899.29/899.73	c  868s |      15 |   629413 |    97032 |   174929      0 |     9005 |    15972
901.90/902.31	c  870s |      15 |   629844 |    97332 |   174929      0 |     9005 |    15972
904.00/904.42	c  872s |      15 |   630275 |    97632 |   174929      0 |     9005 |    15972
906.10/906.58	c  875s |      15 |   630657 |    97932 |   174929      0 |     9005 |    15972
908.79/909.27	c  877s |      15 |   631022 |    98232 |   174929      0 |     9005 |    15972
911.09/911.52	c  879s |      15 |   631371 |    98532 |   174929      0 |     9005 |    15972
913.80/914.22	c  882s |      15 |   631866 |    98932 |   174929      0 |     9005 |    15972
915.80/916.27	c  884s |      15 |   632252 |    99232 |   174929      0 |     9005 |    15972
918.49/918.97	c  887s |      15 |   632680 |    99532 |   174929      0 |     9005 |    15972
920.99/921.49	c  889s |      15 |   632936 |    99732 |   174929      0 |     9005 |    15972
923.80/924.24	c  892s |      15 |   633313 |   100032 |   174929      0 |     9005 |    15972
926.49/926.96	c  895s |      15 |   633702 |   100332 |   174929      0 |     9005 |    15972
929.29/929.79	c  898s |      15 |   634095 |   100632 |   174929      0 |     9005 |    15972
931.78/932.22	c  900s |      15 |   634352 |   100832 |   174929      0 |     9005 |    15972
934.39/934.82	c  903s |      15 |   634779 |   101132 |   174929      0 |     9005 |    15972
937.09/937.51	c  905s |      15 |   635033 |   101332 |   174929      0 |     9005 |    15972
939.38/939.88	c  908s |      15 |   635434 |   101632 |   174929      0 |     9005 |    15972
941.58/942.01	c  910s |      15 |   635779 |   101932 |   174929      0 |     9005 |    15972
944.08/944.54	c  913s |      15 |   636189 |   102232 |   174929      0 |     9005 |    15972
946.18/946.60	c  915s |      15 |   636438 |   102432 |   174929      0 |     9005 |    15972
948.99/949.42	c  917s |      15 |   636831 |   102732 |   174929      0 |     9005 |    15972
952.18/952.68	c  921s |      15 |   637176 |   103032 |   174929      0 |     9005 |    15972
954.38/954.81	c  923s |      15 |   637398 |   103232 |   174929      0 |     9005 |    15972
957.28/957.73	c  926s |      15 |   637776 |   103532 |   174929      0 |     9005 |    15972
959.68/960.11	c  928s |      15 |   638027 |   103732 |   174929      0 |     9005 |    15972
961.78/962.23	c  930s |      15 |   638285 |   103932 |   174929      0 |     9005 |    15972
964.57/965.08	c  933s |      15 |   638636 |   104232 |   174929      0 |     9005 |    15972
967.28/967.70	c  936s |      15 |   638867 |   104432 |   174929      0 |     9005 |    15972
969.78/970.20	c  938s |      15 |   639123 |   104632 |   174929      0 |     9005 |    15972
972.38/972.80	c  941s |      15 |   639373 |   104832 |   174929      0 |     9005 |    15972
974.67/975.14	c  943s |      15 |   639613 |   105032 |   174929      0 |     9005 |    15972
976.97/977.44	c  945s |      15 |   639880 |   105232 |   174929      0 |     9005 |    15972
979.07/979.50	c  947s |      15 |   640115 |   105432 |   174929      0 |     9005 |    15972
981.47/981.90	c  950s |      15 |   640350 |   105632 |   174929      0 |     9005 |    15972
984.57/985.00	c  953s |      15 |   640599 |   105832 |   174929      0 |     9005 |    15972
986.77/987.20	c  955s |      15 |   640848 |   106032 |   174929      0 |     9005 |    15972
989.06/989.55	c  958s |      15 |   641103 |   106232 |   174929      0 |     9005 |    15972
991.97/992.48	c  960s |      15 |   641366 |   106432 |   174929      0 |     9005 |    15972
994.77/995.26	c  963s |      15 |   641602 |   106632 |   174929      0 |     9005 |    15972
997.17/997.61	c  966s |      15 |   641877 |   106832 |   174929      0 |     9005 |    15972
999.37/999.84	c  968s |      15 |   642152 |   107032 |   174929      0 |     9005 |    15972
1001.96/1002.46	c  970s |      15 |   642453 |   107232 |   174929      0 |     9005 |    15972
1004.36/1004.89	c  973s |      15 |   642715 |   107432 |   174929      0 |     9005 |    15972
1007.26/1007.79	c  976s |      15 |   642987 |   107632 |   174929      0 |     9005 |    15972
1009.36/1009.86	c  978s |      15 |   643237 |   107832 |   174929      0 |     9005 |    15972
1012.46/1012.90	c  981s |      15 |   643639 |   108132 |   174929      0 |     9005 |    15972
1015.06/1015.59	c  984s |      15 |   643900 |   108332 |   174929      0 |     9005 |    15972
1017.36/1017.87	c  986s |      15 |   644175 |   108532 |   174929      0 |     9005 |    15972
1020.06/1020.50	c  988s |      15 |   644439 |   108732 |   174929      0 |     9005 |    15972
1022.45/1022.90	c  991s |      15 |   644727 |   108932 |   174929      0 |     9005 |    15972
1024.96/1025.47	c  993s |      15 |   644980 |   109132 |   174929      0 |     9005 |    15972
1027.84/1028.34	c  996s |      15 |   645261 |   109332 |   174929      0 |     9005 |    15972
1030.64/1031.14	c  999s |      15 |   645536 |   109532 |   174929      0 |     9005 |    15972
1033.75/1034.21	c 1002s |      15 |   645773 |   109732 |   174929      0 |     9005 |    15972
1037.15/1037.68	c 1006s |      15 |   646157 |   110032 |   174929      0 |     9005 |    15972
1040.64/1041.10	c 1009s |      15 |   646417 |   110232 |   174929      0 |     9005 |    15972
1043.14/1043.61	c 1012s |      15 |   646684 |   110432 |   174929      0 |     9005 |    15972
1045.84/1046.31	c 1014s |      15 |   646962 |   110632 |   174929      0 |     9005 |    15972
1048.73/1049.26	c 1017s |      15 |   647183 |   110832 |   174929      0 |     9005 |    15972
1051.73/1052.20	c 1020s |      15 |   647417 |   111032 |   174929      0 |     9005 |    15972
1054.24/1054.70	c 1023s |      15 |   647673 |   111232 |   174929      0 |     9005 |    15972
1056.54/1057.06	c 1025s |      15 |   647897 |   111432 |   174929      0 |     9005 |    15972
1058.84/1059.38	c 1027s |      15 |   648175 |   111632 |   174929      0 |     9005 |    15972
1061.73/1062.20	c 1030s |      15 |   648416 |   111832 |   174929      0 |     9005 |    15972
1065.13/1065.63	c 1034s |      15 |   648670 |   112032 |   174929      0 |     9005 |    15972
1067.83/1068.38	c 1036s |      15 |   648945 |   112232 |   174929      0 |     9005 |    15972
1070.33/1070.85	c 1039s |      15 |   649178 |   112432 |   174929      0 |     9005 |    15972
1073.02/1073.55	c 1042s |      15 |   649442 |   112632 |   174929      0 |     9005 |    15972
1075.43/1075.94	c 1044s |      15 |   649707 |   112832 |   174929      0 |     9005 |    15972
1078.43/1078.95	c 1047s |      15 |   649952 |   113032 |   174929      0 |     9005 |    15972
1081.12/1081.69	c 1050s |      15 |   650220 |   113232 |   174929      0 |     9005 |    15972
1083.63/1084.11	c 1052s |      15 |   650467 |   113432 |   174929      0 |     9005 |    15972
1086.32/1086.81	c 1055s |      15 |   650759 |   113632 |   174929      0 |     9005 |    15972
1088.42/1088.91	c 1057s |      15 |   651038 |   113832 |   174929      0 |     9005 |    15972
1090.42/1090.98	c 1059s |      15 |   651328 |   114032 |   174929      0 |     9005 |    15972
1093.22/1093.79	c 1062s |      15 |   651744 |   114332 |   174929      0 |     9005 |    15972
1095.83/1096.32	c 1064s |      15 |   652181 |   114632 |   174929      0 |     9005 |    15972
1097.93/1098.40	c 1066s |      15 |   652417 |   114832 |   174929      0 |     9005 |    15972
1100.13/1100.63	c 1069s |      15 |   652689 |   115032 |   174929      0 |     9005 |    15972
1103.23/1103.79	c 1072s |      15 |   653100 |   115332 |   174929      0 |     9005 |    15972
1106.13/1106.68	c 1075s |      15 |   653500 |   115632 |   174929      0 |     9005 |    15972
1108.62/1109.14	c 1077s |      15 |   653768 |   115832 |   174929      0 |     9005 |    15972
1111.52/1112.06	c 1080s |      15 |   654197 |   116132 |   174929      0 |     9005 |    15972
1113.62/1114.11	c 1082s |      15 |   654437 |   116332 |   174929      0 |     9005 |    15972
1116.32/1116.88	c 1085s |      15 |   654875 |   116632 |   174929      0 |     9005 |    15972
1119.13/1119.68	c 1088s |      15 |   655294 |   116932 |   174929      0 |     9005 |    15972
1121.22/1121.70	c 1090s |      15 |   655547 |   117132 |   174929      0 |     9005 |    15972
1123.32/1123.86	c 1092s |      15 |   655784 |   117332 |   174929      0 |     9005 |    15972
1126.31/1126.88	c 1095s |      15 |   656167 |   117632 |   174929      0 |     9005 |    15972
1129.62/1130.19	c 1098s |      15 |   656532 |   117932 |   174929      0 |     9005 |    15972
1131.82/1132.39	c 1100s |      15 |   656788 |   118132 |   174929      0 |     9005 |    15972
1134.21/1134.73	c 1103s |      15 |   657055 |   118332 |   174929      0 |     9005 |    15972
1136.31/1136.84	c 1105s |      15 |   657312 |   118532 |   174929      0 |     9005 |    15972
1138.81/1139.31	c 1107s |      15 |   657538 |   118732 |   174929      0 |     9005 |    15972
1141.22/1141.73	c 1110s |      15 |   657789 |   118932 |   174929      0 |     9005 |    15972
1143.73/1144.22	c 1112s |      15 |   658015 |   119132 |   174929      0 |     9005 |    15972
1146.02/1146.55	c 1115s |      15 |   658287 |   119332 |   174929      0 |     9005 |    15972
1148.32/1148.81	c 1117s |      15 |   658517 |   119532 |   174929      0 |     9005 |    15972
1150.42/1150.94	c 1119s |      15 |   658817 |   119732 |   174929      0 |     9005 |    15972
1152.81/1153.37	c 1121s |      15 |   659082 |   119932 |   174929      0 |     9005 |    15972
1155.12/1155.65	c 1124s |      15 |   659350 |   120132 |   174929      0 |     9005 |    15972
1157.51/1158.05	c 1126s |      15 |   659602 |   120332 |   174929      0 |     9005 |    15972
1159.92/1160.47	c 1128s |      15 |   659867 |   120532 |   174929      0 |     9005 |    15972
1162.61/1163.19	c 1131s |      15 |   660121 |   120732 |   174929      0 |     9005 |    15972
1165.02/1165.53	c 1134s |      15 |   660361 |   120932 |   174929      0 |     9005 |    15972
1167.82/1168.31	c 1136s |      15 |   660611 |   121132 |   174929      0 |     9005 |    15972
1170.31/1170.87	c 1139s |      15 |   660858 |   121332 |   174929      0 |     9005 |    15972
1173.21/1173.76	c 1142s |      15 |   661087 |   121532 |   174929      0 |     9005 |    15972
1176.01/1176.50	c 1144s |      15 |   661324 |   121732 |   174929      0 |     9005 |    15972
1178.51/1179.08	c 1147s |      15 |   661578 |   121932 |   174929      0 |     9005 |    15972
1181.11/1181.68	c 1150s |      15 |   661821 |   122132 |   174929      0 |     9005 |    15972
1184.01/1184.51	c 1152s |      15 |   662086 |   122332 |   174929      0 |     9005 |    15972
1186.52/1187.06	c 1155s |      15 |   662333 |   122532 |   174929      0 |     9005 |    15972
1188.91/1189.48	c 1157s |      15 |   662576 |   122732 |   174929      0 |     9005 |    15972
1191.41/1191.94	c 1160s |      15 |   662797 |   122932 |   174929      0 |     9005 |    15972
1193.61/1194.10	c 1162s |      15 |   663030 |   123132 |   174929      0 |     9005 |    15972
1196.11/1196.68	c 1165s |      15 |   663263 |   123332 |   174929      0 |     9005 |    15972
1199.60/1200.20	c 1168s |      15 |   663495 |   123532 |   174929      0 |     9005 |    15972
1202.41/1202.91	c 1171s |      15 |   663745 |   123732 |   174929      0 |     9005 |    15972
1205.41/1205.93	c 1174s |      15 |   663990 |   123932 |   174929      0 |     9005 |    15972
1207.71/1208.20	c 1176s |      15 |   664265 |   124132 |   174929      0 |     9005 |    15972
1209.81/1210.34	c 1178s |      15 |   664512 |   124332 |   174929      0 |     9005 |    15972
1212.01/1212.53	c 1181s |      15 |   664781 |   124532 |   174929      0 |     9005 |    15972
1214.11/1214.67	c 1183s |      15 |   664998 |   124732 |   174929      0 |     9005 |    15972
1216.71/1217.21	c 1185s |      15 |   665239 |   124932 |   174929      0 |     9005 |    15972
1218.90/1219.49	c 1187s |      15 |   665472 |   125132 |   174929      0 |     9005 |    15972
1221.90/1222.43	c 1190s |      15 |   665857 |   125432 |   174929      0 |     9005 |    15972
1224.20/1224.77	c 1193s |      15 |   666092 |   125632 |   174929      0 |     9005 |    15972
1226.31/1226.90	c 1195s |      15 |   666346 |   125832 |   174929      0 |     9005 |    15972
1228.60/1229.12	c 1197s |      15 |   666571 |   126032 |   174929      0 |     9005 |    15972
1230.80/1231.39	c 1199s |      15 |   666814 |   126232 |   174929      0 |     9005 |    15972
1233.41/1233.96	c 1202s |      15 |   667036 |   126432 |   174929      0 |     9005 |    15972
1235.81/1236.30	c 1204s |      15 |   667253 |   126632 |   174929      0 |     9005 |    15972
1238.11/1238.69	c 1207s |      15 |   667542 |   126832 |   174929      0 |     9005 |    15972
1240.80/1241.33	c 1209s |      15 |   667792 |   127032 |   174929      0 |     9005 |    15972
1243.40/1243.90	c 1212s |      15 |   668063 |   127232 |   174929      0 |     9005 |    15972
1246.80/1247.33	c 1215s |      15 |   668296 |   127432 |   174929      0 |     9005 |    15972
1249.21/1249.71	c 1218s |      15 |   668549 |   127632 |   174929      0 |     9005 |    15972
1251.60/1252.15	c 1220s |      15 |   668791 |   127832 |   174929      0 |     9005 |    15972
1253.90/1254.49	c 1222s |      15 |   669057 |   128032 |   174929      0 |     9005 |    15972
1256.70/1257.20	c 1225s |      15 |   669303 |   128232 |   174929      0 |     9005 |    15972
1258.90/1259.45	c 1227s |      15 |   669546 |   128432 |   174929      0 |     9005 |    15972
1261.20/1261.78	c 1230s |      15 |   669784 |   128632 |   174929      0 |     9005 |    15972
1263.80/1264.34	c 1232s |      15 |   670037 |   128832 |   174929      0 |     9005 |    15972
1266.60/1267.16	c 1235s |      15 |   670279 |   129032 |   174929      0 |     9005 |    15972
1268.90/1269.45	c 1237s |      15 |   670555 |   129232 |   174929      0 |     9005 |    15972
1271.50/1272.03	c 1240s |      15 |   670801 |   129432 |   174929      0 |     9005 |    15972
1273.99/1274.55	c 1243s |      15 |   671046 |   129632 |   174929      0 |     9005 |    15972
1276.81/1277.30	c 1245s |      15 |   671303 |   129832 |   174929      0 |     9005 |    15972
1279.50/1280.03	c 1248s |      15 |   671555 |   130032 |   174929      0 |     9005 |    15972
1282.20/1282.75	c 1251s |      15 |   671776 |   130232 |   174929      0 |     9005 |    15972
1284.70/1285.27	c 1253s |      15 |   672017 |   130432 |   174929      0 |     9005 |    15972
1287.29/1287.84	c 1256s |      15 |   672239 |   130632 |   192422      0 |     9005 |    15972
1289.60/1290.15	c 1258s |      15 |   672487 |   130832 |   192422      0 |     9005 |    15972
1292.10/1292.70	c 1261s |      15 |   672750 |   131032 |   192422      0 |     9005 |    15972
1294.50/1295.04	c 1263s |      15 |   672989 |   131232 |   192422      0 |     9005 |    15972
1297.29/1297.84	c 1266s |      15 |   673272 |   131432 |   192422      0 |     9005 |    15972
1298.99/1299.59	c 1268s |      16 |   673417 |   131552 |   192422      0 |     9005 |    15972
1306.89/1307.40	c 1275s |      16 |   705104 |   131652 |   192422      0 |     9005 |    15972
1309.60/1310.19	c 1278s |      16 |   705371 |   131852 |   192422      0 |     9005 |    15972
1311.70/1312.26	c 1280s |      16 |   705669 |   132052 |   192422      0 |     9005 |    15972
1313.89/1314.45	c 1282s |      16 |   705923 |   132252 |   192422      0 |     9005 |    15972
1316.19/1316.77	c 1285s |      16 |   706196 |   132452 |   192422      0 |     9005 |    15972
1318.59/1319.15	c 1287s |      16 |   706474 |   132652 |   192422      0 |     9005 |    15972
1320.89/1321.45	c 1289s |      16 |   706753 |   132852 |   192422      0 |     9005 |    15972
1323.29/1323.81	c 1292s |      16 |   707003 |   133052 |   192422      0 |     9005 |    15972
1325.49/1326.02	c 1294s |      16 |   707314 |   133252 |   192422      0 |     9005 |    15972
1327.89/1328.42	c 1296s |      16 |   707561 |   133452 |   192422      0 |     9005 |    15972
1330.39/1330.92	c 1299s |      16 |   707828 |   133652 |   192422      0 |     9005 |    15972
1332.79/1333.36	c 1301s |      16 |   708085 |   133852 |   192422      0 |     9005 |    15972
1335.29/1335.82	c 1304s |      16 |   708356 |   134052 |   192422      0 |     9005 |    15972
1337.99/1338.58	c 1307s |      16 |   708634 |   134252 |   192422      0 |     9005 |    15972
1340.39/1340.98	c 1309s |      16 |   708916 |   134452 |   192422      0 |     9005 |    15972
1342.89/1343.41	c 1311s |      16 |   709202 |   134652 |   192422      0 |     9005 |    15972
1345.29/1345.80	c 1314s |      16 |   709485 |   134852 |   192422      0 |     9005 |    15972
1347.99/1348.51	c 1316s |      16 |   709735 |   135052 |   192422      0 |     9005 |    15972
1350.19/1350.71	c 1319s |      16 |   709997 |   135252 |   192422      0 |     9005 |    15972
1352.69/1353.28	c 1321s |      16 |   710250 |   135452 |   192422      0 |     9005 |    15972
1355.69/1356.25	c 1324s |      16 |   710487 |   135652 |   192422      0 |     9005 |    15972
1358.19/1358.79	c 1327s |      16 |   710727 |   135852 |   192422      0 |     9005 |    15972
1360.58/1361.11	c 1329s |      16 |   710988 |   136052 |   192422      0 |     9005 |    15972
1362.78/1363.36	c 1331s |      16 |   711263 |   136252 |   192422      0 |     9005 |    15972
1365.28/1365.80	c 1334s |      16 |   711508 |   136452 |   192422      0 |     9005 |    15972
1367.89/1368.41	c 1336s |      16 |   711762 |   136652 |   192422      0 |     9005 |    15972
1370.18/1370.76	c 1339s |      16 |   712000 |   136852 |   192422      0 |     9005 |    15972
1372.98/1373.55	c 1342s |      16 |   712293 |   137052 |   192422      0 |     9005 |    15972
1375.69/1376.21	c 1344s |      16 |   712574 |   137252 |   192422      0 |     9005 |    15972
1378.38/1378.90	c 1347s |      16 |   712814 |   137452 |   192422      0 |     9005 |    15972
1380.98/1381.55	c 1350s |      16 |   713078 |   137652 |   192422      0 |     9005 |    15972
1383.88/1384.49	c 1352s |      16 |   713343 |   137852 |   192422      0 |     9005 |    15972
1386.38/1386.93	c 1355s |      16 |   713608 |   138052 |   192422      0 |     9005 |    15972
1388.58/1389.19	c 1357s |      16 |   713893 |   138252 |   192422      0 |     9005 |    15972
1390.88/1391.48	c 1359s |      16 |   714144 |   138452 |   192422      0 |     9005 |    15972
1393.39/1393.92	c 1362s |      16 |   714386 |   138652 |   192422      0 |     9005 |    15972
1396.58/1397.14	c 1365s |      16 |   714663 |   138852 |   192422      0 |     9005 |    15972
1398.98/1399.53	c 1368s |      16 |   714907 |   139052 |   192422      0 |     9005 |    15972
1401.78/1402.34	c 1370s |      16 |   715171 |   139252 |   192422      0 |     9005 |    15972
1404.17/1404.78	c 1373s |      16 |   715411 |   139452 |   192422      0 |     9005 |    15972
1407.28/1407.83	c 1376s |      16 |   715704 |   139652 |   192422      0 |     9005 |    15972
1410.18/1410.75	c 1379s |      16 |   715971 |   139852 |   192422      0 |     9005 |    15972
1412.78/1413.39	c 1381s |      16 |   716224 |   140052 |   192422      0 |     9005 |    15972
1416.18/1416.73	c 1385s |      16 |   716462 |   140252 |   192422      0 |     9005 |    15972
1419.87/1420.49	c 1388s |      16 |   716876 |   140552 |   192422      0 |     9005 |    15972
1422.58/1423.10	c 1391s |      16 |   717118 |   140752 |   192422      0 |     9005 |    15972
1425.98/1426.58	c 1395s |      16 |   717356 |   140952 |   192422      0 |     9005 |    15972
1429.37/1429.93	c 1398s |      16 |   717611 |   141152 |   192422      0 |     9005 |    15972
1432.47/1433.07	c 1401s |      16 |   717860 |   141352 |   192422      0 |     9005 |    15972
1435.97/1436.57	c 1405s |      16 |   718107 |   141552 |   192422      0 |     9005 |    15972
1438.07/1438.68	c 1407s |      16 |   718229 |   141652 |   192422      0 |     9005 |    15972
1441.57/1442.10	c 1410s |      16 |   718471 |   141852 |   192422      0 |     9005 |    15972
1444.27/1444.86	c 1413s |      16 |   718728 |   142052 |   192422      0 |     9005 |    15972
1448.27/1448.83	c 1417s |      16 |   718980 |   142252 |   192422      0 |     9005 |    15972
1451.77/1452.37	c 1420s |      16 |   719233 |   142452 |   192422      0 |     9005 |    15972
1454.97/1455.58	c 1424s |      16 |   719470 |   142652 |   192422      0 |     9005 |    15972
1457.77/1458.32	c 1426s |      16 |   719717 |   142852 |   192422      0 |     9005 |    15972
1460.57/1461.17	c 1429s |      16 |   719963 |   143052 |   192422      0 |     9005 |    15972
1463.36/1463.92	c 1432s |      16 |   720222 |   143252 |   192422      0 |     9005 |    15972
1465.67/1466.24	c 1434s |      16 |   720462 |   143452 |   192422      0 |     9005 |    15972
1468.67/1469.28	c 1437s |      16 |   720702 |   143652 |   192422      0 |     9005 |    15972
1472.48/1473.09	c 1441s |      16 |   720944 |   143852 |   192422      0 |     9005 |    15972
1474.77/1475.36	c 1443s |      16 |   721066 |   143952 |   192422      0 |     9005 |    15972
1477.97/1478.60	c 1447s |      16 |   721308 |   144152 |   192422      0 |     9005 |    15972
1481.66/1482.22	c 1450s |      16 |   721591 |   144352 |   192422      0 |     9005 |    15972
1484.86/1485.47	c 1453s |      16 |   721818 |   144552 |   192422      0 |     9005 |    15972
1487.66/1488.26	c 1456s |      16 |   722076 |   144752 |   192422      0 |     9005 |    15972
1490.66/1491.27	c 1459s |      16 |   722322 |   144952 |   192422      0 |     9005 |    15972
1492.76/1493.30	c 1461s |      16 |   722435 |   145052 |   192422      0 |     9005 |    15972
1495.86/1496.42	c 1464s |      16 |   722701 |   145252 |   192422      0 |     9005 |    15972
1499.36/1499.91	c 1468s |      16 |   722961 |   145452 |   192422      0 |     9005 |    15972
1501.76/1502.33	c 1470s |      16 |   723225 |   145652 |   192422      0 |     9005 |    15972
1504.47/1505.09	c 1473s |      16 |   723462 |   145852 |   192422      0 |     9005 |    15972
1507.16/1507.74	c 1476s |      16 |   723690 |   146052 |   192422      0 |     9005 |    15972
1509.76/1510.34	c 1478s |      16 |   723912 |   146252 |   192422      0 |     9005 |    15972
1512.76/1513.31	c 1481s |      16 |   724148 |   146452 |   192422      0 |     9005 |    15972
1516.06/1516.66	c 1485s |      16 |   724388 |   146652 |   192422      0 |     9005 |    15972
1519.46/1520.01	c 1488s |      16 |   724618 |   146852 |   192422      0 |     9005 |    15972
1522.75/1523.35	c 1491s |      16 |   724881 |   147052 |   192422      0 |     9005 |    15972
1525.96/1526.56	c 1495s |      16 |   725164 |   147252 |   192422      0 |     9005 |    15972
1529.16/1529.79	c 1498s |      16 |   725411 |   147452 |   192422      0 |     9005 |    15972
1532.16/1532.78	c 1501s |      16 |   725651 |   147652 |   192422      0 |     9005 |    15972
1535.45/1536.08	c 1504s |      16 |   725901 |   147852 |   192422      0 |     9005 |    15972
1538.56/1539.12	c 1507s |      16 |   726195 |   148052 |   192422      0 |     9005 |    15972
1541.55/1542.19	c 1510s |      16 |   726458 |   148252 |   192422      0 |     9005 |    15972
1544.95/1545.60	c 1514s |      16 |   726679 |   148452 |   192422      0 |     9005 |    15972
1548.56/1549.10	c 1517s |      16 |   726909 |   148652 |   192422      0 |     9005 |    15972
1550.85/1551.42	c 1519s |      16 |   727032 |   148752 |   192422      0 |     9005 |    15972
1554.35/1554.94	c 1523s |      16 |   727272 |   148952 |   192422      0 |     9005 |    15972
1556.86/1557.44	c 1525s |      16 |   727586 |   149152 |   192422      0 |     9005 |    15972
1559.05/1559.60	c 1528s |      16 |   727828 |   149352 |   192422      0 |     9005 |    15972
1561.66/1562.25	c 1530s |      16 |   728068 |   149552 |   192422      0 |     9005 |    15972
1564.65/1565.29	c 1533s |      16 |   728347 |   149752 |   192422      0 |     9005 |    15972
1567.36/1567.94	c 1536s |      16 |   728576 |   149952 |   192422      0 |     9005 |    15972
1570.95/1571.58	c 1540s |      16 |   728807 |   150152 |   192422      0 |     9005 |    15972
1574.15/1574.70	c 1543s |      16 |   729089 |   150352 |   192422      0 |     9005 |    15972
1577.06/1577.65	c 1546s |      16 |   729338 |   150552 |   192422      0 |     9005 |    15972
1580.25/1580.82	c 1549s |      16 |   729625 |   150752 |   192422      0 |     9005 |    15972
1583.95/1584.56	c 1553s |      16 |   729864 |   150952 |   192422      0 |     9005 |    15972
1587.35/1587.91	c 1556s |      16 |   730127 |   151152 |   192422      0 |     9005 |    15972
1589.55/1590.16	c 1558s |      16 |   730231 |   151252 |   192422      0 |     9005 |    15972
1593.25/1593.89	c 1562s |      16 |   730503 |   151452 |   192422      0 |     9005 |    15972
1596.45/1597.06	c 1565s |      16 |   730744 |   151652 |   192422      0 |     9005 |    15972
1600.05/1600.70	c 1569s |      16 |   731007 |   151852 |   192422      0 |     9005 |    15972
1602.15/1602.70	c 1571s |      16 |   731128 |   151952 |   192422      0 |     9005 |    15972
1604.25/1604.85	c 1573s |      16 |   731243 |   152052 |   192422      0 |     9005 |    15972
1606.65/1607.27	c 1575s |      16 |   731367 |   152152 |   192422      0 |     9005 |    15972
1610.05/1610.66	c 1579s |      16 |   731590 |   152352 |   192422      0 |     9005 |    15972
1613.84/1614.48	c 1582s |      16 |   731829 |   152552 |   192422      0 |     9005 |    15972
1616.14/1616.75	c 1585s |      16 |   731939 |   152652 |   192422      0 |     9005 |    15972
1620.14/1620.71	c 1589s |      16 |   732161 |   152852 |   192422      0 |     9005 |    15972
1622.65/1623.22	c 1591s |      16 |   732281 |   152952 |   192422      0 |     9005 |    15972
1624.64/1625.23	c 1593s |      16 |   732399 |   153052 |   192422      0 |     9005 |    15972
1626.84/1627.49	c 1595s |      16 |   732512 |   153152 |   192422      0 |     9005 |    15972
1630.04/1630.65	c 1599s |      16 |   732786 |   153352 |   192422      0 |     9005 |    15972
1632.74/1633.38	c 1601s |      16 |   733049 |   153552 |   192422      0 |     9005 |    15972
1635.64/1636.26	c 1604s |      16 |   733286 |   153752 |   192422      0 |     9005 |    15972
1638.34/1638.92	c 1607s |      16 |   733551 |   153952 |   192422      0 |     9005 |    15972
1641.34/1641.91	c 1610s |      16 |   733787 |   154152 |   192422      0 |     9005 |    15972
1645.04/1645.68	c 1614s |      16 |   734032 |   154352 |   192422      0 |     9005 |    15972
1648.24/1648.86	c 1617s |      16 |   734269 |   154552 |   192422      0 |     9005 |    15972
1650.94/1651.51	c 1619s |      16 |   734527 |   154752 |   192422      0 |     9005 |    15972
1654.04/1654.65	c 1623s |      16 |   734788 |   154952 |   192422      0 |     9005 |    15972
1657.25/1657.86	c 1626s |      16 |   735071 |   155152 |   192422      0 |     9005 |    15972
1659.93/1660.59	c 1629s |      16 |   735323 |   155352 |   192422      0 |     9005 |    15972
1662.54/1663.13	c 1631s |      16 |   735571 |   155552 |   192422      0 |     9005 |    15972
1665.64/1666.26	c 1634s |      16 |   735824 |   155752 |   192422      0 |     9005 |    15972
1668.84/1669.47	c 1637s |      16 |   736047 |   155952 |   192422      0 |     9005 |    15972
1671.93/1672.50	c 1640s |      16 |   736274 |   156152 |   192422      0 |     9005 |    15972
1675.64/1676.25	c 1644s |      16 |   736500 |   156352 |   192422      0 |     9005 |    15972
1678.53/1679.18	c 1647s |      16 |   736761 |   156552 |   192422      0 |     9005 |    15972
1681.54/1682.13	c 1650s |      16 |   736994 |   156752 |   192422      0 |     9005 |    15972
1684.63/1685.28	c 1653s |      16 |   737258 |   156952 |   192422      0 |     9005 |    15972
1687.73/1688.34	c 1656s |      16 |   737553 |   157152 |   192422      0 |     9005 |    15972
1690.83/1691.40	c 1659s |      16 |   737776 |   157352 |   192422      0 |     9005 |    15972
1694.03/1694.61	c 1663s |      16 |   738032 |   157552 |   192422      0 |     9005 |    15972
1697.14/1697.77	c 1666s |      16 |   738279 |   157752 |   192422      0 |     9005 |    15972
1700.73/1701.31	c 1669s |      16 |   738503 |   157952 |   192422      0 |     9005 |    15972
1703.93/1704.50	c 1672s |      16 |   738760 |   158152 |   192422      0 |     9005 |    15972
1707.93/1708.50	c 1676s |      16 |   738983 |   158352 |   192422      0 |     9005 |    15972
1711.03/1711.68	c 1680s |      16 |   739231 |   158552 |   192422      0 |     9005 |    15972
1714.12/1714.73	c 1683s |      16 |   739474 |   158752 |   192422      0 |     9005 |    15972
1717.03/1717.60	c 1686s |      16 |   739716 |   158952 |   192422      0 |     9005 |    15972
1719.53/1720.10	c 1688s |      16 |   739965 |   159152 |   192422      0 |     9005 |    15972
1721.62/1722.27	c 1690s |      16 |   740258 |   159352 |   192422      0 |     9005 |    15972
1724.44/1725.06	c 1693s |      16 |   740505 |   159552 |   192422      0 |     9005 |    15972
1727.02/1727.64	c 1696s |      16 |   740735 |   159752 |   192422      0 |     9005 |    15972
1729.73/1730.36	c 1698s |      16 |   740976 |   159952 |   192422      0 |     9005 |    15972
1732.83/1733.43	c 1701s |      16 |   741196 |   160152 |   192422      0 |     9005 |    15972
1735.43/1736.02	c 1704s |      16 |   741432 |   160352 |   192422      0 |     9005 |    15972
1738.73/1739.34	c 1707s |      16 |   741666 |   160552 |   192422      0 |     9005 |    15972
1741.33/1741.99	c 1710s |      16 |   741906 |   160752 |   192422      0 |     9005 |    15972
1744.72/1745.31	c 1713s |      16 |   742143 |   160952 |   192422      0 |     9005 |    15972
1747.72/1748.34	c 1716s |      16 |   742388 |   161152 |   192422      0 |     9005 |    15972
1750.62/1751.29	c 1719s |      16 |   742627 |   161352 |   192422      0 |     9005 |    15972
1753.63/1754.27	c 1722s |      16 |   742856 |   161552 |   192422      0 |     9005 |    15972
1756.72/1757.30	c 1725s |      16 |   743114 |   161752 |   192422      0 |     9005 |    15972
1759.32/1759.94	c 1728s |      16 |   743383 |   161952 |   192422      0 |     9005 |    15972
1762.42/1763.01	c 1731s |      16 |   743606 |   162152 |   192422      0 |     9005 |    15972
1765.92/1766.50	c 1734s |      16 |   743824 |   162352 |   192422      0 |     9005 |    15972
1769.22/1769.88	c 1738s |      16 |   744056 |   162552 |   192422      0 |     9005 |    15972
1771.82/1772.42	c 1740s |      16 |   744307 |   162752 |   192422      0 |     9005 |    15972
1774.72/1775.38	c 1743s |      16 |   744546 |   162952 |   192422      0 |     9005 |    15972
1777.62/1778.28	c 1746s |      16 |   744779 |   163152 |   192422      0 |     9005 |    15972
1780.72/1781.32	c 1749s |      16 |   745021 |   163352 |   192422      0 |     9005 |    15972
1783.62/1784.28	c 1752s |      16 |   745273 |   163552 |   192422      0 |     9005 |    15972
1786.62/1787.29	c 1755s |      16 |   745532 |   163752 |   192422      0 |     9005 |    15972
1789.92/1790.56	c 1759s |      16 |   745754 |   163952 |   192422      0 |     9005 |    15972
1793.21/1793.87	c 1762s |      16 |   745967 |   164152 |   192422      0 |     9005 |    15972
1796.02/1796.64	c 1765s |      16 |   746206 |   164352 |   192422      0 |     9005 |    15972
1798.62/1799.23	c 1767s |      16 |   746448 |   164552 |   192422      0 |     9005 |    15972

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-4093092-1466077101/watcher-4093092-1466077101 -o /tmp/evaluation-result-4093092-1466077101/solver-4093092-1466077101 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466075286-21602 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093092-1466077101.wbo 

pid=21873
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.23 2.28 2.15 4/179 21876
/proc/meminfo: memFree=29246220/32872528 swapFree=1499116/1695340
[pid=21876] ppid=21873 vsize=513468 CPUtime=0 cores=0,2,4,6
/proc/21876/stat : 21876 (toysat) R 21873 21876 17390 0 -1 4202496 1880 0 0 0 0 0 0 0 20 0 4 0 9755881 525791232 2751 33554432000 4194304 16246674 140735553242960 140735553242384 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21876/statm: 129135 2761 441 2943 0 126029 0
[pid=21876/tid=21877] ppid=21873 vsize=530876 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9755881 543617024 2819 33554432000 4194304 16246674 140735553242960 140461089991920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=534972 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9755881 547811328 2835 33554432000 4194304 16246674 140735553242960 140461079502064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=540092 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9755881 553054208 2852 33554432000 4194304 16246674 140735553242960 140460999830704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.23 2.28 2.15 4/179 21876
/proc/meminfo: memFree=29246220/32872528 swapFree=1499116/1695340
[pid=21876] ppid=21873 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/21876/stat : 21876 (toysat) R 21873 21876 17390 0 -1 4202496 24804 0 0 0 6 3 0 0 20 0 4 0 9755881 1250496512 25615 33554432000 4194304 16246674 140735553242960 140735553242272 4206864 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21876/statm: 305297 25615 800 2943 0 302191 0
[pid=21876/tid=21877] ppid=21873 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9755881 1250496512 25615 33554432000 4194304 16246674 140735553242960 140461089991920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9755881 1250496512 25615 33554432000 4194304 16246674 140735553242960 140461079502064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9755881 1250496512 25615 33554432000 4194304 16246674 140735553242960 140460999830704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200513 s]
/proc/loadavg: 2.23 2.28 2.15 4/179 21876
/proc/meminfo: memFree=29246220/32872528 swapFree=1499116/1695340
[pid=21876] ppid=21873 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/21876/stat : 21876 (toysat) R 21873 21876 17390 0 -1 4202496 47062 0 0 0 13 6 0 0 20 0 4 0 9755881 1344868352 48384 33554432000 4194304 16246674 140735553242960 140735553242272 7364046 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21876/statm: 328337 48384 801 2943 0 325231 0
[pid=21876/tid=21877] ppid=21873 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9755881 1344868352 48384 33554432000 4194304 16246674 140735553242960 140461089991920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9755881 1344868352 48384 33554432000 4194304 16246674 140735553242960 140461079502064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9755881 1344868352 48384 33554432000 4194304 16246674 140735553242960 140460999830704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300471 s]
/proc/loadavg: 2.23 2.28 2.15 4/179 21876
/proc/meminfo: memFree=29246220/32872528 swapFree=1499116/1695340
[pid=21876] ppid=21873 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/21876/stat : 21876 (toysat) R 21873 21876 17390 0 -1 4202496 60811 0 0 0 21 8 0 0 20 0 4 0 9755881 1344868352 62133 33554432000 4194304 16246674 140735553242960 140735553242272 4220940 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21876/statm: 328337 62133 801 2943 0 325231 0
[pid=21876/tid=21877] ppid=21873 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9755881 1344868352 62133 33554432000 4194304 16246674 140735553242960 140461089991920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9755881 1344868352 62133 33554432000 4194304 16246674 140735553242960 140461079502064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9755881 1344868352 62133 33554432000 4194304 16246674 140735553242960 140460999830704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.70034 s]
/proc/loadavg: 2.23 2.28 2.15 4/179 21876
/proc/meminfo: memFree=29246220/32872528 swapFree=1499116/1695340
[pid=21876] ppid=21873 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/21876/stat : 21876 (toysat) R 21873 21876 17390 0 -1 4202496 65457 0 0 0 60 9 0 0 20 0 4 0 9755881 1344868352 66779 33554432000 4194304 16246674 140735553242960 140735553242272 6934279 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21876/statm: 328337 66779 822 2943 0 325231 0
[pid=21876/tid=21877] ppid=21873 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9755881 1344868352 66779 33554432000 4194304 16246674 140735553242960 140461089991920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9755881 1344868352 66779 33554432000 4194304 16246674 140735553242960 140461079502064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9755881 1344868352 66779 33554432000 4194304 16246674 140735553242960 140460999830704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50038 s]
/proc/loadavg: 2.29 2.29 2.15 4/183 21880
/proc/meminfo: memFree=28979876/32872528 swapFree=1499116/1695340
[pid=21876] ppid=21873 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/21876/stat : 21876 (toysat) R 21873 21876 17390 0 -1 4202496 93044 0 0 0 136 13 0 0 20 0 4 0 9755881 1344868352 94366 33554432000 4194304 16246674 140735553242960 140735553224832 12501877 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21876/statm: 328337 94369 834 2943 0 325231 0
[pid=21876/tid=21877] ppid=21873 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9755881 1344868352 94372 33554432000 4194304 16246674 140735553242960 140461089991920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9755881 1344868352 94378 33554432000 4194304 16246674 140735553242960 140461079502064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9755881 1344868352 94384 33554432000 4194304 16246674 140735553242960 140460999830704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.1004 s]
/proc/loadavg: 2.29 2.29 2.15 4/183 21880
/proc/meminfo: memFree=28504832/32872528 swapFree=1499116/1695340
[pid=21876] ppid=21873 vsize=1336900 CPUtime=3.09 cores=0,2,4,6
/proc/21876/stat : 21876 (toysat) R 21873 21876 17390 0 -1 4202496 274652 0 0 0 271 38 0 0 20 0 4 0 9755881 1368985600 275974 33554432000 4194304 16246674 140735553242960 140735553241624 6170999 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21876/statm: 334225 275974 834 2943 0 331119 0
[pid=21876/tid=21877] ppid=21873 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9755881 1368985600 275974 33554432000 4194304 16246674 140735553242960 140461089991920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9755881 1368985600 275974 33554432000 4194304 16246674 140735553242960 140461079502064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9755881 1368985600 275974 33554432000 4194304 16246674 140735553242960 140460999830704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1336900

[startup+6.30041 s]
/proc/loadavg: 2.29 2.29 2.15 3/183 21880
/proc/meminfo: memFree=28142124/32872528 swapFree=1499116/1695340
[pid=21876] ppid=21873 vsize=1336900 CPUtime=6.29 cores=0,2,4,6
/proc/21876/stat : 21876 (toysat) R 21873 21876 17390 0 -1 4202496 274841 0 0 0 591 38 0 0 20 0 4 0 9755881 1368985600 276163 33554432000 4194304 16246674 140735553242960 140735553224832 6132656 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21876/statm: 334225 276163 834 2943 0 331119 0
[pid=21876/tid=21877] ppid=21873 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9755881 1368985600 276163 33554432000 4194304 16246674 140735553242960 140461089991920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9755881 1368985600 276163 33554432000 4194304 16246674 140735553242960 140461079502064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9755881 1368985600 276163 33554432000 4194304 16246674 140735553242960 140460999830704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1336900

[startup+12.7004 s]
/proc/loadavg: 2.32 2.30 2.15 3/183 21880
/proc/meminfo: memFree=28142716/32872528 swapFree=1499116/1695340
[pid=21876] ppid=21873 vsize=1336900 CPUtime=12.68 cores=0,2,4,6
/proc/21876/stat : 21876 (toysat) R 21873 21876 17390 0 -1 4202496 274841 0 0 0 1230 38 0 0 20 0 4 0 9755881 1368985600 276163 33554432000 4194304 16246674 140735553242960 140735553224832 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21876/statm: 334225 276163 834 2943 0 331119 0
[pid=21876/tid=21877] ppid=21873 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9755881 1368985600 276163 33554432000 4194304 16246674 140735553242960 140461089991920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9755881 1368985600 276163 33554432000 4194304 16246674 140735553242960 140461079502064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9755881 1368985600 276163 33554432000 4194304 16246674 140735553242960 140460999830704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1336900

[startup+25.5072 s]
/proc/loadavg: 2.27 2.29 2.15 4/183 21929
/proc/meminfo: memFree=28974304/32872528 swapFree=1499116/1695340
[pid=21876] ppid=21873 vsize=1336900 CPUtime=25.49 cores=0,2,4,6
/proc/21876/stat : 21876 (toysat) R 21873 21876 17390 0 -1 4202496 274848 0 0 0 2511 38 0 0 20 0 4 0 9755881 1368985600 276170 33554432000 4194304 16246674 140735553242960 140735553224832 12481192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21876/statm: 334225 276170 840 2943 0 331119 0
[pid=21876/tid=21877] ppid=21873 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9755881 1368985600 276170 33554432000 4194304 16246674 140735553242960 140461089991920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9755881 1368985600 276170 33554432000 4194304 16246674 140735553242960 140461079502064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9755881 1368985600 276170 33554432000 4194304 16246674 140735553242960 140460999830704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1336900

[startup+51.1004 s]
/proc/loadavg: 2.24 2.28 2.15 3/183 21929
/proc/meminfo: memFree=28132764/32872528 swapFree=1499116/1695340
[pid=21876] ppid=21873 vsize=1344068 CPUtime=51.08 cores=0,2,4,6
/proc/21876/stat : 21876 (toysat) R 21873 21876 17390 0 -1 4202496 276736 0 0 0 5069 39 0 0 20 0 4 0 9755881 1376325632 278060 33554432000 4194304 16246674 140735553242960 140735553224832 6843269 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21876/statm: 336017 278060 935 2943 0 332911 0
[pid=21876/tid=21877] ppid=21873 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9755881 1376325632 278060 33554432000 4194304 16246674 140735553242960 140461089991920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9755881 1376325632 278060 33554432000 4194304 16246674 140735553242960 140461079502064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9755881 1376325632 278060 33554432000 4194304 16246674 140735553242960 140460999830704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.14 2.25 2.15 4/184 21934
/proc/meminfo: memFree=28119716/32872528 swapFree=1499116/1695340
[pid=21876] ppid=21873 vsize=1344068 CPUtime=102.26 cores=0,2,4,6
/proc/21876/stat : 21876 (toysat) R 21873 21876 17390 0 -1 4202496 276756 0 0 0 10185 41 0 0 20 0 4 0 9755881 1376325632 278064 33554432000 4194304 16246674 140735553242960 140735553224832 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21876/statm: 336017 278064 939 2943 0 332911 0
[pid=21876/tid=21877] ppid=21873 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9755881 1376325632 278064 33554432000 4194304 16246674 140735553242960 140461089991920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9755881 1376325632 278064 33554432000 4194304 16246674 140735553242960 140461079502064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9755881 1376325632 278064 33554432000 4194304 16246674 140735553242960 140460999830704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1344068


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

/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9755881 2183729152 474959 33554432000 4194304 16246674 140735553242960 140460999830704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 2132548

[startup+1362.3 s]
/proc/loadavg: 2.21 2.25 2.20 3/184 21988
/proc/meminfo: memFree=25802728/32872528 swapFree=1499116/1695340
[pid=21876] ppid=21873 vsize=2161220 CPUtime=1361.79 cores=0,2,4,6
/proc/21876/stat : 21876 (toysat) R 21873 21876 17390 0 -1 4202496 481422 0 0 0 136020 159 0 0 20 0 4 0 9755881 2213089280 482243 33554432000 4194304 16246674 140735553242960 140735553242136 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21876/statm: 540305 482243 941 2943 0 537199 0
[pid=21876/tid=21877] ppid=21873 vsize=2161220 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9755881 2213089280 482243 33554432000 4194304 16246674 140735553242960 140461089991920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=2161220 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9755881 2213089280 482243 33554432000 4194304 16246674 140735553242960 140461079502064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=2161220 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9755881 2213089280 482243 33554432000 4194304 16246674 140735553242960 140460999830704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 2161220

[startup+1422.3 s]
/proc/loadavg: 2.39 2.29 2.21 4/183 21989
/proc/meminfo: memFree=25612236/32872528 swapFree=1499120/1695344
[pid=21876] ppid=21873 vsize=2248260 CPUtime=1421.78 cores=0,2,4,6
/proc/21876/stat : 21876 (toysat) R 21873 21876 17390 0 -1 4202496 503083 0 0 0 142004 174 0 0 20 0 4 0 9755881 2302218240 503904 33554432000 4194304 16246674 140735553242960 140735553224832 5721725 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21876/statm: 562065 503904 941 2943 0 558959 0
[pid=21876/tid=21877] ppid=21873 vsize=2248260 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9755881 2302218240 503904 33554432000 4194304 16246674 140735553242960 140461089991920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=2248260 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9755881 2302218240 503904 33554432000 4194304 16246674 140735553242960 140461079502064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=2248260 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9755881 2302218240 503904 33554432000 4194304 16246674 140735553242960 140460999830704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 2248260

[startup+1482.3 s]
/proc/loadavg: 2.38 2.31 2.22 3/183 21990
/proc/meminfo: memFree=25476492/32872528 swapFree=1499116/1695340
[pid=21876] ppid=21873 vsize=2306628 CPUtime=1481.76 cores=0,2,4,6
/proc/21876/stat : 21876 (toysat) R 21873 21876 17390 0 -1 4202496 517788 0 0 0 147991 185 0 0 20 0 4 0 9755881 2361987072 518609 33554432000 4194304 16246674 140735553242960 140735553242136 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21876/statm: 576657 518609 941 2943 0 573551 0
[pid=21876/tid=21877] ppid=21873 vsize=2306628 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9755881 2361987072 518609 33554432000 4194304 16246674 140735553242960 140461089991920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=2306628 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9755881 2361987072 518609 33554432000 4194304 16246674 140735553242960 140461079502064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=2306628 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9755881 2361987072 518609 33554432000 4194304 16246674 140735553242960 140460999830704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 2306628

[startup+1542.3 s]
/proc/loadavg: 2.36 2.33 2.23 3/183 21991
/proc/meminfo: memFree=25320356/32872528 swapFree=1499116/1695340
[pid=21876] ppid=21873 vsize=2373188 CPUtime=1541.76 cores=0,2,4,6
/proc/21876/stat : 21876 (toysat) R 21873 21876 17390 0 -1 4202496 534342 0 0 0 153980 196 0 0 20 0 4 0 9755881 2430144512 535163 33554432000 4194304 16246674 140735553242960 140735553242056 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21876/statm: 593297 535163 941 2943 0 590191 0
[pid=21876/tid=21877] ppid=21873 vsize=2373188 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9755881 2430144512 535163 33554432000 4194304 16246674 140735553242960 140461089991920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=2373188 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9755881 2430144512 535163 33554432000 4194304 16246674 140735553242960 140461079502064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=2373188 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9755881 2430144512 535163 33554432000 4194304 16246674 140735553242960 140460999830704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 2373188

[startup+1602.3 s]
/proc/loadavg: 2.31 2.31 2.23 4/183 21993
/proc/meminfo: memFree=25157692/32872528 swapFree=1499116/1695340
[pid=21876] ppid=21873 vsize=2439748 CPUtime=1601.75 cores=0,2,4,6
/proc/21876/stat : 21876 (toysat) R 21873 21876 17390 0 -1 4202496 550965 0 0 0 159962 213 0 0 20 0 4 0 9755881 2498301952 551786 33554432000 4194304 16246674 140735553242960 140735553242056 5598492 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21876/statm: 609937 551786 941 2943 0 606831 0
[pid=21876/tid=21877] ppid=21873 vsize=2439748 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9755881 2498301952 551786 33554432000 4194304 16246674 140735553242960 140461089991920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=2439748 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9755881 2498301952 551786 33554432000 4194304 16246674 140735553242960 140461079502064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=2439748 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9755881 2498301952 551786 33554432000 4194304 16246674 140735553242960 140460999830704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 2439748

[startup+1662.31 s]
/proc/loadavg: 2.26 2.30 2.23 3/183 21994
/proc/meminfo: memFree=25040424/32872528 swapFree=1499116/1695340
[pid=21876] ppid=21873 vsize=2492996 CPUtime=1661.74 cores=0,2,4,6
/proc/21876/stat : 21876 (toysat) R 21873 21876 17390 0 -1 4202496 564309 0 0 0 165945 229 0 0 20 0 4 0 9755881 2552827904 565130 33554432000 4194304 16246674 140735553242960 140735553242136 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21876/statm: 623249 565130 941 2943 0 620143 0
[pid=21876/tid=21877] ppid=21873 vsize=2492996 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9755881 2552827904 565130 33554432000 4194304 16246674 140735553242960 140461089991920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=2492996 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9755881 2552827904 565130 33554432000 4194304 16246674 140735553242960 140461079502064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=2492996 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9755881 2552827904 565130 33554432000 4194304 16246674 140735553242960 140460999830704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 2492996

[startup+1722.3 s]
/proc/loadavg: 2.17 2.27 2.22 3/183 21995
/proc/meminfo: memFree=24897740/32872528 swapFree=1499116/1695340
[pid=21876] ppid=21873 vsize=2539076 CPUtime=1721.72 cores=0,2,4,6
/proc/21876/stat : 21876 (toysat) R 21873 21876 17390 0 -1 4202496 575793 0 0 0 171926 246 0 0 20 0 4 0 9755881 2600013824 576614 33554432000 4194304 16246674 140735553242960 140735553242136 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21876/statm: 634769 576614 941 2943 0 631663 0
[pid=21876/tid=21877] ppid=21873 vsize=2539076 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9755881 2600013824 576614 33554432000 4194304 16246674 140735553242960 140461089991920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=2539076 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9755881 2600013824 576614 33554432000 4194304 16246674 140735553242960 140461079502064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=2539076 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9755881 2600013824 576614 33554432000 4194304 16246674 140735553242960 140460999830704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 2539076

[startup+1782.3 s]
/proc/loadavg: 2.22 2.26 2.22 4/183 21996
/proc/meminfo: memFree=24730204/32872528 swapFree=1499116/1695340
[pid=21876] ppid=21873 vsize=2585156 CPUtime=1781.72 cores=0,2,4,6
/proc/21876/stat : 21876 (toysat) R 21873 21876 17390 0 -1 4202496 587429 0 0 0 177911 261 0 0 20 0 4 0 9755881 2647199744 588250 33554432000 4194304 16246674 140735553242960 140735553242136 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21876/statm: 646289 588250 941 2943 0 643183 0
[pid=21876/tid=21877] ppid=21873 vsize=2585156 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9755881 2647199744 588250 33554432000 4194304 16246674 140735553242960 140461089991920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=2585156 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9755881 2647199744 588250 33554432000 4194304 16246674 140735553242960 140461079502064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=2585156 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9755881 2647199744 588250 33554432000 4194304 16246674 140735553242960 140460999830704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 2585156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.24 2.26 2.22 3/183 21996
/proc/meminfo: memFree=24680076/32872528 swapFree=1499116/1695340
[pid=21876] ppid=21873 vsize=2609732 CPUtime=1800.01 cores=0,2,4,6
/proc/21876/stat : 21876 (toysat) R 21873 21876 17390 0 -1 4202496 593507 0 0 0 179735 266 0 0 20 0 4 0 9755881 2672365568 594328 33554432000 4194304 16246674 140735553242960 140735553242136 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21876/statm: 652433 594328 941 2943 0 649327 0
[pid=21876/tid=21877] ppid=21873 vsize=2609732 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9755881 2672365568 594328 33554432000 4194304 16246674 140735553242960 140461089991920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=2609732 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9755881 2672365568 594328 33554432000 4194304 16246674 140735553242960 140461079502064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=2609732 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9755881 2672365568 594328 33554432000 4194304 16246674 140735553242960 140460999830704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2609732

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

[startup+1800.6 s]
/proc/loadavg: 2.24 2.26 2.22 3/183 21996
/proc/meminfo: memFree=24680076/32872528 swapFree=1499116/1695340
[pid=21876] ppid=21873 vsize=2609732 CPUtime=1800.01 cores=0,2,4,6
/proc/21876/stat : 21876 (toysat) R 21873 21876 17390 0 -1 4202496 593507 0 0 0 179735 266 0 0 20 0 4 0 9755881 2672365568 594328 33554432000 4194304 16246674 140735553242960 140735553242136 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21876/statm: 652433 594328 941 2943 0 649327 0
[pid=21876/tid=21877] ppid=21873 vsize=2609732 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9755881 2672365568 594328 33554432000 4194304 16246674 140735553242960 140461089991920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=2609732 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9755881 2672365568 594328 33554432000 4194304 16246674 140735553242960 140461079502064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=2609732 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9755881 2672365568 594328 33554432000 4194304 16246674 140735553242960 140460999830704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2609732

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.65
CPU time (s): 1800.07
CPU user time (s): 1797.36
CPU system time (s): 2.70859
CPU usage (%): 99.9676
Max. virtual memory (cumulated for all children) (KiB): 2609732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.36
system time used= 2.70859
maximum resident set size= 2377312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 593507
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= 635
involuntary context switches= 1962

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.82611 second user time and 7.19591 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-16 13:38:21
IDJOB=4093092
IDBENCH=78644
IDSOLVER=2553
FILE ID=node137/4093092-1466077101
RUNJOBID= node137-1466075286-21602
PBS_JOBID= 19904003
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/normalized-j12013_1-unsat--soft-66-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093092-1466077101/watcher-4093092-1466077101 -o /tmp/evaluation-result-4093092-1466077101/solver-4093092-1466077101 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466075286-21602 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093092-1466077101.wbo

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

MD5SUM BENCH= d90996ead5d333f681473deac8f769b5
RANDOM SEED=389672213

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29246484 kB
Buffers:           19972 kB
Cached:           102532 kB
SwapCached:         2456 kB
Active:          1184800 kB
Inactive:          41820 kB
Active(anon):    1104536 kB
Inactive(anon):     1780 kB
Active(file):      80264 kB
Inactive(file):    40040 kB
Unevictable:     1695340 kB
Mlocked:         1499116 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:             37964 kB
Writeback:             0 kB
AnonPages:       2798328 kB
Mapped:            10496 kB
Shmem:                 0 kB
Slab:             568372 kB
SReclaimable:      11972 kB
SUnreclaim:       556400 kB
KernelStack:        1464 kB
PageTables:         9540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2941200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 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 node137 at 2016-06-16 14:08:22