Trace number 4107943

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02UNSAT 1388.1 1388.46

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12026_5-unsat.opb
MD5SUMdb859a15c3accfca5f41bc17f134e06b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark64.7242
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables32912
Total number of constraints109848
Number of constraints which are clauses109308
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints540
Minimum length of a constraint1
Maximum length of a constraint66
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 428
Number of bits of the biggest sum of numbers9
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-19T00:42:01+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-4107943-1466289721.opb"]
0.00/0.01	c use --random-gen="3487771309 1465675217 1748628568 1025668319 4122332585 367547934 2825508361 2086684617 2209011311 3706662439 176885405 3148651097 1497700136 4224703969 2281854187 4158472238 4210121785 1715659835 2005798797 4173202006 2946699492 4289960797 1586081962 2452003953 1064705135 3928135113 1593028775 3717433136 3123999155 1774339795 3230892018 371709759 1822961628 3059476404 3471320670 1773904231 3167391424 3202366754 775116676 4072532122 3802659610 3323449336 2796748895 3476609223 1683117807 2847912676 3466404073 983797016 527154018 2282769985 1466484472 646734054 3688951006 2954409950 3939683838 1730313438 2632929707 2633635825 3060031788 2008345824 3041496491 2459291147 3125229547 3162041550 462051656 3779226670 3999168001 3086708722 11105156 3425687521 2532773465 158047255 1205448160 2722069446 1737024870 3386102661 1301503093 630830571 1546148951 203177106 2956585824 679396838 2416441711 1515127072 3031853990 238079855 1615567847 419686873 273799831 3339538671 2635434479 1622498618 1469189001 216916477 1232806160 3925412933 204708881 2773854692 1662313535 2111553117 622017813 1699658341 3279897994 820250941 4011263923 3467315896 2113838562 1525156398 4114799803 3982504906 945145555 2605038920 2145765590 1354119867 492006865 1179591102 3631745318 1006504913 4272494618 1726405821 4180125246 3726070268 847499520 1877548497 2492117082 1794705682 3110094390 4064149238 3885385653 1165987906 1849292803 2002881670 1629996241 4125169085 1925157267 2410224668 3364633613 745217761 371859198 3341893019 3833751305 476820150 1755742744 470019606 3731655927 3745007719 833260266 4030956119 3418356189 699665526 2877324827 2435315003 3735608386 1108818682 323272498 4014122601 264972481 3090550059 778696217 491678142 3990427604 3165579609 2990780216 3505743632 2989098559 3170010070 1934011259 1419678257 2105323438 1209854991 1747405692 881548305 4123751117 438999335 2582265158 1766995365 1031102825 879078012 888211947 3640778443 1507903123 3234260169 2242952678 3524332572 899005706 527066799 1351567306 3708816685 987443333 1903469236 411723938 3211885562 4132368468 3972696010 2841903822 2918552442 3762214065 1345767037 1543102232 3602301430 595050135 1346039671 485590794 1288870362 3367368067 2991436292 2496090541 1564923739 2653821064 4271642183 3600022080 17359872 535862076 4000360440 3811000431 3741542383 3256853146 3783693904 3510542272 1248296678 2941292824 1624304648 1376841837 1191741587 3692147114 2023371748 248299752 2581760703 3781519152 3188729622 2052920271 3835942890 1484174055 1696657419 537216608 3678074028 14249410 3612212070 1402234816 606501873 1083245253 1016357650 2432512752 2827695639 188381713 2400103492 2347323185 2511553764 2499765965 307234391 590625451 810715960 3341499273 3904425826 257766917 2585041657 255 362436" option to reproduce the execution
0.58/0.65	c #vars 32912
0.58/0.65	c #constraints 109848
1.69/1.72	c Solving starts ...
1.69/1.72	c ============================[ Search Statistics ]============================
1.69/1.72	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.69/1.72	c       |         |          |          |    Limit     GC | Var      | Constra 
1.69/1.72	c =============================================================================
1.79/1.87	c  0.0s |       0 |        0 |        0 |    33716      0 |    16065 |        0
2.09/2.15	c  0.3s |       1 |      148 |      100 |    33716      0 |    16065 |    19000
2.39/2.48	c  0.6s |       2 |      413 |      250 |    37088      0 |    16065 |    19000
2.99/3.03	c  1.2s |       3 |      963 |      475 |    40797      0 |    16223 |    19546
3.99/4.03	c  2.2s |       4 |     1490 |      813 |    44877      0 |    16223 |    19546
5.50/5.53	c  3.7s |       5 |     2207 |     1320 |    49365      0 |    16223 |    19546
7.49/7.58	c  5.7s |       6 |     3336 |     2081 |    59733      0 |    16223 |    19546
9.69/9.79	c  7.9s |       6 |     4440 |     2881 |    59733      0 |    16223 |    19546
10.69/10.78	c  8.9s |       7 |     4943 |     3223 |    65707      0 |    16223 |    19546
12.89/12.99	c 11.1s |       7 |     6027 |     4023 |    65707      0 |    16223 |    19546
15.19/15.28	c 13.4s |       7 |     7074 |     4823 |    65707      0 |    16223 |    19546
15.49/15.59	c 13.7s |       8 |     7230 |     4936 |    72278      0 |    16223 |    19546
17.79/17.81	c 15.9s |       8 |     8589 |     5836 |    72278      0 |    16223 |    19546
19.89/19.96	c 18.1s |       8 |     9775 |     6736 |    72278      0 |    16223 |    19546
21.89/21.99	c 20.1s |       8 |    10697 |     7436 |    72278      0 |    16223 |    19546
22.09/22.18	c 20.3s |       9 |    10781 |     7506 |    79506      0 |    16223 |    19546
24.39/24.41	c 22.5s |       9 |    11999 |     8406 |    79506      0 |    16223 |    19546
26.49/26.59	c 24.7s |       9 |    13063 |     9206 |    79506      0 |    16229 |    19568
28.69/28.73	c 26.9s |       9 |    14193 |    10106 |    79506      0 |    16229 |    19568
30.79/30.83	c 29.0s |       9 |    15240 |    10906 |    79506      0 |    16229 |    19568
32.08/32.19	c 30.3s |      10 |    15763 |    11361 |    87457      0 |    16229 |    19568
34.38/34.46	c 32.6s |      10 |    16658 |    12061 |    87457      0 |    16229 |    19568
36.58/36.66	c 34.8s |      10 |    17552 |    12761 |    87457      0 |    16229 |    19568
38.68/38.72	c 36.9s |      10 |    18396 |    13461 |    87457      0 |    16229 |    19568
41.08/41.11	c 39.2s |      10 |    19263 |    14161 |    87457      0 |    16229 |    19568
43.08/43.18	c 41.3s |      10 |    20145 |    14861 |    87457      0 |    16229 |    19568
45.28/45.39	c 43.5s |      10 |    21001 |    15561 |    87457      0 |    16229 |    19568
47.39/47.41	c 45.5s |      10 |    21743 |    16161 |    87457      0 |    16229 |    19568
49.49/49.55	c 47.7s |      10 |    22462 |    16761 |    87457      0 |    16229 |    19568
50.78/50.87	c 49.0s |      11 |    22892 |    17144 |    96203      0 |    16229 |    19568
52.98/53.00	c 51.1s |      11 |    23580 |    17744 |    96203      0 |    16229 |    19568
55.28/55.37	c 53.5s |      11 |    24416 |    18444 |    96203      0 |    16229 |    19568
57.58/57.68	c 55.8s |      11 |    25333 |    19144 |    96203      0 |    16229 |    19568
59.88/59.96	c 58.1s |      11 |    26164 |    19844 |    96203      0 |    16229 |    19568
61.88/61.96	c 60.1s |      11 |    26851 |    20444 |    96203      0 |    16229 |    19568
63.89/64.00	c 62.1s |      11 |    27602 |    21044 |    96203      0 |    16229 |    19568
66.09/66.12	c 64.2s |      11 |    28332 |    21644 |    96203      0 |    16229 |    19568
68.18/68.30	c 66.4s |      11 |    29027 |    22244 |    96203      0 |    16229 |    19568
70.48/70.56	c 68.7s |      11 |    29711 |    22844 |    96203      0 |    16229 |    19568
72.58/72.64	c 70.8s |      11 |    30407 |    23444 |    96203      0 |    16229 |    19568
74.78/74.90	c 73.0s |      11 |    31088 |    24044 |    96203      0 |    16229 |    19568
76.98/77.05	c 75.2s |      11 |    31998 |    24744 |    96203      0 |    16229 |    19568
79.18/79.22	c 77.3s |      11 |    32970 |    25544 |    96203      0 |    16229 |    19568
80.08/80.15	c 78.3s |      12 |    33287 |    25819 |   105824      0 |    16229 |    19568
82.48/82.51	c 80.6s |      12 |    34121 |    26419 |   105824      0 |    16229 |    19568
84.58/84.67	c 82.8s |      12 |    34896 |    27019 |   105824      0 |    16229 |    19568
86.98/87.04	c 85.2s |      12 |    35762 |    27719 |   105824      0 |    16229 |    19568
89.18/89.29	c 87.4s |      12 |    36526 |    28319 |   105824      0 |    16229 |    19568
91.28/91.35	c 89.5s |      12 |    37261 |    28919 |   105824      0 |    16229 |    19568
93.27/93.35	c 91.5s |      12 |    37979 |    29519 |   105824      0 |    16229 |    19568
95.68/95.78	c 93.9s |      12 |    38697 |    30119 |   105824      0 |    16229 |    19568
97.77/97.88	c 96.0s |      12 |    39300 |    30619 |   105824      0 |    16229 |    19568
99.87/99.94	c 98.1s |      12 |    40014 |    31119 |   105824      0 |    16229 |    19568
102.17/102.24	c  100s |      12 |    40818 |    31719 |   105824      0 |    16229 |    19568
104.37/104.44	c  102s |      12 |    41640 |    32319 |   105824      0 |    16229 |    19568
106.57/106.61	c  104s |      12 |    42402 |    32919 |   105824      0 |    16229 |    19568
108.67/108.75	c  106s |      12 |    43045 |    33419 |   105824      0 |    16229 |    19568
110.77/110.87	c  108s |      12 |    43659 |    33919 |   105824      0 |    16229 |    19568
112.87/112.91	c  111s |      12 |    44365 |    34519 |   105824      0 |    16229 |    19568
115.17/115.25	c  113s |      12 |    45109 |    35119 |   105824      0 |    16229 |    19568
117.27/117.35	c  115s |      12 |    45699 |    35619 |   105824      0 |    16229 |    19568
119.47/119.59	c  117s |      12 |    46300 |    36119 |   105824      0 |    16229 |    19568
121.77/121.82	c  119s |      12 |    46906 |    36619 |   105824      0 |    16229 |    19568
123.97/124.00	c  122s |      12 |    47536 |    37119 |   105824      0 |    16229 |    19568
126.07/126.12	c  124s |      12 |    48141 |    37619 |   105824      0 |    16229 |    19568
128.07/128.16	c  126s |      12 |    48777 |    38119 |   105824      0 |    16229 |    19568
130.37/130.45	c  128s |      12 |    49403 |    38619 |   116407      0 |    16229 |    19568
131.37/131.41	c  129s |      13 |    49658 |    38832 |   116407      0 |    16229 |    19568
133.57/133.63	c  131s |      13 |    50323 |    39332 |   116407      0 |    16229 |    19568
136.07/136.12	c  134s |      13 |    50932 |    39832 |   116407      0 |    16229 |    19568
138.27/138.31	c  136s |      13 |    51552 |    40332 |   116407      0 |    16229 |    19568
140.37/140.41	c  138s |      13 |    52181 |    40832 |   116407      0 |    16229 |    19568
142.37/142.47	c  140s |      13 |    52777 |    41332 |   116407      0 |    16229 |    19568
144.47/144.50	c  142s |      13 |    53571 |    41932 |   116407      0 |    16229 |    19568
146.87/146.99	c  145s |      13 |    54293 |    42532 |   116407      0 |    16229 |    19568
149.07/149.14	c  147s |      13 |    54861 |    43032 |   116407      0 |    16229 |    19568
151.07/151.19	c  149s |      13 |    55498 |    43532 |   116407      0 |    16229 |    19568
153.16/153.29	c  151s |      13 |    56134 |    44032 |   116407      0 |    16229 |    19568
155.46/155.58	c  153s |      13 |    56756 |    44532 |   116407      0 |    16229 |    19568
157.86/157.94	c  156s |      13 |    57498 |    45132 |   116407      0 |    16229 |    19568
160.16/160.25	c  158s |      13 |    58150 |    45632 |   116407      0 |    16229 |    19568
162.66/162.73	c  160s |      13 |    58778 |    46132 |   116407      0 |    16229 |    19568
164.97/165.04	c  163s |      13 |    59366 |    46632 |   116407      0 |    16229 |    19568
167.06/167.14	c  165s |      13 |    59842 |    47032 |   116407      0 |    16229 |    19568
169.06/169.17	c  167s |      13 |    60314 |    47432 |   116407      0 |    16229 |    19568
171.16/171.24	c  169s |      13 |    60763 |    47832 |   116407      0 |    16229 |    19568
173.16/173.27	c  171s |      13 |    61268 |    48232 |   116407      0 |    16229 |    19568
175.26/175.31	c  173s |      13 |    61738 |    48632 |   116407      0 |    16229 |    19568
177.56/177.60	c  175s |      13 |    62231 |    49032 |   116407      0 |    16229 |    19568
179.56/179.67	c  177s |      13 |    62721 |    49432 |   116407      0 |    16229 |    19568
182.06/182.19	c  180s |      13 |    63277 |    49932 |   116407      0 |    16229 |    19568
184.16/184.20	c  182s |      13 |    63776 |    50332 |   116407      0 |    16229 |    19568
186.36/186.49	c  184s |      13 |    64251 |    50732 |   116407      0 |    16229 |    19568
188.86/188.96	c  187s |      13 |    64806 |    51232 |   116407      0 |    16229 |    19568
191.06/191.18	c  189s |      13 |    65253 |    51632 |   116407      0 |    16229 |    19568
193.36/193.40	c  191s |      13 |    65722 |    52032 |   116407      0 |    16229 |    19568
195.76/195.83	c  193s |      13 |    66375 |    52532 |   116407      0 |    16229 |    19568
197.86/197.93	c  196s |      13 |    66862 |    52932 |   116407      0 |    16229 |    19568
200.36/200.47	c  198s |      13 |    67438 |    53432 |   116407      0 |    16229 |    19568
202.46/202.54	c  200s |      13 |    67902 |    53832 |   116407      0 |    16229 |    19568
204.56/204.69	c  202s |      13 |    68351 |    54232 |   116407      0 |    16229 |    19568
206.76/206.81	c  204s |      13 |    68818 |    54632 |   116407      0 |    16229 |    19568
208.86/208.98	c  207s |      13 |    69447 |    55132 |   116407      0 |    16229 |    19568
211.35/211.49	c  209s |      13 |    70047 |    55632 |   116407      0 |    16229 |    19568
213.46/213.57	c  211s |      13 |    70694 |    56132 |   116407      0 |    16229 |    19568
215.85/215.95	c  214s |      13 |    71265 |    56632 |   116407      0 |    16229 |    19568
217.86/217.99	c  216s |      13 |    71873 |    57132 |   116407      0 |    16229 |    19568
220.15/220.25	c  218s |      13 |    72443 |    57632 |   116407      0 |    16229 |    19568
222.65/222.73	c  220s |      13 |    73039 |    58132 |   128048      0 |    16229 |    19568
223.75/223.81	c  221s |      14 |    73295 |    58352 |   128048      0 |    16229 |    19568
226.15/226.29	c  224s |      14 |    73817 |    58752 |   128048      0 |    16229 |    19568
228.55/228.66	c  226s |      14 |    74457 |    59252 |   128048      0 |    16229 |    19568
230.96/231.02	c  229s |      14 |    75088 |    59752 |   128048      0 |    16229 |    19568
233.45/233.56	c  231s |      14 |    75659 |    60252 |   128048      0 |    16229 |    19568
235.55/235.65	c  233s |      14 |    76102 |    60652 |   128048      0 |    16229 |    19568
237.95/238.07	c  236s |      14 |    76695 |    61152 |   128048      0 |    16229 |    19568
240.05/240.12	c  238s |      14 |    77172 |    61552 |   128048      0 |    16229 |    19568
242.25/242.33	c  240s |      14 |    77637 |    61952 |   128048      0 |    16229 |    19568
244.75/244.85	c  242s |      14 |    78110 |    62352 |   128048      0 |    16229 |    19568
247.05/247.19	c  245s |      14 |    78597 |    62752 |   128048      0 |    16229 |    19568
249.45/249.58	c  247s |      14 |    79076 |    63152 |   128048      0 |    16229 |    19568
251.65/251.77	c  249s |      14 |    79672 |    63652 |   128048      0 |    16229 |    19568
253.75/253.81	c  251s |      14 |    80244 |    64052 |   128048      0 |    16229 |    19568
256.26/256.34	c  254s |      14 |    80861 |    64552 |   128048      0 |    16229 |    19568
258.35/258.41	c  256s |      14 |    81332 |    64952 |   128048      0 |    16229 |    19568
260.45/260.59	c  258s |      14 |    81807 |    65352 |   128048      0 |    16229 |    19568
262.65/262.71	c  260s |      14 |    82304 |    65752 |   128048      0 |    16229 |    19568
264.95/265.08	c  263s |      14 |    82933 |    66252 |   128048      0 |    16229 |    19568
267.25/267.35	c  265s |      14 |    83410 |    66652 |   128048      0 |    16229 |    19568
269.45/269.51	c  267s |      14 |    83888 |    67052 |   128048      0 |    16229 |    19568
271.65/271.70	c  269s |      14 |    84356 |    67452 |   128048      0 |    16229 |    19568
273.95/274.05	c  272s |      14 |    84947 |    67952 |   128048      0 |    16229 |    19568
276.35/276.46	c  274s |      14 |    85494 |    68352 |   128048      0 |    16237 |    19596
278.84/278.95	c  277s |      14 |    85992 |    68752 |   128048      0 |    16237 |    19596
281.24/281.31	c  279s |      14 |    86452 |    69152 |   128048      0 |    16237 |    19596
283.34/283.47	c  281s |      14 |    86801 |    69452 |   128048      0 |    16273 |    19719
285.84/285.90	c  284s |      14 |    87310 |    69852 |   128048      0 |    16273 |    19719
288.34/288.41	c  286s |      14 |    87772 |    70252 |   128048      0 |    16273 |    19719
290.94/291.02	c  289s |      14 |    88265 |    70652 |   128048      0 |    16273 |    19719
293.34/293.47	c  291s |      14 |    88722 |    71052 |   128048      0 |    16273 |    19719
295.64/295.77	c  293s |      14 |    89196 |    71452 |   128048      0 |    16273 |    19719
298.24/298.37	c  296s |      14 |    89662 |    71852 |   128048      0 |    16273 |    19719
300.84/300.93	c  299s |      14 |    90144 |    72252 |   128048      0 |    16273 |    19719
303.44/303.52	c  301s |      14 |    90658 |    72652 |   128048      0 |    16273 |    19719
305.75/305.88	c  304s |      14 |    91141 |    73052 |   128048      0 |    16273 |    19719
308.44/308.51	c  306s |      14 |    91587 |    73452 |   128048      0 |    16273 |    19719
310.84/310.96	c  309s |      14 |    92034 |    73852 |   128048      0 |    16273 |    19719
313.14/313.24	c  311s |      14 |    92527 |    74252 |   128048      0 |    16273 |    19719
315.44/315.58	c  313s |      14 |    92970 |    74652 |   128048      0 |    16273 |    19719
317.94/318.02	c  316s |      14 |    93412 |    75052 |   128048      0 |    16273 |    19719
320.34/320.45	c  318s |      14 |    93864 |    75452 |   128048      0 |    16273 |    19719
322.74/322.89	c  321s |      14 |    94332 |    75852 |   128048      0 |    16273 |    19719
325.54/325.62	c  323s |      14 |    94812 |    76252 |   128048      0 |    16273 |    19719
328.14/328.21	c  326s |      14 |    95279 |    76652 |   128048      0 |    16273 |    19719
330.54/330.60	c  328s |      14 |    95757 |    77052 |   128048      0 |    16273 |    19719
332.94/333.03	c  331s |      14 |    96221 |    77452 |   128048      0 |    16273 |    19719
335.04/335.16	c  333s |      14 |    96536 |    77752 |   128048      0 |    16273 |    19719
337.43/337.54	c  335s |      14 |    97025 |    78152 |   128048      0 |    16273 |    19719
339.94/340.03	c  338s |      14 |    97469 |    78552 |   128048      0 |    16273 |    19719
342.53/342.65	c  340s |      14 |    97949 |    78952 |   128048      0 |    16273 |    19719
344.63/344.75	c  342s |      14 |    98287 |    79252 |   128048      0 |    16273 |    19719
346.83/346.92	c  345s |      14 |    98614 |    79552 |   128048      0 |    16273 |    19719
349.33/349.48	c  347s |      14 |    99058 |    79952 |   128048      0 |    16273 |    19719
351.83/351.99	c  350s |      14 |    99533 |    80352 |   128048      0 |    16273 |    19719
354.24/354.33	c  352s |      14 |    99975 |    80752 |   128048      0 |    16273 |    19719
356.73/356.86	c  354s |      14 |   100442 |    81152 |   128048      0 |    16273 |    19719
359.13/359.23	c  357s |      14 |   100895 |    81552 |   128048      0 |    16273 |    19719
361.33/361.43	c  359s |      14 |   101382 |    81952 |   128048      0 |    16273 |    19719
363.93/364.00	c  362s |      14 |   101845 |    82352 |   128048      0 |    16273 |    19719
365.93/366.05	c  364s |      14 |   102305 |    82752 |   128048      0 |    16273 |    19719
368.03/368.14	c  366s |      14 |   102766 |    83152 |   128048      0 |    16273 |    19719
370.23/370.34	c  368s |      14 |   103098 |    83452 |   128048      0 |    16273 |    19719
372.94/373.02	c  371s |      14 |   103533 |    83852 |   128048      0 |    16273 |    19719
375.04/375.12	c  373s |      14 |   103857 |    84152 |   128048      0 |    16273 |    19719
377.24/377.39	c  375s |      14 |   104352 |    84552 |   128048      0 |    16273 |    19719
379.33/379.41	c  377s |      14 |   104701 |    84852 |   128048      0 |    16273 |    19719
381.33/381.45	c  379s |      14 |   105031 |    85152 |   128048      0 |    16273 |    19719
384.03/384.10	c  382s |      14 |   105520 |    85552 |   128048      0 |    16273 |    19719
386.03/386.11	c  384s |      14 |   105878 |    85852 |   128048      0 |    16273 |    19719
388.23/388.32	c  386s |      14 |   106367 |    86252 |   128048      0 |    16273 |    19719
390.23/390.37	c  388s |      14 |   106856 |    86652 |   128048      0 |    16273 |    19719
392.43/392.56	c  390s |      14 |   107319 |    87052 |   140853      0 |    16273 |    19719
394.83/394.99	c  393s |      14 |   107788 |    87452 |   140853      0 |    16273 |    19719
395.83/395.93	c  394s |      15 |   107986 |    87632 |   140853      0 |    16273 |    19719
398.33/398.44	c  396s |      15 |   108351 |    87932 |   140853      0 |    16273 |    19719
400.63/400.71	c  398s |      15 |   108865 |    88332 |   140853      0 |    16273 |    19719
403.02/403.18	c  401s |      15 |   109356 |    88732 |   140853      0 |    16273 |    19719
405.72/405.84	c  403s |      15 |   109835 |    89132 |   140853      0 |    16273 |    19719
407.82/407.93	c  406s |      15 |   110196 |    89432 |   140853      0 |    16273 |    19719
410.12/410.20	c  408s |      15 |   110653 |    89832 |   140853      0 |    16273 |    19719
412.32/412.46	c  410s |      15 |   111129 |    90232 |   140853      0 |    16273 |    19719
414.32/414.48	c  412s |      15 |   111595 |    90632 |   140853      0 |    16273 |    19719
416.62/416.76	c  414s |      15 |   112071 |    91032 |   140853      0 |    16273 |    19719
419.13/419.21	c  417s |      15 |   112528 |    91432 |   140853      0 |    16273 |    19719
421.72/421.85	c  419s |      15 |   112961 |    91832 |   140853      0 |    16273 |    19719
424.12/424.25	c  422s |      15 |   113409 |    92232 |   140853      0 |    16273 |    19719
426.42/426.53	c  424s |      15 |   113995 |    92732 |   140853      0 |    16273 |    19719
428.82/428.99	c  427s |      15 |   114496 |    93132 |   140853      0 |    16273 |    19719
430.92/431.06	c  429s |      15 |   114980 |    93532 |   140853      0 |    16273 |    19719
433.52/433.62	c  431s |      15 |   115481 |    93932 |   140853      0 |    16273 |    19719
435.82/435.95	c  434s |      15 |   115928 |    94332 |   140853      0 |    16273 |    19719
438.02/438.16	c  436s |      15 |   116391 |    94732 |   140853      0 |    16273 |    19719
440.22/440.36	c  438s |      15 |   116847 |    95132 |   140853      0 |    16273 |    19719
442.52/442.69	c  440s |      15 |   117309 |    95532 |   140853      0 |    16273 |    19719
445.02/445.13	c  443s |      15 |   117938 |    96032 |   140853      0 |    16273 |    19719
447.02/447.18	c  445s |      15 |   118425 |    96432 |   140853      0 |    16273 |    19719
449.32/449.49	c  447s |      15 |   118917 |    96832 |   140853      0 |    16273 |    19719
451.82/451.98	c  450s |      15 |   119402 |    97232 |   140853      0 |    16273 |    19719
454.12/454.21	c  452s |      15 |   119869 |    97632 |   140853      0 |    16273 |    19719
456.32/456.42	c  454s |      15 |   120332 |    98032 |   140853      0 |    16273 |    19719
458.62/458.74	c  456s |      15 |   120812 |    98432 |   140853      0 |    16273 |    19719
460.92/461.09	c  459s |      15 |   121274 |    98832 |   140853      0 |    16273 |    19719
463.41/463.56	c  461s |      15 |   121718 |    99232 |   140853      0 |    16273 |    19719
465.41/465.57	c  463s |      15 |   122074 |    99532 |   140853      0 |    16273 |    19719
467.52/467.63	c  465s |      15 |   122416 |    99832 |   140853      0 |    16273 |    19719
470.01/470.13	c  468s |      15 |   122885 |   100232 |   140853      0 |    16273 |    19719
472.11/472.22	c  470s |      15 |   123217 |   100532 |   140853      0 |    16273 |    19719
474.12/474.25	c  472s |      15 |   123557 |   100832 |   140853      0 |    16273 |    19719
476.22/476.39	c  474s |      15 |   123921 |   101132 |   140853      0 |    16273 |    19719
478.52/478.63	c  476s |      15 |   124262 |   101432 |   140853      0 |    16273 |    19719
480.62/480.76	c  478s |      15 |   124601 |   101732 |   140853      0 |    16273 |    19719
483.11/483.22	c  481s |      15 |   124973 |   102032 |   140853      0 |    16273 |    19719
485.51/485.63	c  483s |      15 |   125430 |   102432 |   140853      0 |    16273 |    19719
488.01/488.11	c  486s |      15 |   125870 |   102832 |   140853      0 |    16273 |    19719
490.21/490.39	c  488s |      15 |   126204 |   103132 |   140853      0 |    16273 |    19719
492.41/492.51	c  490s |      15 |   126537 |   103432 |   140853      0 |    16273 |    19719
494.61/494.79	c  492s |      15 |   126916 |   103732 |   140853      0 |    16273 |    19719
496.91/497.09	c  495s |      15 |   127244 |   104032 |   140853      0 |    16273 |    19719
499.51/499.68	c  497s |      15 |   127688 |   104432 |   140853      0 |    16273 |    19719
501.61/501.75	c  499s |      15 |   128038 |   104732 |   140853      0 |    16273 |    19719
504.11/504.20	c  502s |      15 |   128504 |   105132 |   140853      0 |    16273 |    19719
506.81/506.97	c  505s |      15 |   128971 |   105532 |   140853      0 |    16273 |    19719
508.91/509.00	c  507s |      15 |   129298 |   105832 |   140853      0 |    16273 |    19719
511.01/511.11	c  509s |      15 |   129640 |   106132 |   140853      0 |    16273 |    19719
513.01/513.16	c  511s |      15 |   130002 |   106432 |   140853      0 |    16273 |    19719
515.60/515.79	c  513s |      15 |   130463 |   106832 |   140853      0 |    16273 |    19719
517.80/517.91	c  516s |      15 |   130789 |   107132 |   140853      0 |    16273 |    19719
520.00/520.14	c  518s |      15 |   131116 |   107432 |   140853      0 |    16273 |    19719
522.41/522.53	c  520s |      15 |   131579 |   107832 |   140853      0 |    16273 |    19719
525.10/525.20	c  523s |      15 |   132046 |   108232 |   140853      0 |    16273 |    19719
527.60/527.75	c  525s |      15 |   132503 |   108632 |   140853      0 |    16273 |    19719
529.70/529.80	c  527s |      15 |   132823 |   108932 |   140853      0 |    16273 |    19719
532.20/532.30	c  530s |      15 |   133262 |   109332 |   140853      0 |    16273 |    19719
534.51/534.61	c  532s |      15 |   133589 |   109632 |   140853      0 |    16273 |    19719
537.10/537.25	c  535s |      15 |   134022 |   110032 |   140853      0 |    16273 |    19719
539.40/539.52	c  537s |      15 |   134370 |   110332 |   140853      0 |    16273 |    19719
541.61/541.72	c  539s |      15 |   134719 |   110632 |   140853      0 |    16273 |    19719
543.71/543.84	c  541s |      15 |   135065 |   110932 |   140853      0 |    16273 |    19719
545.91/546.04	c  544s |      15 |   135419 |   111232 |   140853      0 |    16273 |    19719
548.21/548.33	c  546s |      15 |   135764 |   111532 |   140853      0 |    16273 |    19719
550.71/550.82	c  548s |      15 |   136199 |   111932 |   140853      0 |    16273 |    19719
552.71/552.89	c  551s |      15 |   136569 |   112232 |   140853      0 |    16273 |    19719
554.81/554.92	c  553s |      15 |   136929 |   112532 |   140853      0 |    16273 |    19719
557.51/557.70	c  555s |      15 |   137409 |   112932 |   140853      0 |    16273 |    19719
560.01/560.15	c  558s |      15 |   137752 |   113232 |   140853      0 |    16273 |    19719
562.61/562.72	c  560s |      15 |   138080 |   113532 |   140853      0 |    16273 |    19719
564.91/565.08	c  563s |      15 |   138436 |   113832 |   140853      0 |    16273 |    19719
567.21/567.39	c  565s |      15 |   138758 |   114132 |   140853      0 |    16273 |    19719
569.61/569.80	c  567s |      15 |   139084 |   114432 |   140853      0 |    16273 |    19719
571.91/572.01	c  570s |      15 |   139416 |   114732 |   140853      0 |    16273 |    19719
574.40/574.50	c  572s |      15 |   139737 |   115032 |   140853      0 |    16273 |    19719
576.90/577.00	c  575s |      15 |   140066 |   115332 |   140853      0 |    16273 |    19719
579.30/579.42	c  577s |      15 |   140402 |   115632 |   140853      0 |    16273 |    19719
581.91/582.04	c  580s |      15 |   140739 |   115932 |   140853      0 |    16273 |    19719
584.11/584.29	c  582s |      15 |   141080 |   116232 |   140853      0 |    16273 |    19719
586.31/586.41	c  584s |      15 |   141448 |   116532 |   140853      0 |    16273 |    19719
588.70/588.82	c  586s |      15 |   141817 |   116832 |   140853      0 |    16273 |    19719
591.00/591.11	c  589s |      15 |   142167 |   117132 |   140853      0 |    16273 |    19719
593.50/593.63	c  591s |      15 |   142644 |   117532 |   140853      0 |    16273 |    19719
596.11/596.30	c  594s |      15 |   143090 |   117932 |   140853      0 |    16273 |    19719
598.20/598.33	c  596s |      15 |   143454 |   118232 |   140853      0 |    16273 |    19719
600.90/601.01	c  599s |      15 |   143896 |   118632 |   140853      0 |    16273 |    19719
603.00/603.18	c  601s |      15 |   144264 |   118932 |   140853      0 |    16273 |    19719
605.50/605.67	c  603s |      15 |   144710 |   119332 |   140853      0 |    16273 |    19719
608.21/608.31	c  606s |      15 |   145160 |   119732 |   140853      0 |    16273 |    19719
610.60/610.74	c  608s |      15 |   145621 |   120132 |   140853      0 |    16273 |    19719
612.80/612.92	c  611s |      15 |   145987 |   120432 |   140853      0 |    16273 |    19719
615.10/615.21	c  613s |      15 |   146343 |   120732 |   140853      0 |    16273 |    19719
617.30/617.40	c  615s |      15 |   146681 |   121032 |   140853      0 |    16273 |    19719
619.50/619.69	c  617s |      15 |   147191 |   121432 |   140853      0 |    16273 |    19719
621.50/621.69	c  619s |      15 |   147544 |   121732 |   140853      0 |    16273 |    19719
624.00/624.15	c  622s |      15 |   148044 |   122132 |   140853      0 |    16273 |    19719
626.40/626.58	c  624s |      15 |   148492 |   122532 |   140853      0 |    16273 |    19719
629.10/629.28	c  627s |      15 |   148863 |   122832 |   140853      0 |    16273 |    19719
631.60/631.70	c  629s |      15 |   149213 |   123132 |   140853      0 |    16273 |    19719
634.29/634.41	c  632s |      15 |   149555 |   123432 |   140853      0 |    16273 |    19719
636.59/636.79	c  634s |      15 |   149918 |   123732 |   140853      0 |    16273 |    19719
638.89/639.09	c  637s |      15 |   150296 |   124032 |   140853      0 |    16273 |    19719
641.39/641.56	c  639s |      15 |   150636 |   124332 |   140853      0 |    16273 |    19719
643.99/644.14	c  642s |      15 |   150972 |   124632 |   140853      0 |    16273 |    19719
645.99/646.15	c  644s |      15 |   151196 |   124832 |   140853      0 |    16273 |    19719
648.49/648.69	c  646s |      15 |   151534 |   125132 |   140853      0 |    16273 |    19719
651.10/651.28	c  649s |      15 |   151880 |   125432 |   140853      0 |    16273 |    19719
653.49/653.67	c  651s |      15 |   152243 |   125732 |   140853      0 |    16273 |    19719
655.69/655.83	c  653s |      15 |   152606 |   126032 |   140853      0 |    16273 |    19719
657.99/658.13	c  656s |      15 |   152930 |   126332 |   140853      0 |    16273 |    19719
660.00/660.14	c  658s |      15 |   153285 |   126632 |   140853      0 |    16273 |    19719
662.20/662.32	c  660s |      15 |   153664 |   126932 |   140853      0 |    16273 |    19719
664.59/664.70	c  662s |      15 |   154022 |   127232 |   140853      0 |    16273 |    19719
667.19/667.39	c  665s |      15 |   154358 |   127532 |   140853      0 |    16273 |    19719
669.99/670.16	c  668s |      15 |   154678 |   127832 |   140853      0 |    16273 |    19719
672.19/672.36	c  670s |      15 |   155040 |   128132 |   140853      0 |    16273 |    19719
674.79/674.95	c  673s |      15 |   155374 |   128432 |   140853      0 |    16273 |    19719
677.19/677.30	c  675s |      15 |   155716 |   128732 |   140853      0 |    16273 |    19719
679.39/679.57	c  677s |      15 |   156053 |   129032 |   140853      0 |    16273 |    19719
681.59/681.75	c  679s |      15 |   156416 |   129332 |   140853      0 |    16273 |    19719
683.59/683.78	c  681s |      15 |   156768 |   129632 |   140853      0 |    16273 |    19719
685.89/686.09	c  684s |      15 |   157112 |   129932 |   140853      0 |    16273 |    19719
688.39/688.58	c  686s |      15 |   157600 |   130332 |   140853      0 |    16273 |    19719
690.59/690.71	c  688s |      15 |   157975 |   130632 |   140853      0 |    16273 |    19719
692.59/692.75	c  690s |      15 |   158347 |   130932 |   154939      0 |    16273 |    19719
694.79/694.97	c  693s |      15 |   158742 |   131232 |   154939      0 |    16273 |    19719
697.09/697.21	c  695s |      15 |   159080 |   131532 |   154939      0 |    16273 |    19719
697.19/697.39	c  695s |      16 |   159101 |   131552 |   154939      0 |    16273 |    19719
700.38/700.55	c  698s |      16 |   159334 |   131752 |   154939      0 |    16273 |    19719
702.68/702.88	c  701s |      16 |   159560 |   131952 |   154939      0 |    16273 |    19719
704.88/705.10	c  703s |      16 |   159779 |   132152 |   154939      0 |    16273 |    19719
707.08/707.20	c  705s |      16 |   160009 |   132352 |   154939      0 |    16273 |    19719
709.88/710.07	c  708s |      16 |   160332 |   132652 |   154939      0 |    16273 |    19719
712.08/712.20	c  710s |      16 |   160558 |   132852 |   154939      0 |    16273 |    19719
714.28/714.48	c  712s |      16 |   160805 |   133052 |   154939      0 |    16273 |    19719
716.98/717.19	c  715s |      16 |   161178 |   133352 |   154939      0 |    16273 |    19719
719.18/719.32	c  717s |      16 |   161406 |   133552 |   154939      0 |    16273 |    19719
721.48/721.61	c  719s |      16 |   161628 |   133752 |   154939      0 |    16273 |    19719
723.48/723.65	c  721s |      16 |   161843 |   133952 |   154939      0 |    16273 |    19719
726.28/726.41	c  724s |      16 |   162189 |   134252 |   154939      0 |    16273 |    19719
729.28/729.45	c  727s |      16 |   162559 |   134552 |   154939      0 |    16273 |    19719
731.27/731.48	c  729s |      16 |   162794 |   134752 |   154939      0 |    16273 |    19719
734.27/734.49	c  732s |      16 |   163122 |   135052 |   154939      0 |    16273 |    19719
737.27/737.47	c  735s |      16 |   163457 |   135352 |   154939      0 |    16273 |    19719
740.18/740.34	c  738s |      16 |   163797 |   135652 |   154939      0 |    16273 |    19719
742.17/742.36	c  740s |      16 |   164035 |   135852 |   154939      0 |    16273 |    19719
744.17/744.37	c  742s |      16 |   164251 |   136052 |   154939      0 |    16273 |    19719
746.37/746.51	c  744s |      16 |   164491 |   136252 |   154939      0 |    16273 |    19719
749.08/749.26	c  747s |      16 |   164858 |   136552 |   154939      0 |    16273 |    19719
751.77/751.97	c  750s |      16 |   165241 |   136852 |   154939      0 |    16273 |    19719
754.67/754.82	c  752s |      16 |   165573 |   137152 |   154939      0 |    16273 |    19719
757.17/757.39	c  755s |      16 |   165961 |   137452 |   154939      0 |    16273 |    19719
760.17/760.32	c  758s |      16 |   166320 |   137752 |   154939      0 |    16273 |    19719
763.17/763.33	c  761s |      16 |   166654 |   138052 |   154939      0 |    16273 |    19719
766.07/766.23	c  764s |      16 |   167023 |   138352 |   154939      0 |    16273 |    19719
768.67/768.85	c  766s |      16 |   167366 |   138652 |   154939      0 |    16273 |    19719
770.86/771.10	c  769s |      16 |   167604 |   138852 |   154939      0 |    16273 |    19719
773.17/773.37	c  771s |      16 |   167831 |   139052 |   154939      0 |    16273 |    19719
775.26/775.49	c  773s |      16 |   168075 |   139252 |   154939      0 |    16273 |    19719
778.16/778.30	c  776s |      16 |   168422 |   139552 |   154939      0 |    16273 |    19719
781.26/781.41	c  779s |      16 |   168747 |   139852 |   154939      0 |    16273 |    19719
783.26/783.41	c  781s |      16 |   168968 |   140052 |   154939      0 |    16273 |    19719
786.26/786.43	c  784s |      16 |   169300 |   140352 |   154939      0 |    16273 |    19719
789.26/789.42	c  787s |      16 |   169654 |   140652 |   154939      0 |    16273 |    19719
791.75/791.98	c  790s |      16 |   170002 |   140952 |   154939      0 |    16273 |    19719
794.45/794.60	c  792s |      16 |   170341 |   141252 |   154939      0 |    16273 |    19719
797.05/797.28	c  795s |      16 |   170679 |   141552 |   154939      0 |    16273 |    19719
799.75/799.93	c  798s |      16 |   171019 |   141852 |   154939      0 |    16273 |    19719
802.25/802.47	c  800s |      16 |   171372 |   142152 |   154939      0 |    16273 |    19719
804.95/805.19	c  803s |      16 |   171700 |   142452 |   154939      0 |    16273 |    19719
807.75/807.90	c  806s |      16 |   172043 |   142752 |   154939      0 |    16273 |    19719
809.75/809.95	c  808s |      16 |   172274 |   142952 |   154939      0 |    16273 |    19719
812.65/812.84	c  810s |      16 |   172623 |   143252 |   154939      0 |    16273 |    19719
815.45/815.60	c  813s |      16 |   172963 |   143552 |   154939      0 |    16273 |    19719
817.95/818.10	c  816s |      16 |   173304 |   143852 |   154939      0 |    16273 |    19719
820.65/820.84	c  818s |      16 |   173646 |   144152 |   154939      0 |    16273 |    19719
823.55/823.73	c  821s |      16 |   173993 |   144452 |   154939      0 |    16273 |    19719
826.65/826.82	c  824s |      16 |   174334 |   144752 |   154939      0 |    16273 |    19719
829.35/829.55	c  827s |      16 |   174680 |   145052 |   154939      0 |    16273 |    19719
832.14/832.30	c  830s |      16 |   175036 |   145352 |   154939      0 |    16273 |    19719
834.85/835.09	c  833s |      16 |   175364 |   145652 |   154939      0 |    16273 |    19719
837.74/837.99	c  836s |      16 |   175690 |   145952 |   154939      0 |    16273 |    19719
839.94/840.14	c  838s |      16 |   175916 |   146152 |   154939      0 |    16273 |    19719
842.04/842.28	c  840s |      16 |   176152 |   146352 |   154939      0 |    16273 |    19719
844.94/845.13	c  843s |      16 |   176504 |   146652 |   154939      0 |    16273 |    19719
847.24/847.46	c  845s |      16 |   176841 |   146952 |   154939      0 |    16273 |    19719
849.94/850.19	c  848s |      16 |   177170 |   147252 |   154939      0 |    16273 |    19719
852.74/852.90	c  851s |      16 |   177515 |   147552 |   154939      0 |    16273 |    19719
855.64/855.84	c  853s |      16 |   177855 |   147852 |   154939      0 |    16273 |    19719
857.74/857.90	c  856s |      16 |   178071 |   148052 |   154939      0 |    16273 |    19719
860.23/860.45	c  858s |      16 |   178401 |   148352 |   154939      0 |    16273 |    19719
862.73/862.94	c  861s |      16 |   178775 |   148652 |   154939      0 |    16273 |    19719
865.03/865.23	c  863s |      16 |   178995 |   148852 |   154939      0 |    16273 |    19719
867.63/867.83	c  865s |      16 |   179347 |   149152 |   154939      0 |    16273 |    19719
870.33/870.57	c  868s |      16 |   179686 |   149452 |   154939      0 |    16273 |    19719
873.13/873.40	c  871s |      16 |   180037 |   149752 |   154939      0 |    16273 |    19719
875.93/876.14	c  874s |      16 |   180382 |   150052 |   154939      0 |    16273 |    19719
877.93/878.15	c  876s |      16 |   180617 |   150252 |   154939      0 |    16273 |    19719
880.83/881.01	c  879s |      16 |   180952 |   150552 |   154939      0 |    16273 |    19719
883.63/883.82	c  881s |      16 |   181286 |   150852 |   154939      0 |    16273 |    19719
886.23/886.46	c  884s |      16 |   181607 |   151152 |   154939      0 |    16273 |    19719
889.02/889.27	c  887s |      16 |   181966 |   151452 |   154939      0 |    16273 |    19719
892.12/892.35	c  890s |      16 |   182301 |   151752 |   154939      0 |    16273 |    19719
894.32/894.52	c  892s |      16 |   182514 |   151952 |   154939      0 |    16273 |    19719
896.43/896.62	c  894s |      16 |   182718 |   152152 |   154939      0 |    16273 |    19719
899.12/899.36	c  897s |      16 |   183051 |   152452 |   154939      0 |    16273 |    19719
901.32/901.58	c  899s |      16 |   183378 |   152752 |   154939      0 |    16273 |    19719
903.42/903.66	c  901s |      16 |   183603 |   152952 |   154939      0 |    16273 |    19719
905.82/906.06	c  904s |      16 |   183812 |   153152 |   154939      0 |    16273 |    19719
907.82/908.07	c  906s |      16 |   184026 |   153352 |   154939      0 |    16273 |    19719
910.02/910.23	c  908s |      16 |   184252 |   153552 |   154939      0 |    16273 |    19719
912.22/912.41	c  910s |      16 |   184476 |   153752 |   154939      0 |    16273 |    19719
915.02/915.25	c  913s |      16 |   184803 |   154052 |   154939      0 |    16273 |    19719
918.01/918.25	c  916s |      16 |   185129 |   154352 |   154939      0 |    16273 |    19719
920.21/920.45	c  918s |      16 |   185345 |   154552 |   154939      0 |    16273 |    19719
923.01/923.25	c  921s |      16 |   185680 |   154852 |   154939      0 |    16273 |    19719
925.81/926.06	c  924s |      16 |   186027 |   155152 |   154939      0 |    16273 |    19719
928.71/928.90	c  927s |      16 |   186369 |   155452 |   154939      0 |    16273 |    19719
931.31/931.55	c  929s |      16 |   186709 |   155752 |   154939      0 |    16273 |    19719
933.31/933.56	c  931s |      16 |   186969 |   155952 |   154939      0 |    16273 |    19719
935.30/935.57	c  933s |      16 |   187193 |   156152 |   154939      0 |    16273 |    19719
938.11/938.35	c  936s |      16 |   187534 |   156452 |   154939      0 |    16273 |    19719
940.20/940.44	c  938s |      16 |   187740 |   156652 |   154939      0 |    16273 |    19719
942.20/942.45	c  940s |      16 |   187969 |   156852 |   154939      0 |    16273 |    19719
945.10/945.39	c  943s |      16 |   188290 |   157152 |   154939      0 |    16273 |    19719
947.40/947.65	c  945s |      16 |   188514 |   157352 |   154939      0 |    16273 |    19719
950.40/950.67	c  948s |      16 |   188843 |   157652 |   154939      0 |    16273 |    19719
952.60/952.89	c  951s |      16 |   189062 |   157852 |   154939      0 |    16273 |    19719
955.60/955.81	c  953s |      16 |   189446 |   158152 |   154939      0 |    16273 |    19719
958.40/958.63	c  956s |      16 |   189788 |   158452 |   154939      0 |    16273 |    19719
961.30/961.55	c  959s |      16 |   190125 |   158752 |   154939      0 |    16273 |    19719
963.99/964.24	c  962s |      16 |   190452 |   159052 |   154939      0 |    16273 |    19719
966.70/966.97	c  965s |      16 |   190778 |   159352 |   154939      0 |    16273 |    19719
969.69/969.90	c  968s |      16 |   191127 |   159652 |   154939      0 |    16273 |    19719
971.69/971.99	c  970s |      16 |   191353 |   159852 |   154939      0 |    16273 |    19719
974.79/975.00	c  973s |      16 |   191692 |   160152 |   154939      0 |    16273 |    19719
977.59/977.84	c  975s |      16 |   192033 |   160452 |   154939      0 |    16273 |    19719
980.08/980.39	c  978s |      16 |   192373 |   160752 |   154939      0 |    16273 |    19719
982.09/982.40	c  980s |      16 |   192589 |   160952 |   154939      0 |    16273 |    19719
984.18/984.44	c  982s |      16 |   192817 |   161152 |   154939      0 |    16273 |    19719
986.18/986.46	c  984s |      16 |   193061 |   161352 |   154939      0 |    16273 |    19719
988.58/988.89	c  987s |      16 |   193404 |   161652 |   154939      0 |    16273 |    19719
991.18/991.47	c  989s |      16 |   193766 |   161952 |   154939      0 |    16273 |    19719
994.08/994.37	c  992s |      16 |   194097 |   162252 |   154939      0 |    16273 |    19719
996.58/996.86	c  994s |      16 |   194448 |   162552 |   154939      0 |    16273 |    19719
998.78/999.01	c  997s |      16 |   194681 |   162752 |   154939      0 |    16273 |    19719
1001.57/1001.85	c  999s |      16 |   195009 |   163052 |   154939      0 |    16273 |    19719
1003.97/1004.30	c 1002s |      16 |   195360 |   163352 |   154939      0 |    16273 |    19719
1006.57/1006.82	c 1004s |      16 |   195696 |   163652 |   154939      0 |    16273 |    19719
1008.67/1008.96	c 1007s |      16 |   196078 |   163952 |   154939      0 |    16273 |    19719
1011.07/1011.39	c 1009s |      16 |   196421 |   164252 |   154939      0 |    16273 |    19719
1013.57/1013.89	c 1012s |      16 |   196756 |   164552 |   154939      0 |    16273 |    19719
1016.28/1016.52	c 1014s |      16 |   197086 |   164852 |   154939      0 |    16273 |    19719
1018.57/1018.81	c 1016s |      16 |   197296 |   165052 |   154939      0 |    16273 |    19719
1020.58/1020.89	c 1019s |      16 |   197504 |   165252 |   154939      0 |    16273 |    19719
1022.67/1022.97	c 1021s |      16 |   197728 |   165452 |   154939      0 |    16273 |    19719
1025.37/1025.63	c 1023s |      16 |   198075 |   165752 |   154939      0 |    16273 |    19719
1027.67/1027.99	c 1026s |      16 |   198302 |   165952 |   154939      0 |    16273 |    19719
1030.48/1030.72	c 1028s |      16 |   198637 |   166252 |   154939      0 |    16273 |    19719
1032.57/1032.87	c 1030s |      16 |   198865 |   166452 |   154939      0 |    16273 |    19719
1035.57/1035.83	c 1033s |      16 |   199194 |   166752 |   154939      0 |    16273 |    19719
1038.37/1038.66	c 1036s |      16 |   199521 |   167052 |   154939      0 |    16273 |    19719
1040.67/1040.94	c 1039s |      16 |   199743 |   167252 |   154939      0 |    16273 |    19719
1042.67/1042.98	c 1041s |      16 |   199972 |   167452 |   154939      0 |    16273 |    19719
1044.87/1045.13	c 1043s |      16 |   200188 |   167652 |   154939      0 |    16273 |    19719
1047.46/1047.72	c 1045s |      16 |   200529 |   167952 |   154939      0 |    16273 |    19719
1049.56/1049.80	c 1047s |      16 |   200757 |   168152 |   154939      0 |    16273 |    19719
1052.26/1052.59	c 1050s |      16 |   201090 |   168452 |   154939      0 |    16273 |    19719
1054.96/1055.27	c 1053s |      16 |   201438 |   168752 |   154939      0 |    16273 |    19719
1057.76/1058.00	c 1056s |      16 |   201788 |   169052 |   154939      0 |    16273 |    19719
1059.96/1060.27	c 1058s |      16 |   202011 |   169252 |   154939      0 |    16273 |    19719
1062.26/1062.54	c 1060s |      16 |   202234 |   169452 |   154939      0 |    16273 |    19719
1064.46/1064.71	c 1062s |      16 |   202444 |   169652 |   154939      0 |    16273 |    19719
1067.25/1067.56	c 1065s |      16 |   202776 |   169952 |   154939      0 |    16273 |    19719
1070.16/1070.42	c 1068s |      16 |   203108 |   170252 |   154939      0 |    16273 |    19719
1073.05/1073.38	c 1071s |      16 |   203455 |   170552 |   154939      0 |    16273 |    19719
1075.95/1076.27	c 1074s |      16 |   203793 |   170852 |   154939      0 |    16273 |    19719
1078.86/1079.12	c 1077s |      16 |   204125 |   171152 |   154939      0 |    16273 |    19719
1081.45/1081.75	c 1079s |      16 |   204455 |   171452 |   154939      0 |    16273 |    19719
1083.65/1083.92	c 1082s |      16 |   204682 |   171652 |   154939      0 |    16273 |    19719
1086.45/1086.75	c 1084s |      16 |   204997 |   171952 |   154939      0 |    16273 |    19719
1089.25/1089.53	c 1087s |      16 |   205351 |   172252 |   154939      0 |    16273 |    19719
1091.34/1091.63	c 1089s |      16 |   205561 |   172452 |   154939      0 |    16273 |    19719
1093.44/1093.72	c 1091s |      16 |   205790 |   172652 |   154939      0 |    16273 |    19719
1096.14/1096.44	c 1094s |      16 |   206123 |   172952 |   154939      0 |    16273 |    19719
1098.24/1098.55	c 1096s |      16 |   206345 |   173152 |   154939      0 |    16273 |    19719
1101.14/1101.47	c 1099s |      16 |   206684 |   173452 |   154939      0 |    16273 |    19719
1103.24/1103.54	c 1101s |      16 |   206909 |   173652 |   154939      0 |    16273 |    19719
1105.44/1105.76	c 1103s |      16 |   207128 |   173852 |   154939      0 |    16273 |    19719
1108.44/1108.78	c 1106s |      16 |   207454 |   174152 |   154939      0 |    16273 |    19719
1111.53/1111.86	c 1109s |      16 |   207798 |   174452 |   154939      0 |    16273 |    19719
1113.93/1114.22	c 1112s |      16 |   208029 |   174652 |   154939      0 |    16273 |    19719
1119.23/1119.58	c 1117s |      16 |   208271 |   174852 |   154939      1 |    16273 |    19719
1121.63/1121.90	c 1120s |      16 |   208374 |   174952 |   154939      1 |    16273 |    19719
1123.94/1124.30	c 1122s |      16 |   208769 |   175252 |   154939      1 |    16273 |    19719
1126.24/1126.51	c 1124s |      16 |   209090 |   175552 |   154939      1 |    16273 |    19719
1128.63/1128.94	c 1127s |      16 |   209544 |   175952 |   154939      1 |    16273 |    19719
1131.33/1131.68	c 1129s |      16 |   210005 |   176352 |   154939      1 |    16273 |    19719
1133.43/1133.71	c 1131s |      16 |   210323 |   176652 |   154939      1 |    16273 |    19719
1136.14/1136.45	c 1134s |      16 |   210755 |   177052 |   154939      1 |    16273 |    19719
1138.34/1138.62	c 1136s |      16 |   211067 |   177352 |   154939      1 |    16273 |    19719
1140.33/1140.66	c 1138s |      16 |   211407 |   177652 |   154939      1 |    16273 |    19719
1142.43/1142.72	c 1140s |      16 |   211772 |   177952 |   154939      1 |    16273 |    19719
1144.53/1144.84	c 1142s |      16 |   212109 |   178252 |   154939      1 |    16273 |    19719
1146.62/1146.96	c 1145s |      16 |   212440 |   178552 |   154939      1 |    16273 |    19719
1148.92/1149.21	c 1147s |      16 |   212808 |   178852 |   154939      1 |    16273 |    19719
1151.02/1151.36	c 1149s |      16 |   213128 |   179152 |   154939      1 |    16273 |    19719
1153.12/1153.48	c 1151s |      16 |   213463 |   179452 |   154939      1 |    16273 |    19719
1155.72/1156.04	c 1154s |      16 |   213913 |   179852 |   154939      1 |    16273 |    19719
1158.32/1158.63	c 1156s |      16 |   214382 |   180252 |   154939      1 |    16273 |    19719
1160.41/1160.78	c 1158s |      16 |   214699 |   180552 |   154939      1 |    16273 |    19719
1162.61/1162.94	c 1161s |      16 |   215022 |   180852 |   154939      1 |    16273 |    19719
1165.01/1165.34	c 1163s |      16 |   215366 |   181152 |   154939      1 |    16273 |    19719
1167.11/1167.48	c 1165s |      16 |   215715 |   181452 |   154939      1 |    16273 |    19719
1169.81/1170.14	c 1168s |      16 |   216205 |   181852 |   154939      1 |    16273 |    19719
1171.91/1172.28	c 1170s |      16 |   216528 |   182152 |   154939      1 |    16273 |    19719
1174.21/1174.56	c 1172s |      16 |   216877 |   182452 |   154939      1 |    16273 |    19719
1176.41/1176.75	c 1174s |      16 |   217203 |   182752 |   154939      1 |    16273 |    19719
1178.61/1178.96	c 1177s |      16 |   217532 |   183052 |   154939      1 |    16273 |    19719
1180.81/1181.12	c 1179s |      16 |   217857 |   183352 |   154939      1 |    16273 |    19719
1183.11/1183.47	c 1181s |      16 |   218200 |   183652 |   154939      1 |    16273 |    19719
1191.20/1191.56	c 1189s |      16 |   218537 |   183952 |   154939      1 |    16273 |    19719
1193.40/1193.77	c 1191s |      16 |   218868 |   184252 |   154939      1 |    16273 |    19719
1195.90/1196.23	c 1194s |      16 |   219208 |   184552 |   154939      1 |    16273 |    19719
1198.20/1198.57	c 1196s |      16 |   219701 |   184952 |   154939      1 |    16273 |    19719
1200.39/1200.76	c 1198s |      16 |   220168 |   185352 |   154939      1 |    16273 |    19719
1202.89/1203.29	c 1201s |      16 |   220606 |   185752 |   154939      1 |    16273 |    19719
1205.19/1205.59	c 1203s |      16 |   221097 |   186152 |   154939      1 |    16273 |    19719
1207.60/1207.93	c 1206s |      16 |   221445 |   186452 |   154939      1 |    16273 |    19719
1209.70/1210.08	c 1208s |      16 |   221782 |   186752 |   154939      1 |    16273 |    19719
1212.09/1212.43	c 1210s |      16 |   222102 |   187052 |   154939      1 |    16273 |    19719
1223.79/1224.19	c 1222s |      16 |   222234 |   187152 |   154939      1 |    16273 |    19719
1225.89/1226.20	c 1224s |      16 |   222580 |   187452 |   154939      1 |    16273 |    19719
1227.99/1228.32	c 1226s |      16 |   222916 |   187752 |   154939      1 |    16273 |    19719
1230.09/1230.47	c 1228s |      16 |   223253 |   188052 |   154939      1 |    16273 |    19719
1232.09/1232.49	c 1230s |      16 |   223603 |   188352 |   154939      1 |    16273 |    19719
1234.39/1234.70	c 1232s |      16 |   224053 |   188752 |   154939      1 |    16273 |    19719
1236.79/1237.10	c 1235s |      16 |   224505 |   189152 |   154939      1 |    16273 |    19719
1239.28/1239.67	c 1237s |      16 |   224949 |   189552 |   154939      1 |    16273 |    19719
1241.48/1241.86	c 1239s |      16 |   225270 |   189852 |   154939      1 |    16273 |    19719
1243.68/1244.07	c 1242s |      16 |   225598 |   190152 |   154939      1 |    16273 |    19719
1245.88/1246.21	c 1244s |      16 |   225938 |   190452 |   154939      1 |    16273 |    19719
1247.98/1248.31	c 1246s |      16 |   226275 |   190752 |   154939      1 |    16273 |    19719
1249.98/1250.35	c 1248s |      16 |   226620 |   191052 |   154939      1 |    16273 |    19719
1252.38/1252.70	c 1250s |      16 |   226962 |   191352 |   154939      1 |    16273 |    19719
1256.39/1256.71	c 1254s |      16 |   227214 |   191552 |   154939      1 |    17577 |    24071
1259.48/1259.88	c 1258s |      16 |   227538 |   191852 |   154939      1 |    17577 |    24071
1261.68/1262.00	c 1260s |      16 |   228271 |   192452 |   154939      1 |    17577 |    24071
1263.69/1264.04	c 1262s |      16 |   228850 |   192952 |   154939      1 |    17577 |    24071
1265.98/1266.31	c 1264s |      16 |   229204 |   193252 |   154939      1 |    17577 |    24071
1268.18/1268.58	c 1266s |      16 |   229755 |   193752 |   154939      1 |    17577 |    24071
1270.58/1270.99	c 1269s |      16 |   230318 |   194252 |   154939      1 |    17577 |    24071
1273.08/1273.42	c 1271s |      16 |   230886 |   194752 |   154939      1 |    17577 |    24071
1275.38/1275.75	c 1273s |      16 |   231477 |   195252 |   154939      1 |    17577 |    24071
1277.58/1277.93	c 1276s |      16 |   232038 |   195752 |   154939      1 |    17577 |    24071
1279.87/1280.20	c 1278s |      16 |   232602 |   196252 |   170433      1 |    17577 |    24071
1282.28/1282.63	c 1280s |      16 |   233197 |   196752 |   170433      1 |    17577 |    24071
1284.27/1284.69	c 1282s |      16 |   233648 |   197152 |   170433      1 |    17577 |    24071
1285.77/1286.16	c 1284s |      17 |   233944 |   197432 |   170433      1 |    17577 |    24071
1288.17/1288.58	c 1286s |      17 |   234407 |   197832 |   170433      1 |    17577 |    24071
1290.27/1290.67	c 1288s |      17 |   234873 |   198232 |   170433      1 |    17577 |    24071
1292.47/1292.80	c 1290s |      17 |   235322 |   198632 |   170433      1 |    17577 |    24071
1294.48/1294.82	c 1292s |      17 |   235786 |   199032 |   170433      1 |    17577 |    24071
1296.47/1296.84	c 1294s |      17 |   236255 |   199432 |   170433      1 |    17577 |    24071
1298.78/1299.13	c 1297s |      17 |   236802 |   199932 |   170433      1 |    17577 |    24071
1300.98/1301.40	c 1299s |      17 |   237378 |   200432 |   170433      1 |    17577 |    24071
1303.07/1303.45	c 1301s |      17 |   237828 |   200832 |   170433      1 |    17577 |    24071
1305.57/1305.90	c 1304s |      17 |   238392 |   201332 |   170433      1 |    17577 |    24071
1307.87/1308.25	c 1306s |      17 |   238968 |   201832 |   170433      1 |    17577 |    24071
1310.36/1310.76	c 1308s |      17 |   239553 |   202332 |   170433      1 |    17577 |    24071
1312.46/1312.89	c 1311s |      17 |   240250 |   202932 |   170433      1 |    17577 |    24071
1314.66/1315.04	c 1313s |      17 |   240830 |   203432 |   170433      1 |    17577 |    24071
1316.96/1317.31	c 1315s |      17 |   241526 |   204032 |   170433      1 |    17577 |    24071
1318.96/1319.36	c 1317s |      17 |   242139 |   204532 |   170433      1 |    17577 |    24071
1321.36/1321.74	c 1319s |      17 |   242722 |   205032 |   170433      1 |    17577 |    24071
1323.46/1323.82	c 1321s |      17 |   243176 |   205432 |   170433      1 |    17577 |    24071
1325.76/1326.18	c 1324s |      17 |   243724 |   205932 |   170433      1 |    17577 |    24071
1328.06/1328.42	c 1326s |      17 |   244319 |   206432 |   170433      1 |    17577 |    24071
1330.26/1330.66	c 1328s |      17 |   244894 |   206932 |   170433      1 |    17577 |    24071
1332.76/1333.17	c 1331s |      17 |   245467 |   207432 |   170433      1 |    17577 |    24071
1335.06/1335.48	c 1333s |      17 |   245903 |   207832 |   170433      1 |    17577 |    24071
1337.56/1337.95	c 1336s |      17 |   246335 |   208232 |   170433      1 |    17577 |    24071
1339.75/1340.15	c 1338s |      17 |   246550 |   208432 |   170433      1 |    18975 |    31622
1342.25/1342.68	c 1340s |      17 |   247118 |   208932 |   170433      1 |    18975 |    31622
1344.65/1345.05	c 1343s |      17 |   247653 |   209432 |   170433      1 |    18975 |    31622
1346.95/1347.34	c 1345s |      17 |   248219 |   209932 |   170433      1 |    18975 |    31622
1349.35/1349.72	c 1347s |      17 |   248767 |   210432 |   170433      1 |    18975 |    31622
1351.75/1352.17	c 1350s |      17 |   249337 |   210932 |   170433      1 |    18975 |    31622
1354.15/1354.57	c 1352s |      17 |   249894 |   211432 |   170433      1 |    18975 |    31622
1356.35/1356.71	c 1354s |      17 |   250340 |   211832 |   170433      1 |    18975 |    31622
1358.35/1358.77	c 1356s |      17 |   250782 |   212232 |   170433      1 |    18975 |    31622
1360.64/1361.04	c 1359s |      17 |   251357 |   212732 |   170433      1 |    18975 |    31622
1362.74/1363.19	c 1361s |      17 |   251908 |   213232 |   170433      1 |    18975 |    31622
1365.04/1365.46	c 1363s |      17 |   252510 |   213732 |   170433      1 |    18975 |    31622
1367.34/1367.71	c 1365s |      17 |   253062 |   214232 |   170433      1 |    18975 |    31622
1369.64/1370.00	c 1368s |      17 |   253632 |   214732 |   170433      1 |    18975 |    31622
1371.84/1372.24	c 1370s |      17 |   254177 |   215232 |   170433      1 |    18975 |    31622
1374.04/1374.48	c 1372s |      17 |   254760 |   215732 |   170433      1 |    18975 |    31622
1376.33/1376.74	c 1374s |      17 |   255431 |   216332 |   170433      1 |    18975 |    31622
1378.53/1378.95	c 1377s |      17 |   255996 |   216832 |   170433      1 |    18975 |    31622
1380.53/1380.99	c 1379s |      17 |   256540 |   217332 |   170433      1 |    18975 |    31622
1382.53/1382.99	c 1381s |      17 |   257101 |   217832 |   170433      1 |    18975 |    31622
1384.94/1385.38	c 1383s |      17 |   257637 |   218332 |   170433      1 |    18975 |    31622
1387.74/1388.19	c 1386s |      17 |   258175 |   218832 |   170433      1 |    21913 |    40335
1388.04/1388.44	c 1386s |      17 |   258239 |   218894 |   170433      1 |    25112 |    45178
1388.04/1388.44	c #cpu_time = 1382.879s
1388.04/1388.44	c #wall_clock_time = 1386.569s
1388.04/1388.45	c #decision = 258239
1388.04/1388.45	c #random_decision = 374
1388.04/1388.45	c #conflict = 218894
1388.04/1388.45	c #restart = 17
1388.04/1388.45	s UNSATISFIABLE
1388.04/1388.45	c total CPU time = 1384.749s
1388.04/1388.45	c total wall clock time = 1388.444s

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

