Trace number 4079368

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) 1196.39 1196.74

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_1_mh_ic.opb
MD5SUMf4c34ee83da7e36be7881d34beece196
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1396365
Best CPU time to get the best result obtained on this benchmark1751.33
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 57066625
Number of bits for the biggest coefficient in the objective function 26
Sum of the numbers in the objective function 2537601947
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 57066625
Number of bits of the biggest number in a constraint 26
Biggest sum of numbers in a constraint 2537601947
Number of bits of the biggest sum of numbers32
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:12:04+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-4079368-1465323123.opb"]
0.00/0.01	c use --random-gen="615315213 1888276237 4262061340 2500436430 587259379 985152026 3941436416 1851945705 1169281893 644184553 1814935111 2024907181 2005341885 1727369103 3823852117 4046529018 2738504226 3948181100 401679329 2899650497 494196060 1422722366 371236883 3389384169 2037464568 2192941670 3468682200 1682324383 3323127098 266235848 2236534406 1702617664 1257037486 3392612536 3661807037 1139789945 2499948224 3614252605 1163728414 1397140928 771834761 380682476 1497918068 4008372328 227665671 1173459110 2058906726 2076261482 312960944 1591524644 3821566173 370301747 2475909067 1814563923 135362055 2038392171 798212096 1085582807 2871454628 35905611 599941616 3062410376 639328557 3456677470 3695208279 1854132562 67687072 1012220499 664307935 3882918992 3495442543 2881090201 2290522232 2333583361 1099717693 2561249944 1770007348 178242351 3986775667 1793472213 2469116128 460658476 376589850 1137800184 3928602442 573666862 761643557 3143534951 3440952102 642478007 3255742477 3129798266 691717425 1415025210 3242427306 649137131 547853461 657549533 127689668 3488312754 2619039945 2434600872 2833604339 4280413084 1493127304 4013998693 2677544480 210101777 1264050823 3159125937 3646728510 843019661 717538151 764951392 2886789799 3246300875 1291272165 1719997822 425628495 1849312196 303437792 2660653177 2812020622 1169489990 2426036906 1782873092 2621976085 3470120824 1807129281 3647491583 105838660 413575505 3068489687 1826809650 2910213158 3798676102 562632218 3394937735 3390135617 315410062 2326792202 458374370 931543179 695615963 3352604425 874857139 4153517336 1179660264 2685196265 751310604 3236564685 1285863335 2548369776 3933427746 2182795283 3598186251 2873379183 1189214124 1092290839 2894071558 903493581 3235432377 1972006177 642736405 1800019353 897490404 4219441163 3070924514 211877492 2520294393 817251882 2003430947 1253356784 1137650490 2184485072 832433074 3277602132 2507312705 1907804198 4061264084 2883062907 2269717251 339344936 2178966985 3527586661 1700616522 3727646298 856081189 96628487 3732657372 669480384 3281376540 1822453142 4099080939 1499480575 3211446106 3263141418 3317766012 299192293 712420526 1238959198 902861116 2593197334 3929080256 3172638026 1011975450 1125257261 3035227154 1342441608 446782645 2825343082 999919883 4013641420 417451283 356084702 2667810101 2164970024 338440213 2968857359 3402035681 2394916993 4108185117 2290685844 2864441978 2830678247 1858403565 1774722561 3784784622 1676182395 3148647534 2599602282 2342784168 4244297804 672699738 3632358278 3589326182 915899533 1975113145 3789841952 2883894216 474003164 1871622033 1023735652 1614677782 4063475253 2633879814 3222527003 3758497668 756190487 3794081651 3276952812 3031463872 808280452 49356546 3374854607 879635417 255 362436" option to reproduce the execution
0.19/0.20	c #vars 9765
0.19/0.20	c #constraints 21293
0.49/0.50	c BCD2: Hardening is enabled.
0.49/0.50	c BCD2: BiasedSearch is enabled.
0.49/0.50	c Solving starts ...
0.49/0.50	c ============================[ Search Statistics ]============================
0.49/0.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.50	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.50	c =============================================================================
0.49/0.51	c  0.0s |       0 |        0 |        0 |    10562      0 |       60 |        0
0.68/0.72	c  0.2s |       1 |      220 |      100 |    10562      0 |       60 |        0
1.29/1.31	c  0.8s |       2 |      662 |      250 |    11619      0 |       60 |        0
2.99/3.03	c  2.5s |       3 |     1694 |      475 |    12781      0 |       60 |        0
4.40/4.43	c  3.9s |       4 |     2845 |      813 |    14060      0 |       60 |        0
5.69/5.76	c  5.3s |       5 |     4298 |     1320 |    15467      0 |       60 |        0
6.70/6.71	c  6.2s |       6 |     5765 |     2081 |    18716      0 |       60 |        0
8.09/8.15	c  7.6s |       7 |     7790 |     3223 |    20588      0 |       60 |        0
10.09/10.15	c  9.7s |       7 |    11318 |     4523 |    20588      0 |       60 |        0
10.79/10.86	c 10.4s |       8 |    12122 |     4936 |    22647      0 |       60 |        0
13.09/13.12	c 12.6s |       8 |    14381 |     6136 |    22647      0 |       60 |        0
15.09/15.14	c 14.6s |       9 |    17169 |     7506 |    24912      0 |       60 |        0
17.09/17.17	c 16.7s |       9 |    19275 |     8306 |    24912      0 |       60 |        0
19.19/19.30	c 18.8s |       9 |    22513 |     9806 |    24912      0 |       60 |        0
21.39/21.40	c 20.9s |       9 |    24908 |    11206 |    24912      0 |       60 |        0
21.49/21.59	c 21.1s |      10 |    25233 |    11361 |    27404      0 |       60 |        0
23.58/23.67	c 23.2s |      10 |    28266 |    12661 |    27404      0 |       60 |        0
25.68/25.71	c 25.2s |      10 |    31562 |    14161 |    27404      0 |       60 |        0
27.68/27.77	c 27.3s |      10 |    33938 |    15461 |    27404      0 |       60 |        0
29.88/29.93	c 29.4s |      10 |    36294 |    16761 |    27404      0 |       60 |        0
30.58/30.66	c 30.2s |      11 |    36878 |    17144 |    30145      0 |       60 |        0
32.58/32.68	c 32.2s |      11 |    38855 |    18044 |    30145      0 |       60 |        0
34.68/34.78	c 34.3s |      11 |    41782 |    19344 |    30145      0 |       60 |        0
36.78/36.82	c 36.3s |      11 |    44590 |    20644 |    30145      0 |       60 |        0
38.78/38.86	c 38.4s |      11 |    46188 |    21644 |    30145      0 |       60 |        0
41.08/41.10	c 40.6s |      11 |    47623 |    22044 |    30145      0 |       60 |        0
43.28/43.30	c 42.8s |      11 |    49428 |    22744 |    30145      0 |       60 |        0
45.28/45.38	c 44.9s |      11 |    51707 |    23844 |    30145      0 |       60 |        0
47.48/47.52	c 47.0s |      11 |    53547 |    24944 |    30145      0 |       60 |        0
49.08/49.19	c 48.7s |      12 |    55098 |    25819 |    33160      0 |       60 |        0
51.28/51.35	c 50.8s |      12 |    56694 |    26719 |    33160      0 |       60 |        0
53.38/53.43	c 52.9s |      12 |    58341 |    27319 |    33160      0 |       60 |        0
55.58/55.62	c 55.1s |      12 |    60528 |    28519 |    33160      0 |       60 |        0
57.68/57.78	c 57.3s |      12 |    62406 |    29419 |    33160      0 |       60 |        0
59.77/59.85	c 59.3s |      12 |    63914 |    30419 |    33160      0 |       60 |        0
61.87/61.94	c 61.4s |      12 |    65726 |    31619 |    33160      0 |       60 |        0
63.97/64.08	c 63.6s |      12 |    67835 |    32819 |    33160      0 |       60 |        0
66.09/66.15	c 65.6s |      12 |    69424 |    33819 |    33160      0 |       60 |        0
68.19/68.26	c 67.8s |      12 |    71131 |    34919 |    33160      0 |       60 |        0
70.28/70.38	c 69.9s |      12 |    72716 |    35919 |    33160      0 |       60 |        0
72.38/72.46	c 72.0s |      12 |    74236 |    36919 |    33160      0 |       60 |        0
74.48/74.58	c 74.1s |      12 |    75525 |    37819 |    33160      0 |       60 |        0
76.57/76.67	c 76.2s |      12 |    76966 |    38819 |    36476      0 |       60 |        0
76.67/76.71	c 76.2s |      13 |    76996 |    38832 |    36476      0 |       60 |        0
78.77/78.87	c 78.4s |      13 |    78192 |    39632 |    36476      1 |       60 |        0
80.77/80.87	c 80.4s |      13 |    79814 |    40732 |    36476      1 |       60 |        0
82.87/82.90	c 82.4s |      13 |    81601 |    41732 |    36476      1 |       60 |        0
84.97/85.07	c 84.6s |      13 |    83323 |    42732 |    36476      1 |       60 |        0
87.17/87.23	c 86.7s |      13 |    85536 |    43832 |    36476      1 |       60 |        0
89.27/89.34	c 88.8s |      13 |    87625 |    44932 |    36476      1 |       60 |        0
91.28/91.35	c 90.9s |      13 |    89133 |    45532 |    36476      1 |       60 |        0
93.37/93.49	c 93.0s |      13 |    91016 |    46432 |    36476      1 |       60 |        0
95.36/95.49	c 95.0s |      13 |    92315 |    46832 |    36476      1 |       60 |        0
97.56/97.60	c 97.1s |      13 |    95541 |    48032 |    36476      1 |       60 |        0
99.56/99.65	c 99.2s |      13 |    97461 |    49032 |    36476      1 |       60 |        0
101.66/101.77	c  101s |      13 |    99682 |    50232 |    36476      1 |       60 |        0
103.86/103.90	c  103s |      13 |   101956 |    51332 |    36476      1 |       60 |        0
105.96/106.00	c  105s |      13 |   103863 |    52332 |    36476      1 |       60 |        0
108.16/108.23	c  107s |      13 |   105496 |    53132 |    36476      1 |       60 |        0
110.16/110.28	c  109s |      13 |   106938 |    53932 |    36476      1 |       60 |        0
112.17/112.30	c  111s |      13 |   108791 |    54932 |    36476      1 |       60 |        0
114.26/114.31	c  113s |      13 |   110337 |    55832 |    36476      1 |       60 |        0
116.36/116.48	c  115s |      13 |   112085 |    56832 |    36476      1 |       60 |        0
118.46/118.59	c  118s |      13 |   113712 |    57732 |    36476      2 |       60 |        0
119.46/119.51	c  119s |      14 |   114704 |    58352 |    40124      2 |       60 |        0
121.66/121.72	c  121s |      14 |   116480 |    59452 |    40124      2 |       60 |        0
123.66/123.77	c  123s |      14 |   118509 |    60552 |    40124      2 |       60 |        0
125.75/125.89	c  125s |      14 |   120527 |    61452 |    40124      2 |       60 |        0
127.85/127.99	c  127s |      14 |   122139 |    62552 |    40124      2 |       60 |        0
129.95/130.09	c  129s |      14 |   123767 |    63552 |    40124      2 |       60 |        0
132.26/132.34	c  131s |      14 |   125424 |    64452 |    40124      2 |       60 |        0
134.35/134.48	c  133s |      14 |   127144 |    65452 |    40124      2 |       60 |        0
136.46/136.56	c  136s |      14 |   128602 |    66452 |    40124      2 |       60 |        0
138.56/138.66	c  138s |      14 |   130156 |    67552 |    40124      2 |       60 |        0
140.65/140.78	c  140s |      14 |   131602 |    68552 |    40124      2 |       60 |        0
142.75/142.82	c  142s |      14 |   133461 |    69752 |    40124      2 |       60 |        0
144.75/144.82	c  144s |      14 |   134895 |    70652 |    40124      2 |       60 |        0
146.84/146.96	c  146s |      14 |   136445 |    71652 |    40124      2 |       60 |        0
148.94/149.00	c  148s |      14 |   137781 |    72552 |    40124      2 |       60 |        0
150.94/151.09	c  150s |      14 |   139327 |    73452 |    40124      2 |       60 |        0
153.04/153.16	c  152s |      14 |   140951 |    74352 |    40124      2 |       60 |        0
155.14/155.22	c  154s |      14 |   142386 |    75252 |    40124      2 |       60 |        0
157.24/157.38	c  156s |      14 |   144139 |    76252 |    40124      2 |       60 |        0
159.44/159.56	c  159s |      14 |   145851 |    77352 |    40124      2 |       60 |        0
161.54/161.69	c  161s |      14 |   147458 |    78352 |    40124      2 |       60 |        0
163.74/163.87	c  163s |      14 |   149059 |    79352 |    40124      2 |       60 |        0
165.84/165.96	c  165s |      14 |   150725 |    80252 |    40124      2 |       60 |        0
167.94/168.06	c  167s |      14 |   152233 |    81252 |    40124      2 |       60 |        0
170.04/170.17	c  169s |      14 |   153672 |    82152 |    40124      3 |       60 |        0
172.13/172.29	c  171s |      14 |   155149 |    83152 |    40124      3 |       60 |        0
174.23/174.35	c  173s |      14 |   156638 |    84152 |    40124      3 |       60 |        0
176.23/176.36	c  175s |      14 |   158071 |    85152 |    40124      3 |       60 |        0
178.24/178.39	c  177s |      14 |   159519 |    86152 |    40124      3 |       60 |        0
180.53/180.61	c  180s |      14 |   160987 |    87152 |    44137      3 |       60 |        0
181.44/181.53	c  181s |      15 |   161713 |    87632 |    44137      3 |       60 |        0
183.53/183.66	c  183s |      15 |   163089 |    88532 |    44137      3 |       60 |        0
185.63/185.74	c  185s |      15 |   164564 |    89532 |    44137      3 |       60 |        0
187.63/187.79	c  187s |      15 |   166042 |    90532 |    44137      3 |       60 |        0
189.73/189.88	c  189s |      15 |   167439 |    91432 |    44137      3 |       60 |        0
191.92/192.08	c  191s |      15 |   169057 |    92432 |    44137      3 |       60 |        0
194.22/194.35	c  193s |      15 |   170417 |    93332 |    44137      3 |       60 |        0
196.22/196.35	c  195s |      15 |   171892 |    94332 |    44137      3 |       60 |        0
198.22/198.38	c  197s |      15 |   173165 |    95132 |    44137      3 |       60 |        0
200.42/200.53	c  200s |      15 |   174658 |    96132 |    44137      3 |       60 |        0
202.62/202.71	c  202s |      15 |   175976 |    97032 |    44137      3 |       60 |        0
204.72/204.87	c  204s |      15 |   177341 |    97932 |    44137      3 |       60 |        0
206.92/207.00	c  206s |      15 |   178574 |    98832 |    44137      3 |       60 |        0
209.03/209.15	c  208s |      15 |   179718 |    99632 |    44137      3 |       60 |        0
211.02/211.16	c  210s |      15 |   180712 |   100332 |    44137      3 |       60 |        0
213.12/213.21	c  212s |      15 |   181911 |   101032 |    44137      3 |       60 |        0
215.22/215.31	c  214s |      15 |   183236 |   101932 |    44137      3 |       60 |        0
217.32/217.49	c  216s |      15 |   185136 |   102932 |    44137      3 |       60 |        0
219.51/219.69	c  219s |      15 |   186779 |   103932 |    44137      3 |       60 |        0
221.61/221.76	c  221s |      15 |   188653 |   104932 |    44137      3 |       60 |        0
225.12/225.28	c  224s |      15 |   189696 |   105332 |    44137      4 |       60 |        0
227.31/227.43	c  226s |      15 |   191215 |   105932 |    44137      4 |       60 |        0
230.52/230.61	c  230s |      15 |   192800 |   106632 |    44137      4 |       60 |        0
232.51/232.68	c  232s |      15 |   194928 |   107432 |    44137      4 |       60 |        0
234.61/234.72	c  234s |      15 |   197012 |   108532 |    44137      4 |       60 |        0
236.61/236.74	c  236s |      15 |   199006 |   109432 |    44137      4 |       60 |        0
238.72/238.84	c  238s |      15 |   200824 |   110432 |    44137      4 |       60 |        0
240.82/240.98	c  240s |      15 |   203164 |   111632 |    44137      4 |       60 |        0
242.81/242.98	c  242s |      15 |   204883 |   112632 |    44137      4 |       60 |        0
245.01/245.16	c  244s |      15 |   206844 |   113632 |    44137      4 |       60 |        0
247.11/247.21	c  246s |      15 |   208415 |   114432 |    44137      4 |       60 |        0
249.21/249.30	c  248s |      15 |   209710 |   115132 |    44137      4 |       60 |        0
251.31/251.40	c  250s |      15 |   210981 |   116132 |    44137      4 |       60 |        0
253.30/253.46	c  252s |      15 |   212397 |   117132 |    44137      4 |       60 |        0
255.30/255.48	c  254s |      15 |   213839 |   118032 |    44137      4 |       60 |        0
257.60/257.73	c  257s |      15 |   215122 |   119032 |    44137      4 |       60 |        0
259.61/259.74	c  259s |      15 |   216266 |   119932 |    44137      4 |       60 |        0
261.71/261.81	c  261s |      15 |   217957 |   120932 |    44137      4 |       60 |        0
263.80/264.00	c  263s |      15 |   219578 |   121932 |    44137      4 |       60 |        0
265.90/266.07	c  265s |      15 |   220927 |   122832 |    44137      4 |       60 |        0
267.90/268.08	c  267s |      15 |   222351 |   123732 |    44137      4 |       60 |        0
270.00/270.11	c  269s |      15 |   223485 |   124532 |    44137      4 |       60 |        0
272.10/272.23	c  271s |      15 |   224830 |   125432 |    44137      4 |       60 |        0
274.10/274.27	c  273s |      15 |   226197 |   126232 |    44137      4 |       60 |        0
276.20/276.35	c  275s |      15 |   227697 |   127132 |    44137      4 |       60 |        0
278.20/278.35	c  277s |      15 |   229074 |   128032 |    44137      4 |       60 |        0
280.19/280.36	c  279s |      15 |   230685 |   129032 |    44137      4 |       60 |        0
282.19/282.37	c  281s |      15 |   232187 |   129932 |    44137      4 |       60 |        0
284.29/284.50	c  283s |      15 |   233483 |   130832 |    48551      4 |       60 |        0
286.09/286.27	c  285s |      16 |   234619 |   131552 |    48551      4 |       60 |        0
288.29/288.43	c  287s |      16 |   234893 |   131652 |    48551      5 |       60 |        0
290.30/290.48	c  289s |      16 |   236158 |   132252 |    48551      5 |       60 |        0
292.29/292.49	c  291s |      16 |   237820 |   133252 |    48551      5 |       60 |        0
294.39/294.55	c  294s |      16 |   239626 |   134252 |    48551      5 |       60 |        0
296.59/296.70	c  296s |      16 |   241483 |   135352 |    48551      5 |       60 |        0
298.69/298.87	c  298s |      16 |   243195 |   136452 |    48551      5 |       60 |        0
300.79/300.90	c  300s |      16 |   244695 |   137452 |    48551      5 |       60 |        0
302.88/303.08	c  302s |      16 |   245955 |   138352 |    48551      5 |       60 |        0
304.98/305.17	c  304s |      16 |   247524 |   139352 |    48551      5 |       60 |        0
307.18/307.37	c  306s |      16 |   249238 |   140452 |    48551      5 |       60 |        0
309.28/309.41	c  308s |      16 |   250760 |   141452 |    48551      5 |       60 |        0
311.38/311.52	c  311s |      16 |   252212 |   142452 |    48551      5 |       60 |        0
313.39/313.53	c  313s |      16 |   253670 |   143352 |    48551      5 |       60 |        0
315.48/315.63	c  315s |      16 |   255399 |   144252 |    48551      5 |       60 |        0
317.48/317.69	c  317s |      16 |   256915 |   145252 |    48551      5 |       60 |        0
319.58/319.71	c  319s |      16 |   258360 |   146252 |    48551      5 |       60 |        0
321.58/321.77	c  321s |      16 |   259944 |   147252 |    48551      5 |       60 |        0
323.87/324.01	c  323s |      16 |   261699 |   148252 |    48551      5 |       60 |        0
325.87/326.06	c  325s |      16 |   263209 |   149152 |    48551      5 |       60 |        0
328.08/328.23	c  327s |      16 |   264719 |   150152 |    48551      5 |       60 |        0
330.08/330.29	c  329s |      16 |   266069 |   151152 |    48551      5 |       60 |        0
332.28/332.42	c  331s |      16 |   267570 |   152152 |    48551      5 |       60 |        0
334.39/334.56	c  334s |      16 |   269258 |   153152 |    48551      5 |       60 |        0
336.38/336.58	c  336s |      16 |   270595 |   154052 |    48551      5 |       60 |        0
338.58/338.74	c  338s |      16 |   271993 |   155052 |    48551      5 |       60 |        0
340.58/340.79	c  340s |      16 |   273476 |   156052 |    48551      5 |       60 |        0
342.88/343.05	c  342s |      16 |   274712 |   156952 |    48551      5 |       60 |        0
345.18/345.31	c  344s |      16 |   276090 |   157752 |    48551      5 |       60 |        0
347.37/347.60	c  347s |      16 |   277419 |   158652 |    48551      5 |       60 |        0
349.57/349.78	c  349s |      16 |   278725 |   159352 |    48551      6 |       60 |        0
351.67/351.85	c  351s |      16 |   279909 |   160152 |    48551      6 |       60 |        0
353.77/353.96	c  353s |      16 |   281497 |   161252 |    48551      6 |       60 |        0
355.96/356.14	c  355s |      16 |   283065 |   162252 |    48551      6 |       60 |        0
358.16/358.30	c  357s |      16 |   284498 |   163252 |    48551      6 |       60 |        0
360.16/360.37	c  359s |      16 |   286066 |   164252 |    48551      6 |       60 |        0
362.27/362.44	c  361s |      16 |   287254 |   165052 |    48551      6 |       60 |        0
364.27/364.49	c  363s |      16 |   288415 |   165852 |    48551      6 |       60 |        0
366.37/366.57	c  366s |      16 |   289942 |   166852 |    48551      6 |       60 |        0
368.47/368.68	c  368s |      16 |   291705 |   167552 |    48551      6 |       60 |        0
370.57/370.71	c  370s |      16 |   293405 |   168652 |    48551      6 |       60 |        0
372.56/372.77	c  372s |      16 |   295138 |   169752 |    48551      6 |       60 |        0
374.66/374.83	c  374s |      16 |   296841 |   170852 |    48551      6 |       60 |        0
376.76/376.97	c  376s |      16 |   298380 |   171952 |    48551      6 |       60 |        0
378.96/379.10	c  378s |      16 |   300088 |   173052 |    48551      6 |       60 |        0
381.06/381.26	c  380s |      16 |   301758 |   174152 |    48551      6 |       60 |        0
383.26/383.41	c  382s |      16 |   303257 |   175152 |    48551      6 |       60 |        0
385.26/385.42	c  384s |      16 |   304700 |   176152 |    48551      6 |       60 |        0
387.26/387.43	c  386s |      16 |   305970 |   177052 |    48551      6 |       60 |        0
389.26/389.47	c  388s |      16 |   307190 |   177852 |    48551      6 |       60 |        0
391.46/391.60	c  391s |      16 |   309697 |   179052 |    48551      6 |       60 |        0
393.46/393.65	c  393s |      16 |   311610 |   180052 |    48551      6 |       60 |        0
395.66/395.86	c  395s |      16 |   313353 |   181052 |    48551      6 |       60 |        0
397.86/398.06	c  397s |      16 |   315529 |   182352 |    48551      6 |       60 |        0
399.96/400.16	c  399s |      16 |   317234 |   183452 |    48551      6 |       60 |        0
402.47/402.66	c  402s |      16 |   318684 |   184352 |    48551      7 |       60 |        0
404.56/404.70	c  404s |      16 |   320417 |   185452 |    48551      7 |       60 |        0
406.66/406.88	c  406s |      16 |   322146 |   186652 |    48551      7 |       60 |        0
408.66/408.89	c  408s |      16 |   324040 |   187852 |    48551      7 |       60 |        0
410.86/411.09	c  410s |      16 |   325441 |   188852 |    48551      7 |       60 |        0
413.06/413.23	c  412s |      16 |   326901 |   189852 |    48551      7 |       60 |        0
415.15/415.34	c  414s |      16 |   328462 |   190852 |    48551      7 |       60 |        0
417.35/417.51	c  417s |      16 |   329966 |   191852 |    48551      7 |       60 |        0
419.35/419.59	c  419s |      16 |   331568 |   192952 |    48551      7 |       60 |        0
421.65/421.84	c  421s |      16 |   332826 |   193852 |    48551      7 |       60 |        0
423.65/423.84	c  423s |      16 |   334184 |   194752 |    48551      7 |       60 |        0
425.75/425.93	c  425s |      16 |   336080 |   195952 |    48551      7 |       60 |        0
427.86/428.09	c  427s |      16 |   337941 |   197152 |    53407      7 |       60 |        0
428.45/428.65	c  428s |      17 |   338401 |   197432 |    53407      7 |       60 |        0
430.75/430.95	c  430s |      17 |   340251 |   198432 |    53407      7 |       60 |        0
432.74/432.95	c  432s |      17 |   341190 |   198932 |    53407      7 |       60 |        0
434.94/435.11	c  434s |      17 |   342754 |   199932 |    53407      7 |       60 |        0
437.34/437.50	c  436s |      17 |   344065 |   200532 |    53407      7 |       60 |        0
439.54/439.79	c  439s |      17 |   345265 |   201032 |    53407      7 |       60 |        0
441.84/442.05	c  441s |      17 |   346923 |   201832 |    53407      7 |       60 |        0
443.94/444.16	c  443s |      17 |   348005 |   202532 |    53407      7 |       60 |        0
446.14/446.34	c  445s |      17 |   350136 |   203232 |    53407      7 |       60 |        0
448.13/448.35	c  447s |      17 |   351328 |   203832 |    53407      7 |       60 |        0
450.33/450.53	c  450s |      17 |   353280 |   204832 |    53407      7 |       60 |        0
452.53/452.70	c  452s |      17 |   355088 |   205632 |    53407      7 |       60 |        0
454.74/454.93	c  454s |      17 |   356740 |   206532 |    53407      7 |       60 |        0
456.84/457.06	c  456s |      17 |   358647 |   207532 |    53407      7 |       60 |        0
459.04/459.24	c  458s |      17 |   360377 |   208532 |    53407      7 |       60 |        0
461.13/461.36	c  460s |      17 |   361803 |   209532 |    53407      7 |       60 |        0
463.32/463.56	c  463s |      17 |   363845 |   210532 |    53407      7 |       60 |        0
465.52/465.72	c  465s |      17 |   365383 |   211532 |    53407      7 |       60 |        0
467.62/467.82	c  467s |      17 |   367028 |   212632 |    53407      7 |       60 |        0
469.72/469.97	c  469s |      17 |   368759 |   213732 |    53407      7 |       60 |        0
472.02/472.22	c  471s |      17 |   370404 |   214732 |    53407      8 |       60 |        0
474.11/474.34	c  473s |      17 |   371839 |   215432 |    53407      8 |       60 |        0
476.31/476.50	c  475s |      17 |   373552 |   216432 |    53407      8 |       60 |        0
478.42/478.65	c  478s |      17 |   375471 |   217532 |    53407      8 |       60 |        0
480.52/480.73	c  480s |      17 |   377312 |   218632 |    53407      8 |       60 |        0
482.61/482.85	c  482s |      17 |   378872 |   219732 |    53407      8 |       60 |        0
484.60/484.86	c  484s |      17 |   380478 |   220832 |    53407      8 |       60 |        0
486.80/487.09	c  486s |      17 |   382008 |   221732 |    53407      8 |       60 |        0
488.90/489.17	c  488s |      17 |   383900 |   222732 |    53407      8 |       60 |        0
491.21/491.47	c  490s |      17 |   385215 |   223332 |    53407      8 |       60 |        0
493.30/493.52	c  493s |      17 |   386724 |   224332 |    53407      8 |       60 |        0
495.40/495.61	c  495s |      17 |   388091 |   225232 |    53407      8 |       60 |        0
497.40/497.62	c  497s |      17 |   389793 |   226232 |    53407      8 |       60 |        0
499.50/499.73	c  499s |      17 |   391442 |   227232 |    53407      8 |       60 |        0
501.50/501.73	c  501s |      17 |   393187 |   228232 |    53407      8 |       60 |        0
503.70/503.94	c  503s |      17 |   394701 |   229332 |    53407      8 |       60 |        0
505.80/506.03	c  505s |      17 |   396408 |   230432 |    53407      8 |       60 |        0
507.90/508.16	c  507s |      17 |   397895 |   231532 |    53407      8 |       60 |        0
510.00/510.24	c  509s |      17 |   399091 |   232432 |    53407      8 |       60 |        0
512.19/512.40	c  511s |      17 |   400569 |   233432 |    53407      8 |       60 |        0
514.29/514.51	c  514s |      17 |   402169 |   234132 |    53407      8 |       60 |        0
516.39/516.62	c  516s |      17 |   403508 |   235032 |    53407      8 |       60 |        0
518.39/518.69	c  518s |      17 |   405484 |   236132 |    53407      8 |       60 |        0
520.39/520.69	c  520s |      17 |   407112 |   237232 |    53407      8 |       60 |        0
522.59/522.87	c  522s |      17 |   408630 |   238332 |    53407      8 |       60 |        0
524.69/524.99	c  524s |      17 |   410209 |   239432 |    53407      8 |       60 |        0
526.89/527.15	c  526s |      17 |   411970 |   240632 |    53407      8 |       60 |        0
529.09/529.34	c  528s |      17 |   413620 |   241732 |    53407      8 |       60 |        0
531.11/531.35	c  530s |      17 |   415352 |   242732 |    53407      8 |       60 |        0
533.10/533.36	c  532s |      17 |   416523 |   243532 |    53407      9 |       60 |        0
535.39/535.68	c  535s |      17 |   418170 |   244632 |    53407      9 |       60 |        0
537.59/537.80	c  537s |      17 |   419817 |   245732 |    53407      9 |       60 |        0
539.90/540.12	c  539s |      17 |   421118 |   246632 |    53407      9 |       60 |        0
541.89/542.13	c  541s |      17 |   422412 |   247432 |    53407      9 |       60 |        0
543.99/544.27	c  543s |      17 |   424187 |   248432 |    53407      9 |       60 |        0
546.09/546.31	c  545s |      17 |   425614 |   249332 |    53407      9 |       60 |        0
548.18/548.43	c  547s |      17 |   427118 |   250132 |    53407      9 |       60 |        0
550.38/550.64	c  550s |      17 |   428617 |   251132 |    53407      9 |       60 |        0
552.39/552.66	c  552s |      17 |   430241 |   252132 |    53407      9 |       60 |        0
554.49/554.72	c  554s |      17 |   431524 |   253032 |    53407      9 |       60 |        0
556.59/556.80	c  556s |      17 |   432908 |   253932 |    53407      9 |       60 |        0
558.59/558.89	c  558s |      17 |   434459 |   254932 |    53407      9 |       60 |        0
560.69/561.00	c  560s |      17 |   436021 |   256032 |    53407      9 |       60 |        0
562.78/563.08	c  562s |      17 |   437289 |   256932 |    53407      9 |       60 |        0
565.19/565.45	c  564s |      17 |   438603 |   257832 |    53407      9 |       60 |        0
567.28/567.58	c  567s |      17 |   440331 |   258832 |    53407      9 |       60 |        0
569.38/569.68	c  569s |      17 |   441472 |   259432 |    53407      9 |       60 |        0
571.48/571.76	c  571s |      17 |   443138 |   260432 |    53407      9 |       60 |        0
573.58/573.80	c  573s |      17 |   444545 |   261332 |    53407      9 |       60 |        0
575.68/575.94	c  575s |      17 |   445828 |   262232 |    53407      9 |       60 |        0
577.68/577.99	c  577s |      17 |   447118 |   263132 |    53407      9 |       60 |        0
579.78/580.07	c  579s |      17 |   448495 |   264032 |    53407      9 |       60 |        0
581.97/582.25	c  581s |      17 |   449870 |   265032 |    53407      9 |       60 |        0
583.99/584.25	c  583s |      17 |   450968 |   265832 |    53407      9 |       60 |        0
585.98/586.27	c  585s |      17 |   452065 |   266632 |    53407      9 |       60 |        0
588.18/588.43	c  587s |      17 |   453398 |   267432 |    53407      9 |       60 |        0
590.28/590.55	c  590s |      17 |   454960 |   268332 |    53407      9 |       60 |        0
592.48/592.75	c  592s |      17 |   456774 |   269032 |    53407      9 |       60 |        0
594.98/595.23	c  594s |      17 |   458299 |   269832 |    53407      9 |       60 |        0
597.18/597.43	c  596s |      17 |   460011 |   270532 |    53407      9 |       60 |        0
599.28/599.51	c  599s |      17 |   460964 |   271232 |    53407     10 |       60 |        0
601.37/601.64	c  601s |      17 |   462582 |   272432 |    53407     10 |       60 |        0
603.57/603.83	c  603s |      17 |   464186 |   273632 |    53407     10 |       60 |        0
605.57/605.86	c  605s |      17 |   465448 |   274532 |    53407     10 |       60 |        0
607.57/607.89	c  607s |      17 |   466797 |   275532 |    53407     10 |       60 |        0
609.67/609.94	c  609s |      17 |   467896 |   276132 |    53407     10 |       60 |        0
611.77/612.06	c  611s |      17 |   469752 |   277132 |    53407     10 |       60 |        0
613.87/614.13	c  613s |      17 |   471494 |   278332 |    53407     10 |       60 |        0
615.97/616.22	c  615s |      17 |   473118 |   279332 |    53407     10 |       60 |        0
617.97/618.29	c  617s |      17 |   474649 |   280332 |    53407     10 |       60 |        0
620.07/620.38	c  619s |      17 |   475904 |   281232 |    53407     10 |       60 |        0
622.17/622.47	c  621s |      17 |   477168 |   282032 |    53407     10 |       60 |        0
624.27/624.56	c  624s |      17 |   478580 |   282932 |    53407     10 |       60 |        0
626.46/626.78	c  626s |      17 |   479749 |   283732 |    53407     10 |       60 |        0
628.86/629.16	c  628s |      17 |   481258 |   284632 |    53407     10 |       60 |        0
631.06/631.33	c  630s |      17 |   482349 |   285232 |    53407     10 |       60 |        0
633.06/633.34	c  632s |      17 |   483211 |   285732 |    53407     10 |       60 |        0
635.16/635.44	c  634s |      17 |   484468 |   286532 |    53407     10 |       60 |        0
637.26/637.54	c  637s |      17 |   485772 |   287332 |    53407     10 |       60 |        0
639.56/639.84	c  639s |      17 |   486996 |   288032 |    53407     10 |       60 |        0
641.76/642.03	c  641s |      17 |   487986 |   288732 |    53407     10 |       60 |        0
644.05/644.32	c  643s |      17 |   488973 |   289332 |    53407     10 |       60 |        0
646.15/646.44	c  645s |      17 |   490832 |   290332 |    53407     10 |       60 |        0
648.35/648.67	c  648s |      17 |   492180 |   291132 |    53407     10 |       60 |        0
650.45/650.77	c  650s |      17 |   493484 |   291832 |    53407     10 |       60 |        0
652.74/653.02	c  652s |      17 |   495201 |   292732 |    53407     10 |       60 |        0
654.84/655.15	c  654s |      17 |   497146 |   293732 |    53407     10 |       60 |        0
656.84/657.15	c  656s |      17 |   498852 |   294432 |    58748     10 |       60 |        0
659.04/659.34	c  658s |      17 |   500301 |   295332 |    58748     10 |       60 |        0
661.14/661.43	c  660s |      17 |   502096 |   296132 |    58748     10 |       60 |        0
661.34/661.69	c  661s |      18 |   502297 |   296252 |    58748     10 |       60 |        0
663.54/663.80	c  663s |      18 |   503791 |   297152 |    58748     10 |       60 |        0
665.64/665.90	c  665s |      18 |   505466 |   298252 |    58748     10 |       60 |        0
667.74/668.03	c  667s |      18 |   506845 |   299252 |    58748     10 |       60 |        0
669.74/670.05	c  669s |      18 |   508327 |   300252 |    58748     10 |       60 |        0
671.73/672.07	c  671s |      18 |   509683 |   301152 |    58748     10 |       60 |        0
673.83/674.11	c  673s |      18 |   511320 |   302252 |    58748     10 |       60 |        0
675.93/676.27	c  675s |      18 |   512821 |   303252 |    58748     10 |       60 |        0
679.13/679.45	c  678s |      18 |   513883 |   303752 |    58748     11 |       60 |        0
681.33/681.60	c  681s |      18 |   514917 |   304352 |    58748     11 |       60 |        0
683.43/683.72	c  683s |      18 |   517173 |   305752 |    58748     11 |       60 |        0
685.43/685.73	c  685s |      18 |   519039 |   306952 |    58748     11 |       60 |        0
687.73/688.01	c  687s |      18 |   520636 |   307952 |    58748     11 |       60 |        0
690.23/690.56	c  690s |      18 |   521640 |   308552 |    58748     11 |       60 |        0
692.23/692.58	c  692s |      18 |   523367 |   309752 |    58748     11 |       60 |        0
694.33/694.69	c  694s |      18 |   525254 |   311052 |    58748     11 |       60 |        0
696.43/696.70	c  696s |      18 |   527043 |   312252 |    58748     11 |       60 |        0
698.42/698.75	c  698s |      18 |   528945 |   313452 |    58748     11 |       60 |        0
700.62/700.93	c  700s |      18 |   530668 |   314652 |    58748     11 |       60 |        0
702.63/702.97	c  702s |      18 |   532347 |   315852 |    58748     11 |       60 |        0
704.83/705.13	c  704s |      18 |   533917 |   316952 |    58748     11 |       60 |        0
706.82/707.17	c  706s |      18 |   534924 |   317652 |    58748     11 |       60 |        0
709.12/709.40	c  708s |      18 |   535848 |   318252 |    58748     11 |       60 |        0
711.32/711.64	c  711s |      18 |   537333 |   319252 |    58748     11 |       60 |        0
713.31/713.69	c  713s |      18 |   538865 |   320252 |    58748     11 |       60 |        0
715.42/715.75	c  715s |      18 |   540522 |   321352 |    58748     11 |       60 |        0
717.52/717.84	c  717s |      18 |   542228 |   322452 |    58748     11 |       60 |        0
719.52/719.87	c  719s |      18 |   543918 |   323452 |    58748     11 |       60 |        0
721.62/721.93	c  721s |      18 |   545521 |   324552 |    58748     11 |       60 |        0
723.82/724.11	c  723s |      18 |   547270 |   325752 |    58748     11 |       60 |        0
725.92/726.29	c  725s |      18 |   548768 |   326752 |    58748     11 |       60 |        0
728.03/728.39	c  727s |      18 |   550433 |   327852 |    58748     11 |       60 |        0
730.23/730.51	c  730s |      18 |   551894 |   328852 |    58748     11 |       60 |        0
732.22/732.56	c  732s |      18 |   553436 |   329852 |    58748     11 |       60 |        0
734.22/734.57	c  734s |      18 |   554853 |   330852 |    58748     11 |       60 |        0
736.32/736.69	c  736s |      18 |   556591 |   331952 |    58748     11 |       60 |        0
738.52/738.83	c  738s |      18 |   558084 |   332952 |    58748     11 |       60 |        0
740.52/740.88	c  740s |      18 |   559542 |   333852 |    58748     11 |       60 |        0
742.62/742.92	c  742s |      18 |   560910 |   334752 |    58748     11 |       60 |        0
744.81/745.13	c  744s |      18 |   562400 |   335752 |    58748     11 |       60 |        0
747.01/747.30	c  746s |      18 |   563683 |   336652 |    58748     11 |       60 |        0
749.11/749.44	c  748s |      18 |   565418 |   337752 |    58748     11 |       60 |        0
751.41/751.78	c  751s |      18 |   566625 |   338552 |    58748     12 |       60 |        0
753.51/753.81	c  753s |      18 |   568142 |   339552 |    58748     12 |       60 |        0
755.61/755.90	c  755s |      18 |   569673 |   340552 |    58748     12 |       60 |        0
757.72/758.04	c  757s |      18 |   571236 |   341652 |    58748     12 |       60 |        0
759.82/760.17	c  759s |      18 |   572898 |   342752 |    58748     12 |       60 |        0
761.91/762.27	c  761s |      18 |   574562 |   343952 |    58748     12 |       60 |        0
764.01/764.38	c  763s |      18 |   576504 |   345252 |    58748     12 |       60 |        0
766.21/766.52	c  766s |      18 |   578218 |   346352 |    58748     12 |       60 |        0
768.41/768.71	c  768s |      18 |   579950 |   347552 |    58748     12 |       60 |        0
770.51/770.80	c  770s |      18 |   581358 |   348552 |    58748     12 |       60 |        0
772.71/773.02	c  772s |      18 |   582925 |   349152 |    58748     12 |       60 |        0
774.81/775.13	c  774s |      18 |   583937 |   349652 |    58748     12 |       60 |        0
776.81/777.17	c  776s |      18 |   585524 |   350552 |    58748     12 |       60 |        0
779.10/779.42	c  778s |      18 |   587236 |   351352 |    58748     12 |       60 |        0
781.50/781.86	c  781s |      18 |   588361 |   351852 |    58748     12 |       60 |        0
783.70/784.05	c  783s |      18 |   589535 |   352552 |    58748     12 |       60 |        0
786.00/786.36	c  785s |      18 |   591236 |   353552 |    58748     12 |       60 |        0
788.20/788.56	c  788s |      18 |   592807 |   354352 |    58748     12 |       60 |        0
790.40/790.71	c  790s |      18 |   594316 |   355352 |    58748     12 |       60 |        0
792.70/793.05	c  792s |      18 |   596266 |   356452 |    58748     12 |       60 |        0
794.90/795.21	c  794s |      18 |   597917 |   357252 |    58748     12 |       60 |        0
796.90/797.23	c  796s |      18 |   599277 |   358152 |    58748     12 |       60 |        0
799.00/799.35	c  798s |      18 |   601226 |   358952 |    58748     12 |       60 |        0
801.20/801.54	c  801s |      18 |   602735 |   360052 |    58748     12 |       60 |        0
803.20/803.58	c  803s |      18 |   604122 |   360952 |    58748     12 |       60 |        0
805.31/805.63	c  805s |      18 |   605897 |   361952 |    58748     12 |       60 |        0
807.51/807.81	c  807s |      18 |   607658 |   362952 |    58748     12 |       60 |        0
809.61/809.92	c  809s |      18 |   608945 |   363852 |    58748     12 |       60 |        0
811.80/812.13	c  811s |      18 |   610216 |   364752 |    58748     12 |       60 |        0
813.90/814.21	c  813s |      18 |   611479 |   365652 |    58748     12 |       60 |        0
816.01/816.34	c  815s |      18 |   613003 |   366652 |    58748     12 |       60 |        0
818.11/818.47	c  817s |      18 |   614355 |   367552 |    58748     12 |       60 |        0
820.31/820.64	c  820s |      18 |   615568 |   368252 |    58748     13 |       60 |        0
822.40/822.78	c  822s |      18 |   616960 |   369152 |    58748     13 |       60 |        0
824.60/824.97	c  824s |      18 |   618709 |   370252 |    58748     13 |       60 |        0
826.80/827.14	c  826s |      18 |   620373 |   371252 |    58748     13 |       60 |        0
828.90/829.21	c  828s |      18 |   622071 |   372352 |    58748     13 |       60 |        0
830.90/831.23	c  830s |      18 |   624061 |   373452 |    58748     13 |       60 |        0
833.00/833.39	c  832s |      18 |   626157 |   374752 |    58748     13 |       60 |        0
835.10/835.46	c  834s |      18 |   627807 |   375852 |    58748     13 |       60 |        0
837.09/837.46	c  836s |      18 |   629199 |   376652 |    58748     13 |       60 |        0
839.19/839.59	c  839s |      18 |   630656 |   377752 |    58748     13 |       60 |        0
841.39/841.74	c  841s |      18 |   631911 |   378552 |    58748     13 |       60 |        0
843.59/843.97	c  843s |      18 |   633687 |   379552 |    58748     13 |       60 |        0
845.60/845.97	c  845s |      18 |   634712 |   380252 |    58748     13 |       60 |        0
847.69/848.10	c  847s |      18 |   636023 |   381152 |    58748     13 |       60 |        0
849.89/850.24	c  849s |      18 |   637460 |   382252 |    58748     13 |       60 |        0
852.09/852.40	c  851s |      18 |   638818 |   383352 |    58748     13 |       60 |        0
854.09/854.42	c  853s |      18 |   640373 |   384352 |    58748     13 |       60 |        0
856.29/856.60	c  856s |      18 |   641945 |   385352 |    58748     13 |       60 |        0
858.29/858.65	c  858s |      18 |   644067 |   386552 |    58748     13 |       60 |        0
860.40/860.72	c  860s |      18 |   645664 |   387652 |    58748     13 |       60 |        0
862.50/862.81	c  862s |      18 |   646974 |   388552 |    58748     13 |       60 |        0
864.60/864.95	c  864s |      18 |   648673 |   389752 |    58748     13 |       60 |        0
866.80/867.12	c  866s |      18 |   650422 |   390952 |    58748     13 |       60 |        0
868.80/869.13	c  868s |      18 |   652028 |   392052 |    58748     13 |       60 |        0
870.90/871.30	c  870s |      18 |   653517 |   393052 |    58748     13 |       60 |        0
873.00/873.35	c  872s |      18 |   654938 |   394052 |    58748     13 |       60 |        0
874.99/875.38	c  874s |      18 |   656707 |   395052 |    58748     13 |       60 |        0
877.19/877.57	c  877s |      18 |   658015 |   395852 |    58748     13 |       60 |        0
879.49/879.82	c  879s |      18 |   659405 |   396752 |    58748     13 |       60 |        0
881.49/881.83	c  881s |      18 |   660572 |   397552 |    58748     13 |       60 |        0
883.59/883.96	c  883s |      18 |   661917 |   398352 |    58748     13 |       60 |        0
885.69/886.06	c  885s |      18 |   663038 |   399152 |    58748     13 |       60 |        0
887.89/888.24	c  887s |      18 |   664268 |   399652 |    58748     14 |       60 |        0
890.09/890.43	c  889s |      18 |   665861 |   400552 |    58748     14 |       60 |        0
892.19/892.51	c  892s |      18 |   667367 |   401652 |    58748     14 |       60 |        0
894.29/894.66	c  894s |      18 |   669010 |   402852 |    58748     14 |       60 |        0
896.39/896.73	c  896s |      18 |   670557 |   403852 |    58748     14 |       60 |        0
898.49/898.87	c  898s |      18 |   672095 |   404952 |    58748     14 |       60 |        0
900.70/901.05	c  900s |      18 |   673674 |   405952 |    58748     14 |       60 |        0
902.80/903.18	c  902s |      18 |   675452 |   407152 |    58748     14 |       60 |        0
904.89/905.26	c  904s |      18 |   677208 |   408352 |    58748     14 |       60 |        0
906.99/907.38	c  906s |      18 |   678836 |   409452 |    58748     14 |       60 |        0
909.09/909.41	c  908s |      18 |   680417 |   410352 |    58748     14 |       60 |        0
911.19/911.56	c  911s |      18 |   682364 |   411452 |    58748     14 |       60 |        0
913.29/913.64	c  913s |      18 |   684016 |   412352 |    58748     14 |       60 |        0
915.39/915.70	c  915s |      18 |   685673 |   413452 |    58748     14 |       60 |        0
917.49/917.82	c  917s |      18 |   687167 |   414552 |    58748     14 |       60 |        0
919.59/919.91	c  919s |      18 |   688957 |   415652 |    58748     14 |       60 |        0
921.59/921.96	c  921s |      18 |   690477 |   416652 |    58748     14 |       60 |        0
923.79/924.12	c  923s |      18 |   691751 |   417552 |    58748     14 |       60 |        0
925.89/926.24	c  925s |      18 |   693063 |   418452 |    58748     14 |       60 |        0
927.98/928.34	c  927s |      18 |   694708 |   419552 |    58748     14 |       60 |        0
929.98/930.39	c  929s |      18 |   696245 |   420552 |    58748     14 |       60 |        0
932.18/932.53	c  932s |      18 |   697814 |   421552 |    58748     14 |       60 |        0
934.28/934.62	c  934s |      18 |   698969 |   422352 |    58748     14 |       60 |        0
936.38/936.76	c  936s |      18 |   700525 |   423452 |    58748     14 |       60 |        0
938.49/938.80	c  938s |      18 |   701953 |   424452 |    58748     14 |       60 |        0
940.69/941.01	c  940s |      18 |   703173 |   425152 |    58748     14 |       60 |        0
942.78/943.18	c  942s |      18 |   704783 |   426152 |    58748     14 |       60 |        0
944.98/945.35	c  944s |      18 |   706319 |   427152 |    58748     14 |       60 |        0
947.18/947.56	c  947s |      18 |   707763 |   428152 |    58748     14 |       60 |        0
949.28/949.64	c  949s |      18 |   709036 |   428952 |    58748     14 |       60 |        0
951.38/951.71	c  951s |      18 |   710228 |   429752 |    58748     14 |       60 |        0
953.49/953.86	c  953s |      18 |   711649 |   430652 |    58748     14 |       60 |        0
955.59/955.93	c  955s |      18 |   712763 |   431452 |    58748     14 |       60 |        0
957.68/958.07	c  957s |      18 |   714166 |   432252 |    58748     14 |       60 |        0
959.88/960.24	c  959s |      18 |   715463 |   433152 |    58748     14 |       60 |        0
961.88/962.29	c  961s |      18 |   716442 |   433852 |    58748     15 |       60 |        0
964.08/964.46	c  963s |      18 |   717904 |   434752 |    58748     15 |       60 |        0
966.28/966.60	c  966s |      18 |   719272 |   435652 |    58748     15 |       60 |        0
968.37/968.71	c  968s |      18 |   720638 |   436652 |    58748     15 |       60 |        0
970.47/970.82	c  970s |      18 |   721990 |   437552 |    58748     15 |       60 |        0
972.57/972.92	c  972s |      18 |   723262 |   438452 |    58748     15 |       60 |        0
974.57/974.99	c  974s |      18 |   724680 |   439452 |    58748     15 |       60 |        0
975.38/975.75	c  975s |      18 |   725819 |   439781 |    58748     15 |       60 |        0
975.38/975.75	c #cpu_time = 975.113s
975.38/975.75	c #wall_clock_time = 975.241s
975.38/975.75	c #decision = 725819
975.38/975.75	c #random_decision = 669
975.38/975.75	c #conflict = 439781
975.38/975.75	c #restart = 18
975.38/975.75	o 12039809
975.38/975.78	c BCD2: hardening fixes 52 literals
975.38/975.78	c BCD2: updating upper bound: 2537601947 -> 12039823
975.48/975.83	c BCD2: 0 <= obj <= 12039823
975.48/975.83	c BCD2: #cores=0, #unrelaxed=3953, #relaxed=0, #hardened=52
975.48/975.83	c BCD2: #sat=1 #unsat=1 bias=1/2
975.48/975.83	c Solving starts ...
975.48/975.83	c ============================[ Search Statistics ]============================
975.48/975.83	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
975.48/975.83	c       |         |          |          |    Limit     GC | Var      | Constra 
975.48/975.83	c =============================================================================
975.48/975.83	c  0.0s |       0 |        0 |        0 |    58748      0 |      112 |        0
975.57/975.96	c  0.1s |       0 |       63 |        1 |    58748      0 |      112 |      130
975.57/975.96	c #cpu_time = 0.130s
975.57/975.96	c #wall_clock_time = 0.130s
975.57/975.96	c #decision = 63
975.57/975.96	c #random_decision = 0
975.57/975.96	c #conflict = 1
975.57/975.96	c #restart = 0
975.57/975.96	c BCD2: found a new core of size 63: cost of the new core is >=12167
975.57/975.96	c lower bound updated to 12152
975.57/975.99	c BCD2: 12167 <= obj <= 12039823
975.57/975.99	c BCD2: #cores=1, #unrelaxed=3890, #relaxed=63, #hardened=52
975.57/975.99	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-4079368-1465323123/watcher-4079368-1465323123 -o /tmp/evaluation-result-4079368-1465323123/solver-4079368-1465323123 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465306898-21026 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079368-1465323123.opb 

