Trace number 4079230

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.02 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_0null20mast_rapportOE2.0_TMAX120_K67_cod2.opb
MD5SUM3c4312a0a0fb7b4698eae8a0af34af2a
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-111146
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints41436
Number of constraints which are clauses40882
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 486
Biggest coefficient in the objective function 10946
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 1322752
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 10946
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 1322752
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T15:41:39+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-4079230-1465306899.opb"]
0.00/0.01	c use --random-gen="342649913 574355112 3445931700 655289214 1500540614 3914353960 2231222986 4058985582 2439522158 1081122827 3252389727 1297044919 3432637756 1416229068 3278064349 2353110274 3739527129 2880797849 1263001292 868916730 1349225360 3314104348 1673205694 1809818951 2913826236 3706309551 3178519813 4271551905 1323819379 1112682615 3906630145 1496938715 2171557542 2073326104 894603204 4275070312 3508760361 2112158891 2517468555 3568540918 984699902 1515510615 1420998808 2918391790 3740697346 230980273 3708866937 446333208 1172039814 2214992086 3041918867 3074342399 3208113372 3735600262 735712573 2616733760 3516308808 1157749571 2883260389 4264736277 3020013760 829814915 926204343 61333559 1926729077 2538161404 2594883266 747004804 4185406823 305710849 3842298987 2885310047 2825353471 2899045973 3523343876 1937054595 1552007166 1731832759 841631486 488816531 3918416715 1628981793 2211477483 2351301227 3088151040 2887095708 3620474593 708981213 2241509866 2689554077 3681494187 2604175654 440949745 3749874695 1206241447 2646238908 4006729858 628687287 3170904912 2495947215 3993351581 1692444673 787042499 2707863482 3004314623 84207582 634324774 4223649071 3214816916 3530114841 574762217 3376203357 2767760320 48635923 2971138977 2753616293 3349380762 217209032 1830570563 2027801021 2203799462 3160833904 4059833873 4036466927 2756526718 2259261774 218143107 2630461135 1284543900 2238106133 761303022 1625455718 1643613070 403450573 216621022 3230521890 3805029762 2749117186 479603519 1014342552 534180800 1345976655 1428423766 232187614 117634137 3841610688 1922644479 2480712423 1667876885 2345194363 2773475182 1934382627 4142827591 326575285 3623672096 2315319297 1148782675 4185069601 4246422258 1245785580 4245507109 2719011702 2876807492 1417781395 3889586418 2613091206 1933360078 180444132 2921373005 2373576936 252681115 4284397095 3564849844 4045727870 3863341761 3626891034 2428392623 448327478 2769422093 1386319218 3999199238 1721759671 292649954 4225803333 1319204447 3219217897 2821732801 1171999508 3976142677 3841101684 682753105 3890846369 18935702 3496631867 1715182255 587450898 1539416045 3884917793 1914566185 3054443343 2633365988 4177462771 1892714945 2229015383 1643167388 3070556568 2233061606 466638396 152022665 748176254 4079674306 720681699 3884120231 852362187 2952602100 2513679257 2253866618 2762994788 4277594144 591618566 3177201038 2390741785 3927685265 3985041986 1881483400 1019614365 4041293953 149169902 1765780881 2142637146 3454896936 2909014114 3654123239 1984730376 4089202740 4141653245 3376119872 923345258 2574675927 1726569101 1516402514 579856265 926226425 3593820467 985278122 1443026839 3801838589 2196936902 1456431872 2453051187 634406672 3657878744 2296392279 2906918987 3858646192 298737942 255 362436" option to reproduce the execution
0.39/0.47	c #vars 40937
0.39/0.47	c #constraints 41436
1.49/1.59	c BCD2: Hardening is enabled.
1.49/1.59	c BCD2: BiasedSearch is enabled.
1.49/1.59	c Solving starts ...
1.49/1.59	c ============================[ Search Statistics ]============================
1.49/1.59	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.49/1.59	c       |         |          |          |    Limit     GC | Var      | Constra 
1.49/1.59	c =============================================================================
1.49/1.59	c  0.0s |       0 |        0 |        0 |    27456      0 |      125 |        0
2.59/2.68	c  1.1s |       1 |     5120 |      100 |    27456      0 |      148 |      146
4.79/4.80	c  3.2s |       2 |     8443 |      250 |    30202      0 |      148 |      146
8.18/8.28	c  6.7s |       2 |    13561 |      450 |    33223      0 |      148 |      146
8.98/9.08	c  7.5s |       3 |    15542 |      475 |    33223      0 |      148 |      146
11.68/11.76	c 10.2s |       3 |    20379 |      675 |    36546      0 |      148 |      146
13.48/13.57	c 12.0s |       4 |    24188 |      813 |    36546      0 |      148 |      146
16.38/16.40	c 14.8s |       4 |    28331 |     1013 |    40201      0 |      148 |      146
19.79/19.87	c 18.3s |       4 |    33345 |     1213 |    40201      0 |      148 |      146
20.99/21.06	c 19.5s |       5 |    37015 |     1320 |    40201      0 |      148 |      146
24.29/24.39	c 22.8s |       5 |    39830 |     1520 |    44222      0 |      148 |      146
26.98/27.08	c 25.5s |       5 |    45744 |     1720 |    44222      0 |      148 |      146
29.69/29.75	c 28.2s |       5 |    53037 |     1920 |    44222      0 |      148 |      146
32.08/32.15	c 30.6s |       6 |    55615 |     2081 |    48645      0 |      148 |      146
35.48/35.50	c 33.9s |       6 |    61562 |     2281 |    48645      0 |      148 |      146
38.59/38.62	c 37.0s |       6 |    62795 |     2481 |    48645      0 |      148 |      146
40.98/41.03	c 39.4s |       6 |    63174 |     2681 |    48645      0 |      148 |      146
44.58/44.64	c 43.0s |       6 |    63676 |     2881 |    48645      0 |      148 |      146
47.18/47.30	c 45.7s |       6 |    69453 |     3081 |    48645      0 |      148 |      146
49.68/49.79	c 48.2s |       7 |    70799 |     3223 |    53510      0 |      148 |      146
52.18/52.21	c 50.6s |       7 |    71033 |     3323 |    53510      0 |      148 |      146
55.48/55.57	c 54.0s |       7 |    72671 |     3523 |    53510      0 |      148 |      146
57.58/57.63	c 56.0s |       7 |    72798 |     3623 |    53510      0 |      148 |      146
60.88/60.99	c 59.4s |       7 |    73725 |     3823 |    53510      0 |      148 |      146
63.47/63.52	c 61.9s |       7 |    74978 |     3923 |    53510      0 |      148 |      146
67.08/67.11	c 65.5s |       7 |    76471 |     4123 |    53510      0 |      148 |      146
69.57/69.64	c 68.0s |       7 |    77491 |     4323 |    53510      0 |      148 |      146
71.58/71.66	c 70.1s |       7 |    78233 |     4423 |    53510      0 |      148 |      146
75.07/75.10	c 73.5s |       7 |    78653 |     4623 |    53510      0 |      148 |      146
78.47/78.51	c 76.9s |       7 |    79502 |     4823 |    53510      0 |      148 |      146
79.77/79.84	c 78.2s |       8 |    79977 |     4936 |    58862      0 |      148 |      146
83.17/83.23	c 81.6s |       8 |    85307 |     5136 |    58862      0 |      148 |      146
85.88/85.97	c 84.4s |       8 |    88302 |     5336 |    58862      0 |      148 |      146
89.27/89.39	c 87.8s |       8 |    88564 |     5536 |    58862      0 |      148 |      146
92.47/92.55	c 91.0s |       8 |    89088 |     5736 |    58862      0 |      148 |      146
96.07/96.11	c 94.5s |       8 |    89956 |     5936 |    58862      0 |      148 |      146
98.77/98.83	c 97.2s |       8 |    91312 |     6136 |    58862      0 |      148 |      146
100.77/100.83	c 99.2s |       8 |    92359 |     6236 |    58862      0 |      148 |      146
103.47/103.58	c  101s |       8 |    95521 |     6436 |    58862      0 |      148 |      146
106.26/106.38	c  104s |       8 |    97721 |     6636 |    58862      0 |      148 |      146
109.16/109.25	c  107s |       8 |    99953 |     6836 |    58862      0 |      148 |      146
112.27/112.39	c  110s |       8 |   102856 |     7036 |    58862      0 |      148 |      146
115.47/115.51	c  113s |       8 |   105834 |     7236 |    58862      0 |      148 |      146
118.46/118.56	c  116s |       8 |   110694 |     7436 |    58862      0 |      148 |      146
119.56/119.69	c  118s |       9 |   110937 |     7506 |    64749      0 |      148 |      146
121.76/121.82	c  120s |       9 |   114052 |     7606 |    64749      0 |      148 |      146
123.96/124.00	c  122s |       9 |   115160 |     7706 |    64749      0 |      148 |      146
127.86/127.92	c  126s |       9 |   118826 |     7906 |    64749      0 |      148 |      146
130.36/130.49	c  128s |       9 |   121026 |     8106 |    64749      0 |      148 |      146
132.66/132.73	c  131s |       9 |   123943 |     8206 |    64749      0 |      148 |      146
135.76/135.86	c  134s |       9 |   127504 |     8406 |    64749      0 |      148 |      146
138.96/139.09	c  137s |       9 |   131046 |     8606 |    64749      0 |      148 |      146
142.65/142.72	c  141s |       9 |   133165 |     8806 |    64749      0 |      148 |      146
146.05/146.10	c  144s |       9 |   133712 |     9006 |    64749      0 |      148 |      146
148.05/148.12	c  146s |       9 |   134089 |     9106 |    64749      0 |      148 |      146
150.05/150.15	c  148s |       9 |   136402 |     9206 |    64749      0 |      148 |      146
153.14/153.24	c  151s |       9 |   137059 |     9406 |    64749      0 |      148 |      146
155.64/155.71	c  154s |       9 |   138427 |     9606 |    64749      0 |      148 |      146
157.94/158.04	c  156s |       9 |   139109 |     9806 |    64749      0 |      148 |      146
161.04/161.16	c  159s |       9 |   141472 |    10006 |    64749      0 |      148 |      146
163.74/163.86	c  162s |       9 |   144588 |    10206 |    64749      0 |      148 |      146
166.54/166.66	c  165s |       9 |   146906 |    10406 |    64749      0 |      148 |      146
169.74/169.81	c  168s |       9 |   147394 |    10606 |    64749      0 |      148 |      146
173.24/173.38	c  171s |       9 |   148135 |    10806 |    64749      0 |      148 |      146
175.44/175.58	c  173s |       9 |   148264 |    10906 |    64749      0 |      148 |      146
177.64/177.76	c  176s |       9 |   148464 |    11006 |    64749      0 |      148 |      146
179.74/179.81	c  178s |       9 |   148780 |    11106 |    64749      0 |      148 |      146
183.14/183.23	c  181s |       9 |   149566 |    11306 |    71224      0 |      148 |      146
183.94/184.05	c  182s |      10 |   149713 |    11361 |    71224      0 |      148 |      146
187.34/187.41	c  185s |      10 |   150314 |    11561 |    71224      0 |      148 |      146
191.14/191.23	c  189s |      10 |   151279 |    11761 |    71224      0 |      148 |      146
193.94/194.00	c  192s |      10 |   153071 |    11861 |    71224      0 |      148 |      146
198.94/199.06	c  197s |      10 |   153857 |    12061 |    71224      0 |      148 |      146
202.34/202.47	c  200s |      10 |   154457 |    12261 |    71224      0 |      148 |      146
205.24/205.36	c  203s |      10 |   156210 |    12461 |    71224      0 |      148 |      146
208.54/208.63	c  207s |      10 |   156839 |    12661 |    71224      0 |      148 |      146
212.34/212.44	c  210s |      10 |   158023 |    12861 |    71224      0 |      148 |      146
215.93/216.00	c  214s |      10 |   160375 |    13061 |    71224      0 |      148 |      146
219.13/219.24	c  217s |      10 |   161906 |    13261 |    71224      0 |      148 |      146
221.53/221.64	c  220s |      10 |   163750 |    13361 |    71224      0 |      148 |      146
224.34/224.49	c  222s |      10 |   165512 |    13561 |    71224      0 |      148 |      146
226.64/226.71	c  225s |      10 |   167336 |    13661 |    71224      0 |      148 |      146
229.04/229.19	c  227s |      10 |   168205 |    13761 |    71224      0 |      148 |      146
231.64/231.72	c  230s |      10 |   170412 |    13861 |    71224      0 |      148 |      146
234.14/234.20	c  232s |      10 |   172474 |    13961 |    71224      0 |      148 |      146
236.64/236.79	c  235s |      10 |   174112 |    14061 |    71224      0 |      148 |      146
239.54/239.66	c  238s |      10 |   178230 |    14261 |    71224      0 |      148 |      146
241.94/242.01	c  240s |      10 |   179585 |    14461 |    71224      0 |      148 |      146
244.34/244.47	c  242s |      10 |   181107 |    14661 |    71224      0 |      148 |      146
247.84/247.92	c  246s |      10 |   182209 |    14861 |    71224      0 |      148 |      146
250.44/250.53	c  248s |      10 |   185283 |    15061 |    71224      0 |      148 |      146
253.04/253.18	c  251s |      10 |   187396 |    15261 |    71224      0 |      148 |      146
255.84/255.95	c  254s |      10 |   188738 |    15561 |    71224      0 |      148 |      146
259.13/259.25	c  257s |      10 |   189698 |    15861 |    71224      0 |      148 |      146
261.33/261.44	c  259s |      10 |   191081 |    15961 |    71224      0 |      148 |      146
263.83/263.94	c  262s |      10 |   191720 |    16061 |    71224      0 |      148 |      146
265.93/266.05	c  264s |      10 |   192750 |    16261 |    71224      0 |      148 |      146
268.23/268.31	c  266s |      10 |   193462 |    16461 |    71224      0 |      148 |      146
270.54/270.66	c  269s |      10 |   193861 |    16661 |    71224      0 |      148 |      146
273.43/273.55	c  271s |      10 |   194601 |    16861 |    71224      0 |      148 |      146
275.63/275.76	c  274s |      10 |   195567 |    17061 |    78347      0 |      148 |      146
276.33/276.45	c  274s |      11 |   195899 |    17144 |    78347      0 |      148 |      146
278.43/278.50	c  276s |      11 |   197079 |    17244 |    78347      0 |      148 |      146
282.03/282.17	c  280s |      11 |   198549 |    17444 |    78347      0 |      148 |      146
285.33/285.48	c  283s |      11 |   202781 |    17644 |    78347      0 |      148 |      146
288.73/288.80	c  287s |      11 |   204414 |    17844 |    78347      0 |      148 |      146
292.73/292.86	c  291s |      11 |   205972 |    18044 |    78347      0 |      148 |      146
296.33/296.41	c  294s |      11 |   206752 |    18244 |    78347      0 |      148 |      146
298.53/298.67	c  297s |      11 |   207174 |    18344 |    78347      0 |      148 |      146
301.33/301.41	c  299s |      11 |   207646 |    18444 |    78347      0 |      148 |      146
306.03/306.14	c  304s |      11 |   210250 |    18644 |    78347      0 |      148 |      146
308.63/308.78	c  307s |      11 |   212110 |    18744 |    78347      0 |      148 |      146
311.82/311.99	c  310s |      11 |   215916 |    18944 |    78347      0 |      148 |      146
314.63/314.76	c  313s |      11 |   218211 |    19144 |    78347      0 |      148 |      146
317.72/317.82	c  316s |      11 |   220758 |    19344 |    78347      0 |      148 |      146
322.02/322.16	c  320s |      11 |   222702 |    19544 |    78347      0 |      148 |      146
325.63/325.74	c  324s |      11 |   229515 |    19744 |    78347      0 |      148 |      146
329.42/329.53	c  327s |      11 |   230617 |    19944 |    78347      0 |      148 |      146
331.82/331.92	c  330s |      11 |   231220 |    20044 |    78347      0 |      148 |      146
334.33/334.42	c  332s |      11 |   231622 |    20144 |    78347      0 |      148 |      146
337.32/337.43	c  335s |      11 |   232589 |    20244 |    78347      0 |      148 |      146
339.93/340.05	c  338s |      11 |   239283 |    20444 |    78347      0 |      148 |      146
341.92/342.06	c  340s |      11 |   240337 |    20544 |    78347      0 |      148 |      146
344.42/344.56	c  342s |      11 |   241570 |    20744 |    78347      0 |      148 |      146
348.42/348.53	c  346s |      11 |   243403 |    20944 |    78347      0 |      148 |      146
350.82/350.97	c  349s |      11 |   243628 |    21044 |    78347      0 |      148 |      146
353.41/353.50	c  351s |      11 |   243898 |    21144 |    78347      0 |      148 |      146
355.91/356.07	c  354s |      11 |   244202 |    21244 |    78347      0 |      148 |      146
358.31/358.47	c  356s |      11 |   245546 |    21444 |    78347      0 |      148 |      146
361.01/361.18	c  359s |      11 |   249631 |    21644 |    78347      0 |      148 |      146
363.31/363.44	c  361s |      11 |   250764 |    21844 |    78347      0 |      148 |      146
365.51/365.64	c  364s |      11 |   251415 |    22044 |    78347      0 |      148 |      146
368.81/368.92	c  367s |      11 |   253222 |    22244 |    78347      0 |      148 |      146
370.81/370.97	c  369s |      11 |   255075 |    22344 |    78347      0 |      148 |      146
373.11/373.29	c  371s |      11 |   258764 |    22544 |    78347      0 |      148 |      146
375.31/375.44	c  373s |      11 |   260269 |    22744 |    78347      0 |      148 |      146
378.41/378.57	c  376s |      11 |   263068 |    23044 |    78347      0 |      148 |      146
380.61/380.79	c  379s |      11 |   263875 |    23244 |    78347      0 |      148 |      146
382.71/382.88	c  381s |      11 |   264780 |    23344 |    78347      0 |      148 |      146
386.11/386.21	c  384s |      11 |   267903 |    23544 |    78347      0 |      148 |      146
389.20/389.38	c  387s |      11 |   268675 |    23744 |    78347      0 |      148 |      146
392.80/392.91	c  391s |      11 |   270053 |    23944 |    78347      0 |      148 |      146
395.00/395.11	c  393s |      11 |   270595 |    24044 |    78347      0 |      148 |      146
398.90/399.03	c  397s |      11 |   271207 |    24244 |    78347      0 |      148 |      146
400.99/401.10	c  399s |      11 |   271597 |    24344 |    78347      0 |      148 |      146
404.49/404.60	c  403s |      11 |   273904 |    24544 |    78347      0 |      148 |      146
408.29/408.45	c  406s |      11 |   275573 |    24744 |    78347      0 |      148 |      146
411.19/411.30	c  409s |      11 |   278060 |    24944 |    78347      0 |      148 |      146
415.09/415.28	c  413s |      11 |   279155 |    25144 |    78347      0 |      148 |      146
417.39/417.58	c  415s |      11 |   279866 |    25344 |    78347      0 |      148 |      146
420.29/420.42	c  418s |      11 |   280708 |    25544 |    78347      0 |      148 |      146
422.88/423.06	c  421s |      11 |   281656 |    25744 |    86182      0 |      148 |      146
423.88/424.05	c  422s |      12 |   281931 |    25819 |    86182      0 |      148 |      146
426.88/427.08	c  425s |      12 |   283064 |    26019 |    86182      0 |      148 |      146
428.99/429.13	c  427s |      12 |   287216 |    26119 |    86182      0 |      148 |      146
432.38/432.59	c  430s |      12 |   289203 |    26419 |    86182      0 |      148 |      146
436.69/436.86	c  435s |      12 |   290712 |    26619 |    86182      0 |      148 |      146
439.08/439.28	c  437s |      12 |   291061 |    26719 |    86182      0 |      148 |      146
442.57/442.78	c  441s |      12 |   291405 |    26919 |    86182      0 |      148 |      146
446.67/446.85	c  445s |      12 |   291751 |    27119 |    86182      0 |      148 |      146
449.37/449.53	c  447s |      12 |   292163 |    27219 |    86182      0 |      148 |      146
452.27/452.43	c  450s |      12 |   292419 |    27319 |    86182      0 |      148 |      146
454.67/454.83	c  453s |      12 |   292848 |    27419 |    86182      0 |      148 |      146
458.17/458.36	c  456s |      12 |   297003 |    27619 |    86182      0 |      148 |      146
460.47/460.65	c  459s |      12 |   298462 |    27719 |    86182      0 |      148 |      146
463.56/463.73	c  462s |      12 |   299666 |    27819 |    86182      0 |      148 |      146
466.56/466.72	c  465s |      12 |   300560 |    27919 |    86182      0 |      148 |      146
471.56/471.76	c  470s |      12 |   302751 |    28119 |    86182      0 |      148 |      146
473.76/473.95	c  472s |      12 |   303406 |    28219 |    86182      0 |      148 |      146
476.27/476.44	c  474s |      12 |   304087 |    28319 |    86182      0 |      148 |      146
478.76/478.97	c  477s |      12 |   304725 |    28419 |    86182      0 |      148 |      146
481.66/481.85	c  480s |      12 |   305081 |    28519 |    86182      0 |      148 |      146
484.17/484.34	c  482s |      12 |   305632 |    28619 |    86182      0 |      148 |      146
487.27/487.44	c  485s |      12 |   306114 |    28719 |    86182      0 |      148 |      146
489.47/489.62	c  488s |      12 |   306817 |    28819 |    86182      0 |      148 |      146
491.67/491.82	c  490s |      12 |   306971 |    28919 |    86182      0 |      148 |      146
493.76/493.97	c  492s |      12 |   307103 |    29019 |    86182      0 |      148 |      146
496.07/496.29	c  494s |      12 |   307326 |    29119 |    86182      0 |      148 |      146
498.75/498.98	c  497s |      12 |   308318 |    29219 |    86182      0 |      148 |      146
500.95/501.11	c  499s |      12 |   308777 |    29319 |    86182      0 |      148 |      146
503.45/503.69	c  502s |      12 |   308892 |    29419 |    86182      0 |      148 |      146
505.55/505.74	c  504s |      12 |   309017 |    29519 |    86182      0 |      148 |      146
507.95/508.20	c  506s |      12 |   309135 |    29619 |    86182      0 |      148 |      146
510.65/510.86	c  509s |      12 |   309458 |    29719 |    86182      0 |      148 |      146
513.05/513.25	c  511s |      12 |   309566 |    29819 |    86182      0 |      148 |      146
515.05/515.25	c  513s |      12 |   309808 |    29919 |    86182      0 |      148 |      146
519.24/519.42	c  517s |      12 |   310094 |    30119 |    86182      0 |      148 |      146
521.64/521.86	c  520s |      12 |   310463 |    30219 |    86182      0 |      148 |      146
524.04/524.22	c  522s |      12 |   312805 |    30319 |    86182      0 |      148 |      146
526.24/526.41	c  524s |      12 |   313690 |    30419 |    86182      0 |      148 |      146
528.43/528.61	c  527s |      12 |   314876 |    30519 |    86182      0 |      148 |      146
531.03/531.29	c  529s |      12 |   315562 |    30719 |    86182      0 |      148 |      146
533.23/533.46	c  531s |      12 |   316186 |    30819 |    86182      0 |      148 |      146
536.74/536.96	c  535s |      12 |   319179 |    31019 |    86182      0 |      148 |      146
539.73/539.94	c  538s |      12 |   320297 |    31319 |    86182      0 |      148 |      146
542.73/542.93	c  541s |      12 |   321861 |    31519 |    86182      0 |      148 |      146
545.63/545.83	c  544s |      12 |   323039 |    31719 |    86182      0 |      148 |      146
548.13/548.35	c  546s |      12 |   326258 |    31919 |    86182      0 |      148 |      146
551.04/551.28	c  549s |      12 |   330369 |    32119 |    86182      0 |      148 |      146
553.33/553.51	c  551s |      12 |   330778 |    32219 |    86182      0 |      148 |      146
557.33/557.57	c  555s |      12 |   332778 |    32419 |    86182      0 |      148 |      146
559.83/560.05	c  558s |      12 |   333792 |    32519 |    86182      0 |      148 |      146
561.93/562.16	c  560s |      12 |   335020 |    32619 |    86182      0 |      148 |      146
564.52/564.74	c  563s |      12 |   335547 |    32719 |    86182      0 |      148 |      146
568.22/568.44	c  566s |      12 |   338660 |    32919 |    86182      0 |      148 |      146
572.32/572.51	c  570s |      12 |   341040 |    33119 |    86182      0 |      148 |      146
575.02/575.23	c  573s |      12 |   341273 |    33219 |    86182      0 |      148 |      146
578.53/578.72	c  577s |      12 |   341639 |    33319 |    86182      0 |      148 |      146
581.92/582.13	c  580s |      12 |   342143 |    33419 |    86182      0 |      148 |      146
584.82/585.01	c  583s |      12 |   342396 |    33519 |    86182      0 |      148 |      146
587.23/587.44	c  585s |      12 |   342568 |    33619 |    86182      0 |      148 |      146
590.42/590.62	c  589s |      12 |   343769 |    33819 |    86182      0 |      148 |      146
593.22/593.41	c  591s |      12 |   344248 |    33919 |    86182      0 |      148 |      146
595.62/595.83	c  594s |      12 |   345647 |    34019 |    86182      0 |      148 |      146
598.02/598.22	c  596s |      12 |   349087 |    34319 |    86182      0 |      148 |      146
600.12/600.33	c  598s |      12 |   349837 |    34519 |    86182      0 |      148 |      146
603.32/603.52	c  601s |      12 |   352096 |    34719 |    86182      0 |      148 |      146
605.92/606.10	c  604s |      12 |   352599 |    34819 |    86182      0 |      148 |      146
609.22/609.47	c  607s |      12 |   353395 |    35019 |    86182      0 |      148 |      146
612.52/612.75	c  611s |      12 |   354403 |    35219 |    86182      0 |      148 |      146
615.71/615.90	c  614s |      12 |   355555 |    35419 |    86182      0 |      148 |      146
618.61/618.87	c  617s |      12 |   357179 |    35619 |    86182      0 |      148 |      146
621.61/621.83	c  620s |      12 |   358340 |    35819 |    86182      0 |      148 |      146
623.91/624.12	c  622s |      12 |   359409 |    35919 |    86182      0 |      148 |      146
626.31/626.52	c  624s |      12 |   360837 |    36119 |    86182      0 |      148 |      146
629.81/630.02	c  628s |      12 |   362029 |    36319 |    86182      0 |      148 |      146
632.11/632.39	c  630s |      12 |   363245 |    36519 |    86182      0 |      148 |      146
634.71/634.93	c  633s |      12 |   363593 |    36719 |    86182      0 |      148 |      146
638.51/638.75	c  637s |      12 |   364889 |    36919 |    86182      0 |      148 |      146
643.01/643.23	c  641s |      12 |   366998 |    37119 |    86182      0 |      148 |      146
645.61/645.86	c  644s |      12 |   367829 |    37319 |    86182      0 |      148 |      146
649.01/649.20	c  647s |      12 |   368643 |    37519 |    86182      0 |      148 |      146
652.81/653.01	c  651s |      12 |   369174 |    37719 |    86182      0 |      148 |      146
655.01/655.24	c  653s |      12 |   369319 |    37819 |    86182      0 |      148 |      146
657.21/657.49	c  655s |      12 |   369587 |    37919 |    86182      0 |      148 |      146
659.31/659.52	c  657s |      12 |   369728 |    38019 |    86182      0 |      148 |      146
661.51/661.70	c  660s |      12 |   370308 |    38119 |    86182      0 |      148 |      146
665.41/665.66	c  664s |      12 |   371874 |    38319 |    86182      0 |      148 |      146
667.51/667.79	c  666s |      12 |   373088 |    38419 |    86182      0 |      148 |      146
669.71/669.99	c  668s |      12 |   376104 |    38619 |    94801      0 |      148 |      146
672.80/673.07	c  671s |      12 |   377497 |    38819 |    94801      0 |      148 |      146
673.01/673.24	c  671s |      13 |   377536 |    38832 |    94801      0 |      148 |      146
677.00/677.21	c  675s |      13 |   379774 |    39032 |    94801      0 |      148 |      146
679.50/679.72	c  678s |      13 |   380852 |    39132 |    94801      0 |      148 |      146
683.50/683.78	c  682s |      13 |   382035 |    39232 |    94801      0 |      148 |      146
687.41/687.63	c  686s |      13 |   383490 |    39332 |    94801      0 |      148 |      146
690.50/690.77	c  689s |      13 |   385219 |    39432 |    94801      0 |      148 |      146
694.41/694.68	c  693s |      13 |   386981 |    39532 |    94801      0 |      148 |      146
698.11/698.31	c  696s |      13 |   388360 |    39632 |    94801      0 |      148 |      146
701.81/702.06	c  700s |      13 |   388629 |    39732 |    94801      0 |      148 |      146
705.71/705.96	c  704s |      13 |   388926 |    39832 |    94801      0 |      148 |      146
708.91/709.15	c  707s |      13 |   389734 |    39932 |    94801      0 |      148 |      146
712.10/712.31	c  710s |      13 |   391033 |    40032 |    94801      0 |      148 |      146
714.30/714.59	c  712s |      13 |   392313 |    40132 |    94801      0 |      148 |      146
718.00/718.23	c  716s |      13 |   393874 |    40232 |    94801      0 |      148 |      146
722.70/722.93	c  721s |      13 |   395451 |    40432 |    94801      0 |      148 |      146
724.99/725.27	c  723s |      13 |   396099 |    40532 |    94801      0 |      148 |      146
727.09/727.32	c  725s |      13 |   396566 |    40632 |    94801      0 |      148 |      146
729.29/729.50	c  727s |      13 |   397376 |    40732 |    94801      0 |      148 |      146
732.19/732.44	c  730s |      13 |   397559 |    40832 |    94801      0 |      148 |      146
734.70/734.93	c  733s |      13 |   398027 |    40932 |    94801      0 |      148 |      146
737.69/737.99	c  736s |      13 |   398240 |    41032 |    94801      0 |      148 |      146
739.99/740.25	c  738s |      13 |   398878 |    41132 |    94801      0 |      148 |      146
743.50/743.76	c  742s |      13 |   399269 |    41232 |    94801      0 |      148 |      146
746.59/746.81	c  745s |      13 |   399732 |    41332 |    94801      0 |      148 |      146
750.49/750.76	c  749s |      13 |   400755 |    41432 |    94801      0 |      148 |      146
753.40/753.64	c  752s |      13 |   400983 |    41532 |    94801      0 |      148 |      146
755.89/756.18	c  754s |      13 |   401591 |    41632 |    94801      0 |      148 |      146
758.38/758.69	c  757s |      13 |   402192 |    41732 |    94801      0 |      148 |      146
761.78/762.05	c  760s |      13 |   405027 |    41932 |    94801      0 |      148 |      146
765.58/765.82	c  764s |      13 |   408441 |    42132 |    94801      0 |      148 |      146
767.98/768.21	c  766s |      13 |   409090 |    42232 |    94801      0 |      148 |      146
770.38/770.68	c  769s |      13 |   410575 |    42332 |    94801      0 |      148 |      146
774.08/774.32	c  772s |      13 |   414067 |    42532 |    94801      0 |      148 |      146
777.28/777.52	c  775s |      13 |   417240 |    42732 |    94801      0 |      148 |      146
779.68/779.94	c  778s |      13 |   418619 |    42832 |    94801      0 |      148 |      146
784.67/784.98	c  783s |      13 |   421470 |    43032 |    94801      0 |      148 |      146
788.17/788.41	c  786s |      13 |   422113 |    43132 |    94801      0 |      148 |      146
791.78/792.05	c  790s |      13 |   423115 |    43232 |    94801      0 |      148 |      146
794.47/794.76	c  793s |      13 |   424692 |    43332 |    94801      0 |      148 |      146
798.06/798.33	c  796s |      13 |   425371 |    43432 |    94801      0 |      148 |      146
802.16/802.49	c  800s |      13 |   425774 |    43532 |    94801      0 |      148 |      146
805.36/805.60	c  804s |      13 |   426610 |    43632 |    94801      0 |      148 |      146
807.76/808.04	c  806s |      13 |   427238 |    43732 |    94801      0 |      148 |      146
813.16/813.40	c  811s |      13 |   427897 |    43832 |    94801      0 |      148 |      146
818.46/818.73	c  817s |      13 |   428189 |    43932 |    94801      0 |      148 |      146
823.55/823.89	c  822s |      13 |   428526 |    44032 |    94801      0 |      148 |      146
827.85/828.13	c  826s |      13 |   428802 |    44132 |    94801      0 |      148 |      146
831.75/832.07	c  830s |      13 |   429052 |    44232 |    94801      0 |      148 |      146
835.15/835.42	c  833s |      13 |   429221 |    44332 |    94801      0 |      148 |      146
837.25/837.53	c  835s |      13 |   429612 |    44432 |    94801      0 |      148 |      146
839.85/840.14	c  838s |      13 |   429991 |    44532 |    94801      0 |      148 |      146
842.36/842.63	c  841s |      13 |   430495 |    44632 |    94801      0 |      148 |      146
844.95/845.27	c  843s |      13 |   430746 |    44732 |    94801      0 |      148 |      146
847.65/847.97	c  846s |      13 |   431415 |    44832 |    94801      0 |      148 |      146
851.05/851.30	c  849s |      13 |   432324 |    44932 |    94801      0 |      148 |      146
854.95/855.28	c  853s |      13 |   433082 |    45032 |    94801      0 |      148 |      146
858.04/858.39	c  856s |      13 |   433939 |    45132 |    94801      0 |      148 |      146
860.44/860.75	c  859s |      13 |   434595 |    45232 |    94801      0 |      148 |      146
863.84/864.13	c  862s |      13 |   435251 |    45332 |    94801      0 |      148 |      146
866.34/866.60	c  865s |      13 |   435587 |    45432 |    94801      0 |      148 |      146
869.24/869.51	c  867s |      13 |   436351 |    45532 |    94801      0 |      148 |      146
872.84/873.19	c  871s |      13 |   437419 |    45732 |    94801      0 |      148 |      146
875.15/875.48	c  873s |      13 |   437700 |    45832 |    94801      0 |      148 |      146
877.45/877.78	c  876s |      13 |   439344 |    45932 |    94801      0 |      148 |      146
880.75/881.10	c  879s |      13 |   442507 |    46132 |    94801      0 |      148 |      146
883.65/883.92	c  882s |      13 |   443117 |    46232 |    94801      0 |      148 |      146
886.55/886.80	c  885s |      13 |   443422 |    46332 |    94801      0 |      148 |      146
890.14/890.44	c  888s |      13 |   443798 |    46432 |    94801      0 |      148 |      146
893.24/893.59	c  891s |      13 |   443984 |    46532 |    94801      0 |      148 |      146
897.04/897.36	c  895s |      13 |   444468 |    46632 |    94801      0 |      148 |      146
901.34/901.64	c  900s |      13 |   444679 |    46732 |    94801      0 |      148 |      146
906.34/906.70	c  905s |      13 |   444806 |    46832 |    94801      0 |      148 |      146
910.74/911.09	c  909s |      13 |   444946 |    46932 |    94801      0 |      148 |      146
916.44/916.74	c  915s |      13 |   445080 |    47032 |    94801      0 |      148 |      146
920.94/921.24	c  919s |      13 |   445212 |    47132 |    94801      0 |      148 |      146
925.34/925.66	c  924s |      13 |   445351 |    47232 |    94801      0 |      148 |      146
928.54/928.83	c  927s |      13 |   445710 |    47332 |    94801      0 |      148 |      146
932.54/932.83	c  931s |      13 |   446066 |    47432 |    94801      0 |      148 |      146
936.14/936.44	c  934s |      13 |   446630 |    47532 |    94801      0 |      148 |      146
939.94/940.29	c  938s |      13 |   447344 |    47632 |    94801      0 |      148 |      146
943.74/944.06	c  942s |      13 |   447863 |    47732 |    94801      0 |      148 |      146
949.63/949.97	c  948s |      13 |   448043 |    47832 |    94801      0 |      148 |      146
953.93/954.24	c  952s |      13 |   448471 |    47932 |    94801      0 |      148 |      146
961.43/961.73	c  960s |      13 |   448738 |    48032 |    94801      0 |      148 |      146
966.23/966.54	c  964s |      13 |   449236 |    48132 |    94801      0 |      148 |      146
971.53/971.81	c  970s |      13 |   449603 |    48232 |    94801      0 |      148 |      146
976.64/976.97	c  975s |      13 |   450049 |    48332 |    94801      0 |      148 |      146
981.93/982.30	c  980s |      13 |   450210 |    48432 |    94801      0 |      148 |      146
987.93/988.25	c  986s |      13 |   450559 |    48532 |    94801      0 |      148 |      146
991.23/991.50	c  989s |      13 |   451104 |    48632 |    94801      0 |      148 |      146
995.83/996.10	c  994s |      13 |   451413 |    48732 |    94801      0 |      148 |      146
999.33/999.66	c  998s |      13 |   452008 |    48832 |    94801      0 |      148 |      146
1001.52/1001.89	c 1000s |      13 |   452622 |    48932 |    94801      0 |      148 |      146
1005.32/1005.69	c 1004s |      13 |   453200 |    49032 |    94801      0 |      148 |      146
1007.52/1007.81	c 1006s |      13 |   454585 |    49132 |    94801      0 |      148 |      146
1013.52/1013.87	c 1012s |      13 |   455135 |    49232 |    94801      0 |      148 |      146
1017.92/1018.24	c 1016s |      13 |   455521 |    49332 |    94801      0 |      148 |      146
1025.12/1025.47	c 1023s |      13 |   455975 |    49432 |    94801      0 |      148 |      146
1032.02/1032.33	c 1030s |      13 |   456191 |    49532 |    94801      0 |      148 |      146
1037.62/1037.94	c 1036s |      13 |   456822 |    49632 |    94801      0 |      148 |      146
1040.52/1040.82	c 1039s |      13 |   457610 |    49732 |    94801      0 |      148 |      146
1045.12/1045.44	c 1043s |      13 |   457828 |    49832 |    94801      0 |      148 |      146
1051.62/1051.96	c 1050s |      13 |   458161 |    49932 |    94801      0 |      148 |      146
1058.81/1059.19	c 1057s |      13 |   458765 |    50032 |    94801      0 |      148 |      146
1061.81/1062.13	c 1060s |      13 |   460601 |    50132 |    94801      0 |      148 |      146
1064.91/1065.20	c 1063s |      13 |   461589 |    50232 |    94801      0 |      148 |      146
1072.32/1072.64	c 1071s |      13 |   462560 |    50432 |    94801      0 |      148 |      146
1078.11/1078.43	c 1076s |      13 |   462938 |    50532 |    94801      0 |      148 |      146
1085.91/1086.27	c 1084s |      13 |   463295 |    50632 |    94801      0 |      148 |      146
1093.22/1093.56	c 1091s |      13 |   463459 |    50732 |    94801      0 |      148 |      146
1101.41/1101.74	c 1100s |      13 |   463591 |    50832 |    94801      0 |      148 |      146
1107.61/1107.99	c 1106s |      13 |   463776 |    50932 |    94801      0 |      148 |      146
1113.81/1114.14	c 1112s |      13 |   464065 |    51032 |    94801      0 |      148 |      146
1121.60/1121.92	c 1120s |      13 |   464439 |    51132 |    94801      0 |      148 |      146
1128.70/1129.05	c 1127s |      13 |   464730 |    51232 |    94801      0 |      148 |      146
1135.50/1135.89	c 1134s |      13 |   465095 |    51332 |    94801      0 |      148 |      146
1143.50/1143.86	c 1142s |      13 |   465315 |    51432 |    94801      0 |      148 |      146
1149.40/1149.79	c 1148s |      13 |   466125 |    51532 |    94801      0 |      148 |      146
1155.50/1155.85	c 1154s |      13 |   467048 |    51632 |    94801      0 |      148 |      146
1160.50/1160.90	c 1159s |      13 |   467775 |    51732 |    94801      0 |      148 |      146
1166.19/1166.53	c 1164s |      13 |   468180 |    51832 |    94801      0 |      148 |      146
1171.69/1172.06	c 1170s |      13 |   468655 |    51932 |    94801      0 |      148 |      146
1180.29/1180.63	c 1179s |      13 |   469000 |    52032 |    94801      0 |      148 |      146
1186.70/1187.02	c 1185s |      13 |   469590 |    52132 |    94801      0 |      148 |      146
1191.29/1191.68	c 1190s |      13 |   470470 |    52232 |    94801      0 |      148 |      146
1193.39/1193.73	c 1192s |      13 |   470773 |    52332 |    94801      0 |      148 |      146
1195.69/1196.05	c 1194s |      13 |   471000 |    52432 |    94801      0 |      148 |      146
1201.29/1201.61	c 1200s |      13 |   471431 |    52532 |    94801      0 |      148 |      146
1205.69/1206.07	c 1204s |      13 |   471592 |    52632 |    94801      0 |      148 |      146
1208.29/1208.69	c 1207s |      13 |   471968 |    52732 |    94801      0 |      148 |      146
1212.29/1212.69	c 1211s |      13 |   472118 |    52832 |    94801      0 |      148 |      146
1216.19/1216.52	c 1214s |      13 |   472363 |    52932 |    94801      0 |      148 |      146
1220.29/1220.61	c 1219s |      13 |   473292 |    53132 |    94801      0 |      148 |      146
1223.39/1223.76	c 1222s |      13 |   474395 |    53232 |    94801      0 |      148 |      146
1225.78/1226.16	c 1224s |      13 |   474637 |    53332 |    94801      0 |      148 |      146
1230.28/1230.61	c 1229s |      13 |   475855 |    53532 |    94801      0 |      148 |      146
1232.68/1233.06	c 1231s |      13 |   476272 |    53632 |    94801      0 |      148 |      146
1237.08/1237.49	c 1235s |      13 |   476570 |    53732 |    94801      0 |      148 |      146
1241.18/1241.58	c 1239s |      13 |   476751 |    53832 |    94801      0 |      148 |      146
1247.38/1247.71	c 1246s |      13 |   476925 |    53932 |    94801      0 |      148 |      146
1253.38/1253.79	c 1252s |      13 |   477333 |    54032 |    94801      0 |      148 |      146
1257.18/1257.52	c 1255s |      13 |   477689 |    54132 |    94801      0 |      148 |      146
1260.88/1261.23	c 1259s |      13 |   478169 |    54232 |    94801      0 |      148 |      146
1265.08/1265.42	c 1263s |      13 |   478549 |    54332 |    94801      0 |      148 |      146
1267.78/1268.19	c 1266s |      13 |   479175 |    54432 |    94801      0 |      148 |      146
1270.08/1270.40	c 1268s |      13 |   479879 |    54532 |    94801      0 |      148 |      146
1273.28/1273.62	c 1272s |      13 |   481347 |    54732 |    94801      0 |      148 |      146
1278.78/1279.11	c 1277s |      13 |   482580 |    54932 |    94801      0 |      148 |      146
1281.88/1282.25	c 1280s |      13 |   483494 |    55032 |    94801      0 |      148 |      146
1284.38/1284.78	c 1283s |      13 |   483979 |    55132 |    94801      0 |      148 |      146
1288.58/1288.95	c 1287s |      13 |   484799 |    55332 |    94801      0 |      148 |      146
1291.09/1291.44	c 1289s |      13 |   485645 |    55432 |    94801      0 |      148 |      146
1294.49/1294.85	c 1293s |      13 |   486425 |    55632 |    94801      0 |      148 |      146
1296.98/1297.31	c 1295s |      13 |   487884 |    55832 |    94801      0 |      148 |      146
1299.58/1299.90	c 1298s |      13 |   488491 |    55932 |    94801      0 |      148 |      146
1302.38/1302.76	c 1301s |      13 |   488754 |    56032 |    94801      0 |      148 |      146
1305.08/1305.47	c 1303s |      13 |   489978 |    56232 |    94801      0 |      148 |      146
1311.38/1311.79	c 1310s |      13 |   490270 |    56332 |    94801      0 |      148 |      146
1316.87/1317.29	c 1315s |      13 |   490665 |    56432 |    94801      0 |      148 |      146
1325.28/1325.68	c 1324s |      13 |   491374 |    56532 |    94801      0 |      148 |      146
1332.07/1332.43	c 1330s |      13 |   491674 |    56632 |    94801      0 |      148 |      146
1335.87/1336.25	c 1334s |      13 |   492066 |    56732 |    94801      0 |      148 |      146
1337.97/1338.31	c 1336s |      13 |   492214 |    56832 |    94801      0 |      148 |      146
1341.17/1341.58	c 1339s |      13 |   493026 |    57032 |    94801      0 |      148 |      146
1344.77/1345.16	c 1343s |      13 |   493565 |    57132 |    94801      0 |      148 |      146
1346.87/1347.23	c 1345s |      13 |   493927 |    57232 |    94801      0 |      148 |      146
1352.87/1353.22	c 1351s |      13 |   495596 |    57432 |    94801      0 |      148 |      146
1359.97/1360.39	c 1358s |      13 |   495885 |    57532 |    94801      0 |      148 |      146
1364.27/1364.61	c 1363s |      13 |   497054 |    57632 |    94801      0 |      148 |      146
1369.37/1369.71	c 1368s |      13 |   498747 |    57832 |    94801      0 |      148 |      146
1374.47/1374.81	c 1373s |      13 |   499391 |    57932 |    94801      0 |      148 |      146
1378.76/1379.19	c 1377s |      13 |   499770 |    58032 |   104282      0 |      148 |      146
1384.26/1384.69	c 1383s |      13 |   500620 |    58132 |   104282      0 |      148 |      146
1388.26/1388.67	c 1387s |      13 |   501235 |    58332 |   104282      0 |      148 |      146
1388.46/1388.81	c 1387s |      14 |   501253 |    58352 |   104282      0 |      148 |      146
1391.06/1391.45	c 1389s |      14 |   502338 |    58552 |   104282      0 |      148 |      146
1394.16/1394.57	c 1392s |      14 |   503036 |    58652 |   104282      0 |      148 |      146
1397.06/1397.41	c 1395s |      14 |   503645 |    58752 |   104282      0 |      148 |      146
1399.36/1399.72	c 1398s |      14 |   504241 |    58852 |   104282      0 |      148 |      146
1402.46/1402.88	c 1401s |      14 |   504806 |    58952 |   104282      0 |      148 |      146
1407.26/1407.63	c 1406s |      14 |   505253 |    59052 |   104282      0 |      148 |      146
1410.36/1410.75	c 1409s |      14 |   505733 |    59152 |   104282      0 |      148 |      146
1412.86/1413.28	c 1411s |      14 |   506018 |    59252 |   104282      0 |      148 |      146
1418.16/1418.54	c 1416s |      14 |   507597 |    59452 |   104282      0 |      148 |      146
1421.86/1422.26	c 1420s |      14 |   509730 |    59652 |   104282      0 |      148 |      146
1424.06/1424.45	c 1422s |      14 |   510572 |    59752 |   104282      0 |      148 |      146
1426.16/1426.59	c 1424s |      14 |   511726 |    60052 |   104282      0 |      148 |      146
1429.35/1429.75	c 1428s |      14 |   513000 |    60252 |   104282      0 |      148 |      146
1431.75/1432.14	c 1430s |      14 |   514181 |    60452 |   104282      0 |      148 |      146
1433.85/1434.25	c 1432s |      14 |   515180 |    60652 |   104282      0 |      148 |      146
1436.05/1436.47	c 1434s |      14 |   517377 |    60852 |   104282      0 |      148 |      146
1439.05/1439.41	c 1437s |      14 |   518173 |    61052 |   104282      0 |      148 |      146
1442.25/1442.62	c 1441s |      14 |   519007 |    61252 |   104282      0 |      148 |      146
1445.85/1446.24	c 1444s |      14 |   519613 |    61452 |   104282      0 |      148 |      146
1449.57/1449.95	c 1448s |      14 |   520142 |    61652 |   104282      0 |      148 |      146
1452.76/1453.16	c 1451s |      14 |   520672 |    61852 |   104282      0 |      148 |      146
1456.66/1457.04	c 1455s |      14 |   520938 |    62052 |   104282      0 |      148 |      146
1460.46/1460.90	c 1459s |      14 |   522049 |    62252 |   104282      0 |      148 |      146
1465.46/1465.81	c 1464s |      14 |   523349 |    62552 |   104282      0 |      148 |      146
1468.26/1468.63	c 1467s |      14 |   523834 |    62652 |   104282      0 |      148 |      146
1471.66/1472.05	c 1470s |      14 |   524485 |    62752 |   104282      0 |      148 |      146
1475.25/1475.63	c 1474s |      14 |   526064 |    62952 |   104282      0 |      148 |      146
1478.16/1478.55	c 1476s |      14 |   527493 |    63152 |   104282      0 |      148 |      146
1480.65/1481.02	c 1479s |      14 |   528343 |    63352 |   104282      0 |      148 |      146
1483.56/1483.97	c 1482s |      14 |   529442 |    63652 |   104282      0 |      148 |      146
1486.65/1487.03	c 1485s |      14 |   530418 |    63852 |   104282      0 |      148 |      146
1488.65/1489.08	c 1487s |      14 |   531216 |    63952 |   104282      0 |      148 |      146
1491.05/1491.41	c 1489s |      14 |   531993 |    64052 |   104282      0 |      148 |      146
1493.25/1493.62	c 1492s |      14 |   532715 |    64152 |   104282      0 |      148 |      146
1495.35/1495.73	c 1494s |      14 |   532896 |    64252 |   104282      0 |      148 |      146
1498.85/1499.21	c 1497s |      14 |   533877 |    64452 |   104282      0 |      148 |      146
1501.65/1502.09	c 1500s |      14 |   534079 |    64552 |   104282      0 |      148 |      146
1504.85/1505.20	c 1503s |      14 |   535084 |    64752 |   104282      0 |      148 |      146
1507.65/1508.04	c 1506s |      14 |   535842 |    64952 |   104282      0 |      148 |      146
1510.25/1510.61	c 1509s |      14 |   538079 |    65152 |   104282      0 |      148 |      146
1512.75/1513.17	c 1511s |      14 |   538976 |    65352 |   104282      0 |      148 |      146
1515.64/1516.01	c 1514s |      14 |   540277 |    65652 |   104282      0 |      148 |      146
1518.44/1518.82	c 1517s |      14 |   541290 |    65852 |   104282      0 |      148 |      146
1520.95/1521.36	c 1519s |      14 |   542415 |    66152 |   104282      0 |      148 |      146
1523.54/1524.00	c 1522s |      14 |   542971 |    66452 |   104282      0 |      148 |      146
1525.64/1526.07	c 1524s |      14 |   543482 |    66652 |   104282      0 |      148 |      146
1528.94/1529.35	c 1527s |      14 |   544572 |    66852 |   104282      0 |      148 |      146
1531.04/1531.43	c 1529s |      14 |   545129 |    66952 |   104282      0 |      148 |      146
1534.25/1534.65	c 1533s |      14 |   545625 |    67052 |   104282      0 |      148 |      146
1536.74/1537.13	c 1535s |      14 |   546993 |    67252 |   104282      0 |      148 |      146
1540.04/1540.42	c 1538s |      14 |   547877 |    67452 |   104282      0 |      151 |      148
1543.44/1543.86	c 1542s |      14 |   549126 |    67652 |   104282      0 |      151 |      148
1549.84/1550.23	c 1548s |      14 |   549284 |    67752 |   104282      0 |      151 |      148
1555.44/1555.85	c 1554s |      14 |   550207 |    67852 |   104282      0 |      151 |      148
1561.34/1561.76	c 1560s |      14 |   550627 |    67952 |   104282      0 |      151 |      148
1566.24/1566.60	c 1565s |      14 |   551382 |    68052 |   104282      0 |      151 |      148
1570.14/1570.55	c 1568s |      14 |   551974 |    68152 |   104282      0 |      151 |      148
1574.04/1574.45	c 1572s |      14 |   553082 |    68352 |   104282      0 |      151 |      148
1576.94/1577.31	c 1575s |      14 |   553316 |    68452 |   104282      0 |      151 |      148
1579.63/1580.09	c 1578s |      14 |   553644 |    68552 |   104282      0 |      151 |      148
1582.83/1583.22	c 1581s |      14 |   554343 |    68652 |   104282      0 |      151 |      148
1587.73/1588.12	c 1586s |      14 |   554790 |    68752 |   104282      0 |      151 |      148
1592.44/1592.83	c 1591s |      14 |   555047 |    68852 |   104282      0 |      151 |      148
1597.63/1598.00	c 1596s |      14 |   556464 |    69052 |   104282      0 |      151 |      148
1600.24/1600.66	c 1599s |      14 |   557211 |    69252 |   104282      0 |      151 |      148
1602.53/1602.91	c 1601s |      14 |   557672 |    69352 |   104282      0 |      151 |      148
1605.93/1606.30	c 1604s |      14 |   558325 |    69552 |   104282      0 |      151 |      148
1609.23/1609.60	c 1608s |      14 |   558716 |    69752 |   104282      0 |      151 |      148
1611.83/1612.27	c 1610s |      14 |   559136 |    69852 |   104282      0 |      151 |      148
1614.73/1615.10	c 1613s |      14 |   559510 |    70052 |   104282      0 |      151 |      148
1618.63/1619.04	c 1617s |      14 |   560138 |    70252 |   104282      0 |      151 |      148
1621.23/1621.70	c 1620s |      14 |   560530 |    70352 |   104282      0 |      151 |      148
1623.53/1623.91	c 1622s |      14 |   560815 |    70452 |   104282      0 |      151 |      148
1626.33/1626.77	c 1625s |      14 |   561239 |    70552 |   104282      0 |      151 |      148
1631.83/1632.26	c 1630s |      14 |   561491 |    70652 |   104282      0 |      151 |      148
1637.23/1637.64	c 1636s |      14 |   561723 |    70752 |   104282      0 |      151 |      148
1643.92/1644.34	c 1642s |      14 |   561897 |    70852 |   104282      0 |      151 |      148
1651.42/1651.80	c 1650s |      14 |   562019 |    70952 |   104282      0 |      151 |      148
1658.02/1658.43	c 1656s |      14 |   562481 |    71052 |   104282      0 |      151 |      148
1661.83/1662.25	c 1660s |      14 |   563532 |    71252 |   104282      0 |      151 |      148
1667.72/1668.19	c 1666s |      14 |   564140 |    71352 |   104282      0 |      151 |      148
1672.22/1672.68	c 1671s |      14 |   564774 |    71452 |   104282      0 |      151 |      148
1678.52/1678.98	c 1677s |      14 |   565469 |    71652 |   104282      0 |      151 |      148
1680.62/1681.00	c 1679s |      14 |   565855 |    71752 |   104282      0 |      151 |      148
1683.22/1683.68	c 1682s |      14 |   566190 |    71852 |   104282      0 |      151 |      148
1685.52/1685.92	c 1684s |      14 |   566447 |    71952 |   104282      0 |      151 |      148
1689.22/1689.65	c 1688s |      14 |   566738 |    72052 |   104282      0 |      151 |      148
1692.62/1693.08	c 1691s |      14 |   566921 |    72152 |   104282      0 |      151 |      148
1695.62/1696.03	c 1694s |      14 |   567097 |    72252 |   104282      0 |      151 |      148
1699.22/1699.63	c 1698s |      14 |   567611 |    72452 |   104282      0 |      151 |      148
1701.22/1701.66	c 1700s |      14 |   567817 |    72552 |   104282      0 |      151 |      148
1704.81/1705.22	c 1703s |      14 |   568145 |    72652 |   104282      0 |      151 |      148
1710.01/1710.46	c 1708s |      14 |   568364 |    72752 |   104282      0 |      151 |      148
1714.52/1714.99	c 1713s |      14 |   568689 |    72852 |   104282      0 |      151 |      148
1717.21/1717.69	c 1716s |      14 |   568995 |    72952 |   104282      0 |      151 |      148
1722.11/1722.58	c 1720s |      14 |   569370 |    73052 |   104282      0 |      151 |      148
1725.62/1726.03	c 1724s |      14 |   569517 |    73152 |   104282      0 |      151 |      148
1729.71/1730.13	c 1728s |      14 |   569715 |    73252 |   104282      0 |      151 |      148
1736.11/1736.55	c 1734s |      14 |   570081 |    73352 |   104282      0 |      151 |      148
1739.82/1740.28	c 1738s |      14 |   570336 |    73452 |   104282      0 |      151 |      148
1746.51/1746.97	c 1745s |      14 |   570513 |    73552 |   104282      0 |      151 |      148
1751.61/1752.00	c 1750s |      14 |   570848 |    73652 |   104282      0 |      151 |      148
1756.50/1756.93	c 1755s |      14 |   571125 |    73752 |   104282      0 |      151 |      148
1759.62/1760.09	c 1758s |      14 |   571461 |    73852 |   104282      0 |      151 |      148
1765.22/1765.69	c 1764s |      14 |   571693 |    73952 |   104282      0 |      151 |      148
1768.11/1768.59	c 1766s |      14 |   572027 |    74052 |   104282      0 |      151 |      148
1770.72/1771.15	c 1769s |      14 |   572617 |    74152 |   104282      0 |      151 |      148
1777.21/1777.67	c 1776s |      14 |   572791 |    74252 |   104282      0 |      151 |      148
1783.71/1784.17	c 1782s |      14 |   573004 |    74352 |   104282      0 |      151 |      148
1788.41/1788.84	c 1787s |      14 |   573342 |    74452 |   104282      0 |      151 |      148
1794.41/1794.86	c 1793s |      14 |   573949 |    74652 |   104282      0 |      151 |      148
1797.11/1797.54	c 1795s |      14 |   574709 |    74752 |   104282      0 |      151 |      148

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

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

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


