Trace number 4079373

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? (MO) 1187.17 1187.42

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_9_mh_ic.opb
MD5SUMe68c386be3005ac1db93713ad853c109
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3056260
Best CPU time to get the best result obtained on this benchmark398.99
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9765
Total number of constraints21293
Number of constraints which are clauses14520
Number of constraints which are cardinality constraints (but not clauses)23
Number of constraints which are nor clauses,nor cardinality constraints6750
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 4005
Biggest coefficient in the objective function 144703125
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 7285050849
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 144703125
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 7285050849
Number of bits of the biggest sum of numbers33
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-07T20:54:29+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-4079373-1465325669.opb"]
0.00/0.01	c use --random-gen="677982336 541339340 286423169 2924877152 89040843 2268833280 2929582055 1787897281 1047348751 319126830 3375524312 327797471 1576506505 1926460131 1880334517 1281009707 3081425161 1592388318 100599798 3286554491 3108143364 196755313 2388276471 734870310 1280636899 3542121367 111992475 1052768261 327963358 589297958 2550266018 248042419 593757754 2642819826 2371347775 4082551597 2291971068 327367424 2541402470 3840002577 3594610749 3425396794 951551917 3036857681 3148677459 358777146 1108143289 1425429271 3846351967 2175392197 2043452136 2607894930 2986775384 742183371 2615873816 128468461 417484546 2264826398 2704923465 1251049754 2627046181 1305885842 3235595261 1361617396 2974449404 1157377833 2978695565 1570246388 554013289 691117650 2915245019 149155511 3707003232 3432995549 1855765042 1611608156 2995662630 3300777123 2481919287 1096726131 1723564704 96367021 3016100243 4114758900 67329396 1754285058 84622162 733504144 16616167 2675589504 2420892348 907085819 4027495398 4080579409 1598092517 3326286244 3855519574 271795967 1522548929 3648616125 1300544517 626159038 3610154545 3801478652 1668908169 427765005 558633294 969074516 19044606 1146802098 3641234206 1082968329 1705749323 4154434207 1401658555 2525596093 2465931684 3817018052 3162037738 817093609 1851417280 1322914933 3089162529 2954430143 3695276461 1161796317 754346863 655001101 2215397925 2924133711 3723595166 1446033712 3917855999 3063269122 659787262 913070563 3320103974 1814574640 3895977462 225105402 2032318451 1302599889 2751845474 1135529725 3012001114 1459243836 2365312599 3624393837 742547691 3130138644 327742298 2487378005 1697679082 3782496289 3591715399 2313390275 3091182668 3416104373 401244276 3109341376 870610283 59231951 2763107917 2674043192 1551244785 506689467 779906501 3587798336 1519246778 2675757964 855201246 446461210 3031671415 1519133123 186357110 3273343878 3136977339 4219759941 3095741981 2669345969 2124229196 3162310647 4099544330 63411943 1443079897 804724585 1321111743 3203554615 1875416958 4054945589 3579676255 65262634 3430258355 590943703 3046162731 3448079735 1179727502 561285668 2921134722 213276929 28970324 966870910 4184333128 2723143908 596019270 565834735 41850785 1154388803 631155952 2617194343 2863256821 1039430497 3183359165 2845546204 4060618185 2084182002 2580616200 158120732 810088591 2385235525 1885980345 709290397 3332233946 3153076423 3032164388 588314256 2700778004 3133374327 4251979043 3666679926 3823112227 1135592896 1184699172 213994259 1667505676 2029196945 1209711315 4098273285 5140566 3515071919 864098565 2517496427 1020488734 773942413 3390242606 4163255354 1706768785 1520743005 4189730010 3933435807 2590694316 3747538824 2331768537 4248833480 3805531166 1645104487 255 362436" option to reproduce the execution
0.18/0.20	c #vars 9765
0.18/0.20	c #constraints 21293
0.39/0.49	c BCD2: Hardening is enabled.
0.39/0.49	c BCD2: BiasedSearch is enabled.
0.39/0.49	c Solving starts ...
0.39/0.49	c ============================[ Search Statistics ]============================
0.39/0.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.49	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.49	c =============================================================================
0.39/0.49	c  0.0s |       0 |        0 |        0 |    10562      0 |       60 |        0
0.69/0.71	c  0.2s |       1 |      220 |      100 |    10562      0 |       60 |        0
1.29/1.30	c  0.8s |       2 |      660 |      250 |    11619      0 |       60 |        0
2.88/2.99	c  2.5s |       3 |     1693 |      475 |    12781      0 |       60 |        0
4.29/4.40	c  3.9s |       4 |     2843 |      813 |    14060      0 |       60 |        0
5.60/5.69	c  5.2s |       5 |     4295 |     1320 |    15467      0 |       60 |        0
6.60/6.65	c  6.2s |       6 |     5762 |     2081 |    18716      0 |       60 |        0
8.09/8.10	c  7.6s |       7 |     7785 |     3223 |    20588      0 |       60 |        0
10.09/10.13	c  9.6s |       7 |    11314 |     4523 |    20588      0 |       60 |        0
10.69/10.76	c 10.3s |       8 |    12098 |     4936 |    22647      0 |       60 |        0
12.79/12.86	c 12.4s |       8 |    14478 |     6436 |    22647      0 |       60 |        0
14.49/14.57	c 14.1s |       9 |    15958 |     7506 |    24912      0 |       60 |        0
16.60/16.63	c 16.1s |       9 |    18177 |     8606 |    24912      0 |       60 |        0
18.70/18.73	c 18.2s |       9 |    20513 |    10006 |    24912      0 |       60 |        0
20.69/20.74	c 20.2s |       9 |    22442 |    11306 |    27404      0 |       60 |        0
20.79/20.81	c 20.3s |      10 |    22540 |    11361 |    27404      0 |       60 |        0
22.89/22.93	c 22.4s |      10 |    25116 |    12561 |    27404      0 |       60 |        0
24.89/24.94	c 24.4s |      10 |    27398 |    13961 |    27404      0 |       60 |        0
26.89/26.95	c 26.5s |      10 |    29136 |    15161 |    27404      0 |       60 |        0
28.99/29.09	c 28.6s |      10 |    31351 |    16461 |    27404      0 |       60 |        0
30.39/30.49	c 30.0s |      11 |    32470 |    17144 |    30145      0 |       60 |        0
32.49/32.58	c 32.1s |      11 |    34484 |    18144 |    30145      0 |       60 |        0
34.59/34.63	c 34.1s |      11 |    36486 |    19244 |    30145      0 |       60 |        0
36.69/36.76	c 36.3s |      11 |    38435 |    20444 |    30145      0 |       60 |        0
38.79/38.80	c 38.3s |      11 |    41007 |    21644 |    30145      0 |       60 |        0
40.79/40.89	c 40.4s |      11 |    43391 |    22844 |    30145      0 |       60 |        0
42.99/43.05	c 42.6s |      11 |    45331 |    23944 |    30145      0 |       60 |        0
45.19/45.24	c 44.8s |      11 |    47520 |    25044 |    30145      0 |       60 |        0
46.79/46.81	c 46.3s |      12 |    48828 |    25819 |    33160      0 |       60 |        0
48.89/48.94	c 48.4s |      12 |    50445 |    26719 |    33160      0 |       60 |        0
50.89/50.96	c 50.5s |      12 |    52133 |    27719 |    33160      0 |       60 |        0
52.99/53.04	c 52.5s |      12 |    53844 |    28519 |    33160      0 |       60 |        0
55.09/55.14	c 54.7s |      12 |    55539 |    29519 |    33160      0 |       60 |        0
57.29/57.34	c 56.9s |      12 |    57006 |    30519 |    33160      0 |       60 |        0
59.39/59.45	c 59.0s |      12 |    58845 |    31619 |    33160      0 |       60 |        0
61.48/61.57	c 61.1s |      12 |    60329 |    32619 |    33160      0 |       60 |        0
63.68/63.77	c 63.3s |      12 |    62431 |    33619 |    33160      0 |       60 |        0
65.68/65.79	c 65.3s |      12 |    64285 |    34619 |    33160      0 |       60 |        0
67.88/67.95	c 67.5s |      12 |    65808 |    35519 |    33160      0 |       60 |        0
70.08/70.13	c 69.6s |      12 |    67335 |    36519 |    33160      1 |       60 |        0
72.08/72.14	c 71.6s |      12 |    68787 |    37519 |    33160      1 |       60 |        0
74.28/74.35	c 73.9s |      12 |    70328 |    38519 |    33160      1 |       60 |        0
75.08/75.12	c 74.6s |      13 |    70774 |    38832 |    36476      1 |       60 |        0
77.09/77.13	c 76.6s |      13 |    71852 |    39532 |    36476      1 |       60 |        0
79.08/79.20	c 78.7s |      13 |    73007 |    40332 |    36476      1 |       60 |        0
81.28/81.31	c 80.8s |      13 |    74460 |    41332 |    36476      1 |       60 |        0
83.28/83.35	c 82.9s |      13 |    75824 |    42332 |    36476      1 |       60 |        0
85.28/85.39	c 84.9s |      13 |    77193 |    43232 |    36476      1 |       60 |        0
87.38/87.42	c 86.9s |      13 |    78694 |    44132 |    36476      1 |       60 |        0
89.48/89.58	c 89.1s |      13 |    80135 |    45132 |    36476      1 |       60 |        0
91.58/91.63	c 91.1s |      13 |    81504 |    45932 |    36476      1 |       60 |        0
93.58/93.67	c 93.2s |      13 |    83761 |    47132 |    36476      1 |       60 |        0
95.68/95.73	c 95.2s |      13 |    85977 |    48132 |    36476      1 |       60 |        0
97.78/97.80	c 97.3s |      13 |    87829 |    48632 |    36476      1 |       60 |        0
99.88/99.92	c 99.4s |      13 |    90549 |    49932 |    36476      1 |       60 |        0
102.08/102.19	c  101s |      13 |    92438 |    50932 |    36476      1 |       60 |        0
104.48/104.55	c  104s |      13 |    94921 |    51532 |    36476      1 |       60 |        0
106.68/106.73	c  106s |      13 |    96726 |    52132 |    36476      1 |       60 |        0
108.67/108.73	c  108s |      13 |    99054 |    53332 |    36476      1 |       60 |        0
110.87/110.96	c  110s |      13 |   101248 |    54532 |    36476      1 |       60 |        0
112.97/113.00	c  112s |      13 |   103487 |    55532 |    36476      1 |       60 |        0
115.07/115.19	c  114s |      13 |   105477 |    56732 |    36476      1 |       60 |        0
117.27/117.34	c  116s |      13 |   107887 |    57632 |    36476      1 |       60 |        0
118.67/118.77	c  118s |      14 |   109377 |    58352 |    40124      1 |       60 |        0
120.77/120.83	c  120s |      14 |   110730 |    59152 |    40124      2 |       60 |        0
122.77/122.87	c  122s |      14 |   112313 |    60152 |    40124      2 |       60 |        0
125.07/125.17	c  124s |      14 |   113670 |    60952 |    40124      2 |       60 |        0
127.27/127.35	c  126s |      14 |   115696 |    62052 |    40124      2 |       60 |        0
129.47/129.53	c  129s |      14 |   117518 |    63252 |    40124      2 |       60 |        0
131.47/131.54	c  131s |      14 |   119313 |    64452 |    40124      2 |       60 |        0
133.57/133.64	c  133s |      14 |   121213 |    65752 |    40124      2 |       60 |        0
135.67/135.76	c  135s |      14 |   123137 |    66952 |    40124      2 |       60 |        0
137.87/137.93	c  137s |      14 |   124853 |    68052 |    40124      2 |       60 |        0
139.97/140.01	c  139s |      14 |   126478 |    69052 |    40124      2 |       60 |        0
141.98/142.07	c  141s |      14 |   128082 |    70152 |    40124      2 |       60 |        0
144.18/144.22	c  143s |      14 |   129696 |    71252 |    40124      2 |       60 |        0
146.27/146.33	c  145s |      14 |   131289 |    72352 |    40124      2 |       60 |        0
148.37/148.45	c  147s |      14 |   132972 |    73452 |    40124      2 |       60 |        0
150.57/150.65	c  150s |      14 |   134422 |    74452 |    40124      2 |       60 |        0
152.67/152.79	c  152s |      14 |   135784 |    75352 |    40124      2 |       60 |        0
154.77/154.84	c  154s |      14 |   137330 |    76352 |    40124      2 |       60 |        0
156.87/156.96	c  156s |      14 |   139308 |    77352 |    40124      2 |       60 |        0
159.06/159.15	c  158s |      14 |   141395 |    78452 |    40124      2 |       60 |        0
161.16/161.29	c  160s |      14 |   143417 |    79552 |    40124      2 |       60 |        0
163.36/163.46	c  162s |      14 |   144946 |    80552 |    40124      2 |       60 |        0
165.46/165.56	c  165s |      14 |   146627 |    81552 |    40124      2 |       60 |        0
167.66/167.72	c  167s |      14 |   148290 |    82652 |    40124      2 |       60 |        0
170.06/170.14	c  169s |      14 |   149784 |    83652 |    40124      3 |       60 |        0
172.16/172.26	c  171s |      14 |   152098 |    84952 |    40124      3 |       60 |        0
174.26/174.33	c  173s |      14 |   154005 |    86152 |    40124      3 |       60 |        0
176.26/176.35	c  175s |      14 |   155551 |    87252 |    44137      3 |       60 |        0
177.07/177.16	c  176s |      15 |   156149 |    87632 |    44137      3 |       60 |        0
179.16/179.26	c  178s |      15 |   157916 |    88832 |    44137      3 |       60 |        0
181.36/181.44	c  180s |      15 |   159782 |    90032 |    44137      3 |       60 |        0
183.46/183.54	c  183s |      15 |   161343 |    91032 |    44137      3 |       60 |        0
185.46/185.57	c  185s |      15 |   163128 |    92232 |    44137      3 |       60 |        0
187.56/187.66	c  187s |      15 |   164747 |    93332 |    44137      3 |       60 |        0
189.66/189.73	c  189s |      15 |   166302 |    94432 |    44137      3 |       60 |        0
191.86/191.94	c  191s |      15 |   168036 |    95532 |    44137      3 |       60 |        0
194.45/194.51	c  194s |      15 |   169603 |    96332 |    44137      3 |       60 |        0
196.55/196.67	c  196s |      15 |   171543 |    97432 |    44137      3 |       60 |        0
198.85/198.99	c  198s |      15 |   173206 |    98432 |    44137      3 |       60 |        0
200.95/201.08	c  200s |      15 |   174782 |    99432 |    44137      3 |       60 |        0
203.05/203.15	c  202s |      15 |   176514 |   100532 |    44137      3 |       60 |        0
205.25/205.30	c  204s |      15 |   178388 |   101632 |    44137      3 |       60 |        0
207.35/207.41	c  206s |      15 |   180267 |   102732 |    44137      3 |       60 |        0
209.55/209.61	c  209s |      15 |   181877 |   103832 |    44137      3 |       60 |        0
211.55/211.61	c  211s |      15 |   183250 |   104732 |    44137      3 |       60 |        0
213.55/213.67	c  213s |      15 |   184460 |   105532 |    44137      3 |       60 |        0
215.67/215.74	c  215s |      15 |   185887 |   106432 |    44137      3 |       60 |        0
217.66/217.77	c  217s |      15 |   187648 |   107432 |    44137      3 |       60 |        0
219.66/219.79	c  219s |      15 |   189221 |   108432 |    44137      3 |       60 |        0
221.86/221.95	c  221s |      15 |   190865 |   109432 |    44137      4 |       60 |        0
223.86/223.96	c  223s |      15 |   192794 |   110332 |    44137      4 |       60 |        0
226.06/226.10	c  225s |      15 |   194394 |   111432 |    44137      4 |       60 |        0
228.16/228.23	c  227s |      15 |   196197 |   112532 |    44137      4 |       60 |        0
230.26/230.36	c  229s |      15 |   197646 |   113532 |    44137      4 |       60 |        0
232.46/232.55	c  232s |      15 |   199500 |   114632 |    44137      4 |       60 |        0
234.46/234.57	c  234s |      15 |   200948 |   115632 |    44137      4 |       60 |        0
236.66/236.74	c  236s |      15 |   202447 |   116632 |    44137      4 |       60 |        0
238.86/238.94	c  238s |      15 |   203673 |   117332 |    44137      4 |       60 |        0
240.86/240.98	c  240s |      15 |   205393 |   118332 |    44137      4 |       60 |        0
242.96/243.10	c  242s |      15 |   207391 |   119432 |    44137      4 |       60 |        0
245.05/245.12	c  244s |      15 |   209267 |   120532 |    44137      4 |       60 |        0
247.05/247.14	c  246s |      15 |   210750 |   121532 |    44137      4 |       60 |        0
249.25/249.32	c  248s |      15 |   212829 |   122732 |    44137      4 |       60 |        0
251.35/251.48	c  250s |      15 |   214501 |   123832 |    44137      4 |       60 |        0
253.45/253.55	c  253s |      15 |   215987 |   124732 |    44137      4 |       60 |        0
255.65/255.73	c  255s |      15 |   217376 |   125732 |    44137      4 |       60 |        0
257.65/257.78	c  257s |      15 |   218724 |   126632 |    44137      4 |       60 |        0
259.75/259.80	c  259s |      15 |   220594 |   127632 |    44137      4 |       60 |        0
261.86/261.94	c  261s |      15 |   222426 |   128532 |    44137      4 |       60 |        0
263.85/263.98	c  263s |      15 |   223775 |   129432 |    44137      4 |       60 |        0
265.95/266.04	c  265s |      15 |   225326 |   130432 |    44137      4 |       60 |        0
268.05/268.11	c  267s |      15 |   226605 |   131332 |    48551      4 |       60 |        0
268.46/268.55	c  268s |      16 |   227169 |   131552 |    48551      4 |       60 |        0
270.56/270.62	c  270s |      16 |   228624 |   132452 |    48551      4 |       60 |        0
272.55/272.64	c  272s |      16 |   229888 |   133352 |    48551      4 |       60 |        0
274.65/274.70	c  274s |      16 |   231461 |   134352 |    48551      4 |       60 |        0
276.65/276.77	c  276s |      16 |   232864 |   135352 |    48551      4 |       60 |        0
278.75/278.82	c  278s |      16 |   234198 |   136252 |    48551      4 |       60 |        0
280.75/280.83	c  280s |      16 |   235402 |   137052 |    48551      4 |       60 |        0
282.95/283.08	c  282s |      16 |   236606 |   137852 |    48551      5 |       60 |        0
285.65/285.74	c  285s |      16 |   238288 |   138652 |    48551      5 |       60 |        0
287.65/287.77	c  287s |      16 |   239541 |   139252 |    48551      5 |       60 |        0
289.75/289.89	c  289s |      16 |   241418 |   140152 |    48551      5 |       60 |        0
292.05/292.12	c  291s |      16 |   243375 |   141252 |    48551      5 |       60 |        0
294.15/294.26	c  293s |      16 |   244990 |   142052 |    48551      5 |       60 |        0
296.15/296.26	c  295s |      16 |   246650 |   143052 |    48551      5 |       60 |        0
298.34/298.46	c  297s |      16 |   248219 |   143952 |    48551      5 |       60 |        0
300.44/300.54	c  300s |      16 |   249770 |   144852 |    48551      5 |       60 |        0
302.55/302.62	c  302s |      16 |   251008 |   145552 |    48551      5 |       60 |        0
304.54/304.69	c  304s |      16 |   252431 |   146352 |    48551      5 |       60 |        0
306.74/306.83	c  306s |      16 |   253926 |   147352 |    48551      5 |       60 |        0
308.74/308.89	c  308s |      16 |   255547 |   148252 |    48551      5 |       60 |        0
310.94/311.06	c  310s |      16 |   258068 |   149452 |    48551      5 |       60 |        0
313.14/313.22	c  312s |      16 |   260206 |   150652 |    48551      5 |       60 |        0
315.24/315.35	c  314s |      16 |   262030 |   151752 |    48551      5 |       60 |        0
317.44/317.53	c  317s |      16 |   263454 |   152752 |    48551      5 |       60 |        0
319.64/319.77	c  319s |      16 |   265346 |   153752 |    48551      5 |       60 |        0
321.64/321.78	c  321s |      16 |   267151 |   154752 |    48551      5 |       60 |        0
323.74/323.86	c  323s |      16 |   268782 |   155852 |    48551      5 |       60 |        0
325.74/325.88	c  325s |      16 |   270613 |   156952 |    48551      5 |       60 |        0
327.94/328.04	c  327s |      16 |   272211 |   158052 |    48551      5 |       60 |        0
329.95/330.05	c  329s |      16 |   273836 |   159052 |    48551      5 |       60 |        0
332.04/332.16	c  331s |      16 |   275559 |   160152 |    48551      5 |       60 |        0
334.24/334.35	c  333s |      16 |   276988 |   161052 |    48551      5 |       60 |        0
336.24/336.35	c  335s |      16 |   278327 |   161952 |    48551      5 |       60 |        0
338.24/338.37	c  337s |      16 |   279717 |   162852 |    48551      5 |       60 |        0
340.54/340.70	c  340s |      16 |   280940 |   163652 |    48551      6 |       60 |        0
342.64/342.71	c  342s |      16 |   282309 |   164652 |    48551      6 |       60 |        0
344.64/344.72	c  344s |      16 |   283825 |   165752 |    48551      6 |       60 |        0
346.74/346.88	c  346s |      16 |   285193 |   166752 |    48551      6 |       60 |        0
348.93/349.07	c  348s |      16 |   286282 |   167252 |    48551      6 |       60 |        0
351.13/351.20	c  350s |      16 |   288082 |   168152 |    48551      6 |       60 |        0
353.14/353.28	c  352s |      16 |   289731 |   168852 |    48551      6 |       60 |        0
355.24/355.33	c  354s |      16 |   291282 |   169652 |    48551      6 |       60 |        0
357.33/357.45	c  356s |      16 |   292907 |   170552 |    48551      6 |       60 |        0
359.43/359.55	c  359s |      16 |   294633 |   171452 |    48551      6 |       60 |        0
361.73/361.84	c  361s |      16 |   296240 |   172452 |    48551      6 |       60 |        0
363.93/364.02	c  363s |      16 |   297807 |   173452 |    48551      6 |       60 |        0
365.93/366.06	c  365s |      16 |   299464 |   174452 |    48551      6 |       60 |        0
368.33/368.48	c  367s |      16 |   301190 |   175352 |    48551      6 |       60 |        0
370.53/370.63	c  370s |      16 |   302944 |   176452 |    48551      6 |       60 |        0
372.63/372.73	c  372s |      16 |   304477 |   177452 |    48551      6 |       60 |        0
374.73/374.89	c  374s |      16 |   306453 |   178652 |    48551      6 |       60 |        0
376.93/377.06	c  376s |      16 |   308350 |   179852 |    48551      6 |       60 |        0
379.13/379.20	c  378s |      16 |   309945 |   180852 |    48551      6 |       60 |        0
381.13/381.26	c  380s |      16 |   311637 |   181852 |    48551      6 |       60 |        0
383.23/383.31	c  382s |      16 |   313193 |   182852 |    48551      6 |       60 |        0
385.23/385.31	c  384s |      16 |   314498 |   183752 |    48551      6 |       60 |        0
387.33/387.49	c  387s |      16 |   315901 |   184752 |    48551      6 |       60 |        0
389.43/389.52	c  389s |      16 |   317193 |   185652 |    48551      6 |       60 |        0
391.43/391.54	c  391s |      16 |   318518 |   186552 |    48551      6 |       60 |        0
393.63/393.73	c  393s |      16 |   319976 |   187552 |    48551      6 |       60 |        0
395.73/395.83	c  395s |      16 |   321443 |   188552 |    48551      6 |       60 |        0
397.73/397.89	c  397s |      16 |   322658 |   189452 |    48551      7 |       60 |        0
399.93/400.01	c  399s |      16 |   324375 |   190652 |    48551      7 |       60 |        0
402.43/402.52	c  402s |      16 |   325535 |   191452 |    48551      7 |       60 |        0
404.53/404.61	c  404s |      16 |   326707 |   192152 |    48551      7 |       60 |        0
406.63/406.72	c  406s |      16 |   327847 |   192852 |    48551      7 |       60 |        0
408.72/408.85	c  408s |      16 |   328886 |   193452 |    48551      7 |       60 |        0
411.02/411.15	c  410s |      16 |   330458 |   194252 |    48551      7 |       60 |        0
413.12/413.26	c  412s |      16 |   332018 |   195152 |    48551      7 |       60 |        0
415.32/415.41	c  414s |      16 |   333915 |   196252 |    53407      7 |       60 |        0
417.32/417.48	c  416s |      16 |   335548 |   197052 |    53407      7 |       60 |        0
418.22/418.36	c  417s |      17 |   336334 |   197432 |    53407      7 |       60 |        0
420.32/420.43	c  419s |      17 |   338203 |   198332 |    53407      7 |       60 |        0
422.43/422.56	c  422s |      17 |   339965 |   199532 |    53407      7 |       60 |        0
424.53/424.61	c  424s |      17 |   341670 |   200732 |    53407      7 |       60 |        0
426.52/426.69	c  426s |      17 |   343310 |   201832 |    53407      7 |       60 |        0
428.62/428.76	c  428s |      17 |   345026 |   202932 |    53407      7 |       60 |        0
430.72/430.83	c  430s |      17 |   346604 |   203932 |    53407      7 |       60 |        0
432.72/432.88	c  432s |      17 |   348042 |   204932 |    53407      7 |       60 |        0
434.92/435.03	c  434s |      17 |   349577 |   206032 |    53407      7 |       60 |        0
437.12/437.23	c  436s |      17 |   351009 |   207032 |    53407      7 |       60 |        0
439.42/439.52	c  439s |      17 |   352411 |   207932 |    53407      7 |       60 |        0
441.62/441.73	c  441s |      17 |   353750 |   208832 |    53407      7 |       60 |        0
443.62/443.75	c  443s |      17 |   355102 |   209732 |    53407      7 |       60 |        0
445.92/446.00	c  445s |      17 |   357400 |   210632 |    53407      7 |       60 |        0
447.92/448.01	c  447s |      17 |   359129 |   211632 |    53407      7 |       60 |        0
450.02/450.11	c  449s |      17 |   360539 |   212632 |    53407      7 |       60 |        0
452.02/452.15	c  451s |      17 |   361855 |   213532 |    53407      7 |       60 |        0
454.12/454.26	c  453s |      17 |   363375 |   214532 |    53407      7 |       60 |        0
456.12/456.29	c  455s |      17 |   364627 |   215432 |    53407      7 |       60 |        0
458.22/458.34	c  457s |      17 |   365846 |   216332 |    53407      7 |       60 |        0
460.42/460.53	c  460s |      17 |   367414 |   217432 |    53407      7 |       60 |        0
462.42/462.57	c  462s |      17 |   368891 |   218432 |    53407      7 |       60 |        0
464.42/464.57	c  464s |      17 |   370443 |   219432 |    53407      7 |       60 |        0
466.42/466.57	c  466s |      17 |   371872 |   220432 |    53407      7 |       60 |        0
468.62/468.71	c  468s |      17 |   373308 |   221432 |    53407      7 |       60 |        0
470.61/470.79	c  470s |      17 |   374680 |   222232 |    53407      8 |       60 |        0
472.81/472.92	c  472s |      17 |   376089 |   223032 |    53407      8 |       60 |        0
475.01/475.16	c  474s |      17 |   377893 |   224132 |    53407      8 |       60 |        0
477.21/477.32	c  476s |      17 |   379594 |   225332 |    53407      8 |       60 |        0
479.31/479.46	c  478s |      17 |   381164 |   226332 |    53407      8 |       60 |        0
481.51/481.61	c  481s |      17 |   382825 |   227432 |    53407      8 |       60 |        0
483.51/483.67	c  483s |      17 |   384114 |   228332 |    53407      8 |       60 |        0
485.71/485.85	c  485s |      17 |   385147 |   229032 |    53407      8 |       60 |        0
487.82/487.97	c  487s |      17 |   386861 |   229832 |    53407      8 |       60 |        0
490.02/490.10	c  489s |      17 |   388357 |   230832 |    53407      8 |       60 |        0
492.02/492.13	c  491s |      17 |   389864 |   231832 |    53407      8 |       60 |        0
494.22/494.32	c  493s |      17 |   391425 |   232832 |    53407      8 |       60 |        0
496.42/496.52	c  496s |      17 |   392863 |   233832 |    53407      8 |       60 |        0
498.52/498.61	c  498s |      17 |   394251 |   234832 |    53407      8 |       60 |        0
500.52/500.63	c  500s |      17 |   395683 |   235732 |    53407      8 |       60 |        0
502.62/502.76	c  502s |      17 |   396998 |   236432 |    53407      8 |       60 |        0
504.92/505.07	c  504s |      17 |   398786 |   237332 |    53407      8 |       60 |        0
507.31/507.44	c  506s |      17 |   400543 |   238332 |    53407      8 |       60 |        0
509.51/509.67	c  509s |      17 |   402519 |   239332 |    53407      8 |       60 |        0
511.52/511.69	c  511s |      17 |   403868 |   240232 |    53407      8 |       60 |        0
513.72/513.85	c  513s |      17 |   405641 |   241332 |    53407      8 |       60 |        0
515.82/515.98	c  515s |      17 |   407258 |   242432 |    53407      8 |       60 |        0
517.91/518.08	c  517s |      17 |   408838 |   243432 |    53407      8 |       60 |        0
520.11/520.24	c  519s |      17 |   410247 |   244332 |    53407      8 |       60 |        0
522.21/522.30	c  521s |      17 |   411557 |   245232 |    53407      8 |       60 |        0
524.31/524.41	c  523s |      17 |   413188 |   246232 |    53407      8 |       60 |        0
526.51/526.60	c  526s |      17 |   414615 |   247232 |    53407      8 |       60 |        0
528.61/528.73	c  528s |      17 |   416239 |   248232 |    53407      8 |       60 |        0
531.51/531.61	c  531s |      17 |   417395 |   248932 |    53407      9 |       60 |        0
533.52/533.61	c  533s |      17 |   418566 |   249732 |    53407      9 |       60 |        0
535.71/535.88	c  535s |      17 |   420066 |   250632 |    53407      9 |       60 |        0
537.81/537.98	c  537s |      17 |   421012 |   251132 |    53407      9 |       60 |        0
539.91/540.02	c  539s |      17 |   422527 |   252132 |    53407      9 |       60 |        0
541.91/542.09	c  541s |      17 |   424003 |   253132 |    53407      9 |       60 |        0
544.01/544.15	c  543s |      17 |   425494 |   254132 |    53407      9 |       60 |        0
547.40/547.59	c  547s |      17 |   426712 |   254732 |    53407      9 |       60 |        0
550.20/550.39	c  549s |      17 |   427504 |   255032 |    53407      9 |       60 |        0
552.30/552.46	c  551s |      17 |   428181 |   255432 |    53407      9 |       60 |        0
554.50/554.60	c  554s |      17 |   429840 |   256532 |    53407      9 |       60 |        0
556.61/556.71	c  556s |      17 |   431679 |   257632 |    53407      9 |       60 |        0
558.90/559.07	c  558s |      17 |   433406 |   258532 |    53407      9 |       60 |        0
561.10/561.20	c  560s |      17 |   435156 |   259432 |    53407      9 |       60 |        0
563.11/563.25	c  562s |      17 |   436497 |   260232 |    53407      9 |       60 |        0
565.20/565.35	c  564s |      17 |   437637 |   260932 |    53407      9 |       60 |        0
567.30/567.42	c  566s |      17 |   438701 |   261732 |    53407      9 |       60 |        0
569.40/569.56	c  569s |      17 |   440044 |   262632 |    53407      9 |       60 |        0
571.60/571.71	c  571s |      17 |   441182 |   263232 |    53407      9 |       60 |        0
573.60/573.79	c  573s |      17 |   442207 |   263832 |    53407      9 |       60 |        0
575.80/575.98	c  575s |      17 |   443446 |   264432 |    53407      9 |       60 |        0
577.90/578.09	c  577s |      17 |   444481 |   265132 |    53407      9 |       60 |        0
580.20/580.33	c  579s |      17 |   445969 |   266032 |    53407      9 |       60 |        0
582.20/582.35	c  581s |      17 |   447569 |   266932 |    53407      9 |       60 |        0
584.40/584.50	c  584s |      17 |   449146 |   267832 |    53407      9 |       60 |        0
586.50/586.64	c  586s |      17 |   450718 |   268932 |    53407      9 |       60 |        0
588.60/588.76	c  588s |      17 |   452157 |   269932 |    53407      9 |       60 |        0
590.71/590.90	c  590s |      17 |   453802 |   271132 |    53407      9 |       60 |        0
592.91/593.03	c  592s |      17 |   455399 |   272232 |    53407      9 |       60 |        0
595.11/595.24	c  594s |      17 |   457007 |   273332 |    53407      9 |       60 |        0
597.10/597.26	c  596s |      17 |   458398 |   274232 |    53407      9 |       60 |        0
599.30/599.48	c  598s |      17 |   459842 |   275232 |    53407      9 |       60 |        0
601.50/601.62	c  601s |      17 |   461328 |   276232 |    53407      9 |       60 |        0
603.50/603.69	c  603s |      17 |   462789 |   277132 |    53407      9 |       60 |        0
605.60/605.76	c  605s |      17 |   464017 |   278032 |    53407     10 |       60 |        0
607.70/607.86	c  607s |      17 |   465910 |   279232 |    53407     10 |       60 |        0
609.80/609.93	c  609s |      17 |   467878 |   280332 |    53407     10 |       60 |        0
611.80/611.99	c  611s |      17 |   469564 |   281432 |    53407     10 |       60 |        0
613.90/614.05	c  613s |      17 |   471428 |   282532 |    53407     10 |       60 |        0
615.91/616.09	c  615s |      17 |   473022 |   283632 |    53407     10 |       60 |        0
618.00/618.13	c  617s |      17 |   474484 |   284632 |    53407     10 |       60 |        0
620.10/620.28	c  619s |      17 |   475983 |   285632 |    53407     10 |       60 |        0
622.20/622.37	c  621s |      17 |   477770 |   286732 |    53407     10 |       60 |        0
624.30/624.49	c  624s |      17 |   479338 |   287732 |    53407     10 |       60 |        0
626.40/626.55	c  626s |      17 |   480829 |   288732 |    53407     10 |       60 |        0
628.60/628.76	c  628s |      17 |   482758 |   289832 |    53407     10 |       60 |        0
630.70/630.86	c  630s |      17 |   484543 |   290932 |    53407     10 |       60 |        0
632.80/632.97	c  632s |      17 |   486121 |   292032 |    53407     10 |       60 |        0
634.90/635.04	c  634s |      17 |   487591 |   293032 |    53407     10 |       60 |        0
637.00/637.16	c  636s |      17 |   488982 |   294032 |    53407     10 |       60 |        0
639.19/639.33	c  638s |      17 |   490566 |   295132 |    58748     10 |       60 |        0
641.30/641.44	c  640s |      17 |   492079 |   296132 |    58748     10 |       60 |        0
641.59/641.72	c  641s |      18 |   492298 |   296252 |    58748     10 |       60 |        0
643.59/643.78	c  643s |      18 |   493637 |   297152 |    58748     10 |       60 |        0
645.79/645.93	c  645s |      18 |   495020 |   298152 |    58748     10 |       60 |        0
647.80/647.98	c  647s |      18 |   496251 |   299052 |    58748     10 |       60 |        0
649.89/650.04	c  649s |      18 |   497617 |   300052 |    58748     10 |       60 |        0
651.99/652.16	c  651s |      18 |   499040 |   301052 |    58748     10 |       60 |        0
654.19/654.30	c  653s |      18 |   500237 |   301852 |    58748     10 |       60 |        0
656.19/656.36	c  655s |      18 |   501570 |   302752 |    58748     10 |       60 |        0
658.19/658.36	c  657s |      18 |   502726 |   303552 |    58748     10 |       60 |        0
660.29/660.47	c  659s |      18 |   504042 |   304452 |    58748     10 |       60 |        0
662.49/662.63	c  662s |      18 |   505365 |   305452 |    58748     10 |       60 |        0
664.59/664.75	c  664s |      18 |   506699 |   306452 |    58748     10 |       60 |        0
666.69/666.85	c  666s |      18 |   507924 |   307352 |    58748     10 |       60 |        0
668.99/669.13	c  668s |      18 |   509299 |   308252 |    58748     10 |       60 |        0
671.09/671.29	c  670s |      18 |   510988 |   308852 |    58748     10 |       60 |        0
674.49/674.67	c  674s |      18 |   512704 |   309852 |    58748     11 |       60 |        0
676.79/676.94	c  676s |      18 |   513180 |   310152 |    58748     11 |       60 |        0
678.89/679.07	c  678s |      18 |   515055 |   311452 |    58748     11 |       60 |        0
680.99/681.10	c  680s |      18 |   517023 |   312752 |    58748     11 |       60 |        0
682.99/683.15	c  682s |      18 |   518907 |   313952 |    58748     11 |       60 |        0
685.19/685.31	c  684s |      18 |   520480 |   315052 |    58748     11 |       60 |        0
687.29/687.49	c  686s |      18 |   522165 |   316152 |    58748     11 |       60 |        0
689.39/689.53	c  689s |      18 |   523628 |   317152 |    58748     11 |       60 |        0
691.59/691.72	c  691s |      18 |   525141 |   318152 |    58748     11 |       60 |        0
693.69/693.85	c  693s |      18 |   526619 |   319152 |    58748     11 |       60 |        0
695.79/695.97	c  695s |      18 |   528372 |   320152 |    58748     11 |       60 |        0
700.48/700.70	c  700s |      18 |   530161 |   321152 |    58748     11 |       60 |        0
702.98/703.18	c  702s |      18 |   531314 |   321652 |    58748     11 |       60 |        0
705.09/705.29	c  704s |      18 |   532894 |   322652 |    58748     11 |       60 |        0
707.19/707.32	c  706s |      18 |   534220 |   323552 |    58748     11 |       60 |        0
709.18/709.39	c  708s |      18 |   535647 |   324452 |    58748     11 |       60 |        0
711.38/711.53	c  711s |      18 |   537440 |   325552 |    58748     11 |       60 |        0
713.38/713.55	c  713s |      18 |   538681 |   326452 |    58748     11 |       60 |        0
715.58/715.74	c  715s |      18 |   539987 |   327352 |    58748     11 |       60 |        0
717.68/717.87	c  717s |      18 |   541509 |   328152 |    58748     11 |       60 |        0
719.78/719.95	c  719s |      18 |   543411 |   329352 |    58748     11 |       60 |        0
721.88/722.04	c  721s |      18 |   545357 |   330452 |    58748     11 |       60 |        0
723.98/724.10	c  723s |      18 |   547240 |   331552 |    58748     11 |       60 |        0
726.18/726.36	c  725s |      18 |   549095 |   332752 |    58748     11 |       60 |        0
728.18/728.37	c  727s |      18 |   550617 |   333852 |    58748     11 |       60 |        0
730.38/730.55	c  730s |      18 |   552400 |   334952 |    58748     11 |       60 |        0
732.48/732.67	c  732s |      18 |   554034 |   336052 |    58748     11 |       60 |        0
734.58/734.72	c  734s |      18 |   555610 |   337152 |    58748     11 |       60 |        0
736.58/736.79	c  736s |      18 |   557261 |   338252 |    58748     11 |       60 |        0
738.67/738.88	c  738s |      18 |   558665 |   339252 |    58748     11 |       60 |        0
740.87/741.08	c  740s |      18 |   559877 |   340052 |    58748     12 |       60 |        0
743.17/743.31	c  742s |      18 |   560973 |   340652 |    58748     12 |       60 |        0
745.27/745.40	c  744s |      18 |   562845 |   341452 |    58748     12 |       60 |        0
747.37/747.51	c  747s |      18 |   564286 |   342352 |    58748     12 |       60 |        0
749.47/749.67	c  749s |      18 |   566008 |   343452 |    58748     12 |       60 |        0
751.67/751.82	c  751s |      18 |   567285 |   344352 |    58748     12 |       60 |        0
753.67/753.88	c  753s |      18 |   568644 |   345252 |    58748     12 |       60 |        0
755.87/756.02	c  755s |      18 |   570340 |   346352 |    58748     12 |       60 |        0
757.88/758.08	c  757s |      18 |   571775 |   347352 |    58748     12 |       60 |        0
760.08/760.21	c  759s |      18 |   573210 |   348352 |    58748     12 |       60 |        0
762.07/762.24	c  761s |      18 |   574441 |   348952 |    58748     12 |       60 |        0
764.17/764.34	c  763s |      18 |   575655 |   349752 |    58748     12 |       60 |        0
766.27/766.46	c  765s |      18 |   577413 |   350752 |    58748     12 |       60 |        0
768.57/768.71	c  768s |      18 |   579226 |   351652 |    58748     12 |       60 |        0
770.67/770.84	c  770s |      18 |   581352 |   352552 |    58748     12 |       60 |        0
772.77/772.98	c  772s |      18 |   583151 |   353652 |    58748     12 |       60 |        0
774.87/775.07	c  774s |      18 |   584753 |   354652 |    58748     12 |       60 |        0
776.97/777.14	c  776s |      18 |   586295 |   355652 |    58748     12 |       60 |        0
779.07/779.25	c  778s |      18 |   587898 |   356752 |    58748     12 |       60 |        0
781.17/781.32	c  780s |      18 |   589349 |   357752 |    58748     12 |       60 |        0
783.27/783.46	c  782s |      18 |   590854 |   358752 |    58748     12 |       60 |        0
785.46/785.62	c  785s |      18 |   592322 |   359652 |    58748     12 |       60 |        0
787.47/787.65	c  787s |      18 |   593834 |   360552 |    58748     12 |       60 |        0
789.56/789.72	c  789s |      18 |   595439 |   361552 |    58748     12 |       60 |        0
791.76/791.92	c  791s |      18 |   597045 |   362652 |    58748     12 |       60 |        0
793.76/793.98	c  793s |      18 |   598498 |   363652 |    58748     12 |       60 |        0
795.86/796.07	c  795s |      18 |   599883 |   364552 |    58748     12 |       60 |        0
798.06/798.29	c  797s |      18 |   601132 |   365352 |    58748     12 |       60 |        0
800.16/800.37	c  799s |      18 |   602443 |   366252 |    58748     12 |       60 |        0
802.26/802.46	c  801s |      18 |   603801 |   367152 |    58748     12 |       60 |        0
804.45/804.61	c  804s |      18 |   605106 |   368052 |    58748     12 |       60 |        0
806.65/806.83	c  806s |      18 |   606468 |   368952 |    58748     12 |       60 |        0
808.65/808.85	c  808s |      18 |   607911 |   369852 |    58748     12 |       60 |        0
810.66/810.85	c  810s |      18 |   609178 |   370752 |    58748     12 |       60 |        0
812.76/813.00	c  812s |      18 |   610284 |   371252 |    58748     13 |       60 |        0
814.96/815.11	c  814s |      18 |   612014 |   372452 |    58748     13 |       60 |        0
817.05/817.21	c  816s |      18 |   613851 |   373752 |    58748     13 |       60 |        0
819.05/819.23	c  818s |      18 |   615658 |   374952 |    58748     13 |       60 |        0
821.05/821.24	c  820s |      18 |   617326 |   376052 |    58748     13 |       60 |        0
823.05/823.24	c  822s |      18 |   619182 |   377252 |    58748     13 |       60 |        0
825.24/825.40	c  824s |      18 |   621022 |   378452 |    58748     13 |       60 |        0
827.24/827.45	c  826s |      18 |   622429 |   379352 |    58748     13 |       60 |        0
829.35/829.56	c  829s |      18 |   624010 |   380452 |    58748     13 |       60 |        0
831.55/831.74	c  831s |      18 |   625867 |   381452 |    58748     13 |       60 |        0
833.54/833.75	c  833s |      18 |   627517 |   382452 |    58748     13 |       60 |        0
835.85/836.02	c  835s |      18 |   629173 |   383552 |    58748     13 |       60 |        0
837.94/838.17	c  837s |      18 |   630728 |   384652 |    58748     13 |       60 |        0
840.25/840.42	c  839s |      18 |   632069 |   385552 |    58748     13 |       60 |        0
842.45/842.61	c  842s |      18 |   633141 |   386252 |    58748     13 |       60 |        0
844.64/844.81	c  844s |      18 |   634463 |   387252 |    58748     13 |       60 |        0
846.84/847.02	c  846s |      18 |   635668 |   388152 |    58748     13 |       60 |        0
848.84/849.08	c  848s |      18 |   636879 |   388952 |    58748     13 |       60 |        0
850.94/851.13	c  850s |      18 |   638371 |   389952 |    58748     13 |       60 |        0
853.04/853.20	c  852s |      18 |   639907 |   390952 |    58748     13 |       60 |        0
855.13/855.33	c  854s |      18 |   641346 |   391952 |    58748     13 |       60 |        0
857.23/857.44	c  856s |      18 |   642766 |   392952 |    58748     13 |       60 |        0
859.33/859.55	c  859s |      18 |   644149 |   393952 |    58748     13 |       60 |        0
861.33/861.59	c  861s |      18 |   645491 |   394552 |    58748     13 |       60 |        0
863.63/863.81	c  863s |      18 |   646850 |   395452 |    58748     13 |       60 |        0
865.83/866.05	c  865s |      18 |   648443 |   396452 |    58748     13 |       60 |        0
867.84/868.09	c  867s |      18 |   649759 |   397352 |    58748     13 |       60 |        0
869.94/870.11	c  869s |      18 |   650691 |   397952 |    58748     13 |       60 |        0
872.24/872.41	c  871s |      18 |   652226 |   398552 |    58748     13 |       60 |        0
874.22/874.42	c  873s |      18 |   653477 |   399252 |    58748     13 |       60 |        0
876.22/876.47	c  875s |      18 |   654584 |   399852 |    58748     13 |       60 |        0
878.52/878.70	c  878s |      18 |   655949 |   400652 |    58748     13 |       60 |        0
880.62/880.80	c  880s |      18 |   656846 |   401252 |    58748     13 |       60 |        0
882.62/882.89	c  882s |      18 |   657960 |   402052 |    58748     13 |       60 |        0
884.72/884.95	c  884s |      18 |   659023 |   402852 |    58748     13 |       60 |        0
887.02/887.26	c  886s |      18 |   659866 |   403552 |    58748     13 |       60 |        0
889.22/889.49	c  888s |      18 |   660545 |   404152 |    58748     13 |       60 |        0
891.32/891.56	c  891s |      18 |   662232 |   405052 |    58748     14 |       60 |        0
893.52/893.76	c  893s |      18 |   664167 |   406252 |    58748     14 |       60 |        0
895.71/895.94	c  895s |      18 |   666117 |   407552 |    58748     14 |       60 |        0
897.81/898.01	c  897s |      18 |   667779 |   408752 |    58748     14 |       60 |        0
901.83/902.05	c  901s |      18 |   668252 |   408952 |    58748     14 |       60 |        0
903.92/904.16	c  903s |      18 |   670326 |   410152 |    58748     14 |       60 |        0
906.12/906.31	c  905s |      18 |   671899 |   411252 |    58748     14 |       60 |        0
908.22/908.46	c  907s |      18 |   673382 |   412352 |    58748     14 |       60 |        0
910.32/910.55	c  910s |      18 |   674840 |   413452 |    58748     14 |       60 |        0
912.32/912.56	c  912s |      18 |   675668 |   413952 |    58748     14 |       60 |        0
914.42/914.63	c  914s |      18 |   677827 |   415152 |    58748     14 |       60 |        0
916.41/916.68	c  916s |      18 |   680302 |   416352 |    58748     14 |       60 |        0
918.51/918.78	c  918s |      18 |   682704 |   417752 |    58748     14 |       60 |        0
920.52/920.80	c  920s |      18 |   684989 |   419152 |    58748     14 |       60 |        0
923.01/923.22	c  922s |      18 |   685727 |   419652 |    58748     14 |       60 |        0
925.11/925.33	c  924s |      18 |   687508 |   420752 |    58748     14 |       60 |        0
927.12/927.34	c  926s |      18 |   689117 |   421752 |    58748     14 |       60 |        0
929.21/929.42	c  928s |      18 |   690713 |   422852 |    58748     14 |       60 |        0
931.31/931.55	c  931s |      18 |   692171 |   423852 |    58748     14 |       60 |        0
933.41/933.60	c  933s |      18 |   693602 |   424852 |    58748     14 |       60 |        0
935.51/935.74	c  935s |      18 |   695123 |   425952 |    58748     14 |       60 |        0
937.71/937.95	c  937s |      18 |   696603 |   427052 |    58748     14 |       60 |        0
939.71/939.95	c  939s |      18 |   697992 |   427952 |    58748     14 |       60 |        0
941.71/941.99	c  941s |      18 |   699410 |   428852 |    58748     14 |       60 |        0
943.91/944.12	c  943s |      18 |   701071 |   429852 |    58748     14 |       60 |        0
945.91/946.16	c  945s |      18 |   702590 |   430752 |    58748     14 |       60 |        0
948.01/948.30	c  947s |      18 |   704489 |   431652 |    58748     14 |       60 |        0
950.21/950.47	c  949s |      18 |   706286 |   432652 |    58748     14 |       60 |        0
952.30/952.54	c  952s |      18 |   707683 |   433552 |    58748     14 |       60 |        0
954.40/954.63	c  954s |      18 |   709661 |   434552 |    58748     14 |       60 |        0
956.50/956.73	c  956s |      18 |   711142 |   435552 |    58748     14 |       60 |        0
958.60/958.84	c  958s |      18 |   712686 |   436452 |    58748     14 |       60 |        0
960.60/960.86	c  960s |      18 |   714014 |   437352 |    58748     14 |       60 |        0
962.70/962.91	c  962s |      18 |   715412 |   438252 |    58748     14 |       60 |        0
964.70/964.93	c  964s |      18 |   716459 |   438952 |    58748     15 |       60 |        0
966.81/967.08	c  966s |      18 |   718090 |   440052 |    58748     15 |       60 |        0
968.80/969.08	c  968s |      18 |   719435 |   441052 |    58748     15 |       60 |        0
971.00/971.22	c  970s |      18 |   720741 |   442052 |    64623     15 |       60 |        0
973.10/973.35	c  972s |      18 |   722020 |   442952 |    64623     15 |       60 |        0
975.20/975.49	c  974s |      18 |   723793 |   443952 |    64623     15 |       60 |        0
976.30/976.56	c  976s |      19 |   724644 |   444482 |    64623     15 |       60 |        0
977.30/977.55	c  977s |      19 |   725847 |   444811 |    64623     15 |       60 |        0
977.30/977.55	c #cpu_time = 974.495s
977.30/977.55	c #wall_clock_time = 977.048s
977.30/977.55	c #decision = 725847
977.30/977.55	c #random_decision = 662
977.30/977.55	c #conflict = 444811
977.30/977.55	c #restart = 19
977.30/977.55	o 414777501
977.60/977.90	c BCD2: updating upper bound: 7285050849 -> 414777515
978.00/978.28	c BCD2: 0 <= obj <= 414777515
978.00/978.28	c BCD2: #cores=0, #unrelaxed=4005, #relaxed=0, #hardened=0
978.00/978.28	c BCD2: #sat=1 #unsat=1 bias=1/2
978.00/978.28	c Solving starts ...
978.00/978.28	c ============================[ Search Statistics ]============================
978.00/978.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
978.00/978.28	c       |         |          |          |    Limit     GC | Var      | Constra 
978.00/978.28	c =============================================================================
978.00/978.28	c  0.0s |       0 |        0 |        0 |    64623      0 |       60 |        0
978.30/978.51	c  0.2s |       0 |       89 |        0 |    64623      0 |       60 |        0
978.30/978.51	c #cpu_time = 0.230s
978.30/978.51	c #wall_clock_time = 0.231s
978.30/978.51	c #decision = 89
978.30/978.51	c #random_decision = 0
978.30/978.51	c #conflict = 0
978.30/978.51	c #restart = 0
978.30/978.51	c BCD2: found a new core of size 90: cost of the new core is >=2744
978.30/978.51	c lower bound updated to 2729
978.60/978.86	c BCD2: 2744 <= obj <= 414777515
978.60/978.86	c BCD2: #cores=1, #unrelaxed=3915, #relaxed=90, #hardened=0
978.60/978.86	c BCD2: #sat=1 #unsat=2 bias=2/3

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