pid=22401
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.12 2.06 2.01 3/179 22404
/proc/meminfo: memFree=30286020/32872528 swapFree=11196/354588
[pid=22404] ppid=22401 vsize=690620 CPUtime=0 cores=0,2,4,6
/proc/22404/stat : 22404 (toysat) R 22401 22404 21010 0 -1 4202496 2573 0 0 0 0 0 0 0 20 0 4 0 114245809 707194880 2423 33554432000 4194304 16246674 140735101863152 140735101862576 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22404/statm: 173167 2432 441 2943 0 170061 0
[pid=22404/tid=22405] ppid=22401 vsize=709052 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22405/stat : 22405 (toysat) S 22401 22404 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114245809 726069248 2496 33554432000 4194304 16246674 140735101863152 140008620010736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22404/tid=22406] ppid=22401 vsize=714172 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22406/stat : 22406 (toysat) S 22401 22404 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114245809 731312128 2514 33554432000 4194304 16246674 140735101863152 140008609520880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22404/tid=22407] ppid=22401 vsize=718268 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22407/stat : 22407 (toysat) S 22401 22404 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114245809 735506432 2530 33554432000 4194304 16246674 140735101863152 140008599047344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.12 2.06 2.01 3/179 22404
/proc/meminfo: memFree=30286020/32872528 swapFree=11196/354588
[pid=22404] ppid=22401 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/22404/stat : 22404 (toysat) R 22401 22404 21010 0 -1 4202496 26661 0 0 0 6 3 0 0 20 0 4 0 114245809 1332285440 26448 33554432000 4194304 16246674 140735101863152 140735101862464 7371468 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22404/statm: 325265 26464 799 2943 0 322159 0
[pid=22404/tid=22405] ppid=22401 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22405/stat : 22405 (toysat) S 22401 22404 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114245809 1332285440 26474 33554432000 4194304 16246674 140735101863152 140008620010736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22404/tid=22406] ppid=22401 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22406/stat : 22406 (toysat) S 22401 22404 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114245809 1332285440 26485 33554432000 4194304 16246674 140735101863152 140008609520880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22404/tid=22407] ppid=22401 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22407/stat : 22407 (toysat) S 22401 22404 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114245809 1332285440 26497 33554432000 4194304 16246674 140735101863152 140008599047344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200531 s]
/proc/loadavg: 2.12 2.06 2.01 3/179 22404
/proc/meminfo: memFree=30286020/32872528 swapFree=11196/354588
[pid=22404] ppid=22401 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/22404/stat : 22404 (toysat) R 22401 22404 21010 0 -1 4202496 47514 0 0 0 13 6 0 0 20 0 4 0 114245809 1344868352 47812 33554432000 4194304 16246674 140735101863152 140735101862464 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22404/statm: 328337 47812 801 2943 0 325231 0
[pid=22404/tid=22405] ppid=22401 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22405/stat : 22405 (toysat) S 22401 22404 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114245809 1344868352 47812 33554432000 4194304 16246674 140735101863152 140008620010736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22404/tid=22406] ppid=22401 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22406/stat : 22406 (toysat) S 22401 22404 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114245809 1344868352 47812 33554432000 4194304 16246674 140735101863152 140008609520880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22404/tid=22407] ppid=22401 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22407/stat : 22407 (toysat) S 22401 22404 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114245809 1344868352 47812 33554432000 4194304 16246674 140735101863152 140008599047344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300513 s]
/proc/loadavg: 2.12 2.06 2.01 3/179 22404
/proc/meminfo: memFree=30286020/32872528 swapFree=11196/354588
[pid=22404] ppid=22401 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/22404/stat : 22404 (toysat) R 22401 22404 21010 0 -1 4202496 49208 0 0 0 22 6 0 0 20 0 4 0 114245809 1344868352 49506 33554432000 4194304 16246674 140735101863152 140735101862464 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22404/statm: 328337 49516 839 2943 0 325231 0
[pid=22404/tid=22405] ppid=22401 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22405/stat : 22405 (toysat) S 22401 22404 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114245809 1344868352 49522 33554432000 4194304 16246674 140735101863152 140008620010736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22404/tid=22406] ppid=22401 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22406/stat : 22406 (toysat) S 22401 22404 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114245809 1344868352 49527 33554432000 4194304 16246674 140735101863152 140008609520880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22404/tid=22407] ppid=22401 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22407/stat : 22407 (toysat) S 22401 22404 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114245809 1344868352 49534 33554432000 4194304 16246674 140735101863152 140008599047344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700414 s]
/proc/loadavg: 2.12 2.06 2.01 3/179 22404
/proc/meminfo: memFree=30286020/32872528 swapFree=11196/354588
[pid=22404] ppid=22401 vsize=1313348 CPUtime=0.68 cores=0,2,4,6
/proc/22404/stat : 22404 (toysat) R 22401 22404 21010 0 -1 4202496 110342 0 0 0 53 15 0 0 20 0 4 0 114245809 1344868352 110640 33554432000 4194304 16246674 140735101863152 140735101845056 12479207 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22404/statm: 328337 110652 885 2943 0 325231 0
[pid=22404/tid=22405] ppid=22401 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22405/stat : 22405 (toysat) S 22401 22404 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114245809 1344868352 110660 33554432000 4194304 16246674 140735101863152 140008620010736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22404/tid=22406] ppid=22401 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22406/stat : 22406 (toysat) S 22401 22404 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114245809 1344868352 110669 33554432000 4194304 16246674 140735101863152 140008609520880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22404/tid=22407] ppid=22401 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22407/stat : 22407 (toysat) S 22401 22404 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114245809 1344868352 110676 33554432000 4194304 16246674 140735101863152 140008599047344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50041 s]
/proc/loadavg: 2.11 2.05 2.01 3/183 22408
/proc/meminfo: memFree=29721576/32872528 swapFree=11196/354588
[pid=22404] ppid=22401 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/22404/stat : 22404 (toysat) R 22401 22404 21010 0 -1 4202496 169464 0 0 0 125 24 0 0 20 0 4 0 114245809 1344868352 169762 33554432000 4194304 16246674 140735101863152 140735101845056 5602147 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22404/statm: 328337 169767 885 2943 0 325231 0
[pid=22404/tid=22405] ppid=22401 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22405/stat : 22405 (toysat) S 22401 22404 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114245809 1344868352 169769 33554432000 4194304 16246674 140735101863152 140008620010736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22404/tid=22406] ppid=22401 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22406/stat : 22406 (toysat) S 22401 22404 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114245809 1344868352 169771 33554432000 4194304 16246674 140735101863152 140008609520880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22404/tid=22407] ppid=22401 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22407/stat : 22407 (toysat) S 22401 22404 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114245809 1344868352 169775 33554432000 4194304 16246674 140735101863152 140008599047344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10041 s]
/proc/loadavg: 2.11 2.05 2.01 3/183 22408
/proc/meminfo: memFree=29447528/32872528 swapFree=11196/354588
[pid=22404] ppid=22401 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/22404/stat : 22404 (toysat) R 22401 22404 21010 0 -1 4202496 268187 0 0 0 271 38 0 0 20 0 4 0 114245809 1344868352 268485 33554432000 4194304 16246674 140735101863152 140735101845056 5602895 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22404/statm: 328337 268489 885 2943 0 325231 0
[pid=22404/tid=22405] ppid=22401 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22405/stat : 22405 (toysat) S 22401 22404 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114245809 1344868352 268490 33554432000 4194304 16246674 140735101863152 140008620010736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22404/tid=22406] ppid=22401 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22406/stat : 22406 (toysat) S 22401 22404 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114245809 1344868352 268492 33554432000 4194304 16246674 140735101863152 140008609520880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22404/tid=22407] ppid=22401 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22407/stat : 22407 (toysat) S 22401 22404 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114245809 1344868352 268494 33554432000 4194304 16246674 140735101863152 140008599047344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30042 s]
/proc/loadavg: 2.18 2.07 2.01 3/183 22457
/proc/meminfo: memFree=29374036/32872528 swapFree=11196/354588
[pid=22404] ppid=22401 vsize=1326660 CPUtime=6.29 cores=0,2,4,6
/proc/22404/stat : 22404 (toysat) R 22401 22404 21010 0 -1 4202496 272346 0 0 0 590 39 0 0 20 0 4 0 114245809 1358499840 272644 33554432000 4194304 16246674 140735101863152 140735101845056 5600432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22404/statm: 331665 272644 891 2943 0 328559 0
[pid=22404/tid=22405] ppid=22401 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22405/stat : 22405 (toysat) S 22401 22404 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114245809 1358499840 272644 33554432000 4194304 16246674 140735101863152 140008620010736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22404/tid=22406] ppid=22401 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22406/stat : 22406 (toysat) S 22401 22404 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114245809 1358499840 272644 33554432000 4194304 16246674 140735101863152 140008609520880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22404/tid=22407] ppid=22401 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22407/stat : 22407 (toysat) S 22401 22404 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114245809 1358499840 272644 33554432000 4194304 16246674 140735101863152 140008599047344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1326660