[startup+0 s]
/proc/loadavg: 1.45 1.92 1.88 3/171 21050
/proc/meminfo: memFree=31327748/32872528 swapFree=11196/354588
[pid=21050] ppid=21047 vsize=502204 CPUtime=0 cores=0,2,4,6
/proc/21050/stat : 21050 (toysat) R 21047 21050 21010 0 -1 4202496 1836 0 0 0 0 0 0 0 20 0 4 0 112623336 514256896 2197 33554432000 4194304 16246674 140735745295760 140735745295184 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21050/statm: 126319 2207 441 2943 0 123213 0
[pid=21050/tid=21053] ppid=21047 vsize=519612 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21053/stat : 21053 (toysat) S 21047 21050 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112623336 532082688 2265 33554432000 4194304 16246674 140735745295760 140266664078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21050/tid=21054] ppid=21047 vsize=524732 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21054/stat : 21054 (toysat) S 21047 21050 21010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 112623337 537325568 2282 33554432000 4194304 16246674 140735745295760 140266585435376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21050/tid=21055] ppid=21047 vsize=528828 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21055/stat : 21055 (toysat) S 21047 21050 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 112623337 541519872 2299 33554432000 4194304 16246674 140735745295760 140266574961840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 1.45 1.92 1.88 3/171 21050
/proc/meminfo: memFree=31327748/32872528 swapFree=11196/354588
[pid=21050] ppid=21047 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/21050/stat : 21050 (toysat) R 21047 21050 21010 0 -1 4202496 24032 0 0 0 5 4 0 0 20 0 4 0 112623336 1333334016 24331 33554432000 4194304 16246674 140735745295760 140735745295072 8057278 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21050/statm: 325521 24345 799 2943 0 322415 0
[pid=21050/tid=21053] ppid=21047 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21053/stat : 21053 (toysat) S 21047 21050 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112623336 1333334016 24353 33554432000 4194304 16246674 140735745295760 140266664078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21050/tid=21054] ppid=21047 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21054/stat : 21054 (toysat) S 21047 21050 21010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 112623337 1333334016 24362 33554432000 4194304 16246674 140735745295760 140266585435376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21050/tid=21055] ppid=21047 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21055/stat : 21055 (toysat) S 21047 21050 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112623337 1333334016 24362 33554432000 4194304 16246674 140735745295760 140266574961840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200483 s]
/proc/loadavg: 1.45 1.92 1.88 3/171 21050
/proc/meminfo: memFree=31327748/32872528 swapFree=11196/354588
[pid=21050] ppid=21047 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/21050/stat : 21050 (toysat) R 21047 21050 21010 0 -1 4202496 45621 0 0 0 12 7 0 0 20 0 4 0 112623336 1344868352 46431 33554432000 4194304 16246674 140735745295760 140735745295072 7361304 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21050/statm: 328337 46431 799 2943 0 325231 0
[pid=21050/tid=21053] ppid=21047 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21053/stat : 21053 (toysat) S 21047 21050 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112623336 1344868352 46431 33554432000 4194304 16246674 140735745295760 140266664078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21050/tid=21054] ppid=21047 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21054/stat : 21054 (toysat) S 21047 21050 21010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 112623337 1344868352 46431 33554432000 4194304 16246674 140735745295760 140266585435376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21050/tid=21055] ppid=21047 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21055/stat : 21055 (toysat) S 21047 21050 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112623337 1344868352 46431 33554432000 4194304 16246674 140735745295760 140266574961840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.30047 s]
/proc/loadavg: 1.45 1.92 1.88 3/171 21050
/proc/meminfo: memFree=31327748/32872528 swapFree=11196/354588
[pid=21050] ppid=21047 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/21050/stat : 21050 (toysat) R 21047 21050 21010 0 -1 4202496 56043 0 0 0 20 9 0 0 20 0 4 0 112623336 1344868352 56853 33554432000 4194304 16246674 140735745295760 140735745295072 13750803 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21050/statm: 328337 56853 799 2943 0 325231 0
[pid=21050/tid=21053] ppid=21047 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21053/stat : 21053 (toysat) S 21047 21050 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112623336 1344868352 56853 33554432000 4194304 16246674 140735745295760 140266664078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21050/tid=21054] ppid=21047 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21054/stat : 21054 (toysat) S 21047 21050 21010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 112623337 1344868352 56853 33554432000 4194304 16246674 140735745295760 140266585435376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21050/tid=21055] ppid=21047 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21055/stat : 21055 (toysat) S 21047 21050 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112623337 1344868352 56853 33554432000 4194304 16246674 140735745295760 140266574961840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700411 s]
/proc/loadavg: 1.45 1.92 1.88 3/171 21050
/proc/meminfo: memFree=31327748/32872528 swapFree=11196/354588
[pid=21050] ppid=21047 vsize=1315396 CPUtime=0.69 cores=0,2,4,6
/proc/21050/stat : 21050 (toysat) R 21047 21050 21010 0 -1 4202496 77563 0 0 0 58 11 0 0 20 0 4 0 112623336 1346965504 78373 33554432000 4194304 16246674 140735745295760 140735745293632 6165414 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21050/statm: 328849 78383 833 2943 0 325743 0
[pid=21050/tid=21053] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21053/stat : 21053 (toysat) S 21047 21050 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112623336 1346965504 78388 33554432000 4194304 16246674 140735745295760 140266664078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21050/tid=21054] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21054/stat : 21054 (toysat) S 21047 21050 21010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 78393 33554432000 4194304 16246674 140735745295760 140266585435376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21050/tid=21055] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21055/stat : 21055 (toysat) S 21047 21050 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 78399 33554432000 4194304 16246674 140735745295760 140266574961840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1315396

