Trace number 4079887

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx60.opb
MD5SUM26c9befa85d0a0769813e718015f6caa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark7.42287
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2994
Total number of constraints3433
Number of constraints which are clauses2988
Number of constraints which are cardinality constraints (but not clauses)61
Number of constraints which are nor clauses,nor cardinality constraints384
Minimum length of a constraint2
Maximum length of a constraint384
Number of terms in the objective function 6
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 757
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-07T04:22:48+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079887-1465266168.opb"]
0.00/0.01	c use --random-gen="880363859 1620705611 1100099736 883836344 730773395 1240843539 2019288990 444485234 1147201976 178922308 259607377 2666768107 1765284523 811251617 3689125774 2304818903 445675408 1919927846 1140936833 4171091964 1404367339 1402839919 1759870909 3954298272 1501076963 2906849136 2243392112 1558858053 1172998334 2930211736 4154729781 3301157184 2537991813 1517542437 539226309 1272717486 2649498792 433792216 4137083804 202363366 2661329186 4285522385 2976709996 3885054379 1651205327 359635350 973538729 645878927 116769619 1496718989 1639137378 1409828730 552038754 2388440074 3989531697 3376791535 2815059190 1193263249 446864421 1114880517 1417083936 1313374346 1793648387 2827564589 416315654 3927301480 3536061902 1671163585 1686459811 813449479 4165348733 2004837316 1347866321 503544275 3614187507 3923942107 3765108708 3495845094 177364578 3568304917 490173148 2603348609 555225552 3251259063 305619320 803026368 214102068 2249333061 4247815559 3629362191 2336200061 295743651 618504122 1845415169 3336240071 1718280180 1932026647 98180032 3447118721 1240003516 1874848911 89452713 3456847694 921370179 2261489459 2645269079 2178990912 3565391529 3629483340 1452098744 2407569292 2156115054 3759460151 3923876869 2959747250 2330493248 2363559006 670824262 3065095706 1816737757 2085033801 189575461 2201988730 1978823906 1982893320 3425506162 372648869 3080417639 1747430700 2919064752 3765323196 892239523 1388536851 2559332879 3934336042 2878937989 3822529151 3505063283 1350457445 1847495093 1415727260 1050840694 747661758 1859900236 564889633 2001209391 838471612 4038664305 2697344306 3108269711 3944542954 3543309935 1809021169 3509132083 2127799972 841221937 888828631 2634518213 2833362505 4131085794 840715870 169151029 3493122709 609854777 3780019746 3398345205 4105802897 2634356271 3190538224 431655957 2111390422 4088747602 1960858770 2664257377 2104999090 935368929 1539473177 2689134768 1371532436 3023359009 1603998507 3357182891 2961962093 1587571012 2320491324 3476827856 3717489595 1171294007 182825015 947967377 3391251080 95117997 88820281 2576153585 1095925847 1045679069 2610222854 3056758274 4093311825 1015777806 727910178 3588559045 2234905954 3182893275 627672543 3329461908 1367060619 3743954193 1509704521 4029943813 2540770798 1377407524 1051364480 2615100550 2232567014 3501826252 141231153 335356413 1584346122 2477017990 3537669660 497705479 1003440790 3069594862 597722408 2005614119 758807652 2005221507 869988721 4159661297 3412251946 2323479419 1682170685 1123956727 845210109 1903263778 3287419605 193952219 1059885419 2023663633 2593297087 691929801 487028262 4245428098 3939396113 1404325084 2587441168 980792488 359499064 2860198109 1530417360 854996551 50585792 1597760759 277061917 3988795095 255 362436" option to reproduce the execution
0.00/0.08	c #vars 2994
0.00/0.08	c #constraints 3433
0.19/0.20	c BCD2: Hardening is enabled.
0.19/0.20	c BCD2: BiasedSearch is enabled.
0.19/0.20	c Solving starts ...
0.19/0.20	c ============================[ Search Statistics ]============================
0.19/0.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.20	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.20	c =============================================================================
0.19/0.20	c  0.0s |       0 |        0 |        0 |     2162      0 |        6 |        0
0.19/0.28	c  0.1s |       1 |      136 |      100 |     2162      0 |        6 |     2988
0.39/0.42	c  0.2s |       2 |      642 |      250 |     2379      0 |        6 |     2988
0.69/0.74	c  0.5s |       3 |     1106 |      475 |     2617      0 |        6 |     2988
1.20/1.23	c  1.0s |       4 |     1946 |      813 |     2879      0 |        6 |     2988
1.99/2.00	c  1.8s |       5 |     3033 |     1320 |     3167      0 |        6 |     2988
3.79/3.80	c  3.6s |       6 |     4890 |     2081 |     3833      0 |        6 |     2988
5.09/5.17	c  5.0s |       7 |     8069 |     3223 |     4217      0 |        6 |     2988
7.19/7.29	c  7.1s |       7 |    13020 |     4623 |     4217      0 |        6 |     2988
7.80/7.83	c  7.6s |       8 |    13392 |     4936 |     4639      0 |        6 |     2988
9.79/9.86	c  9.7s |       8 |    15639 |     6236 |     4639      1 |        6 |     2988
11.89/11.90	c 11.7s |       8 |    16681 |     7136 |     4639      1 |        6 |     2988
12.99/13.01	c 12.8s |       9 |    17194 |     7506 |     5103      1 |        6 |     2988
15.09/15.17	c 15.0s |       9 |    20507 |     9306 |     5103      2 |        6 |     2988
17.19/17.26	c 17.1s |       9 |    21669 |    10306 |     5103      2 |        6 |     2988
19.28/19.34	c 19.1s |       9 |    22699 |    11206 |     5103      2 |        6 |     2988
19.68/19.77	c 19.6s |      10 |    22865 |    11361 |     5614      2 |        6 |     2988
22.18/22.25	c 22.0s |      10 |    35147 |    12461 |     5614      3 |        6 |     2988
24.58/24.70	c 24.5s |      10 |    35578 |    12861 |     5614      3 |        6 |     2988
26.99/27.02	c 26.8s |      10 |    36171 |    13361 |     5614      3 |        6 |     2988
29.29/29.31	c 29.1s |      10 |    36519 |    13661 |     5614      3 |        6 |     2988
31.39/31.47	c 31.3s |      10 |    37068 |    14061 |     5614      3 |        6 |     2988
33.89/33.93	c 33.7s |      10 |    37400 |    14361 |     5614      3 |        6 |     2988
35.88/35.99	c 35.8s |      10 |    37710 |    14661 |     5614      3 |        6 |     2988
38.18/38.22	c 38.0s |      10 |    38234 |    15061 |     5614      3 |        6 |     2988
40.58/40.63	c 40.4s |      10 |    38957 |    15661 |     5614      3 |        6 |     2988
42.58/42.63	c 42.4s |      10 |    39365 |    16061 |     5614      3 |        6 |     2988
45.09/45.18	c 45.0s |      10 |    39817 |    16461 |     5614      4 |        6 |     2988
47.68/47.79	c 47.6s |      10 |    40236 |    16861 |     5614      4 |        6 |     2988
49.49/49.59	c 49.4s |      11 |    40558 |    17144 |     6176      4 |        6 |     2988
51.59/51.68	c 51.5s |      11 |    43651 |    18344 |     6176      4 |        6 |     2988
53.78/53.86	c 53.7s |      11 |    45062 |    19444 |     6176      4 |        6 |     2988
55.98/56.00	c 55.8s |      11 |    46172 |    20344 |     6176      5 |        6 |     2988
58.18/58.22	c 58.0s |      11 |    47347 |    21344 |     6176      5 |        6 |     2988
60.28/60.34	c 60.1s |      11 |    48354 |    22244 |     6176      5 |        6 |     2988
62.28/62.39	c 62.2s |      11 |    49356 |    23144 |     6176      5 |        6 |     2988
64.48/64.55	c 64.4s |      11 |    50320 |    24044 |     6176      5 |        6 |     2988
66.68/66.79	c 66.6s |      11 |    51346 |    24944 |     6176      6 |        6 |     2988
68.38/68.41	c 68.2s |      12 |    52319 |    25819 |     6794      6 |        6 |     2988
70.48/70.55	c 70.4s |      12 |    55597 |    27419 |     6794      6 |        6 |     2988
72.48/72.59	c 72.4s |      12 |    57154 |    28519 |     6794      6 |        6 |     2988
74.58/74.66	c 74.5s |      12 |    59016 |    29419 |     6794      7 |        6 |     2988
76.68/76.75	c 76.5s |      12 |    64024 |    30319 |     6794      7 |        6 |     2988
78.88/78.92	c 78.7s |      12 |    67969 |    31219 |     6794      7 |        6 |     2988
80.97/81.06	c 80.9s |      12 |    71450 |    32119 |     6794      7 |        6 |     2988
83.17/83.22	c 83.0s |      12 |    74477 |    32919 |     6794      8 |        6 |     2988
85.37/85.44	c 85.2s |      12 |    79485 |    33719 |     6794      8 |        6 |     2988
87.47/87.51	c 87.3s |      12 |    81906 |    34419 |     6794      8 |        6 |     2988
89.67/89.77	c 89.6s |      12 |    83231 |    35219 |     6794      8 |        6 |     2988
91.67/91.78	c 91.6s |      12 |    84467 |    35919 |     6794      8 |        6 |     2988
93.87/93.96	c 93.8s |      12 |    85402 |    36619 |     6794      9 |        6 |     2988
96.07/96.11	c 95.9s |      12 |    87567 |    37819 |     6794      9 |        6 |     2988
98.07/98.10	c 97.9s |      13 |    89833 |    38832 |     7474      9 |        6 |     2988
100.07/100.10	c 99.9s |      13 |    92483 |    39832 |     7474      9 |        6 |     2988
102.27/102.31	c  102s |      13 |    94258 |    40932 |     7474      9 |        6 |     2988
104.47/104.54	c  104s |      13 |    95768 |    41832 |     7474     10 |        6 |     2988
106.57/106.66	c  106s |      13 |    97034 |    42532 |     7474     10 |        6 |     2988
108.66/108.77	c  108s |      13 |    98849 |    43332 |     7474     10 |        6 |     2988
110.76/110.89	c  110s |      13 |   100267 |    44132 |     7474     10 |        6 |     2988
112.97/113.08	c  112s |      13 |   101712 |    44932 |     7474     10 |        6 |     2988
115.17/115.29	c  115s |      13 |   103066 |    45832 |     7474     10 |        6 |     2988
117.27/117.38	c  117s |      13 |   104097 |    46532 |     7474     11 |        6 |     2988
119.36/119.43	c  119s |      13 |   105385 |    47332 |     7474     11 |        6 |     2988
121.56/121.64	c  121s |      13 |   107018 |    48132 |     7474     11 |        6 |     2988
123.86/123.98	c  123s |      13 |   108035 |    48832 |     7474     11 |        6 |     2988
126.16/126.20	c  126s |      13 |   109043 |    49532 |     7474     11 |        6 |     2988
128.36/128.42	c  128s |      13 |   109941 |    50132 |     7474     11 |        6 |     2988
130.46/130.57	c  130s |      13 |   110723 |    50732 |     7474     11 |        6 |     2988
132.76/132.89	c  132s |      13 |   111542 |    51332 |     7474     12 |        6 |     2988
135.16/135.21	c  135s |      13 |   112692 |    52032 |     7474     12 |        6 |     2988
137.36/137.46	c  137s |      13 |   113715 |    52732 |     7474     12 |        6 |     2988
139.35/139.47	c  139s |      13 |   114351 |    53232 |     7474     12 |        6 |     2988
141.55/141.63	c  141s |      13 |   115729 |    53832 |     7474     12 |        6 |     2988
143.55/143.65	c  143s |      13 |   117043 |    54432 |     7474     12 |        6 |     2988
145.65/145.78	c  145s |      13 |   118228 |    55132 |     7474     12 |        6 |     2988
148.05/148.10	c  147s |      13 |   119516 |    55832 |     7474     13 |        6 |     2988
150.25/150.33	c  150s |      13 |   121067 |    56732 |     7474     13 |        6 |     2988
152.45/152.50	c  152s |      13 |   122943 |    57632 |     7474     13 |        6 |     2988
154.45/154.59	c  154s |      13 |   124346 |    58332 |     8222     13 |        6 |     2988
154.55/154.64	c  154s |      14 |   124363 |    58352 |     8222     13 |        6 |     2988
156.76/156.81	c  156s |      14 |   128283 |    59652 |     8222     14 |        6 |     2988
158.75/158.83	c  158s |      14 |   129705 |    60852 |     8222     14 |        6 |     2988
160.85/160.95	c  160s |      14 |   130983 |    61652 |     8222     14 |        6 |     2988
163.25/163.37	c  163s |      14 |   132241 |    62352 |     8222     14 |        6 |     2988
165.45/165.52	c  165s |      14 |   134178 |    63652 |     8222     14 |        6 |     2988
167.65/167.79	c  167s |      14 |   135026 |    64352 |     8222     14 |        6 |     2988
169.75/169.87	c  169s |      14 |   140319 |    65152 |     8222     15 |        6 |     2988
171.95/172.01	c  171s |      14 |   142670 |    66052 |     8222     15 |        6 |     2988
173.95/174.02	c  173s |      14 |   145265 |    66752 |     8222     15 |        6 |     2988
176.06/176.15	c  175s |      14 |   147681 |    67252 |     8222     15 |        6 |     2988
178.45/178.56	c  178s |      14 |   149671 |    67952 |     8222     15 |        6 |     2988
180.55/180.60	c  180s |      14 |   151192 |    68652 |     8222     15 |        6 |     2988
182.74/182.84	c  182s |      14 |   153372 |    69752 |     8222     16 |        6 |     2988
184.85/184.99	c  184s |      14 |   155212 |    70652 |     8222     16 |        6 |     2988
186.95/187.10	c  186s |      14 |   157542 |    71352 |     8222     16 |        6 |     2988
189.15/189.22	c  189s |      14 |   160378 |    72252 |     8222     16 |        6 |     2988
191.24/191.34	c  191s |      14 |   162352 |    72952 |     8222     16 |        6 |     2988
193.54/193.64	c  193s |      14 |   163812 |    73752 |     8222     17 |        6 |     2988
195.74/195.88	c  195s |      14 |   166306 |    74652 |     8222     17 |        6 |     2988
198.04/198.15	c  197s |      14 |   169299 |    75452 |     8222     17 |        6 |     2988
200.33/200.49	c  200s |      14 |   170588 |    76152 |     8222     17 |        6 |     2988
202.73/202.84	c  202s |      14 |   172301 |    76852 |     8222     17 |        6 |     2988
204.93/205.05	c  204s |      14 |   173336 |    77452 |     8222     17 |        6 |     2988
207.33/207.42	c  207s |      14 |   175161 |    78152 |     8222     18 |        6 |     2988
209.43/209.50	c  209s |      14 |   176880 |    79052 |     8222     18 |        6 |     2988
211.44/211.51	c  211s |      14 |   178549 |    79952 |     8222     18 |        6 |     2988
213.64/213.79	c  213s |      14 |   180990 |    80852 |     8222     18 |        6 |     2988
215.94/216.01	c  215s |      14 |   183069 |    81352 |     8222     18 |        6 |     2988
218.04/218.19	c  217s |      14 |   184887 |    82352 |     8222     18 |        6 |     2988
220.14/220.25	c  220s |      14 |   186316 |    83152 |     8222     19 |        6 |     2988
222.54/222.60	c  222s |      14 |   188026 |    83952 |     8222     19 |        6 |     2988
224.53/224.62	c  224s |      14 |   188753 |    84452 |     8222     19 |        6 |     2988
226.93/227.05	c  226s |      14 |   189535 |    85052 |     8222     19 |        6 |     2988
229.13/229.24	c  229s |      14 |   190209 |    85552 |     8222     19 |        6 |     2988
231.23/231.30	c  231s |      14 |   190825 |    86052 |     8222     19 |        6 |     2988
233.33/233.49	c  233s |      14 |   191579 |    86652 |     8222     19 |        6 |     2988
235.63/235.78	c  235s |      14 |   195231 |    87252 |     9045     19 |        6 |     2988
238.03/238.14	c  237s |      15 |   195930 |    87632 |     9045     19 |        6 |     2988
240.13/240.25	c  240s |      15 |   200483 |    88132 |     9045     20 |        6 |     2988
242.43/242.55	c  242s |      15 |   201033 |    88632 |     9045     20 |        6 |     2988
244.83/244.97	c  244s |      15 |   201469 |    89032 |     9045     20 |        6 |     2988
247.53/247.69	c  247s |      15 |   201898 |    89432 |     9045     20 |        6 |     2988
249.73/249.82	c  249s |      15 |   205433 |    89932 |     9045     20 |        6 |     2988
252.22/252.30	c  252s |      15 |   208078 |    90632 |     9045     20 |        6 |     2988
254.52/254.60	c  254s |      15 |   208872 |    91032 |     9045     20 |        6 |     2988
256.82/256.97	c  256s |      15 |   209943 |    91532 |     9045     20 |        6 |     2988
259.02/259.14	c  258s |      15 |   210492 |    91932 |     9045     20 |        6 |     2988
261.22/261.32	c  261s |      15 |   210930 |    92332 |     9045     20 |        6 |     2988
263.32/263.47	c  263s |      15 |   211446 |    92732 |     9045     20 |        6 |     2988
265.41/265.57	c  265s |      15 |   211925 |    93132 |     9045     20 |        6 |     2988
267.61/267.71	c  267s |      15 |   212387 |    93532 |     9045     20 |        6 |     2988
269.91/270.02	c  269s |      15 |   212888 |    93932 |     9045     20 |        6 |     2988
272.61/272.79	c  272s |      15 |   213369 |    94332 |     9045     21 |        6 |     2988
275.03/275.14	c  274s |      15 |   213823 |    94732 |     9045     21 |        6 |     2988
277.62/277.71	c  277s |      15 |   214350 |    95132 |     9045     21 |        6 |     2988
280.12/280.26	c  280s |      15 |   214834 |    95532 |     9045     21 |        6 |     2988
282.22/282.37	c  282s |      15 |   215168 |    95832 |     9045     21 |        6 |     2988
284.42/284.50	c  284s |      15 |   215542 |    96132 |     9045     21 |        6 |     2988
286.42/286.57	c  286s |      15 |   215885 |    96432 |     9045     21 |        6 |     2988
289.11/289.22	c  289s |      15 |   216377 |    96832 |     9045     21 |        6 |     2988
291.71/291.86	c  291s |      15 |   216845 |    97232 |     9045     21 |        6 |     2988
293.91/294.07	c  293s |      15 |   217204 |    97532 |     9045     21 |        6 |     2988
296.01/296.14	c  295s |      15 |   217529 |    97832 |     9045     21 |        6 |     2988
298.11/298.22	c  298s |      15 |   217869 |    98132 |     9045     21 |        6 |     2988
300.21/300.34	c  300s |      15 |   218200 |    98432 |     9045     21 |        6 |     2988
302.41/302.53	c  302s |      15 |   218532 |    98732 |     9045     21 |        6 |     2988
304.81/304.99	c  304s |      15 |   218951 |    99132 |     9045     21 |        6 |     2988
307.50/307.62	c  307s |      15 |   219379 |    99532 |     9045     21 |        6 |     2988
309.90/310.06	c  309s |      15 |   219720 |    99832 |     9045     22 |        6 |     2988
312.20/312.32	c  312s |      15 |   220207 |   100232 |     9045     22 |        6 |     2988
314.80/314.96	c  314s |      15 |   220619 |   100632 |     9045     22 |        6 |     2988
317.20/317.38	c  317s |      15 |   221049 |   101032 |     9045     22 |        6 |     2988
319.29/319.40	c  319s |      15 |   221376 |   101332 |     9045     22 |        6 |     2988
321.69/321.83	c  321s |      15 |   221808 |   101732 |     9045     22 |        6 |     2988
324.29/324.42	c  324s |      15 |   222253 |   102132 |     9045     22 |        6 |     2988
326.29/326.48	c  326s |      15 |   222586 |   102432 |     9045     22 |        6 |     2988
328.49/328.62	c  328s |      15 |   222940 |   102732 |     9045     22 |        6 |     2988
330.69/330.84	c  330s |      15 |   223263 |   103032 |     9045     22 |        6 |     2988
333.19/333.37	c  333s |      15 |   223685 |   103432 |     9045     22 |        6 |     2988
335.68/335.81	c  335s |      15 |   224004 |   103732 |     9045     22 |        6 |     2988
337.78/337.98	c  337s |      15 |   224331 |   104032 |     9045     22 |        6 |     2988
340.19/340.30	c  340s |      15 |   224784 |   104432 |     9045     22 |        6 |     2988
342.78/342.93	c  342s |      15 |   225239 |   104832 |     9045     22 |        6 |     2988
345.08/345.29	c  345s |      15 |   225714 |   105232 |     9045     22 |        6 |     2988
347.68/347.82	c  347s |      15 |   226042 |   105532 |     9045     23 |        6 |     2988
350.08/350.23	c  350s |      15 |   226698 |   105932 |     9045     23 |        6 |     2988
352.48/352.63	c  352s |      15 |   227144 |   106332 |     9045     23 |        6 |     2988
354.88/355.02	c  354s |      15 |   227613 |   106732 |     9045     23 |        6 |     2988
356.98/357.16	c  356s |      15 |   227952 |   107032 |     9045     23 |        6 |     2988
359.18/359.35	c  359s |      15 |   228280 |   107332 |     9045     23 |        6 |     2988
361.78/361.90	c  361s |      15 |   228732 |   107732 |     9045     23 |        6 |     2988
364.27/364.40	c  364s |      15 |   229171 |   108132 |     9045     23 |        6 |     2988
366.77/366.99	c  366s |      15 |   229594 |   108532 |     9045     23 |        6 |     2988
369.27/369.48	c  369s |      15 |   230061 |   108932 |     9045     23 |        6 |     2988
371.38/371.51	c  371s |      15 |   230401 |   109232 |     9045     23 |        6 |     2988
373.38/373.58	c  373s |      15 |   230743 |   109532 |     9045     23 |        6 |     2988
375.58/375.71	c  375s |      15 |   231078 |   109832 |     9045     23 |        6 |     2988
377.67/377.88	c  377s |      15 |   231416 |   110132 |     9045     23 |        6 |     2988
379.97/380.10	c  379s |      15 |   231786 |   110432 |     9045     23 |        6 |     2988
382.17/382.31	c  382s |      15 |   232153 |   110732 |     9045     23 |        6 |     2988
384.27/384.43	c  384s |      15 |   232372 |   110932 |     9045     24 |        6 |     2988
386.27/386.49	c  386s |      15 |   232742 |   111232 |     9045     24 |        6 |     2988
389.07/389.20	c  389s |      15 |   233070 |   111532 |     9045     24 |        6 |     2988
391.67/391.88	c  391s |      15 |   233419 |   111832 |     9045     24 |        6 |     2988
394.27/394.45	c  394s |      15 |   233899 |   112232 |     9045     24 |        6 |     2988
396.67/396.82	c  396s |      15 |   234368 |   112632 |     9045     24 |        6 |     2988
398.97/399.11	c  398s |      15 |   234825 |   113032 |     9045     24 |        6 |     2988
401.27/401.47	c  401s |      15 |   235277 |   113432 |     9045     24 |        6 |     2988
403.67/403.88	c  403s |      15 |   235718 |   113832 |     9045     24 |        6 |     2988
406.26/406.50	c  406s |      15 |   236153 |   114232 |     9045     24 |        6 |     2988
408.96/409.13	c  408s |      15 |   236634 |   114632 |     9045     24 |        6 |     2988
411.57/411.77	c  411s |      15 |   237075 |   115032 |     9045     24 |        6 |     2988
413.57/413.77	c  413s |      15 |   237409 |   115332 |     9045     24 |        6 |     2988
416.16/416.33	c  416s |      15 |   237865 |   115732 |     9045     24 |        6 |     2988
418.86/419.04	c  418s |      15 |   238341 |   116132 |     9045     24 |        6 |     2988
420.86/421.09	c  420s |      15 |   238674 |   116432 |     9045     24 |        6 |     2988
423.46/423.65	c  423s |      15 |   238992 |   116732 |     9045     25 |        6 |     2988
426.05/426.20	c  425s |      15 |   239467 |   117132 |     9045     25 |        6 |     2988
428.36/428.58	c  428s |      15 |   239912 |   117532 |     9045     25 |        6 |     2988
430.95/431.10	c  430s |      15 |   240383 |   117932 |     9045     25 |        6 |     2988
433.45/433.65	c  433s |      15 |   240933 |   118332 |     9045     25 |        6 |     2988
435.56/435.71	c  435s |      15 |   241275 |   118632 |     9045     25 |        6 |     2988
437.65/437.85	c  437s |      15 |   241695 |   118932 |     9045     25 |        6 |     2988
440.24/440.41	c  440s |      15 |   242192 |   119332 |     9045     25 |        6 |     2988
442.84/443.04	c  442s |      15 |   242653 |   119732 |     9045     25 |        6 |     2988
445.45/445.64	c  445s |      15 |   243093 |   120132 |     9045     25 |        6 |     2988
447.55/447.77	c  447s |      15 |   243415 |   120432 |     9045     25 |        6 |     2988
449.75/449.90	c  449s |      15 |   243752 |   120732 |     9045     25 |        6 |     2988
452.15/452.37	c  452s |      15 |   244208 |   121132 |     9045     25 |        6 |     2988
454.65/454.84	c  454s |      15 |   244632 |   121532 |     9045     25 |        6 |     2988
456.84/457.05	c  456s |      15 |   244992 |   121832 |     9045     25 |        6 |     2988
459.34/459.54	c  459s |      15 |   245330 |   122132 |     9045     26 |        6 |     2988
461.74/461.95	c  461s |      15 |   245667 |   122432 |     9045     26 |        6 |     2988
463.94/464.19	c  463s |      15 |   245989 |   122732 |     9045     26 |        6 |     2988
466.14/466.38	c  466s |      15 |   246318 |   123032 |     9045     26 |        6 |     2988
468.23/468.46	c  468s |      15 |   246669 |   123332 |     9045     26 |        6 |     2988
470.83/471.08	c  470s |      15 |   247127 |   123732 |     9045     26 |        6 |     2988
473.43/473.62	c  473s |      15 |   247555 |   124132 |     9045     26 |        6 |     2988
475.83/476.01	c  475s |      15 |   247993 |   124532 |     9045     26 |        6 |     2988
477.93/478.18	c  477s |      15 |   248322 |   124832 |     9045     26 |        6 |     2988
480.23/480.41	c  480s |      15 |   248675 |   125132 |     9045     26 |        6 |     2988
482.43/482.60	c  482s |      15 |   248993 |   125432 |     9045     26 |        6 |     2988
484.43/484.69	c  484s |      15 |   249320 |   125732 |     9045     26 |        6 |     2988
486.73/486.98	c  486s |      15 |   249652 |   126032 |     9045     26 |        6 |     2988
488.92/489.11	c  488s |      15 |   249996 |   126332 |     9045     26 |        6 |     2988
491.42/491.70	c  491s |      15 |   250433 |   126732 |     9045     26 |        6 |     2988
493.73/493.93	c  493s |      15 |   250764 |   127032 |     9045     26 |        6 |     2988
496.32/496.51	c  496s |      15 |   251083 |   127332 |     9045     26 |        6 |     2988
498.81/499.04	c  498s |      15 |   251394 |   127632 |     9045     26 |        6 |     2988
501.01/501.21	c  501s |      15 |   251702 |   127832 |     9045     27 |        6 |     2988
503.52/503.71	c  503s |      15 |   252210 |   128232 |     9045     27 |        6 |     2988
505.72/505.99	c  505s |      15 |   252698 |   128632 |     9045     27 |        6 |     2988
508.51/508.76	c  508s |      15 |   253123 |   129032 |     9045     27 |        6 |     2988
510.61/510.80	c  510s |      15 |   253533 |   129332 |     9045     27 |        6 |     2988
512.71/512.96	c  512s |      15 |   253990 |   129732 |     9045     27 |        6 |     2988
515.31/515.51	c  515s |      15 |   254492 |   130132 |     9045     27 |        6 |     2988
517.71/517.94	c  517s |      15 |   254929 |   130532 |     9045     27 |        6 |     2988
519.70/519.99	c  519s |      15 |   255308 |   130832 |     9950     27 |        6 |     2988
522.41/522.63	c  522s |      15 |   255818 |   131232 |     9950     27 |        6 |     2988
524.51/524.73	c  524s |      15 |   256184 |   131532 |     9950     27 |        6 |     2988
524.61/524.84	c  524s |      16 |   256201 |   131552 |     9950     27 |        6 |     2988
526.60/526.90	c  526s |      16 |   261798 |   131952 |     9950     27 |        6 |     2988
529.49/529.77	c  529s |      16 |   270343 |   132452 |     9950     27 |        6 |     2988
531.79/532.01	c  531s |      16 |   283235 |   132752 |     9950     27 |        6 |     2988
534.29/534.51	c  534s |      16 |   289174 |   132952 |     9950     27 |        6 |     2988
539.10/539.38	c  539s |      16 |   290654 |   133052 |     9950     27 |        6 |     2988
541.50/541.73	c  541s |      16 |   291077 |   133352 |     9950     27 |        6 |     2988
543.79/544.00	c  543s |      16 |   291326 |   133552 |     9950     27 |        6 |     2988
546.50/546.73	c  546s |      16 |   291702 |   133852 |     9950     27 |        6 |     2988
549.29/549.57	c  549s |      16 |   292084 |   134152 |     9950     27 |        6 |     2988
551.89/552.19	c  551s |      16 |   292558 |   134452 |     9950     28 |        6 |     2988
554.79/555.02	c  554s |      16 |   293179 |   134852 |     9950     28 |        6 |     2988
557.39/557.66	c  557s |      16 |   293639 |   135152 |     9950     28 |        6 |     2988
559.79/560.09	c  559s |      16 |   294046 |   135452 |     9950     28 |        6 |     2988
562.68/562.98	c  562s |      16 |   294415 |   135752 |     9950     28 |        6 |     2988
565.48/565.76	c  565s |      16 |   294865 |   136052 |     9950     28 |        6 |     2988
567.58/567.82	c  567s |      16 |   295097 |   136252 |     9950     28 |        6 |     2988
570.27/570.51	c  570s |      16 |   295561 |   136552 |     9950     28 |        6 |     2988
572.88/573.17	c  572s |      16 |   296101 |   136852 |     9950     28 |        6 |     2988
575.67/575.90	c  575s |      16 |   296558 |   137152 |     9950     28 |        6 |     2988
577.67/577.98	c  577s |      16 |   296797 |   137352 |     9950     28 |        6 |     2988
579.87/580.15	c  579s |      16 |   297021 |   137552 |     9950     28 |        6 |     2988
581.87/582.19	c  581s |      16 |   297275 |   137752 |     9950     28 |        6 |     2988
583.97/584.26	c  584s |      16 |   297717 |   138052 |     9950     28 |        6 |     2988
586.86/587.11	c  586s |      16 |   298180 |   138452 |     9950     28 |        6 |     2988
588.86/589.12	c  588s |      16 |   298454 |   138652 |     9950     28 |        6 |     2988
591.47/591.76	c  591s |      16 |   298846 |   138952 |     9950     28 |        6 |     2988
594.27/594.58	c  594s |      16 |   299255 |   139252 |     9950     28 |        6 |     2988
597.26/597.51	c  597s |      16 |   299671 |   139552 |     9950     28 |        6 |     2988
599.27/599.53	c  599s |      16 |   299904 |   139752 |     9950     28 |        6 |     2988
601.36/601.65	c  601s |      16 |   300234 |   139952 |     9950     28 |        6 |     2988
604.56/604.81	c  604s |      16 |   300647 |   140252 |     9950     29 |        6 |     2988
607.36/607.62	c  607s |      16 |   301082 |   140552 |     9950     29 |        6 |     2988
610.26/610.59	c  610s |      16 |   301439 |   140852 |     9950     29 |        6 |     2988
613.25/613.55	c  613s |      16 |   301800 |   141152 |     9950     29 |        6 |     2988
615.35/615.64	c  615s |      16 |   302108 |   141352 |     9950     29 |        6 |     2988
618.44/618.72	c  618s |      16 |   302501 |   141652 |     9950     29 |        6 |     2988
620.65/620.92	c  620s |      16 |   302768 |   141852 |     9950     29 |        6 |     2988
622.65/622.99	c  622s |      16 |   303087 |   142052 |     9950     29 |        6 |     2988
624.75/625.04	c  624s |      16 |   303322 |   142252 |     9950     29 |        6 |     2988
626.94/627.23	c  627s |      16 |   303605 |   142452 |     9950     29 |        6 |     2988
629.24/629.50	c  629s |      16 |   303881 |   142652 |     9950     29 |        6 |     2988
631.25/631.52	c  631s |      16 |   304174 |   142852 |     9950     29 |        6 |     2988
633.64/633.94	c  633s |      16 |   304440 |   143052 |     9950     29 |        6 |     2988
636.24/636.59	c  636s |      16 |   304823 |   143352 |     9950     29 |        6 |     2988
638.84/639.14	c  638s |      16 |   305164 |   143652 |     9950     29 |        6 |     2988
641.73/642.07	c  641s |      16 |   305547 |   143952 |     9950     29 |        6 |     2988
643.83/644.13	c  643s |      16 |   305817 |   144152 |     9950     29 |        6 |     2988
645.93/646.26	c  646s |      16 |   306074 |   144352 |     9950     29 |        6 |     2988
648.22/648.59	c  648s |      16 |   306347 |   144552 |     9950     29 |        6 |     2988
650.42/650.71	c  650s |      16 |   306581 |   144752 |     9950     29 |        6 |     2988
653.32/653.69	c  653s |      16 |   307000 |   145052 |     9950     29 |        6 |     2988
655.62/655.92	c  655s |      16 |   307238 |   145252 |     9950     29 |        6 |     2988
657.72/658.04	c  657s |      16 |   307538 |   145452 |     9950     29 |        6 |     2988
659.82/660.16	c  659s |      16 |   307846 |   145652 |     9950     29 |        6 |     2988
662.32/662.69	c  662s |      16 |   308102 |   145852 |     9950     29 |        6 |     2988
664.72/665.03	c  664s |      16 |   308370 |   146052 |     9950     29 |        6 |     2988
667.32/667.62	c  667s |      16 |   308747 |   146252 |     9950     30 |        6 |     2988
670.31/670.60	c  670s |      16 |   309320 |   146552 |     9950     30 |        6 |     2988
672.31/672.68	c  672s |      16 |   309714 |   146752 |     9950     30 |        6 |     2988
674.72/675.01	c  674s |      16 |   310011 |   146952 |     9950     30 |        6 |     2988
677.02/677.31	c  677s |      16 |   310314 |   147152 |     9950     30 |        6 |     2988
679.31/679.66	c  679s |      16 |   310638 |   147352 |     9950     30 |        6 |     2988
681.41/681.78	c  681s |      16 |   310981 |   147552 |     9950     30 |        6 |     2988
683.51/683.85	c  683s |      16 |   311278 |   147752 |     9950     30 |        6 |     2988
685.81/686.12	c  685s |      16 |   311605 |   147952 |     9950     30 |        6 |     2988
688.00/688.35	c  688s |      16 |   311871 |   148152 |     9950     30 |        6 |     2988
690.40/690.78	c  690s |      16 |   312117 |   148352 |     9950     30 |        6 |     2988
692.60/692.99	c  692s |      16 |   312395 |   148552 |     9950     30 |        6 |     2988
694.91/695.29	c  695s |      16 |   312673 |   148752 |     9950     30 |        6 |     2988
697.11/697.41	c  697s |      16 |   312902 |   148952 |     9950     30 |        6 |     2988
699.30/699.63	c  699s |      16 |   313160 |   149152 |     9950     30 |        6 |     2988
701.40/701.74	c  701s |      16 |   313447 |   149352 |     9950     30 |        6 |     2988
703.50/703.88	c  703s |      16 |   313680 |   149552 |     9950     30 |        6 |     2988
706.29/706.60	c  706s |      16 |   313926 |   149752 |     9950     30 |        6 |     2988
708.39/708.74	c  708s |      16 |   314159 |   149952 |     9950     30 |        6 |     2988
711.29/711.67	c  711s |      16 |   314538 |   150252 |     9950     30 |        6 |     2988
713.70/714.09	c  713s |      16 |   316168 |   150552 |     9950     30 |        6 |     2988
717.09/717.45	c  717s |      16 |   320951 |   150852 |     9950     30 |        6 |     2988
719.89/720.22	c  720s |      16 |   321438 |   150952 |     9950     30 |        6 |     2988
722.39/722.70	c  722s |      16 |   321602 |   151052 |     9950     30 |        6 |     2988
725.69/726.09	c  725s |      16 |   321730 |   151152 |     9950     30 |        6 |     2988
728.29/728.61	c  728s |      16 |   321869 |   151252 |     9950     30 |        6 |     2988
732.18/732.50	c  732s |      16 |   321995 |   151352 |     9950     30 |        6 |     2988
735.88/736.25	c  736s |      16 |   322110 |   151452 |     9950     30 |        6 |     2988
739.48/739.88	c  739s |      16 |   322228 |   151552 |     9950     30 |        6 |     2988
743.29/743.70	c  743s |      16 |   322340 |   151652 |     9950     30 |        6 |     2988
746.49/746.87	c  746s |      16 |   322501 |   151752 |     9950     30 |        6 |     2988
749.49/749.87	c  749s |      16 |   322647 |   151852 |     9950     30 |        6 |     2988
753.59/753.93	c  753s |      16 |   323037 |   151952 |     9950     31 |        6 |     2988
757.69/758.09	c  757s |      16 |   323475 |   152052 |     9950     31 |        6 |     2988
762.58/762.98	c  762s |      16 |   323780 |   152152 |     9950     31 |        6 |     2988
769.28/769.68	c  769s |      16 |   323868 |   152252 |     9950     31 |        6 |     2988
772.78/773.13	c  772s |      16 |   324327 |   152352 |     9950     31 |        6 |     2988
776.08/776.44	c  776s |      16 |   324988 |   152452 |     9950     31 |        6 |     2988
780.58/780.93	c  780s |      16 |   325272 |   152552 |     9950     31 |        6 |     2988
788.38/788.74	c  788s |      16 |   325392 |   152652 |     9950     31 |        6 |     2988
795.78/796.14	c  795s |      16 |   325500 |   152752 |     9950     31 |        6 |     2988
804.77/805.10	c  804s |      16 |   325614 |   152852 |     9950     31 |        6 |     2988
812.68/813.04	c  812s |      16 |   325725 |   152952 |     9950     31 |        6 |     2988
818.27/818.63	c  818s |      16 |   328510 |   153052 |     9950     31 |        6 |     2988
823.17/823.53	c  823s |      16 |   328635 |   153152 |     9950     31 |        6 |     2988
828.77/829.12	c  828s |      16 |   328746 |   153252 |     9950     31 |        6 |     2988
834.48/834.80	c  834s |      16 |   328861 |   153352 |     9950     31 |        6 |     2988
839.18/839.52	c  839s |      16 |   328974 |   153452 |     9950     31 |        6 |     2988
843.97/844.32	c  844s |      16 |   329102 |   153552 |     9950     31 |        6 |     2988
849.98/850.40	c  850s |      16 |   329199 |   153652 |     9950     31 |        6 |     2988
855.97/856.33	c  856s |      16 |   329315 |   153752 |     9950     31 |        6 |     2988
860.67/861.08	c  860s |      16 |   330072 |   153852 |     9950     31 |        6 |     2988
866.17/866.58	c  866s |      16 |   330530 |   153952 |     9950     31 |        6 |     2988
872.47/872.81	c  872s |      16 |   330672 |   154052 |     9950     31 |        6 |     2988
878.77/879.15	c  878s |      16 |   330978 |   154152 |     9950     31 |        6 |     2988
886.06/886.44	c  886s |      16 |   331117 |   154252 |     9950     31 |        6 |     2988
892.66/893.00	c  892s |      16 |   331258 |   154352 |     9950     31 |        6 |     2988
899.86/900.26	c  900s |      16 |   331393 |   154452 |     9950     31 |        6 |     2988
907.56/907.97	c  907s |      16 |   331499 |   154552 |     9950     31 |        6 |     2988
912.46/912.83	c  912s |      16 |   331639 |   154652 |     9950     31 |        6 |     2988
916.86/917.29	c  917s |      16 |   331797 |   154752 |     9950     31 |        6 |     2988
923.95/924.39	c  924s |      16 |   331936 |   154852 |     9950     31 |        6 |     2988
930.37/930.77	c  930s |      16 |   332046 |   154952 |     9950     31 |        6 |     2988
935.77/936.18	c  935s |      16 |   332160 |   155052 |     9950     31 |        6 |     2988
940.86/941.29	c  941s |      16 |   332298 |   155152 |     9950     31 |        6 |     2988
945.77/946.17	c  945s |      16 |   332635 |   155252 |     9950     31 |        6 |     2988
950.86/951.28	c  951s |      16 |   333133 |   155352 |     9950     31 |        6 |     2988
956.26/956.66	c  956s |      16 |   333253 |   155452 |     9950     31 |        6 |     2988
964.75/965.19	c  964s |      16 |   333349 |   155552 |     9950     31 |        6 |     2988
971.35/971.77	c  971s |      16 |   333474 |   155652 |     9950     31 |        6 |     2988
977.85/978.27	c  978s |      16 |   333662 |   155752 |     9950     31 |        6 |     2988
982.75/983.12	c  982s |      16 |   333848 |   155852 |     9950     31 |        6 |     2988
988.45/988.88	c  988s |      16 |   333965 |   155952 |     9950     31 |        6 |     2988
993.75/994.18	c  993s |      16 |   334097 |   156052 |     9950     31 |        6 |     2988
999.85/1000.24	c 1000s |      16 |   334238 |   156152 |     9950     31 |        6 |     2988
1006.84/1007.28	c 1007s |      16 |   334382 |   156252 |     9950     31 |        6 |     2988
1014.74/1015.17	c 1014s |      16 |   334501 |   156352 |     9950     31 |        6 |     2988
1021.74/1022.19	c 1021s |      16 |   334640 |   156452 |     9950     31 |        6 |     2988
1027.54/1027.90	c 1027s |      16 |   334762 |   156552 |     9950     31 |        6 |     2988
1033.44/1033.83	c 1033s |      16 |   334872 |   156652 |     9950     31 |        6 |     2988
1038.54/1038.92	c 1038s |      16 |   334995 |   156752 |     9950     31 |        6 |     2988
1047.04/1047.48	c 1047s |      16 |   335105 |   156852 |     9950     31 |        6 |     2988
1054.74/1055.18	c 1054s |      16 |   335225 |   156952 |     9950     31 |        6 |     2988
1062.94/1063.32	c 1063s |      16 |   335363 |   157052 |     9950     31 |        6 |     2988
1069.14/1069.53	c 1069s |      16 |   335469 |   157152 |     9950     31 |        6 |     2988
1076.84/1077.22	c 1077s |      16 |   335575 |   157252 |     9950     31 |        6 |     2988
1081.43/1081.86	c 1081s |      16 |   335711 |   157352 |     9950     31 |        6 |     2988
1085.63/1086.07	c 1085s |      16 |   335829 |   157452 |     9950     31 |        6 |     2988
1089.03/1089.46	c 1089s |      16 |   335936 |   157552 |     9950     31 |        6 |     2988
1093.14/1093.58	c 1093s |      16 |   336042 |   157652 |     9950     31 |        6 |     2988
1098.03/1098.40	c 1098s |      16 |   336147 |   157752 |     9950     31 |        6 |     2988
1104.14/1104.53	c 1104s |      16 |   336252 |   157852 |     9950     31 |        6 |     2988
1110.13/1110.58	c 1110s |      16 |   336389 |   157952 |     9950     32 |        6 |     2988
1115.43/1115.86	c 1115s |      16 |   336504 |   158052 |     9950     32 |        6 |     2988
1119.93/1120.34	c 1120s |      16 |   336610 |   158152 |     9950     32 |        6 |     2988
1124.63/1125.08	c 1124s |      16 |   336730 |   158252 |     9950     32 |        6 |     2988
1129.03/1129.50	c 1129s |      16 |   336830 |   158352 |     9950     32 |        6 |     2988
1133.23/1133.61	c 1133s |      16 |   336932 |   158452 |     9950     32 |        6 |     2988
1136.13/1136.58	c 1136s |      16 |   340269 |   158552 |     9950     32 |        6 |     2988
1138.33/1138.76	c 1138s |      16 |   342079 |   158652 |     9950     32 |        6 |     2988
1140.83/1141.28	c 1141s |      16 |   344686 |   158752 |     9950     32 |        6 |     2988
1143.33/1143.79	c 1143s |      16 |   347256 |   158852 |     9950     32 |        6 |     2988
1151.33/1151.72	c 1151s |      16 |   347546 |   158952 |     9950     32 |        6 |     2988
1158.82/1159.24	c 1159s |      16 |   347774 |   159052 |     9950     32 |        6 |     2988
1162.72/1163.17	c 1162s |      16 |   347874 |   159152 |     9950     32 |        6 |     2988
1166.92/1167.33	c 1167s |      16 |   348673 |   159252 |     9950     32 |        6 |     2988
1172.92/1173.34	c 1173s |      16 |   349226 |   159352 |     9950     32 |        6 |     2988
1180.32/1180.79	c 1180s |      16 |   349349 |   159452 |     9950     32 |        6 |     2988
1186.92/1187.34	c 1187s |      16 |   349460 |   159552 |     9950     32 |        6 |     2988
1194.12/1194.55	c 1194s |      16 |   349583 |   159652 |     9950     32 |        6 |     2988
1201.42/1201.88	c 1201s |      16 |   349723 |   159752 |     9950     32 |        6 |     2988
1208.63/1209.02	c 1208s |      16 |   349845 |   159852 |     9950     32 |        6 |     2988
1215.62/1216.05	c 1215s |      16 |   349960 |   159952 |     9950     32 |        6 |     2988
1222.72/1223.10	c 1222s |      16 |   350067 |   160052 |     9950     32 |        6 |     2988
1230.41/1230.86	c 1230s |      16 |   350182 |   160152 |     9950     32 |        6 |     2988
1238.22/1238.68	c 1238s |      16 |   350284 |   160252 |     9950     32 |        6 |     2988
1243.41/1243.85	c 1243s |      16 |   350401 |   160352 |     9950     32 |        6 |     2988
1250.42/1250.84	c 1250s |      16 |   350502 |   160452 |     9950     32 |        6 |     2988
1255.41/1255.87	c 1255s |      16 |   350640 |   160552 |     9950     32 |        6 |     2988
1262.21/1262.63	c 1262s |      16 |   350748 |   160652 |     9950     32 |        6 |     2988
1269.01/1269.47	c 1269s |      16 |   350843 |   160752 |     9950     32 |        6 |     2988
1275.41/1275.82	c 1275s |      16 |   350961 |   160852 |     9950     32 |        6 |     2988
1281.11/1281.55	c 1281s |      16 |   351060 |   160952 |     9950     32 |        6 |     2988
1286.10/1286.55	c 1286s |      16 |   351169 |   161052 |     9950     32 |        6 |     2988
1292.30/1292.78	c 1292s |      16 |   351283 |   161152 |     9950     32 |        6 |     2988
1298.90/1299.36	c 1299s |      16 |   351394 |   161252 |     9950     32 |        6 |     2988
1306.00/1306.49	c 1306s |      16 |   351498 |   161352 |     9950     32 |        6 |     2988
1313.00/1313.46	c 1313s |      16 |   351631 |   161452 |     9950     32 |        6 |     2988
1318.80/1319.28	c 1319s |      16 |   351736 |   161552 |     9950     32 |        6 |     2988
1324.39/1324.87	c 1324s |      16 |   351865 |   161652 |     9950     32 |        6 |     2988
1331.71/1332.18	c 1331s |      16 |   351973 |   161752 |     9950     32 |        6 |     2988
1339.00/1339.49	c 1339s |      16 |   352071 |   161852 |     9950     32 |        6 |     2988
1347.40/1347.89	c 1347s |      16 |   352174 |   161952 |     9950     32 |        6 |     2988
1354.80/1355.28	c 1355s |      16 |   352275 |   162052 |     9950     32 |        6 |     2988
1362.39/1362.83	c 1362s |      16 |   352381 |   162152 |     9950     32 |        6 |     2988
1368.69/1369.10	c 1368s |      16 |   352579 |   162252 |     9950     32 |        6 |     2988
1376.19/1376.65	c 1376s |      16 |   352679 |   162352 |     9950     32 |        6 |     2988
1382.08/1382.58	c 1382s |      16 |   352786 |   162452 |     9950     32 |        6 |     2988
1389.68/1390.18	c 1389s |      16 |   352902 |   162552 |     9950     32 |        6 |     2988
1396.49/1397.00	c 1396s |      16 |   353006 |   162652 |     9950     32 |        6 |     2988
1404.19/1404.69	c 1404s |      16 |   353122 |   162752 |     9950     32 |        6 |     2988
1411.19/1411.68	c 1411s |      16 |   353237 |   162852 |     9950     32 |        6 |     2988
1417.99/1418.43	c 1418s |      16 |   353340 |   162952 |     9950     32 |        6 |     2988
1425.39/1425.84	c 1425s |      16 |   353465 |   163052 |     9950     32 |        6 |     2988
1432.08/1432.51	c 1432s |      16 |   353593 |   163152 |     9950     32 |        6 |     2988
1437.18/1437.60	c 1437s |      16 |   353893 |   163252 |     9950     32 |        6 |     2988
1439.49/1439.94	c 1439s |      16 |   354959 |   163352 |     9950     32 |        6 |     2988
1444.88/1445.37	c 1445s |      16 |   355107 |   163452 |     9950     32 |        6 |     2988
1451.08/1451.56	c 1451s |      16 |   355250 |   163552 |     9950     32 |        6 |     2988
1457.38/1457.85	c 1457s |      16 |   355435 |   163652 |     9950     32 |        6 |     2988
1462.37/1462.87	c 1462s |      16 |   358141 |   163752 |     9950     33 |        6 |     2988
1464.67/1465.16	c 1464s |      16 |   361710 |   163952 |     9950     33 |        6 |     2988
1467.47/1467.95	c 1467s |      16 |   362001 |   164152 |     9950     33 |        6 |     2988
1471.17/1471.69	c 1471s |      16 |   362321 |   164352 |     9950     33 |        6 |     2988
1474.58/1475.02	c 1474s |      16 |   362637 |   164552 |     9950     33 |        6 |     2988
1477.99/1478.49	c 1478s |      16 |   363017 |   164752 |     9950     33 |        6 |     2988
1481.18/1481.69	c 1481s |      16 |   363403 |   164952 |     9950     33 |        6 |     2988
1484.38/1484.88	c 1484s |      16 |   363616 |   165152 |     9950     33 |        6 |     2988
1487.78/1488.20	c 1487s |      16 |   363842 |   165352 |     9950     33 |        6 |     2988
1491.08/1491.58	c 1491s |      16 |   364230 |   165552 |     9950     33 |        6 |     2988
1493.57/1494.03	c 1493s |      16 |   364797 |   165652 |     9950     33 |        6 |     2988
1496.17/1496.67	c 1496s |      16 |   364914 |   165752 |     9950     33 |        6 |     2988
1498.88/1499.35	c 1499s |      16 |   365017 |   165852 |     9950     33 |        6 |     2988
1501.47/1501.96	c 1501s |      16 |   365123 |   165952 |     9950     33 |        6 |     2988
1504.17/1504.67	c 1504s |      16 |   365243 |   166052 |     9950     33 |        6 |     2988
1507.68/1508.17	c 1507s |      16 |   365350 |   166152 |     9950     33 |        6 |     2988
1510.77/1511.23	c 1511s |      16 |   365467 |   166252 |     9950     33 |        6 |     2988
1514.27/1514.72	c 1514s |      16 |   365876 |   166452 |     9950     33 |        6 |     2988
1516.37/1516.90	c 1516s |      16 |   366068 |   166552 |     9950     33 |        6 |     2988
1518.97/1519.48	c 1519s |      16 |   366215 |   166652 |     9950     33 |        6 |     2988
1521.36/1521.82	c 1521s |      16 |   366360 |   166752 |     9950     33 |        6 |     2988
1524.36/1524.84	c 1524s |      16 |   366474 |   166852 |     9950     33 |        6 |     2988
1526.76/1527.21	c 1527s |      16 |   366612 |   166952 |     9950     33 |        6 |     2988
1530.46/1530.91	c 1530s |      16 |   366736 |   167052 |     9950     33 |        6 |     2988
1533.36/1533.89	c 1533s |      16 |   366853 |   167152 |     9950     33 |        6 |     2988
1536.56/1537.00	c 1536s |      16 |   366961 |   167252 |     9950     33 |        6 |     2988
1541.07/1541.55	c 1541s |      16 |   367203 |   167452 |     9950     33 |        6 |     2988
1544.17/1544.65	c 1544s |      16 |   367331 |   167552 |     9950     33 |        6 |     2988
1546.27/1546.79	c 1546s |      16 |   367517 |   167652 |     9950     33 |        6 |     2988
1549.27/1549.75	c 1549s |      16 |   367646 |   167752 |     9950     33 |        6 |     2988
1552.07/1552.51	c 1552s |      16 |   367772 |   167852 |     9950     33 |        6 |     2988
1554.56/1555.06	c 1554s |      16 |   367877 |   167952 |     9950     33 |        6 |     2988
1557.46/1557.91	c 1557s |      16 |   367980 |   168052 |     9950     33 |        6 |     2988
1559.96/1560.40	c 1560s |      16 |   368163 |   168152 |     9950     33 |        6 |     2988
1562.67/1563.16	c 1562s |      16 |   368279 |   168252 |     9950     33 |        6 |     2988
1565.36/1565.86	c 1565s |      16 |   368371 |   168352 |     9950     33 |        6 |     2988
1568.36/1568.88	c 1568s |      16 |   368493 |   168452 |     9950     33 |        6 |     2988
1570.66/1571.18	c 1570s |      16 |   368595 |   168552 |     9950     33 |        6 |     2988
1573.46/1573.96	c 1573s |      16 |   368700 |   168652 |     9950     33 |        6 |     2988
1576.36/1576.82	c 1576s |      16 |   368836 |   168752 |     9950     33 |        6 |     2988
1578.66/1579.11	c 1578s |      16 |   368947 |   168852 |     9950     33 |        6 |     2988
1581.66/1582.11	c 1581s |      16 |   369056 |   168952 |     9950     33 |        6 |     2988
1584.35/1584.89	c 1584s |      16 |   369197 |   169052 |     9950     33 |        6 |     2988
1586.86/1587.36	c 1587s |      16 |   369302 |   169152 |     9950     33 |        6 |     2988
1589.06/1589.58	c 1589s |      16 |   369422 |   169252 |     9950     33 |        6 |     2988
1591.27/1591.78	c 1591s |      16 |   369667 |   169352 |     9950     33 |        6 |     2988
1593.47/1593.99	c 1593s |      16 |   369795 |   169452 |     9950     33 |        6 |     2988
1595.86/1596.30	c 1596s |      16 |   369900 |   169552 |     9950     33 |        6 |     2988
1597.97/1598.41	c 1598s |      16 |   370061 |   169652 |     9950     33 |        6 |     2988
1601.36/1601.88	c 1601s |      16 |   370287 |   169852 |     9950     34 |        6 |     2988
1605.06/1605.56	c 1605s |      16 |   370491 |   170052 |     9950     34 |        6 |     2988
1607.66/1608.13	c 1607s |      16 |   370650 |   170152 |     9950     34 |        6 |     2988
1610.55/1611.07	c 1610s |      16 |   370774 |   170252 |     9950     34 |        6 |     2988
1613.55/1614.09	c 1613s |      16 |   370869 |   170352 |     9950     34 |        6 |     2988
1616.95/1617.44	c 1617s |      16 |   371097 |   170552 |     9950     34 |        6 |     2988
1621.35/1621.83	c 1621s |      16 |   371327 |   170752 |     9950     34 |        6 |     2988
1624.45/1624.97	c 1624s |      16 |   371452 |   170852 |     9950     34 |        6 |     2988
1627.35/1627.86	c 1627s |      16 |   371571 |   170952 |     9950     34 |        6 |     2988
1630.45/1630.95	c 1630s |      16 |   371705 |   171052 |     9950     34 |        6 |     2988
1634.75/1635.22	c 1635s |      16 |   371925 |   171252 |     9950     34 |        6 |     2988
1637.35/1637.84	c 1637s |      16 |   372041 |   171352 |     9950     34 |        6 |     2988
1640.05/1640.56	c 1640s |      16 |   372161 |   171452 |     9950     34 |        6 |     2988
1642.75/1643.23	c 1643s |      16 |   372269 |   171552 |     9950     34 |        6 |     2988
1646.35/1646.88	c 1646s |      16 |   372386 |   171652 |     9950     34 |        6 |     2988
1649.95/1650.45	c 1650s |      16 |   372503 |   171752 |     9950     34 |        6 |     2988
1653.85/1654.40	c 1654s |      16 |   372608 |   171852 |     9950     34 |        6 |     2988
1657.55/1658.07	c 1657s |      16 |   372743 |   171952 |     9950     34 |        6 |     2988
1661.24/1661.72	c 1661s |      16 |   372845 |   172052 |     9950     34 |        6 |     2988
1664.74/1665.28	c 1665s |      16 |   372979 |   172152 |     9950     34 |        6 |     2988
1667.84/1668.30	c 1668s |      16 |   373105 |   172252 |     9950     34 |        6 |     2988
1670.64/1671.15	c 1670s |      16 |   373210 |   172352 |     9950     34 |        6 |     2988
1673.34/1673.83	c 1673s |      16 |   373315 |   172452 |     9950     34 |        6 |     2988
1675.64/1676.15	c 1675s |      16 |   373455 |   172552 |     9950     34 |        6 |     2988
1678.34/1678.82	c 1678s |      16 |   373555 |   172652 |     9950     34 |        6 |     2988
1681.04/1681.50	c 1681s |      16 |   373675 |   172752 |     9950     34 |        6 |     2988
1683.65/1684.18	c 1683s |      16 |   373806 |   172852 |     9950     34 |        6 |     2988
1686.04/1686.57	c 1686s |      16 |   373959 |   172952 |     9950     34 |        6 |     2988
1689.15/1689.68	c 1689s |      16 |   374061 |   173052 |     9950     34 |        6 |     2988
1692.04/1692.55	c 1692s |      16 |   374167 |   173152 |     9950     34 |        6 |     2988
1694.75/1695.24	c 1695s |      16 |   374278 |   173252 |     9950     34 |        6 |     2988
1697.24/1697.77	c 1697s |      16 |   374387 |   173352 |     9950     34 |        6 |     2988
1699.54/1700.04	c 1699s |      16 |   374491 |   173452 |     9950     34 |        6 |     2988
1702.34/1702.88	c 1702s |      16 |   374652 |   173552 |     9950     34 |        6 |     2988
1705.94/1706.48	c 1706s |      16 |   374756 |   173652 |     9950     34 |        6 |     2988
1709.24/1709.70	c 1709s |      16 |   374868 |   173752 |     9950     34 |        6 |     2988
1712.53/1713.08	c 1712s |      16 |   374975 |   173852 |     9950     34 |        6 |     2988
1715.55/1716.07	c 1715s |      16 |   375091 |   173952 |     9950     34 |        6 |     2988
1718.24/1718.77	c 1718s |      16 |   375211 |   174052 |     9950     34 |        6 |     2988
1721.94/1722.49	c 1722s |      16 |   375556 |   174252 |     9950     34 |        6 |     2988
1724.64/1725.14	c 1724s |      16 |   375697 |   174352 |     9950     34 |        6 |     2988
1727.04/1727.50	c 1727s |      16 |   375796 |   174452 |     9950     34 |        6 |     2988
1729.54/1730.02	c 1729s |      16 |   375909 |   174552 |     9950     34 |        6 |     2988
1732.64/1733.15	c 1732s |      16 |   376003 |   174652 |     9950     34 |        6 |     2988
1735.84/1736.32	c 1736s |      16 |   376113 |   174752 |     9950     34 |        6 |     2988
1738.54/1739.08	c 1738s |      16 |   376241 |   174852 |     9950     34 |        6 |     2988
1742.24/1742.72	c 1742s |      16 |   376346 |   174952 |     9950     34 |        6 |     2988
1745.03/1745.52	c 1745s |      16 |   376455 |   175052 |     9950     34 |        6 |     2988
1747.33/1747.84	c 1747s |      16 |   376606 |   175152 |     9950     34 |        6 |     2988
1750.03/1750.59	c 1750s |      16 |   376715 |   175252 |     9950     34 |        6 |     2988
1753.63/1754.15	c 1753s |      16 |   376820 |   175352 |     9950     34 |        6 |     2988
1757.73/1758.27	c 1758s |      16 |   376922 |   175452 |     9950     34 |        6 |     2988
1761.33/1761.87	c 1761s |      16 |   377049 |   175552 |     9950     35 |        6 |     2988
1766.33/1766.81	c 1766s |      16 |   377153 |   175652 |     9950     35 |        6 |     2988
1769.54/1770.09	c 1769s |      16 |   377348 |   175752 |     9950     35 |        6 |     2988
1773.63/1774.18	c 1773s |      16 |   377514 |   175852 |     9950     35 |        6 |     2988
1776.33/1776.82	c 1776s |      16 |   377634 |   175952 |     9950     35 |        6 |     2988
1780.03/1780.59	c 1780s |      16 |   377747 |   176052 |     9950     35 |        6 |     2988
1783.63/1784.13	c 1783s |      16 |   377862 |   176152 |     9950     35 |        6 |     2988
1786.93/1787.49	c 1787s |      16 |   377966 |   176252 |     9950     35 |        6 |     2988
1790.44/1790.95	c 1790s |      16 |   378064 |   176352 |     9950     35 |        6 |     2988
1793.83/1794.39	c 1794s |      16 |   379231 |   176552 |     9950     35 |        6 |     2988
1796.03/1796.56	c 1796s |      16 |   379360 |   176652 |     9950     35 |        6 |     2988
1798.14/1798.65	c 1798s |      16 |   379481 |   176752 |     9950     35 |        6 |     2988

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

