Trace number 4079236

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.1 1800.51

General information on the benchmark

Name/OPT-BIGINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_20null50mast_rapportOE2.0_TMAX60_K67_cod2.opb
MD5SUMcbe19c75f2e679c0a1949db29fa1022e
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-55717
Best CPU time to get the best result obtained on this benchmark1800.04
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 389
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 2788485
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 10946
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 2788485
Number of bits of the biggest sum of numbers22
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-07T16:23:13+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-4079236-1465309393.opb"]
0.00/0.01	c use --random-gen="3227570181 3850268755 514002034 216849155 3390831419 3430365887 3711199819 1541240847 1783402049 2519210089 4265857541 548874010 2175697562 1322663868 1236321287 3771416230 4181481049 3702534554 2687907650 3218360474 1557833817 305798202 1156038211 1632419050 1379618007 58928906 1833260349 3662939713 2391831350 2658369695 856615827 2437325779 1549275938 2298132475 2482537517 277898047 1820702121 3369769606 331219982 2616547552 891291817 2139869888 3997601148 2736800599 499733370 3787935586 2233445174 748952015 2719272296 2505332412 1778528383 1365091566 433660664 2703386743 1247413254 1501374650 135636108 850162945 754647978 4113069178 1406520993 3927825644 2137709732 3947211138 1182227859 2968694768 1537496453 251351052 1095896500 3726359906 2568526755 2028744009 484558534 3535839395 1190055546 1282402233 3543964259 1577302582 1459305390 782475695 3220935634 2191676830 1282156433 2470308406 1555470268 1641762465 76921945 1263543623 3274517530 4075836433 3498433928 3443895898 1121481696 1552177982 114853411 1456668292 1117873822 3752553317 633260888 2096881106 513215027 1128748582 547676502 2868258647 1761928017 1622263412 2531725051 1213406971 487144477 3328194803 196156348 3348202725 1993428741 2961860557 3638165683 65579517 1317471687 826707955 4074099156 2271198658 4200797650 1622914793 3820491547 3163250920 1369420055 109984176 1236140532 3975944430 3193962321 3678033807 1187108608 678132136 1004744337 1861776656 2200810301 2304092836 4190140664 159561738 415378500 1160928152 2206263424 4230343238 1016892722 2232434417 1445462069 3000445145 3986647751 2065214925 2901011054 838404866 3903941452 529885104 3774570050 3577972974 866397404 1970267810 3556019989 163280538 2914747120 88300944 4102213081 2525596634 3569096906 3081526725 1234926969 826817267 2801489132 879609253 1353724710 3487575714 953440281 2729320317 1173283718 4087823582 3259920972 3026735055 3384129545 2942356785 1451823601 3437435288 2672796471 1686685689 3637500559 3511212192 3247472418 4206922229 1810357897 3192994970 548881939 2858873385 1428506534 217924736 1589192662 3663920088 3469648449 754125227 715682988 2430077894 3950548796 3096487321 2700069928 3743313592 3263411295 685776556 2861240289 141330820 705409801 118751951 1790904188 2939670163 3043521526 1689695164 2961557396 2277718136 4282244218 2941337446 636917943 355264555 2025764003 2334590075 3444821795 1135390779 2243013092 1544015093 2683339273 2558991248 1432388578 360431460 1705275622 206645966 3355759143 1303977590 1369760944 4262654447 4087721011 1916665906 992347516 1643281710 2153115957 1382469444 1667090954 1497601199 2475460811 3622169936 4276440601 3472488965 4133582636 2741706368 977913973 1764373465 1323340463 1323625625 2124954742 3603409710 2745928323 3149391029 255 362436" option to reproduce the execution
0.39/0.44	c #vars 40937
0.39/0.44	c #constraints 41436
1.49/1.50	c BCD2: Hardening is enabled.
1.49/1.50	c BCD2: BiasedSearch is enabled.
1.49/1.50	c Solving starts ...
1.49/1.50	c ============================[ Search Statistics ]============================
1.49/1.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.49/1.50	c       |         |          |          |    Limit     GC | Var      | Constra 
1.49/1.50	c =============================================================================
1.49/1.50	c  0.0s |       0 |        0 |        0 |    27456      0 |      125 |        0
2.20/2.27	c  0.8s |       1 |     2687 |      100 |    27456      0 |      148 |      146
4.08/4.14	c  2.6s |       2 |     4792 |      250 |    30202      0 |      148 |      146
8.19/8.28	c  6.8s |       2 |    10858 |      450 |    33223      0 |      148 |      146
8.59/8.66	c  7.2s |       3 |    11013 |      475 |    33223      0 |      148 |      146
11.09/11.18	c  9.7s |       3 |    21896 |      575 |    36546      0 |      148 |      146
13.19/13.26	c 11.8s |       3 |    28663 |      675 |    36546      0 |      148 |      146
14.69/14.70	c 13.2s |       4 |    33514 |      813 |    36546      0 |      148 |      146
18.09/18.19	c 16.7s |       4 |    41361 |     1013 |    40201      0 |      148 |      146
20.78/20.85	c 19.4s |       4 |    46365 |     1213 |    40201      0 |      148 |      146
22.18/22.20	c 20.7s |       5 |    47696 |     1320 |    40201      0 |      148 |      146
24.19/24.29	c 22.8s |       5 |    51815 |     1420 |    44222      0 |      148 |      146
27.49/27.55	c 26.0s |       5 |    59303 |     1620 |    44222      0 |      148 |      146
29.58/29.67	c 28.2s |       5 |    63905 |     1820 |    44222      0 |      148 |      146
31.99/32.05	c 30.5s |       5 |    70054 |     2020 |    44222      0 |      148 |      146
32.78/32.88	c 31.4s |       6 |    71033 |     2081 |    48645      0 |      148 |      146
35.08/35.13	c 33.6s |       6 |    77277 |     2281 |    48645      0 |      148 |      146
37.68/37.78	c 36.3s |       6 |    79766 |     2481 |    48645      0 |      148 |      146
40.48/40.57	c 39.1s |       6 |    84509 |     2681 |    48645      0 |      148 |      146
42.99/43.06	c 41.6s |       6 |    90514 |     2881 |    48645      0 |      148 |      146
45.68/45.78	c 44.3s |       6 |    95989 |     2981 |    48645      0 |      148 |      146
47.88/47.93	c 46.4s |       6 |   100247 |     3081 |    48645      0 |      148 |      146
49.68/49.75	c 48.2s |       7 |   100666 |     3223 |    53510      0 |      148 |      146
52.79/52.84	c 51.3s |       7 |   103251 |     3423 |    53510      0 |      148 |      146
56.58/56.68	c 55.2s |       7 |   108174 |     3623 |    53510      0 |      148 |      146
59.88/59.98	c 58.5s |       7 |   113003 |     3823 |    53510      0 |      148 |      146
63.18/63.21	c 61.7s |       7 |   120417 |     4023 |    53510      0 |      148 |      146
67.88/67.91	c 66.4s |       7 |   128818 |     4223 |    53510      0 |      148 |      146
70.48/70.52	c 69.0s |       7 |   131540 |     4423 |    53510      0 |      148 |      146
72.87/72.91	c 71.4s |       7 |   143020 |     4623 |    53510      0 |      148 |      146
75.67/75.74	c 74.2s |       7 |   148958 |     4823 |    53510      0 |      148 |      146
76.87/77.00	c 75.5s |       8 |   152565 |     4936 |    58862      0 |      148 |      146
79.18/79.27	c 77.8s |       8 |   153966 |     5036 |    58862      0 |      148 |      146
81.27/81.36	c 79.9s |       8 |   157889 |     5136 |    58862      0 |      148 |      146
83.37/83.47	c 82.0s |       8 |   159613 |     5236 |    58862      0 |      148 |      146
86.27/86.37	c 84.9s |       8 |   161414 |     5436 |    58862      0 |      148 |      146
88.47/88.55	c 87.0s |       8 |   162227 |     5536 |    58862      0 |      148 |      146
90.87/90.96	c 89.5s |       8 |   163050 |     5636 |    58862      0 |      148 |      146
93.77/93.83	c 92.3s |       8 |   170088 |     5836 |    58862      0 |      148 |      146
97.17/97.28	c 95.8s |       8 |   172659 |     6036 |    58862      0 |      148 |      146
99.57/99.69	c 98.2s |       8 |   174031 |     6336 |    58862      0 |      148 |      146
103.77/103.85	c  102s |       8 |   175991 |     6636 |    58862      0 |      148 |      146
106.68/106.76	c  105s |       8 |   177920 |     6836 |    58862      0 |      148 |      146
110.07/110.19	c  108s |       8 |   182755 |     7036 |    58862      0 |      148 |      146
112.77/112.80	c  111s |       8 |   184745 |     7236 |    58862      0 |      148 |      146
115.17/115.20	c  113s |       8 |   185273 |     7436 |    58862      0 |      148 |      146
116.47/116.51	c  115s |       9 |   186041 |     7506 |    64749      0 |      148 |      146
120.07/120.16	c  118s |       9 |   189040 |     7606 |    64749      0 |      148 |      146
123.06/123.20	c  121s |       9 |   192973 |     7706 |    64749      0 |      148 |      146
125.96/126.00	c  124s |       9 |   195381 |     7806 |    64749      0 |      148 |      146
128.56/128.64	c  127s |       9 |   199605 |     7906 |    64749      0 |      148 |      146
131.16/131.25	c  129s |       9 |   201835 |     8006 |    64749      0 |      148 |      146
133.96/134.08	c  132s |       9 |   204854 |     8206 |    64749      0 |      148 |      146
136.47/136.55	c  135s |       9 |   207905 |     8406 |    64749      0 |      148 |      146
138.57/138.63	c  137s |       9 |   210066 |     8506 |    64749      0 |      148 |      146
140.77/140.87	c  139s |       9 |   215110 |     8706 |    64749      0 |      148 |      146
143.66/143.75	c  142s |       9 |   217646 |     8906 |    64749      0 |      148 |      146
147.16/147.22	c  145s |       9 |   223135 |     9106 |    64749      0 |      148 |      146
149.86/149.92	c  148s |       9 |   225132 |     9206 |    64749      0 |      148 |      146
152.46/152.51	c  151s |       9 |   226995 |     9406 |    64749      0 |      148 |      146
155.56/155.66	c  154s |       9 |   229145 |     9606 |    64749      0 |      148 |      146
158.86/158.99	c  157s |       9 |   232985 |     9806 |    64749      0 |      148 |      146
161.47/161.57	c  160s |       9 |   241585 |    10006 |    64749      0 |      148 |      146
164.07/164.15	c  162s |       9 |   244126 |    10206 |    64749      0 |      148 |      146
167.06/167.16	c  165s |       9 |   248047 |    10406 |    64749      0 |      148 |      146
170.16/170.26	c  168s |       9 |   252629 |    10606 |    64749      0 |      148 |      146
172.86/172.91	c  171s |       9 |   254835 |    10806 |    64749      0 |      148 |      146
175.76/175.84	c  174s |       9 |   260732 |    11006 |    64749      0 |      148 |      146
179.37/179.49	c  177s |       9 |   269229 |    11206 |    64749      0 |      148 |      146
181.16/181.21	c  179s |      10 |   275514 |    11361 |    71224      0 |      148 |      146
184.87/184.94	c  183s |      10 |   276951 |    11561 |    71224      0 |      148 |      146
188.07/188.13	c  186s |      10 |   277557 |    11761 |    71224      0 |      148 |      146
191.06/191.15	c  189s |      10 |   280912 |    11961 |    71224      0 |      148 |      146
193.76/193.82	c  192s |      10 |   285174 |    12261 |    71224      0 |      148 |      146
196.76/196.82	c  195s |      10 |   287639 |    12461 |    71224      0 |      148 |      146
198.86/198.97	c  197s |      10 |   289062 |    12561 |    71224      0 |      148 |      146
201.96/202.09	c  200s |      10 |   291658 |    12761 |    71224      0 |      148 |      146
204.46/204.54	c  203s |      10 |   293046 |    12961 |    71224      0 |      148 |      146
207.16/207.28	c  205s |      10 |   299017 |    13161 |    71224      0 |      148 |      146
209.86/209.90	c  208s |      10 |   302724 |    13361 |    71224      0 |      148 |      146
212.66/212.79	c  211s |      10 |   304274 |    13561 |    71224      0 |      148 |      146
215.56/215.65	c  214s |      10 |   305967 |    13761 |    71224      0 |      148 |      146
218.65/218.70	c  217s |      10 |   308364 |    13961 |    71224      0 |      148 |      146
221.45/221.56	c  220s |      10 |   310368 |    14161 |    71224      0 |      148 |      146
223.65/223.71	c  222s |      10 |   312495 |    14361 |    71224      0 |      148 |      146
227.15/227.29	c  225s |      10 |   313973 |    14561 |    71224      0 |      148 |      146
230.55/230.65	c  229s |      10 |   316289 |    14761 |    71224      0 |      148 |      146
233.75/233.81	c  232s |      10 |   319315 |    14961 |    71224      0 |      148 |      146
236.46/236.52	c  235s |      10 |   322128 |    15161 |    71224      0 |      148 |      146
240.05/240.17	c  238s |      10 |   324070 |    15461 |    71224      0 |      148 |      146
242.65/242.76	c  241s |      10 |   329120 |    15661 |    71224      0 |      148 |      146
244.85/244.95	c  243s |      10 |   331717 |    15861 |    71224      0 |      148 |      146
247.65/247.74	c  246s |      10 |   333883 |    16061 |    71224      0 |      148 |      146
251.25/251.32	c  249s |      10 |   337701 |    16261 |    71224      0 |      148 |      146
253.55/253.67	c  252s |      10 |   342836 |    16461 |    71224      0 |      148 |      146
257.35/257.43	c  255s |      10 |   344692 |    16661 |    71224      0 |      148 |      146
260.35/260.45	c  258s |      10 |   345083 |    16761 |    71224      0 |      148 |      146
262.65/262.76	c  261s |      10 |   347669 |    16961 |    71224      0 |      148 |      146
265.55/265.63	c  264s |      11 |   350602 |    17144 |    78347      0 |      148 |      146
268.45/268.54	c  267s |      11 |   351965 |    17244 |    78347      0 |      148 |      146
272.04/272.13	c  270s |      11 |   353358 |    17344 |    78347      0 |      148 |      146
274.24/274.36	c  272s |      11 |   353463 |    17444 |    78347      0 |      148 |      146
276.54/276.60	c  275s |      11 |   354407 |    17544 |    78347      0 |      148 |      146
279.84/279.95	c  278s |      11 |   355930 |    17744 |    78347      0 |      148 |      146
282.24/282.31	c  280s |      11 |   357662 |    17844 |    78347      0 |      148 |      146
284.44/284.51	c  283s |      11 |   357842 |    17944 |    78347      0 |      148 |      146
288.53/288.64	c  287s |      11 |   359812 |    18144 |    78347      0 |      148 |      146
292.43/292.53	c  291s |      11 |   361173 |    18344 |    78347      0 |      148 |      146
295.13/295.22	c  293s |      11 |   361908 |    18444 |    78347      0 |      148 |      146
297.33/297.41	c  295s |      11 |   363181 |    18544 |    78347      0 |      148 |      146
300.93/301.09	c  299s |      11 |   365505 |    18744 |    78347      0 |      148 |      146
304.63/304.74	c  303s |      11 |   368610 |    18944 |    78347      0 |      148 |      146
308.33/308.45	c  306s |      11 |   370972 |    19144 |    78347      0 |      148 |      146
312.13/312.24	c  310s |      11 |   372674 |    19344 |    78347      0 |      148 |      146
315.33/315.41	c  313s |      11 |   373134 |    19444 |    78347      0 |      148 |      146
318.42/318.51	c  317s |      11 |   374811 |    19644 |    78347      0 |      148 |      146
321.92/322.00	c  320s |      11 |   377039 |    19844 |    78347      0 |      148 |      146
325.42/325.60	c  324s |      11 |   378402 |    20044 |    78347      0 |      148 |      146
327.82/327.92	c  326s |      11 |   378867 |    20144 |    78347      0 |      148 |      146
331.31/331.46	c  329s |      11 |   380649 |    20344 |    78347      0 |      148 |      146
335.01/335.14	c  333s |      11 |   384450 |    20544 |    78347      0 |      148 |      146
338.51/338.67	c  337s |      11 |   386006 |    20744 |    78347      0 |      148 |      146
340.61/340.72	c  339s |      11 |   388618 |    20844 |    78347      0 |      148 |      146
342.81/342.90	c  341s |      11 |   389374 |    20944 |    78347      0 |      148 |      146
345.61/345.79	c  344s |      11 |   390878 |    21144 |    78347      0 |      148 |      146
349.81/349.91	c  348s |      11 |   394071 |    21344 |    78347      0 |      148 |      146
354.30/354.43	c  352s |      11 |   395133 |    21544 |    78347      0 |      148 |      146
358.90/359.05	c  357s |      11 |   396929 |    21744 |    78347      0 |      148 |      146
362.40/362.53	c  361s |      11 |   397943 |    21944 |    78347      0 |      148 |      146
365.21/365.36	c  363s |      11 |   399198 |    22144 |    78347      0 |      148 |      146
367.99/368.12	c  366s |      11 |   399985 |    22344 |    78347      0 |      148 |      146
371.80/371.93	c  370s |      11 |   401938 |    22544 |    78347      0 |      148 |      146
373.90/374.01	c  372s |      11 |   403262 |    22644 |    78347      0 |      148 |      146
375.99/376.12	c  374s |      11 |   404122 |    22744 |    78347      0 |      148 |      146
380.29/380.40	c  378s |      11 |   407653 |    22944 |    78347      0 |      148 |      146
382.89/383.06	c  381s |      11 |   408585 |    23044 |    78347      0 |      148 |      146
385.49/385.69	c  384s |      11 |   409437 |    23144 |    78347      0 |      148 |      146
388.08/388.25	c  386s |      11 |   409834 |    23244 |    78347      0 |      148 |      146
391.49/391.67	c  390s |      11 |   410446 |    23444 |    78347      0 |      148 |      146
395.38/395.58	c  394s |      11 |   411245 |    23644 |    78347      0 |      148 |      146
398.28/398.42	c  396s |      11 |   411913 |    23744 |    78347      0 |      148 |      146
402.88/403.05	c  401s |      11 |   413303 |    23944 |    78347      0 |      148 |      146
405.88/406.09	c  404s |      11 |   413757 |    24044 |    78347      0 |      148 |      146
408.27/408.48	c  406s |      11 |   414602 |    24144 |    78347      0 |      148 |      146
410.57/410.70	c  409s |      11 |   414982 |    24244 |    78347      0 |      148 |      146
413.07/413.27	c  411s |      11 |   415131 |    24344 |    78347      0 |      148 |      146
415.97/416.19	c  414s |      11 |   415639 |    24444 |    78347      0 |      148 |      146
419.17/419.34	c  417s |      11 |   416139 |    24544 |    78347      0 |      148 |      146
422.67/422.87	c  421s |      11 |   416720 |    24644 |    78347      0 |      148 |      146
425.47/425.66	c  424s |      11 |   417074 |    24744 |    78347      0 |      148 |      146
428.06/428.20	c  426s |      11 |   417603 |    24844 |    78347      0 |      148 |      146
430.66/430.88	c  429s |      11 |   418147 |    24944 |    78347      0 |      148 |      146
433.27/433.41	c  431s |      11 |   418770 |    25044 |    78347      0 |      148 |      146
436.06/436.29	c  434s |      11 |   419167 |    25144 |    78347      0 |      148 |      146
438.45/438.64	c  437s |      11 |   419444 |    25244 |    78347      0 |      148 |      146
440.85/441.01	c  439s |      11 |   419865 |    25344 |    78347      0 |      148 |      146
443.16/443.30	c  441s |      11 |   420692 |    25444 |    78347      0 |      148 |      146
445.95/446.11	c  444s |      11 |   421028 |    25544 |    78347      0 |      148 |      146
449.05/449.21	c  447s |      11 |   421586 |    25644 |    78347      0 |      148 |      146
451.75/451.92	c  450s |      11 |   422175 |    25744 |    86182      0 |      148 |      146
453.35/453.51	c  452s |      12 |   422994 |    25819 |    86182      0 |      148 |      146
457.65/457.84	c  456s |      12 |   424311 |    26019 |    86182      0 |      148 |      146
462.05/462.25	c  460s |      12 |   425220 |    26219 |    86182      0 |      148 |      146
465.85/466.09	c  464s |      12 |   426407 |    26419 |    86182      0 |      148 |      146
468.55/468.79	c  467s |      12 |   427456 |    26619 |    86182      0 |      148 |      146
471.54/471.78	c  470s |      12 |   428879 |    26819 |    86182      0 |      148 |      146
474.54/474.74	c  473s |      12 |   430093 |    27019 |    86182      0 |      151 |      148
477.84/478.02	c  476s |      12 |   430997 |    27219 |    86182      0 |      151 |      148
480.44/480.63	c  479s |      12 |   431782 |    27419 |    86182      0 |      151 |      148
482.85/483.02	c  481s |      12 |   432286 |    27619 |    86182      0 |      151 |      148
486.24/486.49	c  484s |      12 |   433316 |    27819 |    86182      0 |      151 |      148
489.64/489.89	c  488s |      12 |   433898 |    28019 |    86182      0 |      151 |      148
492.74/492.93	c  491s |      12 |   434176 |    28119 |    86182      0 |      151 |      148
495.84/496.10	c  494s |      12 |   435417 |    28319 |    86182      0 |      151 |      148
498.03/498.20	c  496s |      12 |   436205 |    28419 |    86182      0 |      151 |      148
502.03/502.29	c  500s |      12 |   436812 |    28619 |    86182      0 |      151 |      148
505.03/505.24	c  503s |      12 |   437736 |    28819 |    86182      0 |      151 |      148
508.03/508.26	c  506s |      12 |   438969 |    29019 |    86182      0 |      151 |      148
511.13/511.32	c  509s |      12 |   439670 |    29219 |    86182      0 |      151 |      148
513.23/513.45	c  511s |      12 |   440131 |    29319 |    86182      0 |      151 |      148
515.93/516.18	c  514s |      12 |   440871 |    29519 |    86182      0 |      151 |      148
518.73/518.96	c  517s |      12 |   441657 |    29719 |    86182      0 |      151 |      148
521.33/521.52	c  520s |      12 |   442351 |    29919 |    86182      0 |      151 |      148
523.73/523.96	c  522s |      12 |   442861 |    30119 |    86182      0 |      151 |      148
525.93/526.19	c  524s |      12 |   443358 |    30319 |    86182      0 |      151 |      148
528.22/528.40	c  526s |      12 |   444027 |    30519 |    86182      0 |      151 |      148
531.02/531.22	c  529s |      12 |   444492 |    30719 |    86182      0 |      151 |      148
533.02/533.28	c  531s |      12 |   445306 |    30819 |    86182      0 |      151 |      148
537.22/537.47	c  535s |      12 |   445747 |    31019 |    86182      0 |      151 |      148
539.92/540.16	c  538s |      12 |   445995 |    31119 |    86182      0 |      151 |      148
543.12/543.40	c  541s |      12 |   447636 |    31319 |    86182      0 |      151 |      148
545.82/546.07	c  544s |      12 |   448262 |    31519 |    86182      0 |      151 |      148
548.21/548.47	c  546s |      12 |   448894 |    31819 |    86182      0 |      151 |      148
550.41/550.69	c  549s |      12 |   449692 |    32019 |    86182      0 |      151 |      148
552.91/553.17	c  551s |      12 |   450816 |    32219 |    86182      0 |      151 |      148
556.11/556.33	c  554s |      12 |   451875 |    32519 |    86182      0 |      151 |      148
558.71/558.92	c  557s |      12 |   453377 |    32719 |    86182      0 |      151 |      148
561.01/561.21	c  559s |      12 |   454279 |    32919 |    86182      0 |      151 |      148
563.21/563.46	c  561s |      12 |   455322 |    33119 |    86182      0 |      151 |      148
565.61/565.86	c  564s |      12 |   456063 |    33319 |    86182      0 |      151 |      148
568.61/568.87	c  567s |      12 |   457258 |    33519 |    86182      0 |      151 |      148
570.71/570.92	c  569s |      12 |   458403 |    33719 |    86182      0 |      151 |      148
573.60/573.81	c  572s |      12 |   459393 |    33919 |    86182      0 |      151 |      148
576.60/576.84	c  575s |      12 |   460055 |    34119 |    86182      0 |      151 |      148
578.70/578.99	c  577s |      12 |   460650 |    34319 |    86182      0 |      151 |      148
580.90/581.10	c  579s |      12 |   461610 |    34519 |    86182      0 |      151 |      148
583.10/583.31	c  581s |      12 |   463091 |    34719 |    86182      0 |      151 |      148
585.50/585.78	c  584s |      12 |   464209 |    34919 |    86182      0 |      151 |      148
588.41/588.62	c  587s |      12 |   465567 |    35119 |    86182      0 |      151 |      148
591.00/591.28	c  589s |      12 |   467129 |    35319 |    86182      0 |      151 |      148
593.81/594.06	c  592s |      12 |   468215 |    35519 |    86182      0 |      151 |      148
596.60/596.86	c  595s |      12 |   470010 |    35819 |    86182      0 |      151 |      148
599.20/599.42	c  597s |      12 |   470859 |    36019 |    86182      0 |      151 |      148
601.40/601.66	c  600s |      12 |   471736 |    36219 |    86182      0 |      151 |      148
603.81/604.05	c  602s |      12 |   473052 |    36419 |    86182      0 |      151 |      148
606.20/606.43	c  604s |      12 |   473895 |    36619 |    86182      0 |      151 |      148
608.70/608.95	c  607s |      12 |   474609 |    36819 |    86182      0 |      151 |      148
611.80/612.02	c  610s |      12 |   475854 |    37119 |    86182      0 |      151 |      148
614.00/614.29	c  612s |      12 |   476270 |    37319 |    86182      0 |      151 |      148
616.60/616.84	c  615s |      12 |   476932 |    37519 |    86182      0 |      151 |      148
618.89/619.12	c  617s |      12 |   477461 |    37719 |    86182      0 |      151 |      148
621.19/621.49	c  619s |      12 |   478164 |    37919 |    86182      0 |      151 |      148
624.39/624.62	c  623s |      12 |   479459 |    38119 |    86182      0 |      151 |      148
626.90/627.17	c  625s |      12 |   480121 |    38319 |    86182      0 |      151 |      148
629.89/630.18	c  628s |      12 |   480701 |    38519 |    86182      0 |      151 |      148
633.69/633.94	c  632s |      12 |   481537 |    38719 |    94801      0 |      151 |      148
635.49/635.75	c  634s |      13 |   481978 |    38832 |    94801      0 |      151 |      148
639.58/639.81	c  638s |      13 |   483304 |    39032 |    94801      0 |      151 |      148
642.98/643.20	c  641s |      13 |   484186 |    39232 |    94801      0 |      151 |      148
645.18/645.49	c  643s |      13 |   484984 |    39432 |    94801      0 |      151 |      148
648.28/648.51	c  647s |      13 |   486185 |    39732 |    94801      0 |      151 |      148
650.78/651.05	c  649s |      13 |   487315 |    39932 |    94801      0 |      151 |      148
654.18/654.49	c  652s |      13 |   488257 |    40132 |    94801      0 |      151 |      148
656.68/656.97	c  655s |      13 |   489246 |    40332 |    94801      0 |      151 |      148
658.98/659.29	c  657s |      13 |   490135 |    40532 |    94801      0 |      151 |      148
661.08/661.34	c  659s |      13 |   490756 |    40832 |    94801      0 |      151 |      148
663.48/663.78	c  662s |      13 |   492056 |    41232 |    94801      0 |      151 |      148
665.88/666.10	c  664s |      13 |   492833 |    41432 |    94801      0 |      151 |      148
669.58/669.84	c  668s |      13 |   493967 |    41632 |    94801      0 |      151 |      148
672.28/672.59	c  671s |      13 |   494666 |    41832 |    94801      0 |      151 |      148
674.98/675.25	c  673s |      13 |   495384 |    42032 |    94801      0 |      151 |      148
678.37/678.67	c  677s |      13 |   496255 |    42232 |    94801      0 |      151 |      148
681.17/681.45	c  679s |      13 |   496996 |    42432 |    94801      0 |      151 |      148
683.77/684.07	c  682s |      13 |   497777 |    42732 |    94801      0 |      151 |      148
685.87/686.19	c  684s |      13 |   498857 |    43132 |    94801      0 |      151 |      148
688.07/688.40	c  686s |      13 |   499670 |    43532 |    94801      0 |      151 |      148
691.27/691.52	c  690s |      13 |   500734 |    43932 |    94801      0 |      151 |      148
694.67/694.97	c  693s |      13 |   501725 |    44132 |    94801      0 |      151 |      148
697.96/698.29	c  696s |      13 |   503024 |    44432 |    94801      0 |      151 |      148
701.76/702.01	c  700s |      13 |   503656 |    44632 |    94801      0 |      151 |      148
703.77/704.05	c  702s |      13 |   504156 |    44832 |    94801      0 |      151 |      148
706.46/706.70	c  705s |      13 |   505405 |    45132 |    94801      0 |      151 |      148
708.66/708.98	c  707s |      13 |   506054 |    45432 |    94801      0 |      151 |      148
710.86/711.13	c  709s |      13 |   506931 |    45732 |    94801      0 |      151 |      148
713.66/713.95	c  712s |      13 |   507938 |    45932 |    94801      0 |      151 |      148
716.26/716.58	c  715s |      13 |   508400 |    46132 |    94801      0 |      151 |      148
719.45/719.78	c  718s |      13 |   508989 |    46332 |    94801      0 |      151 |      148
723.45/723.79	c  722s |      13 |   509742 |    46532 |    94801      0 |      151 |      148
725.86/726.18	c  724s |      13 |   510195 |    46632 |    94801      0 |      151 |      148
728.85/729.15	c  727s |      13 |   510855 |    46832 |    94801      0 |      151 |      148
731.55/731.89	c  730s |      13 |   511716 |    47032 |    94801      0 |      151 |      148
733.65/733.96	c  732s |      13 |   512218 |    47132 |    94801      0 |      151 |      148
736.76/737.08	c  735s |      13 |   513020 |    47332 |    94801      0 |      151 |      148
739.45/739.73	c  738s |      13 |   513668 |    47532 |    94801      0 |      151 |      148
742.15/742.43	c  740s |      13 |   514224 |    47732 |    94801      0 |      151 |      148
745.15/745.48	c  743s |      13 |   514964 |    47932 |    94801      0 |      151 |      148
748.05/748.30	c  746s |      13 |   515654 |    48132 |    94801      0 |      151 |      148
750.54/750.86	c  749s |      13 |   516226 |    48332 |    94801      0 |      151 |      148
753.14/753.49	c  751s |      13 |   516591 |    48532 |    94801      0 |      151 |      148
756.84/757.17	c  755s |      13 |   517105 |    48732 |    94801      0 |      151 |      148
759.44/759.70	c  758s |      13 |   517820 |    48932 |    94801      0 |      151 |      148
761.84/762.13	c  760s |      13 |   518403 |    49132 |    94801      0 |      151 |      148
766.24/766.58	c  765s |      13 |   518933 |    49332 |    94801      0 |      151 |      148
768.94/769.27	c  767s |      13 |   519170 |    49432 |    94801      0 |      151 |      148
771.44/771.78	c  770s |      13 |   519938 |    49632 |    94801      0 |      151 |      148
775.14/775.50	c  773s |      13 |   520831 |    49832 |    94801      0 |      151 |      148
778.44/778.79	c  777s |      13 |   521481 |    50032 |    94801      0 |      151 |      148
780.54/780.81	c  779s |      13 |   522187 |    50232 |    94801      0 |      151 |      148
783.74/784.05	c  782s |      13 |   523148 |    50532 |    94801      0 |      151 |      148
785.84/786.15	c  784s |      13 |   523626 |    50632 |    94801      0 |      151 |      148
788.74/789.02	c  787s |      13 |   524427 |    50832 |    94801      0 |      151 |      148
791.74/792.01	c  790s |      13 |   525279 |    51032 |    94801      0 |      151 |      148
794.34/794.60	c  793s |      13 |   525895 |    51232 |    94801      0 |      151 |      148
796.73/797.00	c  795s |      13 |   526931 |    51432 |    94801      0 |      151 |      148
799.73/800.08	c  798s |      13 |   527471 |    51632 |    94801      0 |      151 |      148
803.63/803.92	c  802s |      13 |   528220 |    51832 |    94801      0 |      151 |      148
805.93/806.27	c  804s |      13 |   528861 |    52032 |    94801      0 |      151 |      148
808.43/808.75	c  807s |      13 |   529598 |    52232 |    94801      0 |      151 |      148
810.73/811.04	c  809s |      13 |   530441 |    52432 |    94801      0 |      151 |      148
814.43/814.72	c  813s |      13 |   531279 |    52732 |    94801      0 |      151 |      148
817.33/817.69	c  816s |      13 |   531726 |    52932 |    94801      0 |      151 |      148
819.83/820.16	c  818s |      13 |   532770 |    53132 |    94801      0 |      151 |      148
822.83/823.14	c  821s |      13 |   533445 |    53332 |    94801      0 |      151 |      148
825.73/826.03	c  824s |      13 |   534139 |    53532 |    94801      0 |      151 |      148
828.63/828.97	c  827s |      13 |   534986 |    53732 |    94801      0 |      151 |      148
830.73/831.04	c  829s |      13 |   535720 |    53932 |    94801      0 |      151 |      148
834.03/834.33	c  832s |      13 |   536245 |    54132 |    94801      0 |      151 |      148
836.23/836.55	c  835s |      13 |   536711 |    54332 |    94801      0 |      151 |      148
838.73/839.02	c  837s |      13 |   537313 |    54532 |    94801      0 |      151 |      148
841.63/841.91	c  840s |      13 |   537863 |    54732 |    94801      0 |      151 |      148
843.73/844.07	c  842s |      13 |   538135 |    54832 |    94801      0 |      151 |      148
846.43/846.70	c  845s |      13 |   538773 |    55032 |    94801      0 |      151 |      148
849.43/849.70	c  848s |      13 |   539159 |    55232 |    94801      0 |      151 |      148
853.13/853.48	c  851s |      13 |   539589 |    55432 |    94801      0 |      151 |      148
857.23/857.50	c  855s |      13 |   540402 |    55632 |    94801      0 |      151 |      148
861.63/861.99	c  860s |      13 |   540878 |    55832 |    94801      0 |      151 |      148
864.52/864.83	c  863s |      13 |   541127 |    56032 |    94801      0 |      151 |      148
867.42/867.79	c  866s |      13 |   541345 |    56232 |    94801      0 |      151 |      148
869.93/870.29	c  868s |      13 |   541470 |    56332 |    94801      0 |      151 |      148
872.62/872.91	c  871s |      13 |   541775 |    56532 |    94801      0 |      151 |      148
875.72/876.03	c  874s |      13 |   542020 |    56732 |    94801      0 |      151 |      148
878.73/879.06	c  877s |      13 |   542279 |    56932 |    94801      0 |      151 |      148
881.52/881.85	c  880s |      13 |   542510 |    57132 |    94801      0 |      151 |      148
884.13/884.48	c  882s |      13 |   542833 |    57332 |    94801      0 |      151 |      148
887.43/887.78	c  886s |      13 |   547330 |    57632 |    94801      0 |      151 |      148
890.42/890.71	c  889s |      13 |   549704 |    57832 |    94801      0 |      151 |      148
894.22/894.59	c  893s |      13 |   550542 |    58032 |   104282      0 |      151 |      148
896.62/896.92	c  895s |      13 |   551039 |    58132 |   104282      0 |      151 |      148
899.82/900.13	c  898s |      13 |   551265 |    58332 |   104282      0 |      151 |      148
900.22/900.56	c  899s |      14 |   551308 |    58352 |   104282      0 |      151 |      148
903.82/904.11	c  902s |      14 |   551599 |    58552 |   104282      0 |      151 |      148
907.42/907.74	c  906s |      14 |   551852 |    58752 |   104282      0 |      151 |      148
910.92/911.21	c  909s |      14 |   552096 |    58952 |   104282      0 |      151 |      148
913.02/913.32	c  911s |      14 |   552290 |    59052 |   104282      0 |      151 |      148
915.12/915.42	c  913s |      14 |   552398 |    59152 |   104282      0 |      151 |      148
918.12/918.50	c  916s |      14 |   552800 |    59352 |   104282      0 |      151 |      148
920.82/921.17	c  919s |      14 |   553099 |    59552 |   104282      0 |      151 |      148
924.61/924.94	c  923s |      14 |   553498 |    59752 |   104282      0 |      151 |      148
927.61/927.96	c  926s |      14 |   553644 |    59852 |   104282      0 |      151 |      148
931.11/931.42	c  929s |      14 |   553771 |    59952 |   104282      0 |      151 |      148
934.51/934.85	c  933s |      14 |   553902 |    60052 |   104282      0 |      151 |      148
938.51/938.87	c  937s |      14 |   554026 |    60152 |   104282      0 |      151 |      148
941.81/942.19	c  940s |      14 |   554169 |    60252 |   104282      0 |      151 |      148
944.51/944.89	c  943s |      14 |   554319 |    60352 |   104282      0 |      151 |      148
948.81/949.16	c  947s |      14 |   554471 |    60452 |   104282      0 |      151 |      148
953.11/953.50	c  951s |      14 |   554660 |    60552 |   104282      0 |      151 |      148
957.51/957.88	c  956s |      14 |   554806 |    60652 |   104282      0 |      151 |      148
961.41/961.76	c  960s |      14 |   554957 |    60752 |   104282      0 |      151 |      148
966.02/966.31	c  964s |      14 |   555094 |    60852 |   104282      0 |      151 |      148
969.12/969.41	c  967s |      14 |   555252 |    60952 |   104282      0 |      151 |      148
972.92/973.24	c  971s |      14 |   555526 |    61152 |   104282      0 |      151 |      148
975.12/975.47	c  973s |      14 |   555639 |    61252 |   104282      0 |      151 |      148
977.82/978.10	c  976s |      14 |   555962 |    61452 |   104282      0 |      151 |      148
980.71/981.06	c  979s |      14 |   556279 |    61652 |   104282      0 |      151 |      148
983.61/983.93	c  982s |      14 |   556587 |    61852 |   104282      0 |      151 |      148
986.11/986.42	c  984s |      14 |   556745 |    61952 |   104282      0 |      151 |      148
990.82/991.13	c  989s |      14 |   556855 |    62052 |   104282      0 |      151 |      148
993.02/993.38	c  991s |      14 |   557021 |    62152 |   104282      0 |      151 |      148
995.11/995.49	c  993s |      14 |   557462 |    62252 |   104282      0 |      151 |      148
999.41/999.74	c  998s |      14 |   557725 |    62452 |   104282      0 |      151 |      148
1001.51/1001.87	c 1000s |      14 |   558684 |    62552 |   104282      0 |      151 |      148
1004.02/1004.34	c 1002s |      14 |   558857 |    62652 |   104282      0 |      151 |      148
1008.31/1008.65	c 1007s |      14 |   559430 |    62852 |   104282      0 |      151 |      148
1010.91/1011.23	c 1009s |      14 |   559852 |    63052 |   104282      0 |      151 |      148
1016.91/1017.25	c 1015s |      14 |   560169 |    63252 |   104282      0 |      151 |      148
1021.81/1022.12	c 1020s |      14 |   560299 |    63352 |   104282      0 |      151 |      148
1027.41/1027.71	c 1026s |      14 |   560722 |    63452 |   104282      0 |      151 |      148
1031.51/1031.85	c 1030s |      14 |   561132 |    63552 |   104282      0 |      151 |      148
1034.11/1034.41	c 1032s |      14 |   562315 |    63652 |   104282      0 |      151 |      148
1037.81/1038.18	c 1036s |      14 |   562429 |    63752 |   104282      0 |      151 |      148
1041.21/1041.51	c 1040s |      14 |   562560 |    63852 |   104282      0 |      151 |      148
1043.91/1044.28	c 1042s |      14 |   562995 |    63952 |   104282      0 |      151 |      148
1047.40/1047.75	c 1046s |      14 |   563282 |    64052 |   104282      0 |      151 |      148
1051.90/1052.23	c 1050s |      14 |   563513 |    64152 |   104282      0 |      151 |      148
1054.10/1054.44	c 1052s |      14 |   563905 |    64252 |   104282      0 |      151 |      148
1058.90/1059.27	c 1057s |      14 |   564257 |    64352 |   104282      0 |      151 |      148
1064.30/1064.64	c 1063s |      14 |   565199 |    64452 |   104282      0 |      151 |      148
1072.90/1073.24	c 1071s |      14 |   565428 |    64552 |   104282      0 |      151 |      148
1079.70/1080.09	c 1078s |      14 |   565694 |    64652 |   104282      0 |      151 |      148
1082.50/1082.86	c 1081s |      14 |   566306 |    64852 |   104282      0 |      151 |      148
1084.80/1085.13	c 1083s |      14 |   566993 |    65052 |   104282      0 |      151 |      148
1087.10/1087.47	c 1085s |      14 |   568396 |    65152 |   104282      0 |      151 |      148
1090.50/1090.85	c 1089s |      14 |   568640 |    65252 |   104282      0 |      151 |      148
1095.70/1096.09	c 1094s |      14 |   568904 |    65352 |   104282      0 |      151 |      148
1104.00/1104.30	c 1102s |      14 |   569176 |    65452 |   104282      0 |      151 |      148
1107.59/1107.96	c 1106s |      14 |   569453 |    65552 |   104282      0 |      151 |      148
1112.19/1112.53	c 1111s |      14 |   569593 |    65652 |   104282      0 |      151 |      148
1117.19/1117.51	c 1116s |      14 |   569710 |    65752 |   104282      0 |      151 |      148
1120.29/1120.67	c 1119s |      14 |   569856 |    65852 |   104282      0 |      151 |      148
1122.90/1123.28	c 1121s |      14 |   570069 |    65952 |   104282      0 |      151 |      148
1128.09/1128.45	c 1126s |      14 |   570186 |    66052 |   104282      0 |      151 |      148
1133.19/1133.50	c 1131s |      14 |   570302 |    66152 |   104282      0 |      151 |      148
1137.49/1137.81	c 1136s |      14 |   570410 |    66252 |   104282      0 |      151 |      148
1140.89/1141.27	c 1139s |      14 |   570582 |    66352 |   104282      0 |      151 |      148
1144.09/1144.44	c 1142s |      14 |   570888 |    66452 |   104282      0 |      151 |      148
1147.49/1147.84	c 1146s |      14 |   571040 |    66552 |   104282      0 |      151 |      148
1150.39/1150.79	c 1149s |      14 |   571422 |    66652 |   104282      0 |      151 |      148
1154.29/1154.62	c 1153s |      14 |   571537 |    66752 |   104282      0 |      151 |      148
1157.29/1157.66	c 1156s |      14 |   571924 |    66852 |   104282      0 |      151 |      148
1160.59/1160.97	c 1159s |      14 |   572223 |    66952 |   104282      0 |      151 |      148
1165.38/1165.75	c 1164s |      14 |   572646 |    67052 |   104282      0 |      151 |      148
1168.18/1168.51	c 1167s |      14 |   573247 |    67152 |   104282      0 |      151 |      148
1172.48/1172.85	c 1171s |      14 |   573382 |    67252 |   104282      0 |      151 |      148
1179.48/1179.82	c 1178s |      14 |   574052 |    67352 |   104282      0 |      151 |      148
1182.08/1182.42	c 1180s |      14 |   574673 |    67452 |   104282      0 |      151 |      148
1184.28/1184.68	c 1183s |      14 |   574982 |    67552 |   104282      0 |      151 |      148
1187.58/1187.94	c 1186s |      14 |   575095 |    67652 |   104282      0 |      151 |      148
1191.28/1191.64	c 1190s |      14 |   576365 |    67752 |   104282      0 |      151 |      148
1194.78/1195.13	c 1193s |      14 |   576856 |    67852 |   104282      0 |      151 |      148
1196.98/1197.31	c 1195s |      14 |   578366 |    67952 |   104282      0 |      151 |      148
1199.38/1199.73	c 1198s |      14 |   579604 |    68052 |   104282      0 |      151 |      148
1202.58/1202.91	c 1201s |      14 |   579853 |    68152 |   104282      0 |      151 |      148
1205.98/1206.31	c 1204s |      14 |   580146 |    68252 |   104282      0 |      151 |      148
1209.98/1210.33	c 1208s |      14 |   581228 |    68352 |   104282      0 |      151 |      148
1212.48/1212.84	c 1211s |      14 |   581954 |    68552 |   104282      0 |      151 |      148
1214.78/1215.10	c 1213s |      14 |   582306 |    68652 |   104282      0 |      151 |      148
1217.28/1217.67	c 1216s |      14 |   582820 |    68852 |   104282      0 |      151 |      148
1222.58/1222.90	c 1221s |      14 |   583012 |    68952 |   104282      0 |      151 |      148
1226.78/1227.17	c 1225s |      14 |   583476 |    69052 |   104282      0 |      151 |      148
1234.17/1234.50	c 1232s |      14 |   583840 |    69152 |   104282      0 |      151 |      148
1236.87/1237.22	c 1235s |      14 |   584564 |    69252 |   104282      0 |      151 |      148
1241.58/1241.91	c 1240s |      14 |   585548 |    69452 |   104282      0 |      151 |      148
1245.07/1245.42	c 1243s |      14 |   586113 |    69552 |   104282      0 |      151 |      148
1247.37/1247.70	c 1246s |      14 |   586457 |    69652 |   104282      0 |      151 |      148
1251.67/1252.02	c 1250s |      14 |   587130 |    69852 |   104282      0 |      151 |      148
1253.68/1254.07	c 1252s |      14 |   587465 |    69952 |   104282      0 |      151 |      148
1256.87/1257.29	c 1255s |      14 |   587857 |    70052 |   104282      0 |      151 |      148
1259.97/1260.34	c 1258s |      14 |   588355 |    70252 |   104282      0 |      151 |      148
1263.68/1264.01	c 1262s |      14 |   588919 |    70452 |   104282      0 |      151 |      148
1266.57/1266.98	c 1265s |      14 |   589024 |    70552 |   104282      0 |      151 |      148
1269.37/1269.80	c 1268s |      14 |   589270 |    70652 |   104282      0 |      151 |      148
1272.37/1272.73	c 1271s |      14 |   589597 |    70752 |   104282      0 |      151 |      148
1278.37/1278.79	c 1277s |      14 |   589741 |    70852 |   104282      0 |      151 |      148
1282.37/1282.76	c 1281s |      14 |   590007 |    70952 |   104282      0 |      151 |      148
1285.47/1285.89	c 1284s |      14 |   590407 |    71052 |   104282      0 |      151 |      148
1289.37/1289.74	c 1288s |      14 |   590973 |    71252 |   104282      0 |      151 |      148
1292.46/1292.85	c 1291s |      14 |   591542 |    71452 |   104282      0 |      151 |      148
1294.76/1295.13	c 1293s |      14 |   591768 |    71552 |   104282      0 |      151 |      148
1298.56/1298.90	c 1297s |      14 |   591893 |    71652 |   104282      0 |      151 |      148
1303.96/1304.33	c 1302s |      14 |   592094 |    71752 |   104282      0 |      151 |      148
1306.26/1306.67	c 1305s |      14 |   592294 |    71852 |   104282      0 |      151 |      148
1308.86/1309.27	c 1307s |      14 |   592417 |    71952 |   104282      0 |      151 |      148
1311.76/1312.14	c 1310s |      14 |   592539 |    72052 |   104282      0 |      151 |      148
1315.46/1315.81	c 1314s |      14 |   592786 |    72252 |   104282      0 |      151 |      148
1318.67/1319.06	c 1317s |      14 |   592901 |    72352 |   104282      0 |      151 |      148
1322.76/1323.11	c 1321s |      14 |   593010 |    72452 |   104282      0 |      151 |      148
1326.06/1326.45	c 1324s |      14 |   593132 |    72552 |   104282      0 |      151 |      148
1331.06/1331.48	c 1329s |      14 |   593244 |    72652 |   104282      0 |      151 |      148
1335.26/1335.60	c 1334s |      14 |   593360 |    72752 |   104282      0 |      151 |      148
1339.66/1340.08	c 1338s |      14 |   593478 |    72852 |   104282      0 |      151 |      148
1344.46/1344.82	c 1343s |      14 |   593596 |    72952 |   104282      0 |      151 |      148
1348.76/1349.11	c 1347s |      14 |   593719 |    73052 |   104282      0 |      151 |      148
1352.66/1353.03	c 1351s |      14 |   593829 |    73152 |   104282      0 |      151 |      148
1356.65/1357.01	c 1355s |      14 |   593938 |    73252 |   104282      0 |      151 |      148
1359.65/1360.05	c 1358s |      14 |   594109 |    73352 |   104282      0 |      151 |      148
1363.15/1363.56	c 1362s |      14 |   594228 |    73452 |   104282      0 |      151 |      148
1367.65/1368.09	c 1366s |      14 |   594388 |    73552 |   104282      0 |      151 |      148
1371.85/1372.22	c 1370s |      14 |   594515 |    73652 |   104282      0 |      151 |      148
1375.95/1376.39	c 1374s |      14 |   594630 |    73752 |   104282      0 |      151 |      148
1381.15/1381.50	c 1379s |      14 |   594744 |    73852 |   104282      0 |      151 |      148
1386.15/1386.50	c 1384s |      14 |   594855 |    73952 |   104282      0 |      151 |      148
1389.35/1389.78	c 1388s |      14 |   594960 |    74052 |   104282      0 |      151 |      148
1393.95/1394.34	c 1392s |      14 |   595078 |    74152 |   104282      0 |      151 |      148
1397.65/1398.06	c 1396s |      14 |   595200 |    74252 |   104282      0 |      151 |      148
1400.75/1401.19	c 1399s |      14 |   595312 |    74352 |   104282      0 |      151 |      148
1406.75/1407.19	c 1405s |      14 |   595560 |    74552 |   104282      0 |      151 |      148
1410.64/1411.00	c 1409s |      14 |   595680 |    74652 |   104282      0 |      151 |      148
1414.64/1415.04	c 1413s |      14 |   595800 |    74752 |   104282      0 |      151 |      148
1417.84/1418.24	c 1416s |      14 |   595912 |    74852 |   104282      0 |      151 |      148
1421.04/1421.47	c 1419s |      14 |   596039 |    74952 |   104282      0 |      151 |      148
1423.54/1423.95	c 1422s |      14 |   596177 |    75052 |   104282      0 |      151 |      148
1426.35/1426.79	c 1425s |      14 |   596292 |    75152 |   104282      0 |      151 |      148
1429.84/1430.24	c 1428s |      14 |   596411 |    75252 |   104282      0 |      151 |      148
1433.64/1434.05	c 1432s |      14 |   596522 |    75352 |   104282      0 |      151 |      148
1435.94/1436.37	c 1434s |      14 |   596633 |    75452 |   104282      0 |      151 |      148
1438.74/1439.17	c 1437s |      14 |   596741 |    75552 |   104282      0 |      151 |      148
1442.14/1442.57	c 1441s |      14 |   596859 |    75652 |   104282      0 |      151 |      148
1445.84/1446.24	c 1444s |      14 |   596992 |    75752 |   104282      0 |      151 |      148
1449.84/1450.22	c 1448s |      14 |   597119 |    75852 |   104282      0 |      151 |      148
1453.44/1453.86	c 1452s |      14 |   597226 |    75952 |   104282      0 |      151 |      148
1456.44/1456.87	c 1455s |      14 |   597333 |    76052 |   104282      0 |      151 |      148
1458.94/1459.38	c 1457s |      14 |   597461 |    76152 |   104282      0 |      151 |      148
1461.34/1461.79	c 1460s |      14 |   597575 |    76252 |   104282      0 |      151 |      148
1463.94/1464.39	c 1462s |      14 |   597684 |    76352 |   104282      0 |      151 |      148
1466.84/1467.28	c 1465s |      14 |   597796 |    76452 |   104282      0 |      151 |      148
1469.43/1469.80	c 1468s |      14 |   597904 |    76552 |   104282      0 |      151 |      148
1471.63/1472.09	c 1470s |      14 |   598028 |    76652 |   104282      0 |      151 |      148
1475.03/1475.44	c 1473s |      14 |   598144 |    76752 |   104282      0 |      151 |      148
1478.04/1478.44	c 1476s |      14 |   598255 |    76852 |   104282      0 |      151 |      148
1480.83/1481.26	c 1479s |      14 |   598375 |    76952 |   104282      0 |      151 |      148
1485.03/1485.43	c 1483s |      14 |   598487 |    77052 |   104282      0 |      151 |      148
1488.33/1488.71	c 1487s |      14 |   598741 |    77252 |   104282      0 |      151 |      148
1490.93/1491.36	c 1489s |      14 |   599006 |    77452 |   104282      0 |      151 |      148
1493.63/1494.02	c 1492s |      14 |   599263 |    77652 |   104282      0 |      151 |      148
1496.63/1497.03	c 1495s |      14 |   599520 |    77852 |   104282      0 |      151 |      148
1500.14/1500.50	c 1499s |      14 |   599742 |    78052 |   104282      0 |      151 |      148
1503.63/1504.08	c 1502s |      14 |   600009 |    78252 |   104282      0 |      151 |      148
1506.53/1507.00	c 1505s |      14 |   600275 |    78452 |   104282      0 |      151 |      148
1508.84/1509.30	c 1507s |      14 |   600412 |    78552 |   104282      0 |      151 |      148
1511.83/1512.25	c 1510s |      14 |   600662 |    78752 |   104282      0 |      151 |      148
1515.03/1515.42	c 1513s |      14 |   600903 |    78952 |   104282      0 |      151 |      148
1518.33/1518.72	c 1517s |      14 |   601171 |    79152 |   104282      0 |      151 |      148
1521.83/1522.29	c 1520s |      14 |   601477 |    79352 |   104282      0 |      151 |      148
1524.63/1525.08	c 1523s |      14 |   601827 |    79552 |   104282      0 |      151 |      148
1527.53/1527.98	c 1526s |      14 |   602110 |    79752 |   104282      0 |      151 |      148
1531.12/1531.56	c 1530s |      14 |   602387 |    79952 |   104282      0 |      151 |      148
1534.02/1534.40	c 1532s |      14 |   602642 |    80152 |   104282      0 |      151 |      148
1536.72/1537.15	c 1535s |      14 |   602885 |    80352 |   104282      0 |      151 |      148
1539.63/1540.05	c 1538s |      14 |   603141 |    80552 |   104282      0 |      151 |      148
1542.42/1542.85	c 1541s |      14 |   603405 |    80752 |   104282      0 |      151 |      148
1545.52/1545.91	c 1544s |      14 |   603693 |    80952 |   104282      0 |      151 |      148
1548.72/1549.18	c 1547s |      14 |   603951 |    81152 |   104282      0 |      151 |      148
1551.02/1551.43	c 1549s |      14 |   604197 |    81352 |   104282      0 |      151 |      148
1553.02/1553.45	c 1551s |      14 |   604510 |    81552 |   104282      0 |      151 |      148
1555.82/1556.21	c 1554s |      14 |   604751 |    81752 |   104282      0 |      151 |      148
1558.02/1558.41	c 1556s |      14 |   604978 |    81952 |   104282      0 |      151 |      148
1560.22/1560.67	c 1559s |      14 |   605226 |    82152 |   104282      0 |      151 |      148
1563.72/1564.10	c 1562s |      14 |   605342 |    82252 |   104282      0 |      151 |      148
1567.72/1568.12	c 1566s |      14 |   605611 |    82452 |   104282      0 |      151 |      148
1569.72/1570.12	c 1568s |      14 |   605740 |    82552 |   104282      0 |      151 |      148
1572.92/1573.31	c 1571s |      14 |   605866 |    82652 |   104282      0 |      151 |      148
1576.62/1577.07	c 1575s |      14 |   606152 |    82852 |   104282      0 |      151 |      148
1580.42/1580.86	c 1579s |      14 |   606279 |    82952 |   104282      0 |      151 |      148
1586.31/1586.71	c 1585s |      14 |   606533 |    83152 |   104282      0 |      151 |      148
1589.61/1590.06	c 1588s |      14 |   606660 |    83252 |   104282      0 |      151 |      148
1592.91/1593.36	c 1591s |      14 |   606769 |    83352 |   104282      0 |      151 |      148
1597.21/1597.62	c 1596s |      14 |   607013 |    83552 |   104282      0 |      151 |      148
1599.21/1599.64	c 1598s |      14 |   607133 |    83652 |   104282      0 |      151 |      148
1601.81/1602.20	c 1600s |      14 |   607531 |    83852 |   104282      0 |      151 |      148
1605.21/1605.65	c 1604s |      14 |   607806 |    84052 |   104282      0 |      151 |      148
1609.31/1609.77	c 1608s |      14 |   608028 |    84252 |   104282      0 |      151 |      148
1613.91/1614.34	c 1612s |      14 |   608146 |    84352 |   104282      0 |      151 |      148
1618.21/1618.67	c 1617s |      14 |   608359 |    84552 |   104282      0 |      151 |      148
1621.41/1621.82	c 1620s |      14 |   608482 |    84652 |   104282      0 |      151 |      148
1624.21/1624.63	c 1623s |      14 |   608610 |    84752 |   104282      0 |      151 |      148
1626.61/1627.03	c 1625s |      14 |   608807 |    84852 |   104282      0 |      151 |      148
1629.61/1630.03	c 1628s |      14 |   609136 |    85052 |   104282      0 |      151 |      148
1632.11/1632.55	c 1631s |      14 |   609276 |    85152 |   104282      0 |      151 |      148
1635.91/1636.37	c 1634s |      14 |   609402 |    85252 |   104282      0 |      151 |      148
1638.40/1638.81	c 1637s |      14 |   609933 |    85452 |   104282      0 |      151 |      148
1640.81/1641.27	c 1639s |      14 |   610487 |    85652 |   104282      0 |      151 |      148
1645.00/1645.47	c 1643s |      14 |   610848 |    85852 |   104282      0 |      151 |      148
1648.80/1649.26	c 1647s |      14 |   610961 |    85952 |   104282      0 |      151 |      148
1652.60/1653.02	c 1651s |      14 |   611069 |    86052 |   104282      0 |      151 |      148
1654.70/1655.10	c 1653s |      14 |   611211 |    86152 |   104282      0 |      151 |      148
1658.41/1658.82	c 1657s |      14 |   611478 |    86352 |   104282      0 |      151 |      148
1661.30/1661.76	c 1660s |      14 |   611808 |    86552 |   104282      0 |      151 |      148
1663.50/1663.93	c 1662s |      14 |   612171 |    86652 |   104282      0 |      151 |      148
1666.11/1666.57	c 1665s |      14 |   612313 |    86752 |   104282      0 |      151 |      148
1669.10/1669.54	c 1668s |      14 |   612552 |    86852 |   104282      0 |      151 |      148
1671.80/1672.22	c 1670s |      14 |   612735 |    86952 |   104282      0 |      151 |      148
1674.80/1675.24	c 1673s |      14 |   612960 |    87052 |   114711      0 |      151 |      148
1677.00/1677.44	c 1675s |      14 |   613137 |    87152 |   114711      0 |      151 |      148
1679.10/1679.54	c 1678s |      14 |   613765 |    87452 |   114711      0 |      151 |      148
1680.10/1680.58	c 1679s |      15 |   614101 |    87632 |   114711      0 |      151 |      148
1683.00/1683.42	c 1681s |      15 |   614738 |    87832 |   114711      0 |      151 |      148
1685.20/1685.60	c 1684s |      15 |   615312 |    88132 |   114711      0 |      151 |      148
1687.30/1687.75	c 1686s |      15 |   615810 |    88332 |   114711      0 |      151 |      148
1689.61/1690.09	c 1688s |      15 |   616152 |    88532 |   114711      0 |      151 |      148
1693.11/1693.55	c 1692s |      15 |   616826 |    88832 |   114711      0 |      151 |      148
1695.21/1695.69	c 1694s |      15 |   617080 |    89032 |   114711      0 |      151 |      148
1698.30/1698.76	c 1697s |      15 |   617401 |    89232 |   114711      0 |      151 |      148
1701.20/1701.63	c 1700s |      15 |   617706 |    89432 |   114711      0 |      151 |      148
1705.20/1705.65	c 1704s |      15 |   618025 |    89532 |   114711      0 |      151 |      148
1707.70/1708.18	c 1706s |      15 |   618434 |    89732 |   114711      0 |      151 |      148
1710.21/1710.65	c 1709s |      15 |   618816 |    89932 |   114711      0 |      151 |      148
1713.30/1713.77	c 1712s |      15 |   619316 |    90132 |   114711      0 |      151 |      148
1718.00/1718.48	c 1716s |      15 |   619769 |    90332 |   114711      0 |      151 |      148
1721.40/1721.80	c 1720s |      15 |   620312 |    90532 |   114711      0 |      151 |      148
1724.00/1724.42	c 1722s |      15 |   620747 |    90732 |   114711      0 |      151 |      148
1726.20/1726.60	c 1725s |      15 |   621227 |    90932 |   114711      0 |      151 |      148
1729.40/1729.82	c 1728s |      15 |   621743 |    91132 |   114711      0 |      151 |      148
1732.40/1732.86	c 1731s |      15 |   622321 |    91332 |   114711      0 |      151 |      148
1734.80/1735.26	c 1733s |      15 |   622733 |    91532 |   114711      0 |      151 |      148
1737.40/1737.87	c 1736s |      15 |   623118 |    91732 |   114711      0 |      151 |      148
1739.50/1739.99	c 1738s |      15 |   623466 |    91932 |   114711      0 |      151 |      148
1741.90/1742.40	c 1740s |      15 |   623951 |    92132 |   114711      0 |      151 |      148
1744.40/1744.83	c 1743s |      15 |   624075 |    92232 |   114711      0 |      151 |      148
1748.50/1748.98	c 1747s |      15 |   624305 |    92432 |   114711      0 |      151 |      148
1751.70/1752.14	c 1750s |      15 |   624448 |    92532 |   114711      0 |      151 |      148
1754.10/1754.54	c 1753s |      15 |   624590 |    92632 |   114711      0 |      151 |      148
1756.70/1757.11	c 1755s |      15 |   624709 |    92732 |   114711      0 |      151 |      148
1760.70/1761.14	c 1759s |      15 |   624910 |    92832 |   114711      0 |      151 |      148
1764.59/1765.06	c 1763s |      15 |   625081 |    92932 |   114711      0 |      151 |      148
1767.79/1768.20	c 1766s |      15 |   625350 |    93032 |   114711      0 |      151 |      148
1770.49/1770.97	c 1769s |      15 |   625551 |    93132 |   114711      0 |      151 |      148
1773.90/1774.39	c 1772s |      15 |   625723 |    93232 |   114711      0 |      151 |      148
1776.99/1777.44	c 1775s |      15 |   625912 |    93332 |   114711      0 |      151 |      148
1780.50/1780.99	c 1779s |      15 |   626052 |    93432 |   114711      0 |      151 |      148
1783.99/1784.45	c 1782s |      15 |   626241 |    93532 |   114711      0 |      151 |      148
1786.59/1787.03	c 1785s |      15 |   626455 |    93632 |   114711      0 |      151 |      148
1789.09/1789.56	c 1788s |      15 |   626703 |    93732 |   114711      0 |      151 |      148
1792.39/1792.84	c 1791s |      15 |   626847 |    93832 |   114711      0 |      151 |      148
1795.39/1795.80	c 1794s |      15 |   626990 |    93932 |   114711      0 |      151 |      148
1797.89/1798.33	c 1796s |      15 |   627113 |    94032 |   114711      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-4079236-1465309393/watcher-4079236-1465309393 -o /tmp/evaluation-result-4079236-1465309393/solver-4079236-1465309393 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465278758-3413 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079236-1465309393.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.08 2.08 3/179 6123
/proc/meminfo: memFree=29954028/32872528 swapFree=12328/568296
[pid=6123] ppid=6120 vsize=339388 CPUtime=0 cores=1,3,5,7
/proc/6123/stat : 6123 (toysat) R 6120 6123 3396 0 -1 4202496 1199 0 0 0 0 0 0 0 20 0 4 0 112871910 347533312 1560 33554432000 4194304 16246674 140736846278048 140736846277472 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6123/statm: 85615 1571 441 2943 0 82509 0
[pid=6123/tid=6124] ppid=6120 vsize=355772 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6124/stat : 6124 (toysat) S 6120 6123 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112871910 364310528 1624 33554432000 4194304 16246674 140736846278048 139701933550832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6123/tid=6125] ppid=6120 vsize=360892 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6125/stat : 6125 (toysat) S 6120 6123 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 112871910 369553408 1641 33554432000 4194304 16246674 140736846278048 139701923060976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6123/tid=6126] ppid=6120 vsize=364988 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6126/stat : 6126 (toysat) S 6120 6123 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 112871910 373747712 1656 33554432000 4194304 16246674 140736846278048 139701912587440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.02 2.08 2.08 3/179 6123
/proc/meminfo: memFree=29954028/32872528 swapFree=12328/568296
[pid=6123] ppid=6120 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/6123/stat : 6123 (toysat) R 6120 6123 3396 0 -1 4202496 26828 0 0 0 5 3 0 0 20 0 4 0 112871910 1333334016 27128 33554432000 4194304 16246674 140736846278048 140736846277360 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6123/statm: 325521 27147 800 2943 0 322415 0
[pid=6123/tid=6124] ppid=6120 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6124/stat : 6124 (toysat) S 6120 6123 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112871910 1333334016 27159 33554432000 4194304 16246674 140736846278048 139701933550832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6123/tid=6125] ppid=6120 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6125/stat : 6125 (toysat) S 6120 6123 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 112871910 1333334016 27170 33554432000 4194304 16246674 140736846278048 139701923060976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6123/tid=6126] ppid=6120 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6126/stat : 6126 (toysat) S 6120 6123 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112871910 1333334016 27180 33554432000 4194304 16246674 140736846278048 139701912587440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200554 s]
/proc/loadavg: 2.02 2.08 2.08 3/179 6123
/proc/meminfo: memFree=29954028/32872528 swapFree=12328/568296
[pid=6123] ppid=6120 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/6123/stat : 6123 (toysat) R 6120 6123 3396 0 -1 4202496 45602 0 0 0 13 6 0 0 20 0 4 0 112871910 1344868352 46412 33554432000 4194304 16246674 140736846278048 140736846277360 7361631 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6123/statm: 328337 46412 800 2943 0 325231 0
[pid=6123/tid=6124] ppid=6120 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6124/stat : 6124 (toysat) S 6120 6123 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112871910 1344868352 46412 33554432000 4194304 16246674 140736846278048 139701933550832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6123/tid=6125] ppid=6120 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6125/stat : 6125 (toysat) S 6120 6123 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 112871910 1344868352 46412 33554432000 4194304 16246674 140736846278048 139701923060976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6123/tid=6126] ppid=6120 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6126/stat : 6126 (toysat) S 6120 6123 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112871910 1344868352 46412 33554432000 4194304 16246674 140736846278048 139701912587440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.30051 s]
/proc/loadavg: 2.02 2.08 2.08 3/179 6123
/proc/meminfo: memFree=29954028/32872528 swapFree=12328/568296
[pid=6123] ppid=6120 vsize=1313348 CPUtime=0.28 cores=1,3,5,7
/proc/6123/stat : 6123 (toysat) R 6120 6123 3396 0 -1 4202496 56048 0 0 0 21 7 0 0 20 0 4 0 112871910 1344868352 56858 33554432000 4194304 16246674 140736846278048 140736846277360 4206868 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6123/statm: 328337 56858 800 2943 0 325231 0
[pid=6123/tid=6124] ppid=6120 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6124/stat : 6124 (toysat) S 6120 6123 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112871910 1344868352 56858 33554432000 4194304 16246674 140736846278048 139701933550832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6123/tid=6125] ppid=6120 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6125/stat : 6125 (toysat) S 6120 6123 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 112871910 1344868352 56858 33554432000 4194304 16246674 140736846278048 139701923060976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6123/tid=6126] ppid=6120 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6126/stat : 6126 (toysat) S 6120 6123 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112871910 1344868352 56858 33554432000 4194304 16246674 140736846278048 139701912587440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700412 s]
/proc/loadavg: 2.02 2.08 2.08 3/179 6123
/proc/meminfo: memFree=29954028/32872528 swapFree=12328/568296
[pid=6123] ppid=6120 vsize=1315396 CPUtime=0.68 cores=1,3,5,7
/proc/6123/stat : 6123 (toysat) R 6120 6123 3396 0 -1 4202496 85442 0 0 0 56 12 0 0 20 0 4 0 112871910 1346965504 86252 33554432000 4194304 16246674 140736846278048 140736846259968 12369833 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6123/statm: 328849 86263 834 2943 0 325743 0
[pid=6123/tid=6124] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6124/stat : 6124 (toysat) S 6120 6123 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 86268 33554432000 4194304 16246674 140736846278048 139701933550832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6123/tid=6125] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6125/stat : 6125 (toysat) S 6120 6123 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 86274 33554432000 4194304 16246674 140736846278048 139701923060976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6123/tid=6126] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6126/stat : 6126 (toysat) S 6120 6123 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 86279 33554432000 4194304 16246674 140736846278048 139701912587440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1315396

