Trace number 4078722

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.2 1800.48

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin18.opb
MD5SUMf17e31cb6762bd0e8d3e659d7bd1050c
Bench CategoryDEC-SMALLINT (no optimisation, small 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 FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables23409
Total number of constraints1386
Number of constraints which are clauses612
Number of constraints which are cardinality constraints (but not clauses)774
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint153
Maximum length of a constraint289
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 291
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-06T14:38:15+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-4078722-1465216695.opb"]
0.00/0.01	c use --random-gen="2441136089 994716041 986794765 2958644404 3083937658 1204070395 1747300659 3696911201 77050984 2900570350 2897716922 3643945952 1217553453 1359644808 4211075627 325949531 4256179736 3732132478 4220548706 220134382 1084447592 2813329062 696127060 2378079081 1544492430 111003860 355066532 604607294 1548979965 1517774408 3043326166 1394658551 4186822998 1210602085 1520280130 2246482031 3383940752 749807635 2216790094 1510821783 3326876690 472282960 2399418335 2208042054 487212037 827917065 3436401680 3219577617 456024719 2082121284 4195257257 3423351957 1927441822 238048517 2953457931 4221773084 2989215613 560599179 667034888 127968796 1778123921 2791964193 214405019 3603489665 4108838542 2164840825 3121437938 3791777187 1432684387 3920322910 2408856530 3478781134 2264277443 2740330233 3847178160 3523833023 1149337120 1932422546 2291930849 685161532 3553236550 653514070 1117348270 775373858 1306053069 2864981184 2142440748 2654243823 1360720713 1744598425 1189354183 2620043263 3165278662 2095815764 4073854156 2579879881 3397568688 4053781557 792129205 366398478 3683535152 724928848 310304744 3802791429 1704503212 368154224 4061278609 1788572281 3494531667 4251499505 4165706939 3088399697 1797134825 2389216274 117280399 3851585004 166957105 1298401128 1576682417 1508593905 1398590505 2255829550 2243606529 1301837194 1714457754 906145757 2315081336 692564063 2198765668 1330494851 3356514410 4152432180 3160101679 3185684966 1248669118 2244874049 3176292469 1226937842 3208718419 2576065640 110923522 2466656226 2074315334 3459663651 3798037161 2277198175 992843447 1220227159 1350093419 2965092653 3866714435 562379560 1036792832 1399570840 2828636974 4067807333 3908385054 2320333896 2886406059 74007291 124239739 813501738 2336213228 2170275582 475146307 2692832534 1103811702 3101463370 420104623 1542828559 1049153582 2479162375 1860452391 2602631698 3731302099 1685912024 1646338560 3746166943 3132416208 1705956375 4196235604 3165028941 2010989942 3671164265 104968624 344074252 1112205067 2072967525 2472740756 2972891422 3345670111 4129841293 3570632082 2854733380 24209995 977856962 1513749928 4070428521 3080621631 512751731 1887312464 1397566862 3276983979 2905659808 2766023785 1284302816 2216344472 4132996834 3822401540 1335799484 1488922133 558975409 3278815642 3160647498 3957148821 2256127628 2713253322 1847818248 2814079687 3945833542 3827072108 2702460571 328677384 203723237 3856912767 804525991 3219398969 1197489348 4190372265 2292774118 1136958150 232169573 3285812648 2255363675 115084571 915003877 2708002231 1804431490 2485741820 3112185574 3758291107 1534202373 4128929387 83182867 340993898 4204687672 3926291938 4287906181 2971523004 2100463249 4177016171 860638794 323376271 2960199766 3324217607 2097411437 255 362436" option to reproduce the execution
0.39/0.43	c #vars 23409
0.39/0.43	c #constraints 1386
0.99/1.01	c Solving starts ...
0.99/1.01	c ============================[ Search Statistics ]============================
0.99/1.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.99/1.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.99/1.01	c =============================================================================
0.99/1.07	c  0.0s |       0 |        0 |        0 |     8265      0 |        0 |        0
1.19/1.26	c  0.2s |       1 |      374 |      100 |     8265      0 |        0 |        0
1.79/1.85	c  0.8s |       2 |     3823 |      250 |     9092      0 |        0 |        0
2.69/2.75	c  1.7s |       3 |     6192 |      475 |    10002      0 |        0 |        0
3.49/3.58	c  2.6s |       4 |     9256 |      813 |    11003      0 |        0 |        0
5.60/5.61	c  4.6s |       4 |    12546 |     1313 |    12104      0 |        0 |        0
5.60/5.66	c  4.6s |       5 |    12556 |     1320 |    12104      0 |        0 |        0
7.79/7.87	c  6.9s |       5 |    16118 |     1920 |    13315      0 |        0 |        0
8.28/8.34	c  7.3s |       6 |    16323 |     2081 |    14647      0 |        0 |        0
11.79/11.82	c 10.8s |       6 |    19483 |     2481 |    14647      0 |        0 |        0
13.89/13.99	c 13.0s |       6 |    20346 |     2781 |    14647      0 |        0 |        0
16.38/16.42	c 15.4s |       6 |    21196 |     3181 |    14647      0 |        0 |        0
16.78/16.80	c 15.8s |       7 |    21282 |     3223 |    16112      0 |        0 |        0
19.08/19.16	c 18.1s |       7 |    26829 |     3723 |    16112      0 |        0 |        0
21.38/21.48	c 20.5s |       7 |    27770 |     4123 |    16112      0 |        0 |        0
23.79/23.81	c 22.8s |       7 |    28798 |     4523 |    16112      0 |        0 |        0
25.89/25.91	c 24.9s |       7 |    29179 |     4723 |    16112      0 |        0 |        0
27.68/27.75	c 26.7s |       8 |    29818 |     4936 |    17724      0 |        0 |        0
29.88/29.96	c 28.9s |       8 |    33536 |     5336 |    17724      0 |        0 |        0
32.29/32.37	c 31.4s |       8 |    35886 |     5936 |    17724      0 |        0 |        0
34.59/34.61	c 33.6s |       8 |    36404 |     6236 |    17724      0 |        0 |        0
36.89/36.95	c 35.9s |       8 |    37670 |     6736 |    17724      0 |        0 |        0
38.98/39.09	c 38.1s |       8 |    38685 |     7136 |    17724      0 |        0 |        0
41.48/41.50	c 40.5s |       8 |    39229 |     7436 |    17724      0 |        0 |        0
42.28/42.33	c 41.3s |       9 |    39352 |     7506 |    19497      0 |        0 |        0
44.38/44.49	c 43.5s |       9 |    43630 |     7906 |    19497      0 |        0 |        0
46.58/46.62	c 45.6s |       9 |    46071 |     8506 |    19497      0 |        0 |        0
48.69/48.71	c 47.7s |       9 |    47006 |     8906 |    19497      0 |        0 |        0
51.38/51.44	c 50.4s |       9 |    47581 |     9206 |    19497      0 |        0 |        0
53.98/54.08	c 53.1s |       9 |    47872 |     9406 |    19497      0 |        0 |        0
56.68/56.71	c 55.7s |       9 |    48468 |     9706 |    19497      0 |        0 |        0
58.98/59.01	c 58.0s |       9 |    49562 |    10006 |    19497      0 |        0 |        0
60.98/61.06	c 60.0s |       9 |    50083 |    10306 |    19497      0 |        0 |        0
63.08/63.14	c 62.1s |       9 |    50655 |    10506 |    19497      0 |        0 |        0
66.58/66.63	c 65.6s |       9 |    50915 |    10706 |    19497      0 |        0 |        0
68.68/68.76	c 67.7s |       9 |    51711 |    11006 |    19497      0 |        0 |        0
71.07/71.13	c 70.1s |       9 |    53078 |    11306 |    21447      0 |        0 |        0
71.78/71.83	c 70.8s |      10 |    53154 |    11361 |    21447      0 |        0 |        0
73.88/73.90	c 72.9s |      10 |    58612 |    11661 |    21447      0 |        0 |        0
76.18/76.25	c 75.2s |      10 |    59272 |    11961 |    21447      0 |        0 |        0
78.38/78.49	c 77.5s |      10 |    60795 |    12361 |    21447      0 |        0 |        0
80.68/80.76	c 79.7s |      10 |    63765 |    12861 |    21447      0 |        0 |        0
83.17/83.25	c 82.2s |      10 |    65367 |    13361 |    21447      0 |        0 |        0
86.07/86.16	c 85.1s |      10 |    65864 |    13661 |    21447      0 |        0 |        0
88.48/88.55	c 87.5s |      10 |    66307 |    13861 |    21447      0 |        0 |        0
90.68/90.72	c 89.7s |      10 |    68189 |    14261 |    21447      0 |        0 |        0
93.48/93.57	c 92.6s |      10 |    69282 |    14661 |    21447      0 |        0 |        0
95.98/96.09	c 95.1s |      10 |    70140 |    15061 |    21447      0 |        0 |        0
98.77/98.81	c 97.8s |      10 |    70592 |    15361 |    21447      0 |        0 |        0
100.97/101.02	c  100s |      10 |    71209 |    15661 |    21447      0 |        0 |        0
103.18/103.22	c  102s |      10 |    71761 |    15961 |    21447      0 |        0 |        0
105.68/105.77	c  104s |      10 |    72063 |    16161 |    21447      0 |        0 |        0
108.37/108.41	c  107s |      10 |    72608 |    16461 |    21447      0 |        0 |        0
110.78/110.85	c  109s |      10 |    73408 |    16761 |    21447      0 |        0 |        0
113.07/113.17	c  112s |      11 |    74323 |    17144 |    23592      0 |        0 |        0
115.17/115.27	c  114s |      11 |    76935 |    17244 |    23592      0 |        0 |        0
117.58/117.62	c  116s |      11 |    77574 |    17544 |    23592      0 |        0 |        0
119.57/119.68	c  118s |      11 |    77877 |    17744 |    23592      0 |        0 |        0
122.47/122.57	c  121s |      11 |    78618 |    18044 |    23592      0 |        0 |        0
125.07/125.13	c  124s |      11 |    79279 |    18344 |    23592      0 |        0 |        0
127.58/127.63	c  126s |      11 |    79646 |    18544 |    23592      0 |        0 |        0
129.78/129.82	c  128s |      11 |    80000 |    18744 |    23592      0 |        0 |        0
132.57/132.67	c  131s |      11 |    80338 |    18944 |    23592      0 |        0 |        0
136.56/136.69	c  135s |      11 |    80620 |    19144 |    23592      0 |        0 |        0
138.68/138.73	c  137s |      11 |    80768 |    19244 |    23592      0 |        0 |        0
142.07/142.18	c  141s |      11 |    80928 |    19344 |    23592      0 |        0 |        0
146.16/146.20	c  145s |      11 |    81264 |    19544 |    23592      0 |        0 |        0
148.86/148.93	c  147s |      11 |    81553 |    19744 |    23592      0 |        0 |        0
152.07/152.16	c  151s |      11 |    81811 |    19944 |    23592      0 |        0 |        0
156.87/156.96	c  155s |      11 |    82082 |    20144 |    23592      0 |        0 |        0
160.67/160.76	c  159s |      11 |    82413 |    20344 |    23592      0 |        0 |        0
162.87/162.94	c  161s |      11 |    83060 |    20644 |    23592      0 |        0 |        0
165.37/165.47	c  164s |      11 |    83348 |    20844 |    23592      0 |        0 |        0
168.06/168.11	c  167s |      11 |    83672 |    21044 |    23592      0 |        0 |        0
170.47/170.55	c  169s |      11 |    84011 |    21244 |    23592      0 |        0 |        0
173.96/174.08	c  173s |      11 |    84330 |    21444 |    23592      0 |        0 |        0
177.26/177.31	c  176s |      11 |    84731 |    21644 |    23592      0 |        0 |        0
179.66/179.76	c  178s |      11 |    84856 |    21744 |    23592      0 |        0 |        0
182.46/182.57	c  181s |      11 |    84974 |    21844 |    23592      0 |        0 |        0
184.56/184.65	c  183s |      11 |    85118 |    21944 |    23592      0 |        0 |        0
186.96/187.07	c  186s |      11 |    85256 |    22044 |    23592      0 |        0 |        0
190.16/190.23	c  189s |      11 |    85409 |    22144 |    23592      0 |        0 |        0
193.76/193.86	c  192s |      11 |    85520 |    22244 |    23592      0 |        0 |        0
196.06/196.18	c  195s |      11 |    85890 |    22444 |    23592      0 |        0 |        0
198.56/198.68	c  197s |      11 |    86526 |    22744 |    23592      0 |        0 |        0
201.16/201.21	c  200s |      11 |    87077 |    23044 |    23592      0 |        0 |        0
203.66/203.72	c  202s |      11 |    87707 |    23344 |    23592      0 |        0 |        0
205.77/205.81	c  204s |      11 |    88152 |    23544 |    23592      0 |        0 |        0
208.76/208.84	c  207s |      11 |    88736 |    23844 |    23592      0 |        0 |        0
211.06/211.18	c  210s |      11 |    89062 |    24044 |    23592      0 |        0 |        0
214.06/214.17	c  213s |      11 |    89444 |    24244 |    23592      0 |        0 |        0
216.95/217.01	c  215s |      11 |    89769 |    24444 |    23592      0 |        0 |        0
220.56/220.60	c  219s |      11 |    90089 |    24644 |    23592      0 |        0 |        0
222.95/223.09	c  222s |      11 |    90483 |    24844 |    23592      0 |        0 |        0
225.26/225.36	c  224s |      11 |    90779 |    25044 |    23592      0 |        0 |        0
228.45/228.51	c  227s |      11 |    91062 |    25244 |    23592      0 |        0 |        0
231.06/231.18	c  230s |      11 |    91476 |    25444 |    23592      0 |        0 |        0
233.45/233.55	c  232s |      11 |    91824 |    25644 |    23592      0 |        0 |        0
236.26/236.36	c  235s |      12 |    92079 |    25819 |    25952      0 |        0 |        0
239.76/239.84	c  238s |      12 |    97243 |    25919 |    25952      0 |        0 |        0
242.26/242.30	c  241s |      12 |   102233 |    26419 |    25952      0 |        0 |        0
244.95/245.04	c  244s |      12 |   103195 |    26819 |    25952      0 |        0 |        0
247.06/247.11	c  246s |      12 |   103904 |    27119 |    25952      0 |        0 |        0
250.35/250.48	c  249s |      12 |   105197 |    27619 |    25952      0 |        0 |        0
253.76/253.82	c  252s |      12 |   105471 |    27819 |    25952      0 |        0 |        0
255.85/255.99	c  254s |      12 |   106127 |    28119 |    25952      0 |        0 |        0
257.95/258.08	c  257s |      12 |   106670 |    28419 |    25952      0 |        0 |        0
260.45/260.56	c  259s |      12 |   107019 |    28619 |    25952      0 |        0 |        0
262.45/262.58	c  261s |      12 |   107481 |    28819 |    25952      0 |        0 |        0
266.05/266.17	c  265s |      12 |   107972 |    29119 |    25952      0 |        0 |        0
268.95/269.08	c  268s |      12 |   108347 |    29319 |    25952      0 |        0 |        0
272.35/272.48	c  271s |      12 |   108678 |    29519 |    25952      0 |        0 |        0
274.54/274.69	c  273s |      12 |   108863 |    29619 |    25952      0 |        0 |        0
277.15/277.24	c  276s |      12 |   109032 |    29719 |    25952      0 |        0 |        0
280.55/280.63	c  279s |      12 |   109239 |    29819 |    25952      0 |        0 |        0
285.25/285.30	c  284s |      12 |   109527 |    30019 |    25952      0 |        0 |        0
287.85/287.92	c  286s |      12 |   109940 |    30219 |    25952      0 |        0 |        0
289.95/290.05	c  289s |      12 |   110146 |    30319 |    25952      0 |        0 |        0
292.74/292.86	c  291s |      12 |   110315 |    30419 |    25952      0 |        0 |        0
297.35/297.45	c  296s |      12 |   110447 |    30519 |    25952      0 |        0 |        0
300.94/301.08	c  300s |      12 |   110566 |    30619 |    25952      0 |        0 |        0
303.14/303.23	c  302s |      12 |   110697 |    30719 |    25952      0 |        0 |        0
305.44/305.56	c  304s |      12 |   110862 |    30819 |    25952      0 |        0 |        0
308.44/308.54	c  307s |      12 |   111053 |    30919 |    25952      0 |        0 |        0
310.94/311.05	c  310s |      12 |   111204 |    31019 |    25952      0 |        0 |        0
313.04/313.17	c  312s |      12 |   111387 |    31119 |    25952      0 |        0 |        0
315.34/315.49	c  314s |      12 |   111593 |    31219 |    25952      0 |        0 |        0
318.95/319.08	c  318s |      12 |   111746 |    31319 |    25952      0 |        0 |        0
323.05/323.17	c  322s |      12 |   111862 |    31419 |    25952      0 |        0 |        0
325.04/325.17	c  324s |      12 |   112268 |    31619 |    25952      0 |        0 |        0
327.24/327.39	c  326s |      12 |   112731 |    31819 |    25952      0 |        0 |        0
330.24/330.38	c  329s |      12 |   113139 |    32019 |    25952      0 |        0 |        0
334.04/334.12	c  333s |      12 |   113617 |    32219 |    25952      0 |        0 |        0
336.44/336.53	c  335s |      12 |   113760 |    32319 |    25952      0 |        0 |        0
340.34/340.44	c  339s |      12 |   113878 |    32419 |    25952      0 |        0 |        0
344.54/344.68	c  343s |      12 |   113993 |    32519 |    25952      0 |        0 |        0
347.74/347.83	c  346s |      12 |   114133 |    32619 |    25952      0 |        0 |        0
351.33/351.47	c  350s |      12 |   114424 |    32819 |    25952      0 |        0 |        0
353.64/353.79	c  352s |      12 |   114591 |    32919 |    25952      0 |        0 |        0
358.04/358.12	c  357s |      12 |   114919 |    33119 |    25952      0 |        0 |        0
360.14/360.27	c  359s |      12 |   115048 |    33219 |    25952      0 |        0 |        0
362.53/362.63	c  361s |      12 |   115195 |    33319 |    25952      0 |        0 |        0
364.53/364.65	c  363s |      12 |   115371 |    33419 |    25952      0 |        0 |        0
366.54/366.65	c  365s |      12 |   115544 |    33519 |    25952      0 |        0 |        0
369.03/369.11	c  368s |      12 |   115677 |    33619 |    25952      0 |        0 |        0
371.84/371.98	c  370s |      12 |   115804 |    33719 |    25952      0 |        0 |        0
375.34/375.47	c  374s |      12 |   115930 |    33819 |    25952      0 |        0 |        0
378.34/378.46	c  377s |      12 |   116073 |    33919 |    25952      0 |        0 |        0
381.53/381.68	c  380s |      12 |   116202 |    34019 |    25952      0 |        0 |        0
385.13/385.25	c  384s |      12 |   116332 |    34119 |    25952      0 |        0 |        0
388.34/388.43	c  387s |      12 |   116453 |    34219 |    25952      0 |        0 |        0
390.54/390.69	c  389s |      12 |   116587 |    34319 |    25952      0 |        0 |        0
392.83/392.96	c  391s |      12 |   116762 |    34419 |    25952      0 |        0 |        0
395.94/396.09	c  395s |      12 |   116890 |    34519 |    25952      0 |        0 |        0
398.83/398.95	c  397s |      12 |   117024 |    34619 |    25952      0 |        0 |        0
402.03/402.18	c  401s |      12 |   117188 |    34719 |    25952      0 |        0 |        0
407.12/407.23	c  406s |      12 |   117480 |    34919 |    25952      0 |        0 |        0
410.83/410.92	c  409s |      12 |   117604 |    35019 |    25952      0 |        0 |        0
414.53/414.64	c  413s |      12 |   117750 |    35119 |    25952      0 |        0 |        0
418.23/418.35	c  417s |      12 |   117919 |    35219 |    25952      0 |        0 |        0
423.12/423.24	c  422s |      12 |   118035 |    35319 |    25952      0 |        0 |        0
427.02/427.15	c  426s |      12 |   118204 |    35419 |    25952      0 |        0 |        0
430.42/430.55	c  429s |      12 |   118331 |    35519 |    25952      0 |        0 |        0
433.33/433.46	c  432s |      12 |   118479 |    35619 |    25952      0 |        0 |        0
435.53/435.63	c  434s |      12 |   118660 |    35719 |    25952      0 |        0 |        0
438.93/439.07	c  438s |      12 |   118833 |    35819 |    25952      0 |        0 |        0
443.12/443.23	c  442s |      12 |   118949 |    35919 |    25952      0 |        0 |        0
447.33/447.40	c  446s |      12 |   119063 |    36019 |    25952      0 |        0 |        0
451.32/451.42	c  450s |      12 |   119187 |    36119 |    25952      0 |        0 |        0
456.12/456.21	c  455s |      12 |   119307 |    36219 |    25952      0 |        0 |        0
460.72/460.80	c  459s |      12 |   119435 |    36319 |    25952      0 |        0 |        0
467.52/467.61	c  466s |      12 |   119557 |    36419 |    25952      0 |        0 |        0
473.32/473.49	c  472s |      12 |   119694 |    36519 |    25952      0 |        0 |        0
478.32/478.40	c  477s |      12 |   119799 |    36619 |    25952      0 |        0 |        0
482.32/482.45	c  481s |      12 |   119929 |    36719 |    25952      0 |        0 |        0
484.62/484.71	c  483s |      12 |   120103 |    36819 |    25952      0 |        0 |        0
489.62/489.72	c  488s |      12 |   120218 |    36919 |    25952      0 |        0 |        0
491.73/491.89	c  490s |      12 |   121273 |    37219 |    25952      0 |        0 |        0
495.02/495.15	c  494s |      12 |   121830 |    37519 |    25952      0 |        0 |        0
497.62/497.70	c  496s |      12 |   122151 |    37719 |    25952      0 |        0 |        0
502.01/502.18	c  501s |      12 |   122481 |    37919 |    25952      0 |        0 |        0
505.52/505.63	c  504s |      12 |   122608 |    38019 |    25952      0 |        0 |        0
509.41/509.56	c  508s |      12 |   122903 |    38219 |    25952      0 |        0 |        0
512.71/512.89	c  511s |      12 |   123101 |    38319 |    25952      0 |        0 |        0
515.52/515.69	c  514s |      12 |   123258 |    38419 |    25952      0 |        0 |        0
519.31/519.49	c  518s |      12 |   123613 |    38619 |    28548      0 |        0 |        0
521.71/521.86	c  520s |      12 |   123744 |    38719 |    28548      0 |        0 |        0
524.41/524.59	c  523s |      12 |   123880 |    38819 |    28548      0 |        0 |        0
524.62/524.73	c  523s |      13 |   123905 |    38832 |    28548      0 |        0 |        0
536.50/536.67	c  535s |      13 |   128966 |    38932 |    28548      1 |        0 |        0
538.92/539.06	c  538s |      13 |   129461 |    39232 |    28548      1 |        0 |        0
541.21/541.35	c  540s |      13 |   129825 |    39432 |    28548      1 |        0 |        0
543.71/543.88	c  542s |      13 |   130407 |    39732 |    28548      1 |        0 |        0
546.61/546.74	c  545s |      13 |   130719 |    39932 |    28548      1 |        0 |        0
550.40/550.50	c  549s |      13 |   131087 |    40132 |    28548      1 |        0 |        0
554.61/554.70	c  553s |      13 |   131448 |    40332 |    28548      1 |        0 |        0
557.80/557.96	c  556s |      13 |   131555 |    40432 |    28548      1 |        0 |        0
560.41/560.54	c  559s |      13 |   131702 |    40532 |    28548      1 |        0 |        0
562.60/562.72	c  561s |      13 |   132014 |    40732 |    28548      1 |        0 |        0
565.80/565.97	c  564s |      13 |   132613 |    41032 |    28548      1 |        0 |        0
568.90/569.05	c  568s |      13 |   132915 |    41232 |    28548      1 |        0 |        0
571.30/571.49	c  570s |      13 |   133219 |    41432 |    28548      1 |        0 |        0
573.61/573.76	c  572s |      13 |   133720 |    41732 |    28548      1 |        0 |        0
575.70/575.81	c  574s |      13 |   134039 |    41932 |    28548      1 |        0 |        0
578.61/578.72	c  577s |      13 |   134307 |    42132 |    28548      1 |        0 |        0
581.10/581.29	c  580s |      13 |   134743 |    42332 |    28548      1 |        0 |        0
583.90/584.03	c  583s |      13 |   135047 |    42532 |    28548      1 |        0 |        0
587.60/587.70	c  586s |      13 |   135327 |    42732 |    28548      1 |        0 |        0
590.30/590.41	c  589s |      13 |   135627 |    42932 |    28548      1 |        0 |        0
593.10/593.20	c  592s |      13 |   135927 |    43132 |    28548      1 |        0 |        0
596.10/596.25	c  595s |      13 |   136189 |    43332 |    28548      1 |        0 |        0
599.30/599.42	c  598s |      13 |   136470 |    43532 |    28548      1 |        0 |        0
602.50/602.61	c  601s |      13 |   136741 |    43732 |    28548      1 |        0 |        0
604.60/604.70	c  603s |      13 |   136877 |    43832 |    28548      1 |        0 |        0
607.29/607.48	c  606s |      13 |   137022 |    43932 |    28548      1 |        0 |        0
609.40/609.57	c  608s |      13 |   137158 |    44032 |    28548      1 |        0 |        0
612.30/612.42	c  611s |      13 |   137537 |    44232 |    28548      1 |        0 |        0
615.00/615.18	c  614s |      13 |   137824 |    44432 |    28548      1 |        0 |        0
618.60/618.73	c  617s |      13 |   138105 |    44632 |    28548      1 |        0 |        0
622.50/622.69	c  621s |      13 |   138360 |    44832 |    28548      1 |        0 |        0
626.39/626.57	c  625s |      13 |   138622 |    45032 |    28548      1 |        0 |        0
628.49/628.64	c  627s |      13 |   138747 |    45132 |    28548      1 |        0 |        0
631.49/631.69	c  630s |      13 |   139090 |    45332 |    28548      1 |        0 |        0
634.10/634.26	c  633s |      13 |   139487 |    45532 |    28548      1 |        0 |        0
636.90/637.03	c  636s |      13 |   139621 |    45632 |    28548      1 |        0 |        0
639.59/639.70	c  638s |      13 |   139777 |    45732 |    28548      1 |        0 |        0
642.19/642.37	c  641s |      13 |   139908 |    45832 |    28548      1 |        0 |        0
645.00/645.11	c  644s |      13 |   140038 |    45932 |    28548      1 |        0 |        0
648.39/648.57	c  647s |      13 |   140151 |    46032 |    28548      1 |        0 |        0
651.69/651.82	c  650s |      13 |   140429 |    46232 |    28548      1 |        0 |        0
654.89/655.01	c  654s |      13 |   140749 |    46432 |    28548      1 |        0 |        0
658.19/658.31	c  657s |      13 |   141133 |    46632 |    28548      1 |        0 |        0
661.29/661.44	c  660s |      13 |   141426 |    46832 |    28548      1 |        0 |        0
663.69/663.83	c  662s |      13 |   141562 |    46932 |    28548      1 |        0 |        0
665.89/666.06	c  665s |      13 |   141705 |    47032 |    28548      1 |        0 |        0
669.99/670.16	c  669s |      13 |   142027 |    47232 |    28548      1 |        0 |        0
672.39/672.56	c  671s |      13 |   142150 |    47332 |    28548      1 |        0 |        0
676.08/676.29	c  675s |      13 |   142282 |    47432 |    28548      1 |        0 |        0
678.79/678.96	c  677s |      13 |   142431 |    47532 |    28548      1 |        0 |        0
681.39/681.59	c  680s |      13 |   142563 |    47632 |    28548      1 |        0 |        0
683.69/683.88	c  682s |      13 |   142718 |    47732 |    28548      1 |        0 |        0
685.78/685.91	c  684s |      13 |   142833 |    47832 |    28548      1 |        0 |        0
688.39/688.60	c  687s |      13 |   142978 |    47932 |    28548      1 |        0 |        0
690.69/690.87	c  689s |      13 |   143289 |    48132 |    28548      1 |        0 |        0
694.48/694.62	c  693s |      13 |   143572 |    48332 |    28548      1 |        0 |        0
697.30/697.45	c  696s |      13 |   143704 |    48432 |    28548      1 |        0 |        0
699.68/699.85	c  698s |      13 |   143817 |    48532 |    28548      1 |        0 |        0
701.79/701.93	c  700s |      13 |   143987 |    48632 |    28548      1 |        0 |        0
705.09/705.30	c  704s |      13 |   144289 |    48832 |    28548      1 |        0 |        0
708.09/708.28	c  707s |      13 |   144596 |    49032 |    28548      1 |        0 |        0
711.38/711.54	c  710s |      13 |   144844 |    49232 |    28548      1 |        0 |        0
714.68/714.86	c  713s |      13 |   144972 |    49332 |    28548      1 |        0 |        0
718.08/718.21	c  717s |      13 |   145249 |    49532 |    28548      1 |        0 |        0
721.38/721.54	c  720s |      13 |   145560 |    49732 |    28548      1 |        0 |        0
723.38/723.57	c  722s |      13 |   145700 |    49832 |    28548      1 |        0 |        0
729.88/730.09	c  729s |      13 |   145976 |    50032 |    28548      1 |        0 |        0
732.68/732.87	c  731s |      13 |   146119 |    50132 |    28548      1 |        0 |        0
736.58/736.72	c  735s |      13 |   146364 |    50332 |    28548      1 |        0 |        0
738.67/738.87	c  737s |      13 |   146499 |    50432 |    28548      1 |        0 |        0
742.28/742.40	c  741s |      13 |   146807 |    50632 |    28548      1 |        0 |        0
744.38/744.58	c  743s |      13 |   146955 |    50732 |    28548      1 |        0 |        0
746.38/746.60	c  745s |      13 |   147110 |    50832 |    28548      1 |        0 |        0
748.58/748.70	c  747s |      13 |   147236 |    50932 |    28548      1 |        0 |        0
750.67/750.85	c  749s |      13 |   147367 |    51032 |    28548      1 |        0 |        0
753.07/753.24	c  752s |      13 |   147492 |    51132 |    28548      1 |        0 |        0
755.28/755.43	c  754s |      13 |   147625 |    51232 |    28548      1 |        0 |        0
757.68/757.90	c  756s |      13 |   147772 |    51332 |    28548      1 |        0 |        0
759.98/760.15	c  759s |      13 |   147932 |    51432 |    28548      1 |        0 |        0
763.77/763.94	c  762s |      13 |   148237 |    51632 |    28548      1 |        0 |        0
767.18/767.36	c  766s |      13 |   148492 |    51832 |    28548      1 |        0 |        0
769.37/769.58	c  768s |      13 |   148623 |    51932 |    28548      1 |        0 |        0
773.18/773.38	c  772s |      13 |   148884 |    52132 |    28548      1 |        0 |        0
775.27/775.47	c  774s |      13 |   149016 |    52232 |    28548      1 |        0 |        0
778.17/778.38	c  777s |      13 |   149151 |    52332 |    28548      1 |        0 |        0
780.37/780.51	c  779s |      13 |   149284 |    52432 |    28548      1 |        0 |        0
782.57/782.71	c  781s |      13 |   149435 |    52532 |    28548      1 |        0 |        0
784.97/785.10	c  784s |      13 |   149566 |    52632 |    28548      1 |        0 |        0
788.37/788.54	c  787s |      13 |   149699 |    52732 |    28548      1 |        0 |        0
791.17/791.33	c  790s |      13 |   149838 |    52832 |    28548      1 |        0 |        0
794.57/794.77	c  793s |      13 |   150168 |    53032 |    28548      1 |        0 |        0
797.17/797.34	c  796s |      13 |   150300 |    53132 |    28548      1 |        0 |        0
801.87/802.09	c  801s |      13 |   150554 |    53332 |    28548      1 |        0 |        0
806.67/806.89	c  805s |      13 |   150681 |    53432 |    28548      1 |        0 |        0
809.36/809.59	c  808s |      13 |   150808 |    53532 |    28548      1 |        0 |        0
812.37/812.53	c  811s |      13 |   150943 |    53632 |    28548      1 |        0 |        0
815.26/815.47	c  814s |      13 |   151303 |    53832 |    28548      1 |        0 |        0
821.06/821.29	c  820s |      13 |   151624 |    54032 |    28548      1 |        0 |        0
824.26/824.41	c  823s |      13 |   151750 |    54132 |    28548      1 |        0 |        0
828.66/828.88	c  827s |      13 |   151872 |    54232 |    28548      1 |        0 |        0
831.27/831.47	c  830s |      13 |   152306 |    54332 |    28548      1 |        0 |        0
834.96/835.10	c  834s |      13 |   152486 |    54432 |    28548      1 |        0 |        0
837.26/837.41	c  836s |      13 |   152700 |    54532 |    28548      1 |        0 |        0
839.46/839.61	c  838s |      13 |   152938 |    54632 |    28548      1 |        0 |        0
842.47/842.65	c  841s |      13 |   153072 |    54732 |    28548      1 |        0 |        0
846.66/846.85	c  845s |      13 |   153185 |    54832 |    28548      1 |        0 |        0
850.57/850.72	c  849s |      13 |   153305 |    54932 |    28548      1 |        0 |        0
853.66/853.80	c  852s |      13 |   153474 |    55032 |    28548      1 |        0 |        0
856.16/856.33	c  855s |      13 |   153653 |    55132 |    28548      1 |        0 |        0
860.66/860.88	c  859s |      13 |   153789 |    55232 |    28548      1 |        0 |        0
864.57/864.74	c  863s |      13 |   153911 |    55332 |    28548      1 |        0 |        0
869.96/870.11	c  869s |      13 |   154028 |    55432 |    28548      1 |        0 |        0
874.26/874.46	c  873s |      13 |   154146 |    55532 |    28548      1 |        0 |        0
879.86/880.01	c  878s |      13 |   154271 |    55632 |    28548      1 |        0 |        0
883.35/883.55	c  882s |      13 |   154451 |    55732 |    28548      1 |        0 |        0
886.36/886.51	c  885s |      13 |   154597 |    55832 |    28548      1 |        0 |        0
889.06/889.24	c  888s |      13 |   154762 |    55932 |    28548      1 |        0 |        0
892.15/892.34	c  891s |      13 |   154899 |    56032 |    28548      1 |        0 |        0
895.36/895.51	c  894s |      13 |   155029 |    56132 |    28548      1 |        0 |        0
899.25/899.44	c  898s |      13 |   155145 |    56232 |    28548      1 |        0 |        0
903.95/904.11	c  903s |      13 |   155251 |    56332 |    28548      1 |        0 |        0
906.66/906.89	c  905s |      13 |   155447 |    56432 |    28548      1 |        0 |        0
910.35/910.52	c  909s |      13 |   155576 |    56532 |    28548      1 |        0 |        0
915.25/915.40	c  914s |      13 |   155699 |    56632 |    28548      1 |        0 |        0
919.65/919.84	c  918s |      13 |   155828 |    56732 |    28548      1 |        0 |        0
924.35/924.58	c  923s |      13 |   155961 |    56832 |    28548      1 |        0 |        0
930.15/930.37	c  929s |      13 |   156075 |    56932 |    28548      1 |        0 |        0
933.95/934.15	c  933s |      13 |   156234 |    57032 |    28548      1 |        0 |        0
937.85/938.03	c  937s |      13 |   156407 |    57132 |    28548      1 |        0 |        0
942.15/942.34	c  941s |      13 |   156553 |    57232 |    28548      1 |        0 |        0
946.85/947.09	c  946s |      13 |   156685 |    57332 |    28548      1 |        0 |        0
950.64/950.90	c  949s |      13 |   156817 |    57432 |    28548      1 |        0 |        0
957.25/957.40	c  956s |      13 |   156941 |    57532 |    28548      1 |        0 |        0
964.34/964.56	c  963s |      13 |   157065 |    57632 |    28548      1 |        0 |        0
973.24/973.47	c  972s |      13 |   157175 |    57732 |    28548      1 |        0 |        0
979.24/979.45	c  978s |      13 |   157300 |    57832 |    28548      1 |        0 |        0
985.34/985.50	c  984s |      13 |   157417 |    57932 |    28548      1 |        0 |        0
987.94/988.13	c  987s |      13 |   157586 |    58032 |    31403      1 |        0 |        0
990.74/990.93	c  989s |      13 |   157719 |    58132 |    31403      1 |        0 |        0
995.24/995.49	c  994s |      13 |   157850 |    58232 |    31403      1 |        0 |        0
1002.84/1003.06	c 1002s |      13 |   157964 |    58332 |    31403      1 |        0 |        0
1004.73/1004.93	c 1003s |      14 |   158146 |    58352 |    31403      1 |        0 |        0
1024.43/1024.62	c 1023s |      14 |   163434 |    58452 |    31403      2 |        0 |        0
1026.84/1027.01	c 1025s |      14 |   164407 |    58852 |    31403      2 |        0 |        0
1029.74/1029.99	c 1028s |      14 |   165103 |    59152 |    31403      2 |        0 |        0
1032.03/1032.25	c 1031s |      14 |   165502 |    59352 |    31403      2 |        0 |        0
1034.13/1034.35	c 1033s |      14 |   166999 |    59652 |    31403      2 |        0 |        0
1036.43/1036.61	c 1035s |      14 |   167876 |    60052 |    31403      2 |        0 |        0
1038.84/1039.07	c 1038s |      14 |   168196 |    60252 |    31403      2 |        0 |        0
1041.74/1041.94	c 1040s |      14 |   171074 |    60752 |    31403      2 |        0 |        0
1044.03/1044.23	c 1043s |      14 |   173192 |    61152 |    31403      2 |        0 |        0
1046.24/1046.48	c 1045s |      14 |   173972 |    61452 |    31403      2 |        0 |        0
1048.33/1048.53	c 1047s |      14 |   174784 |    61752 |    31403      2 |        0 |        0
1050.34/1050.58	c 1049s |      14 |   175136 |    61952 |    31403      2 |        0 |        0
1052.64/1052.84	c 1051s |      14 |   176132 |    62252 |    31403      2 |        0 |        0
1054.73/1054.94	c 1053s |      14 |   178018 |    62652 |    31403      2 |        0 |        0
1056.94/1057.16	c 1056s |      14 |   179919 |    63252 |    31403      2 |        0 |        0
1059.53/1059.79	c 1058s |      14 |   180709 |    63652 |    31403      2 |        0 |        0
1061.63/1061.82	c 1060s |      14 |   181235 |    63952 |    31403      2 |        0 |        0
1063.63/1063.86	c 1062s |      14 |   181564 |    64152 |    31403      2 |        0 |        0
1066.03/1066.22	c 1065s |      14 |   183102 |    64552 |    31403      2 |        0 |        0
1069.03/1069.24	c 1068s |      14 |   183834 |    64952 |    31403      2 |        0 |        0
1072.02/1072.29	c 1071s |      14 |   184855 |    65352 |    31403      2 |        0 |        0
1074.13/1074.32	c 1073s |      14 |   185247 |    65552 |    31403      2 |        0 |        0
1076.63/1076.84	c 1075s |      14 |   186214 |    65952 |    31403      2 |        0 |        0
1078.93/1079.11	c 1078s |      14 |   187444 |    66352 |    31403      2 |        0 |        0
1081.13/1081.39	c 1080s |      14 |   187808 |    66552 |    31403      2 |        0 |        0
1084.32/1084.57	c 1083s |      14 |   188396 |    66852 |    31403      2 |        0 |        0
1087.42/1087.64	c 1086s |      14 |   188718 |    67052 |    31403      2 |        0 |        0
1089.43/1089.66	c 1088s |      14 |   188853 |    67152 |    31403      2 |        0 |        0
1091.53/1091.71	c 1090s |      14 |   189029 |    67252 |    31403      2 |        0 |        0
1094.12/1094.34	c 1093s |      14 |   189614 |    67552 |    31403      2 |        0 |        0
1096.92/1097.15	c 1096s |      14 |   189925 |    67752 |    31403      2 |        0 |        0
1099.52/1099.77	c 1098s |      14 |   190218 |    67952 |    31403      2 |        0 |        0
1101.82/1102.08	c 1101s |      14 |   190344 |    68052 |    31403      2 |        0 |        0
1104.03/1104.20	c 1103s |      14 |   190482 |    68152 |    31403      2 |        0 |        0
1106.53/1106.72	c 1105s |      14 |   191477 |    68552 |    31403      2 |        0 |        0
1109.62/1109.83	c 1108s |      14 |   192007 |    68852 |    31403      2 |        0 |        0
1112.22/1112.40	c 1111s |      14 |   192548 |    69152 |    31403      2 |        0 |        0
1115.23/1115.48	c 1114s |      14 |   193028 |    69452 |    31403      2 |        0 |        0
1117.62/1117.85	c 1116s |      14 |   193315 |    69652 |    31403      2 |        0 |        0
1120.12/1120.36	c 1119s |      14 |   193652 |    69852 |    31403      2 |        0 |        0
1123.03/1123.22	c 1122s |      14 |   194222 |    70152 |    31403      2 |        0 |        0
1125.02/1125.25	c 1124s |      14 |   194523 |    70352 |    31403      2 |        0 |        0
1128.22/1128.45	c 1127s |      14 |   194805 |    70552 |    31403      2 |        0 |        0
1131.42/1131.67	c 1130s |      14 |   195091 |    70752 |    31403      2 |        0 |        0
1134.32/1134.55	c 1133s |      14 |   195449 |    70952 |    31403      2 |        0 |        0
1136.32/1136.56	c 1135s |      14 |   195601 |    71052 |    31403      2 |        0 |        0
1138.52/1138.73	c 1137s |      14 |   195738 |    71152 |    31403      2 |        0 |        0
1141.62/1141.86	c 1140s |      14 |   196072 |    71352 |    31403      2 |        0 |        0
1145.11/1145.33	c 1144s |      14 |   196359 |    71552 |    31403      2 |        0 |        0
1147.51/1147.73	c 1146s |      14 |   197298 |    71852 |    31403      2 |        0 |        0
1149.81/1150.05	c 1149s |      14 |   197998 |    72152 |    31403      2 |        0 |        0
1152.32/1152.53	c 1151s |      14 |   198298 |    72352 |    31403      2 |        0 |        0
1154.32/1154.54	c 1153s |      14 |   198648 |    72552 |    31403      2 |        0 |        0
1156.91/1157.11	c 1156s |      14 |   198912 |    72752 |    31403      2 |        0 |        0
1159.12/1159.35	c 1158s |      14 |   199226 |    72952 |    31403      2 |        0 |        0
1161.72/1161.98	c 1160s |      14 |   199833 |    73252 |    31403      2 |        0 |        0
1164.62/1164.84	c 1163s |      14 |   200591 |    73652 |    31403      2 |        0 |        0
1167.02/1167.25	c 1166s |      14 |   201059 |    73852 |    31403      2 |        0 |        0
1169.81/1170.07	c 1169s |      14 |   201421 |    74052 |    31403      2 |        0 |        0
1172.71/1172.97	c 1171s |      14 |   201727 |    74252 |    31403      2 |        0 |        0
1175.31/1175.54	c 1174s |      14 |   202003 |    74452 |    31403      2 |        0 |        0
1177.81/1178.10	c 1177s |      14 |   202356 |    74652 |    31403      2 |        0 |        0
1180.51/1180.72	c 1179s |      14 |   202731 |    74852 |    31403      2 |        0 |        0
1182.91/1183.18	c 1182s |      14 |   203051 |    75052 |    31403      2 |        0 |        0
1185.01/1185.25	c 1184s |      14 |   203748 |    75352 |    31403      2 |        0 |        0
1187.82/1188.08	c 1187s |      14 |   204239 |    75652 |    31403      2 |        0 |        0
1191.71/1191.99	c 1190s |      14 |   204601 |    75852 |    31403      2 |        0 |        0
1193.81/1194.05	c 1193s |      14 |   204942 |    76052 |    31403      2 |        0 |        0
1196.51/1196.74	c 1195s |      14 |   205288 |    76252 |    31403      2 |        0 |        0
1199.81/1200.06	c 1199s |      14 |   205749 |    76552 |    31403      2 |        0 |        0
1203.51/1203.78	c 1202s |      14 |   206014 |    76752 |    31403      2 |        0 |        0
1206.20/1206.40	c 1205s |      14 |   206339 |    76952 |    31403      2 |        0 |        0
1208.91/1209.12	c 1208s |      14 |   206638 |    77152 |    31403      2 |        0 |        0
1211.21/1211.49	c 1210s |      14 |   206797 |    77252 |    31403      2 |        0 |        0
1213.61/1213.87	c 1212s |      14 |   207224 |    77452 |    31403      2 |        0 |        0
1216.80/1217.05	c 1216s |      14 |   207845 |    77752 |    31403      2 |        0 |        0
1220.01/1220.21	c 1219s |      14 |   208147 |    77952 |    31403      2 |        0 |        0
1222.21/1222.48	c 1221s |      14 |   208468 |    78152 |    31403      2 |        0 |        0
1225.21/1225.45	c 1224s |      14 |   208820 |    78352 |    31403      2 |        0 |        0
1227.60/1227.88	c 1226s |      14 |   209157 |    78552 |    31403      2 |        0 |        0
1230.30/1230.52	c 1229s |      14 |   209742 |    78852 |    31403      2 |        0 |        0
1233.40/1233.66	c 1232s |      14 |   210260 |    79152 |    31403      2 |        0 |        0
1236.60/1236.87	c 1235s |      14 |   210601 |    79352 |    31403      2 |        0 |        0
1238.80/1239.08	c 1238s |      14 |   211395 |    79652 |    31403      2 |        0 |        0
1241.50/1241.72	c 1240s |      14 |   211840 |    79952 |    31403      2 |        0 |        0
1243.50/1243.76	c 1242s |      14 |   212159 |    80152 |    31403      2 |        0 |        0
1246.50/1246.73	c 1245s |      14 |   212872 |    80452 |    31403      2 |        0 |        0
1249.30/1249.55	c 1248s |      14 |   213584 |    80752 |    31403      2 |        0 |        0
1251.71/1251.98	c 1250s |      14 |   213849 |    80952 |    31403      2 |        0 |        0
1255.30/1255.56	c 1254s |      14 |   214330 |    81252 |    31403      2 |        0 |        0
1257.80/1258.05	c 1257s |      14 |   214673 |    81452 |    31403      2 |        0 |        0
1260.20/1260.47	c 1259s |      14 |   214989 |    81652 |    31403      2 |        0 |        0
1264.09/1264.37	c 1263s |      14 |   215256 |    81852 |    31403      2 |        0 |        0
1267.00/1267.24	c 1266s |      14 |   215752 |    82152 |    31403      2 |        0 |        0
1269.10/1269.38	c 1268s |      14 |   216082 |    82352 |    31403      2 |        0 |        0
1272.09/1272.32	c 1271s |      14 |   216638 |    82652 |    31403      2 |        0 |        0
1274.70/1274.96	c 1273s |      14 |   216915 |    82852 |    31403      2 |        0 |        0
1277.90/1278.10	c 1277s |      14 |   217206 |    83052 |    31403      2 |        0 |        0
1280.00/1280.25	c 1279s |      14 |   217349 |    83152 |    31403      2 |        0 |        0
1284.00/1284.28	c 1283s |      14 |   217628 |    83352 |    31403      2 |        0 |        0
1287.09/1287.32	c 1286s |      14 |   217926 |    83552 |    31403      2 |        0 |        0
1289.19/1289.46	c 1288s |      14 |   218104 |    83652 |    31403      2 |        0 |        0
1292.59/1292.81	c 1291s |      14 |   218407 |    83852 |    31403      2 |        0 |        0
1295.60/1295.85	c 1294s |      14 |   218742 |    84052 |    31403      2 |        0 |        0
1297.90/1298.19	c 1297s |      14 |   219144 |    84252 |    31403      2 |        0 |        0
1300.79/1301.04	c 1300s |      14 |   219466 |    84452 |    31403      2 |        0 |        0
1303.19/1303.41	c 1302s |      14 |   219938 |    84652 |    31403      2 |        0 |        0
1306.19/1306.47	c 1305s |      14 |   220454 |    84952 |    31403      2 |        0 |        0
1308.39/1308.68	c 1307s |      14 |   220766 |    85152 |    31403      2 |        0 |        0
1311.59/1311.85	c 1310s |      14 |   221074 |    85352 |    31403      2 |        0 |        0
1315.09/1315.39	c 1314s |      14 |   221358 |    85552 |    31403      2 |        0 |        0
1318.80/1319.03	c 1318s |      14 |   221636 |    85752 |    31403      2 |        0 |        0
1320.79/1321.04	c 1320s |      14 |   221767 |    85852 |    31403      2 |        0 |        0
1322.99/1323.26	c 1322s |      14 |   221895 |    85952 |    31403      2 |        0 |        0
1325.09/1325.36	c 1324s |      14 |   222027 |    86052 |    31403      2 |        0 |        0
1327.39/1327.65	c 1326s |      14 |   222180 |    86152 |    31403      2 |        0 |        0
1329.49/1329.75	c 1328s |      14 |   222646 |    86352 |    31403      2 |        0 |        0
1332.29/1332.54	c 1331s |      14 |   223452 |    86752 |    31403      2 |        0 |        0
1334.59/1334.87	c 1333s |      14 |   223842 |    86952 |    31403      2 |        0 |        0
1337.69/1337.98	c 1336s |      14 |   224130 |    87152 |    34544      2 |        0 |        0
1340.18/1340.43	c 1339s |      14 |   224435 |    87352 |    34544      2 |        0 |        0
1343.29/1343.57	c 1342s |      14 |   224693 |    87552 |    34544      2 |        0 |        0
1343.99/1344.30	c 1343s |      15 |   224807 |    87632 |    34544      2 |        0 |        0
1364.39/1364.64	c 1363s |      15 |   227767 |    87732 |    34544      3 |        0 |        0
1367.09/1367.37	c 1366s |      15 |   228266 |    88032 |    34544      3 |        0 |        0
1369.18/1369.40	c 1368s |      15 |   229648 |    88432 |    34544      3 |        0 |        0
1371.38/1371.66	c 1370s |      15 |   233484 |    88932 |    34544      3 |        0 |        0
1373.58/1373.90	c 1372s |      15 |   233856 |    89132 |    34544      3 |        0 |        0
1375.89/1376.19	c 1375s |      15 |   234463 |    89432 |    34544      3 |        0 |        0
1378.19/1378.47	c 1377s |      15 |   235144 |    89932 |    34544      3 |        0 |        0
1380.39/1380.69	c 1379s |      15 |   237153 |    90532 |    34544      3 |        0 |        0
1383.08/1383.34	c 1382s |      15 |   237492 |    90732 |    34544      3 |        0 |        0
1385.18/1385.48	c 1384s |      15 |   238832 |    91132 |    34544      3 |        0 |        0
1387.68/1387.99	c 1386s |      15 |   240013 |    91632 |    34544      3 |        0 |        0
1391.58/1391.87	c 1390s |      15 |   240559 |    91932 |    34544      3 |        0 |        0
1393.98/1394.23	c 1393s |      15 |   241308 |    92232 |    34544      3 |        0 |        0
1397.17/1397.46	c 1396s |      15 |   241613 |    92432 |    34544      3 |        0 |        0
1400.37/1400.67	c 1399s |      15 |   241911 |    92632 |    34544      3 |        0 |        0
1403.48/1403.76	c 1402s |      15 |   242331 |    92832 |    34544      3 |        0 |        0
1405.98/1406.29	c 1405s |      15 |   242645 |    93032 |    34544      3 |        0 |        0
1408.38/1408.65	c 1407s |      15 |   242778 |    93132 |    34544      3 |        0 |        0
1412.48/1412.70	c 1411s |      15 |   243058 |    93332 |    34544      3 |        0 |        0
1415.17/1415.49	c 1414s |      15 |   243239 |    93432 |    34544      3 |        0 |        0
1417.58/1417.83	c 1416s |      15 |   243371 |    93532 |    34544      3 |        0 |        0
1421.57/1421.85	c 1420s |      15 |   243497 |    93632 |    34544      3 |        0 |        0
1425.48/1425.74	c 1424s |      15 |   243616 |    93732 |    34544      3 |        0 |        0
1428.17/1428.48	c 1427s |      15 |   243771 |    93832 |    34544      3 |        0 |        0
1431.88/1432.16	c 1431s |      15 |   244130 |    94032 |    34544      3 |        0 |        0
1434.97/1435.28	c 1434s |      15 |   244277 |    94132 |    34544      3 |        0 |        0
1437.28/1437.54	c 1436s |      15 |   244506 |    94232 |    34544      3 |        0 |        0
1440.27/1440.50	c 1439s |      15 |   244928 |    94432 |    34544      3 |        0 |        0
1442.67/1442.93	c 1441s |      15 |   245118 |    94532 |    34544      3 |        0 |        0
1445.68/1445.90	c 1444s |      15 |   245348 |    94632 |    34544      3 |        0 |        0
1448.07/1448.34	c 1447s |      15 |   246093 |    94932 |    34544      3 |        0 |        0
1450.17/1450.45	c 1449s |      15 |   246249 |    95032 |    34544      3 |        0 |        0
1452.77/1453.06	c 1452s |      15 |   246550 |    95232 |    34544      3 |        0 |        0
1455.17/1455.42	c 1454s |      15 |   246686 |    95332 |    34544      3 |        0 |        0
1457.27/1457.58	c 1456s |      15 |   246884 |    95432 |    34544      3 |        0 |        0
1459.77/1460.01	c 1458s |      15 |   247030 |    95532 |    34544      3 |        0 |        0
1462.17/1462.43	c 1461s |      15 |   247180 |    95632 |    34544      3 |        0 |        0
1466.36/1466.69	c 1465s |      15 |   247287 |    95732 |    34544      3 |        0 |        0
1469.07/1469.30	c 1468s |      15 |   247421 |    95832 |    34544      3 |        0 |        0
1471.47/1471.78	c 1470s |      15 |   247561 |    95932 |    34544      3 |        0 |        0
1475.17/1475.40	c 1474s |      15 |   247693 |    96032 |    34544      3 |        0 |        0
1477.17/1477.47	c 1476s |      15 |   247858 |    96132 |    34544      3 |        0 |        0
1481.36/1481.69	c 1480s |      15 |   248214 |    96332 |    34544      3 |        0 |        0
1484.47/1484.70	c 1483s |      15 |   248371 |    96432 |    34544      3 |        0 |        0
1488.86/1489.10	c 1488s |      15 |   248745 |    96632 |    34544      3 |        0 |        0
1491.96/1492.28	c 1491s |      15 |   249045 |    96832 |    34544      3 |        0 |        0
1494.17/1494.45	c 1493s |      15 |   249172 |    96932 |    34544      3 |        0 |        0
1496.47/1496.72	c 1495s |      15 |   249299 |    97032 |    34544      3 |        0 |        0
1498.56/1498.87	c 1497s |      15 |   249450 |    97132 |    34544      3 |        0 |        0
1500.76/1501.02	c 1500s |      15 |   249587 |    97232 |    34544      3 |        0 |        0
1504.16/1504.49	c 1503s |      15 |   249724 |    97332 |    34544      3 |        0 |        0
1506.66/1506.98	c 1505s |      15 |   249860 |    97432 |    34544      3 |        0 |        0
1509.06/1509.34	c 1508s |      15 |   250022 |    97532 |    34544      3 |        0 |        0
1512.16/1512.46	c 1511s |      15 |   250194 |    97632 |    34544      3 |        0 |        0
1515.46/1515.71	c 1514s |      15 |   250321 |    97732 |    34544      3 |        0 |        0
1518.87/1519.15	c 1518s |      15 |   250466 |    97832 |    34544      3 |        0 |        0
1523.37/1523.67	c 1522s |      15 |   250614 |    97932 |    34544      3 |        0 |        0
1525.46/1525.71	c 1524s |      15 |   250789 |    98032 |    34544      3 |        0 |        0
1530.36/1530.66	c 1529s |      15 |   251125 |    98232 |    34544      3 |        0 |        0
1535.66/1535.92	c 1534s |      15 |   251281 |    98332 |    34544      3 |        0 |        0
1539.95/1540.27	c 1539s |      15 |   251440 |    98432 |    34544      3 |        0 |        0
1545.15/1545.41	c 1544s |      15 |   251582 |    98532 |    34544      3 |        0 |        0
1547.36/1547.67	c 1546s |      15 |   251729 |    98632 |    34544      3 |        0 |        0
1550.45/1550.75	c 1549s |      15 |   251927 |    98732 |    34544      3 |        0 |        0
1554.26/1554.55	c 1553s |      15 |   252050 |    98832 |    34544      3 |        0 |        0
1557.95/1558.24	c 1557s |      15 |   252194 |    98932 |    34544      3 |        0 |        0
1561.66/1561.91	c 1560s |      15 |   252501 |    99132 |    34544      3 |        0 |        0
1563.86/1564.13	c 1563s |      15 |   252655 |    99232 |    34544      3 |        0 |        0
1566.05/1566.32	c 1565s |      15 |   252790 |    99332 |    34544      3 |        0 |        0
1569.75/1570.08	c 1569s |      15 |   253165 |    99532 |    34544      3 |        0 |        0
1572.35/1572.66	c 1571s |      15 |   253317 |    99632 |    34544      3 |        0 |        0
1574.55/1574.81	c 1573s |      15 |   253485 |    99732 |    34544      3 |        0 |        0
1577.65/1577.94	c 1576s |      15 |   253600 |    99832 |    34544      3 |        0 |        0
1580.75/1581.06	c 1580s |      15 |   253780 |    99932 |    34544      3 |        0 |        0
1583.35/1583.63	c 1582s |      15 |   253914 |   100032 |    34544      3 |        0 |        0
1585.75/1586.01	c 1584s |      15 |   254046 |   100132 |    34544      3 |        0 |        0
1588.45/1588.75	c 1587s |      15 |   254163 |   100232 |    34544      3 |        0 |        0
1590.95/1591.24	c 1590s |      15 |   254330 |   100332 |    34544      3 |        0 |        0
1594.05/1594.31	c 1593s |      15 |   254482 |   100432 |    34544      3 |        0 |        0
1598.35/1598.67	c 1597s |      15 |   254608 |   100532 |    34544      3 |        0 |        0
1603.05/1603.32	c 1602s |      15 |   254742 |   100632 |    34544      3 |        0 |        0
1606.54/1606.89	c 1605s |      15 |   254881 |   100732 |    34544      3 |        0 |        0
1609.06/1609.40	c 1608s |      15 |   255019 |   100832 |    34544      3 |        0 |        0
1612.36/1612.64	c 1611s |      15 |   255142 |   100932 |    34544      3 |        0 |        0
1615.66/1615.99	c 1614s |      15 |   255267 |   101032 |    34544      3 |        0 |        0
1619.74/1620.03	c 1619s |      15 |   255404 |   101132 |    34544      3 |        0 |        0
1623.64/1623.99	c 1622s |      15 |   255521 |   101232 |    34544      3 |        0 |        0
1625.85/1626.12	c 1625s |      15 |   255654 |   101332 |    34544      3 |        0 |        0
1628.85/1629.11	c 1628s |      15 |   255772 |   101432 |    34544      3 |        0 |        0
1631.44/1631.75	c 1630s |      15 |   255892 |   101532 |    34544      3 |        0 |        0
1634.04/1634.30	c 1633s |      15 |   256015 |   101632 |    34544      3 |        0 |        0
1637.54/1637.84	c 1636s |      15 |   256136 |   101732 |    34544      3 |        0 |        0
1641.64/1641.95	c 1640s |      15 |   256266 |   101832 |    34544      3 |        0 |        0
1645.35/1645.62	c 1644s |      15 |   256389 |   101932 |    34544      3 |        0 |        0
1650.04/1650.32	c 1649s |      15 |   256510 |   102032 |    34544      3 |        0 |        0
1654.14/1654.43	c 1653s |      15 |   256619 |   102132 |    34544      3 |        0 |        0
1656.84/1657.11	c 1656s |      15 |   256786 |   102232 |    34544      3 |        0 |        0
1660.64/1660.92	c 1659s |      15 |   256904 |   102332 |    34544      3 |        0 |        0
1666.43/1666.75	c 1665s |      15 |   257020 |   102432 |    34544      3 |        0 |        0
1671.34/1671.65	c 1670s |      15 |   257147 |   102532 |    34544      3 |        0 |        0
1675.23/1675.56	c 1674s |      15 |   257290 |   102632 |    34544      3 |        0 |        0
1679.33/1679.70	c 1678s |      15 |   257693 |   102832 |    34544      3 |        0 |        0
1682.03/1682.33	c 1681s |      15 |   257858 |   102932 |    34544      3 |        0 |        0
1685.23/1685.58	c 1684s |      15 |   258011 |   103032 |    34544      3 |        0 |        0
1688.93/1689.25	c 1688s |      15 |   258147 |   103132 |    34544      3 |        0 |        0
1693.74/1694.02	c 1693s |      15 |   258285 |   103232 |    34544      3 |        0 |        0
1699.24/1699.60	c 1698s |      15 |   258426 |   103332 |    34544      3 |        0 |        0
1701.93/1702.21	c 1701s |      15 |   258672 |   103432 |    34544      3 |        0 |        0
1706.23/1706.56	c 1705s |      15 |   258997 |   103632 |    34544      3 |        0 |        0
1708.83/1709.15	c 1708s |      15 |   259181 |   103732 |    34544      3 |        0 |        0
1711.83/1712.19	c 1711s |      15 |   259319 |   103832 |    34544      3 |        0 |        0
1714.64/1714.97	c 1713s |      15 |   259513 |   103932 |    34544      3 |        0 |        0
1717.72/1718.05	c 1717s |      15 |   259697 |   104032 |    34544      3 |        0 |        0
1720.03/1720.30	c 1719s |      15 |   259849 |   104132 |    34544      3 |        0 |        0
1724.33/1724.64	c 1723s |      15 |   260287 |   104332 |    34544      3 |        0 |        0
1727.84/1728.16	c 1727s |      15 |   260446 |   104432 |    34544      3 |        0 |        0
1730.52/1730.85	c 1729s |      15 |   260623 |   104532 |    34544      3 |        0 |        0
1733.12/1733.50	c 1732s |      15 |   260820 |   104632 |    34544      3 |        0 |        0
1737.03/1737.31	c 1736s |      15 |   260991 |   104732 |    34544      3 |        0 |        0
1743.42/1743.73	c 1742s |      15 |   261133 |   104832 |    34544      3 |        0 |        0
1750.73/1751.04	c 1750s |      15 |   261285 |   104932 |    34544      3 |        0 |        0
1757.72/1758.06	c 1757s |      15 |   261409 |   105032 |    34544      3 |        0 |        0
1761.72/1762.02	c 1761s |      15 |   261541 |   105132 |    34544      3 |        0 |        0
1766.43/1766.72	c 1765s |      15 |   261701 |   105232 |    34544      3 |        0 |        0
1772.12/1772.43	c 1771s |      15 |   261849 |   105332 |    34544      3 |        0 |        0
1781.52/1781.90	c 1780s |      15 |   262026 |   105432 |    34544      3 |        0 |        0
1784.82/1785.18	c 1784s |      15 |   262218 |   105532 |    34544      3 |        0 |        0
1788.33/1788.68	c 1787s |      15 |   262417 |   105632 |    34544      3 |        0 |        0
1793.62/1793.91	c 1792s |      15 |   262566 |   105732 |    34544      3 |        0 |        0
1799.12/1799.45	c 1798s |      15 |   262727 |   105832 |    34544      3 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4078722-1465216695/watcher-4078722-1465216695 -o /tmp/evaluation-result-4078722-1465216695/solver-4078722-1465216695 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13092 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078722-1465216695.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.84 2.81 2.69 3/179 13271
/proc/meminfo: memFree=30019576/32872528 swapFree=16636/1570076
[pid=13271] ppid=13268 vsize=719292 CPUtime=0 cores=1,3,5,7
/proc/13271/stat : 13271 (toysat) R 13268 13271 13075 0 -1 4202496 2681 0 0 0 0 0 0 0 20 0 4 0 103601843 736555008 3553 33554432000 4194304 16246674 140736136925088 140736136924512 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13271/statm: 180591 3563 441 2943 0 177485 0
[pid=13271/tid=13272] ppid=13268 vsize=742844 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13272/stat : 13272 (toysat) S 13268 13271 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103601843 760672256 3643 33554432000 4194304 16246674 140736136925088 140145812548848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13271/tid=13273] ppid=13268 vsize=747964 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13273/stat : 13273 (toysat) S 13268 13271 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103601843 765915136 3664 33554432000 4194304 16246674 140736136925088 140145802058992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13271/tid=13274] ppid=13268 vsize=752060 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13274/stat : 13274 (toysat) S 13268 13271 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103601843 770109440 3680 33554432000 4194304 16246674 140736136925088 140145722387632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100186 s]
/proc/loadavg: 1.84 2.81 2.69 3/179 13271
/proc/meminfo: memFree=30019576/32872528 swapFree=16636/1570076
[pid=13271] ppid=13268 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/13271/stat : 13271 (toysat) R 13268 13271 13075 0 -1 4202496 29010 0 0 0 5 4 0 0 20 0 4 0 103601843 1333334016 29820 33554432000 4194304 16246674 140736136925088 140736136924400 8055408 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13271/statm: 325521 29839 801 2943 0 322415 0
[pid=13271/tid=13272] ppid=13268 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13272/stat : 13272 (toysat) S 13268 13271 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103601843 1333334016 29850 33554432000 4194304 16246674 140736136925088 140145812548848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13271/tid=13273] ppid=13268 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13273/stat : 13273 (toysat) S 13268 13271 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103601843 1333334016 29863 33554432000 4194304 16246674 140736136925088 140145802058992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13271/tid=13274] ppid=13268 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13274/stat : 13274 (toysat) S 13268 13271 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103601843 1333334016 29874 33554432000 4194304 16246674 140736136925088 140145722387632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200546 s]
/proc/loadavg: 1.84 2.81 2.69 3/179 13271
/proc/meminfo: memFree=30019576/32872528 swapFree=16636/1570076
[pid=13271] ppid=13268 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/13271/stat : 13271 (toysat) R 13268 13271 13075 0 -1 4202496 46438 0 0 0 13 6 0 0 20 0 4 0 103601843 1344868352 47759 33554432000 4194304 16246674 140736136925088 140736136924400 7374487 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13271/statm: 328337 47759 801 2943 0 325231 0
[pid=13271/tid=13272] ppid=13268 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13272/stat : 13272 (toysat) S 13268 13271 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103601843 1344868352 47759 33554432000 4194304 16246674 140736136925088 140145812548848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13271/tid=13273] ppid=13268 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13273/stat : 13273 (toysat) S 13268 13271 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103601843 1344868352 47759 33554432000 4194304 16246674 140736136925088 140145802058992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13271/tid=13274] ppid=13268 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13274/stat : 13274 (toysat) S 13268 13271 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103601843 1344868352 47759 33554432000 4194304 16246674 140736136925088 140145722387632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300506 s]
/proc/loadavg: 1.84 2.81 2.69 3/179 13271
/proc/meminfo: memFree=30019576/32872528 swapFree=16636/1570076
[pid=13271] ppid=13268 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/13271/stat : 13271 (toysat) R 13268 13271 13075 0 -1 4202496 59623 0 0 0 21 8 0 0 20 0 4 0 103601843 1344868352 60944 33554432000 4194304 16246674 140736136925088 140736136907008 8056974 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13271/statm: 328337 60944 801 2943 0 325231 0
[pid=13271/tid=13272] ppid=13268 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13272/stat : 13272 (toysat) S 13268 13271 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103601843 1344868352 60944 33554432000 4194304 16246674 140736136925088 140145812548848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13271/tid=13273] ppid=13268 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13273/stat : 13273 (toysat) S 13268 13271 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103601843 1344868352 60944 33554432000 4194304 16246674 140736136925088 140145802058992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13271/tid=13274] ppid=13268 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13274/stat : 13274 (toysat) S 13268 13271 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103601843 1344868352 60944 33554432000 4194304 16246674 140736136925088 140145722387632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700425 s]
/proc/loadavg: 1.84 2.81 2.69 3/179 13271
/proc/meminfo: memFree=30019576/32872528 swapFree=16636/1570076
[pid=13271] ppid=13268 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/13271/stat : 13271 (toysat) R 13268 13271 13075 0 -1 4202496 107416 0 0 0 55 14 0 0 20 0 4 0 103601843 1344868352 108738 33554432000 4194304 16246674 140736136925088 140736136907008 13008268 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13271/statm: 328337 108758 834 2943 0 325231 0
[pid=13271/tid=13272] ppid=13268 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13272/stat : 13272 (toysat) S 13268 13271 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103601843 1344868352 108767 33554432000 4194304 16246674 140736136925088 140145812548848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13271/tid=13273] ppid=13268 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13273/stat : 13273 (toysat) S 13268 13271 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103601843 1344868352 108772 33554432000 4194304 16246674 140736136925088 140145802058992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13271/tid=13274] ppid=13268 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13274/stat : 13274 (toysat) S 13268 13271 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103601843 1344868352 108781 33554432000 4194304 16246674 140736136925088 140145722387632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 1.84 2.81 2.69 3/183 13275
/proc/meminfo: memFree=29339204/32872528 swapFree=16636/1570076
[pid=13271] ppid=13268 vsize=1337924 CPUtime=1.49 cores=1,3,5,7
/proc/13271/stat : 13271 (toysat) R 13268 13271 13075 0 -1 4202496 169148 0 0 0 127 22 0 0 20 0 4 0 103601843 1370034176 170469 33554432000 4194304 16246674 140736136925088 140736136908088 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13271/statm: 334481 170469 878 2943 0 331375 0
[pid=13271/tid=13272] ppid=13268 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13272/stat : 13272 (toysat) S 13268 13271 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103601843 1370034176 170469 33554432000 4194304 16246674 140736136925088 140145812548848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13271/tid=13273] ppid=13268 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13273/stat : 13273 (toysat) S 13268 13271 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103601843 1370034176 170469 33554432000 4194304 16246674 140736136925088 140145802058992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13271/tid=13274] ppid=13268 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13274/stat : 13274 (toysat) S 13268 13271 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103601843 1370034176 170469 33554432000 4194304 16246674 140736136925088 140145722387632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1337924