pid=6040
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.20 2.18 2.18 3/179 6043
/proc/meminfo: memFree=29065028/32872528 swapFree=15644/1722384
[pid=6043] ppid=6040 vsize=736700 CPUtime=0 cores=0,2,4,6
/proc/6043/stat : 6043 (toysat) R 6040 6043 4315 0 -1 4202496 2748 0 0 0 0 0 0 0 20 0 4 0 108550424 754380800 3108 33554432000 4194304 16246674 140734415980976 140734415980400 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6043/statm: 184687 3119 441 2943 0 181581 0
[pid=6043/tid=6044] ppid=6040 vsize=754108 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6044/stat : 6044 (toysat) S 6040 6043 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550424 772206592 3178 33554432000 4194304 16246674 140734415980976 140603578887408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6043/tid=6045] ppid=6040 vsize=758204 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6045/stat : 6045 (toysat) S 6040 6043 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550424 776400896 3195 33554432000 4194304 16246674 140734415980976 140603568397552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6043/tid=6046] ppid=6040 vsize=762300 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6046/stat : 6046 (toysat) S 6040 6043 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108550424 780595200 3211 33554432000 4194304 16246674 140734415980976 140603557924016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.20 2.18 2.18 3/179 6043
/proc/meminfo: memFree=29065028/32872528 swapFree=15644/1722384
[pid=6043] ppid=6040 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/6043/stat : 6043 (toysat) R 6040 6043 4315 0 -1 4202496 27419 0 0 0 6 3 0 0 20 0 4 0 108550424 1249447936 27717 33554432000 4194304 16246674 140734415980976 140734415980288 5885249 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6043/statm: 305041 27723 836 2943 0 301935 0
[pid=6043/tid=6044] ppid=6040 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6044/stat : 6044 (toysat) S 6040 6043 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550424 1249447936 27729 33554432000 4194304 16246674 140734415980976 140603578887408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6043/tid=6045] ppid=6040 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6045/stat : 6045 (toysat) S 6040 6043 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550424 1249447936 27734 33554432000 4194304 16246674 140734415980976 140603568397552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6043/tid=6046] ppid=6040 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6046/stat : 6046 (toysat) S 6040 6043 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108550424 1249447936 27738 33554432000 4194304 16246674 140734415980976 140603557924016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.20045 s]
/proc/loadavg: 2.20 2.18 2.18 3/179 6043
/proc/meminfo: memFree=29065028/32872528 swapFree=15644/1722384
[pid=6043] ppid=6040 vsize=1220164 CPUtime=0.19 cores=0,2,4,6
/proc/6043/stat : 6043 (toysat) R 6040 6043 4315 0 -1 4202496 50167 0 0 0 13 6 0 0 20 0 4 0 108550424 1249447936 50466 33554432000 4194304 16246674 140734415980976 140734415980288 6757465 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6043/statm: 305041 50478 845 2943 0 301935 0
[pid=6043/tid=6044] ppid=6040 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6044/stat : 6044 (toysat) S 6040 6043 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550424 1249447936 50484 33554432000 4194304 16246674 140734415980976 140603578887408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6043/tid=6045] ppid=6040 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6045/stat : 6045 (toysat) S 6040 6043 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550424 1249447936 50491 33554432000 4194304 16246674 140734415980976 140603568397552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6043/tid=6046] ppid=6040 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6046/stat : 6046 (toysat) S 6040 6043 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108550424 1249447936 50497 33554432000 4194304 16246674 140734415980976 140603557924016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300412 s]
/proc/loadavg: 2.20 2.18 2.18 3/179 6043
/proc/meminfo: memFree=29065028/32872528 swapFree=15644/1722384
[pid=6043] ppid=6040 vsize=1220164 CPUtime=0.29 cores=0,2,4,6
/proc/6043/stat : 6043 (toysat) R 6040 6043 4315 0 -1 4202496 57824 0 0 0 22 7 0 0 20 0 4 0 108550424 1249447936 58122 33554432000 4194304 16246674 140734415980976 140734415980288 5600539 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6043/statm: 305041 58123 895 2943 0 301935 0
[pid=6043/tid=6044] ppid=6040 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6044/stat : 6044 (toysat) S 6040 6043 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550424 1249447936 58123 33554432000 4194304 16246674 140734415980976 140603578887408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6043/tid=6045] ppid=6040 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6045/stat : 6045 (toysat) S 6040 6043 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550424 1249447936 58127 33554432000 4194304 16246674 140734415980976 140603568397552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6043/tid=6046] ppid=6040 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6046/stat : 6046 (toysat) S 6040 6043 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108550424 1249447936 58131 33554432000 4194304 16246674 140734415980976 140603557924016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700377 s]
/proc/loadavg: 2.20 2.18 2.18 3/179 6043
/proc/meminfo: memFree=29065028/32872528 swapFree=15644/1722384
[pid=6043] ppid=6040 vsize=1220164 CPUtime=0.69 cores=0,2,4,6
/proc/6043/stat : 6043 (toysat) R 6040 6043 4315 0 -1 4202496 87568 0 0 0 56 13 0 0 20 0 4 0 108550424 1249447936 87866 33554432000 4194304 16246674 140734415980976 140734415962880 5600539 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6043/statm: 305041 87867 895 2943 0 301935 0
[pid=6043/tid=6044] ppid=6040 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6044/stat : 6044 (toysat) S 6040 6043 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550424 1249447936 87868 33554432000 4194304 16246674 140734415980976 140603578887408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6043/tid=6045] ppid=6040 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6045/stat : 6045 (toysat) S 6040 6043 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550424 1249447936 87868 33554432000 4194304 16246674 140734415980976 140603568397552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6043/tid=6046] ppid=6040 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6046/stat : 6046 (toysat) S 6040 6043 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108550424 1249447936 87868 33554432000 4194304 16246674 140734415980976 140603557924016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.50034 s]
/proc/loadavg: 2.20 2.18 2.18 4/183 6047
/proc/meminfo: memFree=28525988/32872528 swapFree=15644/1722384
[pid=6043] ppid=6040 vsize=1220164 CPUtime=1.49 cores=0,2,4,6
/proc/6043/stat : 6043 (toysat) R 6040 6043 4315 0 -1 4202496 185946 0 0 0 122 27 0 0 20 0 4 0 108550424 1249447936 186244 33554432000 4194304 16246674 140734415980976 140734415962880 5661217 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6043/statm: 305041 186253 895 2943 0 301935 0
[pid=6043/tid=6044] ppid=6040 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6044/stat : 6044 (toysat) S 6040 6043 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550424 1249447936 186264 33554432000 4194304 16246674 140734415980976 140603578887408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6043/tid=6045] ppid=6040 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6045/stat : 6045 (toysat) S 6040 6043 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550424 1249447936 186265 33554432000 4194304 16246674 140734415980976 140603568397552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6043/tid=6046] ppid=6040 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6046/stat : 6046 (toysat) S 6040 6043 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108550424 1249447936 186274 33554432000 4194304 16246674 140734415980976 140603557924016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164

