Trace number 4100169

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos7.opb
MD5SUMa93c44578e8ffcb65ad1c65e578ef076
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark43
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 45
Optimality of the best value was proved NO
Number of variables33010
Total number of constraints2154
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)142
Number of constraints which are nor clauses,nor cardinality constraints2012
Minimum length of a constraint2
Maximum length of a constraint441
Number of terms in the objective function 4506
Biggest coefficient in the objective function 7151
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 527624
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 527624
Number of bits of the biggest sum of numbers20
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-18T02:59:16+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-4100169-1466211555.opb"]
0.00/0.01	c use --random-gen="2412381020 762278304 3696043103 1246367198 2741809064 2211915320 1483920039 2518712574 2387848520 2955932887 1181593445 809235485 3349979959 2387405090 256763157 3707006004 4150456832 3252013637 2801974903 2512863387 1317630382 2986249260 4024823000 605906020 1855100975 532613427 1610643553 2144091281 3792347844 4010516043 344712655 3498548521 3235662449 2215496354 3105510425 2840002658 1264199421 681469956 2442571383 667380354 1323521943 1775992200 3719005924 2595989572 1341102831 2335623355 3630640830 1980552631 1108328230 2776673945 2678948604 3742671427 4237935750 1958918500 3568500179 850544620 3011121525 2242382560 331964680 2548977171 2340262841 510052798 323422929 3719339814 3035055162 4014146811 1797814347 3096670384 2294662113 2799583029 1905172182 404865978 1164657360 1857344370 2579333190 1108198259 2522721567 3231906929 4083665425 385803826 2380235231 1377350808 3615675577 1508995275 3892000865 1153197497 4063817077 378037625 2166860622 2738107519 938289460 3693967779 3460840491 1031625180 897290366 1150081996 2435660288 750081808 3753443932 440936871 1586859151 1719793199 633541694 453351318 3207401230 1335139142 4200655422 2277662612 2719897612 1030599220 4049202356 2845777048 1037713108 3262403566 852592263 4271523383 1395456536 3953124191 3382514613 1332216394 1508696824 3966012068 3178122877 1611897336 527882787 397020022 3843911887 4200723552 1420934576 3543653317 3430744081 408800829 3892900221 759840491 77019084 2099770485 1686462580 3931990713 3873181234 1059248294 1546813086 2897104088 3114191103 2395121739 197399811 653737909 3661210073 3177563656 3826095366 1393822097 4020225292 150340795 1919870973 1294564589 2324141654 2379100924 1046597385 25945766 1375544329 3961395042 381407440 2809576169 3847876096 2027736030 2353036974 2386500814 1192787998 500802243 2068453763 3999948353 1933607405 4239509287 1158114492 710768524 539345011 937549086 936726236 2764227557 2234875278 4097735172 3383840622 3982504802 2913917777 2666423094 445302687 360424278 299103198 397878885 772345410 2052297998 106346957 2024508423 3331472281 1119679202 913986190 2420840095 3125919319 2821393532 785122336 1343318905 532103282 1969928673 1294554566 315492001 263096861 3040608697 1516720375 2799358781 3286034178 2560670322 1234978793 3813193604 3249872343 1176636580 2952567243 2754683011 3541705631 1096926086 2265134265 4108482181 1501859292 679948050 223336372 1876951728 2216387025 1315422754 3716119463 4160623403 3336357446 3605730904 2829642735 3389210374 1955010956 2453117276 2099255418 2237499572 1258541927 4263813730 873515532 306076889 3400669900 3387933865 80055019 2052842432 685556679 2928726067 711278660 2306680620 216322118 601077830 4034944421 966722855 882764002 653172318 1237222833 2159676014 255 362436" option to reproduce the execution
0.19/0.21	c #vars 33010
0.19/0.21	c #constraints 2154
7.79/7.85	c BCD2: Hardening is enabled.
7.79/7.85	c BCD2: BiasedSearch is enabled.
7.79/7.85	c Solving starts ...
7.79/7.85	c ============================[ Search Statistics ]============================
7.79/7.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.79/7.85	c       |         |          |          |    Limit     GC | Var      | Constra 
7.79/7.85	c =============================================================================
7.89/7.92	c  0.0s |       0 |        0 |        0 |    11878      0 |    13517 |        0
7.89/7.98	c  0.1s |       1 |      603 |      100 |    11878      0 |    13518 |      141
8.09/8.18	c  0.3s |       2 |     2562 |      250 |    13066      0 |    13521 |      141
8.39/8.40	c  0.5s |       3 |     5820 |      475 |    14373      0 |    13523 |      141
8.49/8.51	c  0.6s |       4 |     7506 |      813 |    15811      0 |    13523 |      141
8.68/8.71	c  0.8s |       5 |    13054 |     1320 |    17393      0 |    13524 |      141
9.48/9.55	c  1.6s |       6 |    20150 |     2081 |    21047      0 |    13525 |      141
10.28/10.32	c  2.4s |       7 |    21533 |     3223 |    23152      0 |    13525 |      141
11.09/11.13	c  3.2s |       8 |    23530 |     4936 |    25468      0 |    13525 |      141
13.19/13.21	c  5.3s |       8 |    32013 |     7436 |    25468      0 |    13525 |      141
13.19/13.27	c  5.3s |       9 |    32085 |     7506 |    28015      0 |    13525 |      141
15.28/15.34	c  7.4s |       9 |    35306 |    10006 |    28015      0 |    13525 |      141
16.49/16.55	c  8.6s |      10 |    36778 |    11361 |    30817      0 |    13525 |      141
18.48/18.58	c 10.7s |      10 |    39248 |    13361 |    30817      0 |    13525 |      141
20.58/20.69	c 12.8s |      10 |    41324 |    15261 |    30817      0 |    13525 |      141
22.69/22.76	c 14.8s |      11 |    43402 |    17144 |    33899      0 |    13525 |      141
24.89/24.90	c 17.0s |      11 |    45502 |    18744 |    33899      0 |    13525 |      141
26.88/26.92	c 19.0s |      11 |    47295 |    20344 |    33899      0 |    13525 |      141
28.88/28.94	c 21.0s |      11 |    49131 |    22044 |    33899      0 |    13525 |      141
30.90/30.97	c 23.1s |      11 |    51048 |    23744 |    33899      0 |    13525 |      141
32.99/33.09	c 25.2s |      11 |    52627 |    25244 |    33899      0 |    13525 |      141
33.98/34.01	c 26.1s |      12 |    53219 |    25819 |    37289      0 |    13525 |      141
36.18/36.20	c 28.3s |      12 |    54711 |    26919 |    37289      0 |    13525 |      141
38.18/38.21	c 30.3s |      12 |    56124 |    28219 |    37289      0 |    13525 |      141
40.18/40.23	c 32.3s |      12 |    57444 |    29419 |    37289      0 |    13525 |      141
42.29/42.33	c 34.4s |      12 |    58698 |    30619 |    37289      0 |    13525 |      141
44.39/44.49	c 36.6s |      12 |    59955 |    31819 |    37289      0 |    13525 |      141
46.48/46.55	c 38.6s |      12 |    61115 |    32919 |    37289      0 |    13525 |      141
48.49/48.57	c 40.6s |      12 |    62280 |    34019 |    37289      0 |    13525 |      141
50.69/50.73	c 42.8s |      12 |    63431 |    35119 |    37289      0 |    13525 |      141
52.89/52.92	c 45.0s |      12 |    64491 |    36119 |    37289      0 |    13525 |      141
54.99/55.10	c 47.2s |      12 |    65594 |    37119 |    37289      0 |    13525 |      141
57.08/57.19	c 49.3s |      12 |    73084 |    38019 |    37289      0 |    13525 |      141
58.98/59.01	c 51.1s |      13 |    73929 |    38832 |    41018      0 |    13525 |      141
60.98/61.08	c 53.2s |      13 |    74911 |    39532 |    41018      0 |    13525 |      141
63.18/63.25	c 55.3s |      13 |    76027 |    40632 |    41018      0 |    13525 |      141
65.28/65.39	c 57.5s |      13 |    77057 |    41632 |    41018      0 |    13525 |      141
67.48/67.57	c 59.7s |      13 |    78072 |    42632 |    41018      0 |    13525 |      141
69.68/69.77	c 61.8s |      13 |    79002 |    43532 |    41018      0 |    13525 |      141
71.78/71.87	c 63.9s |      13 |    91588 |    44532 |    41018      0 |    13525 |      141
74.18/74.25	c 66.3s |      13 |    92615 |    45232 |    41018      0 |    13525 |      141
76.28/76.35	c 68.4s |      13 |    93475 |    45932 |    41018      0 |    13525 |      141
78.48/78.52	c 70.6s |      13 |    94346 |    46632 |    41018      0 |    13525 |      141
80.58/80.67	c 72.8s |      13 |    95272 |    47332 |    41018      0 |    13525 |      141
82.78/82.83	c 74.9s |      13 |    96197 |    48032 |    41018      0 |    13525 |      141
84.78/84.86	c 76.9s |      13 |    97234 |    48832 |    41018      0 |    13525 |      141
86.78/86.90	c 79.0s |      13 |    98236 |    49532 |    41018      0 |    13525 |      141
88.88/88.97	c 81.1s |      13 |    99319 |    50432 |    41018      0 |    13525 |      141
91.07/91.17	c 83.3s |      13 |   100492 |    51332 |    41018      0 |    13525 |      141
93.27/93.32	c 85.4s |      13 |   101579 |    52232 |    41018      0 |    13525 |      141
95.47/95.57	c 87.7s |      13 |   102708 |    53032 |    41018      0 |    13525 |      141
97.67/97.78	c 89.9s |      13 |   103802 |    53932 |    41018      0 |    13525 |      141
99.77/99.88	c 92.0s |      13 |   104793 |    54732 |    41018      0 |    13525 |      141
102.07/102.13	c 94.2s |      13 |   105827 |    55532 |    41018      0 |    13525 |      141
104.07/104.19	c 96.3s |      13 |   106792 |    56332 |    41018      0 |    13525 |      141
106.27/106.39	c 98.5s |      13 |   107395 |    56832 |    41018      1 |    13525 |      141
119.57/119.64	c  111s |      13 |   108449 |    57632 |    41018      1 |    13525 |      141
121.57/121.64	c  113s |      14 |   109327 |    58352 |    45120      1 |    13525 |      141
123.77/123.81	c  115s |      14 |   111480 |    59852 |    45120      1 |    13525 |      141
125.77/125.81	c  117s |      14 |   112250 |    60552 |    45120      1 |    13525 |      141
127.77/127.87	c  119s |      14 |   113774 |    61952 |    45120      1 |    13525 |      141
129.78/129.88	c  121s |      14 |   115295 |    63352 |    45120      1 |    13525 |      141
131.87/131.96	c  124s |      14 |   116854 |    64752 |    45120      1 |    13525 |      141
134.07/134.10	c  126s |      14 |   118011 |    65752 |    45120      1 |    13525 |      141
136.07/136.13	c  128s |      14 |   119044 |    66652 |    45120      1 |    13525 |      141
138.17/138.23	c  130s |      14 |   120178 |    67652 |    45120      1 |    13525 |      141
140.37/140.42	c  132s |      14 |   121310 |    68652 |    45120      1 |    13525 |      141
142.47/142.58	c  134s |      14 |   122363 |    69552 |    45120      1 |    13525 |      141
144.57/144.62	c  136s |      14 |   123427 |    70452 |    45120      1 |    13525 |      141
146.57/146.64	c  138s |      14 |   124520 |    71452 |    45120      1 |    13525 |      141
148.58/148.65	c  140s |      14 |   125907 |    72652 |    45120      1 |    13525 |      141
150.78/150.87	c  142s |      14 |   126996 |    73652 |    45120      1 |    13525 |      141
152.88/152.97	c  145s |      14 |   127936 |    74452 |    45120      1 |    13525 |      141
154.97/155.02	c  147s |      14 |   129097 |    75452 |    45120      1 |    13525 |      141
157.07/157.17	c  149s |      14 |   130191 |    76452 |    45120      1 |    13525 |      141
159.17/159.23	c  151s |      14 |   131925 |    77952 |    45120      1 |    13525 |      141
161.17/161.27	c  153s |      14 |   133206 |    79152 |    45120      1 |    13525 |      141
163.26/163.32	c  155s |      14 |   141597 |    79852 |    45120      1 |    13525 |      141
165.36/165.40	c  157s |      14 |   143900 |    81652 |    45120      1 |    13525 |      141
167.36/167.44	c  159s |      14 |   145563 |    83052 |    45120      1 |    13525 |      141
169.37/169.49	c  161s |      14 |   147078 |    84352 |    45120      1 |    13525 |      141
171.56/171.60	c  163s |      14 |   148583 |    85652 |    45120      1 |    13525 |      141
173.56/173.61	c  165s |      14 |   149878 |    86852 |    45120      1 |    13525 |      141
174.97/175.07	c  167s |      15 |   150746 |    87632 |    49633      1 |    13525 |      141
177.07/177.12	c  169s |      15 |   154870 |    88532 |    49633      1 |    13525 |      141
179.07/179.14	c  171s |      15 |   156692 |    90232 |    49633      1 |    13525 |      141
181.17/181.24	c  173s |      15 |   158501 |    91832 |    49633      1 |    13525 |      141
183.27/183.36	c  175s |      15 |   160111 |    93332 |    49633      1 |    13525 |      141
185.36/185.41	c  177s |      15 |   162519 |    94632 |    49633      1 |    13525 |      141
187.36/187.48	c  179s |      15 |   164410 |    96132 |    49633      1 |    13525 |      141
189.56/189.62	c  181s |      15 |   165925 |    97432 |    49633      1 |    13525 |      141
191.66/191.75	c  183s |      15 |   167478 |    98832 |    49633      1 |    13525 |      141
195.26/195.32	c  187s |      15 |   168886 |   100132 |    49633      2 |    13525 |      141
197.36/197.43	c  189s |      15 |   170369 |   101532 |    49633      2 |    13525 |      141
199.46/199.54	c  191s |      15 |   172090 |   103032 |    49633      2 |    13525 |      141
201.66/201.72	c  193s |      15 |   173625 |   104432 |    49633      2 |    13525 |      141
203.66/203.73	c  195s |      15 |   174885 |   105532 |    49633      2 |    13525 |      141
205.67/205.79	c  197s |      15 |   176349 |   106732 |    49633      2 |    13525 |      141
207.76/207.81	c  199s |      15 |   177608 |   107832 |    49633      2 |    13525 |      141
209.86/209.91	c  201s |      15 |   178954 |   109032 |    49633      2 |    13525 |      141
211.86/211.95	c  204s |      15 |   180182 |   110132 |    49633      2 |    13525 |      141
213.86/213.99	c  206s |      15 |   181505 |   111332 |    49633      2 |    13525 |      141
216.06/216.10	c  208s |      15 |   182694 |   112432 |    49633      2 |    13525 |      141
218.06/218.16	c  210s |      15 |   183911 |   113532 |    49633      2 |    13525 |      141
220.07/220.18	c  212s |      15 |   185149 |   114632 |    49633      2 |    13525 |      141
222.16/222.23	c  214s |      15 |   186256 |   115732 |    49633      2 |    13525 |      141
224.16/224.24	c  216s |      15 |   187651 |   116932 |    49633      2 |    13525 |      141
226.36/226.43	c  218s |      15 |   189016 |   118132 |    49633      2 |    13525 |      141
228.46/228.55	c  220s |      15 |   190220 |   119232 |    49633      2 |    13525 |      141
230.46/230.57	c  222s |      15 |   191270 |   120232 |    49633      2 |    13525 |      141
232.56/232.61	c  224s |      15 |   192304 |   121232 |    49633      2 |    13525 |      141
234.56/234.68	c  226s |      15 |   193340 |   122232 |    49633      2 |    13525 |      141
236.76/236.82	c  228s |      15 |   194395 |   123232 |    49633      2 |    13525 |      141
238.76/238.89	c  230s |      15 |   195351 |   124132 |    49633      2 |    13525 |      141
240.86/240.98	c  233s |      15 |   196418 |   125132 |    49633      2 |    13525 |      141
243.06/243.16	c  235s |      15 |   197442 |   126032 |    49633      2 |    13525 |      141
245.26/245.38	c  237s |      15 |   198392 |   126932 |    49633      2 |    13525 |      141
247.35/247.45	c  239s |      15 |   199260 |   127732 |    49633      2 |    13525 |      141
249.35/249.47	c  241s |      15 |   200107 |   128532 |    49633      2 |    13525 |      141
251.65/251.75	c  243s |      15 |   201105 |   129432 |    49633      2 |    13525 |      141
253.75/253.82	c  245s |      15 |   202077 |   130332 |    49633      2 |    13525 |      141
255.85/255.93	c  248s |      15 |   203113 |   131332 |    54597      2 |    13525 |      141
256.36/256.43	c  248s |      16 |   203335 |   131552 |    54597      2 |    13525 |      141
258.46/258.56	c  250s |      16 |   204245 |   132152 |    54597      2 |    13525 |      141
260.55/260.68	c  252s |      16 |   205519 |   133252 |    54597      2 |    13525 |      141
262.75/262.89	c  254s |      16 |   206374 |   134052 |    54597      2 |    13525 |      141
265.35/265.43	c  257s |      16 |   206939 |   134552 |    54597      3 |    13525 |      141
267.55/267.60	c  259s |      16 |   207878 |   135252 |    54597      3 |    13525 |      141
269.56/269.66	c  261s |      16 |   209011 |   136252 |    54597      3 |    13525 |      141
271.76/271.84	c  263s |      16 |   210406 |   137452 |    54597      3 |    13525 |      141
273.75/273.85	c  265s |      16 |   211489 |   138352 |    54597      3 |    13525 |      141
275.85/275.94	c  268s |      16 |   213005 |   139652 |    54597      3 |    13525 |      141
277.85/277.97	c  270s |      16 |   214604 |   140952 |    54597      3 |    13525 |      141
280.45/280.53	c  272s |      16 |   215398 |   141652 |    54597      3 |    13525 |      141
282.55/282.65	c  274s |      16 |   216805 |   142852 |    54597      3 |    13525 |      141
284.65/284.79	c  276s |      16 |   217722 |   143652 |    54597      3 |    13525 |      141
286.85/286.90	c  278s |      16 |   218516 |   144352 |    54597      3 |    13525 |      141
288.95/289.04	c  281s |      16 |   219638 |   145352 |    54597      3 |    13525 |      141
291.05/291.11	c  283s |      16 |   220504 |   146152 |    54597      3 |    13525 |      141
293.05/293.19	c  285s |      16 |   221500 |   147052 |    54597      3 |    13525 |      141
295.35/295.41	c  287s |      16 |   222701 |   148052 |    54597      3 |    13525 |      141
297.34/297.42	c  289s |      16 |   223965 |   149052 |    54597      3 |    13525 |      141
299.54/299.61	c  291s |      16 |   225034 |   149952 |    54597      3 |    13525 |      141
301.64/301.71	c  293s |      16 |   226273 |   150752 |    54597      3 |    13525 |      141
303.65/303.77	c  295s |      16 |   227250 |   151552 |    54597      3 |    13525 |      141
305.85/305.98	c  298s |      16 |   228271 |   152352 |    54597      3 |    13525 |      141
307.95/308.06	c  300s |      16 |   229378 |   153152 |    54597      3 |    13525 |      141
309.94/310.07	c  302s |      16 |   230682 |   154052 |    54597      3 |    13525 |      141
312.04/312.19	c  304s |      16 |   232111 |   155052 |    54597      3 |    13525 |      141
314.24/314.39	c  306s |      16 |   233541 |   156152 |    54597      3 |    13525 |      141
316.34/316.40	c  308s |      16 |   234603 |   156952 |    54597      3 |    13525 |      141
318.34/318.42	c  310s |      16 |   235633 |   157752 |    54597      3 |    13525 |      141
320.44/320.55	c  312s |      16 |   236772 |   158652 |    54597      3 |    13525 |      141
322.64/322.72	c  314s |      16 |   237953 |   159552 |    54597      3 |    13525 |      141
324.74/324.86	c  316s |      16 |   239040 |   160452 |    54597      3 |    13525 |      141
326.94/327.06	c  319s |      16 |   240128 |   161352 |    54597      3 |    13525 |      141
329.14/329.20	c  321s |      16 |   241142 |   162252 |    54597      3 |    13525 |      141
331.24/331.34	c  323s |      16 |   242202 |   163152 |    54597      3 |    13525 |      141
333.44/333.57	c  325s |      16 |   243212 |   164052 |    54597      3 |    13525 |      141
335.74/335.80	c  327s |      16 |   244244 |   164952 |    54597      3 |    13525 |      141
337.94/338.04	c  330s |      16 |   245465 |   165852 |    54597      3 |    13525 |      141
340.04/340.16	c  332s |      16 |   246394 |   166652 |    54597      3 |    13525 |      141
342.15/342.27	c  334s |      16 |   247364 |   167452 |    54597      3 |    13525 |      141
344.24/344.34	c  336s |      16 |   248191 |   168152 |    54597      3 |    13525 |      141
346.24/346.38	c  338s |      16 |   249083 |   168852 |    54597      3 |    13525 |      141
348.34/348.47	c  340s |      16 |   249875 |   169552 |    54597      3 |    13525 |      141
351.14/351.24	c  343s |      16 |   250319 |   169952 |    54597      4 |    13525 |      141
360.93/361.06	c  353s |      16 |   250424 |   170052 |    54597      4 |    13525 |      141
394.13/394.23	c  386s |      16 |   250864 |   170452 |    54597      4 |    13525 |      141
396.33/396.44	c  388s |      16 |   251974 |   171352 |    54597      4 |    13525 |      141
398.33/398.48	c  390s |      16 |   253308 |   172452 |    54597      4 |    13525 |      141
400.44/400.53	c  392s |      16 |   254878 |   173752 |    54597      4 |    13525 |      141
402.43/402.59	c  394s |      16 |   256097 |   174852 |    54597      4 |    13525 |      141
404.63/404.73	c  396s |      16 |   257297 |   175852 |    54597      4 |    13525 |      141
406.63/406.77	c  398s |      16 |   258733 |   176952 |    54597      4 |    13525 |      141
408.83/408.94	c  401s |      16 |   260095 |   178152 |    54597      4 |    13525 |      141
410.93/411.04	c  403s |      16 |   261313 |   179252 |    54597      4 |    13525 |      141
413.13/413.21	c  405s |      16 |   262492 |   180252 |    54597      4 |    13525 |      141
415.23/415.31	c  407s |      16 |   263773 |   181352 |    54597      4 |    13525 |      141
417.33/417.45	c  409s |      16 |   264981 |   182452 |    54597      4 |    13525 |      141
419.43/419.56	c  411s |      16 |   266147 |   183452 |    54597      4 |    13525 |      141
421.52/421.60	c  413s |      16 |   267247 |   184352 |    54597      4 |    13525 |      141
423.53/423.66	c  415s |      16 |   268303 |   185252 |    54597      4 |    13525 |      141
425.63/425.73	c  417s |      16 |   269334 |   186152 |    54597      4 |    13525 |      141
427.72/427.80	c  419s |      16 |   270400 |   187052 |    54597      4 |    13525 |      141
429.72/429.80	c  421s |      16 |   271396 |   187952 |    54597      4 |    13525 |      141
431.82/431.93	c  424s |      16 |   272517 |   188952 |    54597      4 |    13525 |      141
436.52/436.64	c  428s |      16 |   273238 |   189552 |    54597      4 |    13525 |      141
438.62/438.77	c  430s |      16 |   274257 |   190352 |    54597      4 |    13525 |      141
440.82/440.99	c  433s |      16 |   275336 |   191152 |    54597      4 |    13525 |      141
443.02/443.16	c  435s |      16 |   276365 |   191952 |    54597      4 |    13525 |      141
445.22/445.31	c  437s |      16 |   277446 |   192752 |    54597      4 |    13525 |      141
447.32/447.46	c  439s |      16 |   278438 |   193552 |    54597      4 |    13525 |      141
449.62/449.70	c  441s |      16 |   279550 |   194352 |    54597      4 |    13525 |      141
451.82/451.95	c  444s |      16 |   280533 |   195152 |    54597      4 |    13525 |      141
454.02/454.13	c  446s |      16 |   281451 |   195952 |    54597      4 |    13525 |      141
456.12/456.27	c  448s |      16 |   282486 |   196752 |    60057      4 |    13525 |      141
458.02/458.10	c  450s |      17 |   283307 |   197432 |    60057      4 |    13525 |      141
460.02/460.18	c  452s |      17 |   284134 |   197932 |    60057      4 |    13525 |      141
462.22/462.33	c  454s |      17 |   285110 |   198732 |    60057      4 |    13525 |      141
464.32/464.44	c  456s |      17 |   286001 |   199432 |    60057      4 |    13525 |      141
466.42/466.53	c  458s |      17 |   287018 |   200232 |    60057      4 |    13525 |      141
468.41/468.58	c  460s |      17 |   287911 |   201032 |    60057      4 |    13525 |      141
470.61/470.73	c  462s |      17 |   288798 |   201832 |    60057      4 |    13525 |      141
472.81/473.00	c  465s |      17 |   289511 |   202432 |    60057      4 |    13525 |      141
475.01/475.14	c  467s |      17 |   290334 |   203132 |    60057      4 |    13525 |      141
477.11/477.25	c  469s |      17 |   291162 |   203832 |    60057      4 |    13525 |      141
479.31/479.41	c  471s |      17 |   292054 |   204532 |    60057      4 |    13525 |      141
481.41/481.56	c  473s |      17 |   292918 |   205232 |    60057      4 |    13525 |      141
483.71/483.84	c  475s |      17 |   293907 |   206032 |    60057      4 |    13525 |      141
485.71/485.84	c  477s |      17 |   294759 |   206732 |    60057      4 |    13525 |      141
487.71/487.85	c  479s |      17 |   295563 |   207432 |    60057      4 |    13525 |      141
489.90/490.08	c  482s |      17 |   296436 |   208232 |    60057      4 |    13525 |      141
492.10/492.29	c  484s |      17 |   297363 |   208932 |    60057      4 |    13525 |      141
494.40/494.51	c  486s |      17 |   298379 |   209732 |    60057      4 |    13525 |      141
498.31/498.48	c  490s |      17 |   299208 |   210432 |    60057      5 |    13525 |      141
500.51/500.62	c  492s |      17 |   299759 |   210932 |    60057      5 |    13525 |      141
505.40/505.56	c  497s |      17 |   300371 |   211432 |    60057      5 |    13525 |      141
507.59/507.72	c  499s |      17 |   301289 |   212232 |    60057      5 |    13525 |      141
509.59/509.79	c  501s |      17 |   302365 |   213132 |    60057      5 |    13525 |      141
511.69/511.88	c  503s |      17 |   303430 |   214032 |    60057      5 |    13525 |      141
513.89/514.07	c  506s |      17 |   304516 |   214932 |    60057      5 |    13525 |      141
515.99/516.15	c  508s |      17 |   305497 |   215832 |    60057      5 |    13525 |      141
593.27/593.41	c  585s |      17 |   306088 |   216332 |    60057      5 |    13525 |      141
595.27/595.49	c  587s |      17 |   307802 |   217532 |    60057      5 |    13525 |      141
597.37/597.59	c  589s |      17 |   309442 |   218732 |    60057      5 |    13525 |      141
599.47/599.60	c  591s |      17 |   310789 |   219732 |    60057      5 |    13525 |      141
601.57/601.76	c  593s |      17 |   312095 |   220732 |    60057      5 |    13525 |      141
603.67/603.84	c  595s |      17 |   313361 |   221632 |    60057      5 |    13525 |      141
605.86/606.02	c  598s |      17 |   314645 |   222532 |    60057      5 |    13525 |      141
607.86/608.07	c  600s |      17 |   315975 |   223532 |    60057      5 |    13525 |      141
609.96/610.17	c  602s |      17 |   317166 |   224532 |    60057      5 |    13525 |      141
612.06/612.28	c  604s |      17 |   318278 |   225432 |    60057      5 |    13525 |      141
614.16/614.35	c  606s |      17 |   319210 |   226232 |    60057      5 |    13525 |      141
616.26/616.47	c  608s |      17 |   320210 |   227032 |    60057      5 |    13525 |      141
618.46/618.60	c  610s |      17 |   321376 |   227932 |    60057      5 |    13525 |      141
620.56/620.70	c  612s |      17 |   322548 |   228832 |    60057      5 |    13525 |      141
622.66/622.88	c  614s |      17 |   323607 |   229732 |    60057      5 |    13525 |      141
624.96/625.11	c  617s |      17 |   324649 |   230632 |    60057      5 |    13525 |      141
626.96/627.13	c  619s |      17 |   325727 |   231532 |    60057      5 |    13525 |      141
629.06/629.25	c  621s |      17 |   326830 |   232432 |    60057      5 |    13525 |      141
631.26/631.46	c  623s |      17 |   327880 |   233232 |    60057      5 |    13525 |      141
633.35/633.57	c  625s |      17 |   328799 |   233932 |    60057      5 |    13525 |      141
635.55/635.72	c  627s |      17 |   329887 |   234732 |    60057      5 |    13525 |      141
637.65/637.80	c  629s |      17 |   330707 |   235432 |    60057      5 |    13525 |      141
639.85/640.02	c  632s |      17 |   331505 |   236132 |    60057      5 |    13525 |      141
641.85/642.07	c  634s |      17 |   332415 |   236832 |    60057      5 |    13525 |      141
644.05/644.23	c  636s |      17 |   333325 |   237632 |    60057      5 |    13525 |      141
646.25/646.43	c  638s |      17 |   334401 |   238532 |    60057      5 |    13525 |      141
648.25/648.44	c  640s |      17 |   335225 |   239232 |    60057      5 |    13525 |      141
650.44/650.66	c  642s |      17 |   336126 |   240032 |    60057      5 |    13525 |      141
652.64/652.86	c  644s |      17 |   337060 |   240832 |    60057      5 |    13525 |      141
654.74/654.91	c  646s |      17 |   337820 |   241532 |    60057      5 |    13525 |      141
656.74/656.92	c  649s |      17 |   338604 |   242232 |    60057      5 |    13525 |      141
658.85/659.06	c  651s |      17 |   339592 |   243032 |    60057      5 |    13525 |      141
661.14/661.34	c  653s |      17 |   340586 |   243832 |    60057      5 |    13525 |      141
663.44/663.62	c  655s |      17 |   341530 |   244632 |    60057      5 |    13525 |      141
665.64/665.80	c  657s |      17 |   342510 |   245432 |    60057      5 |    13525 |      141
667.84/668.07	c  660s |      17 |   343508 |   246232 |    60057      5 |    13525 |      141
670.13/670.31	c  662s |      17 |   344389 |   247032 |    60057      5 |    13525 |      141
672.23/672.40	c  664s |      17 |   345185 |   247732 |    60057      5 |    13525 |      141
678.94/679.14	c  671s |      17 |   345921 |   248332 |    60057      6 |    13525 |      141
686.43/686.62	c  678s |      17 |   346079 |   248432 |    60057      6 |    13525 |      141
688.53/688.78	c  680s |      17 |   347383 |   249232 |    60057      6 |    13525 |      141
690.73/691.00	c  683s |      17 |   349150 |   250232 |    60057      6 |    13525 |      141
692.83/693.01	c  685s |      17 |   350379 |   251032 |    60057      6 |    13525 |      141
694.82/695.08	c  687s |      17 |   351262 |   251732 |    60057      6 |    13525 |      141
697.02/697.25	c  689s |      17 |   352249 |   252532 |    60057      6 |    13525 |      141
699.22/699.46	c  691s |      17 |   353580 |   253532 |    60057      6 |    13525 |      141
701.42/701.62	c  693s |      17 |   354727 |   254432 |    60057      6 |    13525 |      141
703.42/703.63	c  695s |      17 |   355770 |   255232 |    60057      6 |    13525 |      141
705.62/705.84	c  697s |      17 |   356915 |   256132 |    60057      6 |    13525 |      141
707.72/707.94	c  700s |      17 |   357855 |   256932 |    60057      6 |    13525 |      141
710.02/710.27	c  702s |      17 |   358762 |   257732 |    60057      6 |    13525 |      141
712.12/712.34	c  704s |      17 |   359534 |   258432 |    60057      6 |    13525 |      141
714.32/714.59	c  706s |      17 |   360397 |   259232 |    60057      6 |    13525 |      141
716.52/716.71	c  708s |      17 |   361168 |   259932 |    60057      6 |    13525 |      141
718.72/718.96	c  711s |      17 |   362027 |   260732 |    60057      6 |    13525 |      141
720.91/721.11	c  713s |      17 |   363000 |   261532 |    60057      6 |    13525 |      141
723.01/723.20	c  715s |      17 |   363930 |   262332 |    60057      6 |    13525 |      141
725.01/725.29	c  717s |      17 |   364944 |   263132 |    60057      6 |    13525 |      141
727.21/727.46	c  719s |      17 |   365868 |   263932 |    60057      6 |    13525 |      141
729.21/729.46	c  721s |      17 |   366635 |   264632 |    60057      6 |    13525 |      141
731.51/731.72	c  723s |      17 |   367286 |   265232 |    60057      6 |    13525 |      141
733.61/733.82	c  725s |      17 |   368070 |   265932 |    60057      6 |    13525 |      141
735.61/735.85	c  727s |      17 |   368815 |   266632 |    60057      6 |    13525 |      141
737.81/738.06	c  730s |      17 |   369753 |   267432 |    60057      6 |    13525 |      141
740.00/740.21	c  732s |      17 |   370670 |   268232 |    60057      6 |    13525 |      141
742.31/742.52	c  734s |      17 |   371564 |   269032 |    60057      6 |    13525 |      141
744.40/744.60	c  736s |      17 |   372397 |   269732 |    60057      6 |    13525 |      141
746.40/746.66	c  738s |      17 |   373230 |   270432 |    60057      6 |    13525 |      141
748.60/748.90	c  740s |      17 |   374162 |   271232 |    60057      6 |    13525 |      141
750.80/751.02	c  743s |      17 |   374971 |   271932 |    60057      6 |    13525 |      141
753.00/753.29	c  745s |      17 |   375784 |   272632 |    60057      6 |    13525 |      141
755.10/755.36	c  747s |      17 |   376634 |   273332 |    60057      6 |    13525 |      141
757.10/757.39	c  749s |      17 |   377528 |   274032 |    60057      6 |    13525 |      141
759.20/759.48	c  751s |      17 |   378328 |   274732 |    60057      6 |    13525 |      141
761.39/761.60	c  753s |      17 |   379089 |   275432 |    60057      6 |    13525 |      141
763.49/763.77	c  755s |      17 |   379931 |   276132 |    60057      6 |    13525 |      141
765.69/765.93	c  758s |      17 |   380826 |   276832 |    60057      6 |    13525 |      141
767.79/768.06	c  760s |      17 |   381695 |   277532 |    60057      6 |    13525 |      141
776.59/776.81	c  768s |      17 |   382176 |   277932 |    60057      6 |    13525 |      141
778.89/779.10	c  771s |      17 |   382887 |   278532 |    60057      6 |    13525 |      141
780.99/781.21	c  773s |      17 |   383492 |   279032 |    60057      6 |    13525 |      141
783.00/783.22	c  775s |      17 |   383965 |   279432 |    60057      6 |    13525 |      141
784.99/785.26	c  777s |      17 |   384770 |   280132 |    60057      6 |    13525 |      141
787.29/787.53	c  779s |      17 |   385572 |   280832 |    60057      6 |    13525 |      141
789.39/789.60	c  781s |      17 |   386564 |   281632 |    60057      6 |    13525 |      141
791.59/791.81	c  783s |      17 |   387333 |   282332 |    60057      6 |    13525 |      141
793.59/793.85	c  785s |      17 |   388056 |   282832 |    60057      6 |    13525 |      141
795.69/795.90	c  787s |      17 |   388579 |   283332 |    60057      6 |    13525 |      141
797.68/797.95	c  790s |      17 |   389123 |   283832 |    60057      6 |    13525 |      141
800.08/800.34	c  792s |      17 |   389820 |   284432 |    60057      6 |    13525 |      141
802.38/802.63	c  794s |      17 |   390542 |   285032 |    60057      6 |    13525 |      141
804.58/804.89	c  796s |      17 |   391281 |   285632 |    60057      6 |    13525 |      141
806.68/806.96	c  799s |      17 |   392004 |   286132 |    60057      6 |    13525 |      141
814.08/814.36	c  806s |      17 |   392136 |   286232 |    60057      7 |    13525 |      141
816.68/816.96	c  809s |      17 |   392593 |   286632 |    60057      7 |    13525 |      141
818.78/819.00	c  811s |      17 |   393624 |   287532 |    60057      7 |    13525 |      141
820.78/821.05	c  813s |      17 |   394093 |   287932 |    60057      7 |    13525 |      141
822.98/823.27	c  815s |      17 |   394975 |   288632 |    60057      7 |    13525 |      141
825.18/825.44	c  817s |      17 |   396081 |   289532 |    60057      7 |    13525 |      141
827.28/827.51	c  819s |      17 |   397024 |   290332 |    60057      7 |    13525 |      141
829.38/829.60	c  821s |      17 |   397947 |   291132 |    60057      7 |    13525 |      141
831.38/831.68	c  823s |      17 |   398829 |   291932 |    60057      7 |    13525 |      141
833.68/833.92	c  826s |      17 |   399047 |   292132 |    60057      7 |    13525 |      141
835.67/835.94	c  828s |      17 |   399971 |   292932 |    60057      7 |    13525 |      141
837.67/837.98	c  830s |      17 |   401007 |   293832 |    60057      7 |    13525 |      141
839.77/840.08	c  832s |      17 |   402192 |   294732 |    66063      7 |    13525 |      141
841.87/842.14	c  834s |      17 |   403327 |   295632 |    66063      7 |    13525 |      141
843.37/843.62	c  835s |      18 |   404029 |   296252 |    66063      7 |    13525 |      141
845.57/845.83	c  837s |      18 |   405002 |   296952 |    66063      7 |    13525 |      141
847.77/848.01	c  840s |      18 |   406123 |   297852 |    66063      7 |    13525 |      141
849.97/850.21	c  842s |      18 |   407273 |   298752 |    66063      7 |    13525 |      141
851.97/852.25	c  844s |      18 |   408257 |   299552 |    66063      7 |    13525 |      141
854.07/854.37	c  846s |      18 |   409276 |   300352 |    66063      7 |    13525 |      141
856.17/856.48	c  848s |      18 |   410302 |   301152 |    66063      7 |    13525 |      141
858.27/858.59	c  850s |      18 |   411569 |   302252 |    66063      7 |    13525 |      141
897.96/898.22	c  890s |      18 |   412064 |   302652 |    66063      7 |    13525 |      141
900.05/900.34	c  892s |      18 |   413108 |   303552 |    66063      7 |    13525 |      141
902.05/902.35	c  894s |      18 |   414002 |   304352 |    66063      7 |    13525 |      141
904.25/904.52	c  896s |      18 |   415302 |   305452 |    66063      7 |    13525 |      141
906.26/906.54	c  898s |      18 |   416328 |   306352 |    66063      7 |    13525 |      141
945.14/945.42	c  937s |      18 |   417306 |   307252 |    66063      7 |    13525 |      141
947.14/947.49	c  939s |      18 |   418227 |   308052 |    66063      7 |    13525 |      141
949.34/949.62	c  941s |      18 |   419129 |   308852 |    66063      7 |    13525 |      141
951.44/951.75	c  943s |      18 |   420057 |   309652 |    66063      7 |    13525 |      141
953.54/953.88	c  945s |      18 |   420935 |   310352 |    66063      7 |    13525 |      141
955.84/956.12	c  948s |      18 |   422076 |   311252 |    66063      7 |    13525 |      141
957.94/958.29	c  950s |      18 |   422862 |   311952 |    66063      7 |    13525 |      141
960.23/960.52	c  952s |      18 |   423743 |   312752 |    66063      7 |    13525 |      141
962.34/962.69	c  954s |      18 |   424750 |   313652 |    66063      7 |    13525 |      141
964.54/964.81	c  956s |      18 |   425549 |   314352 |    66063      7 |    13525 |      141
966.64/966.95	c  959s |      18 |   426475 |   315152 |    66063      7 |    13525 |      141
968.63/968.97	c  961s |      18 |   427370 |   315952 |    66063      7 |    13525 |      141
970.73/971.06	c  963s |      18 |   428303 |   316752 |    66063      7 |    13525 |      141
972.73/973.07	c  965s |      18 |   429219 |   317552 |    66063      7 |    13525 |      141
974.73/975.07	c  967s |      18 |   430139 |   318352 |    66063      7 |    13525 |      141
976.83/977.19	c  969s |      18 |   431223 |   319252 |    66063      7 |    13525 |      141
978.93/979.25	c  971s |      18 |   432216 |   320152 |    66063      7 |    13525 |      141
981.03/981.33	c  973s |      18 |   433154 |   320952 |    66063      7 |    13525 |      141
983.13/983.42	c  975s |      18 |   434094 |   321752 |    66063      7 |    13525 |      141
985.22/985.50	c  977s |      18 |   435175 |   322652 |    66063      7 |    13525 |      141
987.42/987.72	c  979s |      18 |   436210 |   323552 |    66063      7 |    13525 |      141
989.52/989.86	c  981s |      18 |   437143 |   324352 |    66063      7 |    13525 |      141
991.72/992.00	c  984s |      18 |   438041 |   325052 |    66063      7 |    13525 |      141
993.82/994.15	c  986s |      18 |   439051 |   325852 |    66063      7 |    13525 |      141
995.82/996.16	c  988s |      18 |   439966 |   326652 |    66063      7 |    13525 |      141
998.02/998.35	c  990s |      18 |   440918 |   327552 |    66063      7 |    13525 |      141
1000.22/1000.58	c  992s |      18 |   441872 |   328352 |    66063      7 |    13525 |      141
1002.42/1002.78	c  994s |      18 |   442883 |   329152 |    66063      7 |    13525 |      141
1004.72/1005.05	c  997s |      18 |   444140 |   329952 |    66063      7 |    13525 |      141
1007.81/1008.13	c 1000s |      18 |   444421 |   330152 |    66063      8 |    13525 |      141
1021.32/1021.67	c 1013s |      18 |   444754 |   330352 |    66063      8 |    13525 |      141
1023.52/1023.83	c 1015s |      18 |   445657 |   331052 |    66063      8 |    13525 |      141
1025.52/1025.88	c 1017s |      18 |   447028 |   332152 |    66063      8 |    13525 |      141
1027.62/1027.97	c 1020s |      18 |   448535 |   333252 |    66063      8 |    13525 |      141
1029.81/1030.18	c 1022s |      18 |   449986 |   334352 |    66063      8 |    13525 |      141
1032.11/1032.47	c 1024s |      18 |   450507 |   334652 |    66063      8 |    13525 |      141
1034.21/1034.53	c 1026s |      18 |   452007 |   335552 |    66063      8 |    13525 |      141
1036.21/1036.54	c 1028s |      18 |   453597 |   336452 |    66063      8 |    13525 |      141
1038.31/1038.64	c 1030s |      18 |   455092 |   337452 |    66063      8 |    13525 |      141
1040.41/1040.72	c 1032s |      18 |   456558 |   338452 |    66063      8 |    13525 |      141
1042.61/1042.98	c 1035s |      18 |   457866 |   339452 |    66063      8 |    13525 |      141
1044.81/1045.17	c 1037s |      18 |   458877 |   340252 |    66063      8 |    13525 |      141
1047.01/1047.39	c 1039s |      18 |   459912 |   341152 |    66063      8 |    13525 |      141
1049.30/1049.64	c 1041s |      18 |   460954 |   342052 |    66063      8 |    13525 |      141
1051.41/1051.72	c 1043s |      18 |   461866 |   342852 |    66063      8 |    13525 |      141
1053.61/1053.93	c 1046s |      18 |   462759 |   343652 |    66063      8 |    13525 |      141
1055.60/1055.99	c 1048s |      18 |   463752 |   344552 |    66063      8 |    13525 |      141
1057.91/1058.25	c 1050s |      18 |   464696 |   345452 |    66063      8 |    13525 |      141
1294.24/1294.64	c 1286s |      18 |   464804 |   345552 |    66063      8 |    13525 |      141
1296.44/1296.82	c 1288s |      18 |   465647 |   346352 |    66063      8 |    13525 |      141
1298.44/1298.89	c 1290s |      18 |   466605 |   347252 |    66063      8 |    13525 |      141
1300.54/1300.98	c 1293s |      18 |   467631 |   348152 |    66063      8 |    13525 |      141
1302.64/1303.06	c 1295s |      18 |   468486 |   348952 |    66063      8 |    13525 |      141
1304.84/1305.29	c 1297s |      18 |   469239 |   349652 |    66063      8 |    13525 |      141
1307.14/1307.50	c 1299s |      18 |   470134 |   350452 |    66063      8 |    13525 |      141
1309.24/1309.68	c 1301s |      18 |   470963 |   351152 |    66063      8 |    13525 |      141
1311.54/1311.91	c 1303s |      18 |   471772 |   351852 |    66063      8 |    13525 |      141
1313.64/1314.04	c 1306s |      18 |   472440 |   352452 |    66063      8 |    13525 |      141
1315.74/1316.13	c 1308s |      18 |   473356 |   353252 |    66063      8 |    13525 |      141
1317.84/1318.25	c 1310s |      18 |   474346 |   354052 |    66063      8 |    13525 |      141
1320.04/1320.42	c 1312s |      18 |   475172 |   354752 |    66063      8 |    13525 |      141
1322.34/1322.75	c 1314s |      18 |   476096 |   355552 |    66063      8 |    13525 |      141
1324.54/1324.99	c 1317s |      18 |   476762 |   356152 |    66063      8 |    13525 |      141
1326.74/1327.13	c 1319s |      18 |   477456 |   356752 |    66063      8 |    13525 |      141
1328.74/1329.16	c 1321s |      18 |   478161 |   357352 |    66063      8 |    13525 |      141
1330.74/1331.16	c 1323s |      18 |   478953 |   358052 |    66063      8 |    13525 |      141
1332.94/1333.37	c 1325s |      18 |   479867 |   358852 |    66063      8 |    13525 |      141
1335.14/1335.56	c 1327s |      18 |   480664 |   359552 |    66063      8 |    13525 |      141
1337.34/1337.79	c 1329s |      18 |   481562 |   360352 |    66063      8 |    13525 |      141
1339.63/1340.07	c 1332s |      18 |   482348 |   361052 |    66063      8 |    13525 |      141
1341.93/1342.37	c 1334s |      18 |   483023 |   361652 |    66063      8 |    13525 |      141
1344.13/1344.55	c 1336s |      18 |   483833 |   362352 |    66063      8 |    13525 |      141
1346.14/1346.56	c 1338s |      18 |   484647 |   363052 |    66063      8 |    13525 |      141
1348.24/1348.62	c 1340s |      18 |   485499 |   363752 |    66063      8 |    13525 |      141
1350.23/1350.68	c 1342s |      18 |   486407 |   364552 |    66063      8 |    13525 |      141
1352.43/1352.82	c 1344s |      18 |   487320 |   365352 |    66063      8 |    13525 |      141
1354.53/1354.94	c 1347s |      18 |   488147 |   366052 |    66063      8 |    13525 |      141
1356.63/1357.01	c 1349s |      18 |   488927 |   366752 |    66063      8 |    13525 |      141
1358.83/1359.25	c 1351s |      18 |   489795 |   367552 |    66063      8 |    13525 |      141
1361.03/1361.43	c 1353s |      18 |   490596 |   368252 |    66063      8 |    13525 |      141
1363.03/1363.49	c 1355s |      18 |   491224 |   368852 |    66063      8 |    13525 |      141
1365.13/1365.54	c 1357s |      18 |   492028 |   369552 |    66063      8 |    13525 |      141
1367.43/1367.87	c 1359s |      18 |   492967 |   370352 |    66063      8 |    13525 |      141
1371.63/1372.07	c 1364s |      18 |   493740 |   371052 |    66063      9 |    13525 |      141
1373.82/1374.29	c 1366s |      18 |   493969 |   371252 |    66063      9 |    13525 |      141
1375.92/1376.32	c 1368s |      18 |   494958 |   372152 |    66063      9 |    13525 |      141
1377.93/1378.33	c 1370s |      18 |   496207 |   373252 |    66063      9 |    13525 |      141
1397.23/1397.64	c 1389s |      18 |   497530 |   374452 |    66063      9 |    13525 |      141
1401.82/1402.29	c 1394s |      18 |   497656 |   374552 |    66063      9 |    13525 |      141
1404.13/1404.51	c 1396s |      18 |   498736 |   375452 |    66063      9 |    13525 |      141
1406.33/1406.76	c 1398s |      18 |   499644 |   376252 |    66063      9 |    13525 |      141
1408.53/1408.97	c 1401s |      18 |   500510 |   377052 |    66063      9 |    13525 |      141
1410.73/1411.16	c 1403s |      18 |   501374 |   377852 |    66063      9 |    13525 |      141
1412.93/1413.40	c 1405s |      18 |   502234 |   378652 |    66063      9 |    13525 |      141
1415.13/1415.51	c 1407s |      18 |   502983 |   379352 |    66063      9 |    13525 |      141
1417.22/1417.68	c 1409s |      18 |   503727 |   380052 |    66063      9 |    13525 |      141
1419.32/1419.73	c 1411s |      18 |   504480 |   380752 |    66063      9 |    13525 |      141
1421.42/1421.83	c 1413s |      18 |   505304 |   381452 |    66063      9 |    13525 |      141
1423.52/1423.90	c 1415s |      18 |   505901 |   381952 |    66063      9 |    13525 |      141
1425.52/1425.98	c 1418s |      18 |   506775 |   382752 |    66063      9 |    13525 |      141
1427.72/1428.13	c 1420s |      18 |   507755 |   383652 |    66063      9 |    13525 |      141
1429.92/1430.31	c 1422s |      18 |   508666 |   384452 |    66063      9 |    13525 |      141
1432.02/1432.44	c 1424s |      18 |   509437 |   385152 |    66063      9 |    13525 |      141
1434.13/1434.59	c 1426s |      18 |   510239 |   385852 |    66063      9 |    13525 |      141
1436.23/1436.68	c 1428s |      18 |   511008 |   386552 |    66063      9 |    13525 |      141
1438.43/1438.84	c 1430s |      18 |   511777 |   387252 |    66063      9 |    13525 |      141
1440.63/1441.08	c 1433s |      18 |   512565 |   387952 |    66063      9 |    13525 |      141
1442.72/1443.19	c 1435s |      18 |   513333 |   388652 |    66063      9 |    13525 |      141
1444.92/1445.34	c 1437s |      18 |   514280 |   389452 |    66063      9 |    13525 |      141
1447.02/1447.47	c 1439s |      18 |   515156 |   390252 |    66063      9 |    13525 |      141
1449.32/1449.73	c 1441s |      18 |   516173 |   391152 |    66063      9 |    13525 |      141
1451.52/1451.97	c 1444s |      18 |   517194 |   392052 |    66063      9 |    13525 |      141
1453.62/1454.03	c 1446s |      18 |   517970 |   392752 |    66063      9 |    13525 |      141
1455.82/1456.26	c 1448s |      18 |   518740 |   393452 |    66063      9 |    13525 |      141
1457.92/1458.32	c 1450s |      18 |   519416 |   394052 |    66063      9 |    13525 |      141
1460.02/1460.44	c 1452s |      18 |   520222 |   394752 |    66063      9 |    13525 |      141
1462.32/1462.72	c 1454s |      18 |   521130 |   395552 |    66063      9 |    13525 |      141
1474.82/1475.24	c 1467s |      18 |   522065 |   396352 |    66063      9 |    13525 |      141
1476.81/1477.29	c 1469s |      18 |   523209 |   397352 |    66063      9 |    13525 |      141
1479.22/1479.65	c 1471s |      18 |   524196 |   398052 |    66063      9 |    13525 |      141
1481.21/1481.68	c 1473s |      18 |   524866 |   398552 |    66063      9 |    13525 |      141
1483.41/1483.81	c 1475s |      18 |   525504 |   399052 |    66063      9 |    13525 |      141
1485.51/1485.93	c 1478s |      18 |   526464 |   399752 |    66063      9 |    13525 |      141
1487.81/1488.23	c 1480s |      18 |   527117 |   400252 |    66063      9 |    13525 |      141
1490.12/1490.60	c 1482s |      18 |   527878 |   400852 |    66063      9 |    13525 |      141
1492.21/1492.65	c 1484s |      18 |   528463 |   401352 |    66063      9 |    13525 |      141
1494.31/1494.75	c 1486s |      18 |   529209 |   401952 |    66063      9 |    13525 |      141
1496.41/1496.88	c 1488s |      18 |   530335 |   402952 |    66063      9 |    13525 |      141
1498.71/1499.12	c 1491s |      18 |   531133 |   403652 |    66063      9 |    13525 |      141
1500.71/1501.17	c 1493s |      18 |   531706 |   404152 |    66063      9 |    13525 |      141
1502.91/1503.40	c 1495s |      18 |   532304 |   404652 |    66063      9 |    13525 |      141
1505.01/1505.48	c 1497s |      18 |   532876 |   405152 |    66063      9 |    13525 |      141
1507.31/1507.74	c 1499s |      18 |   533666 |   405752 |    66063      9 |    13525 |      141
1509.41/1509.88	c 1501s |      18 |   534446 |   406352 |    66063      9 |    13525 |      141
1511.61/1512.05	c 1504s |      18 |   535149 |   406952 |    66063      9 |    13525 |      141
1513.91/1514.35	c 1506s |      18 |   535856 |   407552 |    66063      9 |    13525 |      141
1516.11/1516.54	c 1508s |      18 |   536629 |   408252 |    66063      9 |    13525 |      141
1518.21/1518.67	c 1510s |      18 |   537346 |   408852 |    66063      9 |    13525 |      141
1520.41/1520.87	c 1512s |      18 |   538141 |   409552 |    66063      9 |    13525 |      141
1522.51/1522.90	c 1514s |      18 |   538595 |   409952 |    66063      9 |    13525 |      141
1524.51/1524.91	c 1516s |      18 |   539161 |   410452 |    66063      9 |    13525 |      141
1526.61/1527.03	c 1519s |      18 |   539830 |   411052 |    66063      9 |    13525 |      141
1529.01/1529.44	c 1521s |      18 |   540503 |   411652 |    66063      9 |    13525 |      141
1541.10/1541.54	c 1533s |      18 |   540829 |   411952 |    66063     10 |    13525 |      141
1543.40/1543.89	c 1535s |      18 |   541052 |   412152 |    66063     10 |    13525 |      141
1545.90/1546.31	c 1538s |      18 |   541713 |   412752 |    66063     10 |    13525 |      141
1548.00/1548.48	c 1540s |      18 |   542873 |   413652 |    66063     10 |    13525 |      141
1550.40/1550.86	c 1542s |      18 |   543403 |   414152 |    66063     10 |    13525 |      141
1552.70/1553.14	c 1545s |      18 |   544385 |   415052 |    66063     10 |    13525 |      141
1645.59/1646.05	c 1638s |      18 |   545038 |   415652 |    66063     10 |    13525 |      141
1650.28/1650.78	c 1642s |      18 |   545611 |   416152 |    66063     10 |    13525 |      141
1652.48/1652.95	c 1645s |      18 |   546540 |   416952 |    66063     10 |    13525 |      141
1654.68/1655.11	c 1647s |      18 |   547627 |   417852 |    66063     10 |    13525 |      141
1656.78/1657.27	c 1649s |      18 |   548697 |   418752 |    66063     10 |    13525 |      141
1659.08/1659.50	c 1651s |      18 |   549667 |   419552 |    66063     10 |    13525 |      141
1661.08/1661.52	c 1653s |      18 |   550318 |   420152 |    66063     10 |    13525 |      141
1663.18/1663.62	c 1655s |      18 |   551220 |   420952 |    66063     10 |    13525 |      141
1665.18/1665.67	c 1657s |      18 |   552149 |   421752 |    66063     10 |    13525 |      141
1667.38/1667.84	c 1659s |      18 |   553118 |   422552 |    66063     10 |    13525 |      141
1669.38/1669.86	c 1661s |      18 |   554071 |   423352 |    66063     10 |    13525 |      141
1671.68/1672.12	c 1664s |      18 |   555000 |   424152 |    66063     10 |    13525 |      141
1673.78/1674.30	c 1666s |      18 |   555650 |   424752 |    66063     10 |    13525 |      141
1676.18/1676.64	c 1668s |      18 |   556305 |   425352 |    66063     10 |    13525 |      141
1678.18/1678.68	c 1670s |      18 |   557020 |   425952 |    66063     10 |    13525 |      141
1680.38/1680.89	c 1672s |      18 |   557875 |   426652 |    66063     10 |    13525 |      141
1682.48/1682.92	c 1675s |      18 |   558587 |   427252 |    66063     10 |    13525 |      141
1684.68/1685.19	c 1677s |      18 |   559469 |   427952 |    66063     10 |    13525 |      141
1686.87/1687.34	c 1679s |      18 |   560150 |   428552 |    66063     10 |    13525 |      141
1689.07/1689.55	c 1681s |      18 |   561032 |   429252 |    66063     10 |    13525 |      141
1691.27/1691.77	c 1683s |      18 |   561861 |   429952 |    66063     10 |    13525 |      141
1693.58/1694.01	c 1686s |      18 |   562539 |   430552 |    66063     10 |    13525 |      141
1695.67/1696.17	c 1688s |      18 |   563396 |   431252 |    66063     10 |    13525 |      141
1697.87/1698.34	c 1690s |      18 |   564230 |   431952 |    66063     10 |    13525 |      141
1700.18/1700.70	c 1692s |      18 |   565001 |   432652 |    66063     10 |    13525 |      141
1702.57/1703.03	c 1695s |      18 |   565774 |   433352 |    66063     10 |    13525 |      141
1704.87/1705.34	c 1697s |      18 |   566520 |   434052 |    66063     10 |    13525 |      141
1706.97/1707.42	c 1699s |      18 |   567274 |   434652 |    66063     10 |    13525 |      141
1709.08/1709.54	c 1701s |      18 |   567838 |   435152 |    66063     10 |    13525 |      141
1711.07/1711.57	c 1703s |      18 |   568489 |   435752 |    66063     10 |    13525 |      141
1713.57/1714.03	c 1706s |      18 |   569291 |   436452 |    66063     10 |    13525 |      141
1715.87/1716.38	c 1708s |      18 |   570008 |   437052 |    66063     10 |    13525 |      141
1717.97/1718.48	c 1710s |      18 |   570600 |   437552 |    66063     10 |    13525 |      141
1719.98/1720.49	c 1712s |      18 |   571190 |   438052 |    66063     10 |    13525 |      141
1722.07/1722.54	c 1714s |      18 |   571848 |   438652 |    66063     10 |    13525 |      141
1724.27/1724.71	c 1716s |      18 |   572529 |   439252 |    66063     10 |    13525 |      141
1726.47/1726.90	c 1718s |      18 |   573215 |   439852 |    66063     10 |    13525 |      141
1728.47/1728.99	c 1721s |      18 |   573936 |   440452 |    66063     10 |    13525 |      141
1730.67/1731.13	c 1723s |      18 |   574660 |   441052 |    66063     10 |    13525 |      141
1732.77/1733.20	c 1725s |      18 |   575350 |   441652 |    72670     10 |    13525 |      141
1734.77/1735.29	c 1727s |      18 |   575924 |   442152 |    72670     10 |    13525 |      141
1736.87/1737.32	c 1729s |      18 |   576507 |   442652 |    72670     10 |    13525 |      141
1739.17/1739.64	c 1731s |      18 |   577085 |   443152 |    72670     10 |    13525 |      141
1741.27/1741.74	c 1733s |      18 |   577644 |   443652 |    72670     10 |    13525 |      141
1743.27/1743.77	c 1735s |      18 |   578204 |   444152 |    72670     10 |    13525 |      141
1744.57/1745.09	c 1737s |      19 |   578565 |   444482 |    72670     10 |    13525 |      141
1746.67/1747.15	c 1739s |      19 |   579076 |   444782 |    72670     10 |    13525 |      141
1748.87/1749.39	c 1741s |      19 |   579769 |   445382 |    72670     10 |    13525 |      141
1751.06/1751.53	c 1743s |      19 |   580758 |   446182 |    72670     10 |    13525 |      141
1753.76/1754.23	c 1746s |      19 |   582266 |   446982 |    72670     10 |    13525 |      141
1755.76/1756.28	c 1748s |      19 |   583113 |   447682 |    72670     10 |    13525 |      141
1758.06/1758.55	c 1750s |      19 |   584063 |   448482 |    72670     10 |    13525 |      141
1760.06/1760.59	c 1752s |      19 |   584880 |   449182 |    72670     10 |    13525 |      141
1762.26/1762.77	c 1754s |      19 |   585866 |   449982 |    72670     10 |    13525 |      141
1764.36/1764.82	c 1756s |      19 |   587073 |   450982 |    72670     10 |    13525 |      141
1766.36/1766.86	c 1758s |      19 |   588523 |   452382 |    72670     10 |    13525 |      141
1768.47/1768.95	c 1761s |      19 |   589778 |   453582 |    72670     10 |    13525 |      141
1770.58/1771.00	c 1763s |      19 |   591068 |   454682 |    72670     10 |    13525 |      141
1772.67/1773.18	c 1765s |      19 |   592390 |   455782 |    72670     10 |    13525 |      141
1774.87/1775.34	c 1767s |      19 |   593524 |   456682 |    72670     10 |    13525 |      141
1777.07/1777.52	c 1769s |      19 |   594668 |   457582 |    72670     10 |    13525 |      141
1779.27/1779.70	c 1771s |      19 |   596192 |   458782 |    72670     10 |    13525 |      141
1783.67/1784.10	c 1776s |      19 |   597155 |   459582 |    72670     11 |    13525 |      141
1785.77/1786.21	c 1778s |      19 |   598220 |   460382 |    72670     11 |    13525 |      141
1787.77/1788.23	c 1780s |      19 |   599466 |   461382 |    72670     11 |    13525 |      141
1789.87/1790.32	c 1782s |      19 |   601018 |   462582 |    72670     11 |    13525 |      141
1791.87/1792.34	c 1784s |      19 |   602467 |   463682 |    72670     11 |    13525 |      141
1793.97/1794.47	c 1786s |      19 |   603951 |   464782 |    72670     11 |    13525 |      141
1796.07/1796.55	c 1788s |      19 |   605403 |   465882 |    72670     11 |    13525 |      141
1798.17/1798.67	c 1790s |      19 |   607012 |   467082 |    72670     11 |    13525 |      141

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

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

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