pid=11644
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.14 2.09 2.06 3/179 11647
/proc/meminfo: memFree=30125404/32872528 swapFree=526336/559040
[pid=11647] ppid=11644 vsize=600508 CPUtime=0 cores=0,2,4,6
/proc/11647/stat : 11647 (toysat) R 11644 11647 10280 0 -1 4202496 2215 0 0 0 0 0 0 0 20 0 4 0 31022193 614920192 2577 33554432000 4194304 16246674 140736601751824 140736601751248 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11647/statm: 150639 2587 441 2943 0 147533 0
[pid=11647/tid=11648] ppid=11644 vsize=617916 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11648/stat : 11648 (toysat) S 11644 11647 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31022193 632745984 2647 33554432000 4194304 16246674 140736601751824 140328898112752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11647/tid=11649] ppid=11644 vsize=622012 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11649/stat : 11649 (toysat) S 11644 11647 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31022193 636940288 2663 33554432000 4194304 16246674 140736601751824 140328887622896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11647/tid=11650] ppid=11644 vsize=627132 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11650/stat : 11650 (toysat) S 11644 11647 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31022193 642183168 2681 33554432000 4194304 16246674 140736601751824 140328877149360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.14 2.09 2.06 3/179 11647
/proc/meminfo: memFree=30125404/32872528 swapFree=526336/559040
[pid=11647] ppid=11644 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/11647/stat : 11647 (toysat) R 11644 11647 10280 0 -1 4202496 26224 0 0 0 5 4 0 0 20 0 4 0 31022193 1333334016 26523 33554432000 4194304 16246674 140736601751824 140736601751136 12752373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11647/statm: 325521 26538 800 2943 0 322415 0
[pid=11647/tid=11648] ppid=11644 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11648/stat : 11648 (toysat) S 11644 11647 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31022193 1333334016 26547 33554432000 4194304 16246674 140736601751824 140328898112752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11647/tid=11649] ppid=11644 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11649/stat : 11649 (toysat) S 11644 11647 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31022193 1333334016 26559 33554432000 4194304 16246674 140736601751824 140328887622896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11647/tid=11650] ppid=11644 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11650/stat : 11650 (toysat) S 11644 11647 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31022193 1333334016 26572 33554432000 4194304 16246674 140736601751824 140328877149360 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) 1302084