[startup+1.5004 s]
/proc/loadavg: 1.45 1.92 1.88 3/183 21063
/proc/meminfo: memFree=30136820/32872528 swapFree=11196/354588
[pid=21050] ppid=21047 vsize=1315396 CPUtime=1.49 cores=0,2,4,6
/proc/21050/stat : 21050 (toysat) R 21047 21050 21010 0 -1 4202496 216181 0 0 0 117 32 0 0 20 0 4 0 112623336 1346965504 216991 33554432000 4194304 16246674 140735745295760 140735745277632 4220897 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21050/statm: 328849 216991 833 2943 0 325743 0
[pid=21050/tid=21053] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21053/stat : 21053 (toysat) S 21047 21050 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112623336 1346965504 216991 33554432000 4194304 16246674 140735745295760 140266664078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21050/tid=21054] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21054/stat : 21054 (toysat) S 21047 21050 21010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 216991 33554432000 4194304 16246674 140735745295760 140266585435376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21050/tid=21055] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21055/stat : 21055 (toysat) S 21047 21050 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 216991 33554432000 4194304 16246674 140735745295760 140266574961840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1315396

[startup+3.10041 s]
/proc/loadavg: 1.49 1.92 1.88 3/183 21063
/proc/meminfo: memFree=29692148/32872528 swapFree=11196/354588
[pid=21050] ppid=21047 vsize=1315396 CPUtime=3.09 cores=0,2,4,6
/proc/21050/stat : 21050 (toysat) R 21047 21050 21010 0 -1 4202496 216244 0 0 0 277 32 0 0 20 0 4 0 112623336 1346965504 217054 33554432000 4194304 16246674 140735745295760 140735745277632 5827966 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21050/statm: 328849 217054 894 2943 0 325743 0
[pid=21050/tid=21053] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21053/stat : 21053 (toysat) S 21047 21050 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112623336 1346965504 217054 33554432000 4194304 16246674 140735745295760 140266664078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21050/tid=21054] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21054/stat : 21054 (toysat) S 21047 21050 21010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 217054 33554432000 4194304 16246674 140735745295760 140266585435376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21050/tid=21055] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21055/stat : 21055 (toysat) S 21047 21050 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 217054 33554432000 4194304 16246674 140735745295760 140266574961840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1315396

