Trace number 4099729

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.6 1800.9

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/
plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome13.opb
MD5SUMdc68c84ca9a12d789f4fef65e97f0e43
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2933624
Total number of constraints48672
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints48672
Minimum length of a constraint13
Maximum length of a constraint6840
Number of terms in the objective function 1496264
Biggest coefficient in the objective function 160
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 1988816
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 1988816
Number of bits of the biggest sum of numbers21
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-18T01:29:55+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-4099729-1466206189.opb"]
0.00/0.01	c use --random-gen="506009741 2097327352 324174884 4059646949 4179120299 4139187256 2363397565 4226258338 2945858216 2156033981 447248112 2480319691 3904742865 1552532876 1353916077 4193178594 1971671444 814152553 2035624690 407253735 2475543335 1036840133 2723313095 1698925095 793611484 1207752145 750608555 2923252119 1371697251 1251466006 1106677061 4258292638 805846554 743548583 4190158025 2777383537 918322342 4165092337 396910149 4141139157 868392330 1085655379 300584239 1242302940 2724620321 1492520100 2667435522 2922593915 2459965360 2906347587 417222887 2155449237 1833532774 3139192850 2192831356 2381414639 3492453747 3226998351 2165862884 3624765099 4185075147 1485174045 3357830794 2598058474 1096421326 59432226 2100161437 2738042239 3993552074 2770432104 255877624 1256907716 1613568407 3994314769 2589729958 1542053214 3711380149 3937044644 243488716 3319723751 3775661460 951020967 7581970 1203262958 3304028488 1345331586 2905315821 2346519213 3823452682 2673256789 2863912735 759814305 3804617625 3619999947 827513750 1609973334 4195628572 3377557869 553214440 3988129255 2493512273 761650919 3144956198 1371045045 80368659 3980608258 79299521 3054914227 88274375 3698835494 2618607049 3228003752 3327872771 2109267592 3488512552 2772184586 1349390101 26347065 4119077888 2881744199 3264129329 2476524551 760540822 3735927941 2467049331 447890279 1356142752 3309622395 2274332831 2234511098 1973601106 684178484 2366036220 2769670788 2898464945 2335726993 2108403711 2216085470 1258173817 3579475319 2729866522 2708661176 3341146376 1250917112 4006104504 2610582909 1167954412 1768863724 883553569 2892164216 2448603159 3730297935 357032481 263663501 52977967 1332307482 1845233140 1677200431 3535816047 569423151 2418638536 3177790929 211231652 1213033411 1213409097 4280900315 685250776 3451885324 2401688963 66840636 949711533 2955805457 610095184 697030042 3639728735 603911155 256384930 1451932909 4200276550 2718085368 1803601402 1372103395 1261361141 3171800737 2787502354 3103068499 2714842673 2579446155 451744404 2548132099 2353860527 3828929124 321310679 2647119602 4186691280 3223607911 2780505643 2960330198 2230201779 489465718 572611432 2459049578 4284531943 778518417 552525491 544152100 1787038532 2069786462 898285861 4149695298 3133607428 3729581910 3588667476 949954124 1026510782 1177932762 970181072 4140275053 1737181119 4239557199 2369214221 1603113939 2055585809 3759166250 3638620471 3003928719 2618721912 2397923784 3328813586 2692021559 4117660185 183048142 2209830487 717111448 3492758835 2609987410 1387014334 452023499 1576111816 1378087251 2756317052 1614601307 236541357 2332878167 650216170 730312389 2179190959 867838235 3009899790 3043082363 1916166266 2825744516 2418818268 2017499770 2838105807 754090006 255 362436" option to reproduce the execution
17.49/17.52	c #vars 2933624
17.49/17.52	c #constraints 48672
188.96/189.07	c BCD2: Hardening is enabled.
188.96/189.07	c BCD2: BiasedSearch is enabled.
188.96/189.07	c Solving starts ...
188.96/189.07	c ============================[ Search Statistics ]============================
188.96/189.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
188.96/189.07	c       |         |          |          |    Limit     GC | Var      | Constra 
188.96/189.07	c =============================================================================
188.96/189.07	c  0.0s |       0 |        0 |        0 |  1010288      0 |   805000 |        0
192.95/193.03	c  4.0s |       0 |      139 |      100 |  1010288      0 |   805001 |        0
192.95/193.03	c  4.0s |       1 |      139 |      100 |  1010288      0 |   805001 |        0
194.95/195.07	c  6.0s |       1 |      374 |      200 |  1111317      0 |   805001 |        0
194.95/195.09	c  6.0s |       2 |      424 |      250 |  1111317      0 |   805001 |        0
196.96/197.09	c  8.0s |       3 |      658 |      475 |  1222449      0 |   805001 |        0
199.06/199.11	c 10.0s |       3 |      767 |      575 |  1344694      0 |   805001 |        0
199.06/199.17	c 10.1s |       4 |     1004 |      813 |  1344694      0 |   805001 |        0
201.26/201.33	c 12.3s |       4 |     1113 |      913 |  1479164      0 |   805001 |        0
201.36/201.43	c 12.4s |       5 |     1521 |     1320 |  1479164      0 |   805001 |        0
245.05/245.19	c 56.1s |       5 |     5781 |     1420 |  1627081      0 |   805059 |        0
245.65/245.76	c 56.7s |       6 |     6500 |     2081 |  1789790      0 |   805059 |        0
247.75/247.82	c 58.7s |       6 |     6620 |     2181 |  1789790      0 |   805059 |        0
248.65/248.76	c 59.7s |       7 |     7667 |     3223 |  1968770      0 |   805059 |        0
250.64/250.79	c 61.7s |       7 |     7806 |     3323 |  1968770      0 |   805059 |        0
252.75/252.87	c 63.8s |       7 |     7906 |     3423 |  1968770      0 |   805066 |        0
254.34/254.45	c 65.4s |       8 |     9435 |     4936 |  2165647      0 |   805066 |        0
256.35/256.49	c 67.4s |       8 |     9550 |     5036 |  2165647      0 |   805066 |        0
258.45/258.52	c 69.4s |       8 |    11461 |     6936 |  2165647      0 |   805066 |        0
259.14/259.26	c 70.2s |       9 |    12039 |     7506 |  2382212      0 |   805066 |        0
261.25/261.35	c 72.3s |       9 |    12151 |     7606 |  2382212      0 |   805066 |        0
264.14/264.29	c 75.2s |       9 |    13072 |     8506 |  2382212      0 |   805072 |        0
272.34/272.48	c 83.4s |       9 |    17138 |    10206 |  2382212      0 |   805077 |        0
273.34/273.48	c 84.4s |      10 |    19220 |    11361 |  2620434      0 |   805077 |        0
275.45/275.50	c 86.4s |      10 |    19369 |    11461 |  2620434      0 |   805077 |        0
277.44/277.54	c 88.5s |      10 |    22501 |    14261 |  2620434      0 |   805077 |        0
279.54/279.60	c 90.5s |      10 |    25211 |    16961 |  2620434      0 |   805077 |        0
279.85/279.90	c 90.8s |      11 |    25401 |    17144 |  2882478      0 |   805077 |        0
281.84/281.99	c 92.9s |      11 |    25527 |    17244 |  2882478      0 |   805077 |        0
284.14/284.22	c 95.1s |      11 |    28040 |    19744 |  2882478      0 |   805077 |        0
286.14/286.27	c 97.2s |      11 |    30147 |    21844 |  2882478      0 |   805077 |        0
288.24/288.32	c 99.3s |      11 |    32358 |    24044 |  2882478      0 |   805077 |        0
292.24/292.35	c  103s |      12 |    34165 |    25819 |  3170726      0 |   805080 |        0
294.44/294.51	c  105s |      12 |    34284 |    25919 |  3170726      0 |   805080 |        0
296.43/296.56	c  107s |      12 |    35692 |    27319 |  3170726      0 |   805080 |        0
298.54/298.65	c  109s |      12 |    37095 |    28719 |  3170726      0 |   805080 |        0
300.64/300.74	c  111s |      12 |    38798 |    30419 |  3170726      0 |   805080 |        0
302.74/302.85	c  113s |      12 |    40004 |    31619 |  3170726      0 |   805080 |        0
304.93/305.00	c  115s |      12 |    41204 |    32819 |  3170726      0 |   805080 |        0
307.14/307.22	c  118s |      12 |    42513 |    34119 |  3170726      0 |   805080 |        0
309.15/309.25	c  120s |      12 |    43718 |    35319 |  3170726      0 |   805080 |        0
311.24/311.39	c  122s |      12 |    44819 |    36419 |  3170726      0 |   805080 |        0
313.34/313.42	c  124s |      12 |    45926 |    37519 |  3170726      0 |   805080 |        0
315.54/315.62	c  126s |      12 |    47028 |    38619 |  3487799      0 |   805080 |        0
315.94/316.01	c  126s |      13 |    47245 |    38832 |  3487799      0 |   805080 |        0
318.14/318.23	c  129s |      13 |    47374 |    38932 |  3487799      0 |   805080 |        0
320.14/320.26	c  131s |      13 |    48379 |    39932 |  3487799      0 |   805080 |        0
322.24/322.37	c  133s |      13 |    49581 |    41132 |  3487799      0 |   805080 |        0
324.34/324.46	c  135s |      13 |    50686 |    42232 |  3487799      0 |   805080 |        0
326.44/326.59	c  137s |      13 |    51989 |    43532 |  3487799      0 |   805080 |        0
328.73/328.86	c  139s |      13 |    53292 |    44832 |  3487799      0 |   805080 |        0
330.83/330.93	c  141s |      13 |    54398 |    45932 |  3487799      0 |   805080 |        0
332.93/333.05	c  143s |      13 |    55305 |    46832 |  3487799      0 |   805080 |        0
335.23/335.30	c  146s |      13 |    56304 |    47832 |  3487799      0 |   805080 |        0
337.33/337.48	c  148s |      13 |    57111 |    48632 |  3487799      0 |   805080 |        0
339.53/339.63	c  150s |      13 |    58018 |    49532 |  3487799      0 |   805080 |        0
341.73/341.82	c  152s |      13 |    58917 |    50432 |  3487799      0 |   805080 |        0
343.83/343.95	c  154s |      13 |    59621 |    51132 |  3487799      0 |   805080 |        0
345.84/345.97	c  156s |      13 |    60424 |    51932 |  3487799      0 |   805080 |        0
348.13/348.20	c  159s |      13 |    61126 |    52632 |  3487799      0 |   805080 |        0
350.13/350.26	c  161s |      13 |    61729 |    53232 |  3487799      0 |   805080 |        0
352.43/352.54	c  163s |      13 |    62429 |    53932 |  3487799      0 |   805080 |        0
354.53/354.62	c  165s |      13 |    63026 |    54532 |  3487799      0 |   805080 |        0
356.73/356.83	c  167s |      13 |    63732 |    55232 |  3487799      0 |   805080 |        0
359.03/359.16	c  170s |      13 |    64435 |    55932 |  3487799      0 |   805080 |        0
361.23/361.32	c  172s |      13 |    65034 |    56532 |  3487799      0 |   805080 |        0
363.53/363.60	c  174s |      13 |    65739 |    57232 |  3487799      0 |   805080 |        0
365.53/365.68	c  176s |      13 |    66242 |    57732 |  3487799      0 |   805080 |        0
367.73/367.86	c  178s |      13 |    66840 |    58332 |  3836579      0 |   805080 |        0
367.83/367.91	c  178s |      14 |    66861 |    58352 |  3836579      0 |   805080 |        0
370.33/370.44	c  181s |      14 |    66986 |    58452 |  3836579      0 |   805080 |        0
372.53/372.60	c  183s |      14 |    67490 |    58952 |  3836579      0 |   805080 |        0
374.83/374.99	c  185s |      14 |    67990 |    59452 |  3836579      0 |   805080 |        0
377.13/377.23	c  188s |      14 |    68496 |    59952 |  3836579      0 |   805080 |        0
379.23/379.31	c  190s |      14 |    68899 |    60352 |  3836579      0 |   805080 |        0
381.53/381.69	c  192s |      14 |    69396 |    60852 |  3836579      0 |   805080 |        0
383.72/383.89	c  194s |      14 |    69899 |    61352 |  3836579      0 |   805080 |        0
386.22/386.38	c  197s |      14 |    70500 |    61952 |  3836579      0 |   805080 |        0
388.63/388.77	c  199s |      14 |    71105 |    62552 |  3836579      0 |   805080 |        0
390.93/391.03	c  201s |      14 |    71607 |    63052 |  3836579      0 |   805080 |        0
392.93/393.03	c  203s |      14 |    72109 |    63552 |  3836579      0 |   805080 |        0
394.93/395.09	c  206s |      14 |    72607 |    64052 |  3836579      0 |   805080 |        0
397.22/397.32	c  208s |      14 |    73111 |    64552 |  3836579      0 |   805080 |        0
399.52/399.66	c  210s |      14 |    73510 |    64952 |  3836579      0 |   805080 |        0
401.82/401.98	c  212s |      14 |    73919 |    65352 |  3836579      0 |   805080 |        0
422.42/422.56	c  233s |      14 |    74017 |    65452 |  3836579      0 |   805080 |        0
424.63/424.74	c  235s |      14 |    74622 |    66052 |  3836579      0 |   805080 |        0
426.73/426.86	c  237s |      14 |    75122 |    66552 |  3836579      0 |   805080 |        0
429.03/429.11	c  240s |      14 |    75721 |    67152 |  3836579      0 |   805080 |        0
431.32/431.41	c  242s |      14 |    76326 |    67752 |  3836579      0 |   805080 |        0
433.42/433.53	c  244s |      14 |    76932 |    68352 |  3836579      0 |   805080 |        0
435.52/435.62	c  246s |      14 |    77530 |    68952 |  3836579      0 |   805080 |        0
437.51/437.67	c  248s |      14 |    78031 |    69452 |  3836579      0 |   805080 |        0
439.93/440.05	c  250s |      14 |    78632 |    70052 |  3836579      0 |   805080 |        0
442.13/442.30	c  253s |      14 |    79236 |    70652 |  3836579      0 |   805080 |        0
444.52/444.63	c  255s |      14 |    79744 |    71152 |  3836579      0 |   805080 |        0
446.82/446.90	c  257s |      14 |    80250 |    71652 |  3836579      0 |   805080 |        0
449.01/449.14	c  260s |      14 |    80845 |    72252 |  3836579      0 |   805080 |        0
451.21/451.37	c  262s |      14 |    81456 |    72852 |  3836579      0 |   805080 |        0
453.41/453.54	c  264s |      14 |    82150 |    73552 |  3836579      0 |   805080 |        0
455.62/455.70	c  266s |      14 |    82860 |    74252 |  3836579      0 |   805080 |        0
457.62/457.76	c  268s |      14 |    83456 |    74852 |  3836579      0 |   805080 |        0
459.61/459.77	c  270s |      14 |    84063 |    75452 |  3836579      0 |   805080 |        0
461.71/461.80	c  272s |      14 |    84665 |    76052 |  3836579      0 |   805080 |        0
463.71/463.87	c  274s |      14 |    85364 |    76752 |  3836579      0 |   805080 |        0
466.11/466.23	c  277s |      14 |    86063 |    77452 |  3836579      0 |   805080 |        0
468.41/468.54	c  279s |      14 |    86667 |    78052 |  3836579      0 |   805080 |        0
470.61/470.75	c  281s |      14 |    87276 |    78652 |  3836579      0 |   805080 |        0
472.92/473.06	c  283s |      14 |    87878 |    79252 |  3836579      0 |   805080 |        0
475.01/475.13	c  286s |      14 |    88478 |    79852 |  3836579      0 |   805080 |        0
477.21/477.38	c  288s |      14 |    89183 |    80552 |  3836579      0 |   805080 |        0
479.31/479.46	c  290s |      14 |    89687 |    81052 |  3836579      0 |   805080 |        0
481.82/481.92	c  292s |      14 |    90282 |    81652 |  3836579      0 |   805080 |        0
484.21/484.31	c  295s |      14 |    90885 |    82252 |  3836579      0 |   805080 |        0
486.41/486.50	c  297s |      14 |    91383 |    82752 |  3836579      0 |   805080 |        0
488.61/488.70	c  299s |      14 |    91990 |    83352 |  3836579      0 |   805080 |        0
490.71/490.88	c  301s |      14 |    92692 |    84052 |  3836579      0 |   805080 |        0
492.91/493.06	c  303s |      14 |    93294 |    84652 |  3836579      0 |   805080 |        0
495.20/495.33	c  306s |      14 |    93794 |    85152 |  3836579      0 |   805080 |        0
497.61/497.78	c  308s |      14 |    94300 |    85652 |  3836579      0 |   805080 |        0
500.21/500.30	c  311s |      14 |    94802 |    86152 |  3836579      0 |   805080 |        0
502.41/502.52	c  313s |      14 |    95301 |    86652 |  3836579      0 |   805080 |        0
504.71/504.80	c  315s |      14 |    95803 |    87152 |  4220237      0 |   805080 |        0
506.90/507.04	c  317s |      15 |    96289 |    87632 |  4220237      0 |   805080 |        0
509.61/509.78	c  320s |      15 |    96422 |    87732 |  4220237      0 |   805080 |        0
512.01/512.17	c  323s |      15 |    96821 |    88132 |  4220237      0 |   805080 |        0
514.41/514.59	c  325s |      15 |    97519 |    88832 |  4220237      0 |   805080 |        0
516.91/517.07	c  328s |      15 |    98123 |    89432 |  4220237      0 |   805080 |        0
519.21/519.30	c  330s |      15 |    98525 |    89832 |  4220237      0 |   805080 |        0
521.42/521.56	c  332s |      15 |    98925 |    90232 |  4220237      0 |   805080 |        0
523.51/523.69	c  334s |      15 |    99326 |    90632 |  4220237      0 |   805080 |        0
525.71/525.87	c  336s |      15 |    99825 |    91132 |  4220237      0 |   805080 |        0
528.20/528.35	c  339s |      15 |   100331 |    91632 |  4220237      0 |   805080 |        0
530.70/530.82	c  341s |      15 |   100834 |    92132 |  4220237      0 |   805080 |        0
533.20/533.30	c  344s |      15 |   101233 |    92532 |  4220237      0 |   805080 |        0
535.70/535.83	c  346s |      15 |   101633 |    92932 |  4220237      0 |   805080 |        0
538.40/538.50	c  349s |      15 |   102033 |    93332 |  4220237      0 |   805080 |        0
540.40/540.59	c  351s |      15 |   102435 |    93732 |  4220237      0 |   805080 |        0
562.20/562.39	c  373s |      15 |   102838 |    94132 |  4220237      0 |   805080 |        0
564.30/564.46	c  375s |      15 |   103237 |    94532 |  4220237      0 |   805080 |        0
566.80/566.95	c  377s |      15 |   103741 |    95032 |  4220237      0 |   805080 |        0
569.20/569.33	c  380s |      15 |   104147 |    95432 |  4220237      0 |   805080 |        0
571.40/571.51	c  382s |      15 |   104547 |    95832 |  4220237      0 |   805080 |        0
573.49/573.69	c  384s |      15 |   104949 |    96232 |  4220237      0 |   805080 |        0
576.09/576.23	c  387s |      15 |   105447 |    96732 |  4220237      0 |   805080 |        0
578.39/578.53	c  389s |      15 |   105853 |    97132 |  4220237      0 |   805080 |        0
580.60/580.76	c  391s |      15 |   106257 |    97532 |  4220237      0 |   805080 |        0
583.10/583.21	c  394s |      15 |   106655 |    97932 |  4220237      0 |   805080 |        0
585.40/585.56	c  396s |      15 |   107058 |    98332 |  4220237      0 |   805080 |        0
587.90/588.04	c  398s |      15 |   107456 |    98732 |  4220237      0 |   805080 |        0
590.00/590.17	c  401s |      15 |   107858 |    99132 |  4220237      0 |   805080 |        0
592.29/592.49	c  403s |      15 |   108259 |    99532 |  4220237      0 |   805080 |        0
594.69/594.80	c  405s |      15 |   108663 |    99932 |  4220237      0 |   805080 |        0
596.69/596.89	c  407s |      15 |   109064 |   100332 |  4220237      0 |   805080 |        0
599.00/599.15	c  410s |      15 |   109466 |   100732 |  4220237      0 |   805080 |        0
601.49/601.65	c  412s |      15 |   109965 |   101232 |  4220237      0 |   805080 |        0
603.69/603.82	c  414s |      15 |   110367 |   101632 |  4220237      0 |   805080 |        0
606.00/606.17	c  417s |      15 |   110869 |   102132 |  4220237      0 |   805080 |        0
608.20/608.33	c  419s |      15 |   111270 |   102532 |  4220237      0 |   805080 |        0
610.59/610.77	c  421s |      15 |   111768 |   103032 |  4220237      0 |   805080 |        0
612.70/612.89	c  423s |      15 |   112168 |   103432 |  4220237      0 |   805080 |        0
614.80/614.95	c  425s |      15 |   112573 |   103832 |  4220237      0 |   805080 |        0
617.19/617.35	c  428s |      15 |   113071 |   104332 |  4220237      0 |   805080 |        0
619.59/619.71	c  430s |      15 |   113573 |   104832 |  4220237      0 |   805080 |        0
621.79/621.96	c  432s |      15 |   113972 |   105232 |  4220237      0 |   805080 |        0
624.09/624.25	c  435s |      15 |   114480 |   105732 |  4220237      0 |   805080 |        0
626.29/626.47	c  437s |      15 |   114883 |   106132 |  4220237      0 |   805080 |        0
629.99/630.11	c  441s |      15 |   115227 |   106432 |  4220237      0 |   805081 |        0
688.59/688.79	c  499s |      15 |   117343 |   106532 |  4220237      0 |   805126 |        0
736.27/736.41	c  547s |      15 |   122240 |   106632 |  4220237      0 |   805160 |        0
738.37/738.50	c  549s |      15 |   125275 |   109532 |  4220237      0 |   805160 |        0
740.37/740.59	c  551s |      15 |   127807 |   111832 |  4220237      0 |   805160 |        0
742.38/742.60	c  553s |      15 |   129878 |   113632 |  4220237      0 |   805160 |        0
744.47/744.60	c  555s |      15 |   131848 |   115332 |  4220237      0 |   805160 |        0
746.47/746.66	c  557s |      15 |   134014 |   117032 |  4220237      0 |   805160 |        0
748.86/749.08	c  560s |      15 |   134306 |   117232 |  4220237      0 |   805162 |        0
751.07/751.20	c  562s |      15 |   137471 |   120232 |  4220237      0 |   805162 |        0
753.07/753.25	c  564s |      15 |   140284 |   123032 |  4220237      0 |   805162 |        0
755.16/755.33	c  566s |      15 |   142592 |   125332 |  4220237      0 |   805162 |        0
757.17/757.34	c  568s |      15 |   144507 |   127232 |  4220237      0 |   805162 |        0
759.26/759.40	c  570s |      15 |   146518 |   129232 |  4220237      0 |   805162 |        0
761.26/761.43	c  572s |      15 |   148527 |   131232 |  4642261      0 |   805162 |        0
761.56/761.73	c  572s |      16 |   148846 |   131552 |  4642261      0 |   805162 |        0
763.76/763.97	c  574s |      16 |   148972 |   131652 |  4642261      0 |   805162 |        0
775.37/775.55	c  586s |      16 |   149967 |   132352 |  4642261      0 |   805184 |        0
786.76/786.93	c  597s |      16 |   157345 |   132552 |  4642261      0 |   805193 |        0
804.76/804.91	c  615s |      16 |   161428 |   132652 |  4642261      0 |   805214 |        0
813.86/814.05	c  624s |      16 |   165915 |   132752 |  4642261      0 |   805290 |        0
840.85/841.02	c  651s |      16 |   169132 |   132852 |  4642261      0 |   805346 |        0
842.85/843.06	c  653s |      16 |   172784 |   136252 |  4642261      0 |   805346 |        0
844.95/845.11	c  656s |      16 |   175205 |   138652 |  4642261      0 |   805346 |        0
846.96/847.15	c  658s |      16 |   178141 |   141552 |  4642261      0 |   805346 |        0
848.95/849.17	c  660s |      16 |   180250 |   143652 |  4642261      0 |   805346 |        0
851.05/851.21	c  662s |      16 |   182464 |   145852 |  4642261      0 |   805346 |        0
853.05/853.29	c  664s |      16 |   184180 |   147552 |  4642261      0 |   805346 |        0
855.15/855.35	c  666s |      16 |   185713 |   149052 |  4642261      0 |   805346 |        0
857.14/857.36	c  668s |      16 |   187950 |   151252 |  4642261      0 |   805346 |        0
859.25/859.42	c  670s |      16 |   189364 |   152652 |  4642261      0 |   805346 |        0
861.35/861.51	c  672s |      16 |   190687 |   153952 |  4642261      0 |   805346 |        0
863.55/863.73	c  674s |      16 |   193246 |   156152 |  4642261      0 |   805346 |        0
865.66/865.81	c  676s |      16 |   195302 |   158152 |  4642261      0 |   805346 |        0
867.65/867.82	c  678s |      16 |   196721 |   159552 |  4642261      0 |   805346 |        0
869.74/869.97	c  680s |      16 |   197830 |   160652 |  4642261      0 |   805346 |        0
871.74/871.98	c  682s |      16 |   200208 |   162952 |  4642261      0 |   805346 |        0
873.84/874.09	c  685s |      16 |   201525 |   164252 |  4642261      0 |   805346 |        0
876.45/876.69	c  687s |      16 |   201968 |   164652 |  4642261      0 |   805347 |        0
880.04/880.24	c  691s |      16 |   203526 |   165952 |  4642261      0 |   805348 |        0
882.06/882.29	c  693s |      16 |   204875 |   167252 |  4642261      0 |   805348 |        0
884.25/884.41	c  695s |      16 |   206322 |   168552 |  4642261      0 |   805348 |        0
886.64/886.80	c  697s |      16 |   207390 |   169652 |  4642261      0 |   805348 |        0
888.65/888.82	c  699s |      16 |   208442 |   170652 |  4642261      0 |   805348 |        0
890.75/890.93	c  701s |      16 |   209771 |   171752 |  4642261      0 |   805348 |        0
892.84/893.08	c  704s |      16 |   210780 |   172752 |  4642261      0 |   805348 |        0
894.95/895.14	c  706s |      16 |   211983 |   173752 |  4642261      0 |   805348 |        0
896.94/897.18	c  708s |      16 |   212999 |   174652 |  4642261      0 |   805348 |        0
918.04/918.24	c  729s |      16 |   213680 |   175152 |  4642261      0 |   805348 |        0
920.23/920.44	c  731s |      16 |   214724 |   176152 |  4642261      0 |   805348 |        0
922.24/922.47	c  733s |      16 |   215366 |   176852 |  4642261      0 |   805348 |        0
924.24/924.48	c  735s |      16 |   216387 |   177752 |  4642261      0 |   805348 |        0
928.94/929.12	c  740s |      16 |   217431 |   178652 |  4642261      0 |   805349 |        0
931.14/931.33	c  742s |      16 |   218297 |   179552 |  4642261      0 |   805349 |        0
933.13/933.34	c  744s |      16 |   218986 |   180252 |  4642261      0 |   805349 |        0
935.34/935.53	c  746s |      16 |   219615 |   180852 |  4642261      0 |   805349 |        0
937.74/937.90	c  748s |      16 |   220188 |   181452 |  4642261      0 |   805349 |        0
939.84/940.00	c  750s |      16 |   220703 |   181952 |  4642261      0 |   805349 |        0
946.34/946.54	c  757s |      16 |   224802 |   182652 |  4642261      0 |   805416 |        0
948.33/948.59	c  759s |      16 |   227710 |   185552 |  4642261      0 |   805416 |        0
950.43/950.64	c  761s |      16 |   230220 |   188052 |  4642261      0 |   805416 |        0
952.44/952.68	c  763s |      16 |   232726 |   190552 |  4642261      0 |   805416 |        0
954.64/954.85	c  765s |      16 |   235137 |   192952 |  4642261      0 |   805416 |        0
956.63/956.88	c  767s |      16 |   237241 |   195052 |  4642261      0 |   805416 |        0
958.74/958.90	c  769s |      16 |   239346 |   197152 |  5106488      0 |   805416 |        0
958.94/959.10	c  770s |      17 |   239626 |   197432 |  5106488      0 |   805416 |        0
961.63/961.85	c  772s |      17 |   239753 |   197532 |  5106488      0 |   805416 |        0
963.63/963.88	c  774s |      17 |   241862 |   199632 |  5106488      0 |   805416 |        0
965.84/966.09	c  777s |      17 |   244176 |   201932 |  5106488      0 |   805416 |        0
967.94/968.16	c  779s |      17 |   246291 |   204032 |  5106488      0 |   805416 |        0
970.04/970.21	c  781s |      17 |   248196 |   205932 |  5106488      0 |   805416 |        0
972.03/972.29	c  783s |      17 |   250309 |   208032 |  5106488      0 |   805416 |        0
974.33/974.55	c  785s |      17 |   252316 |   210032 |  5106488      0 |   805416 |        0
976.43/976.60	c  787s |      17 |   254018 |   211732 |  5106488      0 |   805416 |        0
978.52/978.70	c  789s |      17 |   255523 |   213232 |  5106488      0 |   805416 |        0
980.53/980.74	c  791s |      17 |   256923 |   214632 |  5106488      0 |   805416 |        0
984.34/984.53	c  795s |      17 |   257751 |   215432 |  5106488      0 |   805417 |        0
986.43/986.63	c  797s |      17 |   259256 |   216932 |  5106488      0 |   805417 |        0
988.52/988.73	c  799s |      17 |   260561 |   218232 |  5106488      0 |   805417 |        0
990.62/990.84	c  801s |      17 |   261763 |   219432 |  5106488      0 |   805417 |        0
992.73/992.99	c  803s |      17 |   263068 |   220732 |  5106488      0 |   805417 |        0
994.93/995.17	c  806s |      17 |   264175 |   221832 |  5106488      0 |   805417 |        0
997.03/997.23	c  808s |      17 |   265578 |   223232 |  5106488      0 |   805417 |        0
999.12/999.34	c  810s |      17 |   266879 |   224532 |  5106488      0 |   805417 |        0
1001.12/1001.37	c  812s |      17 |   268183 |   225832 |  5106488      0 |   805417 |        0
1003.53/1003.72	c  814s |      17 |   269487 |   227132 |  5106488      0 |   805417 |        0
1005.53/1005.75	c  816s |      17 |   270697 |   228332 |  5106488      0 |   805417 |        0
1007.73/1007.95	c  818s |      17 |   271905 |   229532 |  5106488      0 |   805417 |        0
1010.02/1010.23	c  821s |      17 |   273105 |   230732 |  5106488      0 |   805417 |        0
1012.02/1012.25	c  823s |      17 |   274113 |   231732 |  5106488      0 |   805417 |        0
1014.12/1014.32	c  825s |      17 |   274920 |   232532 |  5106488      0 |   805417 |        0
1016.13/1016.40	c  827s |      17 |   275821 |   233432 |  5106488      0 |   805417 |        0
1018.23/1018.47	c  829s |      17 |   276826 |   234432 |  5106488      0 |   805417 |        0
1020.32/1020.54	c  831s |      17 |   277829 |   235432 |  5106488      0 |   805417 |        0
1022.32/1022.59	c  833s |      17 |   278827 |   236432 |  5106488      0 |   805417 |        0
1024.42/1024.69	c  835s |      17 |   279732 |   237332 |  5106488      0 |   805417 |        0
1026.53/1026.73	c  837s |      17 |   280833 |   238432 |  5106488      0 |   805417 |        0
1028.63/1028.83	c  839s |      17 |   281637 |   239232 |  5106488      0 |   805417 |        0
1030.82/1031.05	c  841s |      17 |   282639 |   240232 |  5106488      0 |   805417 |        0
1032.83/1033.07	c  844s |      17 |   283440 |   241032 |  5106488      0 |   805417 |        0
1034.93/1035.12	c  846s |      17 |   284245 |   241832 |  5106488      0 |   805417 |        0
1036.92/1037.14	c  848s |      17 |   285251 |   242832 |  5106488      0 |   805417 |        0
1040.53/1040.73	c  851s |      17 |   285672 |   243232 |  5106488      0 |   805428 |        0
1042.73/1042.94	c  853s |      17 |   286579 |   244132 |  5106488      0 |   805428 |        0
1044.72/1044.99	c  855s |      17 |   287482 |   245032 |  5106488      0 |   805428 |        0
1047.03/1047.24	c  858s |      17 |   288385 |   245932 |  5106488      0 |   805428 |        0
1049.23/1049.45	c  860s |      17 |   289182 |   246732 |  5106488      0 |   805428 |        0
1051.53/1051.73	c  862s |      17 |   290190 |   247732 |  5106488      0 |   805428 |        0
1053.72/1053.91	c  864s |      17 |   291395 |   248932 |  5106488      0 |   805428 |        0
1055.82/1056.04	c  866s |      17 |   292597 |   250132 |  5106488      0 |   805428 |        0
1057.82/1058.05	c  868s |      17 |   293599 |   251132 |  5106488      0 |   805428 |        0
1059.92/1060.16	c  871s |      17 |   294603 |   252132 |  5106488      0 |   805428 |        0
1062.01/1062.28	c  873s |      17 |   295408 |   252932 |  5106488      0 |   805428 |        0
1064.21/1064.42	c  875s |      17 |   296308 |   253832 |  5106488      0 |   805428 |        0
1066.42/1066.64	c  877s |      17 |   297215 |   254732 |  5106488      0 |   805428 |        0
1068.52/1068.78	c  879s |      17 |   298119 |   255632 |  5106488      0 |   805428 |        0
1070.71/1070.92	c  881s |      17 |   299022 |   256532 |  5106488      0 |   805428 |        0
1072.81/1073.08	c  884s |      17 |   300023 |   257532 |  5106488      0 |   805428 |        0
1074.91/1075.19	c  886s |      17 |   300827 |   258332 |  5106488      0 |   805428 |        0
1077.22/1077.44	c  888s |      17 |   301625 |   259132 |  5106488      0 |   805428 |        0
1079.42/1079.64	c  890s |      17 |   302325 |   259832 |  5106488      0 |   805428 |        0
1081.41/1081.67	c  892s |      17 |   303029 |   260532 |  5106488      0 |   805428 |        0
1083.51/1083.79	c  894s |      17 |   303930 |   261432 |  5106488      0 |   805428 |        0
1085.71/1085.98	c  896s |      17 |   304636 |   262132 |  5106488      0 |   805428 |        0
1087.81/1088.08	c  899s |      17 |   305335 |   262832 |  5106488      0 |   805428 |        0
1090.21/1090.46	c  901s |      17 |   305942 |   263432 |  5106488      0 |   805428 |        0
1092.41/1092.64	c  903s |      17 |   306747 |   264232 |  5106488      0 |   805428 |        0
1094.42/1094.66	c  905s |      17 |   307448 |   264932 |  5106488      0 |   805428 |        0
1096.62/1096.86	c  907s |      17 |   308150 |   265632 |  5106488      0 |   805428 |        0
1098.71/1098.94	c  909s |      17 |   308754 |   266232 |  5106488      0 |   805428 |        0
1100.81/1101.10	c  912s |      17 |   309353 |   266832 |  5106488      0 |   805428 |        0
1103.21/1103.47	c  914s |      17 |   310060 |   267532 |  5106488      0 |   805428 |        0
1105.41/1105.62	c  916s |      17 |   310757 |   268232 |  5106488      0 |   805428 |        0
1107.40/1107.65	c  918s |      17 |   311360 |   268832 |  5106488      0 |   805428 |        0
1109.41/1109.68	c  920s |      17 |   311962 |   269432 |  5106488      0 |   805428 |        0
1111.71/1111.94	c  922s |      17 |   312770 |   270232 |  5106488      0 |   805428 |        0
1113.91/1114.16	c  925s |      17 |   313674 |   271132 |  5106488      0 |   805428 |        0
1116.11/1116.33	c  927s |      17 |   314473 |   271932 |  5106488      0 |   805428 |        0
1118.20/1118.47	c  929s |      17 |   315276 |   272732 |  5106488      0 |   805428 |        0
1120.30/1120.52	c  931s |      17 |   315982 |   273432 |  5106488      0 |   805428 |        0
1122.41/1122.68	c  933s |      17 |   316583 |   274032 |  5106488      0 |   805428 |        0
1124.51/1124.71	c  935s |      17 |   317182 |   274632 |  5106488      0 |   805428 |        0
1145.60/1145.88	c  956s |      17 |   317483 |   274932 |  5106488      0 |   805428 |        0
1147.80/1148.03	c  958s |      17 |   318490 |   275932 |  5106488      0 |   805428 |        0
1149.80/1150.08	c  961s |      17 |   319394 |   276832 |  5106488      0 |   805428 |        0
1151.90/1152.12	c  963s |      17 |   320293 |   277732 |  5106488      0 |   805428 |        0
1154.10/1154.31	c  965s |      17 |   321203 |   278632 |  5106488      0 |   805428 |        0
1156.10/1156.36	c  967s |      17 |   322007 |   279432 |  5106488      0 |   805428 |        0
1158.11/1158.37	c  969s |      17 |   322808 |   280232 |  5106488      0 |   805428 |        0
1160.41/1160.69	c  971s |      17 |   323611 |   281032 |  5106488      0 |   805428 |        0
1162.70/1163.00	c  973s |      17 |   324412 |   281832 |  5106488      0 |   805428 |        0
1164.80/1165.07	c  976s |      17 |   325114 |   282532 |  5106488      0 |   805428 |        0
1167.10/1167.33	c  978s |      17 |   325815 |   283232 |  5106488      0 |   805428 |        0
1169.10/1169.36	c  980s |      17 |   326418 |   283832 |  5106488      0 |   805428 |        0
1171.50/1171.77	c  982s |      17 |   327123 |   284532 |  5106488      0 |   805428 |        0
1173.70/1173.97	c  984s |      17 |   327831 |   285232 |  5106488      0 |   805428 |        0
1175.90/1176.12	c  987s |      17 |   328434 |   285832 |  5106488      0 |   805428 |        0
1178.00/1178.28	c  989s |      17 |   329132 |   286532 |  5106488      0 |   805428 |        0
1180.21/1180.49	c  991s |      17 |   329834 |   287232 |  5106488      0 |   805428 |        0
1182.50/1182.74	c  993s |      17 |   330641 |   288032 |  5106488      0 |   805428 |        0
1184.69/1184.98	c  995s |      17 |   331239 |   288632 |  5106488      0 |   805428 |        0
1186.71/1186.99	c  997s |      17 |   331837 |   289232 |  5106488      0 |   805428 |        0
1189.01/1189.22	c 1000s |      17 |   332542 |   289932 |  5106488      0 |   805428 |        0
1191.10/1191.34	c 1002s |      17 |   333242 |   290632 |  5106488      0 |   805428 |        0
1193.10/1193.37	c 1004s |      17 |   333743 |   291132 |  5106488      0 |   805428 |        0
1195.29/1195.54	c 1006s |      17 |   334248 |   291632 |  5106488      0 |   805428 |        0
1197.59/1197.89	c 1008s |      17 |   334848 |   292232 |  5106488      0 |   805428 |        0
1199.79/1200.04	c 1010s |      17 |   335351 |   292732 |  5106488      0 |   805428 |        0
1202.20/1202.47	c 1013s |      17 |   335954 |   293332 |  5106488      0 |   805428 |        0
1204.50/1204.78	c 1015s |      17 |   336459 |   293832 |  5106488      0 |   805428 |        0
1206.69/1206.95	c 1017s |      17 |   336958 |   294332 |  5617137      0 |   805428 |        0
1208.99/1209.25	c 1020s |      17 |   337459 |   294832 |  5617137      0 |   805428 |        0
1211.19/1211.42	c 1022s |      17 |   337964 |   295332 |  5617137      0 |   805428 |        0
1213.29/1213.58	c 1024s |      17 |   338667 |   296032 |  5617137      0 |   805428 |        0
1214.30/1214.56	c 1025s |      18 |   338889 |   296252 |  5617137      0 |   805428 |        0
1217.80/1218.01	c 1028s |      18 |   339016 |   296352 |  5617137      0 |   805428 |        0
1220.09/1220.38	c 1031s |      18 |   339711 |   297052 |  5617137      0 |   805428 |        0
1222.19/1222.46	c 1033s |      18 |   340217 |   297552 |  5617137      0 |   805428 |        0
1224.38/1224.62	c 1035s |      18 |   340921 |   298252 |  5617137      0 |   805428 |        0
1226.69/1226.96	c 1037s |      18 |   341624 |   298952 |  5617137      0 |   805428 |        0
1228.89/1229.10	c 1040s |      18 |   342226 |   299552 |  5617137      0 |   805428 |        0
1231.89/1232.17	c 1043s |      18 |   342353 |   299652 |  5617137      0 |   805429 |        0
1233.89/1234.17	c 1045s |      18 |   342852 |   300152 |  5617137      0 |   805429 |        0
1237.40/1237.66	c 1048s |      18 |   343082 |   300352 |  5617137      0 |   805431 |        0
1239.50/1239.72	c 1050s |      18 |   343583 |   300852 |  5617137      0 |   805431 |        0
1241.49/1241.74	c 1052s |      18 |   344085 |   301352 |  5617137      0 |   805431 |        0
1243.69/1243.94	c 1054s |      18 |   344684 |   301952 |  5617137      0 |   805431 |        0
1245.78/1246.03	c 1056s |      18 |   345289 |   302552 |  5617137      0 |   805431 |        0
1247.98/1248.26	c 1059s |      18 |   345992 |   303252 |  5617137      0 |   805431 |        0
1250.18/1250.46	c 1061s |      18 |   346492 |   303752 |  5617137      0 |   805431 |        0
1252.39/1252.70	c 1063s |      18 |   347096 |   304352 |  5617137      0 |   805431 |        0
1254.59/1254.84	c 1065s |      18 |   347795 |   305052 |  5617137      0 |   805431 |        0
1256.69/1256.96	c 1067s |      18 |   348396 |   305652 |  5617137      0 |   805431 |        0
1258.78/1259.07	c 1070s |      18 |   349001 |   306252 |  5617137      0 |   805431 |        0
1260.88/1261.17	c 1072s |      18 |   349606 |   306852 |  5617137      0 |   805431 |        0
1262.88/1263.19	c 1074s |      18 |   350110 |   307352 |  5617137      0 |   805431 |        0
1265.18/1265.41	c 1076s |      18 |   350610 |   307852 |  5617137      0 |   805431 |        0
1267.28/1267.52	c 1078s |      18 |   351114 |   308352 |  5617137      0 |   805431 |        0
1269.59/1269.81	c 1080s |      18 |   351810 |   309052 |  5617137      0 |   805431 |        0
1271.78/1272.07	c 1082s |      18 |   352414 |   309652 |  5617137      0 |   805431 |        0
1274.08/1274.35	c 1085s |      18 |   353115 |   310352 |  5617137      0 |   805431 |        0
1276.28/1276.52	c 1087s |      18 |   353723 |   310952 |  5617137      0 |   805431 |        0
1278.58/1278.83	c 1089s |      18 |   354419 |   311652 |  5617137      0 |   805431 |        0
1280.78/1281.04	c 1091s |      18 |   354927 |   312152 |  5617137      0 |   805431 |        0
1282.98/1283.23	c 1094s |      18 |   355423 |   312652 |  5617137      0 |   805431 |        0
1284.98/1285.23	c 1096s |      18 |   356025 |   313252 |  5617137      0 |   805431 |        0
1287.38/1287.64	c 1098s |      18 |   356529 |   313752 |  5617137      0 |   805431 |        0
1289.48/1289.74	c 1100s |      18 |   356933 |   314152 |  5617137      0 |   805431 |        0
1292.08/1292.32	c 1103s |      18 |   357332 |   314552 |  5617137      0 |   805431 |        0
1314.47/1314.70	c 1125s |      18 |   357733 |   314952 |  5617137      0 |   805431 |        0
1316.67/1316.93	c 1127s |      18 |   358233 |   315452 |  5617137      0 |   805431 |        0
1318.68/1318.97	c 1129s |      18 |   358740 |   315952 |  5617137      0 |   805431 |        0
1320.88/1321.13	c 1132s |      18 |   359439 |   316652 |  5617137      0 |   805431 |        0
1323.18/1323.43	c 1134s |      18 |   360043 |   317252 |  5617137      0 |   805431 |        0
1325.28/1325.60	c 1136s |      18 |   360744 |   317952 |  5617137      0 |   805431 |        0
1327.48/1327.72	c 1138s |      18 |   361445 |   318652 |  5617137      0 |   805431 |        0
1329.47/1329.76	c 1140s |      18 |   362052 |   319252 |  5617137      0 |   805431 |        0
1331.57/1331.83	c 1142s |      18 |   362554 |   319752 |  5617137      0 |   805431 |        0
1333.97/1334.22	c 1145s |      18 |   363259 |   320452 |  5617137      0 |   805431 |        0
1336.17/1336.40	c 1147s |      18 |   363863 |   321052 |  5617137      0 |   805431 |        0
1338.47/1338.73	c 1149s |      18 |   364466 |   321652 |  5617137      0 |   805431 |        0
1340.87/1341.13	c 1152s |      18 |   365070 |   322252 |  5617137      0 |   805431 |        0
1342.87/1343.19	c 1154s |      18 |   365569 |   322752 |  5617137      0 |   805431 |        0
1345.08/1345.31	c 1156s |      18 |   366074 |   323252 |  5617137      0 |   805431 |        0
1347.47/1347.72	c 1158s |      18 |   366672 |   323852 |  5617137      0 |   805431 |        0
1349.67/1349.96	c 1160s |      18 |   367075 |   324252 |  5617137      0 |   805431 |        0
1351.87/1352.14	c 1163s |      18 |   367577 |   324752 |  5617137      0 |   805431 |        0
1354.06/1354.33	c 1165s |      18 |   368079 |   325252 |  5617137      0 |   805431 |        0
1356.47/1356.76	c 1167s |      18 |   368580 |   325752 |  5617137      0 |   805431 |        0
1358.87/1359.17	c 1170s |      18 |   369093 |   326252 |  5617137      0 |   805431 |        0
1361.57/1361.84	c 1172s |      18 |   369590 |   326752 |  5617137      0 |   805431 |        0
1363.77/1364.04	c 1174s |      18 |   369989 |   327152 |  5617137      0 |   805431 |        0
1365.87/1366.14	c 1177s |      18 |   370392 |   327552 |  5617137      0 |   805431 |        0
1368.17/1368.41	c 1179s |      18 |   370691 |   327852 |  5617137      0 |   805431 |        0
1370.37/1370.65	c 1181s |      18 |   371093 |   328252 |  5617137      0 |   805431 |        0
1372.86/1373.19	c 1184s |      18 |   371497 |   328652 |  5617137      0 |   805431 |        0
1375.47/1375.75	c 1186s |      18 |   371904 |   329052 |  5617137      0 |   805431 |        0
1377.77/1378.01	c 1188s |      18 |   372301 |   329452 |  5617137      0 |   805431 |        0
1379.77/1380.09	c 1191s |      18 |   372698 |   329852 |  5617137      0 |   805431 |        0
1382.47/1382.76	c 1193s |      18 |   373102 |   330252 |  5617137      0 |   805431 |        0
1384.67/1385.00	c 1195s |      18 |   373406 |   330552 |  5617137      0 |   805431 |        0
1386.76/1387.01	c 1197s |      18 |   373705 |   330852 |  5617137      0 |   805431 |        0
1388.87/1389.16	c 1200s |      18 |   374006 |   331152 |  5617137      0 |   805431 |        0
1390.86/1391.19	c 1202s |      18 |   374302 |   331452 |  5617137      0 |   805431 |        0
1393.06/1393.32	c 1204s |      18 |   374604 |   331752 |  5617137      0 |   805431 |        0
1395.77/1396.03	c 1206s |      18 |   375005 |   332152 |  5617137      0 |   805431 |        0
1397.87/1398.13	c 1209s |      18 |   375305 |   332452 |  5617137      0 |   805431 |        0
1400.26/1400.56	c 1211s |      18 |   375602 |   332752 |  5617137      0 |   805431 |        0
1402.37/1402.61	c 1213s |      18 |   375905 |   333052 |  5617137      0 |   805431 |        0
1404.36/1404.63	c 1215s |      18 |   376206 |   333352 |  5617137      0 |   805431 |        0
1406.86/1407.11	c 1218s |      18 |   376607 |   333752 |  5617137      0 |   805431 |        0
1409.36/1409.62	c 1220s |      18 |   377007 |   334152 |  5617137      0 |   805431 |        0
1411.46/1411.77	c 1222s |      18 |   377411 |   334552 |  5617137      0 |   805431 |        0
1413.96/1414.20	c 1225s |      18 |   377815 |   334952 |  5617137      0 |   805431 |        0
1416.06/1416.34	c 1227s |      18 |   378118 |   335252 |  5617137      0 |   805431 |        0
1418.56/1418.80	c 1229s |      18 |   378519 |   335652 |  5617137      0 |   805431 |        0
1421.06/1421.37	c 1232s |      18 |   378919 |   336052 |  5617137      0 |   805431 |        0
1423.16/1423.45	c 1234s |      18 |   379219 |   336352 |  5617137      0 |   805431 |        0
1425.65/1425.92	c 1236s |      18 |   379619 |   336752 |  5617137      0 |   805431 |        0
1428.06/1428.38	c 1239s |      18 |   380024 |   337152 |  5617137      0 |   805431 |        0
1430.66/1430.94	c 1241s |      18 |   380523 |   337652 |  5617137      0 |   805431 |        0
1452.35/1452.60	c 1263s |      18 |   380828 |   337952 |  5617137      0 |   805431 |        0
1454.65/1454.97	c 1265s |      18 |   381324 |   338452 |  5617137      0 |   805431 |        0
1457.15/1457.41	c 1268s |      18 |   381930 |   339052 |  5617137      0 |   805431 |        0
1459.25/1459.57	c 1270s |      18 |   382331 |   339452 |  5617137      0 |   805431 |        0
1461.45/1461.79	c 1272s |      18 |   382832 |   339952 |  5617137      0 |   805431 |        0
1463.55/1463.85	c 1274s |      18 |   383234 |   340352 |  5617137      0 |   805431 |        0
1465.85/1466.17	c 1277s |      18 |   383734 |   340852 |  5617137      0 |   805431 |        0
1468.26/1468.57	c 1279s |      18 |   384135 |   341252 |  5617137      0 |   805431 |        0
1470.65/1470.96	c 1281s |      18 |   384642 |   341752 |  5617137      0 |   805431 |        0
1472.65/1472.99	c 1283s |      18 |   385039 |   342152 |  5617137      0 |   805431 |        0
1475.05/1475.35	c 1286s |      18 |   385540 |   342652 |  5617137      0 |   805431 |        0
1477.45/1477.80	c 1288s |      18 |   385949 |   343052 |  5617137      0 |   805431 |        0
1479.95/1480.26	c 1291s |      18 |   386353 |   343452 |  5617137      0 |   805431 |        0
1482.45/1482.76	c 1293s |      18 |   386750 |   343852 |  5617137      0 |   805431 |        0
1484.55/1484.85	c 1295s |      18 |   387152 |   344252 |  5617137      0 |   805431 |        0
1486.64/1486.90	c 1297s |      18 |   387554 |   344652 |  5617137      0 |   805431 |        0
1489.15/1489.48	c 1300s |      18 |   387957 |   345052 |  5617137      0 |   805431 |        0
1491.55/1491.81	c 1302s |      18 |   388359 |   345452 |  5617137      0 |   805431 |        0
1494.05/1494.33	c 1305s |      18 |   388759 |   345852 |  5617137      0 |   805431 |        0
1496.15/1496.41	c 1307s |      18 |   389063 |   346152 |  5617137      0 |   805431 |        0
1498.95/1499.23	c 1310s |      18 |   389466 |   346552 |  5617137      0 |   805431 |        0
1501.54/1501.86	c 1312s |      18 |   389862 |   346952 |  5617137      0 |   805431 |        0
1504.04/1504.30	c 1315s |      18 |   390267 |   347352 |  5617137      0 |   805431 |        0
1506.54/1506.86	c 1317s |      18 |   390665 |   347752 |  5617137      0 |   805431 |        0
1508.84/1509.17	c 1320s |      18 |   391071 |   348152 |  5617137      0 |   805431 |        0
1511.26/1511.54	c 1322s |      18 |   391373 |   348452 |  5617137      0 |   805431 |        0
1513.35/1513.64	c 1324s |      18 |   391673 |   348752 |  5617137      0 |   805431 |        0
1515.65/1515.97	c 1326s |      18 |   391976 |   349052 |  5617137      0 |   805431 |        0
1518.04/1518.34	c 1329s |      18 |   392276 |   349352 |  5617137      0 |   805431 |        0
1520.14/1520.47	c 1331s |      18 |   392575 |   349652 |  5617137      0 |   805431 |        0
1522.34/1522.66	c 1333s |      18 |   392877 |   349952 |  5617137      0 |   805431 |        0
1524.74/1525.03	c 1335s |      18 |   393178 |   350252 |  5617137      0 |   805431 |        0
1526.84/1527.17	c 1338s |      18 |   393477 |   350552 |  5617137      0 |   805431 |        0
1529.14/1529.47	c 1340s |      18 |   393785 |   350852 |  5617137      0 |   805431 |        0
1531.34/1531.67	c 1342s |      18 |   394085 |   351152 |  5617137      0 |   805431 |        0
1533.94/1534.21	c 1345s |      18 |   394484 |   351552 |  5617137      0 |   805431 |        0
1536.55/1536.85	c 1347s |      18 |   394888 |   351952 |  5617137      0 |   805431 |        0
1539.04/1539.33	c 1350s |      18 |   395288 |   352352 |  5617137      0 |   805431 |        0
1541.44/1541.74	c 1352s |      18 |   395688 |   352752 |  5617137      0 |   805431 |        0
1543.64/1543.90	c 1354s |      18 |   395988 |   353052 |  5617137      0 |   805431 |        0
1545.74/1546.07	c 1356s |      18 |   396289 |   353352 |  5617137      0 |   805431 |        0
1548.14/1548.47	c 1359s |      18 |   396692 |   353752 |  5617137      0 |   805431 |        0
1550.63/1550.95	c 1361s |      18 |   397095 |   354152 |  5617137      0 |   805431 |        0
1552.74/1553.08	c 1364s |      18 |   397493 |   354552 |  5617137      0 |   805431 |        0
1555.04/1555.40	c 1366s |      18 |   397795 |   354852 |  5617137      0 |   805431 |        0
1557.84/1558.14	c 1369s |      18 |   398197 |   355252 |  5617137      0 |   805431 |        0
1579.73/1580.03	c 1390s |      18 |   398401 |   355452 |  5617137      0 |   805431 |        0
1581.83/1582.19	c 1393s |      18 |   398700 |   355752 |  5617137      0 |   805431 |        0
1584.43/1584.78	c 1395s |      18 |   399106 |   356152 |  5617137      0 |   805431 |        0
1586.73/1587.00	c 1397s |      18 |   399406 |   356452 |  5617137      0 |   805431 |        0
1588.74/1589.04	c 1399s |      18 |   399711 |   356752 |  5617137      0 |   805431 |        0
1590.83/1591.19	c 1402s |      18 |   400106 |   357152 |  5617137      0 |   805431 |        0
1592.93/1593.22	c 1404s |      18 |   400410 |   357452 |  5617137      0 |   805431 |        0
1595.33/1595.62	c 1406s |      18 |   400809 |   357852 |  5617137      0 |   805431 |        0
1597.53/1597.80	c 1408s |      18 |   401108 |   358152 |  5617137      0 |   805431 |        0
1599.73/1600.07	c 1410s |      18 |   401510 |   358552 |  5617137      0 |   805431 |        0
1602.43/1602.73	c 1413s |      18 |   401918 |   358952 |  5617137      0 |   805431 |        0
1604.92/1605.26	c 1416s |      18 |   402119 |   359152 |  5617137      0 |   805431 |        0
1607.03/1607.36	c 1418s |      18 |   402317 |   359352 |  5617137      0 |   805431 |        0
1609.63/1609.97	c 1420s |      18 |   402624 |   359652 |  5617137      0 |   805431 |        0
1612.43/1612.76	c 1423s |      18 |   402921 |   359952 |  5617137      0 |   805431 |        0
1615.13/1615.46	c 1426s |      18 |   403224 |   360252 |  5617137      0 |   805431 |        0
1617.83/1618.16	c 1429s |      18 |   403527 |   360552 |  5617137      0 |   805431 |        0
1620.23/1620.58	c 1431s |      18 |   403826 |   360852 |  5617137      0 |   805431 |        0
1622.92/1623.21	c 1434s |      18 |   404124 |   361152 |  5617137      0 |   805431 |        0
1625.42/1625.80	c 1436s |      18 |   404431 |   361452 |  5617137      0 |   805431 |        0
1627.84/1628.17	c 1439s |      18 |   404732 |   361752 |  5617137      0 |   805431 |        0
1630.13/1630.45	c 1441s |      18 |   405130 |   362152 |  5617137      0 |   805431 |        0
1632.23/1632.57	c 1443s |      18 |   405431 |   362452 |  5617137      0 |   805431 |        0
1634.52/1634.90	c 1445s |      18 |   405731 |   362752 |  5617137      0 |   805431 |        0
1636.72/1637.00	c 1447s |      18 |   406034 |   363052 |  5617137      0 |   805431 |        0
1638.93/1639.28	c 1450s |      18 |   406435 |   363452 |  5617137      0 |   805431 |        0
1641.42/1641.72	c 1452s |      18 |   406734 |   363752 |  5617137      0 |   805431 |        0
1644.02/1644.30	c 1455s |      18 |   407032 |   364052 |  5617137      0 |   805431 |        0
1646.62/1646.98	c 1457s |      18 |   407439 |   364452 |  5617137      0 |   805431 |        0
1648.82/1649.16	c 1460s |      18 |   407742 |   364752 |  5617137      0 |   805431 |        0
1651.32/1651.67	c 1462s |      18 |   408145 |   365152 |  5617137      0 |   805431 |        0
1654.13/1654.44	c 1465s |      18 |   408451 |   365452 |  5617137      0 |   805431 |        0
1656.43/1656.71	c 1467s |      18 |   408746 |   365752 |  5617137      0 |   805431 |        0
1658.92/1659.26	c 1470s |      18 |   409254 |   366252 |  5617137      0 |   805431 |        0
1661.52/1661.83	c 1472s |      18 |   409753 |   366752 |  5617137      0 |   805431 |        0
1663.91/1664.23	c 1475s |      18 |   410156 |   367152 |  5617137      0 |   805431 |        0
1666.01/1666.36	c 1477s |      18 |   410454 |   367452 |  5617137      0 |   805431 |        0
1668.12/1668.44	c 1479s |      18 |   410760 |   367752 |  5617137      0 |   805431 |        0
1670.42/1670.70	c 1481s |      18 |   411065 |   368052 |  5617137      0 |   805431 |        0
1672.61/1672.90	c 1483s |      18 |   411467 |   368452 |  5617137      0 |   805431 |        0
1675.21/1675.55	c 1486s |      18 |   411866 |   368852 |  5617137      0 |   805431 |        0
1677.51/1677.81	c 1488s |      18 |   412170 |   369152 |  5617137      0 |   805431 |        0
1679.52/1679.83	c 1490s |      18 |   412468 |   369452 |  5617137      0 |   805431 |        0
1681.62/1681.93	c 1492s |      18 |   412869 |   369852 |  5617137      0 |   805431 |        0
1702.81/1703.14	c 1514s |      18 |   413070 |   370052 |  5617137      0 |   805431 |        0
1705.51/1705.86	c 1516s |      18 |   413475 |   370452 |  5617137      0 |   805431 |        0
1707.91/1708.28	c 1519s |      18 |   413771 |   370752 |  5617137      0 |   805431 |        0
1709.91/1710.28	c 1521s |      18 |   414074 |   371052 |  5617137      0 |   805431 |        0
1712.01/1712.35	c 1523s |      18 |   414374 |   371352 |  5617137      0 |   805431 |        0
1714.61/1714.93	c 1525s |      18 |   414776 |   371752 |  5617137      0 |   805431 |        0
1716.91/1717.27	c 1528s |      18 |   415078 |   372052 |  5617137      0 |   805431 |        0
1719.01/1719.34	c 1530s |      18 |   415378 |   372352 |  5617137      0 |   805431 |        0
1721.50/1721.83	c 1532s |      18 |   415681 |   372652 |  5617137      0 |   805431 |        0
1723.81/1724.13	c 1535s |      18 |   415982 |   372952 |  5617137      0 |   805431 |        0
1726.31/1726.69	c 1537s |      18 |   416377 |   373352 |  5617137      0 |   805431 |        0
1728.70/1729.00	c 1539s |      18 |   416782 |   373752 |  5617137      0 |   805431 |        0
1731.11/1731.42	c 1542s |      18 |   417183 |   374152 |  5617137      0 |   805431 |        0
1733.61/1733.92	c 1544s |      18 |   417579 |   374552 |  5617137      0 |   805431 |        0
1735.81/1736.14	c 1547s |      18 |   417980 |   374952 |  5617137      0 |   805431 |        0
1738.21/1738.60	c 1549s |      18 |   418282 |   375252 |  5617137      0 |   805431 |        0
1740.70/1741.08	c 1552s |      18 |   418584 |   375552 |  5617137      0 |   805431 |        0
1743.40/1743.79	c 1554s |      18 |   418890 |   375852 |  5617137      0 |   805431 |        0
1745.90/1746.26	c 1557s |      18 |   419188 |   376152 |  5617137      0 |   805431 |        0
1748.30/1748.61	c 1559s |      18 |   419491 |   376452 |  5617137      0 |   805431 |        0
1750.71/1751.08	c 1562s |      18 |   419787 |   376752 |  5617137      0 |   805431 |        0
1753.21/1753.59	c 1564s |      18 |   420091 |   377052 |  5617137      0 |   805431 |        0
1755.71/1756.07	c 1566s |      18 |   420492 |   377452 |  5617137      0 |   805431 |        0
1757.81/1758.17	c 1569s |      18 |   420894 |   377852 |  5617137      0 |   805431 |        0
1760.30/1760.68	c 1571s |      18 |   421297 |   378252 |  5617137      0 |   805431 |        0
1762.40/1762.76	c 1573s |      18 |   421698 |   378652 |  5617137      0 |   805431 |        0
1764.60/1764.99	c 1575s |      18 |   422095 |   379052 |  5617137      0 |   805431 |        0
1766.70/1767.07	c 1577s |      18 |   422501 |   379452 |  5617137      0 |   805431 |        0
1768.90/1769.23	c 1580s |      18 |   422898 |   379852 |  5617137      0 |   805431 |        0
1771.50/1771.84	c 1582s |      18 |   423299 |   380252 |  5617137      0 |   805431 |        0
1773.69/1774.06	c 1584s |      18 |   423601 |   380552 |  5617137      0 |   805431 |        0
1776.00/1776.32	c 1587s |      18 |   423903 |   380852 |  5617137      0 |   805431 |        0
1778.51/1778.82	c 1589s |      18 |   424307 |   381252 |  5617137      0 |   805431 |        0
1780.80/1781.16	c 1592s |      18 |   424607 |   381552 |  5617137      0 |   805431 |        0
1783.30/1783.64	c 1594s |      18 |   424906 |   381852 |  5617137      0 |   805431 |        0
1785.90/1786.28	c 1597s |      18 |   425205 |   382152 |  5617137      0 |   805431 |        0
1788.90/1789.23	c 1600s |      18 |   425507 |   382452 |  5617137      0 |   805431 |        0
1791.79/1792.14	c 1603s |      18 |   425809 |   382752 |  5617137      0 |   805431 |        0
1794.39/1794.73	c 1605s |      18 |   426110 |   383052 |  5617137      0 |   805431 |        0
1797.00/1797.33	c 1608s |      18 |   426407 |   383352 |  5617137      0 |   805431 |        0
1799.00/1799.38	c 1610s |      18 |   426612 |   383552 |  5617137      0 |   805431 |        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-4099729-1466206189/watcher-4099729-1466206189 -o /tmp/evaluation-result-4099729-1466206189/solver-4099729-1466206189 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11340 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099729-1466206189.opb 

