Trace number 4117366

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.15 1800.46

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
EmployeeScheduling/normalized-sep4.5.opb
MD5SUM1622df9aaccf800bf3d8a8230db1e870
Bench CategoryOPT-SMALLINT-LIN (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 benchmark3.68344
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9324
Total number of constraints28660
Number of constraints which are clauses26658
Number of constraints which are cardinality constraints (but not clauses)238
Number of constraints which are nor clauses,nor cardinality constraints1764
Minimum length of a constraint2
Maximum length of a constraint240
Number of terms in the objective function 26
Biggest coefficient in the objective function 200
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2110
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 200
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 2110
Number of bits of the biggest sum of numbers12
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-29T16:33:36+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-4117366-1467210816.opb"]
0.00/0.01	c use --random-gen="1203927826 1365578649 1547026281 4192943184 833676937 159029940 745284072 2750485463 3476243465 1504573051 597399237 2187683233 2128322069 3056922606 877091946 348331580 353752053 3361444798 1748823082 425797824 4288513668 1248773576 3370871122 1667881807 4217995582 2320376761 3361630254 2718002210 4091981553 242907620 2587257492 2841379483 868974393 2125438297 2685433059 1034703735 3628679973 3223896681 3866805257 1056443370 3353416712 3168363188 2760695833 2552134417 2289865294 398359599 4220883654 171617883 3148699613 1035447300 1505513254 1844262027 3980011184 3184390378 2057426246 1529044443 132287219 3142460816 541882885 3546041319 2044456047 2379342105 272826620 1759791795 3282502517 1400911401 2396140483 2635787079 3263638832 760655866 339782484 827686593 3318774096 30617496 1399017384 4172747305 2314562065 2621055072 1357366084 2296788272 2348683414 195057052 2948844916 908421398 2722064104 2465082742 2266972219 2837759302 1321104229 3237672644 2147248124 64098066 155079313 2849246697 4053076338 4134240423 1541317183 867128081 1849692844 3834161655 2461153974 3404219277 2540445325 273051784 3389635289 3507416487 1411989084 1593207204 1588755980 1995724692 1619345780 2893151103 3464834208 2050923691 1419213090 3614445749 4160978056 2613775509 2561018449 3232567390 632553371 2726654996 536456808 2018532224 2678318129 4229365381 3422022259 3730725224 4102333642 1201546354 3583859190 3340451619 1662630462 2143964370 2561999431 3907610868 3838878615 834308867 2493114005 2093931412 3669034209 4278960839 2866807558 818384537 1438610652 3997626629 628775663 3462809234 2773547966 2696071199 2733675797 2378134820 2940880877 4018962178 3617730730 3205330714 4097290061 2152736214 3132551655 3999869111 4131969339 85634618 2891280850 2160005171 3199708168 4110889297 2740883999 1502540285 1851808413 2473778988 638864806 281651180 4200791618 3049876803 319483658 8436484 2738724845 4034574912 1421346762 181612293 2957501142 1283431487 3631347567 1536965349 694921774 2454002143 1703930147 3772907669 1640851449 2007252343 133766944 1036110693 1962382959 2668464650 1607923806 351631312 3294261969 1555861422 1565341621 3189499363 1543554276 96459653 4233834845 2835634489 2470026764 654005849 3927625805 1272406490 408333442 3691785189 2376866150 2119890280 3572617524 252122356 973663785 3503488553 2492010345 2096593688 2620442969 3382411203 3552242188 2181064275 2673213984 735925525 3088653992 1402418884 622289439 851645059 3851602628 3354012436 1859245285 936956272 482834187 527411522 1131240738 2523108914 1163258024 4025542106 1615277533 2020830417 2806552074 2716120987 1263258502 3154202877 906850741 2910631893 2427539654 556909264 1728161852 1386381889 3156446477 1155722710 4092551720 2584166201 3694197786 840962152 255 362436" option to reproduce the execution
0.19/0.23	c #vars 9324
0.19/0.23	c #constraints 28660
0.59/0.65	c BCD2: Hardening is enabled.
0.59/0.65	c BCD2: BiasedSearch is enabled.
0.59/0.65	c Solving starts ...
0.59/0.65	c ============================[ Search Statistics ]============================
0.59/0.65	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.65	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.65	c =============================================================================
0.59/0.65	c  0.0s |       0 |        0 |        0 |    12661      0 |        0 |        0
0.88/0.94	c  0.3s |       1 |    22045 |      100 |    12661      0 |        0 |        0
1.20/1.26	c  0.6s |       2 |    43744 |      250 |    13928      0 |        0 |        0
1.59/1.62	c  1.0s |       3 |    65521 |      475 |    15321      0 |        0 |        0
1.89/1.95	c  1.3s |       4 |    79563 |      813 |    16854      0 |        0 |        0
1.99/2.06	c  1.4s |       5 |    80101 |     1320 |    18540      0 |        0 |        0
2.49/2.58	c  1.9s |       6 |   112927 |     2081 |    22434      0 |        0 |        0
2.89/2.96	c  2.3s |       7 |   120656 |     3223 |    24678      0 |        0 |        0
3.40/3.46	c  2.8s |       8 |   124624 |     4936 |    27146      0 |        0 |        0
4.50/4.56	c  3.9s |       9 |   130686 |     7506 |    29861      0 |        0 |        0
5.99/6.06	c  5.4s |      10 |   136656 |    11361 |    32848      0 |        0 |        0
7.99/8.07	c  7.4s |      10 |   144937 |    16161 |    32848      0 |        0 |        0
8.39/8.47	c  7.8s |      11 |   145967 |    17144 |    36133      0 |        0 |        0
10.49/10.51	c  9.9s |      11 |   150000 |    20944 |    36133      0 |        0 |        0
12.49/12.55	c 11.9s |      11 |   154423 |    25144 |    36133      0 |        0 |        0
12.78/12.89	c 12.2s |      12 |   155185 |    25819 |    39747      0 |        0 |        0
14.88/14.90	c 14.2s |      12 |   168846 |    30219 |    39747      0 |        0 |        0
16.88/16.96	c 16.3s |      12 |   173546 |    33819 |    39747      0 |        0 |        0
18.98/19.03	c 18.4s |      12 |   176864 |    36519 |    39747      0 |        0 |        0
20.78/20.82	c 20.2s |      13 |   179872 |    38832 |    43722      0 |        0 |        0
22.78/22.83	c 22.2s |      13 |   182591 |    40532 |    43722      0 |        0 |        0
24.88/24.94	c 24.3s |      13 |   184261 |    42032 |    43722      0 |        0 |        0
26.98/27.04	c 26.4s |      13 |   185679 |    43432 |    43722      0 |        0 |        0
28.98/29.06	c 28.4s |      13 |   187030 |    44732 |    43722      1 |        0 |        0
31.39/31.48	c 30.8s |      13 |   189057 |    46732 |    43722      1 |        0 |        0
33.49/33.52	c 32.9s |      13 |   191072 |    48732 |    43722      1 |        0 |        0
35.49/35.54	c 34.9s |      13 |   192682 |    50332 |    43722      1 |        0 |        0
37.59/37.64	c 37.0s |      13 |   194116 |    51732 |    43722      1 |        0 |        0
39.69/39.74	c 39.1s |      13 |   195675 |    53232 |    43722      1 |        0 |        0
41.79/41.81	c 41.2s |      13 |   196891 |    54432 |    43722      1 |        0 |        0
43.79/43.86	c 43.2s |      13 |   198147 |    55632 |    43722      1 |        0 |        0
45.89/45.91	c 45.3s |      13 |   199895 |    57332 |    43722      1 |        0 |        0
47.18/47.29	c 46.6s |      14 |   200919 |    58352 |    48095      1 |        0 |        0
49.28/49.37	c 48.7s |      14 |   202307 |    59652 |    48095      1 |        0 |        0
51.28/51.39	c 50.7s |      14 |   204018 |    61252 |    48095      1 |        0 |        0
53.48/53.51	c 52.9s |      14 |   205833 |    62952 |    48095      1 |        0 |        0
55.48/55.56	c 54.9s |      14 |   207826 |    64752 |    48095      1 |        0 |        0
57.48/57.59	c 56.9s |      14 |   208862 |    65752 |    48095      1 |        0 |        0
59.68/59.70	c 59.1s |      14 |   209791 |    66652 |    48095      1 |        0 |        0
61.69/61.79	c 61.1s |      14 |   211001 |    67852 |    48095      1 |        0 |        0
63.89/63.94	c 63.3s |      14 |   212167 |    68952 |    48095      1 |        0 |        0
65.99/66.03	c 65.4s |      14 |   213308 |    70052 |    48095      1 |        0 |        0
68.88/68.93	c 68.3s |      14 |   213814 |    70552 |    48095      2 |        0 |        0
71.78/71.87	c 71.2s |      14 |   215660 |    72352 |    48095      2 |        0 |        0
73.78/73.87	c 73.2s |      14 |   217635 |    74152 |    48095      2 |        0 |        0
75.88/75.98	c 75.3s |      14 |   219338 |    75752 |    48095      2 |        0 |        0
77.88/78.00	c 77.3s |      14 |   221102 |    77452 |    48095      2 |        0 |        0
79.98/80.00	c 79.4s |      14 |   222749 |    79052 |    48095      2 |        0 |        0
81.98/82.03	c 81.4s |      14 |   224993 |    81152 |    48095      2 |        0 |        0
84.08/84.11	c 83.5s |      14 |   226972 |    82852 |    48095      2 |        0 |        0
86.08/86.15	c 85.5s |      14 |   228823 |    84452 |    48095      2 |        0 |        0
88.08/88.15	c 87.5s |      14 |   230507 |    85952 |    48095      2 |        0 |        0
90.08/90.16	c 89.5s |      14 |   231885 |    87252 |    52905      2 |        0 |        0
90.68/90.70	c 90.1s |      15 |   232293 |    87632 |    52905      2 |        0 |        0
92.67/92.79	c 92.1s |      15 |   234100 |    89232 |    52905      2 |        0 |        0
94.77/94.87	c 94.2s |      15 |   237203 |    91932 |    52905      2 |        0 |        0
96.88/96.92	c 96.3s |      15 |   240898 |    95032 |    52905      2 |        0 |        0
98.87/98.94	c 98.3s |      15 |   245616 |    99032 |    52905      2 |        0 |        0
104.17/104.24	c  103s |      15 |   247159 |   100332 |    52905      3 |        0 |        0
107.07/107.16	c  106s |      15 |   249528 |   102332 |    52905      3 |        0 |        0
109.07/109.17	c  108s |      15 |   253107 |   105432 |    52905      3 |        0 |        0
112.57/112.66	c  112s |      15 |   253609 |   105832 |    52905      3 |        0 |        0
115.47/115.56	c  114s |      15 |   258674 |   110132 |    52905      3 |        0 |        0
117.57/117.65	c  117s |      15 |   262481 |   113432 |    52905      3 |        0 |        0
119.97/120.07	c  119s |      15 |   263818 |   114532 |    52905      3 |        0 |        0
121.96/122.09	c  121s |      15 |   269033 |   119132 |    52905      3 |        0 |        0
124.06/124.12	c  123s |      15 |   274455 |   123732 |    52905      3 |        0 |        0
129.97/130.05	c  129s |      15 |   277472 |   126232 |    52905      4 |        0 |        0
135.97/136.04	c  135s |      15 |   278420 |   127032 |    52905      4 |        0 |        0
137.97/138.04	c  137s |      15 |   283358 |   131232 |    58196      4 |        0 |        0
138.07/138.16	c  137s |      16 |   283712 |   131552 |    58196      4 |        0 |        0
141.57/141.60	c  140s |      16 |   284167 |   131952 |    58196      4 |        0 |        0
143.57/143.63	c  142s |      16 |   286333 |   134052 |    58196      4 |        0 |        0
145.67/145.72	c  145s |      16 |   288312 |   135752 |    58196      4 |        0 |        0
147.77/147.85	c  147s |      16 |   289571 |   136952 |    58196      4 |        0 |        0
149.77/149.89	c  149s |      16 |   291496 |   138752 |    58196      4 |        0 |        0
151.96/152.02	c  151s |      16 |   293737 |   140752 |    58196      4 |        0 |        0
153.97/154.07	c  153s |      16 |   295779 |   142552 |    58196      4 |        0 |        0
156.17/156.21	c  155s |      16 |   297258 |   143952 |    58196      4 |        0 |        0
158.26/158.38	c  157s |      16 |   298398 |   145052 |    58196      4 |        0 |        0
160.46/160.53	c  159s |      16 |   300080 |   146552 |    58196      4 |        0 |        0
162.46/162.56	c  161s |      16 |   302043 |   148252 |    58196      4 |        0 |        0
164.56/164.61	c  163s |      16 |   304125 |   150052 |    58196      4 |        0 |        0
166.56/166.63	c  165s |      16 |   305945 |   151652 |    58196      4 |        0 |        0
168.56/168.68	c  168s |      16 |   307529 |   153052 |    58196      4 |        0 |        0
170.66/170.74	c  170s |      16 |   309178 |   154452 |    58196      4 |        0 |        0
172.67/172.79	c  172s |      16 |   310544 |   155752 |    58196      4 |        0 |        0
174.87/174.99	c  174s |      16 |   312307 |   157252 |    58196      4 |        0 |        0
178.76/178.89	c  178s |      16 |   312674 |   157552 |    58196      5 |        0 |        0
181.26/181.36	c  180s |      16 |   312787 |   157652 |    58196      5 |        0 |        0
184.46/184.54	c  183s |      16 |   313233 |   158052 |    58196      5 |        0 |        0
186.45/186.59	c  185s |      16 |   315649 |   160052 |    58196      5 |        0 |        0
188.55/188.61	c  187s |      16 |   317285 |   161452 |    58196      5 |        0 |        0
190.55/190.68	c  190s |      16 |   319505 |   163252 |    58196      5 |        0 |        0
192.66/192.70	c  192s |      16 |   321181 |   164652 |    58196      5 |        0 |        0
194.67/194.77	c  194s |      16 |   322736 |   165952 |    58196      5 |        0 |        0
196.76/196.89	c  196s |      16 |   324448 |   167452 |    58196      5 |        0 |        0
256.64/256.78	c  256s |      16 |   324917 |   167852 |    58196      5 |        0 |        0
258.74/258.85	c  258s |      16 |   326221 |   168952 |    58196      5 |        0 |        0
260.84/260.95	c  260s |      16 |   328273 |   170752 |    58196      5 |        0 |        0
262.95/263.09	c  262s |      16 |   330684 |   172752 |    58196      5 |        0 |        0
265.05/265.13	c  264s |      16 |   333149 |   174752 |    58196      5 |        0 |        0
267.04/267.19	c  266s |      16 |   335492 |   176652 |    58196      5 |        0 |        0
269.14/269.23	c  268s |      16 |   337592 |   178352 |    58196      5 |        0 |        0
271.14/271.29	c  270s |      16 |   339260 |   179752 |    58196      5 |        0 |        0
273.24/273.34	c  272s |      16 |   340852 |   181152 |    58196      5 |        0 |        0
275.24/275.34	c  274s |      16 |   342666 |   182652 |    58196      5 |        0 |        0
277.34/277.41	c  276s |      16 |   344119 |   183952 |    58196      5 |        0 |        0
279.45/279.55	c  278s |      16 |   345379 |   185052 |    58196      5 |        0 |        0
281.44/281.58	c  280s |      16 |   347099 |   186552 |    58196      5 |        0 |        0
290.14/290.24	c  289s |      16 |   347222 |   186652 |    58196      6 |        0 |        0
294.44/294.56	c  293s |      16 |   347339 |   186752 |    58196      6 |        0 |        0
296.54/296.61	c  295s |      16 |   349132 |   188352 |    58196      6 |        0 |        0
305.54/305.66	c  305s |      16 |   349970 |   189052 |    58196      6 |        0 |        0
307.54/307.68	c  307s |      16 |   351451 |   190352 |    58196      6 |        0 |        0
309.64/309.71	c  309s |      16 |   353447 |   192052 |    58196      6 |        0 |        0
311.74/311.81	c  311s |      16 |   355892 |   194152 |    58196      6 |        0 |        0
313.74/313.85	c  313s |      16 |   358752 |   196352 |    64016      6 |        0 |        0
315.14/315.22	c  314s |      17 |   360158 |   197432 |    64016      6 |        0 |        0
325.55/325.66	c  325s |      17 |   360393 |   197632 |    64016      6 |        0 |        0
327.64/327.70	c  327s |      17 |   362649 |   199732 |    64016      6 |        0 |        0
329.64/329.71	c  329s |      17 |   365256 |   202032 |    64016      6 |        0 |        0
331.64/331.71	c  331s |      17 |   367031 |   203732 |    64016      6 |        0 |        0
333.64/333.77	c  333s |      17 |   369589 |   205932 |    64016      6 |        0 |        0
335.74/335.85	c  335s |      17 |   371764 |   207832 |    64016      6 |        0 |        0
337.84/337.97	c  337s |      17 |   373482 |   209332 |    64016      6 |        0 |        0
339.85/339.99	c  339s |      17 |   375100 |   210732 |    64016      6 |        0 |        0
341.94/342.07	c  341s |      17 |   377032 |   212432 |    64016      6 |        0 |        0
344.04/344.12	c  343s |      17 |   379185 |   214332 |    64016      6 |        0 |        0
346.14/346.20	c  345s |      17 |   380923 |   215932 |    64016      6 |        0 |        0
348.24/348.34	c  347s |      17 |   383281 |   218132 |    64016      6 |        0 |        0
350.34/350.40	c  349s |      17 |   384400 |   219232 |    64016      6 |        0 |        0
352.44/352.53	c  351s |      17 |   385637 |   220432 |    64016      6 |        0 |        0
356.44/356.53	c  355s |      17 |   387136 |   221732 |    64016      7 |        0 |        0
360.23/360.39	c  359s |      17 |   387259 |   221832 |    64016      7 |        0 |        0
364.33/364.49	c  363s |      17 |   389890 |   224132 |    64016      7 |        0 |        0
366.43/366.56	c  365s |      17 |   392882 |   226732 |    64016      7 |        0 |        0
368.54/368.63	c  367s |      17 |   395483 |   229032 |    64016      7 |        0 |        0
370.53/370.65	c  370s |      17 |   397881 |   231132 |    64016      7 |        0 |        0
372.63/372.72	c  372s |      17 |   400396 |   233332 |    64016      7 |        0 |        0
374.63/374.74	c  374s |      17 |   402096 |   234832 |    64016      7 |        0 |        0
376.73/376.81	c  376s |      17 |   404026 |   236532 |    64016      7 |        0 |        0
378.83/378.94	c  378s |      17 |   406074 |   238332 |    64016      7 |        0 |        0
380.83/380.95	c  380s |      17 |   407744 |   239832 |    64016      7 |        0 |        0
383.02/383.12	c  382s |      17 |   409401 |   241232 |    64016      7 |        0 |        0
385.12/385.20	c  384s |      17 |   410611 |   242332 |    64016      7 |        0 |        0
387.13/387.23	c  386s |      17 |   412576 |   244032 |    64016      7 |        0 |        0
389.12/389.26	c  388s |      17 |   414421 |   245632 |    64016      7 |        0 |        0
391.22/391.35	c  390s |      17 |   416051 |   247032 |    64016      7 |        0 |        0
393.32/393.41	c  392s |      17 |   417545 |   248332 |    64016      7 |        0 |        0
395.32/395.44	c  394s |      17 |   419282 |   249832 |    64016      7 |        0 |        0
397.42/397.51	c  396s |      17 |   420890 |   251232 |    64016      7 |        0 |        0
399.42/399.53	c  398s |      17 |   422363 |   252532 |    64016      7 |        0 |        0
402.22/402.37	c  401s |      17 |   423044 |   253132 |    64016      7 |        0 |        0
413.63/413.72	c  413s |      17 |   423684 |   253732 |    64016      8 |        0 |        0
415.63/415.76	c  415s |      17 |   424729 |   254632 |    64016      8 |        0 |        0
417.73/417.82	c  417s |      17 |   428296 |   257732 |    64016      8 |        0 |        0
419.73/419.89	c  419s |      17 |   431040 |   260032 |    64016      8 |        0 |        0
421.82/421.90	c  421s |      17 |   433841 |   262432 |    64016      8 |        0 |        0
439.82/439.94	c  439s |      17 |   436431 |   264632 |    64016      8 |        0 |        0
441.82/441.99	c  441s |      17 |   437695 |   265732 |    64016      8 |        0 |        0
443.92/444.05	c  443s |      17 |   439638 |   267432 |    64016      8 |        0 |        0
446.02/446.12	c  445s |      17 |   442132 |   269632 |    64016      8 |        0 |        0
448.12/448.29	c  447s |      17 |   444128 |   271332 |    64016      8 |        0 |        0
450.22/450.34	c  449s |      17 |   446388 |   273232 |    64016      8 |        0 |        0
452.32/452.41	c  451s |      17 |   448689 |   275232 |    64016      8 |        0 |        0
454.42/454.55	c  453s |      17 |   450788 |   277032 |    64016      8 |        0 |        0
456.52/456.62	c  455s |      17 |   452662 |   278632 |    64016      8 |        0 |        0
458.52/458.67	c  458s |      17 |   454315 |   280032 |    64016      8 |        0 |        0
460.52/460.69	c  460s |      17 |   456365 |   281832 |    64016      8 |        0 |        0
462.82/462.93	c  462s |      17 |   457695 |   282932 |    64016      8 |        0 |        0
464.92/465.00	c  464s |      17 |   459686 |   284632 |    64016      8 |        0 |        0
554.80/554.97	c  554s |      17 |   461119 |   285832 |    64016      9 |        0 |        0
558.40/558.53	c  557s |      17 |   462403 |   286932 |    64016      9 |        0 |        0
568.99/569.17	c  568s |      17 |   464887 |   289032 |    64016      9 |        0 |        0
571.09/571.22	c  570s |      17 |   467256 |   291232 |    64016      9 |        0 |        0
573.10/573.29	c  572s |      17 |   469127 |   293032 |    64016      9 |        0 |        0
575.09/575.30	c  574s |      17 |   470257 |   294132 |    64016      9 |        0 |        0
576.89/577.00	c  576s |      18 |   472508 |   296252 |    70418      9 |        0 |        0
578.89/579.01	c  578s |      18 |   474799 |   298252 |    70418      9 |        0 |        0
580.89/581.05	c  580s |      18 |   478435 |   301452 |    70418      9 |        0 |        0
582.90/583.05	c  582s |      18 |   482348 |   304852 |    70418      9 |        0 |        0
584.99/585.12	c  584s |      18 |   485477 |   307652 |    70418      9 |        0 |        0
586.99/587.15	c  586s |      18 |   488159 |   310052 |    70418      9 |        0 |        0
589.09/589.23	c  588s |      18 |   491063 |   312652 |    70418      9 |        0 |        0
591.09/591.23	c  590s |      18 |   494290 |   315452 |    70418      9 |        0 |        0
593.19/593.31	c  592s |      18 |   497009 |   317852 |    70418      9 |        0 |        0
595.19/595.35	c  594s |      18 |   499168 |   319752 |    70418      9 |        0 |        0
597.20/597.37	c  596s |      18 |   501598 |   321852 |    70418      9 |        0 |        0
599.29/599.41	c  598s |      18 |   504017 |   323952 |    70418      9 |        0 |        0
602.99/603.15	c  602s |      18 |   504710 |   324552 |    70418     10 |        0 |        0
619.60/619.76	c  619s |      18 |   506028 |   325652 |    70418     10 |        0 |        0
621.70/621.82	c  621s |      18 |   508563 |   327852 |    70418     10 |        0 |        0
627.39/627.52	c  626s |      18 |   508679 |   327952 |    70418     10 |        0 |        0
629.49/629.67	c  629s |      18 |   510736 |   329752 |    70418     10 |        0 |        0
631.49/631.68	c  631s |      18 |   511929 |   330852 |    70418     10 |        0 |        0
633.69/633.80	c  633s |      18 |   512875 |   331652 |    70418     10 |        0 |        0
635.80/635.90	c  635s |      18 |   513797 |   332452 |    70418     10 |        0 |        0
637.90/638.01	c  637s |      18 |   515244 |   333752 |    70418     10 |        0 |        0
639.89/640.02	c  639s |      18 |   516733 |   335052 |    70418     10 |        0 |        0
641.99/642.12	c  641s |      18 |   518641 |   336652 |    70418     10 |        0 |        0
643.99/644.13	c  643s |      18 |   521482 |   339052 |    70418     10 |        0 |        0
645.99/646.14	c  645s |      18 |   526320 |   343152 |    70418     10 |        0 |        0
647.99/648.17	c  647s |      18 |   530905 |   347052 |    70418     10 |        0 |        0
650.10/650.27	c  649s |      18 |   535172 |   350652 |    70418     10 |        0 |        0
652.09/652.29	c  651s |      18 |   538926 |   353852 |    70418     10 |        0 |        0
654.19/654.32	c  653s |      18 |   541890 |   356352 |    70418     10 |        0 |        0
656.19/656.33	c  655s |      18 |   545553 |   359452 |    70418     10 |        0 |        0
662.49/662.61	c  661s |      18 |   545888 |   359752 |    70418     11 |        0 |        0
670.78/670.98	c  670s |      18 |   547270 |   360952 |    70418     11 |        0 |        0
672.88/673.02	c  672s |      18 |   551853 |   364852 |    70418     11 |        0 |        0
676.08/676.25	c  675s |      18 |   553462 |   366252 |    70418     11 |        0 |        0
678.08/678.29	c  677s |      18 |   556906 |   369152 |    70418     11 |        0 |        0
680.18/680.33	c  679s |      18 |   559375 |   371252 |    70418     11 |        0 |        0
682.18/682.37	c  681s |      18 |   561309 |   372952 |    70418     11 |        0 |        0
684.28/684.48	c  683s |      18 |   563437 |   374852 |    70418     11 |        0 |        0
686.39/686.57	c  685s |      18 |   565766 |   376852 |    70418     11 |        0 |        0
688.38/688.58	c  687s |      18 |   567988 |   378752 |    70418     11 |        0 |        0
690.48/690.66	c  690s |      18 |   570179 |   380652 |    70418     11 |        0 |        0
692.48/692.67	c  692s |      18 |   572009 |   382252 |    70418     11 |        0 |        0
694.58/694.70	c  694s |      18 |   573765 |   383852 |    70418     11 |        0 |        0
696.58/696.72	c  696s |      18 |   575521 |   385352 |    70418     11 |        0 |        0
698.68/698.83	c  698s |      18 |   577120 |   386752 |    70418     11 |        0 |        0
700.69/700.84	c  700s |      18 |   578749 |   388152 |    70418     11 |        0 |        0
702.68/702.84	c  702s |      18 |   580824 |   389952 |    70418     11 |        0 |        0
704.68/704.84	c  704s |      18 |   582461 |   391352 |    70418     11 |        0 |        0
706.68/706.87	c  706s |      18 |   583966 |   392652 |    70418     11 |        0 |        0
708.88/709.03	c  708s |      18 |   585038 |   393652 |    70418     11 |        0 |        0
712.27/712.45	c  711s |      18 |   586454 |   394952 |    70418     12 |        0 |        0
741.87/742.06	c  741s |      18 |   587043 |   395452 |    70418     12 |        0 |        0
743.97/744.11	c  743s |      18 |   589460 |   397552 |    70418     12 |        0 |        0
746.88/747.02	c  746s |      18 |   591066 |   398952 |    70418     12 |        0 |        0
748.88/749.04	c  748s |      18 |   593915 |   401452 |    70418     12 |        0 |        0
750.88/751.08	c  750s |      18 |   597643 |   404652 |    70418     12 |        0 |        0
752.98/753.16	c  752s |      18 |   600724 |   407352 |    70418     12 |        0 |        0
755.18/755.36	c  754s |      18 |   602675 |   409052 |    70418     12 |        0 |        0
757.28/757.42	c  756s |      18 |   604197 |   410452 |    70418     12 |        0 |        0
759.37/759.55	c  758s |      18 |   605610 |   411752 |    70418     12 |        0 |        0
761.37/761.56	c  760s |      18 |   607204 |   413152 |    70418     12 |        0 |        0
763.47/763.65	c  763s |      18 |   608845 |   414552 |    70418     12 |        0 |        0
765.58/765.72	c  765s |      18 |   610363 |   415852 |    70418     12 |        0 |        0
767.68/767.81	c  767s |      18 |   611901 |   417252 |    70418     12 |        0 |        0
769.67/769.81	c  769s |      18 |   613827 |   418952 |    70418     12 |        0 |        0
771.77/771.91	c  771s |      18 |   615801 |   420652 |    70418     12 |        0 |        0
773.77/773.94	c  773s |      18 |   617773 |   422352 |    70418     12 |        0 |        0
805.86/806.00	c  805s |      18 |   618019 |   422552 |    70418     12 |        0 |        0
807.86/808.06	c  807s |      18 |   619966 |   424352 |    70418     12 |        0 |        0
809.96/810.11	c  809s |      18 |   622284 |   426352 |    70418     12 |        0 |        0
812.06/812.21	c  811s |      18 |   624711 |   428452 |    70418     12 |        0 |        0
815.66/815.83	c  815s |      18 |   626909 |   430352 |    70418     13 |        0 |        0
822.26/822.40	c  821s |      18 |   627029 |   430452 |    70418     13 |        0 |        0
824.26/824.46	c  823s |      18 |   630219 |   433152 |    70418     13 |        0 |        0
826.36/826.51	c  825s |      18 |   632582 |   435152 |    70418     13 |        0 |        0
828.36/828.52	c  827s |      18 |   635648 |   437752 |    70418     13 |        0 |        0
830.36/830.56	c  829s |      18 |   639051 |   440652 |    70418     13 |        0 |        0
942.24/942.43	c  941s |      18 |   641525 |   442752 |    77460     13 |        0 |        0
942.65/942.89	c  942s |      19 |   643563 |   444482 |    77460     13 |        0 |        0
975.54/975.80	c  975s |      19 |   645850 |   446382 |    77460     13 |        0 |        0
977.63/977.83	c  977s |      19 |   651395 |   451882 |    77460     13 |        0 |        0
1020.74/1020.92	c 1020s |      19 |   652718 |   453182 |    77460     13 |        0 |        0
1022.73/1022.94	c 1022s |      19 |   655660 |   456082 |    77460     13 |        0 |        0
1024.83/1025.00	c 1024s |      19 |   658503 |   458882 |    77460     13 |        0 |        0
1026.83/1027.02	c 1026s |      19 |   661240 |   461582 |    77460     13 |        0 |        0
1028.83/1029.07	c 1028s |      19 |   663582 |   463882 |    77460     13 |        0 |        0
1030.83/1031.08	c 1030s |      19 |   665912 |   466182 |    77460     13 |        0 |        0
1032.84/1033.09	c 1032s |      19 |   668036 |   468282 |    77460     13 |        0 |        0
1035.04/1035.21	c 1034s |      19 |   669960 |   470182 |    77460     13 |        0 |        0
1037.14/1037.32	c 1036s |      19 |   671773 |   471982 |    77460     13 |        0 |        0
1040.43/1040.64	c 1039s |      19 |   672372 |   472582 |    77460     14 |        0 |        0
1084.92/1085.19	c 1084s |      19 |   673896 |   474082 |    77460     14 |        0 |        0
1087.02/1087.22	c 1086s |      19 |   675822 |   475982 |    77460     14 |        0 |        0
1089.02/1089.23	c 1088s |      19 |   677551 |   477682 |    77460     14 |        0 |        0
1091.02/1091.27	c 1090s |      19 |   679193 |   479282 |    77460     14 |        0 |        0
1093.12/1093.33	c 1092s |      19 |   680315 |   480382 |    77460     14 |        0 |        0
1095.21/1095.44	c 1094s |      19 |   681629 |   481682 |    77460     14 |        0 |        0
1097.31/1097.53	c 1096s |      19 |   683041 |   483082 |    77460     14 |        0 |        0
1099.31/1099.57	c 1098s |      19 |   684372 |   484382 |    77460     14 |        0 |        0
1101.41/1101.63	c 1100s |      19 |   685820 |   485782 |    77460     14 |        0 |        0
1103.51/1103.71	c 1103s |      19 |   687362 |   487282 |    77460     14 |        0 |        0
1105.51/1105.74	c 1105s |      19 |   688874 |   488782 |    77460     14 |        0 |        0
1107.62/1107.89	c 1107s |      19 |   690416 |   490282 |    77460     14 |        0 |        0
1109.61/1109.89	c 1109s |      19 |   691730 |   491582 |    77460     14 |        0 |        0
1290.99/1291.26	c 1290s |      19 |   692963 |   492782 |    77460     14 |        0 |        0
1293.29/1293.51	c 1292s |      19 |   693690 |   493482 |    77460     14 |        0 |        0
1295.49/1295.80	c 1295s |      19 |   694523 |   494182 |    77460     14 |        0 |        0
1297.79/1298.09	c 1297s |      19 |   695437 |   494882 |    77460     14 |        0 |        0
1300.09/1300.32	c 1299s |      19 |   696290 |   495582 |    77460     14 |        0 |        0
1302.39/1302.64	c 1301s |      19 |   696996 |   496282 |    77460     14 |        0 |        0
1304.49/1304.72	c 1304s |      19 |   697715 |   496982 |    77460     14 |        0 |        0
1306.49/1306.74	c 1306s |      19 |   698560 |   497682 |    77460     14 |        0 |        0
1308.69/1309.00	c 1308s |      19 |   699295 |   498382 |    77460     14 |        0 |        0
1310.99/1311.21	c 1310s |      19 |   700252 |   499182 |    77460     14 |        0 |        0
1313.09/1313.35	c 1312s |      19 |   700865 |   499782 |    77460     14 |        0 |        0
1315.29/1315.51	c 1314s |      19 |   701581 |   500482 |    77460     14 |        0 |        0
1317.59/1317.82	c 1317s |      19 |   702310 |   501182 |    77460     14 |        0 |        0
1319.58/1319.83	c 1319s |      19 |   702962 |   501782 |    77460     14 |        0 |        0
1321.58/1321.84	c 1321s |      19 |   703633 |   502382 |    77460     14 |        0 |        0
1323.88/1324.13	c 1323s |      19 |   704266 |   502982 |    77460     14 |        0 |        0
1326.08/1326.38	c 1325s |      19 |   705019 |   503682 |    77460     14 |        0 |        0
1328.18/1328.44	c 1327s |      19 |   705730 |   504282 |    77460     14 |        0 |        0
1330.28/1330.52	c 1329s |      19 |   706512 |   504982 |    77460     14 |        0 |        0
1332.28/1332.59	c 1331s |      19 |   707077 |   505482 |    77460     14 |        0 |        0
1334.38/1334.64	c 1333s |      19 |   707693 |   506082 |    77460     14 |        0 |        0
1336.48/1336.71	c 1336s |      19 |   708403 |   506782 |    77460     14 |        0 |        0
1338.49/1338.73	c 1338s |      19 |   708928 |   507282 |    77460     14 |        0 |        0
1340.58/1340.88	c 1340s |      19 |   709661 |   507882 |    77460     14 |        0 |        0
1342.89/1343.12	c 1342s |      19 |   710384 |   508582 |    77460     14 |        0 |        0
1344.88/1345.17	c 1344s |      19 |   711019 |   509182 |    77460     14 |        0 |        0
1347.08/1347.35	c 1346s |      19 |   711632 |   509782 |    77460     14 |        0 |        0
1349.18/1349.42	c 1348s |      19 |   712251 |   510382 |    77460     14 |        0 |        0
1351.38/1351.63	c 1350s |      19 |   713000 |   511082 |    77460     14 |        0 |        0
1357.77/1358.09	c 1357s |      19 |   713301 |   511382 |    77460     15 |        0 |        0
1360.17/1360.49	c 1359s |      19 |   714050 |   512082 |    77460     15 |        0 |        0
1362.37/1362.61	c 1361s |      19 |   715494 |   513382 |    77460     15 |        0 |        0
1365.57/1365.90	c 1365s |      19 |   716812 |   514582 |    77460     15 |        0 |        0
1367.78/1368.00	c 1367s |      19 |   716906 |   514682 |    77460     15 |        0 |        0
1369.88/1370.13	c 1369s |      19 |   717731 |   515482 |    77460     15 |        0 |        0
1371.88/1372.13	c 1371s |      19 |   718749 |   516482 |    77460     15 |        0 |        0
1374.08/1374.38	c 1373s |      19 |   719667 |   517382 |    77460     15 |        0 |        0
1376.18/1376.47	c 1375s |      19 |   720587 |   518282 |    77460     15 |        0 |        0
1378.38/1378.63	c 1377s |      19 |   721633 |   519282 |    77460     15 |        0 |        0
1380.58/1380.84	c 1380s |      19 |   722695 |   520282 |    77460     15 |        0 |        0
1382.68/1382.96	c 1382s |      19 |   723681 |   521182 |    77460     15 |        0 |        0
1384.78/1385.04	c 1384s |      19 |   724717 |   522082 |    77460     15 |        0 |        0
1386.88/1387.15	c 1386s |      19 |   725766 |   523082 |    77460     15 |        0 |        0
1388.88/1389.19	c 1388s |      19 |   726699 |   523982 |    77460     15 |        0 |        0
1390.98/1391.29	c 1390s |      19 |   727621 |   524882 |    77460     15 |        0 |        0
1393.18/1393.48	c 1392s |      19 |   728720 |   525882 |    77460     15 |        0 |        0
1395.38/1395.60	c 1394s |      19 |   729750 |   526882 |    77460     15 |        0 |        0
1397.37/1397.63	c 1396s |      19 |   730679 |   527782 |    77460     15 |        0 |        0
1399.77/1400.00	c 1399s |      19 |   731850 |   528882 |    77460     15 |        0 |        0
1402.07/1402.33	c 1401s |      19 |   732362 |   529382 |    77460     15 |        0 |        0
1404.27/1404.51	c 1403s |      19 |   732880 |   529882 |    77460     15 |        0 |        0
1406.47/1406.74	c 1406s |      19 |   733618 |   530582 |    77460     15 |        0 |        0
1408.77/1409.02	c 1408s |      19 |   734387 |   531282 |    77460     15 |        0 |        0
1410.97/1411.28	c 1410s |      19 |   735055 |   531882 |    77460     15 |        0 |        0
1413.17/1413.43	c 1412s |      19 |   735672 |   532482 |    77460     15 |        0 |        0
1415.27/1415.57	c 1414s |      19 |   736411 |   533182 |    77460     15 |        0 |        0
1417.47/1417.75	c 1417s |      19 |   737224 |   533982 |    77460     15 |        0 |        0
1419.57/1419.80	c 1419s |      19 |   737925 |   534682 |    77460     15 |        0 |        0
1421.57/1421.88	c 1421s |      19 |   738679 |   535382 |    77460     15 |        0 |        0
1423.87/1424.14	c 1423s |      19 |   739491 |   536182 |    77460     15 |        0 |        0
1425.97/1426.24	c 1425s |      19 |   740300 |   536982 |    77460     15 |        0 |        0
1428.17/1428.43	c 1427s |      19 |   740840 |   537482 |    77460     15 |        0 |        0
1430.27/1430.54	c 1429s |      19 |   741457 |   538082 |    77460     15 |        0 |        0
1432.37/1432.69	c 1432s |      19 |   742068 |   538682 |    77460     15 |        0 |        0
1434.57/1434.87	c 1434s |      19 |   742694 |   539282 |    77460     15 |        0 |        0
1436.67/1436.91	c 1436s |      19 |   743308 |   539882 |    77460     15 |        0 |        0
1438.87/1439.15	c 1438s |      19 |   744159 |   540682 |    77460     15 |        0 |        0
1440.97/1441.20	c 1440s |      19 |   744991 |   541482 |    77460     15 |        0 |        0
1442.97/1443.23	c 1442s |      19 |   745707 |   542182 |    77460     15 |        0 |        0
1445.17/1445.46	c 1444s |      19 |   746428 |   542882 |    77460     15 |        0 |        0
1447.37/1447.68	c 1447s |      19 |   747139 |   543582 |    77460     15 |        0 |        0
1449.37/1449.68	c 1449s |      19 |   747877 |   544282 |    77460     15 |        0 |        0
1451.66/1451.95	c 1451s |      19 |   748791 |   545182 |    77460     15 |        0 |        0
1453.97/1454.20	c 1453s |      19 |   749621 |   545982 |    77460     15 |        0 |        0
1456.06/1456.31	c 1455s |      19 |   750380 |   546682 |    77460     15 |        0 |        0
1458.16/1458.44	c 1457s |      19 |   751242 |   547482 |    77460     15 |        0 |        0
1460.36/1460.69	c 1460s |      19 |   752082 |   548282 |    77460     15 |        0 |        0
1462.56/1462.88	c 1462s |      19 |   753002 |   549182 |    77460     15 |        0 |        0
1464.66/1464.92	c 1464s |      19 |   753541 |   549682 |    77460     15 |        0 |        0
1466.76/1467.09	c 1466s |      19 |   753933 |   550082 |    77460     15 |        0 |        0
1476.16/1476.42	c 1475s |      19 |   754032 |   550182 |    77460     16 |        0 |        0
1483.06/1483.34	c 1482s |      19 |   754134 |   550282 |    77460     16 |        0 |        0
1486.97/1487.22	c 1486s |      19 |   754646 |   550782 |    77460     16 |        0 |        0
1488.96/1489.25	c 1488s |      19 |   755561 |   551682 |    77460     16 |        0 |        0
1491.16/1491.47	c 1490s |      19 |   756498 |   552582 |    77460     16 |        0 |        0
1493.26/1493.59	c 1492s |      19 |   757318 |   553382 |    77460     16 |        0 |        0
1495.46/1495.76	c 1495s |      19 |   758272 |   554282 |    77460     16 |        0 |        0
1497.56/1497.85	c 1497s |      19 |   759190 |   555182 |    77460     16 |        0 |        0
1499.56/1499.86	c 1499s |      19 |   760208 |   556182 |    77460     16 |        0 |        0
1501.66/1501.98	c 1501s |      19 |   761330 |   557282 |    77460     16 |        0 |        0
1503.86/1504.10	c 1503s |      19 |   762447 |   558382 |    77460     16 |        0 |        0
1506.06/1506.32	c 1505s |      19 |   763372 |   559282 |    77460     16 |        0 |        0
1508.25/1508.59	c 1507s |      19 |   764617 |   560482 |    77460     16 |        0 |        0
1510.35/1510.65	c 1509s |      19 |   765570 |   561382 |    77460     16 |        0 |        0
1512.36/1512.65	c 1512s |      19 |   766394 |   562182 |    77460     16 |        0 |        0
1514.56/1514.82	c 1514s |      19 |   767331 |   563082 |    77460     16 |        0 |        0
1516.76/1517.06	c 1516s |      19 |   768286 |   563982 |    77460     16 |        0 |        0
1518.86/1519.20	c 1518s |      19 |   769332 |   564982 |    77460     16 |        0 |        0
1520.95/1521.25	c 1520s |      19 |   770477 |   566082 |    77460     16 |        0 |        0
1523.05/1523.34	c 1522s |      19 |   771604 |   567182 |    77460     16 |        0 |        0
1525.15/1525.44	c 1524s |      19 |   772626 |   568182 |    77460     16 |        0 |        0
1527.15/1527.47	c 1526s |      19 |   773433 |   568982 |    77460     16 |        0 |        0
1529.25/1529.58	c 1528s |      19 |   774365 |   569882 |    77460     16 |        0 |        0
1531.35/1531.70	c 1531s |      19 |   775411 |   570882 |    77460     16 |        0 |        0
1533.45/1533.75	c 1533s |      19 |   776536 |   571982 |    77460     16 |        0 |        0
1535.55/1535.85	c 1535s |      19 |   777563 |   572982 |    77460     16 |        0 |        0
1537.56/1537.87	c 1537s |      19 |   778556 |   573882 |    77460     16 |        0 |        0
1539.65/1539.93	c 1539s |      19 |   779606 |   574882 |    77460     16 |        0 |        0
1541.75/1542.06	c 1541s |      19 |   780819 |   576082 |    77460     16 |        0 |        0
1543.85/1544.11	c 1543s |      19 |   781734 |   576982 |    77460     16 |        0 |        0
1545.85/1546.17	c 1545s |      19 |   782650 |   577882 |    77460     16 |        0 |        0
1548.05/1548.39	c 1547s |      19 |   783476 |   578682 |    77460     16 |        0 |        0
1550.75/1551.09	c 1550s |      19 |   783781 |   578982 |    77460     16 |        0 |        0
1553.15/1553.43	c 1552s |      19 |   784284 |   579482 |    77460     16 |        0 |        0
1555.75/1556.01	c 1555s |      19 |   784803 |   579982 |    77460     16 |        0 |        0
1557.95/1558.22	c 1557s |      19 |   785211 |   580382 |    77460     16 |        0 |        0
1560.25/1560.55	c 1559s |      19 |   785928 |   581082 |    77460     16 |        0 |        0
1562.54/1562.84	c 1562s |      19 |   786548 |   581682 |    77460     16 |        0 |        0
1564.74/1565.06	c 1564s |      19 |   787166 |   582282 |    77460     16 |        0 |        0
1566.84/1567.19	c 1566s |      19 |   787778 |   582882 |    77460     16 |        0 |        0
1569.14/1569.44	c 1568s |      19 |   788332 |   583382 |    77460     16 |        0 |        0
1571.54/1571.80	c 1571s |      19 |   788860 |   583882 |    77460     16 |        0 |        0
1573.54/1573.86	c 1573s |      19 |   789368 |   584382 |    77460     16 |        0 |        0
1575.84/1576.16	c 1575s |      19 |   789972 |   584982 |    77460     16 |        0 |        0
1578.25/1578.53	c 1577s |      19 |   790692 |   585682 |    77460     16 |        0 |        0
1580.45/1580.78	c 1580s |      19 |   791401 |   586382 |    77460     16 |        0 |        0
1582.54/1582.80	c 1582s |      19 |   792024 |   586982 |    77460     16 |        0 |        0
1584.74/1585.05	c 1584s |      19 |   792644 |   587582 |    77460     16 |        0 |        0
1586.94/1587.30	c 1586s |      19 |   793349 |   588282 |    77460     16 |        0 |        0
1589.15/1589.46	c 1588s |      19 |   793864 |   588782 |    77460     16 |        0 |        0
1601.64/1601.91	c 1601s |      19 |   794078 |   588982 |    77460     17 |        0 |        0
1603.64/1603.95	c 1603s |      19 |   794384 |   589282 |    77460     17 |        0 |        0
1606.44/1606.70	c 1606s |      19 |   795526 |   590382 |    77460     17 |        0 |        0
1608.44/1608.72	c 1608s |      19 |   796958 |   591782 |    77460     17 |        0 |        0
1612.94/1613.27	c 1612s |      19 |   798100 |   592882 |    77460     17 |        0 |        0
1615.04/1615.39	c 1614s |      19 |   799471 |   594082 |    77460     17 |        0 |        0
1617.14/1617.40	c 1616s |      19 |   800729 |   595282 |    77460     17 |        0 |        0
1619.14/1619.44	c 1618s |      19 |   801958 |   596482 |    77460     17 |        0 |        0
1621.25/1621.51	c 1620s |      19 |   803202 |   597682 |    77460     17 |        0 |        0
1623.24/1623.54	c 1622s |      19 |   804500 |   598882 |    77460     17 |        0 |        0
1625.34/1625.61	c 1624s |      19 |   805823 |   600182 |    77460     17 |        0 |        0
1627.34/1627.64	c 1626s |      19 |   806741 |   601082 |    77460     17 |        0 |        0
1629.44/1629.71	c 1629s |      19 |   807852 |   602182 |    77460     17 |        0 |        0
1631.54/1631.86	c 1631s |      19 |   808878 |   603182 |    77460     17 |        0 |        0
1633.64/1633.97	c 1633s |      19 |   810166 |   604282 |    77460     17 |        0 |        0
1635.74/1636.03	c 1635s |      19 |   811382 |   605382 |    77460     17 |        0 |        0
1637.94/1638.22	c 1637s |      19 |   812516 |   606482 |    77460     17 |        0 |        0
1640.04/1640.31	c 1639s |      19 |   813562 |   607482 |    77460     17 |        0 |        0
1642.24/1642.52	c 1641s |      19 |   814782 |   608682 |    77460     17 |        0 |        0
1644.25/1644.58	c 1643s |      19 |   815927 |   609782 |    77460     17 |        0 |        0
1646.54/1646.81	c 1646s |      19 |   816957 |   610782 |    77460     17 |        0 |        0
1648.64/1648.96	c 1648s |      19 |   817876 |   611682 |    77460     17 |        0 |        0
1650.84/1651.16	c 1650s |      19 |   818911 |   612682 |    77460     17 |        0 |        0
1653.04/1653.31	c 1652s |      19 |   819937 |   613682 |    77460     17 |        0 |        0
1655.24/1655.52	c 1654s |      19 |   820757 |   614482 |    77460     17 |        0 |        0
1657.34/1657.69	c 1657s |      19 |   821671 |   615382 |    77460     17 |        0 |        0
1659.53/1659.88	c 1659s |      19 |   822577 |   616282 |    77460     17 |        0 |        0
1661.73/1662.00	c 1661s |      19 |   823510 |   617182 |    77460     17 |        0 |        0
1663.73/1664.06	c 1663s |      19 |   824427 |   618082 |    77460     17 |        0 |        0
1687.43/1687.71	c 1687s |      19 |   824649 |   618282 |    77460     17 |        0 |        0
1689.63/1689.97	c 1689s |      19 |   824945 |   618582 |    77460     17 |        0 |        0
1691.83/1692.15	c 1691s |      19 |   825239 |   618882 |    77460     17 |        0 |        0
1694.03/1694.32	c 1693s |      19 |   825545 |   619182 |    77460     17 |        0 |        0
1696.13/1696.43	c 1695s |      19 |   825843 |   619482 |    77460     17 |        0 |        0
1698.13/1698.45	c 1697s |      19 |   826162 |   619782 |    77460     17 |        0 |        0
1700.43/1700.72	c 1700s |      19 |   826665 |   620282 |    77460     17 |        0 |        0
1702.53/1702.89	c 1702s |      19 |   827088 |   620682 |    77460     17 |        0 |        0
1704.63/1704.97	c 1704s |      19 |   827591 |   621182 |    77460     17 |        0 |        0
1706.93/1707.29	c 1706s |      19 |   828019 |   621582 |    77460     17 |        0 |        0
1709.23/1709.58	c 1708s |      19 |   828427 |   621982 |    77460     17 |        0 |        0
1711.52/1711.88	c 1711s |      19 |   828832 |   622382 |    77460     17 |        0 |        0
1713.72/1714.02	c 1713s |      19 |   829240 |   622782 |    77460     17 |        0 |        0
1715.83/1716.16	c 1715s |      19 |   829653 |   623182 |    77460     17 |        0 |        0
1718.03/1718.34	c 1717s |      19 |   830079 |   623582 |    77460     17 |        0 |        0
1720.42/1720.74	c 1720s |      19 |   830601 |   624082 |    77460     17 |        0 |        0
1722.72/1723.04	c 1722s |      19 |   831068 |   624482 |    77460     17 |        0 |        0
1724.92/1725.20	c 1724s |      19 |   831588 |   624982 |    77460     17 |        0 |        0
1726.92/1727.29	c 1726s |      19 |   832093 |   625482 |    77460     17 |        0 |        0
1729.03/1729.39	c 1728s |      19 |   832656 |   625982 |    77460     17 |        0 |        0
1731.13/1731.45	c 1730s |      19 |   833160 |   626482 |    77460     17 |        0 |        0
1733.32/1733.66	c 1733s |      19 |   833726 |   626982 |    77460     17 |        0 |        0
1735.42/1735.79	c 1735s |      19 |   834248 |   627482 |    77460     17 |        0 |        0
1740.42/1740.79	c 1740s |      19 |   834452 |   627682 |    77460     18 |        0 |        0
1748.52/1748.86	c 1748s |      19 |   834551 |   627782 |    77460     18 |        0 |        0
1750.52/1750.86	c 1750s |      19 |   835782 |   628982 |    77460     18 |        0 |        0
1752.51/1752.90	c 1752s |      19 |   836614 |   629782 |    77460     18 |        0 |        0
1754.71/1755.06	c 1754s |      19 |   837954 |   631082 |    77460     18 |        0 |        0
1756.81/1757.19	c 1756s |      19 |   839104 |   632182 |    77460     18 |        0 |        0
1758.91/1759.25	c 1758s |      19 |   840472 |   633482 |    77460     18 |        0 |        0
1761.01/1761.33	c 1760s |      19 |   841503 |   634482 |    77460     18 |        0 |        0
1763.02/1763.37	c 1762s |      19 |   842415 |   635382 |    77460     18 |        0 |        0
1766.81/1767.18	c 1766s |      19 |   843560 |   636482 |    77460     18 |        0 |        0
1769.00/1769.31	c 1768s |      19 |   844597 |   637482 |    77460     18 |        0 |        0
1771.10/1771.48	c 1770s |      19 |   845396 |   638282 |    77460     18 |        0 |        0
1773.20/1773.54	c 1772s |      19 |   846208 |   639082 |    77460     18 |        0 |        0
1775.40/1775.79	c 1775s |      19 |   846936 |   639782 |    77460     18 |        0 |        0
1777.50/1777.82	c 1777s |      19 |   847684 |   640482 |    77460     18 |        0 |        0
1779.50/1779.85	c 1779s |      19 |   848408 |   641182 |    77460     18 |        0 |        0
1781.70/1782.02	c 1781s |      19 |   849589 |   642282 |    77460     18 |        0 |        0
1783.80/1784.13	c 1783s |      19 |   850705 |   643382 |    77460     18 |        0 |        0
1785.79/1786.15	c 1785s |      19 |   851617 |   644282 |    77460     18 |        0 |        0
1788.09/1788.43	c 1787s |      19 |   852748 |   645382 |    77460     18 |        0 |        0
1790.09/1790.48	c 1789s |      19 |   853574 |   646182 |    77460     18 |        0 |        0
1792.29/1792.69	c 1792s |      19 |   854601 |   647182 |    77460     18 |        0 |        0
1794.49/1794.88	c 1794s |      19 |   855443 |   647982 |    77460     18 |        0 |        0
1796.59/1796.93	c 1796s |      19 |   856676 |   649182 |    77460     18 |        0 |        0
1798.58/1798.99	c 1798s |      19 |   857458 |   649882 |    77460     18 |        0 |        0

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

pid=19304
running on 4 cores: 1,3,5,7

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.30 2.27 2.17 3/178 19307
/proc/meminfo: memFree=29580604/32872528 swapFree=1394328/1580332
[pid=19307] ppid=19304 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/19307/stat : 19307 (toysat) R 19304 19307 19119 0 -1 4202496 2704 0 0 0 0 0 0 0 20 0 4 0 11110169 741797888 3064 33554432000 4194304 16246674 140736444624816 140736444624240 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19307/statm: 181871 3074 441 2943 0 178765 0
[pid=19307/tid=19308] ppid=19304 vsize=741820 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19308/stat : 19308 (toysat) S 19304 19307 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110169 759623680 3130 33554432000 4194304 16246674 140736444624816 140320977169648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19307/tid=19309] ppid=19304 vsize=746940 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19309/stat : 19309 (toysat) S 19304 19307 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110169 764866560 3150 33554432000 4194304 16246674 140736444624816 140320966679792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19307/tid=19310] ppid=19304 vsize=751036 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19310/stat : 19310 (toysat) S 19304 19307 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11110169 769060864 3166 33554432000 4194304 16246674 140736444624816 140320956206256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100135 s]
/proc/loadavg: 2.30 2.27 2.17 3/178 19307
/proc/meminfo: memFree=29580604/32872528 swapFree=1394328/1580332
[pid=19307] ppid=19304 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/19307/stat : 19307 (toysat) R 19304 19307 19119 0 -1 4202496 26993 0 0 0 5 4 0 0 20 0 4 0 11110169 1333334016 27292 33554432000 4194304 16246674 140736444624816 140736444624128 7853005 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19307/statm: 325521 27308 799 2943 0 322415 0
[pid=19307/tid=19308] ppid=19304 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19308/stat : 19308 (toysat) S 19304 19307 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110169 1333334016 27319 33554432000 4194304 16246674 140736444624816 140320977169648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19307/tid=19309] ppid=19304 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19309/stat : 19309 (toysat) S 19304 19307 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110169 1333334016 27330 33554432000 4194304 16246674 140736444624816 140320966679792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19307/tid=19310] ppid=19304 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19310/stat : 19310 (toysat) S 19304 19307 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110169 1333334016 27342 33554432000 4194304 16246674 140736444624816 140320956206256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200539 s]
/proc/loadavg: 2.30 2.27 2.17 3/178 19307
/proc/meminfo: memFree=29580604/32872528 swapFree=1394328/1580332
[pid=19307] ppid=19304 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/19307/stat : 19307 (toysat) R 19304 19307 19119 0 -1 4202496 48705 0 0 0 12 7 0 0 20 0 4 0 11110169 1345916928 49514 33554432000 4194304 16246674 140736444624816 140736444624128 13967808 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19307/statm: 328593 49514 799 2943 0 325487 0
[pid=19307/tid=19308] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19308/stat : 19308 (toysat) S 19304 19307 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 49514 33554432000 4194304 16246674 140736444624816 140320977169648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19307/tid=19309] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19309/stat : 19309 (toysat) S 19304 19307 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 49514 33554432000 4194304 16246674 140736444624816 140320966679792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19307/tid=19310] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19310/stat : 19310 (toysat) S 19304 19307 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 49514 33554432000 4194304 16246674 140736444624816 140320956206256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300507 s]
/proc/loadavg: 2.30 2.27 2.17 3/178 19307
/proc/meminfo: memFree=29580604/32872528 swapFree=1394328/1580332
[pid=19307] ppid=19304 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/19307/stat : 19307 (toysat) R 19304 19307 19119 0 -1 4202496 49030 0 0 0 22 7 0 0 20 0 4 0 11110169 1345916928 49839 33554432000 4194304 16246674 140736444624816 140736444624128 6763485 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19307/statm: 328593 49839 841 2943 0 325487 0
[pid=19307/tid=19308] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19308/stat : 19308 (toysat) S 19304 19307 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 49839 33554432000 4194304 16246674 140736444624816 140320977169648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19307/tid=19309] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19309/stat : 19309 (toysat) S 19304 19307 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 49839 33554432000 4194304 16246674 140736444624816 140320966679792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19307/tid=19310] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19310/stat : 19310 (toysat) S 19304 19307 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 49839 33554432000 4194304 16246674 140736444624816 140320956206256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700354 s]
/proc/loadavg: 2.30 2.27 2.17 3/178 19307
/proc/meminfo: memFree=29580604/32872528 swapFree=1394328/1580332
[pid=19307] ppid=19304 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/19307/stat : 19307 (toysat) R 19304 19307 19119 0 -1 4202496 112406 0 0 0 52 17 0 0 20 0 4 0 11110169 1345916928 113216 33554432000 4194304 16246674 140736444624816 140736444624128 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19307/statm: 328593 113223 887 2943 0 325487 0
[pid=19307/tid=19308] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19308/stat : 19308 (toysat) S 19304 19307 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 113228 33554432000 4194304 16246674 140736444624816 140320977169648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19307/tid=19309] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19309/stat : 19309 (toysat) S 19304 19307 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 113232 33554432000 4194304 16246674 140736444624816 140320966679792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19307/tid=19310] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19310/stat : 19310 (toysat) S 19304 19307 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 113236 33554432000 4194304 16246674 140736444624816 140320956206256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.5004 s]
/proc/loadavg: 2.28 2.27 2.17 3/182 19311
/proc/meminfo: memFree=28250316/32872528 swapFree=1394328/1580332
[pid=19307] ppid=19304 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/19307/stat : 19307 (toysat) R 19304 19307 19119 0 -1 4202496 224153 0 0 0 118 31 0 0 20 0 4 0 11110169 1345916928 224962 33554432000 4194304 16246674 140736444624816 140736444606720 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19307/statm: 328593 224969 887 2943 0 325487 0
[pid=19307/tid=19308] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19308/stat : 19308 (toysat) S 19304 19307 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 224974 33554432000 4194304 16246674 140736444624816 140320977169648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19307/tid=19309] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19309/stat : 19309 (toysat) S 19304 19307 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 224978 33554432000 4194304 16246674 140736444624816 140320966679792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19307/tid=19310] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19310/stat : 19310 (toysat) S 19304 19307 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 224982 33554432000 4194304 16246674 140736444624816 140320956206256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10042 s]
/proc/loadavg: 2.28 2.27 2.17 3/182 19311
/proc/meminfo: memFree=27463040/32872528 swapFree=1394328/1580332
[pid=19307] ppid=19304 vsize=1314372 CPUtime=3.09 cores=1,3,5,7
/proc/19307/stat : 19307 (toysat) R 19304 19307 19119 0 -1 4202496 269271 0 0 0 273 36 0 0 20 0 4 0 11110169 1345916928 270080 33554432000 4194304 16246674 140736444624816 140736444606720 5712619 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19307/statm: 328593 270080 893 2943 0 325487 0
[pid=19307/tid=19308] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19308/stat : 19308 (toysat) S 19304 19307 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 270080 33554432000 4194304 16246674 140736444624816 140320977169648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19307/tid=19309] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19309/stat : 19309 (toysat) S 19304 19307 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 270080 33554432000 4194304 16246674 140736444624816 140320966679792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19307/tid=19310] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19310/stat : 19310 (toysat) S 19304 19307 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 270080 33554432000 4194304 16246674 140736444624816 140320956206256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1314372