pid=21097
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.24 2.27 2.25 3/179 21100
/proc/meminfo: memFree=27885892/32872528 swapFree=16636/1570076
[pid=21100] ppid=21097 vsize=707004 CPUtime=0 cores=0,2,4,6
/proc/21100/stat : 21100 (toysat) R 21097 21100 2168 0 -1 4202496 2634 0 0 0 0 0 0 0 20 0 4 0 114499227 723972096 2995 33554432000 4194304 16246674 140736704627920 140736704627344 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21100/statm: 177263 3003 441 2943 0 174157 0
[pid=21100/tid=21101] ppid=21097 vsize=723388 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21101/stat : 21101 (toysat) S 21097 21100 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114499227 740749312 3062 33554432000 4194304 16246674 140736704627920 139872112192752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21100/tid=21102] ppid=21097 vsize=728508 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21102/stat : 21102 (toysat) S 21097 21100 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114499227 745992192 3079 33554432000 4194304 16246674 140736704627920 139872101702896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21100/tid=21103] ppid=21097 vsize=732604 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21103/stat : 21103 (toysat) S 21097 21100 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114499227 750186496 3096 33554432000 4194304 16246674 140736704627920 139871985331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.24 2.27 2.25 3/179 21100
/proc/meminfo: memFree=27885892/32872528 swapFree=16636/1570076
[pid=21100] ppid=21097 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/21100/stat : 21100 (toysat) R 21097 21100 2168 0 -1 4202496 28985 0 0 0 5 3 0 0 20 0 4 0 114499227 1333334016 29283 33554432000 4194304 16246674 140736704627920 140736704627232 7377837 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21100/statm: 325521 29298 801 2943 0 322415 0
[pid=21100/tid=21101] ppid=21097 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21101/stat : 21101 (toysat) S 21097 21100 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114499227 1333334016 29310 33554432000 4194304 16246674 140736704627920 139872112192752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21100/tid=21102] ppid=21097 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21102/stat : 21102 (toysat) S 21097 21100 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114499227 1333334016 29321 33554432000 4194304 16246674 140736704627920 139872101702896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21100/tid=21103] ppid=21097 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21103/stat : 21103 (toysat) S 21097 21100 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114499227 1333334016 29332 33554432000 4194304 16246674 140736704627920 139871985331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200507 s]
/proc/loadavg: 2.24 2.27 2.25 3/179 21100
/proc/meminfo: memFree=27885892/32872528 swapFree=16636/1570076
[pid=21100] ppid=21097 vsize=1314372 CPUtime=0.18 cores=0,2,4,6
/proc/21100/stat : 21100 (toysat) R 21097 21100 2168 0 -1 4202496 48838 0 0 0 12 6 0 0 20 0 4 0 114499227 1345916928 49647 33554432000 4194304 16246674 140736704627920 140736704627232 7440576 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21100/statm: 328593 49647 801 2943 0 325487 0
[pid=21100/tid=21101] ppid=21097 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21101/stat : 21101 (toysat) S 21097 21100 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114499227 1345916928 49647 33554432000 4194304 16246674 140736704627920 139872112192752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21100/tid=21102] ppid=21097 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21102/stat : 21102 (toysat) S 21097 21100 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114499227 1345916928 49647 33554432000 4194304 16246674 140736704627920 139872101702896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21100/tid=21103] ppid=21097 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21103/stat : 21103 (toysat) S 21097 21100 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114499227 1345916928 49647 33554432000 4194304 16246674 140736704627920 139871985331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1314372