[startup+3.10043 s]
/proc/loadavg: 1.84 2.81 2.69 3/183 13275
/proc/meminfo: memFree=29338700/32872528 swapFree=16636/1570076
[pid=13271] ppid=13268 vsize=1337924 CPUtime=3.09 cores=1,3,5,7
/proc/13271/stat : 13271 (toysat) R 13268 13271 13075 0 -1 4202496 169148 0 0 0 287 22 0 0 20 0 4 0 103601843 1370034176 170469 33554432000 4194304 16246674 140736136925088 140736136907008 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13271/statm: 334481 170469 878 2943 0 331375 0
[pid=13271/tid=13272] ppid=13268 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13272/stat : 13272 (toysat) S 13268 13271 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103601843 1370034176 170469 33554432000 4194304 16246674 140736136925088 140145812548848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13271/tid=13273] ppid=13268 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13273/stat : 13273 (toysat) S 13268 13271 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103601843 1370034176 170469 33554432000 4194304 16246674 140736136925088 140145802058992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13271/tid=13274] ppid=13268 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13274/stat : 13274 (toysat) S 13268 13271 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103601843 1370034176 170469 33554432000 4194304 16246674 140736136925088 140145722387632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1337924

[startup+6.30043 s]
/proc/loadavg: 1.85 2.80 2.68 3/183 13275
/proc/meminfo: memFree=29338424/32872528 swapFree=16636/1570076
[pid=13271] ppid=13268 vsize=1337924 CPUtime=6.29 cores=1,3,5,7
/proc/13271/stat : 13271 (toysat) R 13268 13271 13075 0 -1 4202496 169151 0 0 0 606 23 0 0 20 0 4 0 103601843 1370034176 170472 33554432000 4194304 16246674 140736136925088 140736136924264 5545930 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13271/statm: 334481 170472 880 2943 0 331375 0
[pid=13271/tid=13272] ppid=13268 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13272/stat : 13272 (toysat) S 13268 13271 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103601843 1370034176 170472 33554432000 4194304 16246674 140736136925088 140145812548848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13271/tid=13273] ppid=13268 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13273/stat : 13273 (toysat) S 13268 13271 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103601843 1370034176 170472 33554432000 4194304 16246674 140736136925088 140145802058992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13271/tid=13274] ppid=13268 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13274/stat : 13274 (toysat) S 13268 13271 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103601843 1370034176 170472 33554432000 4194304 16246674 140736136925088 140145722387632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1337924