[startup+6.30042 s]
/proc/loadavg: 2.28 2.27 2.17 3/183 19312
/proc/meminfo: memFree=27462924/32872528 swapFree=1394328/1580332
[pid=19307] ppid=19304 vsize=1314372 CPUtime=6.29 cores=1,3,5,7
/proc/19307/stat : 19307 (toysat) R 19304 19307 19119 0 -1 4202496 269273 0 0 0 593 36 0 0 20 0 4 0 11110169 1345916928 270082 33554432000 4194304 16246674 140736444624816 140736444606720 5822740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19307/statm: 328593 270082 894 2943 0 325487 0
[pid=19307/tid=19308] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19308/stat : 19308 (toysat) S 19304 19307 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 270082 33554432000 4194304 16246674 140736444624816 140320977169648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19307/tid=19309] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19309/stat : 19309 (toysat) S 19304 19307 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 270082 33554432000 4194304 16246674 140736444624816 140320966679792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19307/tid=19310] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19310/stat : 19310 (toysat) S 19304 19307 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 270082 33554432000 4194304 16246674 140736444624816 140320956206256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1314372

[startup+12.7004 s]
/proc/loadavg: 2.24 2.26 2.17 3/183 19312
/proc/meminfo: memFree=27463504/32872528 swapFree=1394328/1580332
[pid=19307] ppid=19304 vsize=1314372 CPUtime=12.68 cores=1,3,5,7
/proc/19307/stat : 19307 (toysat) R 19304 19307 19119 0 -1 4202496 269273 0 0 0 1232 36 0 0 20 0 4 0 11110169 1345916928 270082 33554432000 4194304 16246674 140736444624816 140736444606720 6042811 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19307/statm: 328593 270082 894 2943 0 325487 0
[pid=19307/tid=19308] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19308/stat : 19308 (toysat) S 19304 19307 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 270082 33554432000 4194304 16246674 140736444624816 140320977169648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19307/tid=19309] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19309/stat : 19309 (toysat) S 19304 19307 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 270082 33554432000 4194304 16246674 140736444624816 140320966679792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19307/tid=19310] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19310/stat : 19310 (toysat) S 19304 19307 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 270082 33554432000 4194304 16246674 140736444624816 140320956206256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1314372