[startup+3.1004 s]
/proc/loadavg: 2.20 2.18 2.18 3/183 6047
/proc/meminfo: memFree=28014480/32872528 swapFree=15644/1722384
[pid=6043] ppid=6040 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/6043/stat : 6043 (toysat) R 6040 6043 4315 0 -1 4202496 267774 0 0 0 273 36 0 0 20 0 4 0 108550424 1338576896 268072 33554432000 4194304 16246674 140734415980976 140734415963976 12478249 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6043/statm: 326801 268072 902 2943 0 323695 0
[pid=6043/tid=6044] ppid=6040 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6044/stat : 6044 (toysat) S 6040 6043 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550424 1338576896 268072 33554432000 4194304 16246674 140734415980976 140603578887408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6043/tid=6045] ppid=6040 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6045/stat : 6045 (toysat) S 6040 6043 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550424 1338576896 268072 33554432000 4194304 16246674 140734415980976 140603568397552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6043/tid=6046] ppid=6040 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6046/stat : 6046 (toysat) S 6040 6043 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108550424 1338576896 268072 33554432000 4194304 16246674 140734415980976 140603557924016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30039 s]
/proc/loadavg: 2.19 2.17 2.18 3/183 6047
/proc/meminfo: memFree=27991984/32872528 swapFree=15644/1722384
[pid=6043] ppid=6040 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/6043/stat : 6043 (toysat) R 6040 6043 4315 0 -1 4202496 268050 0 0 0 593 36 0 0 20 0 4 0 108550424 1339625472 268348 33554432000 4194304 16246674 140734415980976 140734415962880 12415665 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6043/statm: 327057 268348 902 2943 0 323951 0
[pid=6043/tid=6044] ppid=6040 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6044/stat : 6044 (toysat) S 6040 6043 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550424 1339625472 268348 33554432000 4194304 16246674 140734415980976 140603578887408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6043/tid=6045] ppid=6040 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6045/stat : 6045 (toysat) S 6040 6043 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550424 1339625472 268348 33554432000 4194304 16246674 140734415980976 140603568397552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6043/tid=6046] ppid=6040 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6046/stat : 6046 (toysat) S 6040 6043 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108550424 1339625472 268348 33554432000 4194304 16246674 140734415980976 140603557924016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.17 2.17 2.17 3/183 6047
/proc/meminfo: memFree=27991120/32872528 swapFree=15644/1722384
[pid=6043] ppid=6040 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/6043/stat : 6043 (toysat) R 6040 6043 4315 0 -1 4202496 268261 0 0 0 1233 36 0 0 20 0 4 0 108550424 1339625472 268559 33554432000 4194304 16246674 140734415980976 140734415980152 5600456 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6043/statm: 327057 268559 905 2943 0 323951 0
[pid=6043/tid=6044] ppid=6040 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6044/stat : 6044 (toysat) S 6040 6043 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550424 1339625472 268559 33554432000 4194304 16246674 140734415980976 140603578887408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6043/tid=6045] ppid=6040 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6045/stat : 6045 (toysat) S 6040 6043 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550424 1339625472 268559 33554432000 4194304 16246674 140734415980976 140603568397552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6043/tid=6046] ppid=6040 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6046/stat : 6046 (toysat) S 6040 6043 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108550424 1339625472 268559 33554432000 4194304 16246674 140734415980976 140603557924016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5004 s]
/proc/loadavg: 2.13 2.16 2.17 4/183 6047
/proc/meminfo: memFree=27991948/32872528 swapFree=15644/1722384
[pid=6043] ppid=6040 vsize=1309252 CPUtime=25.49 cores=0,2,4,6
/proc/6043/stat : 6043 (toysat) R 6040 6043 4315 0 -1 4202496 268388 0 0 0 2512 37 0 0 20 0 4 0 108550424 1340674048 268686 33554432000 4194304 16246674 140734415980976 140734415980152 5546219 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6043/statm: 327313 268686 905 2943 0 324207 0
[pid=6043/tid=6044] ppid=6040 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6044/stat : 6044 (toysat) S 6040 6043 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550424 1340674048 268686 33554432000 4194304 16246674 140734415980976 140603578887408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6043/tid=6045] ppid=6040 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6045/stat : 6045 (toysat) S 6040 6043 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550424 1340674048 268686 33554432000 4194304 16246674 140734415980976 140603568397552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6043/tid=6046] ppid=6040 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6046/stat : 6046 (toysat) S 6040 6043 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108550424 1340674048 268686 33554432000 4194304 16246674 140734415980976 140603557924016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 2.22 2.18 2.18 3/183 6145
/proc/meminfo: memFree=28026912/32872528 swapFree=15644/1722384
[pid=6043] ppid=6040 vsize=1312324 CPUtime=51.09 cores=0,2,4,6
/proc/6043/stat : 6043 (toysat) R 6040 6043 4315 0 -1 4202496 269112 0 0 0 5071 38 0 0 20 0 4 0 108550424 1343819776 269410 33554432000 4194304 16246674 140734415980976 140734415980152 13774516 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6043/statm: 328081 269410 905 2943 0 324975 0
[pid=6043/tid=6044] ppid=6040 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6044/stat : 6044 (toysat) S 6040 6043 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550424 1343819776 269410 33554432000 4194304 16246674 140734415980976 140603578887408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6043/tid=6045] ppid=6040 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6045/stat : 6045 (toysat) S 6040 6043 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550424 1343819776 269410 33554432000 4194304 16246674 140734415980976 140603568397552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6043/tid=6046] ppid=6040 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6046/stat : 6046 (toysat) S 6040 6043 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108550424 1343819776 269410 33554432000 4194304 16246674 140734415980976 140603557924016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.25 2.20 2.18 3/183 6146
/proc/meminfo: memFree=28022148/32872528 swapFree=15644/1722384
[pid=6043] ppid=6040 vsize=1314372 CPUtime=102.27 cores=0,2,4,6
/proc/6043/stat : 6043 (toysat) R 6040 6043 4315 0 -1 4202496 269800 0 0 0 10189 38 0 0 20 0 4 0 108550424 1345916928 270090 33554432000 4194304 16246674 140734415980976 140734415962880 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6043/statm: 328593 270090 905 2943 0 325487 0
[pid=6043/tid=6044] ppid=6040 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6044/stat : 6044 (toysat) S 6040 6043 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550424 1345916928 270090 33554432000 4194304 16246674 140734415980976 140603578887408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6043/tid=6045] ppid=6040 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6045/stat : 6045 (toysat) S 6040 6043 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550424 1345916928 270090 33554432000 4194304 16246674 140734415980976 140603568397552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6043/tid=6046] ppid=6040 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6046/stat : 6046 (toysat) S 6040 6043 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108550424 1345916928 270090 33554432000 4194304 16246674 140734415980976 140603557924016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1314372


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