[startup+12.7004 s]
/proc/loadavg: 1.86 2.78 2.68 3/183 13275
/proc/meminfo: memFree=29338772/32872528 swapFree=16636/1570076
[pid=13271] ppid=13268 vsize=1337924 CPUtime=12.69 cores=1,3,5,7
/proc/13271/stat : 13271 (toysat) R 13268 13271 13075 0 -1 4202496 169151 0 0 0 1245 24 0 0 20 0 4 0 103601843 1370034176 170472 33554432000 4194304 16246674 140736136925088 140736136907008 6010416 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13271/statm: 334481 170472 880 2943 0 331375 0
[pid=13271/tid=13272] ppid=13268 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13272/stat : 13272 (toysat) S 13268 13271 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103601843 1370034176 170472 33554432000 4194304 16246674 140736136925088 140145812548848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13271/tid=13273] ppid=13268 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13273/stat : 13273 (toysat) S 13268 13271 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103601843 1370034176 170472 33554432000 4194304 16246674 140736136925088 140145802058992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13271/tid=13274] ppid=13268 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13274/stat : 13274 (toysat) S 13268 13271 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103601843 1370034176 170472 33554432000 4194304 16246674 140736136925088 140145722387632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1337924

[startup+25.5005 s]
/proc/loadavg: 1.97 2.76 2.67 4/183 13275
/proc/meminfo: memFree=29339304/32872528 swapFree=16636/1570076
[pid=13271] ppid=13268 vsize=1337924 CPUtime=25.49 cores=1,3,5,7
/proc/13271/stat : 13271 (toysat) R 13268 13271 13075 0 -1 4202496 169151 0 0 0 2523 26 0 0 20 0 4 0 103601843 1370034176 170472 33554432000 4194304 16246674 140736136925088 140736136924184 12477807 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13271/statm: 334481 170472 880 2943 0 331375 0
[pid=13271/tid=13272] ppid=13268 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13272/stat : 13272 (toysat) S 13268 13271 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103601843 1370034176 170472 33554432000 4194304 16246674 140736136925088 140145812548848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13271/tid=13273] ppid=13268 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13273/stat : 13273 (toysat) S 13268 13271 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103601843 1370034176 170472 33554432000 4194304 16246674 140736136925088 140145802058992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13271/tid=13274] ppid=13268 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13274/stat : 13274 (toysat) S 13268 13271 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103601843 1370034176 170472 33554432000 4194304 16246674 140736136925088 140145722387632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1337924