pid=11811
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: 1.45 0.46 0.16 3/179 11814
/proc/meminfo: memFree=30495576/32872528 swapFree=249320/249320
[pid=11814] ppid=11811 vsize=292284 CPUtime=0 cores=0,2,4,6
/proc/11814/stat : 11814 (toysat) R 11811 11814 11324 0 -1 4202496 1017 0 0 0 0 0 0 0 20 0 4 0 22669866 299298816 867 33554432000 4194304 16246674 140734649214064 140734649213488 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11814/statm: 73839 876 441 2943 0 70733 0
[pid=11814/tid=11815] ppid=11811 vsize=307644 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11815/stat : 11815 (toysat) S 11811 11814 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22669867 315027456 928 33554432000 4194304 16246674 140734649214064 140549720878320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11814/tid=11816] ppid=11811 vsize=312764 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11816/stat : 11816 (toysat) S 11811 11814 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22669867 320270336 945 33554432000 4194304 16246674 140734649214064 140549710388464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11814/tid=11817] ppid=11811 vsize=316860 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11817/stat : 11817 (toysat) S 11811 11814 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22669867 324464640 960 33554432000 4194304 16246674 140734649214064 140549699914928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 1.45 0.46 0.16 3/179 11814
/proc/meminfo: memFree=30495576/32872528 swapFree=249320/249320
[pid=11814] ppid=11811 vsize=1301060 CPUtime=0.08 cores=0,2,4,6
/proc/11814/stat : 11814 (toysat) R 11811 11814 11324 0 -1 4202496 28192 0 0 0 5 3 0 0 20 0 4 0 22669866 1332285440 27980 33554432000 4194304 16246674 140734649214064 140734649213376 7364033 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11814/statm: 325265 27996 798 2943 0 322159 0
[pid=11814/tid=11815] ppid=11811 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11815/stat : 11815 (toysat) S 11811 11814 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22669867 1332285440 28006 33554432000 4194304 16246674 140734649214064 140549720878320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11814/tid=11816] ppid=11811 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11816/stat : 11816 (toysat) S 11811 11814 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22669867 1332285440 28018 33554432000 4194304 16246674 140734649214064 140549710388464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11814/tid=11817] ppid=11811 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11817/stat : 11817 (toysat) S 11811 11814 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22669867 1332285440 28030 33554432000 4194304 16246674 140734649214064 140549699914928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1301060