[startup+25.5005 s]
/proc/loadavg: 2.27 2.26 2.17 3/183 19312
/proc/meminfo: memFree=27464264/32872528 swapFree=1394328/1580332
[pid=19307] ppid=19304 vsize=1314372 CPUtime=25.48 cores=1,3,5,7
/proc/19307/stat : 19307 (toysat) R 19304 19307 19119 0 -1 4202496 269273 0 0 0 2512 36 0 0 20 0 4 0 11110169 1345916928 270082 33554432000 4194304 16246674 140736444624816 140736444606720 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19307/statm: 328593 270082 894 2943 0 325487 0
[pid=19307/tid=19308] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19308/stat : 19308 (toysat) S 19304 19307 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 270082 33554432000 4194304 16246674 140736444624816 140320977169648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19307/tid=19309] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19309/stat : 19309 (toysat) S 19304 19307 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 270082 33554432000 4194304 16246674 140736444624816 140320966679792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19307/tid=19310] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19310/stat : 19310 (toysat) S 19304 19307 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 270082 33554432000 4194304 16246674 140736444624816 140320956206256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1314372

[startup+51.1005 s]
/proc/loadavg: 2.22 2.25 2.17 4/183 19312
/proc/meminfo: memFree=27464396/32872528 swapFree=1394328/1580332
[pid=19307] ppid=19304 vsize=1314372 CPUtime=51.08 cores=1,3,5,7
/proc/19307/stat : 19307 (toysat) R 19304 19307 19119 0 -1 4202496 269282 0 0 0 5071 37 0 0 20 0 4 0 11110169 1345916928 270091 33554432000 4194304 16246674 140736444624816 140736444606720 5822761 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19307/statm: 328593 270091 901 2943 0 325487 0
[pid=19307/tid=19308] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19308/stat : 19308 (toysat) S 19304 19307 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 270091 33554432000 4194304 16246674 140736444624816 140320977169648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19307/tid=19309] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19309/stat : 19309 (toysat) S 19304 19307 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 270091 33554432000 4194304 16246674 140736444624816 140320966679792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19307/tid=19310] ppid=19304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19310/stat : 19310 (toysat) S 19304 19307 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110169 1345916928 270091 33554432000 4194304 16246674 140736444624816 140320956206256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372