[startup+0.200525 s]
/proc/loadavg: 2.14 2.09 2.06 3/179 11647
/proc/meminfo: memFree=30125404/32872528 swapFree=526336/559040
[pid=11647] ppid=11644 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/11647/stat : 11647 (toysat) R 11644 11647 10280 0 -1 4202496 46562 0 0 0 12 7 0 0 20 0 4 0 31022193 1343819776 47372 33554432000 4194304 16246674 140736601751824 140736601751136 7367415 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11647/statm: 328081 47372 802 2943 0 324975 0
[pid=11647/tid=11648] ppid=11644 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11648/stat : 11648 (toysat) S 11644 11647 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31022193 1343819776 47372 33554432000 4194304 16246674 140736601751824 140328898112752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11647/tid=11649] ppid=11644 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11649/stat : 11649 (toysat) S 11644 11647 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31022193 1343819776 47372 33554432000 4194304 16246674 140736601751824 140328887622896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11647/tid=11650] ppid=11644 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11650/stat : 11650 (toysat) S 11644 11647 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31022193 1343819776 47372 33554432000 4194304 16246674 140736601751824 140328877149360 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) 1312324

[startup+0.300498 s]
/proc/loadavg: 2.14 2.09 2.06 3/179 11647
/proc/meminfo: memFree=30125404/32872528 swapFree=526336/559040
[pid=11647] ppid=11644 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/11647/stat : 11647 (toysat) R 11644 11647 10280 0 -1 4202496 59541 0 0 0 19 9 0 0 20 0 4 0 31022193 1344868352 60351 33554432000 4194304 16246674 140736601751824 140736601751136 7889330 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11647/statm: 328337 60351 802 2943 0 325231 0
[pid=11647/tid=11648] ppid=11644 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11648/stat : 11648 (toysat) S 11644 11647 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31022193 1344868352 60351 33554432000 4194304 16246674 140736601751824 140328898112752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11647/tid=11649] ppid=11644 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11649/stat : 11649 (toysat) S 11644 11647 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31022193 1344868352 60351 33554432000 4194304 16246674 140736601751824 140328887622896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11647/tid=11650] ppid=11644 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11650/stat : 11650 (toysat) S 11644 11647 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31022193 1344868352 60351 33554432000 4194304 16246674 140736601751824 140328877149360 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.700395 s]
/proc/loadavg: 2.14 2.09 2.06 3/179 11647
/proc/meminfo: memFree=30125404/32872528 swapFree=526336/559040
[pid=11647] ppid=11644 vsize=1316420 CPUtime=0.69 cores=0,2,4,6
/proc/11647/stat : 11647 (toysat) R 11644 11647 10280 0 -1 4202496 66254 0 0 0 58 11 0 0 20 0 4 0 31022193 1348014080 67064 33554432000 4194304 16246674 140736601751824 140736601751136 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11647/statm: 329105 67074 814 2943 0 325999 0
[pid=11647/tid=11648] ppid=11644 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11648/stat : 11648 (toysat) S 11644 11647 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31022193 1348014080 67080 33554432000 4194304 16246674 140736601751824 140328898112752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11647/tid=11649] ppid=11644 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11649/stat : 11649 (toysat) S 11644 11647 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31022193 1348014080 67086 33554432000 4194304 16246674 140736601751824 140328887622896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11647/tid=11650] ppid=11644 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11650/stat : 11650 (toysat) S 11644 11647 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31022193 1348014080 67091 33554432000 4194304 16246674 140736601751824 140328877149360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1316420