[startup+0 s]
/proc/loadavg: 2.23 2.20 2.18 3/179 16050
/proc/meminfo: memFree=29540444/32872528 swapFree=1191052/1305516
[pid=16050] ppid=16047 vsize=745028 CPUtime=0 cores=0,2,4,6
/proc/16050/stat : 16050 (toysat) R 16047 16050 14522 0 -1 4202496 2788 0 0 0 0 0 0 0 20 0 4 0 23202170 762908672 2637 33554432000 4194304 16246674 140733445028128 140733445027552 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16050/statm: 187025 2646 442 2943 0 183919 0
[pid=16050/tid=16051] ppid=16047 vsize=762436 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16051/stat : 16051 (toysat) S 16047 16050 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23202170 780734464 2705 33554432000 4194304 16246674 140733445028128 139994170633456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16050/tid=16052] ppid=16047 vsize=766532 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16052/stat : 16052 (toysat) S 16047 16050 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23202170 784928768 2721 33554432000 4194304 16246674 140733445028128 139994160143600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16050/tid=16053] ppid=16047 vsize=771652 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16053/stat : 16053 (toysat) S 16047 16050 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23202170 790171648 2738 33554432000 4194304 16246674 140733445028128 139994149670064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.23 2.20 2.18 3/179 16050
/proc/meminfo: memFree=29540444/32872528 swapFree=1191052/1305516
[pid=16050] ppid=16047 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/16050/stat : 16050 (toysat) R 16047 16050 14522 0 -1 4202496 27632 0 0 0 4 4 0 0 20 0 4 0 23202170 1333334016 27419 33554432000 4194304 16246674 140733445028128 140733445027440 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16050/statm: 325521 27434 801 2943 0 322415 0
[pid=16050/tid=16051] ppid=16047 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16051/stat : 16051 (toysat) S 16047 16050 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23202170 1333334016 27443 33554432000 4194304 16246674 140733445028128 139994170633456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16050/tid=16052] ppid=16047 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16052/stat : 16052 (toysat) S 16047 16050 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23202170 1333334016 27454 33554432000 4194304 16246674 140733445028128 139994160143600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16050/tid=16053] ppid=16047 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16053/stat : 16053 (toysat) S 16047 16050 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23202170 1333334016 27465 33554432000 4194304 16246674 140733445028128 139994149670064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200497 s]
/proc/loadavg: 2.23 2.20 2.18 3/179 16050
/proc/meminfo: memFree=29540444/32872528 swapFree=1191052/1305516
[pid=16050] ppid=16047 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/16050/stat : 16050 (toysat) R 16047 16050 14522 0 -1 4202496 42821 0 0 0 12 7 0 0 20 0 4 0 23202170 1344868352 43119 33554432000 4194304 16246674 140733445028128 140733445027440 7440640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16050/statm: 328337 43119 801 2943 0 325231 0
[pid=16050/tid=16051] ppid=16047 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16051/stat : 16051 (toysat) S 16047 16050 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23202170 1344868352 43119 33554432000 4194304 16246674 140733445028128 139994170633456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16050/tid=16052] ppid=16047 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16052/stat : 16052 (toysat) S 16047 16050 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23202170 1344868352 43119 33554432000 4194304 16246674 140733445028128 139994160143600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16050/tid=16053] ppid=16047 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16053/stat : 16053 (toysat) S 16047 16050 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23202170 1344868352 43119 33554432000 4194304 16246674 140733445028128 139994149670064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300477 s]
/proc/loadavg: 2.23 2.20 2.18 3/179 16050
/proc/meminfo: memFree=29540444/32872528 swapFree=1191052/1305516
[pid=16050] ppid=16047 vsize=1321540 CPUtime=0.29 cores=0,2,4,6
/proc/16050/stat : 16050 (toysat) R 16047 16050 14522 0 -1 4202496 46750 0 0 0 21 8 0 0 20 0 4 0 23202170 1353256960 47048 33554432000 4194304 16246674 140733445028128 140733445027440 12655131 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16050/statm: 330385 47048 822 2943 0 327279 0
[pid=16050/tid=16051] ppid=16047 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16051/stat : 16051 (toysat) S 16047 16050 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23202170 1353256960 47048 33554432000 4194304 16246674 140733445028128 139994170633456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16050/tid=16052] ppid=16047 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16052/stat : 16052 (toysat) S 16047 16050 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23202170 1353256960 47048 33554432000 4194304 16246674 140733445028128 139994160143600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16050/tid=16053] ppid=16047 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16053/stat : 16053 (toysat) S 16047 16050 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23202170 1353256960 47048 33554432000 4194304 16246674 140733445028128 139994149670064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1321540