[startup+51.1005 s]
/proc/loadavg: 2.04 2.71 2.66 4/183 13275
/proc/meminfo: memFree=29339060/32872528 swapFree=16636/1570076
[pid=13271] ppid=13268 vsize=1337924 CPUtime=51.08 cores=1,3,5,7
/proc/13271/stat : 13271 (toysat) R 13268 13271 13075 0 -1 4202496 169153 0 0 0 5080 28 0 0 20 0 4 0 103601843 1370034176 170474 33554432000 4194304 16246674 140736136925088 140736136924264 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13271/statm: 334481 170474 882 2943 0 331375 0
[pid=13271/tid=13272] ppid=13268 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13272/stat : 13272 (toysat) S 13268 13271 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103601843 1370034176 170474 33554432000 4194304 16246674 140736136925088 140145812548848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13271/tid=13273] ppid=13268 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13273/stat : 13273 (toysat) S 13268 13271 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103601843 1370034176 170474 33554432000 4194304 16246674 140736136925088 140145802058992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13271/tid=13274] ppid=13268 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13274/stat : 13274 (toysat) S 13268 13271 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103601843 1370034176 170474 33554432000 4194304 16246674 140736136925088 140145722387632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1337924

[startup+102.301 s]
/proc/loadavg: 2.12 2.63 2.63 3/183 13276
/proc/meminfo: memFree=29338572/32872528 swapFree=16636/1570076
[pid=13271] ppid=13268 vsize=1337924 CPUtime=102.28 cores=1,3,5,7
/proc/13271/stat : 13271 (toysat) R 13268 13271 13075 0 -1 4202496 169153 0 0 0 10193 35 0 0 20 0 4 0 103601843 1370034176 170474 33554432000 4194304 16246674 140736136925088 140736136907008 5721352 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13271/statm: 334481 170474 882 2943 0 331375 0
[pid=13271/tid=13272] ppid=13268 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13272/stat : 13272 (toysat) S 13268 13271 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103601843 1370034176 170474 33554432000 4194304 16246674 140736136925088 140145812548848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13271/tid=13273] ppid=13268 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13273/stat : 13273 (toysat) S 13268 13271 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103601843 1370034176 170474 33554432000 4194304 16246674 140736136925088 140145802058992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13271/tid=13274] ppid=13268 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13274/stat : 13274 (toysat) S 13268 13271 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103601843 1370034176 170474 33554432000 4194304 16246674 140736136925088 140145722387632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1337924


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

