Trace number 4079342

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.07 1800.53

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/IC/
normalized-minisat50_6_9_5_ic.opb
MD5SUMb21934a70a1a4d281831f1d388e1f253
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark30254559
Best CPU time to get the best result obtained on this benchmark1800.8
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables125200
Total number of constraints250157
Number of constraints which are clauses120150
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints130000
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 7400
Biggest coefficient in the objective function 160989184
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 45888664096
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 160989184
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 45888664096
Number of bits of the biggest sum of numbers36
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-08T02:06:28+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-4079342-1465344387.opb"]
0.00/0.01	c use --random-gen="2632093787 1571957897 4249352307 3146087608 600642027 1901198193 449501281 3958397465 1295707526 1843165116 4064164210 3427427708 3308260959 2781888697 873718829 3809623563 1851433210 421755670 2309139329 1678162475 4022578636 1484887854 2634000573 583211618 4292787364 2007618357 3341755179 1532099460 3911703051 2242060728 1029930413 1464053027 1043842082 575516020 3927847795 2430039194 1913142699 3199058500 3358022909 4122832817 1983095062 773164125 2517631157 3130544498 2203800604 4251077922 573726469 3894780521 4109310029 1083370017 3795234388 1973263074 2549040214 193061501 1494541632 3633870983 2688375762 3536503875 3804878824 226664867 4276853121 1765998187 3832071551 1793653438 3579846468 3450280583 576644415 1435297538 1016642869 1658015083 309694385 3194770881 1139039459 2610072159 3289622993 990324371 2054444702 170238515 3699594667 3933991678 2768197285 573678104 3637405521 3849704539 2509898853 2727810468 1795723591 1771261020 611792091 1266370223 612735924 3494887330 1493991698 3903697989 4253022498 3648471348 3137865314 2907737711 3758730876 718351530 2928747122 1707907380 1626988762 1954740500 2048150328 2461941106 1528263563 3980134676 1825854147 2067824242 3180934279 2719407482 1413884390 4146086052 3507184229 2848572215 4099478229 1643211247 565997509 3058746654 3830278303 3207832660 3453853563 3763547820 3670059113 1333843820 1475933636 1750836454 2719796784 2283028620 2114102226 3695554334 341924971 1654824672 1090140435 1934073988 3817518696 2711716457 2699934646 1811117789 3329875170 3455279110 1949287143 1431807847 1038257843 997308990 1173753308 1570016319 2141901668 267767303 1739697661 540881237 4170062993 2743630718 2913183495 152227081 486388403 499961572 2754391398 2414105744 2712744330 2316258923 3612969101 3893764934 1946379876 4219787931 43934898 1192750359 1192345936 2036916421 2932765766 2597976652 3947158437 1366437368 1797785645 2042477797 2457414624 1967210429 1376372155 643110580 184449997 1395622236 2186122071 3918034077 3264866033 2092443160 3727546677 1567915742 1008433769 2808516187 966054837 2699079862 2086310329 3297948627 1511628311 3373663150 1847123682 2824139273 3712229444 841480195 587346793 1602730555 2362322981 3550684610 897262980 2633932667 2849470676 3913883003 561784074 1175478950 1645944775 834041918 1647430673 1006141405 784002700 2290010967 2525425430 3471913193 1040856436 2214552248 744268325 1448691911 3081362113 4213730012 1106231965 1491709313 2872613218 3333792944 3908855213 1233093981 3307223151 640218703 668336470 2741683325 2204289228 2645771043 3113197053 3329605673 2254688192 100029712 2816504659 1676509669 916044929 1584263067 2083567699 1540954841 1650358665 3310086519 1576287745 196129511 2485230873 2618695094 2443603205 2716200550 4007384899 2495823930 255 362436" option to reproduce the execution
1.98/2.05	c #vars 125200
1.98/2.05	c #constraints 250157
6.89/6.92	c BCD2: Hardening is enabled.
6.89/6.92	c BCD2: BiasedSearch is enabled.
6.89/6.92	c Solving starts ...
6.89/6.92	c ============================[ Search Statistics ]============================
6.89/6.92	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.89/6.92	c       |         |          |          |    Limit     GC | Var      | Constra 
6.89/6.92	c =============================================================================
6.98/7.02	c  0.0s |       0 |        0 |        0 |   127569      0 |      150 |        0
18.29/18.31	c 11.3s |       0 |      145 |      100 |   127569      0 |      150 |        0
18.39/18.43	c 11.4s |       1 |      145 |      100 |   127569      0 |      150 |        0
20.99/21.02	c 14.0s |       2 |      501 |      250 |   140326      0 |      150 |        0
24.29/24.31	c 17.3s |       2 |      777 |      450 |   154359      0 |      150 |        0
24.68/24.78	c 17.8s |       3 |      816 |      475 |   154359      0 |      150 |        0
27.08/27.10	c 20.1s |       3 |     1058 |      675 |   169795      0 |      150 |        0
28.38/28.40	c 21.4s |       4 |     1198 |      813 |   169795      0 |      150 |        0
30.38/30.47	c 23.4s |       4 |     1603 |      913 |   186775      0 |      150 |        0
32.88/32.97	c 26.0s |       4 |     1808 |     1113 |   186775      0 |      150 |        0
35.48/35.59	c 28.6s |       4 |     2013 |     1313 |   186775      0 |      150 |        0
35.78/35.81	c 28.8s |       5 |     2022 |     1320 |   186775      0 |      150 |        0
38.68/38.70	c 31.7s |       5 |     2413 |     1520 |   205453      0 |      150 |        0
41.08/41.16	c 34.1s |       5 |     2619 |     1620 |   205453      0 |      150 |        0
43.28/43.33	c 36.3s |       5 |     2717 |     1720 |   205453      0 |      150 |        0
47.39/47.48	c 40.5s |       5 |     2837 |     1820 |   205453      0 |      150 |        0
50.88/50.94	c 43.9s |       5 |     2951 |     1920 |   205453      0 |      150 |        0
53.18/53.22	c 46.2s |       5 |     3145 |     2020 |   205453      0 |      150 |        0
54.58/54.67	c 47.6s |       6 |     3202 |     2081 |   225999      0 |      150 |        0
56.98/57.09	c 50.1s |       6 |     3555 |     2281 |   225999      0 |      150 |        0
59.77/59.80	c 52.8s |       6 |     3876 |     2581 |   225999      0 |      150 |        0
62.47/62.50	c 55.5s |       6 |     4191 |     2881 |   225999      0 |      150 |        0
65.27/65.31	c 58.3s |       6 |     4503 |     3181 |   225999      0 |      150 |        0
65.77/65.81	c 58.8s |       7 |     4548 |     3223 |   248599      0 |      150 |        0
68.37/68.45	c 61.4s |       7 |     5178 |     3423 |   248599      0 |      150 |        0
70.77/70.82	c 63.8s |       7 |     5496 |     3723 |   248599      0 |      150 |        0
73.36/73.46	c 66.4s |       7 |     5804 |     4023 |   248599      0 |      150 |        0
75.56/75.65	c 68.6s |       7 |     6100 |     4323 |   248599      0 |      150 |        0
78.07/78.14	c 71.1s |       7 |     6410 |     4623 |   248599      0 |      150 |        0
80.46/80.58	c 73.6s |       7 |     6711 |     4923 |   273459      0 |      150 |        0
80.66/80.79	c 73.8s |       8 |     6725 |     4936 |   273459      0 |      150 |        0
83.46/83.59	c 76.6s |       8 |     7017 |     5136 |   273459      0 |      150 |        0
85.77/85.87	c 78.8s |       8 |     7234 |     5336 |   273459      0 |      150 |        0
88.16/88.24	c 81.2s |       8 |     7443 |     5536 |   273459      0 |      150 |        0
90.55/90.69	c 83.7s |       8 |     7653 |     5736 |   273459      0 |      150 |        0
92.95/93.03	c 86.0s |       8 |     7934 |     5936 |   273459      0 |      150 |        0
96.15/96.22	c 89.2s |       8 |     8257 |     6236 |   273459      0 |      150 |        0
98.35/98.47	c 91.5s |       8 |     8473 |     6436 |   273459      0 |      150 |        0
100.65/100.76	c 93.7s |       8 |     8680 |     6636 |   273459      0 |      150 |        0
102.75/102.82	c 95.8s |       8 |     8889 |     6836 |   273459      0 |      150 |        0
105.25/105.38	c 98.4s |       8 |     9107 |     7036 |   273459      0 |      150 |        0
107.65/107.78	c  100s |       8 |     9330 |     7236 |   273459      0 |      150 |        0
110.05/110.16	c  103s |       8 |     9541 |     7436 |   273459      0 |      150 |        0
110.84/110.93	c  103s |       9 |     9613 |     7506 |   300805      0 |      150 |        0
112.84/112.98	c  105s |       9 |     9820 |     7606 |   300805      0 |      150 |        0
116.24/116.35	c  109s |       9 |    10031 |     7806 |   300805      0 |      150 |        0
119.44/119.52	c  112s |       9 |    10242 |     8006 |   300805      0 |      150 |        0
122.15/122.21	c  115s |       9 |    10478 |     8206 |   300805      0 |      150 |        0
124.74/124.82	c  117s |       9 |    10694 |     8406 |   300805      0 |      150 |        0
127.54/127.68	c  120s |       9 |    10919 |     8606 |   300805      0 |      150 |        0
130.03/130.12	c  123s |       9 |    11149 |     8806 |   300805      0 |      150 |        0
132.83/132.95	c  125s |       9 |    11379 |     9006 |   300805      0 |      150 |        0
135.73/135.86	c  128s |       9 |    11621 |     9206 |   300805      0 |      150 |        0
138.83/138.98	c  131s |       9 |    11845 |     9406 |   300805      0 |      150 |        0
141.63/141.78	c  134s |       9 |    12083 |     9606 |   300805      0 |      150 |        0
144.23/144.34	c  137s |       9 |    12335 |     9806 |   300805      0 |      150 |        0
146.83/146.99	c  139s |       9 |    12551 |    10006 |   300805      0 |      150 |        0
149.42/149.60	c  142s |       9 |    12776 |    10206 |   300805      0 |      150 |        0
152.22/152.32	c  145s |       9 |    12994 |    10406 |   300805      0 |      150 |        0
155.03/155.11	c  148s |       9 |    13218 |    10606 |   300805      0 |      150 |        0
157.52/157.62	c  150s |       9 |    13465 |    10806 |   300805      0 |      150 |        0
159.92/160.04	c  153s |       9 |    13670 |    11006 |   300805      0 |      150 |        0
162.32/162.41	c  155s |       9 |    13887 |    11206 |   300805      0 |      150 |        0
164.32/164.45	c  157s |      10 |    14068 |    11361 |   330886      0 |      150 |        0
166.31/166.46	c  159s |      10 |    14264 |    11461 |   330886      0 |      150 |        0
169.01/169.19	c  162s |      10 |    14485 |    11661 |   330886      0 |      150 |        0
171.91/172.02	c  165s |      10 |    14710 |    11861 |   330886      0 |      150 |        0
175.31/175.45	c  168s |      10 |    14920 |    12061 |   330886      0 |      150 |        0
177.81/177.96	c  170s |      10 |    15166 |    12261 |   330886      0 |      150 |        0
180.32/180.43	c  173s |      10 |    15392 |    12461 |   330886      0 |      150 |        0
183.21/183.36	c  176s |      10 |    15622 |    12661 |   330886      0 |      150 |        0
186.11/186.23	c  179s |      10 |    15845 |    12861 |   330886      0 |      150 |        0
188.81/188.98	c  181s |      10 |    16081 |    13061 |   330886      0 |      150 |        0
191.31/191.44	c  184s |      10 |    16306 |    13261 |   330886      0 |      150 |        0
193.71/193.89	c  186s |      10 |    16515 |    13461 |   330886      0 |      150 |        0
197.21/197.31	c  190s |      10 |    16739 |    13661 |   330886      0 |      150 |        0
199.80/199.91	c  192s |      10 |    16981 |    13861 |   330886      0 |      150 |        0
202.60/202.78	c  195s |      10 |    17226 |    14061 |   330886      0 |      150 |        0
205.41/205.55	c  198s |      10 |    17441 |    14261 |   330886      0 |      150 |        0
208.21/208.37	c  201s |      10 |    17662 |    14461 |   330886      0 |      150 |        0
211.22/211.37	c  204s |      10 |    17889 |    14661 |   330886      0 |      150 |        0
214.52/214.63	c  207s |      10 |    18111 |    14861 |   330886      0 |      150 |        0
217.51/217.63	c  210s |      10 |    18346 |    15061 |   330886      0 |      150 |        0
220.21/220.36	c  213s |      10 |    18557 |    15261 |   330886      0 |      150 |        0
223.01/223.19	c  216s |      10 |    18803 |    15461 |   330886      0 |      150 |        0
225.91/226.01	c  218s |      10 |    19022 |    15661 |   330886      0 |      150 |        0
228.71/228.82	c  221s |      10 |    19336 |    15961 |   330886      0 |      150 |        0
232.30/232.43	c  225s |      10 |    19565 |    16161 |   330886      0 |      150 |        0
234.70/234.88	c  227s |      10 |    19794 |    16361 |   330886      0 |      150 |        0
237.80/237.94	c  230s |      10 |    20019 |    16561 |   330886      0 |      150 |        0
240.91/241.08	c  234s |      10 |    20235 |    16761 |   330886      0 |      150 |        0
243.70/243.85	c  236s |      10 |    20450 |    16961 |   330886      0 |      150 |        0
245.80/245.90	c  238s |      10 |    20587 |    17061 |   363975      0 |      150 |        0
246.90/247.08	c  240s |      11 |    20686 |    17144 |   363975      0 |      150 |        0
249.60/249.76	c  242s |      11 |    21003 |    17244 |   363975      0 |      150 |        0
257.99/258.12	c  251s |      11 |    21378 |    17344 |   363975      0 |      150 |        0
269.39/269.56	c  262s |      11 |    21452 |    17444 |   363975      0 |      150 |        0
274.28/274.40	c  267s |      11 |    22024 |    17644 |   363975      0 |      150 |        0
283.68/283.85	c  276s |      11 |    22241 |    17744 |   363975      0 |      150 |        0
289.28/289.45	c  282s |      11 |    22501 |    17844 |   363975      0 |      150 |        0
295.37/295.50	c  288s |      11 |    22692 |    17944 |   363975      0 |      150 |        0
298.37/298.55	c  291s |      11 |    22782 |    18044 |   363975      0 |      150 |        0
301.46/301.68	c  294s |      11 |    22928 |    18144 |   363975      0 |      150 |        0
306.56/306.79	c  299s |      11 |    23028 |    18244 |   363975      0 |      150 |        0
311.76/311.97	c  304s |      11 |    23277 |    18344 |   363975      0 |      150 |        0
319.36/319.52	c  312s |      11 |    23449 |    18444 |   363975      0 |      150 |        0
323.66/323.81	c  316s |      11 |    23609 |    18544 |   363975      0 |      150 |        0
328.46/328.64	c  321s |      11 |    23739 |    18644 |   363975      0 |      150 |        0
332.25/332.49	c  325s |      11 |    23998 |    18744 |   363975      0 |      150 |        0
335.36/335.54	c  328s |      11 |    24091 |    18844 |   363975      0 |      150 |        0
338.25/338.49	c  331s |      11 |    24203 |    18944 |   363975      0 |      150 |        0
340.85/341.03	c  334s |      11 |    24454 |    19144 |   363975      0 |      150 |        0
346.75/346.95	c  339s |      11 |    24644 |    19244 |   363975      0 |      150 |        0
349.24/349.43	c  342s |      11 |    24908 |    19444 |   363975      0 |      150 |        0
352.24/352.47	c  345s |      11 |    25158 |    19644 |   363975      0 |      150 |        0
355.44/355.62	c  348s |      11 |    25865 |    19744 |   363975      0 |      150 |        0
359.14/359.32	c  352s |      11 |    26007 |    19844 |   363975      0 |      150 |        0
362.84/363.07	c  356s |      11 |    26438 |    20044 |   363975      0 |      150 |        0
365.64/365.83	c  358s |      11 |    26862 |    20244 |   363975      0 |      150 |        0
369.54/369.71	c  362s |      11 |    27275 |    20444 |   363975      0 |      150 |        0
373.13/373.31	c  366s |      11 |    27746 |    20644 |   363975      0 |      150 |        0
377.14/377.33	c  370s |      11 |    28101 |    20744 |   363975      0 |      150 |        0
380.63/380.84	c  373s |      11 |    28430 |    20944 |   363975      0 |      150 |        0
387.23/387.42	c  380s |      11 |    29008 |    21144 |   363975      0 |      150 |        0
392.02/392.29	c  385s |      11 |    29280 |    21244 |   363975      0 |      150 |        0
395.32/395.55	c  388s |      11 |    29509 |    21344 |   363975      0 |      150 |        0
398.92/399.13	c  392s |      11 |    29646 |    21444 |   363975      0 |      150 |        0
402.53/402.77	c  395s |      11 |    30413 |    21544 |   363975      0 |      150 |        0
407.12/407.37	c  400s |      11 |    30883 |    21644 |   363975      0 |      150 |        0
410.22/410.41	c  403s |      11 |    31034 |    21744 |   363975      0 |      150 |        0
414.32/414.52	c  407s |      11 |    32163 |    21844 |   363975      0 |      150 |        0
418.22/418.48	c  411s |      11 |    32646 |    22044 |   363975      0 |      150 |        0
421.13/421.32	c  414s |      11 |    32895 |    22244 |   363975      0 |      150 |        0
423.43/423.65	c  416s |      11 |    33021 |    22344 |   363975      0 |      150 |        0
427.42/427.64	c  420s |      11 |    33239 |    22544 |   363975      0 |      150 |        0
431.32/431.59	c  424s |      11 |    33454 |    22744 |   363975      0 |      150 |        0
433.82/434.08	c  427s |      11 |    33563 |    22844 |   363975      0 |      150 |        0
437.52/437.78	c  430s |      11 |    33763 |    23044 |   363975      0 |      150 |        0
440.72/440.98	c  433s |      11 |    34004 |    23244 |   363975      0 |      150 |        0
444.22/444.43	c  437s |      11 |    34247 |    23444 |   363975      0 |      150 |        0
446.42/446.63	c  439s |      11 |    34396 |    23544 |   363975      0 |      150 |        0
449.31/449.52	c  442s |      11 |    34651 |    23744 |   363975      0 |      150 |        0
452.21/452.41	c  445s |      11 |    34914 |    23944 |   363975      0 |      150 |        0
455.32/455.51	c  448s |      11 |    35181 |    24144 |   363975      0 |      150 |        0
458.01/458.27	c  451s |      11 |    35430 |    24344 |   363975      0 |      150 |        0
461.92/462.14	c  455s |      11 |    35648 |    24544 |   363975      0 |      150 |        0
464.41/464.68	c  457s |      11 |    35885 |    24744 |   363975      0 |      150 |        0
467.11/467.30	c  460s |      11 |    36091 |    24944 |   363975      0 |      150 |        0
469.52/469.72	c  462s |      11 |    36324 |    25144 |   363975      0 |      150 |        0
472.51/472.74	c  465s |      11 |    36657 |    25444 |   363975      0 |      150 |        0
475.21/475.43	c  468s |      11 |    36995 |    25644 |   363975      0 |      150 |        0
477.41/477.68	c  470s |      12 |    37229 |    25819 |   400373      0 |      150 |        0
480.20/480.49	c  473s |      12 |    37523 |    25919 |   400373      0 |      150 |        0
482.90/483.16	c  476s |      12 |    37652 |    26019 |   400373      0 |      150 |        0
486.40/486.61	c  479s |      12 |    37975 |    26219 |   400373      0 |      150 |        0
488.40/488.61	c  481s |      12 |    38133 |    26319 |   400373      0 |      150 |        0
496.50/496.78	c  489s |      12 |    38461 |    26519 |   400373      0 |      150 |        0
498.80/499.07	c  492s |      12 |    38590 |    26619 |   400373      0 |      150 |        0
505.20/505.41	c  498s |      12 |    38822 |    26719 |   400373      0 |      150 |        0
512.79/513.02	c  506s |      12 |    39021 |    26819 |   400373      0 |      150 |        0
518.00/518.21	c  511s |      12 |    39252 |    26919 |   400373      0 |      150 |        0
528.59/528.85	c  521s |      12 |    39594 |    27119 |   400373      0 |      150 |        0
534.39/534.62	c  527s |      12 |    39738 |    27219 |   400373      0 |      150 |        0
539.48/539.71	c  532s |      12 |    39837 |    27319 |   400373      0 |      150 |        0
545.68/545.97	c  538s |      12 |    39973 |    27419 |   400373      0 |      150 |        0
551.68/551.90	c  544s |      12 |    40065 |    27519 |   400373      0 |      150 |        0
557.28/557.58	c  550s |      12 |    40169 |    27619 |   400373      0 |      150 |        0
563.08/563.38	c  556s |      12 |    40274 |    27719 |   400373      0 |      150 |        0
565.97/566.28	c  559s |      12 |    40533 |    27919 |   400373      0 |      150 |        0
568.07/568.30	c  561s |      12 |    40663 |    28019 |   400373      0 |      150 |        0
572.17/572.43	c  565s |      12 |    40897 |    28219 |   400373      0 |      150 |        0
578.66/578.95	c  571s |      12 |    41303 |    28419 |   400373      0 |      150 |        0
580.96/581.22	c  574s |      12 |    41402 |    28519 |   400373      0 |      150 |        0
586.56/586.87	c  579s |      12 |    42023 |    28619 |   400373      0 |      150 |        0
589.16/589.44	c  582s |      12 |    42121 |    28719 |   400373      0 |      150 |        0
592.36/592.67	c  585s |      12 |    42398 |    28819 |   400373      0 |      150 |        0
595.65/595.98	c  588s |      12 |    42621 |    28919 |   400373      0 |      150 |        0
598.16/598.43	c  591s |      12 |    42722 |    29019 |   400373      0 |      150 |        0
601.05/601.37	c  594s |      12 |    43235 |    29119 |   400373      0 |      150 |        0
604.95/605.26	c  598s |      12 |    43413 |    29219 |   400373      0 |      150 |        0
607.15/607.45	c  600s |      12 |    43512 |    29319 |   400373      0 |      150 |        0
610.05/610.31	c  603s |      12 |    43606 |    29419 |   400373      0 |      150 |        0
612.75/613.05	c  606s |      12 |    43707 |    29519 |   400373      0 |      150 |        0
615.35/615.60	c  608s |      12 |    43813 |    29619 |   400373      0 |      150 |        0
619.25/619.54	c  612s |      12 |    44044 |    29819 |   400373      0 |      150 |        0
621.25/621.58	c  614s |      12 |    44166 |    29919 |   400373      0 |      150 |        0
625.34/625.65	c  618s |      12 |    44411 |    30119 |   400373      0 |      150 |        0
627.85/628.20	c  621s |      12 |    44506 |    30219 |   400373      0 |      150 |        0
630.74/631.04	c  624s |      12 |    44606 |    30319 |   400373      0 |      150 |        0
633.84/634.11	c  627s |      12 |    44783 |    30419 |   400373      0 |      150 |        0
637.04/637.39	c  630s |      12 |    45024 |    30619 |   400373      0 |      150 |        0
640.13/640.41	c  633s |      12 |    45252 |    30819 |   400373      0 |      150 |        0
642.83/643.13	c  636s |      12 |    45496 |    31019 |   400373      0 |      150 |        0
647.64/647.95	c  640s |      12 |    46054 |    31219 |   400373      0 |      150 |        0
649.94/650.29	c  643s |      12 |    46285 |    31419 |   400373      0 |      150 |        0
652.33/652.61	c  645s |      12 |    46502 |    31619 |   400373      0 |      150 |        0
654.73/655.04	c  648s |      12 |    46740 |    31819 |   400373      0 |      150 |        0
658.33/658.61	c  651s |      12 |    46956 |    32019 |   400373      0 |      150 |        0
660.42/660.74	c  653s |      12 |    47161 |    32219 |   400373      0 |      150 |        0
662.72/663.08	c  656s |      12 |    47389 |    32419 |   400373      0 |      150 |        0
666.12/666.41	c  659s |      12 |    47617 |    32619 |   400373      0 |      150 |        0
668.53/668.86	c  661s |      12 |    47836 |    32819 |   400373      0 |      150 |        0
671.42/671.79	c  664s |      12 |    47946 |    32919 |   400373      0 |      150 |        0
673.62/673.93	c  666s |      12 |    48193 |    33119 |   400373      0 |      150 |        0
675.72/676.03	c  669s |      12 |    48457 |    33319 |   400373      0 |      150 |        0
678.02/678.40	c  671s |      12 |    48683 |    33519 |   400373      0 |      150 |        0
680.22/680.51	c  673s |      12 |    49038 |    33619 |   400373      0 |      150 |        0
689.71/690.04	c  683s |      12 |    49109 |    33719 |   400373      0 |      150 |        0
693.92/694.21	c  687s |      12 |    49208 |    33819 |   400373      0 |      150 |        0
698.71/699.01	c  691s |      12 |    49311 |    33919 |   400373      0 |      150 |        0
702.62/702.91	c  695s |      12 |    49413 |    34019 |   400373      0 |      150 |        0
708.21/708.51	c  701s |      12 |    49779 |    34119 |   400373      0 |      150 |        0
712.20/712.54	c  705s |      12 |    49925 |    34219 |   400373      0 |      150 |        0
717.60/717.96	c  710s |      12 |    50136 |    34319 |   400373      0 |      150 |        0
720.00/720.34	c  713s |      12 |    50252 |    34419 |   400373      0 |      150 |        0
723.00/723.30	c  716s |      12 |    50357 |    34519 |   400373      0 |      150 |        0
734.50/734.82	c  727s |      12 |    50839 |    34619 |   400373      0 |      150 |        0
740.20/740.50	c  733s |      12 |    51152 |    34719 |   400373      0 |      150 |        0
745.00/745.37	c  738s |      12 |    51321 |    34819 |   400373      0 |      150 |        0
749.70/750.02	c  743s |      12 |    51545 |    35019 |   400373      0 |      150 |        0
755.89/756.23	c  749s |      12 |    51955 |    35219 |   400373      0 |      150 |        0
761.69/762.01	c  754s |      12 |    52041 |    35319 |   400373      0 |      150 |        0
768.09/768.44	c  761s |      12 |    52211 |    35419 |   400373      0 |      150 |        0
775.69/776.06	c  769s |      12 |    52603 |    35519 |   400373      0 |      150 |        0
780.59/780.95	c  773s |      12 |    52703 |    35619 |   400373      0 |      150 |        0
784.99/785.36	c  778s |      12 |    52850 |    35719 |   400373      0 |      150 |        0
790.99/791.34	c  784s |      12 |    53386 |    35819 |   400373      0 |      150 |        0
794.69/795.03	c  788s |      12 |    53678 |    35919 |   400373      0 |      150 |        0
799.40/799.79	c  792s |      12 |    54008 |    36019 |   400373      0 |      150 |        0
802.49/802.85	c  795s |      12 |    54151 |    36119 |   400373      0 |      150 |        0
806.39/806.74	c  799s |      12 |    54316 |    36219 |   400373      0 |      150 |        0
812.79/813.16	c  806s |      12 |    54621 |    36319 |   400373      0 |      150 |        0
822.69/823.01	c  815s |      12 |    54729 |    36419 |   400373      0 |      150 |        0
828.89/829.22	c  822s |      12 |    55188 |    36519 |   400373      0 |      150 |        0
837.79/838.17	c  831s |      12 |    55449 |    36619 |   400373      0 |      150 |        0
846.29/846.64	c  839s |      12 |    55740 |    36719 |   400373      0 |      150 |        0
854.89/855.28	c  848s |      12 |    55844 |    36819 |   400373      0 |      150 |        0
864.29/864.68	c  857s |      12 |    55927 |    36919 |   400373      0 |      150 |        0
872.68/873.06	c  866s |      12 |    56029 |    37019 |   400373      0 |      150 |        0
876.58/876.93	c  869s |      12 |    56137 |    37119 |   400373      0 |      150 |        0
881.78/882.19	c  875s |      12 |    56231 |    37219 |   400373      0 |      150 |        0
886.98/887.30	c  880s |      12 |    56579 |    37419 |   400373      0 |      150 |        0
889.18/889.51	c  882s |      12 |    56805 |    37519 |   400373      0 |      150 |        0
892.18/892.57	c  885s |      12 |    57047 |    37719 |   400373      0 |      150 |        0
894.28/894.64	c  887s |      12 |    57286 |    37919 |   400373      0 |      150 |        0
897.48/897.89	c  890s |      12 |    57629 |    38219 |   400373      0 |      150 |        0
900.68/901.03	c  894s |      12 |    57964 |    38519 |   400373      0 |      150 |        0
903.67/904.00	c  896s |      12 |    58358 |    38719 |   440411      0 |      150 |        0
904.77/905.17	c  898s |      13 |    58482 |    38832 |   440411      0 |      150 |        0
907.67/908.00	c  900s |      13 |    58764 |    38932 |   440411      0 |      150 |        0
912.17/912.57	c  905s |      13 |    59041 |    39032 |   440411      0 |      150 |        0
922.97/923.35	c  916s |      13 |    59138 |    39132 |   440411      0 |      150 |        0
928.37/928.79	c  921s |      13 |    59238 |    39232 |   440411      0 |      150 |        0
935.27/935.64	c  928s |      13 |    59353 |    39332 |   440411      0 |      150 |        0
942.07/942.43	c  935s |      13 |    59444 |    39432 |   440411      0 |      150 |        0
947.77/948.13	c  941s |      13 |    59534 |    39532 |   440411      0 |      150 |        0
954.97/955.31	c  948s |      13 |    59782 |    39632 |   440411      0 |      150 |        0
962.56/962.96	c  955s |      13 |    59888 |    39732 |   440411      0 |      150 |        0
971.66/972.04	c  965s |      13 |    59991 |    39832 |   440411      0 |      150 |        0
982.97/983.36	c  976s |      13 |    60111 |    39932 |   440411      0 |      150 |        0
986.37/986.76	c  979s |      13 |    60216 |    40032 |   440411      0 |      150 |        0
991.06/991.42	c  984s |      13 |    60432 |    40232 |   440411      0 |      150 |        0
993.16/993.50	c  986s |      13 |    60531 |    40332 |   440411      0 |      150 |        0
997.47/997.82	c  990s |      13 |    60735 |    40532 |   440411      0 |      150 |        0
1001.96/1002.31	c  995s |      13 |    60936 |    40732 |   440411      0 |      150 |        0
1004.36/1004.73	c  997s |      13 |    61036 |    40832 |   440411      0 |      150 |        0
1008.56/1008.98	c 1001s |      13 |    61238 |    41032 |   440411      0 |      150 |        0
1011.16/1011.56	c 1004s |      13 |    61337 |    41132 |   440411      0 |      150 |        0
1013.66/1014.07	c 1007s |      13 |    61439 |    41232 |   440411      0 |      150 |        0
1015.96/1016.31	c 1009s |      13 |    61535 |    41332 |   440411      0 |      150 |        0
1019.65/1020.04	c 1013s |      13 |    61638 |    41432 |   440411      0 |      150 |        0
1021.95/1022.31	c 1015s |      13 |    61741 |    41532 |   440411      0 |      150 |        0
1024.05/1024.46	c 1017s |      13 |    61835 |    41632 |   440411      0 |      150 |        0
1026.65/1027.02	c 1019s |      13 |    61938 |    41732 |   440411      0 |      150 |        0
1029.16/1029.51	c 1022s |      13 |    62036 |    41832 |   440411      0 |      150 |        0
1033.46/1033.89	c 1026s |      13 |    62260 |    42032 |   440411      0 |      150 |        0
1035.87/1036.22	c 1029s |      13 |    62486 |    42232 |   440411      0 |      150 |        0
1038.56/1038.91	c 1031s |      13 |    62714 |    42432 |   440411      0 |      150 |        0
1040.66/1041.05	c 1034s |      13 |    62819 |    42532 |   440411      0 |      150 |        0
1044.56/1044.96	c 1037s |      13 |    63026 |    42732 |   440411      0 |      150 |        0
1046.76/1047.14	c 1040s |      13 |    63245 |    42932 |   440411      0 |      150 |        0
1049.06/1049.45	c 1042s |      13 |    63486 |    43132 |   440411      0 |      150 |        0
1052.06/1052.46	c 1045s |      13 |    63592 |    43232 |   440411      0 |      150 |        0
1055.06/1055.40	c 1048s |      13 |    63835 |    43432 |   440411      0 |      150 |        0
1057.56/1057.99	c 1050s |      13 |    64067 |    43632 |   440411      0 |      150 |        0
1060.45/1060.85	c 1053s |      13 |    64331 |    43832 |   440411      0 |      150 |        0
1064.65/1065.03	c 1058s |      13 |    64635 |    44032 |   440411      0 |      150 |        0
1066.95/1067.32	c 1060s |      13 |    64888 |    44232 |   440411      0 |      150 |        0
1069.35/1069.71	c 1062s |      13 |    65111 |    44432 |   440411      0 |      150 |        0
1078.55/1078.91	c 1071s |      13 |    65625 |    44532 |   440411      0 |      150 |        0
1084.85/1085.21	c 1078s |      13 |    65821 |    44632 |   440411      0 |      150 |        0
1090.55/1090.97	c 1083s |      13 |    65994 |    44732 |   440411      0 |      150 |        0
1095.55/1095.98	c 1088s |      13 |    66367 |    44832 |   440411      0 |      150 |        0
1100.55/1100.96	c 1093s |      13 |    66472 |    44932 |   440411      0 |      150 |        0
1103.95/1104.34	c 1097s |      13 |    66874 |    45032 |   440411      0 |      150 |        0
1106.65/1107.03	c 1100s |      13 |    67176 |    45132 |   440411      0 |      150 |        0
1110.35/1110.72	c 1103s |      13 |    67454 |    45232 |   440411      0 |      150 |        0
1114.14/1114.59	c 1107s |      13 |    67813 |    45332 |   440411      0 |      150 |        0
1120.44/1120.87	c 1113s |      13 |    68274 |    45432 |   440411      0 |      150 |        0
1123.95/1124.33	c 1117s |      13 |    68468 |    45532 |   440411      0 |      150 |        0
1126.15/1126.57	c 1119s |      13 |    68682 |    45632 |   440411      0 |      150 |        0
1129.24/1129.69	c 1122s |      13 |    68875 |    45832 |   440411      0 |      150 |        0
1131.84/1132.30	c 1125s |      13 |    69046 |    45932 |   440411      0 |      150 |        0
1135.54/1135.96	c 1128s |      13 |    69317 |    46032 |   440411      0 |      150 |        0
1138.64/1139.01	c 1131s |      13 |    69524 |    46232 |   440411      0 |      150 |        0
1140.84/1141.22	c 1134s |      13 |    69618 |    46332 |   440411      0 |      150 |        0
1143.24/1143.63	c 1136s |      13 |    69723 |    46432 |   440411      0 |      150 |        0
1146.14/1146.58	c 1139s |      13 |    69925 |    46632 |   440411      0 |      150 |        0
1149.15/1149.52	c 1142s |      13 |    70133 |    46832 |   440411      0 |      150 |        0
1152.94/1153.37	c 1146s |      13 |    70334 |    47032 |   440411      0 |      150 |        0
1156.64/1157.00	c 1149s |      13 |    70545 |    47232 |   440411      0 |      150 |        0
1159.94/1160.38	c 1153s |      13 |    70750 |    47432 |   440411      0 |      150 |        0
1162.64/1163.09	c 1156s |      13 |    70855 |    47532 |   440411      0 |      150 |        0
1165.84/1166.29	c 1159s |      13 |    71052 |    47732 |   440411      0 |      150 |        0
1168.14/1168.50	c 1161s |      13 |    71156 |    47832 |   440411      0 |      150 |        0
1171.43/1171.85	c 1164s |      13 |    71352 |    48032 |   440411      0 |      150 |        0
1173.44/1173.88	c 1166s |      13 |    71452 |    48132 |   440411      0 |      150 |        0
1175.54/1175.97	c 1168s |      13 |    71552 |    48232 |   440411      0 |      150 |        0
1179.73/1180.14	c 1173s |      13 |    71755 |    48432 |   440411      0 |      150 |        0
1181.73/1182.15	c 1175s |      13 |    71860 |    48532 |   440411      0 |      150 |        0
1186.23/1186.67	c 1179s |      13 |    72131 |    48732 |   440411      0 |      150 |        0
1188.33/1188.73	c 1181s |      13 |    72347 |    48932 |   440411      0 |      150 |        0
1192.93/1193.30	c 1186s |      13 |    73668 |    49132 |   440411      0 |      150 |        0
1198.13/1198.52	c 1191s |      13 |    73845 |    49232 |   440411      0 |      150 |        0
1203.63/1204.06	c 1197s |      13 |    74391 |    49332 |   440411      0 |      150 |        0
1208.13/1208.50	c 1201s |      13 |    74805 |    49432 |   440411      0 |      150 |        0
1211.12/1211.51	c 1204s |      13 |    75433 |    49532 |   440411      0 |      150 |        0
1215.02/1215.42	c 1208s |      13 |    75680 |    49732 |   440411      0 |      150 |        0
1220.42/1220.82	c 1213s |      13 |    76488 |    49932 |   440411      0 |      150 |        0
1222.62/1223.00	c 1215s |      13 |    76673 |    50032 |   440411      0 |      150 |        0
1226.72/1227.11	c 1220s |      13 |    76904 |    50232 |   440411      0 |      150 |        0
1229.22/1229.67	c 1222s |      13 |    77039 |    50332 |   440411      0 |      150 |        0
1231.73/1232.13	c 1225s |      13 |    77214 |    50432 |   440411      0 |      150 |        0
1235.92/1236.33	c 1229s |      13 |    77417 |    50632 |   440411      0 |      150 |        0
1238.23/1238.65	c 1231s |      13 |    77534 |    50732 |   440411      0 |      150 |        0
1241.42/1241.80	c 1234s |      13 |    77754 |    50932 |   440411      0 |      150 |        0
1244.83/1245.22	c 1238s |      13 |    77998 |    51132 |   440411      0 |      150 |        0
1248.23/1248.65	c 1241s |      13 |    78213 |    51332 |   440411      0 |      150 |        0
1251.83/1252.20	c 1245s |      13 |    78438 |    51532 |   440411      0 |      150 |        0
1255.13/1255.54	c 1248s |      13 |    78650 |    51732 |   440411      0 |      150 |        0
1258.52/1258.98	c 1251s |      13 |    78856 |    51932 |   440411      0 |      150 |        0
1262.12/1262.55	c 1255s |      13 |    79085 |    52132 |   440411      0 |      150 |        0
1265.02/1265.47	c 1258s |      13 |    79301 |    52332 |   440411      0 |      150 |        0
1268.12/1268.58	c 1261s |      13 |    79522 |    52532 |   440411      0 |      150 |        0
1271.02/1271.40	c 1264s |      13 |    79724 |    52732 |   440411      0 |      150 |        0
1274.22/1274.66	c 1267s |      13 |    79956 |    52932 |   440411      0 |      150 |        0
1276.22/1276.67	c 1269s |      13 |    80060 |    53032 |   440411      0 |      150 |        0
1279.62/1280.01	c 1272s |      13 |    80277 |    53232 |   440411      0 |      150 |        0
1282.72/1283.19	c 1276s |      13 |    80492 |    53432 |   440411      0 |      150 |        0
1286.02/1286.45	c 1279s |      13 |    80707 |    53632 |   440411      0 |      150 |        0
1289.42/1289.86	c 1282s |      13 |    80910 |    53832 |   440411      0 |      150 |        0
1292.72/1293.12	c 1286s |      13 |    81146 |    54032 |   440411      0 |      150 |        0
1296.12/1296.59	c 1289s |      13 |    81357 |    54232 |   440411      0 |      150 |        0
1299.62/1300.05	c 1293s |      13 |    81566 |    54432 |   440411      0 |      150 |        0
1303.01/1303.43	c 1296s |      13 |    81801 |    54632 |   440411      0 |      150 |        0
1306.42/1306.90	c 1299s |      13 |    82021 |    54832 |   440411      0 |      150 |        0
1310.11/1310.51	c 1303s |      13 |    82253 |    55032 |   440411      0 |      150 |        0
1313.71/1314.19	c 1307s |      13 |    82471 |    55232 |   440411      0 |      150 |        0
1317.42/1317.81	c 1310s |      13 |    82701 |    55432 |   440411      0 |      150 |        0
1321.01/1321.43	c 1314s |      13 |    82930 |    55632 |   440411      0 |      150 |        0
1323.11/1323.52	c 1316s |      13 |    83039 |    55732 |   440411      0 |      150 |        0
1327.51/1327.94	c 1320s |      13 |    83273 |    55932 |   440411      0 |      150 |        0
1329.71/1330.16	c 1323s |      13 |    83372 |    56032 |   440411      0 |      150 |        0
1333.41/1333.83	c 1326s |      13 |    83596 |    56232 |   440411      0 |      150 |        0
1337.11/1337.50	c 1330s |      13 |    83815 |    56432 |   440411      0 |      150 |        0
1339.11/1339.57	c 1332s |      13 |    83934 |    56532 |   440411      0 |      150 |        0
1342.91/1343.34	c 1336s |      13 |    84171 |    56732 |   440411      0 |      150 |        0
1345.21/1345.62	c 1338s |      13 |    84267 |    56832 |   440411      0 |      150 |        0
1348.61/1349.07	c 1342s |      13 |    84482 |    57032 |   440411      0 |      150 |        0
1352.00/1352.43	c 1345s |      13 |    84705 |    57232 |   440411      0 |      150 |        0
1355.30/1355.79	c 1348s |      13 |    84919 |    57432 |   440411      0 |      150 |        0
1358.90/1359.32	c 1352s |      13 |    85126 |    57632 |   440411      0 |      150 |        0
1362.30/1362.79	c 1355s |      13 |    85357 |    57832 |   440411      0 |      150 |        0
1364.40/1364.86	c 1357s |      13 |    85471 |    57932 |   440411      0 |      150 |        0
1368.01/1368.50	c 1361s |      13 |    85682 |    58132 |   484453      0 |      150 |        0
1372.20/1372.67	c 1365s |      13 |    85916 |    58332 |   484453      0 |      150 |        0
1372.80/1373.24	c 1366s |      14 |    85935 |    58352 |   484453      0 |      150 |        0
1377.30/1377.73	c 1370s |      14 |    86225 |    58452 |   484453      0 |      150 |        0
1380.30/1380.77	c 1373s |      14 |    86461 |    58652 |   484453      0 |      150 |        0
1384.20/1384.65	c 1377s |      14 |    86690 |    58852 |   484453      0 |      150 |        0
1387.81/1388.26	c 1381s |      14 |    86909 |    59052 |   484453      0 |      150 |        0
1391.30/1391.76	c 1384s |      14 |    87135 |    59252 |   484453      0 |      150 |        0
1393.50/1393.99	c 1386s |      14 |    87238 |    59352 |   484453      0 |      150 |        0
1396.20/1396.60	c 1389s |      14 |    87352 |    59452 |   484453      0 |      150 |        0
1399.40/1399.83	c 1392s |      14 |    87576 |    59652 |   484453      0 |      150 |        0
1402.49/1402.99	c 1395s |      14 |    87785 |    59852 |   484453      0 |      150 |        0
1406.29/1406.72	c 1399s |      14 |    88010 |    60052 |   484453      0 |      150 |        0
1411.29/1411.75	c 1404s |      14 |    88229 |    60252 |   484453      0 |      150 |        0
1414.09/1414.51	c 1407s |      14 |    88458 |    60352 |   484453      0 |      150 |        0
1417.51/1417.97	c 1410s |      14 |    88681 |    60552 |   484453      0 |      150 |        0
1420.60/1421.03	c 1414s |      14 |    88888 |    60752 |   484453      0 |      150 |        0
1423.60/1424.09	c 1417s |      14 |    89122 |    60952 |   484453      0 |      150 |        0
1427.20/1427.61	c 1420s |      14 |    89306 |    61052 |   484453      0 |      150 |        0
1431.00/1431.44	c 1424s |      14 |    89420 |    61152 |   484453      0 |      150 |        0
1434.20/1434.61	c 1427s |      14 |    89645 |    61352 |   484453      0 |      150 |        0
1437.20/1437.62	c 1430s |      14 |    89895 |    61552 |   484453      0 |      150 |        0
1439.19/1439.65	c 1432s |      14 |    90001 |    61652 |   484453      0 |      150 |        0
1441.99/1442.47	c 1435s |      14 |    90219 |    61852 |   484453      0 |      150 |        0
1445.00/1445.41	c 1438s |      14 |    90430 |    62052 |   484453      0 |      150 |        0
1447.69/1448.12	c 1441s |      14 |    90634 |    62252 |   484453      0 |      150 |        0
1450.79/1451.24	c 1444s |      14 |    90833 |    62452 |   484453      0 |      150 |        0
1454.19/1454.65	c 1447s |      14 |    91032 |    62652 |   484453      0 |      150 |        0
1457.99/1458.48	c 1451s |      14 |    91259 |    62852 |   484453      0 |      150 |        0
1460.19/1460.67	c 1453s |      14 |    91363 |    62952 |   484453      0 |      150 |        0
1462.49/1462.91	c 1455s |      14 |    91463 |    63052 |   484453      0 |      150 |        0
1465.99/1466.43	c 1459s |      14 |    91660 |    63252 |   484453      0 |      150 |        0
1467.98/1468.47	c 1461s |      14 |    91768 |    63352 |   484453      0 |      150 |        0
1471.68/1472.15	c 1465s |      14 |    91965 |    63552 |   484453      0 |      150 |        0
1473.69/1474.17	c 1467s |      14 |    92064 |    63652 |   484453      0 |      150 |        0
1476.08/1476.53	c 1469s |      14 |    92162 |    63752 |   484453      0 |      150 |        0
1478.09/1478.54	c 1471s |      14 |    92264 |    63852 |   484453      0 |      150 |        0
1483.78/1484.21	c 1477s |      14 |    92537 |    63952 |   484453      0 |      150 |        0
1495.78/1496.27	c 1489s |      14 |    92685 |    64052 |   484453      0 |      150 |        0
1499.58/1500.08	c 1493s |      14 |    92807 |    64152 |   484453      0 |      150 |        0
1505.59/1506.03	c 1499s |      14 |    92919 |    64252 |   484453      0 |      150 |        0
1508.48/1508.94	c 1501s |      14 |    93010 |    64352 |   484453      0 |      150 |        0
1514.28/1514.72	c 1507s |      14 |    93098 |    64452 |   484453      0 |      150 |        0
1517.88/1518.39	c 1511s |      14 |    93200 |    64552 |   484453      0 |      150 |        0
1520.28/1520.79	c 1513s |      14 |    93314 |    64652 |   484453      0 |      150 |        0
1522.38/1522.82	c 1515s |      14 |    93420 |    64752 |   484453      0 |      150 |        0
1525.98/1526.41	c 1519s |      14 |    93634 |    64952 |   484453      0 |      150 |        0
1530.28/1530.76	c 1523s |      14 |    93850 |    65152 |   484453      0 |      150 |        0
1539.37/1539.81	c 1532s |      14 |    94694 |    65352 |   484453      0 |      150 |        0
1542.37/1542.85	c 1535s |      14 |    94810 |    65452 |   484453      0 |      150 |        0
1544.97/1545.43	c 1538s |      14 |    95254 |    65552 |   484453      0 |      150 |        0
1547.77/1548.29	c 1541s |      14 |    95445 |    65752 |   484453      0 |      150 |        0
1551.08/1551.53	c 1544s |      14 |    95642 |    65952 |   484453      0 |      150 |        0
1555.48/1555.94	c 1548s |      14 |    95846 |    66152 |   484453      0 |      150 |        0
1558.58/1559.04	c 1552s |      14 |    96580 |    66252 |   484453      0 |      150 |        0
1561.59/1562.03	c 1555s |      14 |    96772 |    66352 |   484453      0 |      150 |        0
1564.58/1565.08	c 1558s |      14 |    96882 |    66452 |   484453      0 |      150 |        0
1570.27/1570.76	c 1563s |      14 |    97119 |    66652 |   484453      0 |      150 |        0
1573.17/1573.62	c 1566s |      14 |    97361 |    66852 |   484453      0 |      150 |        0
1576.37/1576.89	c 1569s |      14 |    97593 |    67052 |   484453      0 |      150 |        0
1579.47/1579.92	c 1572s |      14 |    97825 |    67252 |   484453      0 |      150 |        0
1583.17/1583.63	c 1576s |      14 |    98076 |    67452 |   484453      0 |      150 |        0
1586.67/1587.18	c 1580s |      14 |    98369 |    67652 |   484453      0 |      150 |        0
1590.07/1590.57	c 1583s |      14 |    98599 |    67852 |   484453      0 |      150 |        0
1594.37/1594.80	c 1587s |      14 |    98830 |    68052 |   484453      0 |      150 |        0
1600.27/1600.79	c 1593s |      14 |    99071 |    68252 |   484453      0 |      150 |        0
1602.37/1602.83	c 1595s |      14 |    99178 |    68352 |   484453      0 |      150 |        0
1605.16/1605.65	c 1598s |      14 |    99425 |    68552 |   484453      0 |      150 |        0
1608.47/1608.92	c 1601s |      14 |    99637 |    68752 |   484453      0 |      150 |        0
1610.47/1610.92	c 1603s |      14 |    99746 |    68852 |   484453      0 |      150 |        0
1613.77/1614.25	c 1607s |      14 |    99968 |    69052 |   484453      0 |      150 |        0
1617.87/1618.30	c 1611s |      14 |   100207 |    69252 |   484453      0 |      150 |        0
1623.36/1623.84	c 1616s |      14 |   100452 |    69452 |   484453      0 |      150 |        0
1626.26/1626.74	c 1619s |      14 |   100581 |    69552 |   484453      0 |      150 |        0
1629.66/1630.18	c 1623s |      14 |   100792 |    69752 |   484453      0 |      150 |        0
1633.17/1633.65	c 1626s |      14 |   100994 |    69952 |   484453      0 |      150 |        0
1635.66/1636.18	c 1629s |      14 |   101102 |    70052 |   484453      0 |      150 |        0
1639.36/1639.84	c 1632s |      14 |   101201 |    70152 |   484453      0 |      150 |        0
1643.86/1644.37	c 1637s |      14 |   101299 |    70252 |   484453      0 |      150 |        0
1646.96/1647.49	c 1640s |      14 |   101502 |    70452 |   484453      0 |      150 |        0
1650.26/1650.75	c 1643s |      14 |   101730 |    70652 |   484453      0 |      150 |        0
1653.96/1654.47	c 1647s |      14 |   101955 |    70852 |   484453      0 |      150 |        0
1656.46/1657.00	c 1649s |      14 |   102054 |    70952 |   484453      0 |      150 |        0
1660.05/1660.56	c 1653s |      14 |   102284 |    71152 |   484453      0 |      150 |        0
1663.05/1663.56	c 1656s |      14 |   102493 |    71352 |   484453      0 |      150 |        0
1666.86/1667.38	c 1660s |      14 |   102705 |    71552 |   484453      0 |      150 |        0
1669.76/1670.21	c 1663s |      14 |   102910 |    71752 |   484453      0 |      150 |        0
1672.96/1673.49	c 1666s |      14 |   103123 |    71952 |   484453      0 |      150 |        0
1675.97/1676.47	c 1669s |      14 |   103331 |    72152 |   484453      0 |      150 |        0
1681.57/1682.01	c 1674s |      14 |   103575 |    72252 |   484453      0 |      150 |        0
1687.96/1688.46	c 1681s |      14 |   103891 |    72452 |   484453      0 |      150 |        0
1692.05/1692.51	c 1685s |      14 |   104012 |    72552 |   484453      0 |      150 |        0
1695.05/1695.58	c 1688s |      14 |   104157 |    72652 |   484453      0 |      150 |        0
1697.75/1698.22	c 1691s |      14 |   104622 |    72752 |   484453      0 |      150 |        0
1699.95/1700.48	c 1693s |      14 |   104768 |    72852 |   484453      0 |      150 |        0
1705.35/1705.85	c 1698s |      14 |   105135 |    72952 |   484453      0 |      150 |        0
1710.65/1711.19	c 1704s |      14 |   105237 |    73052 |   484453      0 |      150 |        0
1714.15/1714.66	c 1707s |      14 |   105531 |    73152 |   484453      0 |      150 |        0
1718.25/1718.70	c 1711s |      14 |   106104 |    73252 |   484453      0 |      150 |        0
1721.15/1721.63	c 1714s |      14 |   106210 |    73352 |   484453      0 |      150 |        0
1724.24/1724.73	c 1717s |      14 |   106316 |    73452 |   484453      0 |      150 |        0
1727.34/1727.89	c 1720s |      14 |   106606 |    73552 |   484453      0 |      150 |        0
1729.75/1730.22	c 1723s |      14 |   106692 |    73652 |   484453      0 |      150 |        0
1731.85/1732.34	c 1725s |      14 |   106797 |    73752 |   484453      0 |      150 |        0
1734.26/1734.77	c 1727s |      14 |   106893 |    73852 |   484453      0 |      150 |        0
1736.46/1736.95	c 1729s |      14 |   107008 |    73952 |   484453      0 |      150 |        0
1739.55/1740.00	c 1732s |      14 |   107204 |    74152 |   484453      0 |      150 |        0
1741.75/1742.24	c 1735s |      14 |   107297 |    74252 |   484453      0 |      150 |        0
1743.95/1744.43	c 1737s |      14 |   107405 |    74352 |   484453      0 |      150 |        0
1746.35/1746.84	c 1739s |      14 |   107505 |    74452 |   484453      0 |      150 |        0
1749.35/1749.86	c 1742s |      14 |   107621 |    74552 |   484453      0 |      150 |        0
1752.65/1753.13	c 1746s |      14 |   107843 |    74752 |   484453      0 |      150 |        0
1755.65/1756.10	c 1749s |      14 |   107953 |    74852 |   484453      0 |      150 |        0
1759.34/1759.82	c 1752s |      14 |   108162 |    75052 |   484453      0 |      150 |        0
1764.34/1764.86	c 1757s |      14 |   108414 |    75252 |   484453      0 |      150 |        0
1767.14/1767.61	c 1760s |      14 |   108610 |    75452 |   484453      0 |      150 |        0
1770.44/1770.93	c 1763s |      14 |   108811 |    75652 |   484453      0 |      150 |        0
1774.54/1775.07	c 1768s |      14 |   109006 |    75852 |   484453      0 |      150 |        0
1776.74/1777.24	c 1770s |      14 |   109106 |    75952 |   484453      0 |      150 |        0
1779.74/1780.22	c 1773s |      14 |   109203 |    76052 |   484453      0 |      150 |        0
1783.44/1783.94	c 1776s |      14 |   109301 |    76152 |   484453      0 |      150 |        0
1786.24/1786.79	c 1779s |      14 |   109424 |    76252 |   484453      0 |      150 |        0
1789.04/1789.58	c 1782s |      14 |   109635 |    76452 |   484453      0 |      150 |        0
1791.84/1792.36	c 1785s |      14 |   109740 |    76552 |   484453      0 |      150 |        0
1796.04/1796.54	c 1789s |      14 |   109851 |    76652 |   484453      0 |      150 |        0
1799.15/1799.60	c 1792s |      14 |   110086 |    76852 |   484453      0 |      150 |        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-4079342-1465344387/watcher-4079342-1465344387 -o /tmp/evaluation-result-4079342-1465344387/solver-4079342-1465344387 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19403 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079342-1465344387.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.21 2.18 2.17 3/179 22648
/proc/meminfo: memFree=16355132/32872528 swapFree=16204/1518544
[pid=22648] ppid=22645 vsize=680380 CPUtime=0 cores=0,2,4,6
/proc/22648/stat : 22648 (toysat) R 22645 22648 19387 0 -1 4202496 2527 0 0 0 0 0 0 0 20 0 4 0 116371640 696709120 2889 33554432000 4194304 16246674 140736556031696 140736556031120 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22648/statm: 170607 2899 441 2943 0 167501 0
[pid=22648/tid=22649] ppid=22645 vsize=697788 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22649/stat : 22649 (toysat) S 22645 22648 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116371640 714534912 2958 33554432000 4194304 16246674 140736556031696 140526455074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22648/tid=22650] ppid=22645 vsize=701884 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22650/stat : 22650 (toysat) S 22645 22648 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116371640 718729216 2976 33554432000 4194304 16246674 140736556031696 140526444584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22648/tid=22651] ppid=22645 vsize=707004 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22651/stat : 22651 (toysat) S 22645 22648 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116371640 723972096 2993 33554432000 4194304 16246674 140736556031696 140526363864240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.21 2.18 2.17 3/179 22648
/proc/meminfo: memFree=16355132/32872528 swapFree=16204/1518544
[pid=22648] ppid=22645 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/22648/stat : 22648 (toysat) R 22645 22648 19387 0 -1 4202496 31114 0 0 0 5 4 0 0 20 0 4 0 116371640 1334382592 31414 33554432000 4194304 16246674 140736556031696 140736556031008 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22648/statm: 325777 31429 802 2943 0 322671 0
[pid=22648/tid=22649] ppid=22645 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22649/stat : 22649 (toysat) S 22645 22648 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116371640 1334382592 31440 33554432000 4194304 16246674 140736556031696 140526455074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22648/tid=22650] ppid=22645 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22650/stat : 22650 (toysat) S 22645 22648 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116371640 1334382592 31450 33554432000 4194304 16246674 140736556031696 140526444584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22648/tid=22651] ppid=22645 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22651/stat : 22651 (toysat) S 22645 22648 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116371640 1334382592 31461 33554432000 4194304 16246674 140736556031696 140526363864240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200469 s]
/proc/loadavg: 2.21 2.18 2.17 3/179 22648
/proc/meminfo: memFree=16355132/32872528 swapFree=16204/1518544
[pid=22648] ppid=22645 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/22648/stat : 22648 (toysat) R 22645 22648 19387 0 -1 4202496 45343 0 0 0 13 6 0 0 20 0 4 0 116371640 1344868352 46153 33554432000 4194304 16246674 140736556031696 140736556031008 7364507 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22648/statm: 328337 46153 802 2943 0 325231 0
[pid=22648/tid=22649] ppid=22645 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22649/stat : 22649 (toysat) S 22645 22648 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116371640 1344868352 46153 33554432000 4194304 16246674 140736556031696 140526455074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22648/tid=22650] ppid=22645 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22650/stat : 22650 (toysat) S 22645 22648 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116371640 1344868352 46153 33554432000 4194304 16246674 140736556031696 140526444584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22648/tid=22651] ppid=22645 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22651/stat : 22651 (toysat) S 22645 22648 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116371640 1344868352 46153 33554432000 4194304 16246674 140736556031696 140526363864240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300489 s]
/proc/loadavg: 2.21 2.18 2.17 3/179 22648
/proc/meminfo: memFree=16355132/32872528 swapFree=16204/1518544
[pid=22648] ppid=22645 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/22648/stat : 22648 (toysat) R 22645 22648 19387 0 -1 4202496 55360 0 0 0 21 8 0 0 20 0 4 0 116371640 1344868352 56170 33554432000 4194304 16246674 140736556031696 140736556029504 4206568 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22648/statm: 328337 56170 802 2943 0 325231 0
[pid=22648/tid=22649] ppid=22645 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22649/stat : 22649 (toysat) S 22645 22648 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116371640 1344868352 56170 33554432000 4194304 16246674 140736556031696 140526455074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22648/tid=22650] ppid=22645 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22650/stat : 22650 (toysat) S 22645 22648 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116371640 1344868352 56170 33554432000 4194304 16246674 140736556031696 140526444584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22648/tid=22651] ppid=22645 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22651/stat : 22651 (toysat) S 22645 22648 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116371640 1344868352 56170 33554432000 4194304 16246674 140736556031696 140526363864240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700426 s]
/proc/loadavg: 2.21 2.18 2.17 3/179 22648
/proc/meminfo: memFree=16355132/32872528 swapFree=16204/1518544
[pid=22648] ppid=22645 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/22648/stat : 22648 (toysat) R 22645 22648 19387 0 -1 4202496 67898 0 0 0 59 10 0 0 20 0 4 0 116371640 1344868352 68708 33554432000 4194304 16246674 140736556031696 140736556029504 7364460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22648/statm: 328337 68708 803 2943 0 325231 0
[pid=22648/tid=22649] ppid=22645 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22649/stat : 22649 (toysat) S 22645 22648 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116371640 1344868352 68708 33554432000 4194304 16246674 140736556031696 140526455074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22648/tid=22650] ppid=22645 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22650/stat : 22650 (toysat) S 22645 22648 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116371640 1344868352 68708 33554432000 4194304 16246674 140736556031696 140526444584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22648/tid=22651] ppid=22645 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22651/stat : 22651 (toysat) S 22645 22648 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116371640 1344868352 68708 33554432000 4194304 16246674 140736556031696 140526363864240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50039 s]
/proc/loadavg: 2.21 2.18 2.17 3/183 22652
/proc/meminfo: memFree=16016144/32872528 swapFree=16204/1518544
[pid=22648] ppid=22645 vsize=1325636 CPUtime=1.49 cores=0,2,4,6
/proc/22648/stat : 22648 (toysat) R 22645 22648 19387 0 -1 4202496 104196 0 0 0 134 15 0 0 20 0 4 0 116371640 1357451264 107050 33554432000 4194304 16246674 140736556031696 140736556014688 4220520 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22648/statm: 331409 107050 803 2943 0 328303 0
[pid=22648/tid=22649] ppid=22645 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22649/stat : 22649 (toysat) S 22645 22648 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116371640 1357451264 107050 33554432000 4194304 16246674 140736556031696 140526455074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22648/tid=22650] ppid=22645 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22650/stat : 22650 (toysat) S 22645 22648 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116371640 1357451264 107050 33554432000 4194304 16246674 140736556031696 140526444584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22648/tid=22651] ppid=22645 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22651/stat : 22651 (toysat) S 22645 22648 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116371640 1357451264 107050 33554432000 4194304 16246674 140736556031696 140526363864240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1325636