/proc/6043/task/6046/stat : 6046 (toysat) S 6040 6043 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108550424 1353256960 271887 33554432000 4194304 16246674 140734415980976 140603557924016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1321540

[startup+1362.3 s]
/proc/loadavg: 2.19 2.20 2.18 4/183 6178
/proc/meminfo: memFree=27995584/32872528 swapFree=15644/1722384
[pid=6043] ppid=6040 vsize=1321540 CPUtime=1361.89 cores=0,2,4,6
/proc/6043/stat : 6043 (toysat) R 6040 6043 4315 0 -1 4202496 271909 0 0 0 136128 61 0 0 20 0 4 0 108550424 1353256960 271887 33554432000 4194304 16246674 140734415980976 140734415962880 6021154 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6043/statm: 330385 271887 905 2943 0 327279 0
[pid=6043/tid=6044] ppid=6040 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6044/stat : 6044 (toysat) S 6040 6043 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550424 1353256960 271887 33554432000 4194304 16246674 140734415980976 140603578887408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6043/tid=6045] ppid=6040 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6045/stat : 6045 (toysat) S 6040 6043 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550424 1353256960 271887 33554432000 4194304 16246674 140734415980976 140603568397552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6043/tid=6046] ppid=6040 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6046/stat : 6046 (toysat) S 6040 6043 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108550424 1353256960 271887 33554432000 4194304 16246674 140734415980976 140603557924016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1321540