[startup+6.30036 s]
/proc/loadavg: 1.49 1.92 1.88 3/183 21063
/proc/meminfo: memFree=29145252/32872528 swapFree=11196/354588
[pid=21050] ppid=21047 vsize=1315396 CPUtime=6.29 cores=0,2,4,6
/proc/21050/stat : 21050 (toysat) R 21047 21050 21010 0 -1 4202496 269530 0 0 0 590 39 0 0 20 0 4 0 112623336 1346965504 270340 33554432000 4194304 16246674 140735745295760 140735745277632 13820935 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21050/statm: 328849 270340 894 2943 0 325743 0
[pid=21050/tid=21053] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21053/stat : 21053 (toysat) S 21047 21050 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112623336 1346965504 270340 33554432000 4194304 16246674 140735745295760 140266664078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21050/tid=21054] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21054/stat : 21054 (toysat) S 21047 21050 21010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270340 33554432000 4194304 16246674 140735745295760 140266585435376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21050/tid=21055] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21055/stat : 21055 (toysat) S 21047 21050 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270340 33554432000 4194304 16246674 140735745295760 140266574961840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1315396

[startup+12.7004 s]
/proc/loadavg: 1.57 1.92 1.88 3/183 21063
/proc/meminfo: memFree=29146036/32872528 swapFree=11196/354588
[pid=21050] ppid=21047 vsize=1315396 CPUtime=12.68 cores=0,2,4,6
/proc/21050/stat : 21050 (toysat) R 21047 21050 21010 0 -1 4202496 269532 0 0 0 1229 39 0 0 20 0 4 0 112623336 1346965504 270342 33554432000 4194304 16246674 140735745295760 140735745277632 12483636 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21050/statm: 328849 270342 896 2943 0 325743 0
[pid=21050/tid=21053] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21053/stat : 21053 (toysat) S 21047 21050 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112623336 1346965504 270342 33554432000 4194304 16246674 140735745295760 140266664078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21050/tid=21054] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21054/stat : 21054 (toysat) S 21047 21050 21010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270342 33554432000 4194304 16246674 140735745295760 140266585435376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21050/tid=21055] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21055/stat : 21055 (toysat) S 21047 21050 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270342 33554432000 4194304 16246674 140735745295760 140266574961840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1315396