[startup+0.200549 s]
/proc/loadavg: 1.45 0.46 0.16 3/179 11814
/proc/meminfo: memFree=30495576/32872528 swapFree=249320/249320
[pid=11814] ppid=11811 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/11814/stat : 11814 (toysat) R 11811 11814 11324 0 -1 4202496 42675 0 0 0 13 6 0 0 20 0 4 0 22669866 1345916928 42973 33554432000 4194304 16246674 140734649214064 140734649213376 7361367 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11814/statm: 328593 42973 798 2943 0 325487 0
[pid=11814/tid=11815] ppid=11811 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11815/stat : 11815 (toysat) S 11811 11814 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22669867 1345916928 42973 33554432000 4194304 16246674 140734649214064 140549720878320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11814/tid=11816] ppid=11811 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11816/stat : 11816 (toysat) S 11811 11814 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22669867 1345916928 42973 33554432000 4194304 16246674 140734649214064 140549710388464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11814/tid=11817] ppid=11811 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11817/stat : 11817 (toysat) S 11811 11814 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22669867 1345916928 42973 33554432000 4194304 16246674 140734649214064 140549699914928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300536 s]
/proc/loadavg: 1.45 0.46 0.16 3/179 11814
/proc/meminfo: memFree=30495576/32872528 swapFree=249320/249320
[pid=11814] ppid=11811 vsize=1314372 CPUtime=0.28 cores=0,2,4,6
/proc/11814/stat : 11814 (toysat) R 11811 11814 11324 0 -1 4202496 49956 0 0 0 22 6 0 0 20 0 4 0 22669866 1345916928 50254 33554432000 4194304 16246674 140734649214064 140734649213376 8058528 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11814/statm: 328593 50254 798 2943 0 325487 0
[pid=11814/tid=11815] ppid=11811 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11815/stat : 11815 (toysat) S 11811 11814 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22669867 1345916928 50254 33554432000 4194304 16246674 140734649214064 140549720878320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11814/tid=11816] ppid=11811 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11816/stat : 11816 (toysat) S 11811 11814 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22669867 1345916928 50254 33554432000 4194304 16246674 140734649214064 140549710388464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11814/tid=11817] ppid=11811 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11817/stat : 11817 (toysat) S 11811 11814 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22669867 1345916928 50254 33554432000 4194304 16246674 140734649214064 140549699914928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1314372