[startup+3.10039 s]
/proc/loadavg: 2.27 2.19 2.18 3/183 22652
/proc/meminfo: memFree=15905516/32872528 swapFree=16204/1518544
[pid=22648] ppid=22645 vsize=1356356 CPUtime=3.09 cores=0,2,4,6
/proc/22648/stat : 22648 (toysat) R 22645 22648 19387 0 -1 4202496 231927 0 0 0 276 33 0 0 20 0 4 0 116371640 1388908544 235293 33554432000 4194304 16246674 140736556031696 140736556013568 12874965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22648/statm: 339089 235301 846 2943 0 335983 0
[pid=22648/tid=22649] ppid=22645 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22649/stat : 22649 (toysat) S 22645 22648 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116371640 1388908544 235306 33554432000 4194304 16246674 140736556031696 140526455074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22648/tid=22650] ppid=22645 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22650/stat : 22650 (toysat) S 22645 22648 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116371640 1388908544 235310 33554432000 4194304 16246674 140736556031696 140526444584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22648/tid=22651] ppid=22645 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22651/stat : 22651 (toysat) S 22645 22648 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116371640 1388908544 235316 33554432000 4194304 16246674 140736556031696 140526363864240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1356356

[startup+6.3004 s]
/proc/loadavg: 2.27 2.19 2.18 3/183 22652
/proc/meminfo: memFree=15254392/32872528 swapFree=16204/1518544
[pid=22648] ppid=22645 vsize=1356356 CPUtime=6.29 cores=0,2,4,6
/proc/22648/stat : 22648 (toysat) R 22645 22648 19387 0 -1 4202496 272086 0 0 0 591 38 0 0 20 0 4 0 116371640 1388908544 275451 33554432000 4194304 16246674 140736556031696 140736556013568 7204020 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22648/statm: 339089 275451 847 2943 0 335983 0
[pid=22648/tid=22649] ppid=22645 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22649/stat : 22649 (toysat) S 22645 22648 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116371640 1388908544 275451 33554432000 4194304 16246674 140736556031696 140526455074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22648/tid=22650] ppid=22645 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22650/stat : 22650 (toysat) S 22645 22648 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116371640 1388908544 275451 33554432000 4194304 16246674 140736556031696 140526444584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22648/tid=22651] ppid=22645 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22651/stat : 22651 (toysat) S 22645 22648 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116371640 1388908544 275451 33554432000 4194304 16246674 140736556031696 140526363864240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1356356