[startup+25.5005 s]
/proc/loadavg: 1.63 1.92 1.89 3/183 21063
/proc/meminfo: memFree=29147856/32872528 swapFree=11196/354588
[pid=21050] ppid=21047 vsize=1315396 CPUtime=25.48 cores=0,2,4,6
/proc/21050/stat : 21050 (toysat) R 21047 21050 21010 0 -1 4202496 269532 0 0 0 2509 39 0 0 20 0 4 0 112623336 1346965504 270342 33554432000 4194304 16246674 140735745295760 140735745277632 13950184 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21050/statm: 328849 270342 896 2943 0 325743 0
[pid=21050/tid=21053] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21053/stat : 21053 (toysat) S 21047 21050 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112623336 1346965504 270342 33554432000 4194304 16246674 140735745295760 140266664078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21050/tid=21054] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21054/stat : 21054 (toysat) S 21047 21050 21010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270342 33554432000 4194304 16246674 140735745295760 140266585435376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21050/tid=21055] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21055/stat : 21055 (toysat) S 21047 21050 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270342 33554432000 4194304 16246674 140735745295760 140266574961840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1315396

[startup+51.1005 s]
/proc/loadavg: 1.76 1.93 1.89 3/183 21063
/proc/meminfo: memFree=29147860/32872528 swapFree=11196/354588
[pid=21050] ppid=21047 vsize=1315396 CPUtime=51.08 cores=0,2,4,6
/proc/21050/stat : 21050 (toysat) R 21047 21050 21010 0 -1 4202496 269532 0 0 0 5069 39 0 0 20 0 4 0 112623336 1346965504 270342 33554432000 4194304 16246674 140735745295760 140735745277632 13943729 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21050/statm: 328849 270342 896 2943 0 325743 0
[pid=21050/tid=21053] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21053/stat : 21053 (toysat) S 21047 21050 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112623336 1346965504 270342 33554432000 4194304 16246674 140735745295760 140266664078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21050/tid=21054] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21054/stat : 21054 (toysat) S 21047 21050 21010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270342 33554432000 4194304 16246674 140735745295760 140266585435376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21050/tid=21055] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21055/stat : 21055 (toysat) S 21047 21050 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270342 33554432000 4194304 16246674 140735745295760 140266574961840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.3 s]
/proc/loadavg: 1.96 1.95 1.90 3/183 21064
/proc/meminfo: memFree=29147880/32872528 swapFree=11196/354588
[pid=21050] ppid=21047 vsize=1315396 CPUtime=102.27 cores=0,2,4,6
/proc/21050/stat : 21050 (toysat) R 21047 21050 21010 0 -1 4202496 269537 0 0 0 10188 39 0 0 20 0 4 0 112623336 1346965504 270347 33554432000 4194304 16246674 140735745295760 140735745277632 5677659 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21050/statm: 328849 270347 900 2943 0 325743 0
[pid=21050/tid=21053] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21053/stat : 21053 (toysat) S 21047 21050 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112623336 1346965504 270347 33554432000 4194304 16246674 140735745295760 140266664078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21050/tid=21054] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21054/stat : 21054 (toysat) S 21047 21050 21010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270347 33554432000 4194304 16246674 140735745295760 140266585435376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21050/tid=21055] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21055/stat : 21055 (toysat) S 21047 21050 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270347 33554432000 4194304 16246674 140735745295760 140266574961840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1315396


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