[startup+1.5004 s]
/proc/loadavg: 2.13 2.08 2.06 3/183 11651
/proc/meminfo: memFree=29669676/32872528 swapFree=526336/559040
[pid=11647] ppid=11644 vsize=1321540 CPUtime=1.49 cores=0,2,4,6
/proc/11647/stat : 11647 (toysat) R 11644 11647 10280 0 -1 4202496 184517 0 0 0 121 28 0 0 20 0 4 0 31022193 1353256960 185327 33554432000 4194304 16246674 140736601751824 140736601733696 12478957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11647/statm: 330385 185335 839 2943 0 327279 0
[pid=11647/tid=11648] ppid=11644 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11648/stat : 11648 (toysat) S 11644 11647 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31022193 1353256960 185341 33554432000 4194304 16246674 140736601751824 140328898112752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11647/tid=11649] ppid=11644 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11649/stat : 11649 (toysat) S 11644 11647 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31022193 1353256960 185347 33554432000 4194304 16246674 140736601751824 140328887622896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11647/tid=11650] ppid=11644 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11650/stat : 11650 (toysat) S 11644 11647 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31022193 1353256960 185352 33554432000 4194304 16246674 140736601751824 140328877149360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1321540

[startup+3.10039 s]
/proc/loadavg: 2.13 2.08 2.06 3/183 11651
/proc/meminfo: memFree=29214828/32872528 swapFree=526336/559040
[pid=11647] ppid=11644 vsize=1326660 CPUtime=3.09 cores=0,2,4,6
/proc/11647/stat : 11647 (toysat) R 11644 11647 10280 0 -1 4202496 236918 0 0 0 273 36 0 0 20 0 4 0 31022193 1358499840 237728 33554432000 4194304 16246674 140736601751824 140736601733696 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11647/statm: 331665 237733 884 2943 0 328559 0
[pid=11647/tid=11648] ppid=11644 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11648/stat : 11648 (toysat) S 11644 11647 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31022193 1358499840 237737 33554432000 4194304 16246674 140736601751824 140328898112752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11647/tid=11649] ppid=11644 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11649/stat : 11649 (toysat) S 11644 11647 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31022193 1358499840 237739 33554432000 4194304 16246674 140736601751824 140328887622896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11647/tid=11650] ppid=11644 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11650/stat : 11650 (toysat) S 11644 11647 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31022193 1358499840 237742 33554432000 4194304 16246674 140736601751824 140328877149360 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) 1326660