[startup+0.300487 s]
/proc/loadavg: 2.24 2.27 2.25 3/179 21100
/proc/meminfo: memFree=27885892/32872528 swapFree=16636/1570076
[pid=21100] ppid=21097 vsize=1314372 CPUtime=0.28 cores=0,2,4,6
/proc/21100/stat : 21100 (toysat) R 21097 21100 2168 0 -1 4202496 48994 0 0 0 22 6 0 0 20 0 4 0 114499227 1345916928 49804 33554432000 4194304 16246674 140736704627920 140736704627232 12478189 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21100/statm: 328593 49815 839 2943 0 325487 0
[pid=21100/tid=21101] ppid=21097 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21101/stat : 21101 (toysat) S 21097 21100 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114499227 1345916928 49822 33554432000 4194304 16246674 140736704627920 139872112192752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21100/tid=21102] ppid=21097 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21102/stat : 21102 (toysat) S 21097 21100 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114499227 1345916928 49829 33554432000 4194304 16246674 140736704627920 139872101702896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21100/tid=21103] ppid=21097 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21103/stat : 21103 (toysat) S 21097 21100 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114499227 1345916928 49837 33554432000 4194304 16246674 140736704627920 139871985331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1314372

[startup+0.700389 s]
/proc/loadavg: 2.24 2.27 2.25 3/179 21100
/proc/meminfo: memFree=27885892/32872528 swapFree=16636/1570076
[pid=21100] ppid=21097 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/21100/stat : 21100 (toysat) R 21097 21100 2168 0 -1 4202496 108412 0 0 0 55 14 0 0 20 0 4 0 114499227 1345916928 109221 33554432000 4194304 16246674 140736704627920 140736704609792 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21100/statm: 328593 109223 885 2943 0 325487 0
[pid=21100/tid=21101] ppid=21097 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21101/stat : 21101 (toysat) S 21097 21100 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114499227 1345916928 109225 33554432000 4194304 16246674 140736704627920 139872112192752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21100/tid=21102] ppid=21097 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21102/stat : 21102 (toysat) S 21097 21100 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114499227 1345916928 109226 33554432000 4194304 16246674 140736704627920 139872101702896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21100/tid=21103] ppid=21097 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21103/stat : 21103 (toysat) S 21097 21100 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114499227 1345916928 109229 33554432000 4194304 16246674 140736704627920 139871985331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50038 s]
/proc/loadavg: 2.24 2.27 2.25 3/183 21104
/proc/meminfo: memFree=27325476/32872528 swapFree=16636/1570076
[pid=21100] ppid=21097 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/21100/stat : 21100 (toysat) R 21097 21100 2168 0 -1 4202496 167702 0 0 0 127 22 0 0 20 0 4 0 114499227 1345916928 168511 33554432000 4194304 16246674 140736704627920 140736704609792 12476789 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21100/statm: 328593 168512 885 2943 0 325487 0
[pid=21100/tid=21101] ppid=21097 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21101/stat : 21101 (toysat) S 21097 21100 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114499227 1345916928 168512 33554432000 4194304 16246674 140736704627920 139872112192752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21100/tid=21102] ppid=21097 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21102/stat : 21102 (toysat) S 21097 21100 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114499227 1345916928 168512 33554432000 4194304 16246674 140736704627920 139872101702896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21100/tid=21103] ppid=21097 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21103/stat : 21103 (toysat) S 21097 21100 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114499227 1345916928 168514 33554432000 4194304 16246674 140736704627920 139871985331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10039 s]
/proc/loadavg: 2.30 2.28 2.26 3/183 21104
/proc/meminfo: memFree=27047716/32872528 swapFree=16636/1570076
[pid=21100] ppid=21097 vsize=1314372 CPUtime=3.09 cores=0,2,4,6
/proc/21100/stat : 21100 (toysat) R 21097 21100 2168 0 -1 4202496 268355 0 0 0 273 36 0 0 20 0 4 0 114499227 1345916928 269164 33554432000 4194304 16246674 140736704627920 140736704609792 5662075 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21100/statm: 328593 269168 885 2943 0 325487 0
[pid=21100/tid=21101] ppid=21097 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21101/stat : 21101 (toysat) S 21097 21100 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114499227 1345916928 269169 33554432000 4194304 16246674 140736704627920 139872112192752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21100/tid=21102] ppid=21097 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21102/stat : 21102 (toysat) S 21097 21100 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114499227 1345916928 269172 33554432000 4194304 16246674 140736704627920 139872101702896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21100/tid=21103] ppid=21097 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21103/stat : 21103 (toysat) S 21097 21100 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114499227 1345916928 269175 33554432000 4194304 16246674 140736704627920 139871985331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1314372