[startup+102.301 s]
/proc/loadavg: 2.17 2.24 2.17 3/183 19313
/proc/meminfo: memFree=27420512/32872528 swapFree=1394328/1580332
[pid=19307] ppid=19304 vsize=1339972 CPUtime=102.28 cores=1,3,5,7
/proc/19307/stat : 19307 (toysat) R 19304 19307 19119 0 -1 4202496 275682 0 0 0 10190 38 0 0 20 0 4 0 11110169 1372131328 276491 33554432000 4194304 16246674 140736444624816 140736444622720 4224772 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19307/statm: 334993 276491 901 2943 0 331887 0
[pid=19307/tid=19308] ppid=19304 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19308/stat : 19308 (toysat) S 19304 19307 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110169 1372131328 276491 33554432000 4194304 16246674 140736444624816 140320977169648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19307/tid=19309] ppid=19304 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19309/stat : 19309 (toysat) S 19304 19307 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110169 1372131328 276491 33554432000 4194304 16246674 140736444624816 140320966679792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19307/tid=19310] ppid=19304 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19310/stat : 19310 (toysat) S 19304 19307 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110169 1372131328 276491 33554432000 4194304 16246674 140736444624816 140320956206256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1339972


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

/proc/19307/task/19310/stat : 19310 (toysat) S 19304 19307 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140320956206256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1403460