[startup+0.700448 s]
/proc/loadavg: 2.23 2.20 2.18 3/179 16050
/proc/meminfo: memFree=29540444/32872528 swapFree=1191052/1305516
[pid=16050] ppid=16047 vsize=1321540 CPUtime=0.69 cores=0,2,4,6
/proc/16050/stat : 16050 (toysat) R 16047 16050 14522 0 -1 4202496 129656 0 0 0 51 18 0 0 20 0 4 0 23202170 1353256960 129954 33554432000 4194304 16246674 140733445028128 140733445027440 12449399 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16050/statm: 330385 129968 833 2943 0 327279 0
[pid=16050/tid=16051] ppid=16047 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16051/stat : 16051 (toysat) S 16047 16050 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23202170 1353256960 129977 33554432000 4194304 16246674 140733445028128 139994170633456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16050/tid=16052] ppid=16047 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16052/stat : 16052 (toysat) S 16047 16050 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23202170 1353256960 129987 33554432000 4194304 16246674 140733445028128 139994160143600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16050/tid=16053] ppid=16047 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16053/stat : 16053 (toysat) S 16047 16050 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23202170 1353256960 129996 33554432000 4194304 16246674 140733445028128 139994149670064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1321540

[startup+1.50041 s]
/proc/loadavg: 2.23 2.20 2.18 3/183 16054
/proc/meminfo: memFree=28634496/32872528 swapFree=1191052/1305516
[pid=16050] ppid=16047 vsize=1321540 CPUtime=1.49 cores=0,2,4,6
/proc/16050/stat : 16050 (toysat) R 16047 16050 14522 0 -1 4202496 271002 0 0 0 114 35 0 0 20 0 4 0 23202170 1353256960 271300 33554432000 4194304 16246674 140733445028128 140733445010048 12449455 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16050/statm: 330385 271300 833 2943 0 327279 0
[pid=16050/tid=16051] ppid=16047 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16051/stat : 16051 (toysat) S 16047 16050 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23202170 1353256960 271300 33554432000 4194304 16246674 140733445028128 139994170633456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16050/tid=16052] ppid=16047 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16052/stat : 16052 (toysat) S 16047 16050 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23202170 1353256960 271300 33554432000 4194304 16246674 140733445028128 139994160143600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16050/tid=16053] ppid=16047 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16053/stat : 16053 (toysat) S 16047 16050 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23202170 1353256960 271300 33554432000 4194304 16246674 140733445028128 139994149670064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1321540