[startup+6.30041 s]
/proc/loadavg: 2.30 2.28 2.26 3/183 21104
/proc/meminfo: memFree=26795012/32872528 swapFree=16636/1570076
[pid=21100] ppid=21097 vsize=1326660 CPUtime=6.29 cores=0,2,4,6
/proc/21100/stat : 21100 (toysat) R 21097 21100 2168 0 -1 4202496 272345 0 0 0 592 37 0 0 20 0 4 0 114499227 1358499840 273154 33554432000 4194304 16246674 140736704627920 140736704627232 5662371 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21100/statm: 331665 273154 892 2943 0 328559 0
[pid=21100/tid=21101] ppid=21097 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21101/stat : 21101 (toysat) S 21097 21100 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114499227 1358499840 273154 33554432000 4194304 16246674 140736704627920 139872112192752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21100/tid=21102] ppid=21097 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21102/stat : 21102 (toysat) S 21097 21100 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114499227 1358499840 273154 33554432000 4194304 16246674 140736704627920 139872101702896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21100/tid=21103] ppid=21097 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21103/stat : 21103 (toysat) S 21097 21100 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114499227 1358499840 273154 33554432000 4194304 16246674 140736704627920 139871985331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1326660

[startup+12.7004 s]
/proc/loadavg: 2.33 2.29 2.26 3/183 21104
/proc/meminfo: memFree=26794308/32872528 swapFree=16636/1570076
[pid=21100] ppid=21097 vsize=1326660 CPUtime=12.69 cores=0,2,4,6
/proc/21100/stat : 21100 (toysat) R 21097 21100 2168 0 -1 4202496 272347 0 0 0 1232 37 0 0 20 0 4 0 114499227 1358499840 273156 33554432000 4194304 16246674 140736704627920 140736704609792 5545784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21100/statm: 331665 273156 894 2943 0 328559 0
[pid=21100/tid=21101] ppid=21097 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21101/stat : 21101 (toysat) S 21097 21100 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114499227 1358499840 273156 33554432000 4194304 16246674 140736704627920 139872112192752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21100/tid=21102] ppid=21097 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21102/stat : 21102 (toysat) S 21097 21100 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114499227 1358499840 273156 33554432000 4194304 16246674 140736704627920 139872101702896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21100/tid=21103] ppid=21097 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21103/stat : 21103 (toysat) S 21097 21100 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114499227 1358499840 273156 33554432000 4194304 16246674 140736704627920 139871985331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1326660