[startup+12.7004 s]
/proc/loadavg: 2.17 2.07 2.01 3/183 22457
/proc/meminfo: memFree=29249624/32872528 swapFree=11196/354588
[pid=22404] ppid=22401 vsize=1326660 CPUtime=12.69 cores=0,2,4,6
/proc/22404/stat : 22404 (toysat) R 22401 22404 21010 0 -1 4202496 272348 0 0 0 1230 39 0 0 20 0 4 0 114245809 1358499840 272646 33554432000 4194304 16246674 140735101863152 140735101845056 5822171 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22404/statm: 331665 272646 893 2943 0 328559 0
[pid=22404/tid=22405] ppid=22401 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22405/stat : 22405 (toysat) S 22401 22404 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114245809 1358499840 272646 33554432000 4194304 16246674 140735101863152 140008620010736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22404/tid=22406] ppid=22401 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22406/stat : 22406 (toysat) S 22401 22404 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114245809 1358499840 272646 33554432000 4194304 16246674 140735101863152 140008609520880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22404/tid=22407] ppid=22401 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22407/stat : 22407 (toysat) S 22401 22404 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114245809 1358499840 272646 33554432000 4194304 16246674 140735101863152 140008599047344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.14 2.07 2.01 3/183 22457
/proc/meminfo: memFree=29249820/32872528 swapFree=11196/354588
[pid=22404] ppid=22401 vsize=1326660 CPUtime=25.48 cores=0,2,4,6
/proc/22404/stat : 22404 (toysat) R 22401 22404 21010 0 -1 4202496 272348 0 0 0 2509 39 0 0 20 0 4 0 114245809 1358499840 272646 33554432000 4194304 16246674 140735101863152 140735101845056 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22404/statm: 331665 272646 893 2943 0 328559 0
[pid=22404/tid=22405] ppid=22401 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22405/stat : 22405 (toysat) S 22401 22404 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114245809 1358499840 272646 33554432000 4194304 16246674 140735101863152 140008620010736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22404/tid=22406] ppid=22401 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22406/stat : 22406 (toysat) S 22401 22404 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114245809 1358499840 272646 33554432000 4194304 16246674 140735101863152 140008609520880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22404/tid=22407] ppid=22401 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22407/stat : 22407 (toysat) S 22401 22404 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114245809 1358499840 272646 33554432000 4194304 16246674 140735101863152 140008599047344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1326660