[startup+1422.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/183 6179
/proc/meminfo: memFree=27996188/32872528 swapFree=15644/1722384
[pid=6043] ppid=6040 vsize=1321540 CPUtime=1421.89 cores=0,2,4,6
/proc/6043/stat : 6043 (toysat) R 6040 6043 4315 0 -1 4202496 271909 0 0 0 142127 62 0 0 20 0 4 0 108550424 1353256960 271887 33554432000 4194304 16246674 140734415980976 140734415962880 12483317 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6043/statm: 330385 271887 905 2943 0 327279 0
[pid=6043/tid=6044] ppid=6040 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6044/stat : 6044 (toysat) S 6040 6043 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550424 1353256960 271887 33554432000 4194304 16246674 140734415980976 140603578887408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6043/tid=6045] ppid=6040 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6045/stat : 6045 (toysat) S 6040 6043 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550424 1353256960 271887 33554432000 4194304 16246674 140734415980976 140603568397552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6043/tid=6046] ppid=6040 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6046/stat : 6046 (toysat) S 6040 6043 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108550424 1353256960 271887 33554432000 4194304 16246674 140734415980976 140603557924016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1321540

[startup+1482.3 s]
/proc/loadavg: 2.18 2.18 2.18 3/183 6180
/proc/meminfo: memFree=27989980/32872528 swapFree=15644/1722384
[pid=6043] ppid=6040 vsize=1327684 CPUtime=1481.88 cores=0,2,4,6
/proc/6043/stat : 6043 (toysat) R 6040 6043 4315 0 -1 4202496 273435 0 0 0 148125 63 0 0 20 0 4 0 108550424 1359548416 273413 33554432000 4194304 16246674 140734415980976 140734415962880 5711960 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6043/statm: 331921 273413 905 2943 0 328815 0
[pid=6043/tid=6044] ppid=6040 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6044/stat : 6044 (toysat) S 6040 6043 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550424 1359548416 273413 33554432000 4194304 16246674 140734415980976 140603578887408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6043/tid=6045] ppid=6040 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6045/stat : 6045 (toysat) S 6040 6043 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550424 1359548416 273413 33554432000 4194304 16246674 140734415980976 140603568397552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6043/tid=6046] ppid=6040 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6046/stat : 6046 (toysat) S 6040 6043 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108550424 1359548416 273413 33554432000 4194304 16246674 140734415980976 140603557924016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1327684