/proc/13271/task/13272/stat : 13272 (toysat) S 13268 13271 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103601843 2967015424 666148 33554432000 4194304 16246674 140736136925088 140145812548848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13271/tid=13273] ppid=13268 vsize=2897476 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13273/stat : 13273 (toysat) S 13268 13271 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103601843 2967015424 666148 33554432000 4194304 16246674 140736136925088 140145802058992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13271/tid=13274] ppid=13268 vsize=2897476 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13274/stat : 13274 (toysat) S 13268 13271 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103601843 2967015424 666148 33554432000 4194304 16246674 140736136925088 140145722387632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 2897476

[startup+1362.3 s]
/proc/loadavg: 2.23 2.20 2.29 3/184 13310
/proc/meminfo: memFree=25155508/32872528 swapFree=16636/1570076
[pid=13271] ppid=13268 vsize=2978372 CPUtime=1362.08 cores=1,3,5,7
/proc/13271/stat : 13271 (toysat) R 13268 13271 13075 0 -1 4202496 685265 0 0 0 135734 474 0 0 20 0 4 0 103601843 3049852928 686586 33554432000 4194304 16246674 140736136925088 140736136924264 5861864 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13271/statm: 744593 686586 888 2943 0 741487 0
[pid=13271/tid=13272] ppid=13268 vsize=2978372 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13272/stat : 13272 (toysat) S 13268 13271 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103601843 3049852928 686586 33554432000 4194304 16246674 140736136925088 140145812548848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13271/tid=13273] ppid=13268 vsize=2978372 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13273/stat : 13273 (toysat) S 13268 13271 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103601843 3049852928 686586 33554432000 4194304 16246674 140736136925088 140145802058992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13271/tid=13274] ppid=13268 vsize=2978372 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13274/stat : 13274 (toysat) S 13268 13271 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103601843 3049852928 686586 33554432000 4194304 16246674 140736136925088 140145722387632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 2978372