[startup+25.5005 s]
/proc/loadavg: 2.28 2.28 2.25 3/183 21104
/proc/meminfo: memFree=26794180/32872528 swapFree=16636/1570076
[pid=21100] ppid=21097 vsize=1326660 CPUtime=25.49 cores=0,2,4,6
/proc/21100/stat : 21100 (toysat) R 21097 21100 2168 0 -1 4202496 272347 0 0 0 2512 37 0 0 20 0 4 0 114499227 1358499840 273156 33554432000 4194304 16246674 140736704627920 140736704609792 5824955 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21100/statm: 331665 273156 894 2943 0 328559 0
[pid=21100/tid=21101] ppid=21097 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21101/stat : 21101 (toysat) S 21097 21100 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114499227 1358499840 273156 33554432000 4194304 16246674 140736704627920 139872112192752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21100/tid=21102] ppid=21097 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21102/stat : 21102 (toysat) S 21097 21100 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114499227 1358499840 273156 33554432000 4194304 16246674 140736704627920 139872101702896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21100/tid=21103] ppid=21097 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21103/stat : 21103 (toysat) S 21097 21100 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114499227 1358499840 273156 33554432000 4194304 16246674 140736704627920 139871985331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1326660

[startup+51.1005 s]
/proc/loadavg: 2.25 2.27 2.25 3/183 21104
/proc/meminfo: memFree=26794464/32872528 swapFree=16636/1570076
[pid=21100] ppid=21097 vsize=1326660 CPUtime=51.09 cores=0,2,4,6
/proc/21100/stat : 21100 (toysat) R 21097 21100 2168 0 -1 4202496 272348 0 0 0 5072 37 0 0 20 0 4 0 114499227 1358499840 273157 33554432000 4194304 16246674 140736704627920 140736704609792 5823723 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21100/statm: 331665 273157 894 2943 0 328559 0
[pid=21100/tid=21101] ppid=21097 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21101/stat : 21101 (toysat) S 21097 21100 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114499227 1358499840 273157 33554432000 4194304 16246674 140736704627920 139872112192752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21100/tid=21102] ppid=21097 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21102/stat : 21102 (toysat) S 21097 21100 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114499227 1358499840 273157 33554432000 4194304 16246674 140736704627920 139872101702896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21100/tid=21103] ppid=21097 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21103/stat : 21103 (toysat) S 21097 21100 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114499227 1358499840 273157 33554432000 4194304 16246674 140736704627920 139871985331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1326660