[startup+0.70041 s]
/proc/loadavg: 1.45 0.46 0.16 3/179 11814
/proc/meminfo: memFree=30495576/32872528 swapFree=249320/249320
[pid=11814] ppid=11811 vsize=1314372 CPUtime=0.68 cores=0,2,4,6
/proc/11814/stat : 11814 (toysat) R 11811 11814 11324 0 -1 4202496 61459 0 0 0 60 8 0 0 20 0 4 0 22669866 1345916928 61758 33554432000 4194304 16246674 140734649214064 140734649213376 8055408 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11814/statm: 328593 61777 800 2943 0 325487 0
[pid=11814/tid=11815] ppid=11811 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11815/stat : 11815 (toysat) S 11811 11814 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22669867 1345916928 61789 33554432000 4194304 16246674 140734649214064 140549720878320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11814/tid=11816] ppid=11811 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11816/stat : 11816 (toysat) S 11811 11814 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22669867 1345916928 61800 33554432000 4194304 16246674 140734649214064 140549710388464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11814/tid=11817] ppid=11811 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11817/stat : 11817 (toysat) S 11811 11814 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22669867 1345916928 61812 33554432000 4194304 16246674 140734649214064 140549699914928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1314372

[startup+1.50043 s]
/proc/loadavg: 1.45 0.46 0.16 3/183 11818
/proc/meminfo: memFree=30136756/32872528 swapFree=249320/249320
[pid=11814] ppid=11811 vsize=1326660 CPUtime=1.49 cores=0,2,4,6
/proc/11814/stat : 11814 (toysat) R 11811 11814 11324 0 -1 4202496 88796 0 0 0 136 13 0 0 20 0 4 0 22669866 1358499840 91649 33554432000 4194304 16246674 140734649214064 140734649211904 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11814/statm: 331665 91649 800 2943 0 328559 0
[pid=11814/tid=11815] ppid=11811 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11815/stat : 11815 (toysat) S 11811 11814 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22669867 1358499840 91649 33554432000 4194304 16246674 140734649214064 140549720878320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11814/tid=11816] ppid=11811 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11816/stat : 11816 (toysat) S 11811 11814 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22669867 1358499840 91649 33554432000 4194304 16246674 140734649214064 140549710388464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11814/tid=11817] ppid=11811 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11817/stat : 11817 (toysat) S 11811 11814 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22669867 1358499840 91649 33554432000 4194304 16246674 140734649214064 140549699914928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1326660