[startup+1422.3 s]
/proc/loadavg: 2.19 2.19 2.28 4/184 13334
/proc/meminfo: memFree=24960812/32872528 swapFree=16636/1570076
[pid=13271] ppid=13268 vsize=3023428 CPUtime=1422.08 cores=1,3,5,7
/proc/13271/stat : 13271 (toysat) R 13268 13271 13075 0 -1 4202496 696380 0 0 0 141701 507 0 0 20 0 4 0 103601843 3095990272 697701 33554432000 4194304 16246674 140736136925088 140736136924264 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13271/statm: 755857 697701 888 2943 0 752751 0
[pid=13271/tid=13272] ppid=13268 vsize=3023428 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13272/stat : 13272 (toysat) S 13268 13271 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103601843 3095990272 697701 33554432000 4194304 16246674 140736136925088 140145812548848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13271/tid=13273] ppid=13268 vsize=3023428 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13273/stat : 13273 (toysat) S 13268 13271 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103601843 3095990272 697701 33554432000 4194304 16246674 140736136925088 140145802058992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13271/tid=13274] ppid=13268 vsize=3023428 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13274/stat : 13274 (toysat) S 13268 13271 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103601843 3095990272 697701 33554432000 4194304 16246674 140736136925088 140145722387632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3023428