[startup+6.3004 s]
/proc/loadavg: 2.12 2.08 2.06 3/183 11651
/proc/meminfo: memFree=29034172/32872528 swapFree=526336/559040
[pid=11647] ppid=11644 vsize=1326660 CPUtime=6.29 cores=0,2,4,6
/proc/11647/stat : 11647 (toysat) R 11644 11647 10280 0 -1 4202496 272339 0 0 0 588 41 0 0 20 0 4 0 31022193 1358499840 273149 33554432000 4194304 16246674 140736601751824 140736601733696 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11647/statm: 331665 273149 891 2943 0 328559 0
[pid=11647/tid=11648] ppid=11644 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11648/stat : 11648 (toysat) S 11644 11647 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31022193 1358499840 273149 33554432000 4194304 16246674 140736601751824 140328898112752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11647/tid=11649] ppid=11644 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11649/stat : 11649 (toysat) S 11644 11647 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31022193 1358499840 273149 33554432000 4194304 16246674 140736601751824 140328887622896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11647/tid=11650] ppid=11644 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11650/stat : 11650 (toysat) S 11644 11647 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31022193 1358499840 273149 33554432000 4194304 16246674 140736601751824 140328877149360 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.7005 s]
/proc/loadavg: 2.11 2.08 2.06 3/183 11651
/proc/meminfo: memFree=29034676/32872528 swapFree=526336/559040
[pid=11647] ppid=11644 vsize=1326660 CPUtime=12.69 cores=0,2,4,6
/proc/11647/stat : 11647 (toysat) R 11644 11647 10280 0 -1 4202496 272339 0 0 0 1228 41 0 0 20 0 4 0 31022193 1358499840 273149 33554432000 4194304 16246674 140736601751824 140736601733696 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11647/statm: 331665 273149 891 2943 0 328559 0
[pid=11647/tid=11648] ppid=11644 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11648/stat : 11648 (toysat) S 11644 11647 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31022193 1358499840 273149 33554432000 4194304 16246674 140736601751824 140328898112752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11647/tid=11649] ppid=11644 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11649/stat : 11649 (toysat) S 11644 11647 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31022193 1358499840 273149 33554432000 4194304 16246674 140736601751824 140328887622896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11647/tid=11650] ppid=11644 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11650/stat : 11650 (toysat) S 11644 11647 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31022193 1358499840 273149 33554432000 4194304 16246674 140736601751824 140328877149360 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.09 2.08 2.06 3/183 11651
/proc/meminfo: memFree=29035432/32872528 swapFree=526336/559040
[pid=11647] ppid=11644 vsize=1326660 CPUtime=25.49 cores=0,2,4,6
/proc/11647/stat : 11647 (toysat) R 11644 11647 10280 0 -1 4202496 272341 0 0 0 2508 41 0 0 20 0 4 0 31022193 1358499840 273151 33554432000 4194304 16246674 140736601751824 140736601733696 12483632 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11647/statm: 331665 273151 893 2943 0 328559 0
[pid=11647/tid=11648] ppid=11644 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11648/stat : 11648 (toysat) S 11644 11647 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31022193 1358499840 273151 33554432000 4194304 16246674 140736601751824 140328898112752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11647/tid=11649] ppid=11644 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11649/stat : 11649 (toysat) S 11644 11647 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31022193 1358499840 273151 33554432000 4194304 16246674 140736601751824 140328887622896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11647/tid=11650] ppid=11644 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11650/stat : 11650 (toysat) S 11644 11647 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31022193 1358499840 273151 33554432000 4194304 16246674 140736601751824 140328877149360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1326660