[startup+12.7004 s]
/proc/loadavg: 2.38 2.22 2.18 3/183 22652
/proc/meminfo: memFree=13992228/32872528 swapFree=16204/1518544
[pid=22648] ppid=22645 vsize=1356356 CPUtime=12.69 cores=0,2,4,6
/proc/22648/stat : 22648 (toysat) R 22645 22648 19387 0 -1 4202496 277217 0 0 0 1230 39 0 0 20 0 4 0 116371640 1388908544 280582 33554432000 4194304 16246674 140736556031696 140736556013568 6022678 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22648/statm: 339089 280582 896 2943 0 335983 0
[pid=22648/tid=22649] ppid=22645 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22649/stat : 22649 (toysat) S 22645 22648 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116371640 1388908544 280582 33554432000 4194304 16246674 140736556031696 140526455074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22648/tid=22650] ppid=22645 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22650/stat : 22650 (toysat) S 22645 22648 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116371640 1388908544 280582 33554432000 4194304 16246674 140736556031696 140526444584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22648/tid=22651] ppid=22645 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22651/stat : 22651 (toysat) S 22645 22648 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116371640 1388908544 280582 33554432000 4194304 16246674 140736556031696 140526363864240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1356356

[startup+25.5005 s]
/proc/loadavg: 2.40 2.23 2.19 3/183 22701
/proc/meminfo: memFree=28081144/32872528 swapFree=16204/1518544
[pid=22648] ppid=22645 vsize=1356356 CPUtime=25.48 cores=0,2,4,6
/proc/22648/stat : 22648 (toysat) R 22645 22648 19387 0 -1 4202496 277217 0 0 0 2509 39 0 0 20 0 4 0 116371640 1388908544 280582 33554432000 4194304 16246674 140736556031696 140736556013568 5721677 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22648/statm: 339089 280582 896 2943 0 335983 0
[pid=22648/tid=22649] ppid=22645 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22649/stat : 22649 (toysat) S 22645 22648 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116371640 1388908544 280582 33554432000 4194304 16246674 140736556031696 140526455074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22648/tid=22650] ppid=22645 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22650/stat : 22650 (toysat) S 22645 22648 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116371640 1388908544 280582 33554432000 4194304 16246674 140736556031696 140526444584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22648/tid=22651] ppid=22645 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22651/stat : 22651 (toysat) S 22645 22648 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116371640 1388908544 280582 33554432000 4194304 16246674 140736556031696 140526363864240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1356356