[startup+3.10042 s]
/proc/loadavg: 2.23 2.20 2.18 3/183 16054
/proc/meminfo: memFree=28455688/32872528 swapFree=1191052/1305516
[pid=16050] ppid=16047 vsize=1321540 CPUtime=3.09 cores=0,2,4,6
/proc/16050/stat : 16050 (toysat) R 16047 16050 14522 0 -1 4202496 271003 0 0 0 274 35 0 0 20 0 4 0 23202170 1353256960 271301 33554432000 4194304 16246674 140733445028128 140733445010048 12651872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16050/statm: 330385 271301 833 2943 0 327279 0
[pid=16050/tid=16051] ppid=16047 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16051/stat : 16051 (toysat) S 16047 16050 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23202170 1353256960 271301 33554432000 4194304 16246674 140733445028128 139994170633456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16050/tid=16052] ppid=16047 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16052/stat : 16052 (toysat) S 16047 16050 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23202170 1353256960 271301 33554432000 4194304 16246674 140733445028128 139994160143600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16050/tid=16053] ppid=16047 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16053/stat : 16053 (toysat) S 16047 16050 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23202170 1353256960 271301 33554432000 4194304 16246674 140733445028128 139994149670064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1321540

[startup+6.30042 s]
/proc/loadavg: 2.29 2.22 2.19 3/183 16054
/proc/meminfo: memFree=28455424/32872528 swapFree=1191052/1305516
[pid=16050] ppid=16047 vsize=1321540 CPUtime=6.29 cores=0,2,4,6
/proc/16050/stat : 16050 (toysat) R 16047 16050 14522 0 -1 4202496 271003 0 0 0 594 35 0 0 20 0 4 0 23202170 1353256960 271301 33554432000 4194304 16246674 140733445028128 140733445010048 12653056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16050/statm: 330385 271301 833 2943 0 327279 0
[pid=16050/tid=16051] ppid=16047 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16051/stat : 16051 (toysat) S 16047 16050 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23202170 1353256960 271301 33554432000 4194304 16246674 140733445028128 139994170633456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16050/tid=16052] ppid=16047 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16052/stat : 16052 (toysat) S 16047 16050 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23202170 1353256960 271301 33554432000 4194304 16246674 140733445028128 139994160143600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16050/tid=16053] ppid=16047 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16053/stat : 16053 (toysat) S 16047 16050 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23202170 1353256960 271301 33554432000 4194304 16246674 140733445028128 139994149670064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1321540