[startup+1542.31 s]
/proc/loadavg: 2.22 2.19 2.18 3/183 6182
/proc/meminfo: memFree=27990092/32872528 swapFree=15644/1722384
[pid=6043] ppid=6040 vsize=1327684 CPUtime=1541.87 cores=0,2,4,6
/proc/6043/stat : 6043 (toysat) R 6040 6043 4315 0 -1 4202496 273435 0 0 0 154123 64 0 0 20 0 4 0 108550424 1359548416 273413 33554432000 4194304 16246674 140734415980976 140734415962880 5711952 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6043/statm: 331921 273413 905 2943 0 328815 0
[pid=6043/tid=6044] ppid=6040 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6044/stat : 6044 (toysat) S 6040 6043 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550424 1359548416 273413 33554432000 4194304 16246674 140734415980976 140603578887408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6043/tid=6045] ppid=6040 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6045/stat : 6045 (toysat) S 6040 6043 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550424 1359548416 273413 33554432000 4194304 16246674 140734415980976 140603568397552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6043/tid=6046] ppid=6040 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6046/stat : 6046 (toysat) S 6040 6043 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108550424 1359548416 273413 33554432000 4194304 16246674 140734415980976 140603557924016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1327684

[startup+1602.3 s]
/proc/loadavg: 2.28 2.21 2.19 3/183 6183
/proc/meminfo: memFree=27986624/32872528 swapFree=15644/1722384
[pid=6043] ppid=6040 vsize=1327684 CPUtime=1601.86 cores=0,2,4,6
/proc/6043/stat : 6043 (toysat) R 6040 6043 4315 0 -1 4202496 273435 0 0 0 160121 65 0 0 20 0 4 0 108550424 1359548416 273413 33554432000 4194304 16246674 140734415980976 140734415962880 5712628 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6043/statm: 331921 273413 905 2943 0 328815 0
[pid=6043/tid=6044] ppid=6040 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6044/stat : 6044 (toysat) S 6040 6043 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550424 1359548416 273413 33554432000 4194304 16246674 140734415980976 140603578887408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6043/tid=6045] ppid=6040 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6045/stat : 6045 (toysat) S 6040 6043 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550424 1359548416 273413 33554432000 4194304 16246674 140734415980976 140603568397552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6043/tid=6046] ppid=6040 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6046/stat : 6046 (toysat) S 6040 6043 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108550424 1359548416 273413 33554432000 4194304 16246674 140734415980976 140603557924016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1327684