[startup+1302.3 s]
/proc/loadavg: 2.18 2.20 2.18 4/183 19343
/proc/meminfo: memFree=27309240/32872528 swapFree=1394328/1580332
[pid=19307] ppid=19304 vsize=1403460 CPUtime=1302.09 cores=1,3,5,7
/proc/19307/stat : 19307 (toysat) R 19304 19307 19119 0 -1 4202496 291554 0 0 0 130067 142 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140736444606720 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19307/statm: 350865 292363 901 2943 0 347759 0
[pid=19307/tid=19308] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19308/stat : 19308 (toysat) S 19304 19307 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140320977169648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19307/tid=19309] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19309/stat : 19309 (toysat) S 19304 19307 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140320966679792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19307/tid=19310] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19310/stat : 19310 (toysat) S 19304 19307 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140320956206256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1403460

[startup+1362.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/183 19344
/proc/meminfo: memFree=27309412/32872528 swapFree=1394328/1580332
[pid=19307] ppid=19304 vsize=1403460 CPUtime=1362.07 cores=1,3,5,7
/proc/19307/stat : 19307 (toysat) R 19304 19307 19119 0 -1 4202496 291554 0 0 0 136065 142 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140736444606720 5823516 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19307/statm: 350865 292363 901 2943 0 347759 0
[pid=19307/tid=19308] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19308/stat : 19308 (toysat) S 19304 19307 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140320977169648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19307/tid=19309] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19309/stat : 19309 (toysat) S 19304 19307 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140320966679792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19307/tid=19310] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19310/stat : 19310 (toysat) S 19304 19307 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140320956206256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1403460