[startup+51.1005 s]
/proc/loadavg: 2.49 2.26 2.20 3/183 22701
/proc/meminfo: memFree=28081636/32872528 swapFree=16204/1518544
[pid=22648] ppid=22645 vsize=1356356 CPUtime=51.08 cores=0,2,4,6
/proc/22648/stat : 22648 (toysat) R 22645 22648 19387 0 -1 4202496 277220 0 0 0 5069 39 0 0 20 0 4 0 116371640 1388908544 280583 33554432000 4194304 16246674 140736556031696 140736556031008 5600323 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22648/statm: 339089 280583 897 2943 0 335983 0
[pid=22648/tid=22649] ppid=22645 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22649/stat : 22649 (toysat) S 22645 22648 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116371640 1388908544 280583 33554432000 4194304 16246674 140736556031696 140526455074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22648/tid=22650] ppid=22645 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22650/stat : 22650 (toysat) S 22645 22648 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116371640 1388908544 280583 33554432000 4194304 16246674 140736556031696 140526444584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22648/tid=22651] ppid=22645 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22651/stat : 22651 (toysat) S 22645 22648 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116371640 1388908544 280583 33554432000 4194304 16246674 140736556031696 140526363864240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1356356

[startup+102.3 s]
/proc/loadavg: 2.27 2.23 2.18 3/183 22703
/proc/meminfo: memFree=28080892/32872528 swapFree=16204/1518544
[pid=22648] ppid=22645 vsize=1356356 CPUtime=102.25 cores=0,2,4,6
/proc/22648/stat : 22648 (toysat) R 22645 22648 19387 0 -1 4202496 277257 0 0 0 10186 39 0 0 20 0 4 0 116371640 1388908544 280583 33554432000 4194304 16246674 140736556031696 140736556013568 5661363 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22648/statm: 339089 280583 897 2943 0 335983 0
[pid=22648/tid=22649] ppid=22645 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22649/stat : 22649 (toysat) S 22645 22648 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116371640 1388908544 280583 33554432000 4194304 16246674 140736556031696 140526455074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22648/tid=22650] ppid=22645 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22650/stat : 22650 (toysat) S 22645 22648 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116371640 1388908544 280583 33554432000 4194304 16246674 140736556031696 140526444584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22648/tid=22651] ppid=22645 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22651/stat : 22651 (toysat) S 22645 22648 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116371640 1388908544 280583 33554432000 4194304 16246674 140736556031696 140526363864240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1356356


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