[startup+1482.3 s]
/proc/loadavg: 2.17 2.18 2.27 3/183 13335
/proc/meminfo: memFree=24735948/32872528 swapFree=16636/1570076
[pid=13271] ppid=13268 vsize=3119684 CPUtime=1482.07 cores=1,3,5,7
/proc/13271/stat : 13271 (toysat) R 13268 13271 13075 0 -1 4202496 720593 0 0 0 147670 537 0 0 20 0 4 0 103601843 3194556416 721914 33554432000 4194304 16246674 140736136925088 140736136924184 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13271/statm: 779921 721914 888 2943 0 776815 0
[pid=13271/tid=13272] ppid=13268 vsize=3119684 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13272/stat : 13272 (toysat) S 13268 13271 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103601843 3194556416 721914 33554432000 4194304 16246674 140736136925088 140145812548848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13271/tid=13273] ppid=13268 vsize=3119684 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13273/stat : 13273 (toysat) S 13268 13271 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103601843 3194556416 721914 33554432000 4194304 16246674 140736136925088 140145802058992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13271/tid=13274] ppid=13268 vsize=3119684 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13274/stat : 13274 (toysat) S 13268 13271 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103601843 3194556416 721914 33554432000 4194304 16246674 140736136925088 140145722387632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 3119684