[startup+51.1005 s]
/proc/loadavg: 2.09 2.06 2.01 3/183 22457
/proc/meminfo: memFree=29249992/32872528 swapFree=11196/354588
[pid=22404] ppid=22401 vsize=1326660 CPUtime=51.08 cores=0,2,4,6
/proc/22404/stat : 22404 (toysat) R 22401 22404 21010 0 -1 4202496 272350 0 0 0 5069 39 0 0 20 0 4 0 114245809 1358499840 272648 33554432000 4194304 16246674 140735101863152 140735101845056 5661363 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22404/statm: 331665 272648 894 2943 0 328559 0
[pid=22404/tid=22405] ppid=22401 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22405/stat : 22405 (toysat) S 22401 22404 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114245809 1358499840 272648 33554432000 4194304 16246674 140735101863152 140008620010736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22404/tid=22406] ppid=22401 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22406/stat : 22406 (toysat) S 22401 22404 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114245809 1358499840 272648 33554432000 4194304 16246674 140735101863152 140008609520880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22404/tid=22407] ppid=22401 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22407/stat : 22407 (toysat) S 22401 22404 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114245809 1358499840 272648 33554432000 4194304 16246674 140735101863152 140008599047344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1326660

[startup+102.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 22458
/proc/meminfo: memFree=29243420/32872528 swapFree=11196/354588
[pid=22404] ppid=22401 vsize=1329732 CPUtime=102.27 cores=0,2,4,6
/proc/22404/stat : 22404 (toysat) R 22401 22404 21010 0 -1 4202496 273131 0 0 0 10186 41 0 0 20 0 4 0 114245809 1361645568 273420 33554432000 4194304 16246674 140735101863152 140735101845056 5827980 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22404/statm: 332433 273420 898 2943 0 329327 0
[pid=22404/tid=22405] ppid=22401 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22405/stat : 22405 (toysat) S 22401 22404 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114245809 1361645568 273420 33554432000 4194304 16246674 140735101863152 140008620010736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22404/tid=22406] ppid=22401 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22406/stat : 22406 (toysat) S 22401 22404 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114245809 1361645568 273420 33554432000 4194304 16246674 140735101863152 140008609520880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22404/tid=22407] ppid=22401 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22407/stat : 22407 (toysat) S 22401 22404 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114245809 1361645568 273420 33554432000 4194304 16246674 140735101863152 140008599047344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1329732


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