[startup+3.10041 s]
/proc/loadavg: 1.50 0.49 0.17 3/183 11818
/proc/meminfo: memFree=29931208/32872528 swapFree=249320/249320
[pid=11814] ppid=11811 vsize=1351236 CPUtime=3.08 cores=0,2,4,6
/proc/11814/stat : 11814 (toysat) R 11811 11814 11324 0 -1 4202496 139228 0 0 0 288 20 0 0 20 0 4 0 22669866 1383665664 147702 33554432000 4194304 16246674 140734649214064 140734649197056 7889488 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11814/statm: 337809 147702 801 2943 0 334703 0
[pid=11814/tid=11815] ppid=11811 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11815/stat : 11815 (toysat) S 11811 11814 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22669867 1383665664 147702 33554432000 4194304 16246674 140734649214064 140549720878320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11814/tid=11816] ppid=11811 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11816/stat : 11816 (toysat) S 11811 11814 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22669867 1383665664 147702 33554432000 4194304 16246674 140734649214064 140549710388464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11814/tid=11817] ppid=11811 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11817/stat : 11817 (toysat) S 11811 11814 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22669867 1383665664 147702 33554432000 4194304 16246674 140734649214064 140549699914928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1351236

[startup+6.30042 s]
/proc/loadavg: 1.50 0.49 0.17 3/183 11818
/proc/meminfo: memFree=29600788/32872528 swapFree=249320/249320
[pid=11814] ppid=11811 vsize=1400388 CPUtime=6.29 cores=0,2,4,6
/proc/11814/stat : 11814 (toysat) R 11811 11814 11324 0 -1 4202496 206356 0 0 0 598 31 0 0 20 0 4 0 22669866 1433997312 226583 33554432000 4194304 16246674 140734649214064 140734649211904 4220807 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11814/statm: 350097 226583 802 2943 0 346991 0
[pid=11814/tid=11815] ppid=11811 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11815/stat : 11815 (toysat) S 11811 11814 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22669867 1433997312 226583 33554432000 4194304 16246674 140734649214064 140549720878320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11814/tid=11816] ppid=11811 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11816/stat : 11816 (toysat) S 11811 11814 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22669867 1433997312 226583 33554432000 4194304 16246674 140734649214064 140549710388464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11814/tid=11817] ppid=11811 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11817/stat : 11817 (toysat) S 11811 11814 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22669867 1433997312 226583 33554432000 4194304 16246674 140734649214064 140549699914928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1400388