[startup+51.1005 s]
/proc/loadavg: 2.06 2.07 2.05 3/183 11651
/proc/meminfo: memFree=29035544/32872528 swapFree=526336/559040
[pid=11647] ppid=11644 vsize=1326660 CPUtime=51.08 cores=0,2,4,6
/proc/11647/stat : 11647 (toysat) R 11644 11647 10280 0 -1 4202496 272341 0 0 0 5067 41 0 0 20 0 4 0 31022193 1358499840 273151 33554432000 4194304 16246674 140736601751824 140736601733696 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11647/statm: 331665 273151 893 2943 0 328559 0
[pid=11647/tid=11648] ppid=11644 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11648/stat : 11648 (toysat) S 11644 11647 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31022193 1358499840 273151 33554432000 4194304 16246674 140736601751824 140328898112752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11647/tid=11649] ppid=11644 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11649/stat : 11649 (toysat) S 11644 11647 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31022193 1358499840 273151 33554432000 4194304 16246674 140736601751824 140328887622896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11647/tid=11650] ppid=11644 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11650/stat : 11650 (toysat) S 11644 11647 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31022193 1358499840 273151 33554432000 4194304 16246674 140736601751824 140328877149360 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.14 2.09 2.06 3/183 11652
/proc/meminfo: memFree=29034856/32872528 swapFree=526336/559040
[pid=11647] ppid=11644 vsize=1326660 CPUtime=102.28 cores=0,2,4,6
/proc/11647/stat : 11647 (toysat) R 11644 11647 10280 0 -1 4202496 272342 0 0 0 10187 41 0 0 20 0 4 0 31022193 1358499840 273152 33554432000 4194304 16246674 140736601751824 140736601733696 5673105 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11647/statm: 331665 273152 893 2943 0 328559 0
[pid=11647/tid=11648] ppid=11644 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11648/stat : 11648 (toysat) S 11644 11647 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31022193 1358499840 273152 33554432000 4194304 16246674 140736601751824 140328898112752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11647/tid=11649] ppid=11644 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11649/stat : 11649 (toysat) S 11644 11647 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31022193 1358499840 273152 33554432000 4194304 16246674 140736601751824 140328887622896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11647/tid=11650] ppid=11644 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11650/stat : 11650 (toysat) S 11644 11647 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31022193 1358499840 273152 33554432000 4194304 16246674 140736601751824 140328877149360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1326660


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