[startup+12.7004 s]
/proc/loadavg: 2.35 2.23 2.19 3/183 16103
/proc/meminfo: memFree=28522920/32872528 swapFree=1191052/1305516
[pid=16050] ppid=16047 vsize=1325636 CPUtime=12.68 cores=0,2,4,6
/proc/16050/stat : 16050 (toysat) R 16047 16050 14522 0 -1 4202496 272101 0 0 0 1233 35 0 0 20 0 4 0 23202170 1357451264 272399 33554432000 4194304 16246674 140733445028128 140733445010048 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16050/statm: 331409 272399 901 2943 0 328303 0
[pid=16050/tid=16051] ppid=16047 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16051/stat : 16051 (toysat) S 16047 16050 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23202170 1357451264 272399 33554432000 4194304 16246674 140733445028128 139994170633456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16050/tid=16052] ppid=16047 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16052/stat : 16052 (toysat) S 16047 16050 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23202170 1357451264 272399 33554432000 4194304 16246674 140733445028128 139994160143600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16050/tid=16053] ppid=16047 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16053/stat : 16053 (toysat) S 16047 16050 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23202170 1357451264 272399 33554432000 4194304 16246674 140733445028128 139994149670064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1325636

[startup+25.5005 s]
/proc/loadavg: 2.34 2.23 2.19 3/183 16103
/proc/meminfo: memFree=28484248/32872528 swapFree=1191052/1305516
[pid=16050] ppid=16047 vsize=1340996 CPUtime=25.49 cores=0,2,4,6
/proc/16050/stat : 16050 (toysat) R 16047 16050 14522 0 -1 4202496 275712 0 0 0 2513 36 0 0 20 0 4 0 23202170 1373179904 276010 33554432000 4194304 16246674 140733445028128 140733445010048 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16050/statm: 335249 276010 901 2943 0 332143 0
[pid=16050/tid=16051] ppid=16047 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16051/stat : 16051 (toysat) S 16047 16050 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23202170 1373179904 276010 33554432000 4194304 16246674 140733445028128 139994170633456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16050/tid=16052] ppid=16047 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16052/stat : 16052 (toysat) S 16047 16050 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23202170 1373179904 276010 33554432000 4194304 16246674 140733445028128 139994160143600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16050/tid=16053] ppid=16047 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16053/stat : 16053 (toysat) S 16047 16050 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23202170 1373179904 276010 33554432000 4194304 16246674 140733445028128 139994149670064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1340996