[startup+1.50043 s]
/proc/loadavg: 2.02 2.08 2.08 3/183 6127
/proc/meminfo: memFree=29300768/32872528 swapFree=12328/568296
[pid=6123] ppid=6120 vsize=1315396 CPUtime=1.49 cores=1,3,5,7
/proc/6123/stat : 6123 (toysat) R 6120 6123 3396 0 -1 4202496 216195 0 0 0 116 33 0 0 20 0 4 0 112871910 1346965504 217005 33554432000 4194304 16246674 140736846278048 140736846277360 4206970 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6123/statm: 328849 217005 840 2943 0 325743 0
[pid=6123/tid=6124] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6124/stat : 6124 (toysat) S 6120 6123 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 217005 33554432000 4194304 16246674 140736846278048 139701933550832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6123/tid=6125] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6125/stat : 6125 (toysat) S 6120 6123 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 217005 33554432000 4194304 16246674 140736846278048 139701923060976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6123/tid=6126] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6126/stat : 6126 (toysat) S 6120 6123 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 217005 33554432000 4194304 16246674 140736846278048 139701912587440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1315396

[startup+3.10042 s]
/proc/loadavg: 2.02 2.07 2.08 3/183 6127
/proc/meminfo: memFree=29086620/32872528 swapFree=12328/568296
[pid=6123] ppid=6120 vsize=1315396 CPUtime=3.09 cores=1,3,5,7
/proc/6123/stat : 6123 (toysat) R 6120 6123 3396 0 -1 4202496 216250 0 0 0 276 33 0 0 20 0 4 0 112871910 1346965504 217060 33554432000 4194304 16246674 140736846278048 140736846259904 5661532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6123/statm: 328849 217060 895 2943 0 325743 0
[pid=6123/tid=6124] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6124/stat : 6124 (toysat) S 6120 6123 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 217060 33554432000 4194304 16246674 140736846278048 139701933550832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6123/tid=6125] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6125/stat : 6125 (toysat) S 6120 6123 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 217060 33554432000 4194304 16246674 140736846278048 139701923060976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6123/tid=6126] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6126/stat : 6126 (toysat) S 6120 6123 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 217060 33554432000 4194304 16246674 140736846278048 139701912587440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1315396