[pid=22404/tid=22407] ppid=22401 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22407/stat : 22407 (toysat) S 22401 22404 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114245809 1410928640 285452 33554432000 4194304 16246674 140735101863152 140008599047344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 1377860

[startup+882.307 s]
/proc/loadavg: 2.08 2.08 2.02 3/183 22526
/proc/meminfo: memFree=28009820/32872528 swapFree=11196/354588
[pid=22404] ppid=22401 vsize=1377860 CPUtime=882 cores=0,2,4,6
/proc/22404/stat : 22404 (toysat) R 22401 22404 21010 0 -1 4202496 285432 0 0 0 88108 92 0 0 20 0 4 0 114245809 1410928640 285452 33554432000 4194304 16246674 140735101863152 140735101845056 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22404/statm: 344465 285452 898 2943 0 341359 0
[pid=22404/tid=22405] ppid=22401 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22405/stat : 22405 (toysat) S 22401 22404 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114245809 1410928640 285452 33554432000 4194304 16246674 140735101863152 140008620010736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22404/tid=22406] ppid=22401 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22406/stat : 22406 (toysat) S 22401 22404 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114245809 1410928640 285452 33554432000 4194304 16246674 140735101863152 140008609520880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22404/tid=22407] ppid=22401 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22407/stat : 22407 (toysat) S 22401 22404 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114245809 1410928640 285452 33554432000 4194304 16246674 140735101863152 140008599047344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 1377860