/proc/11647/stat : 11647 (toysat) R 11644 11647 10280 0 -1 4202496 289181 0 0 0 118156 45 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140736601733696 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11647/statm: 348305 289797 894 2943 0 345199 0
[pid=11647/tid=11648] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11648/stat : 11648 (toysat) S 11644 11647 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328898112752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11647/tid=11649] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11649/stat : 11649 (toysat) S 11644 11647 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328887622896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11647/tid=11650] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11650/stat : 11650 (toysat) S 11644 11647 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328877149360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 1393220

[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.02 3/183 11704
/proc/meminfo: memFree=28860936/32872528 swapFree=526336/559040
[pid=11647] ppid=11644 vsize=1393220 CPUtime=1241.98 cores=0,2,4,6
/proc/11647/stat : 11647 (toysat) R 11644 11647 10280 0 -1 4202496 289201 0 0 0 124152 46 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140736601733696 6117192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11647/statm: 348305 289797 894 2943 0 345199 0
[pid=11647/tid=11648] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11648/stat : 11648 (toysat) S 11644 11647 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328898112752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11647/tid=11649] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11649/stat : 11649 (toysat) S 11644 11647 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328887622896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11647/tid=11650] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11650/stat : 11650 (toysat) S 11644 11647 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328877149360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1393220

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.02 3/183 11705
/proc/meminfo: memFree=28860716/32872528 swapFree=526336/559040
[pid=11647] ppid=11644 vsize=1393220 CPUtime=1301.97 cores=0,2,4,6
/proc/11647/stat : 11647 (toysat) R 11644 11647 10280 0 -1 4202496 289216 0 0 0 130150 47 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140736601733696 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11647/statm: 348305 289797 894 2943 0 345199 0
[pid=11647/tid=11648] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11648/stat : 11648 (toysat) S 11644 11647 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328898112752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11647/tid=11649] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11649/stat : 11649 (toysat) S 11644 11647 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328887622896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11647/tid=11650] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11650/stat : 11650 (toysat) S 11644 11647 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328877149360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1393220