[startup+12.7004 s]
/proc/loadavg: 1.57 0.54 0.19 3/184 11822
/proc/meminfo: memFree=29411916/32872528 swapFree=249320/249320
[pid=11814] ppid=11811 vsize=1498692 CPUtime=12.69 cores=0,2,4,6
/proc/11814/stat : 11814 (toysat) R 11811 11814 11324 0 -1 4202496 228923 0 0 0 1231 38 0 0 20 0 4 0 22669866 1534660608 273678 33554432000 4194304 16246674 140734649214064 140734649197056 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11814/statm: 374673 273678 802 2943 0 371567 0
[pid=11814/tid=11815] ppid=11811 vsize=1498692 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11815/stat : 11815 (toysat) S 11811 11814 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22669867 1534660608 273678 33554432000 4194304 16246674 140734649214064 140549720878320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11814/tid=11816] ppid=11811 vsize=1498692 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11816/stat : 11816 (toysat) S 11811 11814 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22669867 1534660608 273678 33554432000 4194304 16246674 140734649214064 140549710388464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11814/tid=11817] ppid=11811 vsize=1498692 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11817/stat : 11817 (toysat) S 11811 11814 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22669867 1534660608 273678 33554432000 4194304 16246674 140734649214064 140549699914928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1498692

[startup+25.5005 s]
/proc/loadavg: 1.64 0.59 0.21 3/184 11822
/proc/meminfo: memFree=26472056/32872528 swapFree=249320/249320
[pid=11814] ppid=11811 vsize=4334148 CPUtime=25.48 cores=0,2,4,6
/proc/11814/stat : 11814 (toysat) R 11811 11814 11324 0 -1 4202496 929049 0 0 0 2413 135 0 0 20 0 4 0 22669866 4438167552 1005997 33554432000 4194304 16246674 140734649214064 140734649213160 4206568 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11814/statm: 1083537 1005997 811 2943 0 1080431 0
[pid=11814/tid=11815] ppid=11811 vsize=4334148 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11815/stat : 11815 (toysat) S 11811 11814 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22669867 4438167552 1005997 33554432000 4194304 16246674 140734649214064 140549720878320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11814/tid=11816] ppid=11811 vsize=4334148 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11816/stat : 11816 (toysat) S 11811 11814 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22669867 4438167552 1005997 33554432000 4194304 16246674 140734649214064 140549710388464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11814/tid=11817] ppid=11811 vsize=4334148 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11817/stat : 11817 (toysat) S 11811 11814 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22669867 4438167552 1005997 33554432000 4194304 16246674 140734649214064 140549699914928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4334148