[startup+6.30043 s]
/proc/loadavg: 2.02 2.07 2.08 3/183 6127
/proc/meminfo: memFree=28873960/32872528 swapFree=12328/568296
[pid=6123] ppid=6120 vsize=1315396 CPUtime=6.29 cores=1,3,5,7
/proc/6123/stat : 6123 (toysat) R 6120 6123 3396 0 -1 4202496 269531 0 0 0 590 39 0 0 20 0 4 0 112871910 1346965504 270341 33554432000 4194304 16246674 140736846278048 140736846259968 12483512 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6123/statm: 328849 270341 895 2943 0 325743 0
[pid=6123/tid=6124] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6124/stat : 6124 (toysat) S 6120 6123 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270341 33554432000 4194304 16246674 140736846278048 139701933550832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6123/tid=6125] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6125/stat : 6125 (toysat) S 6120 6123 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270341 33554432000 4194304 16246674 140736846278048 139701923060976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6123/tid=6126] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6126/stat : 6126 (toysat) S 6120 6123 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270341 33554432000 4194304 16246674 140736846278048 139701912587440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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: 2.09 2.09 2.08 3/183 6127
/proc/meminfo: memFree=28874360/32872528 swapFree=12328/568296
[pid=6123] ppid=6120 vsize=1315396 CPUtime=12.69 cores=1,3,5,7
/proc/6123/stat : 6123 (toysat) R 6120 6123 3396 0 -1 4202496 269531 0 0 0 1230 39 0 0 20 0 4 0 112871910 1346965504 270341 33554432000 4194304 16246674 140736846278048 140736846259968 5667205 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6123/statm: 328849 270341 895 2943 0 325743 0
[pid=6123/tid=6124] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6124/stat : 6124 (toysat) S 6120 6123 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270341 33554432000 4194304 16246674 140736846278048 139701933550832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6123/tid=6125] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6125/stat : 6125 (toysat) S 6120 6123 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270341 33554432000 4194304 16246674 140736846278048 139701923060976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6123/tid=6126] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6126/stat : 6126 (toysat) S 6120 6123 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270341 33554432000 4194304 16246674 140736846278048 139701912587440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.07 2.08 2.08 3/183 6127
/proc/meminfo: memFree=28875472/32872528 swapFree=12328/568296
[pid=6123] ppid=6120 vsize=1315396 CPUtime=25.48 cores=1,3,5,7
/proc/6123/stat : 6123 (toysat) R 6120 6123 3396 0 -1 4202496 269531 0 0 0 2509 39 0 0 20 0 4 0 112871910 1346965504 270341 33554432000 4194304 16246674 140736846278048 140736846259968 13781202 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6123/statm: 328849 270341 895 2943 0 325743 0
[pid=6123/tid=6124] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6124/stat : 6124 (toysat) S 6120 6123 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270341 33554432000 4194304 16246674 140736846278048 139701933550832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6123/tid=6125] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6125/stat : 6125 (toysat) S 6120 6123 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270341 33554432000 4194304 16246674 140736846278048 139701923060976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6123/tid=6126] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6126/stat : 6126 (toysat) S 6120 6123 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270341 33554432000 4194304 16246674 140736846278048 139701912587440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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: 2.05 2.08 2.08 3/183 6127
/proc/meminfo: memFree=28875356/32872528 swapFree=12328/568296
[pid=6123] ppid=6120 vsize=1315396 CPUtime=51.08 cores=1,3,5,7
/proc/6123/stat : 6123 (toysat) R 6120 6123 3396 0 -1 4202496 269533 0 0 0 5069 39 0 0 20 0 4 0 112871910 1346965504 270343 33554432000 4194304 16246674 140736846278048 140736846259968 13780660 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6123/statm: 328849 270343 897 2943 0 325743 0
[pid=6123/tid=6124] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6124/stat : 6124 (toysat) S 6120 6123 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270343 33554432000 4194304 16246674 140736846278048 139701933550832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6123/tid=6125] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6125/stat : 6125 (toysat) S 6120 6123 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270343 33554432000 4194304 16246674 140736846278048 139701923060976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6123/tid=6126] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6126/stat : 6126 (toysat) S 6120 6123 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270343 33554432000 4194304 16246674 140736846278048 139701912587440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.301 s]
/proc/loadavg: 2.02 2.06 2.07 3/183 6177
/proc/meminfo: memFree=29187652/32872528 swapFree=12328/568296
[pid=6123] ppid=6120 vsize=1315396 CPUtime=102.28 cores=1,3,5,7
/proc/6123/stat : 6123 (toysat) R 6120 6123 3396 0 -1 4202496 269533 0 0 0 10189 39 0 0 20 0 4 0 112871910 1346965504 270343 33554432000 4194304 16246674 140736846278048 140736846259968 5711968 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6123/statm: 328849 270343 897 2943 0 325743 0
[pid=6123/tid=6124] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6124/stat : 6124 (toysat) S 6120 6123 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270343 33554432000 4194304 16246674 140736846278048 139701933550832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6123/tid=6125] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6125/stat : 6125 (toysat) S 6120 6123 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270343 33554432000 4194304 16246674 140736846278048 139701923060976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6123/tid=6126] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6126/stat : 6126 (toysat) S 6120 6123 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270343 33554432000 4194304 16246674 140736846278048 139701912587440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1315396


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