/proc/22648/task/22651/stat : 22651 (toysat) S 22645 22648 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116371640 1503203328 308488 33554432000 4194304 16246674 140736556031696 140526363864240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1467972

[startup+1362.3 s]
/proc/loadavg: 2.28 2.29 2.21 4/183 22734
/proc/meminfo: memFree=26846868/32872528 swapFree=16204/1518544
[pid=22648] ppid=22645 vsize=1494596 CPUtime=1361.9 cores=0,2,4,6
/proc/22648/stat : 22648 (toysat) R 22645 22648 19387 0 -1 4202496 311937 0 0 0 136142 48 0 0 20 0 4 0 116371640 1530466304 314966 33554432000 4194304 16246674 140736556031696 140736556013568 5676609 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22648/statm: 373649 314966 898 2943 0 370543 0
[pid=22648/tid=22649] ppid=22645 vsize=1494596 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22649/stat : 22649 (toysat) S 22645 22648 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116371640 1530466304 314966 33554432000 4194304 16246674 140736556031696 140526455074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22648/tid=22650] ppid=22645 vsize=1494596 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22650/stat : 22650 (toysat) S 22645 22648 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116371640 1530466304 314966 33554432000 4194304 16246674 140736556031696 140526444584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22648/tid=22651] ppid=22645 vsize=1494596 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22651/stat : 22651 (toysat) S 22645 22648 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116371640 1530466304 314966 33554432000 4194304 16246674 140736556031696 140526363864240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1494596