/proc/21050/task/21055/stat : 21055 (toysat) S 21047 21050 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266574961840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1315396

[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 1.97 3/183 21117
/proc/meminfo: memFree=29138524/32872528 swapFree=11196/354588
[pid=21050] ppid=21047 vsize=1315396 CPUtime=1301.98 cores=0,2,4,6
/proc/21050/stat : 21050 (toysat) R 21047 21050 21010 0 -1 4202496 269710 0 0 0 130154 44 0 0 20 0 4 0 112623336 1346965504 270603 33554432000 4194304 16246674 140735745295760 140735745277632 12483337 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21050/statm: 328849 270603 900 2943 0 325743 0
[pid=21050/tid=21053] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21053/stat : 21053 (toysat) S 21047 21050 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112623336 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266664078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21050/tid=21054] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21054/stat : 21054 (toysat) S 21047 21050 21010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266585435376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21050/tid=21055] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21055/stat : 21055 (toysat) S 21047 21050 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266574961840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.11 2.05 1.98 3/183 21118
/proc/meminfo: memFree=29138384/32872528 swapFree=11196/354588
[pid=21050] ppid=21047 vsize=1315396 CPUtime=1361.97 cores=0,2,4,6
/proc/21050/stat : 21050 (toysat) R 21047 21050 21010 0 -1 4202496 269710 0 0 0 136153 44 0 0 20 0 4 0 112623336 1346965504 270603 33554432000 4194304 16246674 140735745295760 140735745277632 5545721 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21050/statm: 328849 270603 900 2943 0 325743 0
[pid=21050/tid=21053] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21053/stat : 21053 (toysat) S 21047 21050 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112623336 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266664078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21050/tid=21054] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21054/stat : 21054 (toysat) S 21047 21050 21010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266585435376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21050/tid=21055] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21055/stat : 21055 (toysat) S 21047 21050 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266574961840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.04 2.04 1.98 3/183 21120
/proc/meminfo: memFree=29138244/32872528 swapFree=11196/354588
[pid=21050] ppid=21047 vsize=1315396 CPUtime=1421.96 cores=0,2,4,6
/proc/21050/stat : 21050 (toysat) R 21047 21050 21010 0 -1 4202496 269710 0 0 0 142152 44 0 0 20 0 4 0 112623336 1346965504 270603 33554432000 4194304 16246674 140735745295760 140735745277632 13780588 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21050/statm: 328849 270603 900 2943 0 325743 0
[pid=21050/tid=21053] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21053/stat : 21053 (toysat) S 21047 21050 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112623336 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266664078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21050/tid=21054] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21054/stat : 21054 (toysat) S 21047 21050 21010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266585435376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21050/tid=21055] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21055/stat : 21055 (toysat) S 21047 21050 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266574961840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/183 21121
/proc/meminfo: memFree=29137876/32872528 swapFree=11196/354588
[pid=21050] ppid=21047 vsize=1315396 CPUtime=1481.95 cores=0,2,4,6
/proc/21050/stat : 21050 (toysat) R 21047 21050 21010 0 -1 4202496 269710 0 0 0 148150 45 0 0 20 0 4 0 112623336 1346965504 270603 33554432000 4194304 16246674 140735745295760 140735745277632 13820957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21050/statm: 328849 270603 900 2943 0 325743 0
[pid=21050/tid=21053] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21053/stat : 21053 (toysat) S 21047 21050 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112623336 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266664078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21050/tid=21054] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21054/stat : 21054 (toysat) S 21047 21050 21010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266585435376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21050/tid=21055] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21055/stat : 21055 (toysat) S 21047 21050 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266574961840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 1.98 3/183 21122
/proc/meminfo: memFree=29138244/32872528 swapFree=11196/354588
[pid=21050] ppid=21047 vsize=1315396 CPUtime=1541.95 cores=0,2,4,6
/proc/21050/stat : 21050 (toysat) R 21047 21050 21010 0 -1 4202496 269710 0 0 0 154150 45 0 0 20 0 4 0 112623336 1346965504 270603 33554432000 4194304 16246674 140735745295760 140735745277632 13780624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21050/statm: 328849 270603 900 2943 0 325743 0
[pid=21050/tid=21053] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21053/stat : 21053 (toysat) S 21047 21050 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112623336 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266664078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21050/tid=21054] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21054/stat : 21054 (toysat) S 21047 21050 21010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266585435376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21050/tid=21055] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21055/stat : 21055 (toysat) S 21047 21050 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266574961840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/183 21123
/proc/meminfo: memFree=29137900/32872528 swapFree=11196/354588
[pid=21050] ppid=21047 vsize=1315396 CPUtime=1601.93 cores=0,2,4,6
/proc/21050/stat : 21050 (toysat) R 21047 21050 21010 0 -1 4202496 269710 0 0 0 160148 45 0 0 20 0 4 0 112623336 1346965504 270603 33554432000 4194304 16246674 140735745295760 140735745277632 5722960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21050/statm: 328849 270603 900 2943 0 325743 0
[pid=21050/tid=21053] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21053/stat : 21053 (toysat) S 21047 21050 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112623336 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266664078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21050/tid=21054] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21054/stat : 21054 (toysat) S 21047 21050 21010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266585435376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21050/tid=21055] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21055/stat : 21055 (toysat) S 21047 21050 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266574961840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 1.99 3/183 21124
/proc/meminfo: memFree=29137900/32872528 swapFree=11196/354588
[pid=21050] ppid=21047 vsize=1315396 CPUtime=1661.92 cores=0,2,4,6
/proc/21050/stat : 21050 (toysat) R 21047 21050 21010 0 -1 4202496 269710 0 0 0 166147 45 0 0 20 0 4 0 112623336 1346965504 270603 33554432000 4194304 16246674 140735745295760 140735745277632 12483428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21050/statm: 328849 270603 900 2943 0 325743 0
[pid=21050/tid=21053] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21053/stat : 21053 (toysat) S 21047 21050 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112623336 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266664078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21050/tid=21054] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21054/stat : 21054 (toysat) S 21047 21050 21010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266585435376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21050/tid=21055] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21055/stat : 21055 (toysat) S 21047 21050 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266574961840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 1.99 3/183 21128
/proc/meminfo: memFree=29137596/32872528 swapFree=11196/354588
[pid=21050] ppid=21047 vsize=1315396 CPUtime=1721.91 cores=0,2,4,6
/proc/21050/stat : 21050 (toysat) R 21047 21050 21010 0 -1 4202496 269710 0 0 0 172146 45 0 0 20 0 4 0 112623336 1346965504 270603 33554432000 4194304 16246674 140735745295760 140735745277632 12483222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21050/statm: 328849 270603 900 2943 0 325743 0
[pid=21050/tid=21053] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21053/stat : 21053 (toysat) S 21047 21050 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112623336 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266664078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21050/tid=21054] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21054/stat : 21054 (toysat) S 21047 21050 21010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266585435376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21050/tid=21055] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21055/stat : 21055 (toysat) S 21047 21050 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266574961840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/183 21130
/proc/meminfo: memFree=29136620/32872528 swapFree=11196/354588
[pid=21050] ppid=21047 vsize=1315396 CPUtime=1781.91 cores=0,2,4,6
/proc/21050/stat : 21050 (toysat) R 21047 21050 21010 0 -1 4202496 269710 0 0 0 178145 46 0 0 20 0 4 0 112623336 1346965504 270603 33554432000 4194304 16246674 140735745295760 140735745277632 12483300 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21050/statm: 328849 270603 900 2943 0 325743 0
[pid=21050/tid=21053] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21053/stat : 21053 (toysat) S 21047 21050 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112623336 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266664078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21050/tid=21054] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21054/stat : 21054 (toysat) S 21047 21050 21010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266585435376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21050/tid=21055] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21055/stat : 21055 (toysat) S 21047 21050 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266574961840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.02 1.99 3/183 21130
/proc/meminfo: memFree=29136744/32872528 swapFree=11196/354588
[pid=21050] ppid=21047 vsize=1315396 CPUtime=1800 cores=0,2,4,6
/proc/21050/stat : 21050 (toysat) R 21047 21050 21010 0 -1 4202496 269710 0 0 0 179954 46 0 0 20 0 4 0 112623336 1346965504 270603 33554432000 4194304 16246674 140735745295760 140735745277632 12483314 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21050/statm: 328849 270603 900 2943 0 325743 0
[pid=21050/tid=21053] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21053/stat : 21053 (toysat) S 21047 21050 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112623336 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266664078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21050/tid=21054] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21054/stat : 21054 (toysat) S 21047 21050 21010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266585435376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21050/tid=21055] ppid=21047 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21050/task/21055/stat : 21055 (toysat) S 21047 21050 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112623337 1346965504 270603 33554432000 4194304 16246674 140735745295760 140266574961840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1315396

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.02
CPU user time (s): 1799.55
CPU system time (s): 0.462929
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.462929
maximum resident set size= 1082412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269710
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= 189
involuntary context switches= 2096

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.57415 second user time and 13.229 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-07 15:41:39
IDJOB=4079230
IDBENCH=91577
IDSOLVER=2542
FILE ID=node126/4079230-1465306899
RUNJOBID= node126-1465306898-21026
PBS_JOBID= 19849495
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_0null20mast_rapportOE2.0_TMAX120_K67_cod2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079230-1465306899/watcher-4079230-1465306899 -o /tmp/evaluation-result-4079230-1465306899/solver-4079230-1465306899 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465306898-21026 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079230-1465306899.opb

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

MD5SUM BENCH= 3c4312a0a0fb7b4698eae8a0af34af2a
RANDOM SEED=2012559452

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31328020 kB
Buffers:           45212 kB
Cached:           410660 kB
SwapCached:         2088 kB
Active:           270808 kB
Inactive:         188592 kB
Active(anon):       2512 kB
Inactive(anon):     3296 kB
Active(file):     268296 kB
Inactive(file):   185296 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098676 kB
Dirty:             37700 kB
Writeback:             0 kB
AnonPages:        356768 kB
Mapped:             6788 kB
Shmem:                 0 kB
Slab:             597444 kB
SReclaimable:      41900 kB
SUnreclaim:       555544 kB
KernelStack:        1336 kB
PageTables:         5488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     452204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    344064 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= 71700 MiB
End job on node126 at 2016-06-07 16:11:39