[startup+51.1005 s]
/proc/loadavg: 2.28 2.23 2.19 3/184 16106
/proc/meminfo: memFree=28434496/32872528 swapFree=1191052/1305516
[pid=16050] ppid=16047 vsize=1390148 CPUtime=51.08 cores=0,2,4,6
/proc/16050/stat : 16050 (toysat) R 16047 16050 14522 0 -1 4202496 288000 0 0 0 5070 38 0 0 20 0 4 0 23202170 1423511552 288298 33554432000 4194304 16246674 140733445028128 140733445010048 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16050/statm: 347537 288298 901 2943 0 344431 0
[pid=16050/tid=16051] ppid=16047 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16051/stat : 16051 (toysat) S 16047 16050 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23202170 1423511552 288298 33554432000 4194304 16246674 140733445028128 139994170633456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16050/tid=16052] ppid=16047 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16052/stat : 16052 (toysat) S 16047 16050 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23202170 1423511552 288298 33554432000 4194304 16246674 140733445028128 139994160143600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16050/tid=16053] ppid=16047 vsize=1390148 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16053/stat : 16053 (toysat) S 16047 16050 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23202170 1423511552 288298 33554432000 4194304 16246674 140733445028128 139994149670064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1390148

[startup+102.3 s]
/proc/loadavg: 2.16 2.21 2.18 4/184 16107
/proc/meminfo: memFree=28291420/32872528 swapFree=1191052/1305516
[pid=16050] ppid=16047 vsize=1503812 CPUtime=102.28 cores=0,2,4,6
/proc/16050/stat : 16050 (toysat) R 16047 16050 14522 0 -1 4202496 316648 0 0 0 10186 42 0 0 20 0 4 0 23202170 1539903488 316946 33554432000 4194304 16246674 140733445028128 140733445010048 6021746 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16050/statm: 375953 316946 904 2943 0 372847 0
[pid=16050/tid=16051] ppid=16047 vsize=1503812 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16051/stat : 16051 (toysat) S 16047 16050 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23202170 1539903488 316946 33554432000 4194304 16246674 140733445028128 139994170633456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16050/tid=16052] ppid=16047 vsize=1503812 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16052/stat : 16052 (toysat) S 16047 16050 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23202170 1539903488 316946 33554432000 4194304 16246674 140733445028128 139994160143600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16050/tid=16053] ppid=16047 vsize=1503812 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16053/stat : 16053 (toysat) S 16047 16050 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23202170 1539903488 316946 33554432000 4194304 16246674 140733445028128 139994149670064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1503812


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