[startup+1422.3 s]
/proc/loadavg: 2.16 2.25 2.20 3/184 22738
/proc/meminfo: memFree=25914308/32872528 swapFree=16204/1518544
[pid=22648] ppid=22645 vsize=1494596 CPUtime=1421.91 cores=0,2,4,6
/proc/22648/stat : 22648 (toysat) R 22645 22648 19387 0 -1 4202496 311937 0 0 0 142142 49 0 0 20 0 4 0 116371640 1530466304 314966 33554432000 4194304 16246674 140736556031696 140736556030872 13907082 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22648/statm: 373649 314966 898 2943 0 370543 0
[pid=22648/tid=22649] ppid=22645 vsize=1494596 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22649/stat : 22649 (toysat) S 22645 22648 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116371640 1530466304 314966 33554432000 4194304 16246674 140736556031696 140526455074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22648/tid=22650] ppid=22645 vsize=1494596 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22650/stat : 22650 (toysat) S 22645 22648 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116371640 1530466304 314966 33554432000 4194304 16246674 140736556031696 140526444584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22648/tid=22651] ppid=22645 vsize=1494596 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22651/stat : 22651 (toysat) S 22645 22648 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116371640 1530466304 314966 33554432000 4194304 16246674 140736556031696 140526363864240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1494596