[startup+102.3 s]
/proc/loadavg: 2.31 2.28 2.26 3/183 21105
/proc/meminfo: memFree=26792400/32872528 swapFree=16636/1570076
[pid=21100] ppid=21097 vsize=1328708 CPUtime=102.28 cores=0,2,4,6
/proc/21100/stat : 21100 (toysat) R 21097 21100 2168 0 -1 4202496 272864 0 0 0 10191 37 0 0 20 0 4 0 114499227 1360596992 273673 33554432000 4194304 16246674 140736704627920 140736704609792 5600384 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21100/statm: 332177 273673 898 2943 0 329071 0
[pid=21100/tid=21101] ppid=21097 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21101/stat : 21101 (toysat) S 21097 21100 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114499227 1360596992 273673 33554432000 4194304 16246674 140736704627920 139872112192752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21100/tid=21102] ppid=21097 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21102/stat : 21102 (toysat) S 21097 21100 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114499227 1360596992 273673 33554432000 4194304 16246674 140736704627920 139872101702896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21100/tid=21103] ppid=21097 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21103/stat : 21103 (toysat) S 21097 21100 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114499227 1360596992 273673 33554432000 4194304 16246674 140736704627920 139871985331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1328708


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

[pid=21100] ppid=21097 vsize=1366596 CPUtime=762.18 cores=0,2,4,6
/proc/21100/stat : 21100 (toysat) R 21097 21100 2168 0 -1 4202496 282336 0 0 0 76177 41 0 0 20 0 4 0 114499227 1399394304 283145 33554432000 4194304 16246674 140736704627920 140736704609792 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21100/statm: 341649 283145 898 2943 0 338543 0
[pid=21100/tid=21101] ppid=21097 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21101/stat : 21101 (toysat) S 21097 21100 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114499227 1399394304 283145 33554432000 4194304 16246674 140736704627920 139872112192752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21100/tid=21102] ppid=21097 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21102/stat : 21102 (toysat) S 21097 21100 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114499227 1399394304 283145 33554432000 4194304 16246674 140736704627920 139872101702896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21100/tid=21103] ppid=21097 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21103/stat : 21103 (toysat) S 21097 21100 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114499227 1399394304 283145 33554432000 4194304 16246674 140736704627920 139871985331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 762.18
Current children cumulated vsize (KiB) 1366596