[startup+1422.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/183 19345
/proc/meminfo: memFree=27309244/32872528 swapFree=1394328/1580332
[pid=19307] ppid=19304 vsize=1403460 CPUtime=1422.08 cores=1,3,5,7
/proc/19307/stat : 19307 (toysat) R 19304 19307 19119 0 -1 4202496 291554 0 0 0 142065 143 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140736444606720 5677492 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19307/statm: 350865 292363 901 2943 0 347759 0
[pid=19307/tid=19308] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19308/stat : 19308 (toysat) S 19304 19307 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140320977169648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19307/tid=19309] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19309/stat : 19309 (toysat) S 19304 19307 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140320966679792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19307/tid=19310] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19310/stat : 19310 (toysat) S 19304 19307 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140320956206256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1403460

[startup+1482.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/183 19346
/proc/meminfo: memFree=27309024/32872528 swapFree=1394328/1580332
[pid=19307] ppid=19304 vsize=1403460 CPUtime=1482.06 cores=1,3,5,7
/proc/19307/stat : 19307 (toysat) R 19304 19307 19119 0 -1 4202496 291554 0 0 0 148061 145 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140736444623912 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19307/statm: 350865 292363 901 2943 0 347759 0
[pid=19307/tid=19308] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19308/stat : 19308 (toysat) S 19304 19307 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140320977169648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19307/tid=19309] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19309/stat : 19309 (toysat) S 19304 19307 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140320966679792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19307/tid=19310] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19310/stat : 19310 (toysat) S 19304 19307 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140320956206256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1403460