[startup+1662.3 s]
/proc/loadavg: 2.34 2.24 2.19 3/184 6187
/proc/meminfo: memFree=27986172/32872528 swapFree=15644/1722384
[pid=6043] ppid=6040 vsize=1327684 CPUtime=1661.84 cores=0,2,4,6
/proc/6043/stat : 6043 (toysat) R 6040 6043 4315 0 -1 4202496 273445 0 0 0 166119 65 0 0 20 0 4 0 108550424 1359548416 273423 33554432000 4194304 16246674 140734415980976 140734415962880 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6043/statm: 331921 273423 905 2943 0 328815 0
[pid=6043/tid=6044] ppid=6040 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6044/stat : 6044 (toysat) S 6040 6043 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550424 1359548416 273423 33554432000 4194304 16246674 140734415980976 140603578887408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6043/tid=6045] ppid=6040 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6045/stat : 6045 (toysat) S 6040 6043 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550424 1359548416 273423 33554432000 4194304 16246674 140734415980976 140603568397552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6043/tid=6046] ppid=6040 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6046/stat : 6046 (toysat) S 6040 6043 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108550424 1359548416 273423 33554432000 4194304 16246674 140734415980976 140603557924016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1327684

[startup+1722.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/183 6188
/proc/meminfo: memFree=27986212/32872528 swapFree=15644/1722384
[pid=6043] ppid=6040 vsize=1327684 CPUtime=1721.84 cores=0,2,4,6
/proc/6043/stat : 6043 (toysat) R 6040 6043 4315 0 -1 4202496 273445 0 0 0 172118 66 0 0 20 0 4 0 108550424 1359548416 273423 33554432000 4194304 16246674 140734415980976 140734415980152 5721729 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6043/statm: 331921 273423 905 2943 0 328815 0
[pid=6043/tid=6044] ppid=6040 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6044/stat : 6044 (toysat) S 6040 6043 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550424 1359548416 273423 33554432000 4194304 16246674 140734415980976 140603578887408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6043/tid=6045] ppid=6040 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6045/stat : 6045 (toysat) S 6040 6043 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550424 1359548416 273423 33554432000 4194304 16246674 140734415980976 140603568397552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6043/tid=6046] ppid=6040 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6046/stat : 6046 (toysat) S 6040 6043 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108550424 1359548416 273423 33554432000 4194304 16246674 140734415980976 140603557924016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1327684