[startup+1362.3 s]
/proc/loadavg: 2.09 2.05 2.02 3/183 11707
/proc/meminfo: memFree=28860436/32872528 swapFree=526336/559040
[pid=11647] ppid=11644 vsize=1393220 CPUtime=1361.94 cores=0,2,4,6
/proc/11647/stat : 11647 (toysat) R 11644 11647 10280 0 -1 4202496 289241 0 0 0 136147 47 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140736601733696 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11647/statm: 348305 289797 894 2943 0 345199 0
[pid=11647/tid=11648] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11648/stat : 11648 (toysat) S 11644 11647 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328898112752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11647/tid=11649] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11649/stat : 11649 (toysat) S 11644 11647 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328887622896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11647/tid=11650] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11650/stat : 11650 (toysat) S 11644 11647 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328877149360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1393220

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11647 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1369.61 s]
/proc/loadavg: 2.08 2.04 2.02 3/183 11707
/proc/meminfo: memFree=28860296/32872528 swapFree=526336/559040
[pid=11647] ppid=11644 vsize=1393220 CPUtime=1369.24 cores=0,2,4,6
/proc/11647/stat : 11647 (toysat) R 11644 11647 10280 0 -1 4202496 289247 0 0 0 136877 47 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140736601733696 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11647/statm: 348305 289797 894 2943 0 345199 0
[pid=11647/tid=11648] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11648/stat : 11648 (toysat) S 11644 11647 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328898112752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11647/tid=11649] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11649/stat : 11649 (toysat) S 11644 11647 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328887622896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11647/tid=11650] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11650/stat : 11650 (toysat) S 11644 11647 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328877149360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1369.24
Current children cumulated vsize (KiB) 1393220

[startup+1376 s]
/proc/loadavg: 2.07 2.04 2.02 3/183 11707
/proc/meminfo: memFree=28860296/32872528 swapFree=526336/559040
[pid=11647] ppid=11644 vsize=1393220 CPUtime=1375.63 cores=0,2,4,6
/proc/11647/stat : 11647 (toysat) R 11644 11647 10280 0 -1 4202496 289247 0 0 0 137516 47 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140736601733696 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11647/statm: 348305 289797 894 2943 0 345199 0
[pid=11647/tid=11648] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11648/stat : 11648 (toysat) S 11644 11647 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328898112752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11647/tid=11649] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11649/stat : 11649 (toysat) S 11644 11647 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328887622896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11647/tid=11650] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11650/stat : 11650 (toysat) S 11644 11647 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328877149360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1375.63
Current children cumulated vsize (KiB) 1393220

[startup+1382.4 s]
/proc/loadavg: 2.06 2.04 2.02 3/183 11708
/proc/meminfo: memFree=28860280/32872528 swapFree=526336/559040
[pid=11647] ppid=11644 vsize=1393220 CPUtime=1382.03 cores=0,2,4,6
/proc/11647/stat : 11647 (toysat) R 11644 11647 10280 0 -1 4202496 289247 0 0 0 138156 47 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140736601733696 5828245 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11647/statm: 348305 289797 894 2943 0 345199 0
[pid=11647/tid=11648] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11648/stat : 11648 (toysat) S 11644 11647 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328898112752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11647/tid=11649] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11649/stat : 11649 (toysat) S 11644 11647 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328887622896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11647/tid=11650] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11650/stat : 11650 (toysat) S 11644 11647 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328877149360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1382.03
Current children cumulated vsize (KiB) 1393220

[startup+1385.6 s]
/proc/loadavg: 2.06 2.04 2.02 3/183 11708
/proc/meminfo: memFree=28859780/32872528 swapFree=526336/559040
[pid=11647] ppid=11644 vsize=1393220 CPUtime=1385.24 cores=0,2,4,6
/proc/11647/stat : 11647 (toysat) R 11644 11647 10280 0 -1 4202496 289247 0 0 0 138476 48 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140736601733696 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11647/statm: 348305 289797 894 2943 0 345199 0
[pid=11647/tid=11648] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11648/stat : 11648 (toysat) S 11644 11647 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328898112752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11647/tid=11649] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11649/stat : 11649 (toysat) S 11644 11647 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328887622896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11647/tid=11650] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11650/stat : 11650 (toysat) S 11644 11647 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328877149360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1385.24
Current children cumulated vsize (KiB) 1393220

[startup+1387.21 s]
/proc/loadavg: 1.98 2.02 2.01 3/183 11757
/proc/meminfo: memFree=29755776/32872528 swapFree=526336/559040
[pid=11647] ppid=11644 vsize=1393220 CPUtime=1386.85 cores=0,2,4,6
/proc/11647/stat : 11647 (toysat) R 11644 11647 10280 0 -1 4202496 289247 0 0 0 138637 48 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140736601733696 5531944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11647/statm: 348305 289797 894 2943 0 345199 0
[pid=11647/tid=11648] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11648/stat : 11648 (toysat) S 11644 11647 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328898112752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11647/tid=11649] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11649/stat : 11649 (toysat) S 11644 11647 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328887622896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11647/tid=11650] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11650/stat : 11650 (toysat) S 11644 11647 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328877149360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1386.85
Current children cumulated vsize (KiB) 1393220

[startup+1388 s]
/proc/loadavg: 1.98 2.02 2.01 3/183 11757
/proc/meminfo: memFree=29755776/32872528 swapFree=526336/559040
[pid=11647] ppid=11644 vsize=1393220 CPUtime=1387.64 cores=0,2,4,6
/proc/11647/stat : 11647 (toysat) R 11644 11647 10280 0 -1 4202496 289247 0 0 0 138716 48 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140736601733696 5860538 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11647/statm: 348305 289797 894 2943 0 345199 0
[pid=11647/tid=11648] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11648/stat : 11648 (toysat) S 11644 11647 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328898112752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11647/tid=11649] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11649/stat : 11649 (toysat) S 11644 11647 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328887622896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11647/tid=11650] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11650/stat : 11650 (toysat) S 11644 11647 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328877149360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1387.64
Current children cumulated vsize (KiB) 1393220

[startup+1388.4 s]
/proc/loadavg: 1.98 2.02 2.01 3/183 11757
/proc/meminfo: memFree=29287164/32872528 swapFree=526336/559040
[pid=11647] ppid=11644 vsize=1393220 CPUtime=1388.04 cores=0,2,4,6
/proc/11647/stat : 11647 (toysat) R 11644 11647 10280 0 -1 4202496 289247 0 0 0 138756 48 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140736601733696 5991508 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11647/statm: 348305 289797 894 2943 0 345199 0
[pid=11647/tid=11648] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11648/stat : 11648 (toysat) S 11644 11647 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328898112752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11647/tid=11649] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11649/stat : 11649 (toysat) S 11644 11647 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328887622896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11647/tid=11650] ppid=11644 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11647/task/11650/stat : 11650 (toysat) S 11644 11647 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31022193 1426657280 289797 33554432000 4194304 16246674 140736601751824 140328877149360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1388.04
Current children cumulated vsize (KiB) 1393220

Child status: 0
Real time (s): 1388.46
CPU time (s): 1388.1
CPU user time (s): 1387.61
CPU system time (s): 0.489925
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 1393220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1387.61
system time used= 0.489925
maximum resident set size= 1159200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289251
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= 280
involuntary context switches= 1676

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.553 second user time and 6.35503 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-19 00:42:01
IDJOB=4107943
IDBENCH=74273
IDSOLVER=2542
FILE ID=node106/4107943-1466289721
RUNJOBID= node106-1466277111-10296
PBS_JOBID= 19918270
Free space on /tmp= 71676 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12026_5-unsat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107943-1466289721/watcher-4107943-1466289721 -o /tmp/evaluation-result-4107943-1466289721/solver-4107943-1466289721 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466277111-10296 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107943-1466289721.opb

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

MD5SUM BENCH= db859a15c3accfca5f41bc17f134e06b
RANDOM SEED=168518492

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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		: 2667.073
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		: 2667.073
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.38
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		: 2667.073
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:        30126032 kB
Buffers:          112884 kB
Cached:           234692 kB
SwapCached:         1736 kB
Active:          1205000 kB
Inactive:         234216 kB
Active(anon):    1090708 kB
Inactive(anon):     3048 kB
Active(file):     114292 kB
Inactive(file):   231168 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             19616 kB
Writeback:             0 kB
AnonPages:       1650112 kB
Mapped:            10720 kB
Shmem:                 0 kB
Slab:             614012 kB
SReclaimable:      57368 kB
SUnreclaim:       556644 kB
KernelStack:        1496 kB
PageTables:         7116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1791120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 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= 71656 MiB
End job on node106 at 2016-06-19 01:05:09