[startup+1482.3 s]
/proc/loadavg: 2.09 2.21 2.18 3/183 22739
/proc/meminfo: memFree=26397852/32872528 swapFree=16204/1518544
[pid=22648] ppid=22645 vsize=1561156 CPUtime=1481.88 cores=0,2,4,6
/proc/22648/stat : 22648 (toysat) R 22645 22648 19387 0 -1 4202496 328589 0 0 0 148137 51 0 0 20 0 4 0 116371640 1598623744 331618 33554432000 4194304 16246674 140736556031696 140736556013568 13775098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22648/statm: 390289 331618 898 2943 0 387183 0
[pid=22648/tid=22649] ppid=22645 vsize=1561156 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22649/stat : 22649 (toysat) S 22645 22648 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116371640 1598623744 331618 33554432000 4194304 16246674 140736556031696 140526455074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22648/tid=22650] ppid=22645 vsize=1561156 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22650/stat : 22650 (toysat) S 22645 22648 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116371640 1598623744 331618 33554432000 4194304 16246674 140736556031696 140526444584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22648/tid=22651] ppid=22645 vsize=1561156 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22651/stat : 22651 (toysat) S 22645 22648 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116371640 1598623744 331618 33554432000 4194304 16246674 140736556031696 140526363864240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1561156