[startup+942.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/183 22527
/proc/meminfo: memFree=28009816/32872528 swapFree=11196/354588
[pid=22404] ppid=22401 vsize=1377860 CPUtime=941.98 cores=0,2,4,6
/proc/22404/stat : 22404 (toysat) R 22401 22404 21010 0 -1 4202496 285432 0 0 0 94104 94 0 0 20 0 4 0 114245809 1410928640 285452 33554432000 4194304 16246674 140735101863152 140735101845056 5823254 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22404/statm: 344465 285452 898 2943 0 341359 0
[pid=22404/tid=22405] ppid=22401 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22405/stat : 22405 (toysat) S 22401 22404 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114245809 1410928640 285452 33554432000 4194304 16246674 140735101863152 140008620010736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22404/tid=22406] ppid=22401 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22406/stat : 22406 (toysat) S 22401 22404 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114245809 1410928640 285452 33554432000 4194304 16246674 140735101863152 140008609520880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22404/tid=22407] ppid=22401 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22407/stat : 22407 (toysat) S 22401 22404 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114245809 1410928640 285452 33554432000 4194304 16246674 140735101863152 140008599047344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 1377860

[startup+1002.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/183 22528
/proc/meminfo: memFree=25036056/32872528 swapFree=11196/354588
[pid=22404] ppid=22401 vsize=4345412 CPUtime=1001.97 cores=0,2,4,6
/proc/22404/stat : 22404 (toysat) R 22401 22404 21010 0 -1 4202496 1027347 0 0 0 99977 220 0 0 20 0 4 0 114245809 4449701888 1027367 33554432000 4194304 16246674 140735101863152 140735101860992 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22404/statm: 1086353 1027367 924 2943 0 1083247 0
[pid=22404/tid=22405] ppid=22401 vsize=4345412 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22405/stat : 22405 (toysat) S 22401 22404 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114245809 4449701888 1027367 33554432000 4194304 16246674 140735101863152 140008620010736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22404/tid=22406] ppid=22401 vsize=4345412 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22406/stat : 22406 (toysat) S 22401 22404 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114245809 4449701888 1027367 33554432000 4194304 16246674 140735101863152 140008609520880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22404/tid=22407] ppid=22401 vsize=4345412 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22407/stat : 22407 (toysat) S 22401 22404 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114245809 4449701888 1027367 33554432000 4194304 16246674 140735101863152 140008599047344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 4345412