/proc/16050/task/16053/stat : 16053 (toysat) S 16047 16050 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994149670064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1657412

[startup+1362.3 s]
/proc/loadavg: 2.08 2.15 2.16 4/183 16364
/proc/meminfo: memFree=28016472/32872528 swapFree=1191052/1305516
[pid=16050] ppid=16047 vsize=1657412 CPUtime=1361.93 cores=0,2,4,6
/proc/16050/stat : 16050 (toysat) R 16047 16050 14522 0 -1 4202496 355360 0 0 0 136106 87 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 140733445010048 5677795 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16050/statm: 414353 355602 904 2943 0 411247 0
[pid=16050/tid=16051] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16051/stat : 16051 (toysat) S 16047 16050 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994170633456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16050/tid=16052] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16052/stat : 16052 (toysat) S 16047 16050 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994160143600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16050/tid=16053] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16053/stat : 16053 (toysat) S 16047 16050 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994149670064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1657412

[startup+1422.3 s]
/proc/loadavg: 2.08 2.13 2.16 3/183 16365
/proc/meminfo: memFree=28016752/32872528 swapFree=1191052/1305516
[pid=16050] ppid=16047 vsize=1657412 CPUtime=1421.93 cores=0,2,4,6
/proc/16050/stat : 16050 (toysat) R 16047 16050 14522 0 -1 4202496 355360 0 0 0 142103 90 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 140733445010048 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16050/statm: 414353 355602 904 2943 0 411247 0
[pid=16050/tid=16051] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16051/stat : 16051 (toysat) S 16047 16050 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994170633456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16050/tid=16052] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16052/stat : 16052 (toysat) S 16047 16050 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994160143600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16050/tid=16053] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16053/stat : 16053 (toysat) S 16047 16050 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994149670064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1657412