[startup+1542.31 s]
/proc/loadavg: 2.23 2.20 2.27 3/183 13336
/proc/meminfo: memFree=24516852/32872528 swapFree=16636/1570076
[pid=13271] ppid=13268 vsize=3230276 CPUtime=1542.06 cores=1,3,5,7
/proc/13271/stat : 13271 (toysat) R 13268 13271 13075 0 -1 4202496 748241 0 0 0 153637 569 0 0 20 0 4 0 103601843 3307802624 749562 33554432000 4194304 16246674 140736136925088 140736136924184 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13271/statm: 807569 749562 888 2943 0 804463 0
[pid=13271/tid=13272] ppid=13268 vsize=3230276 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13272/stat : 13272 (toysat) S 13268 13271 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103601843 3307802624 749562 33554432000 4194304 16246674 140736136925088 140145812548848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13271/tid=13273] ppid=13268 vsize=3230276 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13273/stat : 13273 (toysat) S 13268 13271 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103601843 3307802624 749562 33554432000 4194304 16246674 140736136925088 140145802058992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13271/tid=13274] ppid=13268 vsize=3230276 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13274/stat : 13274 (toysat) S 13268 13271 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103601843 3307802624 749562 33554432000 4194304 16246674 140736136925088 140145722387632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 3230276

[startup+1602.3 s]
/proc/loadavg: 2.15 2.18 2.26 4/183 13337
/proc/meminfo: memFree=24289416/32872528 swapFree=16636/1570076
[pid=13271] ppid=13268 vsize=3332676 CPUtime=1602.05 cores=1,3,5,7
/proc/13271/stat : 13271 (toysat) R 13268 13271 13075 0 -1 4202496 773747 0 0 0 159605 600 0 0 20 0 4 0 103601843 3412660224 775068 33554432000 4194304 16246674 140736136925088 140736136924184 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13271/statm: 833169 775068 888 2943 0 830063 0
[pid=13271/tid=13272] ppid=13268 vsize=3332676 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13272/stat : 13272 (toysat) S 13268 13271 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103601843 3412660224 775068 33554432000 4194304 16246674 140736136925088 140145812548848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13271/tid=13273] ppid=13268 vsize=3332676 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13273/stat : 13273 (toysat) S 13268 13271 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103601843 3412660224 775068 33554432000 4194304 16246674 140736136925088 140145802058992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13271/tid=13274] ppid=13268 vsize=3332676 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13274/stat : 13274 (toysat) S 13268 13271 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103601843 3412660224 775068 33554432000 4194304 16246674 140736136925088 140145722387632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 3332676

[startup+1662.3 s]
/proc/loadavg: 2.21 2.19 2.26 3/183 13338
/proc/meminfo: memFree=24096504/32872528 swapFree=16636/1570076
[pid=13271] ppid=13268 vsize=3427908 CPUtime=1662.03 cores=1,3,5,7
/proc/13271/stat : 13271 (toysat) R 13268 13271 13075 0 -1 4202496 797528 0 0 0 165573 630 0 0 20 0 4 0 103601843 3510177792 798849 33554432000 4194304 16246674 140736136925088 140736136924184 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13271/statm: 856977 798849 888 2943 0 853871 0
[pid=13271/tid=13272] ppid=13268 vsize=3427908 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13272/stat : 13272 (toysat) S 13268 13271 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103601843 3510177792 798849 33554432000 4194304 16246674 140736136925088 140145812548848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13271/tid=13273] ppid=13268 vsize=3427908 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13273/stat : 13273 (toysat) S 13268 13271 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103601843 3510177792 798849 33554432000 4194304 16246674 140736136925088 140145802058992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13271/tid=13274] ppid=13268 vsize=3427908 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13274/stat : 13274 (toysat) S 13268 13271 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103601843 3510177792 798849 33554432000 4194304 16246674 140736136925088 140145722387632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3427908

[startup+1722.3 s]
/proc/loadavg: 2.41 2.25 2.27 3/183 13340
/proc/meminfo: memFree=23945004/32872528 swapFree=16636/1570076
[pid=13271] ppid=13268 vsize=3503684 CPUtime=1722.02 cores=1,3,5,7
/proc/13271/stat : 13271 (toysat) R 13268 13271 13075 0 -1 4202496 816360 0 0 0 171540 662 0 0 20 0 4 0 103601843 3587772416 817681 33554432000 4194304 16246674 140736136925088 140736136924184 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13271/statm: 875921 817681 889 2943 0 872815 0
[pid=13271/tid=13272] ppid=13268 vsize=3503684 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13272/stat : 13272 (toysat) S 13268 13271 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103601843 3587772416 817681 33554432000 4194304 16246674 140736136925088 140145812548848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13271/tid=13273] ppid=13268 vsize=3503684 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13273/stat : 13273 (toysat) S 13268 13271 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103601843 3587772416 817681 33554432000 4194304 16246674 140736136925088 140145802058992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13271/tid=13274] ppid=13268 vsize=3503684 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13274/stat : 13274 (toysat) S 13268 13271 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103601843 3587772416 817681 33554432000 4194304 16246674 140736136925088 140145722387632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3503684

[startup+1782.3 s]
/proc/loadavg: 2.28 2.24 2.27 4/183 13341
/proc/meminfo: memFree=23887996/32872528 swapFree=16636/1570076
[pid=13271] ppid=13268 vsize=3560004 CPUtime=1782.02 cores=1,3,5,7
/proc/13271/stat : 13271 (toysat) R 13268 13271 13075 0 -1 4202496 830551 0 0 0 177510 692 0 0 20 0 4 0 103601843 3645444096 831872 33554432000 4194304 16246674 140736136925088 140736136924264 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13271/statm: 890001 831872 889 2943 0 886895 0
[pid=13271/tid=13272] ppid=13268 vsize=3560004 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13272/stat : 13272 (toysat) S 13268 13271 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103601843 3645444096 831872 33554432000 4194304 16246674 140736136925088 140145812548848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13271/tid=13273] ppid=13268 vsize=3560004 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13273/stat : 13273 (toysat) S 13268 13271 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103601843 3645444096 831872 33554432000 4194304 16246674 140736136925088 140145802058992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13271/tid=13274] ppid=13268 vsize=3560004 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13274/stat : 13274 (toysat) S 13268 13271 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103601843 3645444096 831872 33554432000 4194304 16246674 140736136925088 140145722387632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 3560004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.34 2.26 2.27 4/183 13390
/proc/meminfo: memFree=26105688/32872528 swapFree=16636/1570076
[pid=13271] ppid=13268 vsize=3573316 CPUtime=1800.02 cores=1,3,5,7
/proc/13271/stat : 13271 (toysat) R 13268 13271 13075 0 -1 4202496 833933 0 0 0 179302 700 0 0 20 0 4 0 103601843 3659075584 835254 33554432000 4194304 16246674 140736136925088 140736136924184 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13271/statm: 893329 835254 889 2943 0 890223 0
[pid=13271/tid=13272] ppid=13268 vsize=3573316 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13272/stat : 13272 (toysat) S 13268 13271 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103601843 3659075584 835254 33554432000 4194304 16246674 140736136925088 140145812548848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13271/tid=13273] ppid=13268 vsize=3573316 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13273/stat : 13273 (toysat) S 13268 13271 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103601843 3659075584 835254 33554432000 4194304 16246674 140736136925088 140145802058992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13271/tid=13274] ppid=13268 vsize=3573316 CPUtime=0 cores=1,3,5,7
/proc/13271/task/13274/stat : 13274 (toysat) S 13268 13271 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103601843 3659075584 835254 33554432000 4194304 16246674 140736136925088 140145722387632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3573316

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

[startup+1800.4 s]
/proc/loadavg: 2.34 2.26 2.27 4/183 13390
/proc/meminfo: memFree=26105688/32872528 swapFree=16636/1570076
[pid=13271] ppid=13268 vsize=0 CPUtime=1800.12 cores=1,3,5,7
/proc/13271/stat : 13271 (toysat) Z 13268 13271 13075 0 -1 4203532 833933 0 0 0 179302 710 0 0 20 0 2 0 103601843 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13271/statm: 0 0 0 0 0 0 0
[pid=13271/tid=13273] ppid=13268 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/13271/task/13273/stat : 13273 (toysat) R 13268 13271 13075 0 -1 4203588 8 0 0 0 0 8 0 0 20 0 2 0 103601843 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.48
CPU time (s): 1800.2
CPU user time (s): 1793.03
CPU system time (s): 7.17491
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 3573316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.03
system time used= 7.17491
maximum resident set size= 3341016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 833933
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= 15
involuntary context switches= 1858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.57031 second user time and 6.92895 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-06 14:38:15
IDJOB=4078722
IDBENCH=1155
IDSOLVER=2542
FILE ID=node140/4078722-1465216695
RUNJOBID= node140-1465216678-13092
PBS_JOBID= 19843199
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin18.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078722-1465216695/watcher-4078722-1465216695 -o /tmp/evaluation-result-4078722-1465216695/solver-4078722-1465216695 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13092 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078722-1465216695.opb

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

MD5SUM BENCH= f17e31cb6762bd0e8d3e659d7bd1050c
RANDOM SEED=1454516929

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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	: 5334.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30020080 kB
Buffers:            1300 kB
Cached:            70800 kB
SwapCached:         1300 kB
Active:           566328 kB
Inactive:          13732 kB
Active(anon):     508716 kB
Inactive(anon):     1644 kB
Active(file):      57612 kB
Inactive(file):    12088 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67097332 kB
Dirty:             36760 kB
Writeback:             0 kB
AnonPages:       2078296 kB
Mapped:            10064 kB
Shmem:                 0 kB
Slab:             567244 kB
SReclaimable:      10652 kB
SUnreclaim:       556592 kB
KernelStack:        1464 kB
PageTables:         9048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2793548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1560576 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= 71708 MiB
End job on node140 at 2016-06-06 15:08:15