[startup+51.1005 s]
/proc/loadavg: 1.76 0.70 0.25 4/184 11822
/proc/meminfo: memFree=23209856/32872528 swapFree=249320/249320
[pid=11814] ppid=11811 vsize=7793220 CPUtime=51.08 cores=0,2,4,6
/proc/11814/stat : 11814 (toysat) R 11811 11814 11324 0 -1 4202496 1793871 0 0 0 4850 258 0 0 20 0 4 0 22669866 7980257280 1889215 33554432000 4194304 16246674 140734649214064 140734649212728 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11814/statm: 1948305 1889224 850 2943 0 1945199 0
[pid=11814/tid=11815] ppid=11811 vsize=7793220 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11815/stat : 11815 (toysat) S 11811 11814 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22669867 7980257280 1889229 33554432000 4194304 16246674 140734649214064 140549720878320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11814/tid=11816] ppid=11811 vsize=7793220 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11816/stat : 11816 (toysat) S 11811 11814 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22669867 7980257280 1889235 33554432000 4194304 16246674 140734649214064 140549710388240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11814/tid=11817] ppid=11811 vsize=7793220 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11817/stat : 11817 (toysat) S 11811 11814 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22669867 7980257280 1889240 33554432000 4194304 16246674 140734649214064 140549699914928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 7793220