[startup+1542.31 s]
/proc/loadavg: 2.22 2.23 2.19 4/183 22740
/proc/meminfo: memFree=25888492/32872528 swapFree=16204/1518544
[pid=22648] ppid=22645 vsize=1649220 CPUtime=1541.88 cores=0,2,4,6
/proc/22648/stat : 22648 (toysat) R 22645 22648 19387 0 -1 4202496 350651 0 0 0 154133 55 0 0 20 0 4 0 116371640 1688801280 353680 33554432000 4194304 16246674 140736556031696 140736556013568 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22648/statm: 412305 353680 898 2943 0 409199 0
[pid=22648/tid=22649] ppid=22645 vsize=1649220 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22649/stat : 22649 (toysat) S 22645 22648 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116371640 1688801280 353680 33554432000 4194304 16246674 140736556031696 140526455074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22648/tid=22650] ppid=22645 vsize=1649220 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22650/stat : 22650 (toysat) S 22645 22648 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116371640 1688801280 353680 33554432000 4194304 16246674 140736556031696 140526444584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22648/tid=22651] ppid=22645 vsize=1649220 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22651/stat : 22651 (toysat) S 22645 22648 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116371640 1688801280 353680 33554432000 4194304 16246674 140736556031696 140526363864240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1649220

[startup+1602.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/183 22742
/proc/meminfo: memFree=25509412/32872528 swapFree=16204/1518544
[pid=22648] ppid=22645 vsize=1661508 CPUtime=1601.86 cores=0,2,4,6
/proc/22648/stat : 22648 (toysat) R 22645 22648 19387 0 -1 4202496 353838 0 0 0 160129 57 0 0 20 0 4 0 116371640 1701384192 356867 33554432000 4194304 16246674 140736556031696 140736556013568 5600232 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22648/statm: 415377 356867 898 2943 0 412271 0
[pid=22648/tid=22649] ppid=22645 vsize=1661508 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22649/stat : 22649 (toysat) S 22645 22648 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116371640 1701384192 356867 33554432000 4194304 16246674 140736556031696 140526455074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22648/tid=22650] ppid=22645 vsize=1661508 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22650/stat : 22650 (toysat) S 22645 22648 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116371640 1701384192 356867 33554432000 4194304 16246674 140736556031696 140526444584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22648/tid=22651] ppid=22645 vsize=1661508 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22651/stat : 22651 (toysat) S 22645 22648 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116371640 1701384192 356867 33554432000 4194304 16246674 140736556031696 140526363864240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1661508

[startup+1662.3 s]
/proc/loadavg: 2.11 2.19 2.17 3/183 22743
/proc/meminfo: memFree=25176464/32872528 swapFree=16204/1518544
[pid=22648] ppid=22645 vsize=1690180 CPUtime=1661.85 cores=0,2,4,6
/proc/22648/stat : 22648 (toysat) R 22645 22648 19387 0 -1 4202496 360772 0 0 0 166126 59 0 0 20 0 4 0 116371640 1730744320 363801 33554432000 4194304 16246674 140736556031696 140736556030792 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22648/statm: 422545 363801 898 2943 0 419439 0
[pid=22648/tid=22649] ppid=22645 vsize=1690180 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22649/stat : 22649 (toysat) S 22645 22648 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116371640 1730744320 363801 33554432000 4194304 16246674 140736556031696 140526455074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22648/tid=22650] ppid=22645 vsize=1690180 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22650/stat : 22650 (toysat) S 22645 22648 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116371640 1730744320 363801 33554432000 4194304 16246674 140736556031696 140526444584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22648/tid=22651] ppid=22645 vsize=1690180 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22651/stat : 22651 (toysat) S 22645 22648 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116371640 1730744320 363801 33554432000 4194304 16246674 140736556031696 140526363864240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1690180

[startup+1722.3 s]
/proc/loadavg: 2.15 2.19 2.17 3/183 22744
/proc/meminfo: memFree=24838848/32872528 swapFree=16204/1518544
[pid=22648] ppid=22645 vsize=1716804 CPUtime=1721.85 cores=0,2,4,6
/proc/22648/stat : 22648 (toysat) R 22645 22648 19387 0 -1 4202496 367622 0 0 0 172124 61 0 0 20 0 4 0 116371640 1758007296 370651 33554432000 4194304 16246674 140736556031696 140736556013568 13774516 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22648/statm: 429201 370651 898 2943 0 426095 0
[pid=22648/tid=22649] ppid=22645 vsize=1716804 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22649/stat : 22649 (toysat) S 22645 22648 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116371640 1758007296 370651 33554432000 4194304 16246674 140736556031696 140526455074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22648/tid=22650] ppid=22645 vsize=1716804 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22650/stat : 22650 (toysat) S 22645 22648 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116371640 1758007296 370651 33554432000 4194304 16246674 140736556031696 140526444584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22648/tid=22651] ppid=22645 vsize=1716804 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22651/stat : 22651 (toysat) S 22645 22648 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116371640 1758007296 370651 33554432000 4194304 16246674 140736556031696 140526363864240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1716804

[startup+1782.3 s]
/proc/loadavg: 2.16 2.18 2.17 3/183 22745
/proc/meminfo: memFree=25998916/32872528 swapFree=16204/1518544
[pid=22648] ppid=22645 vsize=1742404 CPUtime=1781.84 cores=0,2,4,6
/proc/22648/stat : 22648 (toysat) R 22645 22648 19387 0 -1 4202496 373816 0 0 0 178121 63 0 0 20 0 4 0 116371640 1784221696 376845 33554432000 4194304 16246674 140736556031696 140736556013568 13906983 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22648/statm: 435601 376845 898 2943 0 432495 0
[pid=22648/tid=22649] ppid=22645 vsize=1742404 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22649/stat : 22649 (toysat) S 22645 22648 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116371640 1784221696 376845 33554432000 4194304 16246674 140736556031696 140526455074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22648/tid=22650] ppid=22645 vsize=1742404 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22650/stat : 22650 (toysat) S 22645 22648 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116371640 1784221696 376845 33554432000 4194304 16246674 140736556031696 140526444584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22648/tid=22651] ppid=22645 vsize=1742404 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22651/stat : 22651 (toysat) S 22645 22648 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116371640 1784221696 376845 33554432000 4194304 16246674 140736556031696 140526363864240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1742404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.13 2.17 2.17 3/183 22745
/proc/meminfo: memFree=25980672/32872528 swapFree=16204/1518544
[pid=22648] ppid=22645 vsize=1759812 CPUtime=1800.04 cores=0,2,4,6
/proc/22648/stat : 22648 (toysat) R 22645 22648 19387 0 -1 4202496 378277 0 0 0 179940 64 0 0 20 0 4 0 116371640 1802047488 381306 33554432000 4194304 16246674 140736556031696 140736556013568 13907028 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22648/statm: 439953 381306 898 2943 0 436847 0
[pid=22648/tid=22649] ppid=22645 vsize=1759812 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22649/stat : 22649 (toysat) S 22645 22648 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116371640 1802047488 381306 33554432000 4194304 16246674 140736556031696 140526455074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22648/tid=22650] ppid=22645 vsize=1759812 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22650/stat : 22650 (toysat) S 22645 22648 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116371640 1802047488 381306 33554432000 4194304 16246674 140736556031696 140526444584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22648/tid=22651] ppid=22645 vsize=1759812 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22651/stat : 22651 (toysat) S 22645 22648 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116371640 1802047488 381306 33554432000 4194304 16246674 140736556031696 140526363864240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1759812

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

[startup+1800.5 s]
/proc/loadavg: 2.13 2.17 2.17 3/183 22745
/proc/meminfo: memFree=25980672/32872528 swapFree=16204/1518544
[pid=22648] ppid=22645 vsize=1759812 CPUtime=1800.04 cores=0,2,4,6
/proc/22648/stat : 22648 (toysat) R 22645 22648 19387 0 -1 4202496 378277 0 0 0 179940 64 0 0 20 0 4 0 116371640 1802047488 381306 33554432000 4194304 16246674 140736556031696 140736556013568 13907028 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22648/statm: 439953 381306 898 2943 0 436847 0
[pid=22648/tid=22649] ppid=22645 vsize=1759812 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22649/stat : 22649 (toysat) S 22645 22648 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116371640 1802047488 381306 33554432000 4194304 16246674 140736556031696 140526455074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22648/tid=22650] ppid=22645 vsize=1759812 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22650/stat : 22650 (toysat) S 22645 22648 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116371640 1802047488 381306 33554432000 4194304 16246674 140736556031696 140526444584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22648/tid=22651] ppid=22645 vsize=1759812 CPUtime=0 cores=0,2,4,6
/proc/22648/task/22651/stat : 22651 (toysat) S 22645 22648 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116371640 1802047488 381306 33554432000 4194304 16246674 140736556031696 140526363864240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1759812

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.07
CPU user time (s): 1799.41
CPU system time (s): 0.663899
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 1759812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.663899
maximum resident set size= 1525224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 378277
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= 442
involuntary context switches= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.51931 second user time and 6.96194 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-08 02:06:28
IDJOB=4079342
IDBENCH=92782
IDSOLVER=2542
FILE ID=node129/4079342-1465344387
RUNJOBID= node129-1465311042-19403
PBS_JOBID= 19850114
Free space on /tmp= 71708 MiB

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

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

MD5SUM BENCH= b21934a70a1a4d281831f1d388e1f253
RANDOM SEED=549940407

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
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:        16355776 kB
Buffers:           57220 kB
Cached:           212928 kB
SwapCached:         1836 kB
Active:         14074712 kB
Inactive:         154640 kB
Active(anon):   13956920 kB
Inactive(anon):     4528 kB
Active(file):     117792 kB
Inactive(file):   150112 kB
Unevictable:     1518544 kB
Mlocked:           16204 kB
SwapTotal:      67108856 kB
SwapFree:       67098824 kB
Dirty:             28352 kB
Writeback:             0 kB
AnonPages:      15477060 kB
Mapped:            11808 kB
Shmem:                 0 kB
Slab:             605520 kB
SReclaimable:      48968 kB
SUnreclaim:       556552 kB
KernelStack:        1488 kB
PageTables:        34088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   15620632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1507328 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= 71680 MiB
End job on node129 at 2016-06-08 02:36:28