[startup+822.3 s]
/proc/loadavg: 2.22 2.24 2.25 3/183 21193
/proc/meminfo: memFree=28046224/32872528 swapFree=16636/1570076
[pid=21100] ppid=21097 vsize=1366596 CPUtime=822.15 cores=0,2,4,6
/proc/21100/stat : 21100 (toysat) R 21097 21100 2168 0 -1 4202496 282365 0 0 0 82174 41 0 0 20 0 4 0 114499227 1399394304 283401 33554432000 4194304 16246674 140736704627920 140736704609792 5661879 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21100/statm: 341649 283401 898 2943 0 338543 0
[pid=21100/tid=21101] ppid=21097 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21101/stat : 21101 (toysat) S 21097 21100 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114499227 1399394304 283401 33554432000 4194304 16246674 140736704627920 139872112192752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21100/tid=21102] ppid=21097 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21102/stat : 21102 (toysat) S 21097 21100 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114499227 1399394304 283401 33554432000 4194304 16246674 140736704627920 139872101702896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21100/tid=21103] ppid=21097 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21103/stat : 21103 (toysat) S 21097 21100 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114499227 1399394304 283401 33554432000 4194304 16246674 140736704627920 139871985331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 1366596

[startup+882.307 s]
/proc/loadavg: 2.20 2.23 2.25 3/183 21195
/proc/meminfo: memFree=28043644/32872528 swapFree=16636/1570076
[pid=21100] ppid=21097 vsize=1366596 CPUtime=882.13 cores=0,2,4,6
/proc/21100/stat : 21100 (toysat) R 21097 21100 2168 0 -1 4202496 282397 0 0 0 88172 41 0 0 20 0 4 0 114499227 1399394304 283401 33554432000 4194304 16246674 140736704627920 140736704609792 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21100/statm: 341649 283401 898 2943 0 338543 0
[pid=21100/tid=21101] ppid=21097 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21101/stat : 21101 (toysat) S 21097 21100 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114499227 1399394304 283401 33554432000 4194304 16246674 140736704627920 139872112192752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21100/tid=21102] ppid=21097 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21102/stat : 21102 (toysat) S 21097 21100 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114499227 1399394304 283401 33554432000 4194304 16246674 140736704627920 139872101702896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21100/tid=21103] ppid=21097 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21103/stat : 21103 (toysat) S 21097 21100 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114499227 1399394304 283401 33554432000 4194304 16246674 140736704627920 139871985331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 1366596

[startup+942.3 s]
/proc/loadavg: 2.29 2.25 2.25 3/184 21199
/proc/meminfo: memFree=28015624/32872528 swapFree=16636/1570076
[pid=21100] ppid=21097 vsize=1366596 CPUtime=942.11 cores=0,2,4,6
/proc/21100/stat : 21100 (toysat) R 21097 21100 2168 0 -1 4202496 282411 0 0 0 94169 42 0 0 20 0 4 0 114499227 1399394304 283401 33554432000 4194304 16246674 140736704627920 140736704609792 12477716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21100/statm: 341649 283401 898 2943 0 338543 0
[pid=21100/tid=21101] ppid=21097 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21101/stat : 21101 (toysat) S 21097 21100 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114499227 1399394304 283401 33554432000 4194304 16246674 140736704627920 139872112192752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21100/tid=21102] ppid=21097 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21102/stat : 21102 (toysat) S 21097 21100 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114499227 1399394304 283401 33554432000 4194304 16246674 140736704627920 139872101702896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21100/tid=21103] ppid=21097 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21103/stat : 21103 (toysat) S 21097 21100 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114499227 1399394304 283401 33554432000 4194304 16246674 140736704627920 139871985331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 1366596