[startup+102.3 s]
/proc/loadavg: 1.90 0.91 0.35 3/183 11823
/proc/meminfo: memFree=19543564/32872528 swapFree=249320/249320
[pid=11814] ppid=11811 vsize=11175492 CPUtime=102.28 cores=0,2,4,6
/proc/11814/stat : 11814 (toysat) R 11811 11814 11324 0 -1 4202496 2639471 0 0 0 9843 385 0 0 20 0 4 0 22669866 11443703808 2734815 33554432000 4194304 16246674 140734649214064 140734649213240 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11814/statm: 2793873 2734815 850 2943 0 2790767 0
[pid=11814/tid=11815] ppid=11811 vsize=11175492 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11815/stat : 11815 (toysat) S 11811 11814 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22669867 11443703808 2734815 33554432000 4194304 16246674 140734649214064 140549720878320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11814/tid=11816] ppid=11811 vsize=11175492 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11816/stat : 11816 (toysat) S 11811 11814 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22669867 11443703808 2734815 33554432000 4194304 16246674 140734649214064 140549710388464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11814/tid=11817] ppid=11811 vsize=11175492 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11817/stat : 11817 (toysat) S 11811 11814 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22669867 11443703808 2734815 33554432000 4194304 16246674 140734649214064 140549699914928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 11175492


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

[pid=11814] ppid=11811 vsize=13053508 CPUtime=1362.06 cores=0,2,4,6
/proc/11814/stat : 11814 (toysat) R 11811 11814 11324 0 -1 4202496 3109053 0 0 0 135618 588 0 0 20 0 4 0 22669866 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140734649213160 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11814/statm: 3263377 3204637 911 2943 0 3260271 0
[pid=11814/tid=11815] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11815/stat : 11815 (toysat) S 11811 11814 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549720878320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11814/tid=11816] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11816/stat : 11816 (toysat) S 11811 11814 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549710388464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11814/tid=11817] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11817/stat : 11817 (toysat) S 11811 11814 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549699914928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 13053508

[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 1.60 3/183 11856
/proc/meminfo: memFree=17699380/32872528 swapFree=249320/249320
[pid=11814] ppid=11811 vsize=13053508 CPUtime=1422.06 cores=0,2,4,6
/proc/11814/stat : 11814 (toysat) R 11811 11814 11324 0 -1 4202496 3109053 0 0 0 141613 593 0 0 20 0 4 0 22669866 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140734649195968 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11814/statm: 3263377 3204637 911 2943 0 3260271 0
[pid=11814/tid=11815] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11815/stat : 11815 (toysat) S 11811 11814 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549720878320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11814/tid=11816] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11816/stat : 11816 (toysat) S 11811 11814 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549710388464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11814/tid=11817] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11817/stat : 11817 (toysat) S 11811 11814 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549699914928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 13053508

[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.62 3/183 11857
/proc/meminfo: memFree=17699016/32872528 swapFree=249320/249320
[pid=11814] ppid=11811 vsize=13053508 CPUtime=1482.05 cores=0,2,4,6
/proc/11814/stat : 11814 (toysat) R 11811 11814 11324 0 -1 4202496 3109053 0 0 0 147609 596 0 0 20 0 4 0 22669866 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140734649213160 6011593 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11814/statm: 3263377 3204637 911 2943 0 3260271 0
[pid=11814/tid=11815] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11815/stat : 11815 (toysat) S 11811 11814 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549720878320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11814/tid=11816] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11816/stat : 11816 (toysat) S 11811 11814 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549710388464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11814/tid=11817] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11817/stat : 11817 (toysat) S 11811 11814 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549699914928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 13053508

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.64 3/183 11859
/proc/meminfo: memFree=17681676/32872528 swapFree=249320/249320
[pid=11814] ppid=11811 vsize=13053508 CPUtime=1542.05 cores=0,2,4,6
/proc/11814/stat : 11814 (toysat) R 11811 11814 11324 0 -1 4202496 3109053 0 0 0 153605 600 0 0 20 0 4 0 22669866 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140734649213240 13898695 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11814/statm: 3263377 3204637 911 2943 0 3260271 0
[pid=11814/tid=11815] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11815/stat : 11815 (toysat) S 11811 11814 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549720878320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11814/tid=11816] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11816/stat : 11816 (toysat) S 11811 11814 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549710388464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11814/tid=11817] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11817/stat : 11817 (toysat) S 11811 11814 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549699914928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 13053508

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.66 3/183 11860
/proc/meminfo: memFree=17680820/32872528 swapFree=249320/249320
[pid=11814] ppid=11811 vsize=13053508 CPUtime=1602.03 cores=0,2,4,6
/proc/11814/stat : 11814 (toysat) R 11811 11814 11324 0 -1 4202496 3109053 0 0 0 159601 602 0 0 20 0 4 0 22669866 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140734649213240 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11814/statm: 3263377 3204637 911 2943 0 3260271 0
[pid=11814/tid=11815] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11815/stat : 11815 (toysat) S 11811 11814 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549720878320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11814/tid=11816] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11816/stat : 11816 (toysat) S 11811 11814 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549710388464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11814/tid=11817] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11817/stat : 11817 (toysat) S 11811 11814 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549699914928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 13053508

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 1.68 3/183 11861
/proc/meminfo: memFree=17680844/32872528 swapFree=249320/249320
[pid=11814] ppid=11811 vsize=13053508 CPUtime=1662.02 cores=0,2,4,6
/proc/11814/stat : 11814 (toysat) R 11811 11814 11324 0 -1 4202496 3109058 0 0 0 165595 607 0 0 20 0 4 0 22669866 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140734649195968 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11814/statm: 3263377 3204637 911 2943 0 3260271 0
[pid=11814/tid=11815] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11815/stat : 11815 (toysat) S 11811 11814 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549720878320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11814/tid=11816] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11816/stat : 11816 (toysat) S 11811 11814 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549710388464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11814/tid=11817] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11817/stat : 11817 (toysat) S 11811 11814 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549699914928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 13053508

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.70 3/183 11862
/proc/meminfo: memFree=17680628/32872528 swapFree=249320/249320
[pid=11814] ppid=11811 vsize=13053508 CPUtime=1722 cores=0,2,4,6
/proc/11814/stat : 11814 (toysat) R 11811 11814 11324 0 -1 4202496 3109061 0 0 0 171591 609 0 0 20 0 4 0 22669866 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140734649195968 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11814/statm: 3263377 3204637 911 2943 0 3260271 0
[pid=11814/tid=11815] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11815/stat : 11815 (toysat) S 11811 11814 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549720878320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11814/tid=11816] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11816/stat : 11816 (toysat) S 11811 11814 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549710388464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11814/tid=11817] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11817/stat : 11817 (toysat) S 11811 11814 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549699914928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 13053508

[startup+1782.3 s]
/proc/loadavg: 1.93 1.98 1.71 3/183 11912
/proc/meminfo: memFree=18209952/32872528 swapFree=249320/249320
[pid=11814] ppid=11811 vsize=13053508 CPUtime=1782 cores=0,2,4,6
/proc/11814/stat : 11814 (toysat) R 11811 11814 11324 0 -1 4202496 3109061 0 0 0 177587 613 0 0 20 0 4 0 22669866 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140734649195968 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11814/statm: 3263377 3204637 911 2943 0 3260271 0
[pid=11814/tid=11815] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11815/stat : 11815 (toysat) S 11811 11814 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549720878320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11814/tid=11816] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11816/stat : 11816 (toysat) S 11811 11814 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549710388464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11814/tid=11817] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11817/stat : 11817 (toysat) S 11811 11814 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549699914928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 13053508



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.02 2.00 1.72 3/183 11912
/proc/meminfo: memFree=18210052/32872528 swapFree=249320/249320
[pid=11814] ppid=11811 vsize=13053508 CPUtime=1800 cores=0,2,4,6
/proc/11814/stat : 11814 (toysat) R 11811 11814 11324 0 -1 4202496 3109061 0 0 0 179386 614 0 0 20 0 4 0 22669866 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140734649213240 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11814/statm: 3263377 3204637 911 2943 0 3260271 0
[pid=11814/tid=11815] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11815/stat : 11815 (toysat) S 11811 11814 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549720878320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11814/tid=11816] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11816/stat : 11816 (toysat) S 11811 11814 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549710388464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11814/tid=11817] ppid=11811 vsize=13053508 CPUtime=0 cores=0,2,4,6
/proc/11814/task/11817/stat : 11817 (toysat) S 11811 11814 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22669867 13366792192 3204637 33554432000 4194304 16246674 140734649214064 140549699914928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 13053508

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

[startup+1800.4 s]
/proc/loadavg: 2.02 2.00 1.72 3/183 11912
/proc/meminfo: memFree=18210052/32872528 swapFree=249320/249320
[pid=11814] ppid=11811 vsize=0 CPUtime=1800.1 cores=0,2,4,6
/proc/11814/stat : 11814 (toysat) Z 11811 11814 11324 0 -1 4203532 3109061 0 0 0 179386 624 0 0 20 0 2 0 22669866 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11814/statm: 0 0 0 0 0 0 0
[pid=11814/tid=11816] ppid=11811 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/11814/task/11816/stat : 11816 (toysat) R 11811 11814 11324 0 -1 4203588 8 0 0 0 0 8 0 0 20 0 2 0 22669867 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 0

[startup+1800.81 s]
/proc/loadavg: 2.02 2.00 1.72 3/181 11912
/proc/meminfo: memFree=27335612/32872528 swapFree=249320/249320
[pid=11814] ppid=11811 vsize=0 CPUtime=1800.5 cores=0,2,4,6
/proc/11814/stat : 11814 (toysat) Z 11811 11814 11324 0 -1 4203532 3109061 0 0 0 179386 664 0 0 20 0 2 0 22669866 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11814/statm: 0 0 0 0 0 0 0
[pid=11814/tid=11816] ppid=11811 vsize=0 CPUtime=0.49 cores=0,2,4,6
/proc/11814/task/11816/stat : 11816 (toysat) R 11811 11814 11324 0 -1 4203588 8 0 0 0 0 49 0 0 20 0 2 0 22669867 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.5
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.9
CPU time (s): 1800.6
CPU user time (s): 1793.87
CPU system time (s): 6.73398
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 13053508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.87
system time used= 6.73398
maximum resident set size= 12818548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3109061
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= 94
involuntary context switches= 1860

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.14 second user time and 14.2118 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-18 01:29:54
IDJOB=4099729
IDBENCH=1503
IDSOLVER=2542
FILE ID=node103/4099729-1466206189
RUNJOBID= node103-1466206104-11340
PBS_JOBID= 19918169
Free space on /tmp= 71588 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome13.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099729-1466206189/watcher-4099729-1466206189 -o /tmp/evaluation-result-4099729-1466206189/solver-4099729-1466206189 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11340 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099729-1466206189.opb

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

MD5SUM BENCH= dc68c84ca9a12d789f4fef65e97f0e43
RANDOM SEED=1286706299

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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		: 2667.278
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:        30496236 kB
Buffers:           36116 kB
Cached:           263312 kB
SwapCached:         2456 kB
Active:          1326880 kB
Inactive:          87168 kB
Active(anon):    1114548 kB
Inactive(anon):     2272 kB
Active(file):     212332 kB
Inactive(file):    84896 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099368 kB
Dirty:            155140 kB
Writeback:             0 kB
AnonPages:       1362768 kB
Mapped:            10812 kB
Shmem:                 0 kB
Slab:             579748 kB
SReclaimable:      21640 kB
SUnreclaim:       558108 kB
KernelStack:        1464 kB
PageTables:         6800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1507620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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= 71580 MiB
End job on node103 at 2016-06-18 01:59:55