[startup+1542.31 s]
/proc/loadavg: 2.14 2.18 2.18 3/183 19348
/proc/meminfo: memFree=27309204/32872528 swapFree=1394328/1580332
[pid=19307] ppid=19304 vsize=1403460 CPUtime=1542.06 cores=1,3,5,7
/proc/19307/stat : 19307 (toysat) R 19304 19307 19119 0 -1 4202496 291554 0 0 0 154061 145 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140736444606720 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19307/statm: 350865 292363 901 2943 0 347759 0
[pid=19307/tid=19308] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19308/stat : 19308 (toysat) S 19304 19307 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140320977169648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19307/tid=19309] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19309/stat : 19309 (toysat) S 19304 19307 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140320966679792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19307/tid=19310] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19310/stat : 19310 (toysat) S 19304 19307 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140320956206256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1403460

[startup+1602.3 s]
/proc/loadavg: 2.27 2.21 2.18 3/184 19352
/proc/meminfo: memFree=27309272/32872528 swapFree=1394328/1580332
[pid=19307] ppid=19304 vsize=1403460 CPUtime=1602.04 cores=1,3,5,7
/proc/19307/stat : 19307 (toysat) R 19304 19307 19119 0 -1 4202496 291554 0 0 0 160058 146 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140736444623912 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19307/statm: 350865 292363 901 2943 0 347759 0
[pid=19307/tid=19308] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19308/stat : 19308 (toysat) S 19304 19307 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140320977169648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19307/tid=19309] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19309/stat : 19309 (toysat) S 19304 19307 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140320966679792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19307/tid=19310] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19310/stat : 19310 (toysat) S 19304 19307 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140320956206256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1403460