[startup+1482.3 s]
/proc/loadavg: 2.23 2.15 2.16 4/183 16367
/proc/meminfo: memFree=28016604/32872528 swapFree=1191052/1305516
[pid=16050] ppid=16047 vsize=1657412 CPUtime=1481.91 cores=0,2,4,6
/proc/16050/stat : 16050 (toysat) R 16047 16050 14522 0 -1 4202496 355360 0 0 0 148100 91 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 140733445010048 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16050/statm: 414353 355602 904 2943 0 411247 0
[pid=16050/tid=16051] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16051/stat : 16051 (toysat) S 16047 16050 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994170633456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16050/tid=16052] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16052/stat : 16052 (toysat) S 16047 16050 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994160143600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16050/tid=16053] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16053/stat : 16053 (toysat) S 16047 16050 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994149670064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1657412

[startup+1542.31 s]
/proc/loadavg: 2.37 2.20 2.18 3/183 16368
/proc/meminfo: memFree=28016504/32872528 swapFree=1191052/1305516
[pid=16050] ppid=16047 vsize=1657412 CPUtime=1541.91 cores=0,2,4,6
/proc/16050/stat : 16050 (toysat) R 16047 16050 14522 0 -1 4202496 355360 0 0 0 154099 92 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 140733445026176 5808428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16050/statm: 414353 355602 904 2943 0 411247 0
[pid=16050/tid=16051] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16051/stat : 16051 (toysat) S 16047 16050 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994170633456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16050/tid=16052] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16052/stat : 16052 (toysat) S 16047 16050 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994160143600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16050/tid=16053] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16053/stat : 16053 (toysat) S 16047 16050 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994149670064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1657412

[startup+1602.3 s]
/proc/loadavg: 2.21 2.18 2.17 3/183 16369
/proc/meminfo: memFree=28016528/32872528 swapFree=1191052/1305516
[pid=16050] ppid=16047 vsize=1657412 CPUtime=1601.89 cores=0,2,4,6
/proc/16050/stat : 16050 (toysat) R 16047 16050 14522 0 -1 4202496 355360 0 0 0 160094 95 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 140733445025920 13908556 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16050/statm: 414353 355602 904 2943 0 411247 0
[pid=16050/tid=16051] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16051/stat : 16051 (toysat) S 16047 16050 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994170633456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16050/tid=16052] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16052/stat : 16052 (toysat) S 16047 16050 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994160143600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16050/tid=16053] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16053/stat : 16053 (toysat) S 16047 16050 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994149670064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1657412

[startup+1662.3 s]
/proc/loadavg: 2.20 2.17 2.17 3/183 16370
/proc/meminfo: memFree=28016800/32872528 swapFree=1191052/1305516
[pid=16050] ppid=16047 vsize=1657412 CPUtime=1661.88 cores=0,2,4,6
/proc/16050/stat : 16050 (toysat) R 16047 16050 14522 0 -1 4202496 355360 0 0 0 166089 99 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 140733445010048 5823131 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16050/statm: 414353 355602 904 2943 0 411247 0
[pid=16050/tid=16051] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16051/stat : 16051 (toysat) S 16047 16050 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994170633456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16050/tid=16052] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16052/stat : 16052 (toysat) S 16047 16050 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994160143600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16050/tid=16053] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16053/stat : 16053 (toysat) S 16047 16050 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994149670064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1657412

[startup+1722.3 s]
/proc/loadavg: 2.13 2.16 2.16 3/182 16371
/proc/meminfo: memFree=28017180/32872528 swapFree=1191052/1305516
[pid=16050] ppid=16047 vsize=1657412 CPUtime=1721.87 cores=0,2,4,6
/proc/16050/stat : 16050 (toysat) R 16047 16050 14522 0 -1 4202496 355360 0 0 0 172088 99 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 140733445025920 5522977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16050/statm: 414353 355602 904 2943 0 411247 0
[pid=16050/tid=16051] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16051/stat : 16051 (toysat) S 16047 16050 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994170633456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16050/tid=16052] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16052/stat : 16052 (toysat) S 16047 16050 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994160143600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16050/tid=16053] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16053/stat : 16053 (toysat) S 16047 16050 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994149670064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1657412

[startup+1782.3 s]
/proc/loadavg: 2.17 2.16 2.16 3/183 16374
/proc/meminfo: memFree=28015384/32872528 swapFree=1191052/1305516
[pid=16050] ppid=16047 vsize=1657412 CPUtime=1781.87 cores=0,2,4,6
/proc/16050/stat : 16050 (toysat) R 16047 16050 14522 0 -1 4202496 355360 0 0 0 178087 100 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 140733445010048 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16050/statm: 414353 355602 904 2943 0 411247 0
[pid=16050/tid=16051] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16051/stat : 16051 (toysat) S 16047 16050 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994170633456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16050/tid=16052] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16052/stat : 16052 (toysat) S 16047 16050 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994160143600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16050/tid=16053] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16053/stat : 16053 (toysat) S 16047 16050 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994149670064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1657412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.13 2.15 2.16 3/183 16374
/proc/meminfo: memFree=28016076/32872528 swapFree=1191052/1305516
[pid=16050] ppid=16047 vsize=1657412 CPUtime=1800.07 cores=0,2,4,6
/proc/16050/stat : 16050 (toysat) R 16047 16050 14522 0 -1 4202496 355360 0 0 0 179907 100 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 140733445010048 12415736 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16050/statm: 414353 355602 904 2943 0 411247 0
[pid=16050/tid=16051] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16051/stat : 16051 (toysat) S 16047 16050 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994170633456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16050/tid=16052] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16052/stat : 16052 (toysat) S 16047 16050 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994160143600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16050/tid=16053] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16053/stat : 16053 (toysat) S 16047 16050 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994149670064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1657412

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

[startup+1800.5 s]
/proc/loadavg: 2.13 2.15 2.16 3/183 16374
/proc/meminfo: memFree=28016076/32872528 swapFree=1191052/1305516
[pid=16050] ppid=16047 vsize=1657412 CPUtime=1800.07 cores=0,2,4,6
/proc/16050/stat : 16050 (toysat) R 16047 16050 14522 0 -1 4202496 355360 0 0 0 179907 100 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 140733445010048 12415736 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16050/statm: 414353 355602 904 2943 0 411247 0
[pid=16050/tid=16051] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16051/stat : 16051 (toysat) S 16047 16050 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994170633456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16050/tid=16052] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16052/stat : 16052 (toysat) S 16047 16050 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994160143600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16050/tid=16053] ppid=16047 vsize=1657412 CPUtime=0 cores=0,2,4,6
/proc/16050/task/16053/stat : 16053 (toysat) S 16047 16050 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23202170 1697189888 355602 33554432000 4194304 16246674 140733445028128 139994149670064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1657412

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1799.07
CPU system time (s): 1.00185
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 1657412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.00185
maximum resident set size= 1422408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355360
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= 327
involuntary context switches= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3614 second user time and 10.6064 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 02:59:15
IDJOB=4100169
IDBENCH=1582
IDSOLVER=2542
FILE ID=node127/4100169-1466211555
RUNJOBID= node127-1466206072-14538
PBS_JOBID= 19918150
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos7.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100169-1466211555/watcher-4100169-1466211555 -o /tmp/evaluation-result-4100169-1466211555/solver-4100169-1466211555 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14538 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100169-1466211555.opb

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

MD5SUM BENCH= a93c44578e8ffcb65ad1c65e578ef076
RANDOM SEED=54523735

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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:        29540840 kB
Buffers:           49192 kB
Cached:           121484 kB
SwapCached:          520 kB
Active:          1238432 kB
Inactive:          81072 kB
Active(anon):    1150760 kB
Inactive(anon):      816 kB
Active(file):      87672 kB
Inactive(file):    80256 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100220 kB
Dirty:             17488 kB
Writeback:             0 kB
AnonPages:       2544228 kB
Mapped:            10804 kB
Shmem:                 0 kB
Slab:             572296 kB
SReclaimable:      16776 kB
SUnreclaim:       555520 kB
KernelStack:        1520 kB
PageTables:         8924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2597192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1341440 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node127 at 2016-06-18 03:29:16