[startup+1002.3 s]
/proc/loadavg: 2.21 2.24 2.25 4/183 21200
/proc/meminfo: memFree=24927344/32872528 swapFree=16636/1570076
[pid=21100] ppid=21097 vsize=4447812 CPUtime=1002.08 cores=0,2,4,6
/proc/21100/stat : 21100 (toysat) R 21097 21100 2168 0 -1 4202496 1052753 0 0 0 100062 146 0 0 20 0 4 0 114499227 4554559488 1053731 33554432000 4194304 16246674 140736704627920 140736704627016 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21100/statm: 1111953 1053731 923 2943 0 1108847 0
[pid=21100/tid=21101] ppid=21097 vsize=4447812 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21101/stat : 21101 (toysat) S 21097 21100 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114499227 4554559488 1053731 33554432000 4194304 16246674 140736704627920 139872112192752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21100/tid=21102] ppid=21097 vsize=4447812 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21102/stat : 21102 (toysat) S 21097 21100 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114499227 4554559488 1053731 33554432000 4194304 16246674 140736704627920 139872101702896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21100/tid=21103] ppid=21097 vsize=4447812 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21103/stat : 21103 (toysat) S 21097 21100 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114499227 4554559488 1053731 33554432000 4194304 16246674 140736704627920 139871985331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 4447812

[startup+1062.3 s]
/proc/loadavg: 2.18 2.23 2.24 3/183 21201
/proc/meminfo: memFree=16606928/32872528 swapFree=16636/1570076
[pid=21100] ppid=21097 vsize=13145668 CPUtime=1062.07 cores=0,2,4,6
/proc/21100/stat : 21100 (toysat) R 21097 21100 2168 0 -1 4202496 3227213 0 0 0 105766 441 0 0 20 0 4 0 114499227 13461164032 3228191 33554432000 4194304 16246674 140736704627920 140736704625792 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21100/statm: 3286417 3228198 923 2943 0 3283311 0
[pid=21100/tid=21101] ppid=21097 vsize=13146692 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21101/stat : 21101 (toysat) S 21097 21100 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114499227 13462212608 3228204 33554432000 4194304 16246674 140736704627920 139872112192752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21100/tid=21102] ppid=21097 vsize=13146692 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21102/stat : 21102 (toysat) S 21097 21100 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114499227 13462212608 3228207 33554432000 4194304 16246674 140736704627920 139872101702672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21100/tid=21103] ppid=21097 vsize=13146692 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21103/stat : 21103 (toysat) S 21097 21100 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114499227 13462212608 3228210 33554432000 4194304 16246674 140736704627920 139871985331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 13145668

[startup+1122.3 s]
/proc/loadavg: 2.25 2.24 2.25 3/183 21202
/proc/meminfo: memFree=15451064/32872528 swapFree=16636/1570076
[pid=21100] ppid=21097 vsize=13905476 CPUtime=1122.06 cores=0,2,4,6
/proc/21100/stat : 21100 (toysat) R 21097 21100 2168 0 -1 4202496 3417176 0 0 0 111736 470 0 0 20 0 4 0 114499227 14239207424 3418154 33554432000 4194304 16246674 140736704627920 140736704627016 4226215 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21100/statm: 3476369 3418154 927 2943 0 3473263 0
[pid=21100/tid=21101] ppid=21097 vsize=13905476 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21101/stat : 21101 (toysat) S 21097 21100 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114499227 14239207424 3418154 33554432000 4194304 16246674 140736704627920 139872112192752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21100/tid=21102] ppid=21097 vsize=13905476 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21102/stat : 21102 (toysat) S 21097 21100 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114499227 14239207424 3418154 33554432000 4194304 16246674 140736704627920 139872101702672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21100/tid=21103] ppid=21097 vsize=13905476 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21103/stat : 21103 (toysat) S 21097 21100 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114499227 14239207424 3418154 33554432000 4194304 16246674 140736704627920 139871985331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 13905476

[startup+1182.3 s]
/proc/loadavg: 2.31 2.26 2.25 4/183 21204
/proc/meminfo: memFree=15451092/32872528 swapFree=16636/1570076
[pid=21100] ppid=21097 vsize=14162500 CPUtime=1182.06 cores=0,2,4,6
/proc/21100/stat : 21100 (toysat) R 21097 21100 2168 0 -1 4202496 3481329 0 0 0 117724 482 0 0 20 0 4 0 114499227 14502400000 3482304 33554432000 4194304 16246674 140736704627920 140736704627016 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21100/statm: 3540625 3482304 927 2943 0 3537519 0
[pid=21100/tid=21101] ppid=21097 vsize=14162500 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21101/stat : 21101 (toysat) S 21097 21100 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114499227 14502400000 3482308 33554432000 4194304 16246674 140736704627920 139872112192752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21100/tid=21102] ppid=21097 vsize=14162500 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21102/stat : 21102 (toysat) S 21097 21100 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114499227 14502400000 3482315 33554432000 4194304 16246674 140736704627920 139872101702896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21100/tid=21103] ppid=21097 vsize=14162500 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21103/stat : 21103 (toysat) S 21097 21100 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114499227 14502400000 3482321 33554432000 4194304 16246674 140736704627920 139871985331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 14162500



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1186.6 s]
/proc/loadavg: 2.29 2.25 2.25 3/183 21204
/proc/meminfo: memFree=13792080/32872528 swapFree=16636/1570076
[pid=21100] ppid=21097 vsize=15881796 CPUtime=1186.35 cores=0,2,4,6
/proc/21100/stat : 21100 (toysat) R 21097 21100 2168 0 -1 4202496 3911030 0 0 0 118092 543 0 0 20 0 4 0 114499227 16262959104 3912005 33554432000 4194304 16246674 140736704627920 140736704627016 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21100/statm: 3970449 3912011 927 2943 0 3967343 0
[pid=21100/tid=21101] ppid=21097 vsize=15881796 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21101/stat : 21101 (toysat) S 21097 21100 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114499227 16262959104 3912016 33554432000 4194304 16246674 140736704627920 139872112192752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21100/tid=21102] ppid=21097 vsize=15881796 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21102/stat : 21102 (toysat) S 21097 21100 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114499227 16262959104 3912021 33554432000 4194304 16246674 140736704627920 139872101702896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21100/tid=21103] ppid=21097 vsize=15881796 CPUtime=0 cores=0,2,4,6
/proc/21100/task/21103/stat : 21103 (toysat) S 21097 21100 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114499227 16262959104 3912024 33554432000 4194304 16246674 140736704627920 139871985331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1186.35
Current children cumulated vsize (KiB) 15881796

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

[startup+1187.2 s]
/proc/loadavg: 2.29 2.25 2.25 4/182 21205
/proc/meminfo: memFree=19570952/32872528 swapFree=16636/1570076
[pid=21100] ppid=21097 vsize=0 CPUtime=1186.94 cores=0,2,4,6
/proc/21100/stat : 21100 (toysat) Z 21097 21100 2168 0 -1 4203532 3911481 0 0 0 118092 602 0 0 20 0 2 0 114499227 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21100/statm: 0 0 0 0 0 0 0
[pid=21100/tid=21102] ppid=21097 vsize=0 CPUtime=0.58 cores=0,2,4,6
/proc/21100/task/21102/stat : 21102 (toysat) R 21097 21100 2168 0 -1 4203588 8 0 0 0 0 58 0 0 20 0 2 0 114499227 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1186.94
Current children cumulated vsize (KiB) 0

[startup+1187.4 s]
/proc/loadavg: 2.29 2.25 2.25 4/182 21205
/proc/meminfo: memFree=19570952/32872528 swapFree=16636/1570076
[pid=21100] ppid=21097 vsize=0 CPUtime=1187.14 cores=0,2,4,6
/proc/21100/stat : 21100 (toysat) Z 21097 21100 2168 0 -1 4203532 3911481 0 0 0 118092 622 0 0 20 0 2 0 114499227 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21100/statm: 0 0 0 0 0 0 0
[pid=21100/tid=21102] ppid=21097 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/21100/task/21102/stat : 21102 (toysat) R 21097 21100 2168 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 114499227 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1187.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1187.42
CPU time (s): 1187.17
CPU user time (s): 1180.93
CPU system time (s): 6.24005
CPU usage (%): 99.9787
Max. virtual memory (cumulated for all children) (KiB): 15881796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1180.93
system time used= 6.24005
maximum resident set size= 15649824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3911481
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= 185
involuntary context switches= 1213

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.23751 second user time and 4.35634 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-07 20:54:29
IDJOB=4079373
IDBENCH=92685
IDSOLVER=2542
FILE ID=node140/4079373-1465325669
RUNJOBID= node140-1465312758-19943
PBS_JOBID= 19850417
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_9_mh_ic.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079373-1465325669/watcher-4079373-1465325669 -o /tmp/evaluation-result-4079373-1465325669/solver-4079373-1465325669 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465312758-19943 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079373-1465325669.opb

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

MD5SUM BENCH= e68c386be3005ac1db93713ad853c109
RANDOM SEED=2082361141

node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27885792 kB
Buffers:           57848 kB
Cached:           256968 kB
SwapCached:         1660 kB
Active:          2525080 kB
Inactive:         138688 kB
Active(anon):    2344796 kB
Inactive(anon):     5988 kB
Active(file):     180284 kB
Inactive(file):   132700 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098752 kB
Dirty:             17092 kB
Writeback:             0 kB
AnonPages:       4032840 kB
Mapped:            10784 kB
Shmem:                 0 kB
Slab:             614004 kB
SReclaimable:      57900 kB
SUnreclaim:       556104 kB
KernelStack:        1520 kB
PageTables:        12144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4059596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2822144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node140 at 2016-06-07 21:14:16