[startup+1662.3 s]
/proc/loadavg: 2.26 2.21 2.18 4/184 19376
/proc/meminfo: memFree=27309372/32872528 swapFree=1394328/1580332
[pid=19307] ppid=19304 vsize=1403460 CPUtime=1662.03 cores=1,3,5,7
/proc/19307/stat : 19307 (toysat) R 19304 19307 19119 0 -1 4202496 291554 0 0 0 166056 147 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140736444606720 5677784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19307/statm: 350865 292363 901 2943 0 347759 0
[pid=19307/tid=19308] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19308/stat : 19308 (toysat) S 19304 19307 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140320977169648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19307/tid=19309] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19309/stat : 19309 (toysat) S 19304 19307 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140320966679792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19307/tid=19310] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19310/stat : 19310 (toysat) S 19304 19307 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292363 33554432000 4194304 16246674 140736444624816 140320956206256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1403460

[startup+1722.3 s]
/proc/loadavg: 2.13 2.18 2.18 3/183 19377
/proc/meminfo: memFree=27308388/32872528 swapFree=1394328/1580332
[pid=19307] ppid=19304 vsize=1403460 CPUtime=1722.02 cores=1,3,5,7
/proc/19307/stat : 19307 (toysat) R 19304 19307 19119 0 -1 4202496 291555 0 0 0 172052 150 0 0 20 0 4 0 11110169 1437143040 292366 33554432000 4194304 16246674 140736444624816 140736444606720 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19307/statm: 350865 292366 901 2943 0 347759 0
[pid=19307/tid=19308] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19308/stat : 19308 (toysat) S 19304 19307 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292366 33554432000 4194304 16246674 140736444624816 140320977169648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19307/tid=19309] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19309/stat : 19309 (toysat) S 19304 19307 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292366 33554432000 4194304 16246674 140736444624816 140320966679792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19307/tid=19310] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19310/stat : 19310 (toysat) S 19304 19307 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292366 33554432000 4194304 16246674 140736444624816 140320956206256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1403460

[startup+1782.3 s]
/proc/loadavg: 2.15 2.18 2.17 3/183 19378
/proc/meminfo: memFree=27307800/32872528 swapFree=1394328/1580332
[pid=19307] ppid=19304 vsize=1403460 CPUtime=1782 cores=1,3,5,7
/proc/19307/stat : 19307 (toysat) R 19304 19307 19119 0 -1 4202496 291574 0 0 0 178049 151 0 0 20 0 4 0 11110169 1437143040 292366 33554432000 4194304 16246674 140736444624816 140736444606720 5522977 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19307/statm: 350865 292366 901 2943 0 347759 0
[pid=19307/tid=19308] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19308/stat : 19308 (toysat) S 19304 19307 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292366 33554432000 4194304 16246674 140736444624816 140320977169648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19307/tid=19309] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19309/stat : 19309 (toysat) S 19304 19307 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292366 33554432000 4194304 16246674 140736444624816 140320966679792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19307/tid=19310] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19310/stat : 19310 (toysat) S 19304 19307 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292366 33554432000 4194304 16246674 140736444624816 140320956206256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1403460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.11 2.17 2.17 3/183 19378
/proc/meminfo: memFree=27307776/32872528 swapFree=1394328/1580332
[pid=19307] ppid=19304 vsize=1403460 CPUtime=1800.08 cores=1,3,5,7
/proc/19307/stat : 19307 (toysat) R 19304 19307 19119 0 -1 4202496 291590 0 0 0 179857 151 0 0 20 0 4 0 11110169 1437143040 292366 33554432000 4194304 16246674 140736444624816 140736444606720 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19307/statm: 350865 292366 901 2943 0 347759 0
[pid=19307/tid=19308] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19308/stat : 19308 (toysat) S 19304 19307 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292366 33554432000 4194304 16246674 140736444624816 140320977169648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19307/tid=19309] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19309/stat : 19309 (toysat) S 19304 19307 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292366 33554432000 4194304 16246674 140736444624816 140320966679792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19307/tid=19310] ppid=19304 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/19307/task/19310/stat : 19310 (toysat) S 19304 19307 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110169 1437143040 292366 33554432000 4194304 16246674 140736444624816 140320956206256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1403460

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.46
CPU time (s): 1800.15
CPU user time (s): 1798.58
CPU system time (s): 1.56876
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 1403460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.58
system time used= 1.56876
maximum resident set size= 1169464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291590
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= 54
involuntary context switches= 2035

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5853 second user time and 6.89495 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-29 16:33:36
IDJOB=4117366
IDBENCH=111567
IDSOLVER=2542
FILE ID=node139/4117366-1467210816
RUNJOBID= node139-1467208982-19136
PBS_JOBID= 19997572
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-sep4.5.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117366-1467210816/watcher-4117366-1467210816 -o /tmp/evaluation-result-4117366-1467210816/solver-4117366-1467210816 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467208982-19136 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117366-1467210816.opb

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

MD5SUM BENCH= 1622df9aaccf800bf3d8a8230db1e870
RANDOM SEED=1757157642

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.092
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.48
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.092
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:        29608016 kB
Buffers:           93312 kB
Cached:           834428 kB
SwapCached:         3080 kB
Active:           739036 kB
Inactive:         210504 kB
Active(anon):      21220 kB
Inactive(anon):     3176 kB
Active(file):     717816 kB
Inactive(file):   207328 kB
Unevictable:     1580332 kB
Mlocked:         1394328 kB
SwapTotal:      67108856 kB
SwapFree:       67097568 kB
Dirty:             34964 kB
Writeback:             0 kB
AnonPages:       1584080 kB
Mapped:             9908 kB
Shmem:                 0 kB
Slab:             599348 kB
SReclaimable:      43784 kB
SUnreclaim:       555564 kB
KernelStack:        1512 kB
PageTables:         8516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2608324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    172032 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= 71676 MiB
End job on node139 at 2016-06-29 17:03:36