/proc/6123/task/6126/stat : 6126 (toysat) S 6120 6123 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701912587440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.07 2.05 2.04 3/183 6209
/proc/meminfo: memFree=28862348/32872528 swapFree=12328/568296
[pid=6123] ppid=6120 vsize=1315396 CPUtime=1361.95 cores=1,3,5,7
/proc/6123/stat : 6123 (toysat) R 6120 6123 3396 0 -1 4202496 269744 0 0 0 136154 41 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 140736846259968 12483303 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6123/statm: 328849 270348 901 2943 0 325743 0
[pid=6123/tid=6124] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6124/stat : 6124 (toysat) S 6120 6123 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701933550832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6123/tid=6125] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6125/stat : 6125 (toysat) S 6120 6123 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701923060976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6123/tid=6126] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6126/stat : 6126 (toysat) S 6120 6123 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701912587440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.02 2.04 2.04 3/183 6210
/proc/meminfo: memFree=28861588/32872528 swapFree=12328/568296
[pid=6123] ppid=6120 vsize=1315396 CPUtime=1421.95 cores=1,3,5,7
/proc/6123/stat : 6123 (toysat) R 6120 6123 3396 0 -1 4202496 269744 0 0 0 142154 41 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 140736846259968 12483303 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6123/statm: 328849 270348 901 2943 0 325743 0
[pid=6123/tid=6124] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6124/stat : 6124 (toysat) S 6120 6123 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701933550832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6123/tid=6125] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6125/stat : 6125 (toysat) S 6120 6123 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701923060976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6123/tid=6126] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6126/stat : 6126 (toysat) S 6120 6123 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701912587440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.15 2.06 2.04 3/183 6212
/proc/meminfo: memFree=28862440/32872528 swapFree=12328/568296
[pid=6123] ppid=6120 vsize=1315396 CPUtime=1481.93 cores=1,3,5,7
/proc/6123/stat : 6123 (toysat) R 6120 6123 3396 0 -1 4202496 269744 0 0 0 148152 41 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 140736846259968 12483326 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6123/statm: 328849 270348 901 2943 0 325743 0
[pid=6123/tid=6124] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6124/stat : 6124 (toysat) S 6120 6123 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701933550832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6123/tid=6125] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6125/stat : 6125 (toysat) S 6120 6123 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701923060976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6123/tid=6126] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6126/stat : 6126 (toysat) S 6120 6123 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701912587440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.05 2.05 2.04 3/183 6213
/proc/meminfo: memFree=28862808/32872528 swapFree=12328/568296
[pid=6123] ppid=6120 vsize=1315396 CPUtime=1541.93 cores=1,3,5,7
/proc/6123/stat : 6123 (toysat) R 6120 6123 3396 0 -1 4202496 269744 0 0 0 154152 41 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 140736846259968 12483423 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6123/statm: 328849 270348 901 2943 0 325743 0
[pid=6123/tid=6124] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6124/stat : 6124 (toysat) S 6120 6123 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701933550832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6123/tid=6125] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6125/stat : 6125 (toysat) S 6120 6123 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701923060976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6123/tid=6126] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6126/stat : 6126 (toysat) S 6120 6123 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701912587440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.06 2.05 2.04 3/183 6214
/proc/meminfo: memFree=28863060/32872528 swapFree=12328/568296
[pid=6123] ppid=6120 vsize=1315396 CPUtime=1601.91 cores=1,3,5,7
/proc/6123/stat : 6123 (toysat) R 6120 6123 3396 0 -1 4202496 269744 0 0 0 160150 41 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 140736846259968 5717462 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6123/statm: 328849 270348 901 2943 0 325743 0
[pid=6123/tid=6124] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6124/stat : 6124 (toysat) S 6120 6123 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701933550832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6123/tid=6125] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6125/stat : 6125 (toysat) S 6120 6123 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701923060976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6123/tid=6126] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6126/stat : 6126 (toysat) S 6120 6123 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701912587440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.12 2.07 2.04 3/184 6218
/proc/meminfo: memFree=28862968/32872528 swapFree=12328/568296
[pid=6123] ppid=6120 vsize=1315396 CPUtime=1661.9 cores=1,3,5,7
/proc/6123/stat : 6123 (toysat) R 6120 6123 3396 0 -1 4202496 269744 0 0 0 166149 41 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 140736846259968 12483218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6123/statm: 328849 270348 901 2943 0 325743 0
[pid=6123/tid=6124] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6124/stat : 6124 (toysat) S 6120 6123 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701933550832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6123/tid=6125] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6125/stat : 6125 (toysat) S 6120 6123 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701923060976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6123/tid=6126] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6126/stat : 6126 (toysat) S 6120 6123 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701912587440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.10 2.07 2.04 3/183 6219
/proc/meminfo: memFree=28862736/32872528 swapFree=12328/568296
[pid=6123] ppid=6120 vsize=1315396 CPUtime=1721.9 cores=1,3,5,7
/proc/6123/stat : 6123 (toysat) R 6120 6123 3396 0 -1 4202496 269744 0 0 0 172148 42 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 140736846259968 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6123/statm: 328849 270348 901 2943 0 325743 0
[pid=6123/tid=6124] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6124/stat : 6124 (toysat) S 6120 6123 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701933550832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6123/tid=6125] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6125/stat : 6125 (toysat) S 6120 6123 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701923060976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6123/tid=6126] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6126/stat : 6126 (toysat) S 6120 6123 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701912587440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.09 2.07 2.04 3/183 6221
/proc/meminfo: memFree=28862492/32872528 swapFree=12328/568296
[pid=6123] ppid=6120 vsize=1315396 CPUtime=1781.89 cores=1,3,5,7
/proc/6123/stat : 6123 (toysat) R 6120 6123 3396 0 -1 4202496 269744 0 0 0 178147 42 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 140736846259968 5545713 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6123/statm: 328849 270348 901 2943 0 325743 0
[pid=6123/tid=6124] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6124/stat : 6124 (toysat) S 6120 6123 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701933550832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6123/tid=6125] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6125/stat : 6125 (toysat) S 6120 6123 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701923060976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6123/tid=6126] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6126/stat : 6126 (toysat) S 6120 6123 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701912587440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.07 2.06 2.04 3/183 6221
/proc/meminfo: memFree=28862616/32872528 swapFree=12328/568296
[pid=6123] ppid=6120 vsize=1315396 CPUtime=1800.09 cores=1,3,5,7
/proc/6123/stat : 6123 (toysat) R 6120 6123 3396 0 -1 4202496 269744 0 0 0 179967 42 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 140736846259968 13950236 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6123/statm: 328849 270348 901 2943 0 325743 0
[pid=6123/tid=6124] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6124/stat : 6124 (toysat) S 6120 6123 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701933550832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6123/tid=6125] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6125/stat : 6125 (toysat) S 6120 6123 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701923060976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6123/tid=6126] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6126/stat : 6126 (toysat) S 6120 6123 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701912587440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 6123 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.07 2.06 2.04 3/183 6221
/proc/meminfo: memFree=28862616/32872528 swapFree=12328/568296
[pid=6123] ppid=6120 vsize=1315396 CPUtime=1800.09 cores=1,3,5,7
/proc/6123/stat : 6123 (toysat) R 6120 6123 3396 0 -1 4202496 269744 0 0 0 179967 42 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 140736846259968 13950236 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6123/statm: 328849 270348 901 2943 0 325743 0
[pid=6123/tid=6124] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6124/stat : 6124 (toysat) S 6120 6123 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701933550832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6123/tid=6125] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6125/stat : 6125 (toysat) S 6120 6123 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701923060976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6123/tid=6126] ppid=6120 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6123/task/6126/stat : 6126 (toysat) S 6120 6123 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 112871910 1346965504 270348 33554432000 4194304 16246674 140736846278048 139701912587440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1315396

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1799.68
CPU system time (s): 0.423935
CPU usage (%): 99.9772
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.423935
maximum resident set size= 1081392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269744
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= 221
involuntary context switches= 2005

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.50931 second user time and 7.03693 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-07 16:23:13
IDJOB=4079236
IDBENCH=91894
IDSOLVER=2542
FILE ID=node138/4079236-1465309393
RUNJOBID= node138-1465278758-3413
PBS_JOBID= 19843315
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_20null50mast_rapportOE2.0_TMAX60_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-4079236-1465309393/watcher-4079236-1465309393 -o /tmp/evaluation-result-4079236-1465309393/solver-4079236-1465309393 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465278758-3413 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079236-1465309393.opb

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

MD5SUM BENCH= cbe19c75f2e679c0a1949db29fa1022e
RANDOM SEED=1878093406

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.807
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.807
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:        29954564 kB
Buffers:          137852 kB
Cached:           315624 kB
SwapCached:        46740 kB
Active:          1269888 kB
Inactive:         340228 kB
Active(anon):    1111116 kB
Inactive(anon):    47692 kB
Active(file):     158772 kB
Inactive(file):   292536 kB
Unevictable:      568296 kB
Mlocked:           12328 kB
SwapTotal:      67108856 kB
SwapFree:       67053660 kB
Dirty:             18856 kB
Writeback:             0 kB
AnonPages:       1679396 kB
Mapped:            11716 kB
Shmem:                 0 kB
Slab:             604788 kB
SReclaimable:      48128 kB
SUnreclaim:       556660 kB
KernelStack:        1464 kB
PageTables:         7456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1824912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1656832 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= 71692 MiB
End job on node138 at 2016-06-07 16:53:14