[startup+1062.3 s]
/proc/loadavg: 2.11 2.08 2.02 3/183 22529
/proc/meminfo: memFree=18312924/32872528 swapFree=11196/354588
[pid=22404] ppid=22401 vsize=11055684 CPUtime=1061.97 cores=0,2,4,6
/proc/22404/stat : 22404 (toysat) R 22401 22404 21010 0 -1 4202496 2704917 0 0 0 105681 516 0 0 20 0 4 0 114245809 11321020416 2704937 33554432000 4194304 16246674 140735101863152 140735101862328 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22404/statm: 2763921 2704937 924 2943 0 2760815 0
[pid=22404/tid=22405] ppid=22401 vsize=11055684 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22405/stat : 22405 (toysat) S 22401 22404 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114245809 11321020416 2704937 33554432000 4194304 16246674 140735101863152 140008620010736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22404/tid=22406] ppid=22401 vsize=11055684 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22406/stat : 22406 (toysat) S 22401 22404 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114245809 11321020416 2704937 33554432000 4194304 16246674 140735101863152 140008609520880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22404/tid=22407] ppid=22401 vsize=11055684 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22407/stat : 22407 (toysat) S 22401 22404 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114245809 11321020416 2704937 33554432000 4194304 16246674 140735101863152 140008599047344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 11055684