[startup+1782.3 s]
/proc/loadavg: 2.13 2.18 2.17 3/183 6189
/proc/meminfo: memFree=27985840/32872528 swapFree=15644/1722384
[pid=6043] ppid=6040 vsize=1327684 CPUtime=1781.83 cores=0,2,4,6
/proc/6043/stat : 6043 (toysat) R 6040 6043 4315 0 -1 4202496 273445 0 0 0 178116 67 0 0 20 0 4 0 108550424 1359548416 273423 33554432000 4194304 16246674 140734415980976 140734415962880 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6043/statm: 331921 273423 905 2943 0 328815 0
[pid=6043/tid=6044] ppid=6040 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6044/stat : 6044 (toysat) S 6040 6043 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550424 1359548416 273423 33554432000 4194304 16246674 140734415980976 140603578887408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6043/tid=6045] ppid=6040 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6045/stat : 6045 (toysat) S 6040 6043 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550424 1359548416 273423 33554432000 4194304 16246674 140734415980976 140603568397552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6043/tid=6046] ppid=6040 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6046/stat : 6046 (toysat) S 6040 6043 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108550424 1359548416 273423 33554432000 4194304 16246674 140734415980976 140603557924016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1327684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.09 2.17 2.17 3/183 6189
/proc/meminfo: memFree=27986152/32872528 swapFree=15644/1722384
[pid=6043] ppid=6040 vsize=1327684 CPUtime=1800.03 cores=0,2,4,6
/proc/6043/stat : 6043 (toysat) R 6040 6043 4315 0 -1 4202496 273445 0 0 0 179936 67 0 0 20 0 4 0 108550424 1359548416 273423 33554432000 4194304 16246674 140734415980976 140734415962880 5722816 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6043/statm: 331921 273423 905 2943 0 328815 0
[pid=6043/tid=6044] ppid=6040 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6044/stat : 6044 (toysat) S 6040 6043 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550424 1359548416 273423 33554432000 4194304 16246674 140734415980976 140603578887408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6043/tid=6045] ppid=6040 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6045/stat : 6045 (toysat) S 6040 6043 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550424 1359548416 273423 33554432000 4194304 16246674 140734415980976 140603568397552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6043/tid=6046] ppid=6040 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6046/stat : 6046 (toysat) S 6040 6043 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108550424 1359548416 273423 33554432000 4194304 16246674 140734415980976 140603557924016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1327684

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

[startup+1800.5 s]
/proc/loadavg: 2.09 2.17 2.17 3/183 6189
/proc/meminfo: memFree=27986152/32872528 swapFree=15644/1722384
[pid=6043] ppid=6040 vsize=1327684 CPUtime=1800.03 cores=0,2,4,6
/proc/6043/stat : 6043 (toysat) R 6040 6043 4315 0 -1 4202496 273445 0 0 0 179936 67 0 0 20 0 4 0 108550424 1359548416 273423 33554432000 4194304 16246674 140734415980976 140734415962880 5722816 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6043/statm: 331921 273423 905 2943 0 328815 0
[pid=6043/tid=6044] ppid=6040 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6044/stat : 6044 (toysat) S 6040 6043 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550424 1359548416 273423 33554432000 4194304 16246674 140734415980976 140603578887408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6043/tid=6045] ppid=6040 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6045/stat : 6045 (toysat) S 6040 6043 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550424 1359548416 273423 33554432000 4194304 16246674 140734415980976 140603568397552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6043/tid=6046] ppid=6040 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6043/task/6046/stat : 6046 (toysat) S 6040 6043 4315 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108550424 1359548416 273423 33554432000 4194304 16246674 140734415980976 140603557924016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1327684

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.37
CPU system time (s): 0.674897
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 1327684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.674897
maximum resident set size= 1093692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273445
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= 338
involuntary context switches= 1842

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.56231 second user time and 6.93394 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-07 04:22:48
IDJOB=4079887
IDBENCH=71842
IDSOLVER=2542
FILE ID=node120/4079887-1465266168
RUNJOBID= node120-1465256721-4331
PBS_JOBID= 19843284
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx60.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079887-1465266168/watcher-4079887-1465266168 -o /tmp/evaluation-result-4079887-1465266168/solver-4079887-1465266168 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4331 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079887-1465266168.opb

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

MD5SUM BENCH= 26c9befa85d0a0769813e718015f6caa
RANDOM SEED=1594954382

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.425
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:        29064656 kB
Buffers:           95392 kB
Cached:           126360 kB
SwapCached:         1476 kB
Active:          1228864 kB
Inactive:         104940 kB
Active(anon):    1111572 kB
Inactive(anon):     3252 kB
Active(file):     117292 kB
Inactive(file):   101688 kB
Unevictable:     1722384 kB
Mlocked:           15644 kB
SwapTotal:      67108856 kB
SwapFree:       67099668 kB
Dirty:             16720 kB
Writeback:             0 kB
AnonPages:       2833912 kB
Mapped:            11840 kB
Shmem:                 0 kB
Slab:             614692 kB
SReclaimable:      58828 kB
SUnreclaim:       555864 kB
KernelStack:        1496 kB
PageTables:         9884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2977048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1759232 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node120 at 2016-06-07 04:52:49