[startup+1122.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/184 22534
/proc/meminfo: memFree=15745212/32872528 swapFree=11196/354588
[pid=22404] ppid=22401 vsize=13617732 CPUtime=1121.95 cores=0,2,4,6
/proc/22404/stat : 22404 (toysat) R 22401 22404 21010 0 -1 4202496 3345434 0 0 0 111538 657 0 0 20 0 4 0 114245809 13944557568 3345454 33554432000 4194304 16246674 140735101863152 140735101862248 4225141 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22404/statm: 3404433 3345454 928 2943 0 3401327 0
[pid=22404/tid=22405] ppid=22401 vsize=13617732 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22405/stat : 22405 (toysat) S 22401 22404 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114245809 13944557568 3345454 33554432000 4194304 16246674 140735101863152 140008620010736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22404/tid=22406] ppid=22401 vsize=13617732 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22406/stat : 22406 (toysat) S 22401 22404 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114245809 13944557568 3345454 33554432000 4194304 16246674 140735101863152 140008609520880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22404/tid=22407] ppid=22401 vsize=13617732 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22407/stat : 22407 (toysat) S 22401 22404 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114245809 13944557568 3345454 33554432000 4194304 16246674 140735101863152 140008599047344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 13617732

[startup+1182.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/183 22535
/proc/meminfo: memFree=15745056/32872528 swapFree=11196/354588
[pid=22404] ppid=22401 vsize=13617732 CPUtime=1181.94 cores=0,2,4,6
/proc/22404/stat : 22404 (toysat) R 22401 22404 21010 0 -1 4202496 3345434 0 0 0 117511 683 0 0 20 0 4 0 114245809 13944557568 3345454 33554432000 4194304 16246674 140735101863152 140735101862248 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22404/statm: 3404433 3345454 928 2943 0 3401327 0
[pid=22404/tid=22405] ppid=22401 vsize=13617732 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22405/stat : 22405 (toysat) S 22401 22404 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114245809 13944557568 3345454 33554432000 4194304 16246674 140735101863152 140008620010736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22404/tid=22406] ppid=22401 vsize=13617732 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22406/stat : 22406 (toysat) S 22401 22404 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114245809 13944557568 3345454 33554432000 4194304 16246674 140735101863152 140008609520880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22404/tid=22407] ppid=22401 vsize=13617732 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22407/stat : 22407 (toysat) S 22401 22404 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114245809 13944557568 3345454 33554432000 4194304 16246674 140735101863152 140008599047344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 13617732



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1195.9 s]
/proc/loadavg: 2.06 2.06 2.01 3/183 22536
/proc/meminfo: memFree=13597468/32872528 swapFree=11196/354588
[pid=22404] ppid=22401 vsize=15878724 CPUtime=1195.55 cores=0,2,4,6
/proc/22404/stat : 22404 (toysat) R 22401 22404 21010 0 -1 4202496 3910613 0 0 0 118724 831 0 0 20 0 4 0 114245809 16259813376 3910633 33554432000 4194304 16246674 140735101863152 140735101862248 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22404/statm: 3969681 3910643 928 2943 0 3966575 0
[pid=22404/tid=22405] ppid=22401 vsize=15878724 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22405/stat : 22405 (toysat) S 22401 22404 21010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114245809 16259813376 3910649 33554432000 4194304 16246674 140735101863152 140008620010736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22404/tid=22406] ppid=22401 vsize=15878724 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22406/stat : 22406 (toysat) S 22401 22404 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114245809 16259813376 3910655 33554432000 4194304 16246674 140735101863152 140008609520880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22404/tid=22407] ppid=22401 vsize=15878724 CPUtime=0 cores=0,2,4,6
/proc/22404/task/22407/stat : 22407 (toysat) S 22401 22404 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114245809 16259813376 3910662 33554432000 4194304 16246674 140735101863152 140008599047344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1195.55
Current children cumulated vsize (KiB) 15878724

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

[startup+1196 s]
/proc/loadavg: 2.06 2.06 2.01 3/183 22536
/proc/meminfo: memFree=13597468/32872528 swapFree=11196/354588
[pid=22404] ppid=22401 vsize=0 CPUtime=1195.65 cores=0,2,4,6
/proc/22404/stat : 22404 (toysat) Z 22401 22404 21010 0 -1 4203532 3911265 0 0 0 118724 841 0 0 20 0 2 0 114245809 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22404/statm: 0 0 0 0 0 0 0
[pid=22404/tid=22405] ppid=22401 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/22404/task/22405/stat : 22405 (toysat) R 22401 22404 21010 0 -1 4203588 10 0 0 0 0 8 0 0 20 0 2 0 114245809 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1195.65
Current children cumulated vsize (KiB) 0

[startup+1196.4 s]
/proc/loadavg: 2.06 2.06 2.01 3/183 22536
/proc/meminfo: memFree=13597468/32872528 swapFree=11196/354588
[pid=22404] ppid=22401 vsize=0 CPUtime=1196.04 cores=0,2,4,6
/proc/22404/stat : 22404 (toysat) Z 22401 22404 21010 0 -1 4203532 3911265 0 0 0 118724 880 0 0 20 0 2 0 114245809 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22404/statm: 0 0 0 0 0 0 0
[pid=22404/tid=22405] ppid=22401 vsize=0 CPUtime=0.48 cores=0,2,4,6
/proc/22404/task/22405/stat : 22405 (toysat) R 22401 22404 21010 0 -1 4203588 10 0 0 0 0 48 0 0 20 0 2 0 114245809 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1196.04
Current children cumulated vsize (KiB) 0

[startup+1196.6 s]
/proc/loadavg: 2.06 2.06 2.01 3/183 22536
/proc/meminfo: memFree=13597468/32872528 swapFree=11196/354588
[pid=22404] ppid=22401 vsize=0 CPUtime=1196.24 cores=0,2,4,6
/proc/22404/stat : 22404 (toysat) Z 22401 22404 21010 0 -1 4203532 3911265 0 0 0 118724 900 0 0 20 0 2 0 114245809 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22404/statm: 0 0 0 0 0 0 0
[pid=22404/tid=22405] ppid=22401 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/22404/task/22405/stat : 22405 (toysat) R 22401 22404 21010 0 -1 4203588 10 0 0 0 0 68 0 0 20 0 2 0 114245809 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1196.24
Current children cumulated vsize (KiB) 0

[startup+1196.7 s]
/proc/loadavg: 2.06 2.06 2.01 3/183 22536
/proc/meminfo: memFree=13597468/32872528 swapFree=11196/354588
[pid=22404] ppid=22401 vsize=0 CPUtime=1196.34 cores=0,2,4,6
/proc/22404/stat : 22404 (toysat) Z 22401 22404 21010 0 -1 4203532 3911265 0 0 0 118724 910 0 0 20 0 2 0 114245809 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22404/statm: 0 0 0 0 0 0 0
[pid=22404/tid=22405] ppid=22401 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/22404/task/22405/stat : 22405 (toysat) R 22401 22404 21010 0 -1 4203588 10 0 0 0 0 78 0 0 20 0 2 0 114245809 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1196.34
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1196.74
CPU time (s): 1196.39
CPU user time (s): 1187.25
CPU system time (s): 9.14261
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 15878724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1187.25
system time used= 9.14261
maximum resident set size= 15645140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3911265
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= 348
involuntary context switches= 1508

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.99454 second user time and 4.66129 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-07 20:12:04
IDJOB=4079368
IDBENCH=92667
IDSOLVER=2542
FILE ID=node126/4079368-1465323123
RUNJOBID= node126-1465306898-21026
PBS_JOBID= 19849495
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_1_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-4079368-1465323123/watcher-4079368-1465323123 -o /tmp/evaluation-result-4079368-1465323123/solver-4079368-1465323123 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465306898-21026 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079368-1465323123.opb

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

MD5SUM BENCH= f4c34ee83da7e36be7881d34beece196
RANDOM SEED=1890333500

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30286400 kB
Buffers:           59408 kB
Cached:           303920 kB
SwapCached:         1740 kB
Active:          1268316 kB
Inactive:         230412 kB
Active(anon):    1134364 kB
Inactive(anon):     3276 kB
Active(file):     133952 kB
Inactive(file):   227136 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098680 kB
Dirty:             17096 kB
Writeback:             0 kB
AnonPages:       1489508 kB
Mapped:            10696 kB
Shmem:                 0 kB
Slab:             599920 kB
SReclaimable:      44088 kB
SUnreclaim:       555832 kB
KernelStack:        1496 kB
PageTables:         6812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1632172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1472512 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= 71672 MiB
End job on node126 at 2016-06-07 20:32:00