Trace number 4080029

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.03 1800.41

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null50mast_rapportOE2.0_TMAX15_K67_cod2.opb
MD5SUM4aec499ebd970c139326f13f1d94e40d
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.723889
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 243
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 243
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 14371
Number of bits of the biggest sum of numbers14
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-07T10:25:36+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-4080029-1465287935.opb"]
0.00/0.01	c use --random-gen="1621940887 2959224250 3360148329 419638549 165466714 2063399739 4127175870 3131777925 3011425501 3133508715 1040079201 3004434360 3046971799 1063591467 3033405241 2088374523 1891835483 3771844883 1565324793 3217319701 4194672531 154585578 2801891393 80574211 151082479 3130069673 2703651071 3436046135 234338597 3434325756 488275419 3894183577 3172640569 1825831507 1717850786 198680371 3175252695 3498811665 4252017020 1785446197 2191077574 2096101251 1373699014 1955126176 31024472 1800322719 933174840 157733798 1727044694 2577481003 1782949451 4280555016 1333901332 1443015385 2926149510 2702396296 1732063859 964125254 1288929106 1471757094 714370690 2298627325 3354453862 493317325 2344827191 1098762773 1977119784 2950186265 442524556 2568472495 1721278594 345129719 2117789682 595121910 3637589381 3053448971 2847244446 2480990485 3299642365 2365941535 4234297957 3669469274 3943687174 3232752675 784887039 4250969003 3186375788 2086033763 2117480732 3707761297 2877263730 4136483565 150022413 3227079822 4277018947 3472502781 649341331 2510934793 3868211870 3758203506 3293713536 2434742098 2626346131 3548895653 1368515283 1208718409 1336314307 3066579959 2672775483 330498758 3681570492 151823148 1713977225 934415718 1228031341 3172811892 1726833418 652595176 1379558891 1587565172 4292378819 3873229721 3753130699 3218082689 3986487776 2785910082 3344049472 886345570 272430111 785791895 1492533013 619445978 3513194868 1549865508 3389181038 2062166607 9611010 3166981043 376757982 2512920777 4104696816 1353833843 2991807013 583370151 553009984 1106008902 2687155406 1084145610 1992341240 2834541845 353618795 3679744768 2996645095 995739839 2931679855 3203984681 1000648963 3087382288 2223661172 4274139080 708836657 3671946244 2106867061 706978065 2690557413 909867454 3841846785 690334201 3572107887 293242053 4232794330 2621833190 3520579422 4082607826 3167683934 3985148439 3472000133 1741483460 3935731952 2936335283 2358299795 2956847081 3814478050 3437442977 3854178539 2627293107 3285741387 82103091 4130097597 2320738096 3155974722 4016911335 2119097633 3956061341 3734796883 951684281 705404395 1545752833 3407341516 309896367 1026490307 2000057426 3771209194 3028329599 1977175380 1603201047 31234917 2629682418 1863738656 2510556107 3110502790 396069519 1111445287 4092786707 4204867982 1087688804 125135028 2699093846 1942012318 3225616769 3048568779 3460131006 3815611423 829868824 77767102 3851753453 2721553188 3989762023 3879655035 1621576360 1415758126 3035375175 3689811646 531466948 2715289143 1899253385 902684127 4039797586 3874316834 3098974193 788236829 3007271421 457533411 3214494847 610421873 462610452 227495906 2083952774 1490641710 4033285592 1153246384 2420216299 1576759478 2371137315 3180080863 2980502741 255 362436" option to reproduce the execution
0.39/0.44	c #vars 40937
0.39/0.44	c #constraints 41436
1.49/1.51	c BCD2: Hardening is enabled.
1.49/1.51	c BCD2: BiasedSearch is enabled.
1.49/1.51	c Solving starts ...
1.49/1.51	c ============================[ Search Statistics ]============================
1.49/1.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.49/1.51	c       |         |          |          |    Limit     GC | Var      | Constra 
1.49/1.51	c =============================================================================
1.49/1.51	c  0.0s |       0 |        0 |        0 |    27456      0 |      125 |        0
2.79/2.81	c  1.3s |       1 |      830 |      100 |    27456      0 |      148 |      146
4.99/5.00	c  3.5s |       2 |     2947 |      250 |    30202      0 |      148 |      146
7.80/7.86	c  6.4s |       2 |     6658 |      450 |    33223      0 |      148 |      146
8.19/8.26	c  6.8s |       3 |     6726 |      475 |    33223      0 |      148 |      146
11.19/11.23	c  9.7s |       3 |    10437 |      575 |    36546      0 |      148 |      146
13.69/13.77	c 12.3s |       3 |    13325 |      775 |    36546      0 |      148 |      146
14.29/14.38	c 12.9s |       4 |    13518 |      813 |    36546      0 |      148 |      146
17.69/17.72	c 16.2s |       4 |    19821 |      913 |    40201      0 |      148 |      146
21.59/21.65	c 20.1s |       4 |    27644 |     1113 |    40201      0 |      148 |      146
26.09/26.17	c 24.7s |       4 |    30633 |     1313 |    40201      0 |      148 |      146
26.29/26.35	c 24.8s |       5 |    30661 |     1320 |    40201      0 |      148 |      146
28.79/28.89	c 27.4s |       5 |    32280 |     1420 |    44222      0 |      148 |      146
33.09/33.14	c 31.6s |       5 |    41180 |     1620 |    44222      0 |      148 |      146
35.98/36.07	c 34.6s |       5 |    44889 |     1820 |    44222      0 |      148 |      146
40.48/40.53	c 39.0s |       5 |    51194 |     2020 |    44222      0 |      148 |      146
41.89/41.98	c 40.5s |       6 |    53679 |     2081 |    48645      0 |      148 |      146
44.48/44.54	c 43.0s |       6 |    55345 |     2381 |    48645      0 |      148 |      146
47.88/47.99	c 46.5s |       6 |    58486 |     2681 |    48645      0 |      148 |      146
51.69/51.73	c 50.2s |       6 |    64309 |     2881 |    48645      0 |      148 |      146
54.18/54.21	c 52.7s |       6 |    66500 |     2981 |    48645      0 |      148 |      146
58.48/58.54	c 57.0s |       6 |    68153 |     3081 |    48645      0 |      148 |      146
60.78/60.85	c 59.3s |       6 |    68336 |     3181 |    48645      0 |      148 |      146
62.08/62.19	c 60.7s |       7 |    68513 |     3223 |    53510      0 |      148 |      146
65.88/65.90	c 64.4s |       7 |    73111 |     3423 |    53510      0 |      148 |      146
68.08/68.18	c 66.7s |       7 |    73726 |     3523 |    53510      0 |      148 |      146
70.78/70.86	c 69.4s |       7 |    75437 |     3723 |    53510      0 |      148 |      146
73.28/73.36	c 71.8s |       7 |    76269 |     3823 |    53510      0 |      148 |      146
76.18/76.29	c 74.8s |       7 |    79742 |     4023 |    53510      0 |      148 |      146
78.28/78.35	c 76.8s |       7 |    80614 |     4123 |    53510      0 |      148 |      146
81.48/81.55	c 80.0s |       7 |    81751 |     4223 |    53510      0 |      148 |      146
84.28/84.32	c 82.8s |       7 |    84181 |     4423 |    53510      0 |      148 |      146
86.28/86.35	c 84.8s |       7 |    90782 |     4623 |    53510      0 |      148 |      146
88.88/88.91	c 87.4s |       7 |    93139 |     4723 |    53510      0 |      148 |      146
92.48/92.55	c 91.0s |       7 |    98557 |     4923 |    58862      0 |      148 |      146
92.88/92.99	c 91.5s |       8 |    98873 |     4936 |    58862      0 |      148 |      146
96.08/96.18	c 94.7s |       8 |   100599 |     5036 |    58862      0 |      148 |      146
98.18/98.24	c 96.7s |       8 |   101891 |     5136 |    58862      0 |      148 |      146
103.17/103.25	c  101s |       8 |   104946 |     5336 |    58862      0 |      148 |      146
106.07/106.18	c  104s |       8 |   106986 |     5536 |    58862      0 |      148 |      146
109.77/109.85	c  108s |       8 |   109060 |     5736 |    58862      0 |      148 |      146
113.77/113.86	c  112s |       8 |   111114 |     5936 |    58862      0 |      148 |      146
115.97/116.02	c  114s |       8 |   112877 |     6036 |    58862      0 |      148 |      146
119.77/119.84	c  118s |       8 |   115803 |     6236 |    58862      0 |      148 |      146
124.47/124.50	c  122s |       8 |   117101 |     6336 |    58862      0 |      148 |      146
128.07/128.19	c  126s |       8 |   118623 |     6536 |    58862      0 |      148 |      146
130.17/130.24	c  128s |       8 |   119935 |     6636 |    58862      0 |      148 |      146
132.67/132.71	c  131s |       8 |   121238 |     6736 |    58862      0 |      148 |      146
134.97/135.06	c  133s |       8 |   121588 |     6836 |    58862      0 |      148 |      146
138.07/138.14	c  136s |       8 |   125652 |     7036 |    58862      0 |      148 |      146
140.78/140.85	c  139s |       8 |   127057 |     7236 |    58862      0 |      148 |      146
145.87/145.95	c  144s |       8 |   128311 |     7436 |    58862      0 |      148 |      146
147.17/147.27	c  145s |       9 |   130209 |     7506 |    64749      0 |      148 |      146
149.27/149.37	c  147s |       9 |   132754 |     7606 |    64749      0 |      148 |      146
153.17/153.20	c  151s |       9 |   134263 |     7806 |    64749      0 |      148 |      146
156.47/156.52	c  155s |       9 |   135897 |     8106 |    64749      0 |      148 |      146
158.97/159.01	c  157s |       9 |   138534 |     8206 |    64749      0 |      148 |      146
161.27/161.31	c  159s |       9 |   140003 |     8306 |    64749      0 |      148 |      146
163.47/163.53	c  162s |       9 |   142510 |     8506 |    64749      0 |      148 |      146
168.96/169.03	c  167s |       9 |   144547 |     8706 |    64749      0 |      148 |      146
171.76/171.84	c  170s |       9 |   145102 |     8806 |    64749      0 |      148 |      146
174.36/174.49	c  172s |       9 |   145423 |     8906 |    64749      0 |      148 |      146
178.06/178.15	c  176s |       9 |   145753 |     9006 |    64749      0 |      148 |      146
181.76/181.86	c  180s |       9 |   147130 |     9106 |    64749      0 |      148 |      146
186.56/186.67	c  185s |       9 |   151589 |     9306 |    64749      0 |      148 |      146
190.46/190.52	c  189s |       9 |   160144 |     9506 |    64749      0 |      148 |      146
193.57/193.61	c  192s |       9 |   165241 |     9706 |    64749      0 |      148 |      146
196.46/196.58	c  195s |       9 |   168035 |     9806 |    64749      0 |      148 |      146
198.76/198.85	c  197s |       9 |   169063 |     9906 |    64749      0 |      148 |      146
201.76/201.87	c  200s |       9 |   175486 |    10106 |    64749      0 |      148 |      146
206.16/206.20	c  204s |       9 |   176396 |    10206 |    64749      0 |      148 |      146
208.46/208.53	c  207s |       9 |   177895 |    10306 |    64749      0 |      148 |      146
210.66/210.79	c  209s |       9 |   181086 |    10406 |    64749      0 |      148 |      146
213.96/214.00	c  212s |       9 |   181771 |    10506 |    64749      0 |      148 |      146
217.56/217.68	c  216s |       9 |   182380 |    10606 |    64749      0 |      148 |      146
222.36/222.49	c  220s |       9 |   183510 |    10706 |    64749      0 |      148 |      146
224.46/224.56	c  223s |       9 |   184061 |    10806 |    64749      0 |      148 |      146
228.66/228.79	c  227s |       9 |   184885 |    11006 |    64749      0 |      148 |      146
232.85/232.90	c  231s |       9 |   186090 |    11106 |    64749      0 |      148 |      146
235.25/235.32	c  233s |       9 |   186500 |    11206 |    64749      0 |      148 |      146
237.85/237.98	c  236s |       9 |   186732 |    11306 |    71224      0 |      148 |      146
238.55/238.67	c  237s |      10 |   187523 |    11361 |    71224      0 |      148 |      146
241.75/241.85	c  240s |      10 |   190873 |    11561 |    71224      0 |      148 |      146
245.26/245.32	c  243s |      10 |   201667 |    11761 |    71224      0 |      148 |      146
247.25/247.37	c  245s |      10 |   204729 |    11861 |    71224      0 |      148 |      146
250.76/250.81	c  249s |      10 |   211060 |    12061 |    71224      0 |      148 |      146
254.16/254.27	c  252s |      10 |   214282 |    12261 |    71224      0 |      148 |      146
257.46/257.52	c  256s |      10 |   221176 |    12461 |    71224      0 |      148 |      146
260.15/260.23	c  258s |      10 |   224639 |    12661 |    71224      0 |      148 |      146
262.65/262.77	c  261s |      10 |   225292 |    12861 |    71224      0 |      148 |      146
265.95/266.09	c  264s |      10 |   228605 |    13061 |    71224      0 |      148 |      146
269.35/269.45	c  267s |      10 |   230903 |    13261 |    71224      0 |      148 |      146
272.76/272.82	c  271s |      10 |   233872 |    13461 |    71224      0 |      148 |      146
275.95/276.03	c  274s |      10 |   234617 |    13661 |    71224      0 |      148 |      146
279.05/279.10	c  277s |      10 |   234983 |    13861 |    71224      0 |      148 |      146
281.85/281.93	c  280s |      10 |   235770 |    13961 |    71224      0 |      148 |      146
285.45/285.54	c  284s |      10 |   239706 |    14161 |    71224      0 |      148 |      146
288.55/288.63	c  287s |      10 |   241783 |    14261 |    71224      0 |      148 |      146
291.25/291.39	c  289s |      10 |   243564 |    14361 |    71224      0 |      148 |      146
296.95/297.09	c  295s |      10 |   244651 |    14461 |    71224      0 |      148 |      146
300.94/301.03	c  299s |      10 |   245385 |    14561 |    71224      0 |      148 |      146
308.14/308.20	c  306s |      10 |   246329 |    14661 |    71224      0 |      148 |      146
311.25/311.35	c  309s |      10 |   249485 |    14761 |    71224      0 |      148 |      146
313.34/313.50	c  311s |      10 |   250565 |    14861 |    71224      0 |      148 |      146
316.44/316.59	c  315s |      10 |   251252 |    14961 |    71224      0 |      148 |      146
325.34/325.46	c  323s |      10 |   252960 |    15061 |    71224      0 |      148 |      146
328.64/328.75	c  327s |      10 |   253752 |    15161 |    71224      0 |      148 |      146
331.84/331.98	c  330s |      10 |   255084 |    15361 |    71224      0 |      148 |      146
334.74/334.82	c  333s |      10 |   256932 |    15461 |    71224      0 |      148 |      146
338.14/338.20	c  336s |      10 |   257635 |    15561 |    71224      0 |      148 |      146
340.95/341.07	c  339s |      10 |   258206 |    15661 |    71224      0 |      148 |      146
345.94/346.04	c  344s |      10 |   258926 |    15761 |    71224      0 |      148 |      146
349.64/349.73	c  348s |      10 |   259240 |    15861 |    71224      0 |      148 |      146
351.94/352.01	c  350s |      10 |   260022 |    15961 |    71224      0 |      148 |      146
354.44/354.57	c  353s |      10 |   260660 |    16061 |    71224      0 |      148 |      146
357.24/357.36	c  355s |      10 |   262629 |    16261 |    71224      0 |      148 |      146
360.24/360.37	c  358s |      10 |   263331 |    16461 |    71224      0 |      148 |      146
365.14/365.25	c  363s |      10 |   268885 |    16661 |    71224      0 |      148 |      146
368.44/368.55	c  367s |      10 |   269653 |    16861 |    71224      0 |      148 |      146
371.74/371.87	c  370s |      10 |   270669 |    17061 |    78347      0 |      148 |      146
373.73/373.89	c  372s |      11 |   272338 |    17144 |    78347      0 |      148 |      146
377.63/377.74	c  376s |      11 |   275939 |    17344 |    78347      0 |      148 |      146
379.73/379.86	c  378s |      11 |   279279 |    17444 |    78347      0 |      148 |      146
383.23/383.38	c  381s |      11 |   281548 |    17644 |    78347      0 |      148 |      146
386.14/386.23	c  384s |      11 |   284208 |    17744 |    78347      0 |      148 |      146
388.53/388.62	c  387s |      11 |   285530 |    17844 |    78347      0 |      148 |      146
391.23/391.39	c  389s |      11 |   287373 |    17944 |    78347      0 |      148 |      146
393.43/393.51	c  391s |      11 |   287757 |    18044 |    78347      0 |      148 |      146
397.63/397.71	c  396s |      11 |   290093 |    18244 |    78347      0 |      148 |      146
401.23/401.37	c  399s |      11 |   292279 |    18444 |    78347      0 |      148 |      146
403.33/403.45	c  401s |      11 |   294177 |    18544 |    78347      0 |      148 |      146
406.33/406.43	c  404s |      11 |   299465 |    18744 |    78347      0 |      148 |      146
409.63/409.76	c  408s |      11 |   302839 |    18944 |    78347      0 |      148 |      146
412.43/412.60	c  411s |      11 |   305743 |    19144 |    78347      0 |      148 |      146
416.73/416.80	c  415s |      11 |   309502 |    19344 |    78347      0 |      148 |      146
420.03/420.14	c  418s |      11 |   312141 |    19544 |    78347      0 |      148 |      146
423.13/423.26	c  421s |      11 |   316675 |    19744 |    78347      0 |      148 |      146
426.43/426.54	c  425s |      11 |   319966 |    19944 |    78347      0 |      148 |      146
429.72/429.82	c  428s |      11 |   321146 |    20044 |    78347      0 |      148 |      146
431.82/431.99	c  430s |      11 |   321832 |    20144 |    78347      0 |      148 |      146
436.02/436.15	c  434s |      11 |   324796 |    20344 |    78347      0 |      148 |      146
439.52/439.63	c  438s |      11 |   328727 |    20544 |    78347      0 |      148 |      146
442.13/442.27	c  440s |      11 |   331193 |    20744 |    78347      0 |      148 |      146
444.43/444.56	c  443s |      11 |   332128 |    20944 |    78347      0 |      148 |      146
447.22/447.39	c  445s |      11 |   333844 |    21144 |    78347      0 |      148 |      146
450.93/451.05	c  449s |      11 |   338435 |    21344 |    78347      0 |      148 |      146
453.42/453.51	c  451s |      11 |   338856 |    21544 |    78347      0 |      148 |      146
457.72/457.84	c  456s |      11 |   340309 |    21744 |    78347      0 |      148 |      146
459.83/459.99	c  458s |      11 |   341228 |    21944 |    78347      0 |      148 |      146
463.72/463.82	c  462s |      11 |   344213 |    22144 |    78347      0 |      148 |      146
467.12/467.23	c  465s |      11 |   346403 |    22344 |    78347      0 |      148 |      146
470.83/470.94	c  469s |      11 |   352235 |    22544 |    78347      0 |      148 |      146
474.32/474.40	c  472s |      11 |   354141 |    22844 |    78347      0 |      148 |      146
476.72/476.88	c  475s |      11 |   355035 |    22944 |    78347      0 |      148 |      146
479.92/480.02	c  478s |      11 |   359485 |    23144 |    78347      0 |      148 |      146
484.52/484.61	c  483s |      11 |   361340 |    23344 |    78347      0 |      148 |      146
486.92/487.06	c  485s |      11 |   361838 |    23444 |    78347      0 |      148 |      146
489.52/489.65	c  488s |      11 |   364143 |    23544 |    78347      0 |      148 |      146
493.52/493.62	c  492s |      11 |   365604 |    23744 |    78347      0 |      148 |      146
496.21/496.40	c  494s |      11 |   366941 |    23944 |    78347      0 |      148 |      146
499.21/499.36	c  497s |      11 |   368365 |    24144 |    78347      0 |      148 |      146
502.91/503.03	c  501s |      11 |   370802 |    24344 |    78347      0 |      148 |      146
505.01/505.13	c  503s |      11 |   372783 |    24444 |    78347      0 |      148 |      146
509.11/509.20	c  507s |      11 |   377533 |    24644 |    78347      0 |      148 |      146
511.71/511.81	c  510s |      11 |   383280 |    24744 |    78347      0 |      148 |      146
515.31/515.40	c  513s |      11 |   386192 |    24944 |    78347      0 |      148 |      146
518.21/518.36	c  516s |      11 |   388201 |    25144 |    78347      0 |      148 |      146
521.71/521.85	c  520s |      11 |   391914 |    25344 |    78347      0 |      148 |      146
524.91/525.01	c  523s |      11 |   398210 |    25544 |    78347      0 |      148 |      146
527.21/527.34	c  525s |      12 |   399491 |    25819 |    86182      0 |      148 |      146
530.22/530.31	c  528s |      12 |   405403 |    26019 |    86182      0 |      148 |      146
533.71/533.88	c  532s |      12 |   405787 |    26119 |    86182      0 |      148 |      146
536.41/536.57	c  535s |      12 |   407222 |    26219 |    86182      0 |      148 |      146
540.11/540.27	c  538s |      12 |   409063 |    26419 |    86182      0 |      148 |      146
542.31/542.49	c  540s |      12 |   409405 |    26519 |    86182      0 |      148 |      146
544.91/545.07	c  543s |      12 |   409793 |    26619 |    86182      0 |      148 |      146
547.31/547.46	c  545s |      12 |   410109 |    26719 |    86182      0 |      148 |      146
550.81/550.93	c  549s |      12 |   410538 |    26819 |    86182      0 |      148 |      146
557.21/557.31	c  555s |      12 |   411395 |    27019 |    86182      0 |      148 |      146
559.81/560.00	c  558s |      12 |   411650 |    27119 |    86182      0 |      148 |      146
567.70/567.82	c  566s |      12 |   412558 |    27319 |    86182      0 |      148 |      146
570.30/570.44	c  568s |      12 |   413287 |    27419 |    86182      0 |      148 |      146
578.00/578.19	c  576s |      12 |   413945 |    27519 |    86182      0 |      148 |      146
580.30/580.45	c  578s |      12 |   415045 |    27619 |    86182      0 |      148 |      146
583.90/584.02	c  582s |      12 |   417096 |    27719 |    86182      0 |      148 |      146
587.10/587.21	c  585s |      12 |   418430 |    27919 |    86182      0 |      148 |      146
590.50/590.61	c  589s |      12 |   419722 |    28119 |    86182      0 |      148 |      146
593.60/593.74	c  592s |      12 |   422392 |    28319 |    86182      0 |      148 |      146
595.60/595.78	c  594s |      12 |   423463 |    28419 |    86182      0 |      148 |      146
598.60/598.79	c  597s |      12 |   424287 |    28619 |    86182      0 |      148 |      146
601.71/601.89	c  600s |      12 |   425740 |    28819 |    86182      0 |      148 |      146
604.60/604.77	c  603s |      12 |   426490 |    29019 |    86182      0 |      148 |      146
607.60/607.71	c  606s |      12 |   427450 |    29219 |    86182      0 |      148 |      146
611.20/611.36	c  609s |      12 |   428924 |    29419 |    86182      0 |      148 |      146
614.10/614.20	c  612s |      12 |   429872 |    29619 |    86182      0 |      148 |      146
617.30/617.48	c  615s |      12 |   430083 |    29719 |    86182      0 |      148 |      146
619.90/620.01	c  618s |      12 |   430393 |    29819 |    86182      0 |      148 |      146
623.20/623.31	c  621s |      12 |   430691 |    29919 |    86182      0 |      148 |      146
636.69/636.83	c  635s |      12 |   432256 |    30019 |    86182      0 |      148 |      146
639.49/639.61	c  638s |      12 |   432996 |    30219 |    86182      0 |      148 |      146
642.30/642.50	c  640s |      12 |   434673 |    30419 |    86182      0 |      148 |      146
645.29/645.43	c  643s |      12 |   436096 |    30619 |    86182      0 |      148 |      146
648.49/648.63	c  647s |      12 |   439434 |    30819 |    86182      0 |      148 |      146
653.59/653.77	c  652s |      12 |   440079 |    31019 |    86182      0 |      148 |      146
660.89/661.03	c  659s |      12 |   441613 |    31219 |    86182      0 |      148 |      146
663.39/663.53	c  662s |      12 |   442877 |    31319 |    86182      0 |      148 |      146
665.40/665.55	c  664s |      12 |   446167 |    31419 |    86182      0 |      148 |      146
667.49/667.70	c  666s |      12 |   446726 |    31619 |    86182      0 |      148 |      146
670.19/670.35	c  668s |      12 |   448054 |    31819 |    86182      0 |      148 |      146
673.69/673.84	c  672s |      12 |   452373 |    32019 |    86182      0 |      148 |      146
677.49/677.61	c  676s |      12 |   453519 |    32219 |    86182      0 |      148 |      146
680.49/680.67	c  679s |      12 |   456559 |    32419 |    86182      0 |      148 |      146
683.09/683.28	c  681s |      12 |   459662 |    32619 |    86182      0 |      148 |      146
686.49/686.62	c  685s |      12 |   461927 |    32819 |    86182      0 |      148 |      146
688.79/688.92	c  687s |      12 |   465134 |    32919 |    86182      0 |      148 |      146
693.08/693.25	c  691s |      12 |   465850 |    33119 |    86182      0 |      148 |      146
697.39/697.51	c  695s |      12 |   469122 |    33319 |    86182      0 |      148 |      146
700.88/701.06	c  699s |      12 |   471761 |    33519 |    86182      0 |      148 |      146
704.58/704.74	c  703s |      12 |   475321 |    33719 |    86182      0 |      148 |      146
707.78/707.92	c  706s |      12 |   477762 |    33919 |    86182      0 |      148 |      146
710.98/711.10	c  709s |      12 |   481125 |    34119 |    86182      0 |      148 |      146
713.89/714.07	c  712s |      12 |   483460 |    34319 |    86182      0 |      148 |      146
717.68/717.84	c  716s |      12 |   489050 |    34519 |    86182      0 |      148 |      146
719.68/719.85	c  718s |      12 |   490795 |    34619 |    86182      0 |      148 |      146
722.48/722.62	c  721s |      12 |   494810 |    34819 |    86182      0 |      148 |      146
724.68/724.89	c  723s |      12 |   496367 |    35019 |    86182      0 |      148 |      146
728.28/728.43	c  726s |      12 |   499451 |    35219 |    86182      0 |      148 |      146
730.88/731.01	c  729s |      12 |   503113 |    35319 |    86182      0 |      148 |      146
733.08/733.22	c  731s |      12 |   507133 |    35419 |    86182      0 |      148 |      146
736.18/736.33	c  734s |      12 |   509220 |    35619 |    86182      0 |      148 |      146
738.68/738.80	c  737s |      12 |   511909 |    35819 |    86182      0 |      148 |      146
741.78/741.94	c  740s |      12 |   513212 |    36019 |    86182      0 |      148 |      146
743.98/744.16	c  742s |      12 |   515029 |    36219 |    86182      0 |      148 |      146
747.38/747.54	c  746s |      12 |   516703 |    36419 |    86182      0 |      148 |      146
749.48/749.60	c  748s |      12 |   518857 |    36519 |    86182      0 |      148 |      146
752.77/752.90	c  751s |      12 |   522970 |    36719 |    86182      0 |      148 |      146
755.47/755.66	c  754s |      12 |   523527 |    36919 |    86182      0 |      148 |      146
757.97/758.11	c  756s |      12 |   524102 |    37119 |    86182      0 |      148 |      146
760.47/760.63	c  759s |      12 |   526137 |    37319 |    86182      0 |      148 |      146
762.77/762.92	c  761s |      12 |   527911 |    37519 |    86182      0 |      148 |      146
765.27/765.40	c  763s |      12 |   528435 |    37719 |    86182      0 |      148 |      146
768.57/768.77	c  767s |      12 |   532229 |    37919 |    86182      0 |      148 |      146
771.77/771.91	c  770s |      12 |   533972 |    38119 |    86182      0 |      148 |      146
775.17/775.33	c  773s |      12 |   535032 |    38319 |    86182      0 |      148 |      146
777.97/778.13	c  776s |      12 |   538456 |    38519 |    86182      0 |      148 |      146
781.17/781.33	c  779s |      12 |   541002 |    38719 |    94801      0 |      148 |      146
782.47/782.68	c  781s |      13 |   541874 |    38832 |    94801      0 |      148 |      146
785.07/785.21	c  783s |      13 |   543255 |    38932 |    94801      0 |      148 |      146
787.58/787.75	c  786s |      13 |   546037 |    39132 |    94801      0 |      148 |      146
789.57/789.78	c  788s |      13 |   546540 |    39232 |    94801      0 |      148 |      146
791.77/791.93	c  790s |      13 |   546901 |    39332 |    94801      0 |      148 |      146
795.37/795.53	c  794s |      13 |   547528 |    39432 |    94801      0 |      148 |      146
798.47/798.63	c  797s |      13 |   550222 |    39632 |    94801      0 |      148 |      146
800.67/800.82	c  799s |      13 |   551965 |    39732 |    94801      0 |      148 |      146
805.17/805.31	c  803s |      13 |   554251 |    39932 |    94801      0 |      148 |      146
808.87/809.04	c  807s |      13 |   556049 |    40032 |    94801      0 |      148 |      146
811.96/812.10	c  810s |      13 |   557919 |    40232 |    94801      0 |      148 |      146
815.86/816.03	c  814s |      13 |   559753 |    40432 |    94801      0 |      148 |      146
823.66/823.89	c  822s |      13 |   560121 |    40532 |    94801      0 |      148 |      146
826.66/826.87	c  825s |      13 |   561646 |    40632 |    94801      0 |      148 |      146
832.57/832.71	c  831s |      13 |   568967 |    40832 |    94801      0 |      148 |      146
835.46/835.67	c  834s |      13 |   575871 |    41032 |    94801      0 |      148 |      146
838.86/839.01	c  837s |      13 |   577347 |    41132 |    94801      0 |      148 |      146
841.76/841.91	c  840s |      13 |   581870 |    41332 |    94801      0 |      148 |      146
845.36/845.58	c  844s |      13 |   586527 |    41532 |    94801      0 |      148 |      146
848.06/848.23	c  846s |      13 |   588400 |    41632 |    94801      0 |      148 |      146
850.26/850.47	c  848s |      13 |   592026 |    41832 |    94801      0 |      148 |      146
852.26/852.49	c  850s |      13 |   593535 |    42032 |    94801      0 |      148 |      146
854.66/854.83	c  853s |      13 |   594915 |    42232 |    94801      0 |      148 |      146
858.05/858.28	c  856s |      13 |   598244 |    42432 |    94801      0 |      148 |      146
860.95/861.16	c  859s |      13 |   601816 |    42632 |    94801      0 |      148 |      146
864.56/864.78	c  863s |      13 |   609455 |    42832 |    94801      0 |      148 |      146
868.25/868.48	c  866s |      13 |   610802 |    43132 |    94801      0 |      148 |      146
870.85/871.09	c  869s |      13 |   613341 |    43332 |    94801      0 |      148 |      146
873.85/874.02	c  872s |      13 |   615118 |    43532 |    94801      0 |      148 |      146
877.95/878.15	c  876s |      13 |   621014 |    43732 |    94801      0 |      148 |      146
881.15/881.34	c  879s |      13 |   625304 |    43932 |    94801      0 |      148 |      146
884.35/884.58	c  883s |      13 |   629252 |    44132 |    94801      0 |      148 |      146
895.54/895.75	c  894s |      13 |   632301 |    44332 |    94801      0 |      148 |      146
897.94/898.10	c  896s |      13 |   633983 |    44532 |    94801      0 |      148 |      146
900.94/901.19	c  899s |      13 |   636526 |    44732 |    94801      0 |      148 |      146
905.54/905.78	c  904s |      13 |   639623 |    44932 |    94801      0 |      148 |      146
908.63/908.87	c  907s |      13 |   640375 |    45132 |    94801      0 |      148 |      146
912.63/912.84	c  911s |      13 |   640804 |    45332 |    94801      0 |      148 |      146
914.63/914.89	c  913s |      13 |   642976 |    45532 |    94801      0 |      148 |      146
917.13/917.37	c  915s |      13 |   644854 |    45732 |    94801      0 |      148 |      146
920.83/921.09	c  919s |      13 |   646067 |    45932 |    94801      0 |      148 |      146
923.84/924.06	c  922s |      13 |   646806 |    46032 |    94801      0 |      148 |      146
928.73/928.99	c  927s |      13 |   647255 |    46132 |    94801      0 |      148 |      146
931.33/931.54	c  930s |      13 |   649489 |    46332 |    94801      0 |      148 |      146
937.13/937.35	c  935s |      13 |   649941 |    46432 |    94801      0 |      148 |      146
941.92/942.10	c  940s |      13 |   651160 |    46632 |    94801      0 |      148 |      146
945.42/945.63	c  944s |      13 |   653762 |    46832 |    94801      0 |      148 |      146
948.62/948.80	c  947s |      13 |   656257 |    47032 |    94801      0 |      148 |      146
952.12/952.36	c  950s |      13 |   661627 |    47232 |    94801      0 |      148 |      146
954.73/954.92	c  953s |      13 |   663345 |    47432 |    94801      0 |      148 |      146
958.03/958.29	c  956s |      13 |   665372 |    47632 |    94801      0 |      148 |      146
960.42/960.69	c  959s |      13 |   669420 |    47832 |    94801      0 |      148 |      146
962.82/963.08	c  961s |      13 |   669932 |    48032 |    94801      0 |      148 |      146
965.02/965.27	c  963s |      13 |   670151 |    48132 |    94801      0 |      148 |      146
968.82/969.05	c  967s |      13 |   671733 |    48332 |    94801      0 |      148 |      146
971.42/971.64	c  970s |      13 |   673215 |    48532 |    94801      0 |      148 |      146
973.72/973.93	c  972s |      13 |   674835 |    48632 |    94801      0 |      148 |      146
976.52/976.73	c  975s |      13 |   678384 |    48832 |    94801      0 |      148 |      146
978.82/979.10	c  977s |      13 |   681279 |    48932 |    94801      0 |      148 |      146
981.61/981.80	c  980s |      13 |   681640 |    49132 |    94801      0 |      148 |      146
984.51/984.79	c  983s |      13 |   682236 |    49332 |    94801      0 |      148 |      146
986.71/986.94	c  985s |      13 |   682991 |    49432 |    94801      0 |      148 |      146
989.21/989.41	c  987s |      13 |   684351 |    49632 |    94801      0 |      148 |      146
991.51/991.79	c  990s |      13 |   688225 |    49732 |    94801      0 |      148 |      146
995.61/995.88	c  994s |      13 |   690469 |    49832 |    94801      0 |      148 |      146
997.81/998.02	c  996s |      13 |   692186 |    49932 |    94801      0 |      148 |      146
1001.41/1001.69	c 1000s |      13 |   702670 |    50132 |    94801      0 |      148 |      146
1003.61/1003.81	c 1002s |      13 |   704795 |    50232 |    94801      0 |      148 |      146
1006.11/1006.36	c 1004s |      13 |   710174 |    50432 |    94801      0 |      148 |      146
1008.11/1008.38	c 1006s |      13 |   711408 |    50532 |    94801      0 |      148 |      146
1011.51/1011.79	c 1010s |      13 |   719452 |    50732 |    94801      0 |      148 |      146
1014.80/1015.07	c 1013s |      13 |   720826 |    50932 |    94801      0 |      148 |      146
1017.50/1017.79	c 1016s |      13 |   723733 |    51132 |    94801      0 |      148 |      146
1021.40/1021.64	c 1020s |      13 |   732227 |    51332 |    94801      0 |      148 |      146
1024.70/1024.91	c 1023s |      13 |   734929 |    51532 |    94801      0 |      148 |      146
1027.60/1027.88	c 1026s |      13 |   740924 |    51732 |    94801      0 |      148 |      146
1030.61/1030.81	c 1029s |      13 |   743467 |    51932 |    94801      0 |      148 |      146
1033.40/1033.67	c 1032s |      13 |   744292 |    52132 |    94801      0 |      148 |      146
1036.11/1036.37	c 1034s |      13 |   745768 |    52332 |    94801      0 |      148 |      146
1039.00/1039.25	c 1037s |      13 |   747319 |    52532 |    94801      0 |      148 |      146
1043.00/1043.27	c 1041s |      13 |   755366 |    52732 |    94801      0 |      148 |      146
1046.20/1046.46	c 1044s |      13 |   757115 |    52932 |    94801      0 |      148 |      146
1048.29/1048.59	c 1047s |      13 |   761344 |    53132 |    94801      0 |      148 |      146
1050.89/1051.13	c 1049s |      13 |   762863 |    53332 |    94801      0 |      148 |      146
1054.89/1055.18	c 1053s |      13 |   767241 |    53632 |    94801      0 |      148 |      146
1058.49/1058.70	c 1057s |      13 |   771091 |    53832 |    94801      0 |      148 |      146
1062.19/1062.47	c 1060s |      13 |   773863 |    54032 |    94801      0 |      148 |      146
1065.29/1065.51	c 1063s |      13 |   779950 |    54232 |    94801      0 |      148 |      146
1068.39/1068.63	c 1067s |      13 |   783369 |    54432 |    94801      0 |      148 |      146
1071.08/1071.40	c 1069s |      13 |   785523 |    54732 |    94801      0 |      148 |      146
1074.28/1074.56	c 1073s |      13 |   790030 |    54932 |    94801      0 |      148 |      146
1077.89/1078.13	c 1076s |      13 |   792650 |    55132 |    94801      0 |      148 |      146
1081.19/1081.44	c 1079s |      13 |   794057 |    55332 |    94801      0 |      148 |      146
1083.68/1083.95	c 1082s |      13 |   799493 |    55532 |    94801      0 |      148 |      146
1086.38/1086.62	c 1085s |      13 |   804868 |    55732 |    94801      0 |      148 |      146
1089.89/1090.14	c 1088s |      13 |   806475 |    55832 |    94801      0 |      148 |      146
1093.28/1093.53	c 1092s |      13 |   807571 |    56032 |    94801      0 |      148 |      146
1096.88/1097.20	c 1095s |      13 |   811409 |    56232 |    94801      0 |      148 |      146
1098.97/1099.23	c 1097s |      13 |   813182 |    56432 |    94801      0 |      148 |      146
1101.37/1101.61	c 1100s |      13 |   816830 |    56632 |    94801      0 |      148 |      146
1103.57/1103.86	c 1102s |      13 |   819885 |    56832 |    94801      0 |      148 |      146
1106.67/1106.97	c 1105s |      13 |   821897 |    57032 |    94801      0 |      148 |      146
1109.68/1110.00	c 1108s |      13 |   823773 |    57232 |    94801      0 |      148 |      146
1112.67/1112.96	c 1111s |      13 |   825003 |    57432 |    94801      0 |      148 |      146
1115.97/1116.25	c 1114s |      13 |   826132 |    57632 |    94801      0 |      148 |      146
1118.87/1119.13	c 1117s |      13 |   831114 |    57832 |    94801      0 |      148 |      146
1122.27/1122.54	c 1121s |      13 |   835833 |    58032 |   104282      0 |      148 |      146
1124.87/1125.18	c 1123s |      13 |   841914 |    58332 |   104282      0 |      148 |      146
1125.18/1125.47	c 1123s |      14 |   842178 |    58352 |   104282      0 |      148 |      146
1127.28/1127.54	c 1126s |      14 |   844700 |    58452 |   104282      0 |      148 |      146
1129.87/1130.17	c 1128s |      14 |   847686 |    58652 |   104282      0 |      148 |      146
1132.57/1132.81	c 1131s |      14 |   850318 |    58852 |   104282      0 |      148 |      146
1135.77/1136.00	c 1134s |      14 |   854027 |    59052 |   104282      0 |      148 |      146
1137.87/1138.10	c 1136s |      14 |   855053 |    59152 |   104282      0 |      148 |      146
1140.37/1140.69	c 1139s |      14 |   856116 |    59252 |   104282      0 |      148 |      146
1143.57/1143.88	c 1142s |      14 |   859358 |    59352 |   104282      0 |      148 |      146
1147.27/1147.52	c 1146s |      14 |   862933 |    59452 |   104282      0 |      148 |      146
1149.37/1149.65	c 1148s |      14 |   866480 |    59552 |   104282      0 |      148 |      146
1153.16/1153.44	c 1151s |      14 |   869813 |    59752 |   104282      0 |      148 |      146
1155.26/1155.53	c 1154s |      14 |   872120 |    59852 |   104282      0 |      148 |      146
1158.86/1159.12	c 1157s |      14 |   874282 |    60052 |   104282      0 |      148 |      146
1161.16/1161.41	c 1159s |      14 |   874947 |    60152 |   104282      0 |      148 |      146
1164.36/1164.60	c 1163s |      14 |   875660 |    60352 |   104282      0 |      148 |      146
1167.06/1167.35	c 1165s |      14 |   877499 |    60452 |   104282      0 |      148 |      146
1170.46/1170.74	c 1169s |      14 |   879864 |    60652 |   104282      0 |      148 |      146
1174.36/1174.68	c 1173s |      14 |   882638 |    60852 |   104282      0 |      148 |      146
1177.06/1177.33	c 1175s |      14 |   884277 |    61052 |   104282      0 |      148 |      146
1180.16/1180.48	c 1178s |      14 |   885276 |    61252 |   104282      0 |      148 |      146
1182.26/1182.59	c 1181s |      14 |   886017 |    61352 |   104282      0 |      148 |      146
1184.95/1185.29	c 1183s |      14 |   887175 |    61452 |   104282      0 |      148 |      146
1189.75/1190.00	c 1188s |      14 |   888264 |    61652 |   104282      0 |      148 |      146
1194.05/1194.34	c 1192s |      14 |   889411 |    61852 |   104282      0 |      148 |      146
1196.85/1197.17	c 1195s |      14 |   889660 |    61952 |   104282      0 |      148 |      146
1198.95/1199.20	c 1197s |      14 |   889993 |    62052 |   104282      0 |      148 |      146
1201.65/1201.94	c 1200s |      14 |   890343 |    62152 |   104282      0 |      148 |      146
1203.65/1203.95	c 1202s |      14 |   891636 |    62252 |   104282      0 |      148 |      146
1206.55/1206.80	c 1205s |      14 |   896333 |    62452 |   104282      0 |      148 |      146
1209.85/1210.19	c 1208s |      14 |   897824 |    62652 |   104282      0 |      148 |      146
1217.84/1218.15	c 1216s |      14 |   898193 |    62852 |   104282      0 |      148 |      146
1220.24/1220.53	c 1219s |      14 |   900469 |    63052 |   104282      0 |      148 |      146
1223.34/1223.64	c 1222s |      14 |   902788 |    63252 |   104282      0 |      148 |      146
1226.84/1227.17	c 1225s |      14 |   904634 |    63452 |   104282      0 |      148 |      146
1233.74/1234.09	c 1232s |      14 |   906126 |    63652 |   104282      0 |      148 |      146
1239.24/1239.54	c 1238s |      14 |   909377 |    63852 |   104282      0 |      148 |      146
1242.93/1243.27	c 1241s |      14 |   911238 |    64052 |   104282      0 |      148 |      146
1245.93/1246.20	c 1244s |      14 |   911906 |    64152 |   104282      0 |      148 |      146
1248.73/1249.03	c 1247s |      14 |   913144 |    64352 |   104282      0 |      148 |      146
1252.13/1252.46	c 1250s |      14 |   915501 |    64552 |   104282      0 |      148 |      146
1256.43/1256.72	c 1255s |      14 |   917715 |    64652 |   104282      0 |      148 |      146
1259.13/1259.47	c 1257s |      14 |   922051 |    64852 |   104282      0 |      148 |      146
1262.13/1262.48	c 1260s |      14 |   925335 |    65152 |   104282      0 |      148 |      146
1264.84/1265.17	c 1263s |      14 |   927318 |    65252 |   104282      0 |      148 |      146
1267.43/1267.79	c 1266s |      14 |   928655 |    65352 |   104282      0 |      148 |      146
1270.93/1271.20	c 1269s |      14 |   930887 |    65552 |   104282      0 |      148 |      146
1273.63/1273.99	c 1272s |      14 |   931890 |    65752 |   104282      0 |      148 |      146
1276.53/1276.82	c 1275s |      14 |   933247 |    65952 |   104282      0 |      148 |      146
1278.93/1279.21	c 1277s |      14 |   934653 |    66252 |   104282      0 |      148 |      146
1283.72/1284.05	c 1282s |      14 |   936499 |    66452 |   104282      0 |      148 |      146
1286.22/1286.53	c 1285s |      14 |   937388 |    66552 |   104282      0 |      148 |      146
1291.82/1292.12	c 1290s |      14 |   937773 |    66652 |   104282      0 |      148 |      146
1293.92/1294.26	c 1292s |      14 |   938330 |    66752 |   104282      0 |      148 |      146
1297.52/1297.80	c 1296s |      14 |   938997 |    66952 |   104282      0 |      148 |      146
1300.82/1301.14	c 1299s |      14 |   940713 |    67152 |   104282      0 |      148 |      146
1304.02/1304.38	c 1302s |      14 |   945375 |    67352 |   104282      0 |      148 |      146
1307.92/1308.22	c 1306s |      14 |   950593 |    67552 |   104282      0 |      148 |      146
1310.72/1311.01	c 1309s |      14 |   955122 |    67752 |   104282      0 |      148 |      146
1314.33/1314.68	c 1313s |      14 |   959280 |    67952 |   104282      0 |      148 |      146
1317.52/1317.87	c 1316s |      14 |   961928 |    68252 |   104282      0 |      148 |      146
1322.11/1322.47	c 1320s |      14 |   963164 |    68452 |   104282      0 |      148 |      146
1324.71/1325.07	c 1323s |      14 |   963493 |    68652 |   104282      0 |      148 |      146
1334.31/1334.69	c 1333s |      14 |   963839 |    68752 |   104282      0 |      148 |      146
1345.40/1345.78	c 1344s |      14 |   965215 |    68852 |   104282      0 |      148 |      146
1347.80/1348.18	c 1346s |      14 |   965822 |    68952 |   104282      0 |      148 |      146
1351.50/1351.85	c 1350s |      14 |   966477 |    69152 |   104282      0 |      148 |      146
1354.10/1354.44	c 1352s |      14 |   968170 |    69352 |   104282      0 |      148 |      146
1357.70/1358.09	c 1356s |      14 |   969369 |    69552 |   104282      0 |      148 |      146
1360.29/1360.69	c 1359s |      14 |   971018 |    69752 |   104282      0 |      148 |      146
1362.60/1362.98	c 1361s |      14 |   971281 |    69852 |   104282      0 |      148 |      146
1365.09/1365.43	c 1363s |      14 |   972002 |    70052 |   104282      0 |      148 |      146
1367.49/1367.82	c 1366s |      14 |   972697 |    70252 |   104282      0 |      148 |      146
1370.79/1371.12	c 1369s |      14 |   974066 |    70552 |   104282      0 |      148 |      146
1373.29/1373.68	c 1372s |      14 |   975671 |    70652 |   104282      0 |      148 |      146
1376.08/1376.49	c 1374s |      14 |   979164 |    70852 |   104282      0 |      148 |      146
1379.38/1379.74	c 1378s |      14 |   980379 |    71052 |   104282      0 |      148 |      146
1382.39/1382.73	c 1381s |      14 |   981030 |    71252 |   104282      0 |      148 |      146
1385.69/1386.10	c 1384s |      14 |   982198 |    71452 |   104282      0 |      148 |      146
1388.58/1388.91	c 1387s |      14 |   984010 |    71652 |   104282      0 |      148 |      146
1391.78/1392.10	c 1390s |      14 |   986888 |    71852 |   104282      0 |      148 |      146
1393.78/1394.11	c 1392s |      14 |   987941 |    71952 |   104282      0 |      148 |      146
1396.88/1397.23	c 1395s |      14 |   988613 |    72052 |   104282      0 |      148 |      146
1400.08/1400.45	c 1398s |      14 |   991828 |    72252 |   104282      0 |      148 |      146
1402.48/1402.81	c 1401s |      14 |   992725 |    72452 |   104282      0 |      148 |      146
1405.88/1406.27	c 1404s |      14 |   993035 |    72552 |   104282      0 |      148 |      146
1408.18/1408.51	c 1407s |      14 |   994391 |    72652 |   104282      0 |      148 |      146
1411.18/1411.55	c 1410s |      14 |   996933 |    72852 |   104282      0 |      148 |      146
1414.08/1414.48	c 1412s |      14 |   999012 |    73052 |   104282      0 |      148 |      146
1416.58/1416.99	c 1415s |      14 |  1002454 |    73252 |   104282      0 |      148 |      146
1418.68/1419.03	c 1417s |      14 |  1003815 |    73352 |   104282      0 |      148 |      146
1421.27/1421.69	c 1420s |      14 |  1005141 |    73452 |   104282      0 |      148 |      146
1424.87/1425.20	c 1423s |      14 |  1006736 |    73652 |   104282      0 |      148 |      146
1428.68/1429.09	c 1427s |      14 |  1010449 |    73852 |   104282      0 |      148 |      146
1433.47/1433.82	c 1432s |      14 |  1012837 |    73952 |   104282      0 |      148 |      146
1436.47/1436.88	c 1435s |      14 |  1013623 |    74052 |   104282      0 |      148 |      146
1438.97/1439.33	c 1437s |      14 |  1015560 |    74152 |   104282      0 |      148 |      146
1442.47/1442.82	c 1441s |      14 |  1019058 |    74252 |   104282      0 |      148 |      146
1445.57/1445.91	c 1444s |      14 |  1020947 |    74352 |   104282      0 |      148 |      146
1449.17/1449.54	c 1448s |      14 |  1021490 |    74452 |   104282      0 |      148 |      146
1451.27/1451.65	c 1450s |      14 |  1022461 |    74552 |   104282      0 |      148 |      146
1455.37/1455.76	c 1454s |      14 |  1024901 |    74752 |   104282      0 |      148 |      146
1458.67/1459.06	c 1457s |      14 |  1026651 |    74952 |   104282      0 |      148 |      146
1461.17/1461.54	c 1460s |      14 |  1027882 |    75152 |   104282      0 |      148 |      146
1465.87/1466.21	c 1464s |      14 |  1029453 |    75352 |   104282      0 |      148 |      146
1470.27/1470.66	c 1469s |      14 |  1034943 |    75552 |   104282      0 |      148 |      146
1472.47/1472.85	c 1471s |      14 |  1036544 |    75652 |   104282      0 |      148 |      146
1474.77/1475.15	c 1473s |      14 |  1037159 |    75752 |   104282      0 |      148 |      146
1476.87/1477.23	c 1475s |      14 |  1038074 |    75852 |   104282      0 |      148 |      146
1480.17/1480.55	c 1479s |      14 |  1040123 |    76052 |   104282      0 |      148 |      146
1482.76/1483.19	c 1481s |      14 |  1040382 |    76252 |   104282      0 |      148 |      146
1485.66/1486.10	c 1484s |      14 |  1045458 |    76452 |   104282      0 |      148 |      146
1489.56/1489.90	c 1488s |      14 |  1050802 |    76652 |   104282      0 |      148 |      146
1491.76/1492.13	c 1490s |      14 |  1051829 |    76952 |   104282      0 |      148 |      146
1495.26/1495.61	c 1494s |      14 |  1054081 |    77152 |   104282      0 |      148 |      146
1497.46/1497.84	c 1496s |      14 |  1054293 |    77252 |   104282      0 |      148 |      146
1500.07/1500.46	c 1498s |      14 |  1054883 |    77452 |   104282      0 |      148 |      146
1502.66/1503.07	c 1501s |      14 |  1055413 |    77552 |   104282      0 |      148 |      146
1504.76/1505.10	c 1503s |      14 |  1055967 |    77652 |   104282      0 |      148 |      146
1507.26/1507.68	c 1506s |      14 |  1058102 |    77852 |   104282      0 |      148 |      146
1509.97/1510.37	c 1508s |      14 |  1058658 |    78052 |   104282      0 |      148 |      146
1512.06/1512.47	c 1510s |      14 |  1059423 |    78252 |   104282      0 |      148 |      146
1515.66/1516.09	c 1514s |      14 |  1059933 |    78352 |   104282      0 |      148 |      146
1518.06/1518.46	c 1516s |      14 |  1060548 |    78452 |   104282      0 |      148 |      146
1521.76/1522.14	c 1520s |      14 |  1062995 |    78652 |   104282      0 |      148 |      146
1525.56/1525.95	c 1524s |      14 |  1065274 |    78852 |   104282      0 |      148 |      146
1528.56/1528.98	c 1527s |      14 |  1067612 |    79052 |   104282      0 |      148 |      146
1531.86/1532.23	c 1530s |      14 |  1070799 |    79252 |   104282      0 |      148 |      146
1534.36/1534.75	c 1533s |      14 |  1073326 |    79452 |   104282      0 |      148 |      146
1537.36/1537.74	c 1536s |      14 |  1074961 |    79652 |   104282      0 |      148 |      146
1541.56/1541.98	c 1540s |      14 |  1077660 |    79852 |   104282      0 |      148 |      146
1544.46/1544.85	c 1543s |      14 |  1079586 |    80052 |   104282      0 |      148 |      146
1547.75/1548.15	c 1546s |      14 |  1083137 |    80252 |   104282      0 |      148 |      146
1550.55/1550.94	c 1549s |      14 |  1085387 |    80452 |   104282      0 |      148 |      146
1554.65/1555.07	c 1553s |      14 |  1089916 |    80652 |   104282      0 |      148 |      146
1557.36/1557.79	c 1556s |      14 |  1091494 |    80852 |   104282      0 |      148 |      146
1561.05/1561.43	c 1559s |      14 |  1093519 |    81052 |   104282      0 |      148 |      146
1563.05/1563.45	c 1561s |      14 |  1094711 |    81152 |   104282      0 |      148 |      146
1566.45/1566.84	c 1565s |      14 |  1097364 |    81352 |   104282      0 |      148 |      146
1569.25/1569.63	c 1568s |      14 |  1100328 |    81552 |   104282      0 |      148 |      146
1572.45/1572.85	c 1571s |      14 |  1101664 |    81752 |   104282      0 |      148 |      146
1574.55/1574.92	c 1573s |      14 |  1102525 |    81852 |   104282      0 |      148 |      146
1577.16/1577.57	c 1576s |      14 |  1103440 |    82052 |   104282      0 |      148 |      146
1582.25/1582.66	c 1581s |      14 |  1105274 |    82252 |   104282      0 |      148 |      146
1589.95/1590.31	c 1588s |      14 |  1105992 |    82352 |   104282      0 |      148 |      146
1592.15/1592.54	c 1591s |      14 |  1107836 |    82552 |   104282      0 |      148 |      146
1595.15/1595.58	c 1594s |      14 |  1110728 |    82852 |   104282      0 |      148 |      146
1598.85/1599.23	c 1597s |      14 |  1113650 |    83052 |   104282      0 |      148 |      146
1601.55/1601.92	c 1600s |      14 |  1115989 |    83252 |   104282      0 |      148 |      146
1604.25/1604.63	c 1603s |      14 |  1117407 |    83452 |   104282      0 |      148 |      146
1607.75/1608.13	c 1606s |      14 |  1120434 |    83652 |   104282      0 |      148 |      146
1609.85/1610.21	c 1608s |      14 |  1122264 |    83852 |   104282      0 |      148 |      146
1612.25/1612.70	c 1611s |      14 |  1123504 |    84052 |   104282      0 |      148 |      146
1614.74/1615.15	c 1613s |      14 |  1126488 |    84252 |   104282      0 |      148 |      146
1618.54/1618.99	c 1617s |      14 |  1129641 |    84452 |   104282      0 |      148 |      146
1621.64/1622.03	c 1620s |      14 |  1132073 |    84652 |   104282      0 |      148 |      146
1624.64/1625.09	c 1623s |      14 |  1136254 |    84852 |   104282      0 |      148 |      146
1627.54/1627.96	c 1626s |      14 |  1140263 |    84952 |   104282      0 |      148 |      146
1629.74/1630.16	c 1628s |      14 |  1143819 |    85152 |   104282      0 |      148 |      146
1633.44/1633.84	c 1632s |      14 |  1145979 |    85352 |   104282      0 |      148 |      146
1636.04/1636.43	c 1634s |      14 |  1146600 |    85452 |   104282      0 |      148 |      146
1638.54/1638.92	c 1637s |      14 |  1147808 |    85552 |   104282      0 |      148 |      146
1640.74/1641.11	c 1639s |      14 |  1148346 |    85652 |   104282      0 |      148 |      146
1646.04/1646.49	c 1644s |      14 |  1149566 |    85852 |   104282      0 |      148 |      146
1649.34/1649.77	c 1648s |      14 |  1151137 |    85952 |   104282      0 |      148 |      146
1653.44/1653.87	c 1652s |      14 |  1151949 |    86052 |   104282      0 |      148 |      146
1656.24/1656.64	c 1655s |      14 |  1153543 |    86152 |   104282      0 |      148 |      146
1658.44/1658.88	c 1657s |      14 |  1154194 |    86252 |   104282      0 |      148 |      146
1660.64/1661.04	c 1659s |      14 |  1155273 |    86352 |   104282      0 |      148 |      146
1663.74/1664.19	c 1662s |      14 |  1161458 |    86552 |   104282      0 |      148 |      146
1666.14/1666.56	c 1665s |      14 |  1166222 |    86752 |   104282      0 |      148 |      146
1668.74/1669.18	c 1667s |      14 |  1171634 |    86952 |   104282      0 |      148 |      146
1671.23/1671.67	c 1670s |      14 |  1176554 |    87252 |   114711      0 |      148 |      146
1676.14/1676.56	c 1675s |      14 |  1177354 |    87352 |   114711      0 |      148 |      146
1679.23/1679.65	c 1678s |      14 |  1179932 |    87552 |   114711      0 |      148 |      146
1680.33/1680.79	c 1679s |      15 |  1181572 |    87632 |   114711      0 |      148 |      146
1683.13/1683.59	c 1682s |      15 |  1185092 |    87832 |   114711      0 |      148 |      146
1685.43/1685.80	c 1684s |      15 |  1188376 |    88132 |   114711      0 |      148 |      146
1687.93/1688.34	c 1686s |      15 |  1190946 |    88332 |   114711      0 |      148 |      146
1691.23/1691.63	c 1690s |      15 |  1195881 |    88532 |   114711      0 |      148 |      146
1695.13/1695.58	c 1694s |      15 |  1196295 |    88732 |   114711      0 |      148 |      146
1698.14/1698.59	c 1697s |      15 |  1199711 |    88932 |   114711      0 |      148 |      146
1700.24/1700.70	c 1699s |      15 |  1200297 |    89032 |   114711      0 |      148 |      146
1702.83/1703.29	c 1701s |      15 |  1203411 |    89132 |   114711      0 |      148 |      146
1705.33/1705.70	c 1704s |      15 |  1205054 |    89232 |   114711      0 |      148 |      146
1708.83/1709.21	c 1707s |      15 |  1207885 |    89432 |   114711      0 |      148 |      146
1710.83/1711.28	c 1709s |      15 |  1210285 |    89532 |   114711      0 |      148 |      146
1713.43/1713.80	c 1712s |      15 |  1212079 |    89732 |   114711      0 |      148 |      146
1716.63/1717.00	c 1715s |      15 |  1217270 |    90032 |   114711      0 |      148 |      146
1718.63/1719.07	c 1717s |      15 |  1219370 |    90132 |   114711      0 |      148 |      146
1720.73/1721.14	c 1719s |      15 |  1220241 |    90232 |   114711      0 |      148 |      146
1723.03/1723.41	c 1721s |      15 |  1221475 |    90432 |   114711      0 |      148 |      146
1725.93/1726.35	c 1724s |      15 |  1225273 |    90632 |   114711      0 |      148 |      146
1728.63/1729.09	c 1727s |      15 |  1228217 |    90832 |   114711      0 |      148 |      146
1731.43/1731.84	c 1730s |      15 |  1230197 |    91032 |   114711      0 |      148 |      146
1733.53/1733.94	c 1732s |      15 |  1232272 |    91232 |   114711      0 |      148 |      146
1736.83/1737.26	c 1735s |      15 |  1235699 |    91432 |   114711      0 |      148 |      146
1739.12/1739.53	c 1738s |      15 |  1238117 |    91632 |   114711      0 |      148 |      146
1742.22/1742.63	c 1741s |      15 |  1241033 |    91832 |   114711      0 |      148 |      146
1744.23/1744.67	c 1743s |      15 |  1241602 |    91932 |   114711      0 |      148 |      146
1747.92/1748.39	c 1746s |      15 |  1243225 |    92232 |   114711      0 |      148 |      146
1750.42/1750.83	c 1749s |      15 |  1244163 |    92432 |   114711      0 |      148 |      146
1753.52/1753.93	c 1752s |      15 |  1244606 |    92632 |   114711      0 |      148 |      146
1756.82/1757.23	c 1755s |      15 |  1245803 |    92832 |   114711      0 |      148 |      146
1760.12/1760.50	c 1758s |      15 |  1247994 |    93032 |   114711      0 |      148 |      146
1762.12/1762.52	c 1761s |      15 |  1250351 |    93132 |   114711      0 |      148 |      146
1765.32/1765.79	c 1764s |      15 |  1253223 |    93332 |   114711      0 |      148 |      146
1769.72/1770.15	c 1768s |      15 |  1257667 |    93532 |   114711      0 |      148 |      146
1773.12/1773.55	c 1772s |      15 |  1259088 |    93732 |   114711      0 |      148 |      146
1776.92/1777.39	c 1775s |      15 |  1259605 |    93932 |   114711      0 |      148 |      146
1779.53/1779.99	c 1778s |      15 |  1261203 |    94132 |   114711      0 |      148 |      146
1783.72/1784.19	c 1782s |      15 |  1263143 |    94332 |   114711      0 |      148 |      146
1788.02/1788.47	c 1786s |      15 |  1264213 |    94532 |   114711      0 |      148 |      146
1791.42/1791.84	c 1790s |      15 |  1264522 |    94632 |   114711      0 |      148 |      146
1793.82/1794.29	c 1792s |      15 |  1266484 |    94932 |   114711      0 |      148 |      146
1795.92/1796.31	c 1794s |      15 |  1268718 |    95032 |   114711      0 |      148 |      146
1799.82/1800.28	c 1798s |      15 |  1270434 |    95132 |   114711      0 |      148 |      146

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

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

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


[startup+0 s]
/proc/loadavg: 2.29 2.21 2.18 3/179 6888
/proc/meminfo: memFree=29092960/32872528 swapFree=17892/1720544
[pid=6888] ppid=6885 vsize=752196 CPUtime=0 cores=0,2,4,6
/proc/6888/stat : 6888 (toysat) R 6885 6888 3556 0 -1 4202496 2813 0 0 0 0 0 0 0 20 0 4 0 110726721 770248704 3174 33554432000 4194304 16246674 140734566034416 140734566033840 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6888/statm: 188817 3184 442 2943 0 185711 0
[pid=6888/tid=6889] ppid=6885 vsize=769604 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6889/stat : 6889 (toysat) S 6885 6888 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110726721 788074496 3242 33554432000 4194304 16246674 140734566034416 139654675279088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6888/tid=6890] ppid=6885 vsize=774724 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6890/stat : 6890 (toysat) S 6885 6888 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110726721 793317376 3258 33554432000 4194304 16246674 140734566034416 139654664789232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6888/tid=6891] ppid=6885 vsize=778820 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6891/stat : 6891 (toysat) S 6885 6888 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110726721 797511680 3276 33554432000 4194304 16246674 140734566034416 139654552612016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.29 2.21 2.18 3/179 6888
/proc/meminfo: memFree=29092960/32872528 swapFree=17892/1720544
[pid=6888] ppid=6885 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/6888/stat : 6888 (toysat) R 6885 6888 3556 0 -1 4202496 29206 0 0 0 5 4 0 0 20 0 4 0 110726721 1333334016 29505 33554432000 4194304 16246674 140734566034416 140734566033728 7368729 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6888/statm: 325521 29518 801 2943 0 322415 0
[pid=6888/tid=6889] ppid=6885 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6889/stat : 6889 (toysat) S 6885 6888 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110726721 1333334016 29528 33554432000 4194304 16246674 140734566034416 139654675279088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6888/tid=6890] ppid=6885 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6890/stat : 6890 (toysat) S 6885 6888 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110726721 1333334016 29539 33554432000 4194304 16246674 140734566034416 139654664789232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6888/tid=6891] ppid=6885 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6891/stat : 6891 (toysat) S 6885 6888 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110726721 1333334016 29551 33554432000 4194304 16246674 140734566034416 139654552612016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.2005 s]
/proc/loadavg: 2.29 2.21 2.18 3/179 6888
/proc/meminfo: memFree=29092960/32872528 swapFree=17892/1720544
[pid=6888] ppid=6885 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/6888/stat : 6888 (toysat) R 6885 6888 3556 0 -1 4202496 45969 0 0 0 12 7 0 0 20 0 4 0 110726721 1344868352 46779 33554432000 4194304 16246674 140734566034416 140734566033728 13750920 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6888/statm: 328337 46779 801 2943 0 325231 0
[pid=6888/tid=6889] ppid=6885 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6889/stat : 6889 (toysat) S 6885 6888 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110726721 1344868352 46779 33554432000 4194304 16246674 140734566034416 139654675279088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6888/tid=6890] ppid=6885 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6890/stat : 6890 (toysat) S 6885 6888 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110726721 1344868352 46779 33554432000 4194304 16246674 140734566034416 139654664789232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6888/tid=6891] ppid=6885 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6891/stat : 6891 (toysat) S 6885 6888 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110726721 1344868352 46779 33554432000 4194304 16246674 140734566034416 139654552612016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300473 s]
/proc/loadavg: 2.29 2.21 2.18 3/179 6888
/proc/meminfo: memFree=29092960/32872528 swapFree=17892/1720544
[pid=6888] ppid=6885 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/6888/stat : 6888 (toysat) R 6885 6888 3556 0 -1 4202496 56049 0 0 0 21 7 0 0 20 0 4 0 110726721 1344868352 56859 33554432000 4194304 16246674 140734566034416 140734566033728 4206671 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6888/statm: 328337 56859 801 2943 0 325231 0
[pid=6888/tid=6889] ppid=6885 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6889/stat : 6889 (toysat) S 6885 6888 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110726721 1344868352 56859 33554432000 4194304 16246674 140734566034416 139654675279088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6888/tid=6890] ppid=6885 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6890/stat : 6890 (toysat) S 6885 6888 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110726721 1344868352 56859 33554432000 4194304 16246674 140734566034416 139654664789232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6888/tid=6891] ppid=6885 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6891/stat : 6891 (toysat) S 6885 6888 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110726721 1344868352 56859 33554432000 4194304 16246674 140734566034416 139654552612016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700369 s]
/proc/loadavg: 2.29 2.21 2.18 3/179 6888
/proc/meminfo: memFree=29092960/32872528 swapFree=17892/1720544
[pid=6888] ppid=6885 vsize=1315396 CPUtime=0.69 cores=0,2,4,6
/proc/6888/stat : 6888 (toysat) R 6885 6888 3556 0 -1 4202496 86096 0 0 0 58 11 0 0 20 0 4 0 110726721 1346965504 86907 33554432000 4194304 16246674 140734566034416 140734566032192 6155670 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6888/statm: 328849 86915 835 2943 0 325743 0
[pid=6888/tid=6889] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6889/stat : 6889 (toysat) S 6885 6888 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 86920 33554432000 4194304 16246674 140734566034416 139654675279088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6888/tid=6890] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6890/stat : 6890 (toysat) S 6885 6888 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 86925 33554432000 4194304 16246674 140734566034416 139654664789232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6888/tid=6891] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6891/stat : 6891 (toysat) S 6885 6888 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 86931 33554432000 4194304 16246674 140734566034416 139654552612016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1315396

[startup+1.50037 s]
/proc/loadavg: 2.29 2.21 2.18 3/183 6892
/proc/meminfo: memFree=28441220/32872528 swapFree=17892/1720544
[pid=6888] ppid=6885 vsize=1315396 CPUtime=1.49 cores=0,2,4,6
/proc/6888/stat : 6888 (toysat) R 6885 6888 3556 0 -1 4202496 216652 0 0 0 119 30 0 0 20 0 4 0 110726721 1346965504 217462 33554432000 4194304 16246674 140734566034416 140734566032192 4206600 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6888/statm: 328849 217462 843 2943 0 325743 0
[pid=6888/tid=6889] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6889/stat : 6889 (toysat) S 6885 6888 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 217462 33554432000 4194304 16246674 140734566034416 139654675279088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6888/tid=6890] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6890/stat : 6890 (toysat) S 6885 6888 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 217462 33554432000 4194304 16246674 140734566034416 139654664789232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6888/tid=6891] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6891/stat : 6891 (toysat) S 6885 6888 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 217462 33554432000 4194304 16246674 140734566034416 139654552612016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1315396

[startup+3.10035 s]
/proc/loadavg: 2.29 2.21 2.18 3/183 6892
/proc/meminfo: memFree=28223228/32872528 swapFree=17892/1720544
[pid=6888] ppid=6885 vsize=1315396 CPUtime=3.09 cores=0,2,4,6
/proc/6888/stat : 6888 (toysat) R 6885 6888 3556 0 -1 4202496 216707 0 0 0 279 30 0 0 20 0 4 0 110726721 1346965504 217517 33554432000 4194304 16246674 140734566034416 140734566016320 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6888/statm: 328849 217517 898 2943 0 325743 0
[pid=6888/tid=6889] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6889/stat : 6889 (toysat) S 6885 6888 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 217517 33554432000 4194304 16246674 140734566034416 139654675279088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6888/tid=6890] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6890/stat : 6890 (toysat) S 6885 6888 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 217517 33554432000 4194304 16246674 140734566034416 139654664789232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6888/tid=6891] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6891/stat : 6891 (toysat) S 6885 6888 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 217517 33554432000 4194304 16246674 140734566034416 139654552612016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1315396

[startup+6.30035 s]
/proc/loadavg: 2.35 2.22 2.19 3/183 6892
/proc/meminfo: memFree=28012552/32872528 swapFree=17892/1720544
[pid=6888] ppid=6885 vsize=1315396 CPUtime=6.29 cores=0,2,4,6
/proc/6888/stat : 6888 (toysat) R 6885 6888 3556 0 -1 4202496 269533 0 0 0 592 37 0 0 20 0 4 0 110726721 1346965504 270343 33554432000 4194304 16246674 140734566034416 140734566016320 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6888/statm: 328849 270343 898 2943 0 325743 0
[pid=6888/tid=6889] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6889/stat : 6889 (toysat) S 6885 6888 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270343 33554432000 4194304 16246674 140734566034416 139654675279088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6888/tid=6890] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6890/stat : 6890 (toysat) S 6885 6888 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270343 33554432000 4194304 16246674 140734566034416 139654664789232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6888/tid=6891] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6891/stat : 6891 (toysat) S 6885 6888 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270343 33554432000 4194304 16246674 140734566034416 139654552612016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1315396

[startup+12.7003 s]
/proc/loadavg: 2.32 2.22 2.19 3/183 6892
/proc/meminfo: memFree=28012508/32872528 swapFree=17892/1720544
[pid=6888] ppid=6885 vsize=1315396 CPUtime=12.69 cores=0,2,4,6
/proc/6888/stat : 6888 (toysat) R 6885 6888 3556 0 -1 4202496 269533 0 0 0 1232 37 0 0 20 0 4 0 110726721 1346965504 270343 33554432000 4194304 16246674 140734566034416 140734566016320 5711576 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6888/statm: 328849 270343 898 2943 0 325743 0
[pid=6888/tid=6889] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6889/stat : 6889 (toysat) S 6885 6888 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270343 33554432000 4194304 16246674 140734566034416 139654675279088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6888/tid=6890] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6890/stat : 6890 (toysat) S 6885 6888 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270343 33554432000 4194304 16246674 140734566034416 139654664789232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6888/tid=6891] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6891/stat : 6891 (toysat) S 6885 6888 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270343 33554432000 4194304 16246674 140734566034416 139654552612016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1315396

[startup+25.5004 s]
/proc/loadavg: 2.47 2.26 2.20 4/183 6892
/proc/meminfo: memFree=28013112/32872528 swapFree=17892/1720544
[pid=6888] ppid=6885 vsize=1315396 CPUtime=25.49 cores=0,2,4,6
/proc/6888/stat : 6888 (toysat) R 6885 6888 3556 0 -1 4202496 269533 0 0 0 2512 37 0 0 20 0 4 0 110726721 1346965504 270343 33554432000 4194304 16246674 140734566034416 140734566016320 13820864 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6888/statm: 328849 270343 898 2943 0 325743 0
[pid=6888/tid=6889] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6889/stat : 6889 (toysat) S 6885 6888 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270343 33554432000 4194304 16246674 140734566034416 139654675279088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6888/tid=6890] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6890/stat : 6890 (toysat) S 6885 6888 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270343 33554432000 4194304 16246674 140734566034416 139654664789232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6888/tid=6891] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6891/stat : 6891 (toysat) S 6885 6888 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270343 33554432000 4194304 16246674 140734566034416 139654552612016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.31 2.24 2.19 3/183 6892
/proc/meminfo: memFree=28012004/32872528 swapFree=17892/1720544
[pid=6888] ppid=6885 vsize=1315396 CPUtime=51.08 cores=0,2,4,6
/proc/6888/stat : 6888 (toysat) R 6885 6888 3556 0 -1 4202496 269533 0 0 0 5071 37 0 0 20 0 4 0 110726721 1346965504 270343 33554432000 4194304 16246674 140734566034416 140734566016320 13820881 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6888/statm: 328849 270343 898 2943 0 325743 0
[pid=6888/tid=6889] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6889/stat : 6889 (toysat) S 6885 6888 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270343 33554432000 4194304 16246674 140734566034416 139654675279088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6888/tid=6890] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6890/stat : 6890 (toysat) S 6885 6888 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270343 33554432000 4194304 16246674 140734566034416 139654664789232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6888/tid=6891] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6891/stat : 6891 (toysat) S 6885 6888 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270343 33554432000 4194304 16246674 140734566034416 139654552612016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.3 s]
/proc/loadavg: 2.18 2.21 2.18 3/183 6893
/proc/meminfo: memFree=28012080/32872528 swapFree=17892/1720544
[pid=6888] ppid=6885 vsize=1315396 CPUtime=102.28 cores=0,2,4,6
/proc/6888/stat : 6888 (toysat) R 6885 6888 3556 0 -1 4202496 269533 0 0 0 10191 37 0 0 20 0 4 0 110726721 1346965504 270343 33554432000 4194304 16246674 140734566034416 140734566016320 5677667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6888/statm: 328849 270343 898 2943 0 325743 0
[pid=6888/tid=6889] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6889/stat : 6889 (toysat) S 6885 6888 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270343 33554432000 4194304 16246674 140734566034416 139654675279088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6888/tid=6890] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6890/stat : 6890 (toysat) S 6885 6888 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270343 33554432000 4194304 16246674 140734566034416 139654664789232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6888/tid=6891] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6891/stat : 6891 (toysat) S 6885 6888 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270343 33554432000 4194304 16246674 140734566034416 139654552612016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1315396


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

/proc/6888/task/6891/stat : 6891 (toysat) S 6885 6888 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654552612016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 1315396

[startup+1302.3 s]
/proc/loadavg: 2.23 2.25 2.19 3/183 6971
/proc/meminfo: memFree=28275832/32872528 swapFree=17892/1720544
[pid=6888] ppid=6885 vsize=1315396 CPUtime=1302.02 cores=0,2,4,6
/proc/6888/stat : 6888 (toysat) R 6885 6888 3556 0 -1 4202496 269661 0 0 0 130164 38 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 140734566016320 5712004 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6888/statm: 328849 270348 902 2943 0 325743 0
[pid=6888/tid=6889] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6889/stat : 6889 (toysat) S 6885 6888 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654675279088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6888/tid=6890] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6890/stat : 6890 (toysat) S 6885 6888 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654664789232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6888/tid=6891] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6891/stat : 6891 (toysat) S 6885 6888 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654552612016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.23 2.25 2.19 3/183 6973
/proc/meminfo: memFree=28275552/32872528 swapFree=17892/1720544
[pid=6888] ppid=6885 vsize=1315396 CPUtime=1361.99 cores=0,2,4,6
/proc/6888/stat : 6888 (toysat) R 6885 6888 3556 0 -1 4202496 269693 0 0 0 136161 38 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 140734566016320 12483674 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6888/statm: 328849 270348 902 2943 0 325743 0
[pid=6888/tid=6889] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6889/stat : 6889 (toysat) S 6885 6888 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654675279088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6888/tid=6890] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6890/stat : 6890 (toysat) S 6885 6888 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654664789232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6888/tid=6891] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6891/stat : 6891 (toysat) S 6885 6888 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654552612016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.29 2.26 2.20 4/183 6974
/proc/meminfo: memFree=28259540/32872528 swapFree=17892/1720544
[pid=6888] ppid=6885 vsize=1315396 CPUtime=1421.98 cores=0,2,4,6
/proc/6888/stat : 6888 (toysat) R 6885 6888 3556 0 -1 4202496 269708 0 0 0 142160 38 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 140734566016320 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6888/statm: 328849 270348 902 2943 0 325743 0
[pid=6888/tid=6889] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6889/stat : 6889 (toysat) S 6885 6888 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654675279088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6888/tid=6890] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6890/stat : 6890 (toysat) S 6885 6888 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654664789232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6888/tid=6891] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6891/stat : 6891 (toysat) S 6885 6888 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654552612016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.57 2.34 2.22 4/184 6978
/proc/meminfo: memFree=28162280/32872528 swapFree=17892/1720544
[pid=6888] ppid=6885 vsize=1315396 CPUtime=1481.96 cores=0,2,4,6
/proc/6888/stat : 6888 (toysat) R 6885 6888 3556 0 -1 4202496 269708 0 0 0 148158 38 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 140734566016320 12483572 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6888/statm: 328849 270348 902 2943 0 325743 0
[pid=6888/tid=6889] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6889/stat : 6889 (toysat) S 6885 6888 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654675279088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6888/tid=6890] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6890/stat : 6890 (toysat) S 6885 6888 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654664789232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6888/tid=6891] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6891/stat : 6891 (toysat) S 6885 6888 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654552612016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.41 2.33 2.22 3/183 6979
/proc/meminfo: memFree=28065900/32872528 swapFree=17892/1720544
[pid=6888] ppid=6885 vsize=1315396 CPUtime=1541.96 cores=0,2,4,6
/proc/6888/stat : 6888 (toysat) R 6885 6888 3556 0 -1 4202496 269708 0 0 0 154158 38 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 140734566016320 12483568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6888/statm: 328849 270348 902 2943 0 325743 0
[pid=6888/tid=6889] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6889/stat : 6889 (toysat) S 6885 6888 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654675279088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6888/tid=6890] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6890/stat : 6890 (toysat) S 6885 6888 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654664789232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6888/tid=6891] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6891/stat : 6891 (toysat) S 6885 6888 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654552612016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.34 2.33 2.23 4/183 6980
/proc/meminfo: memFree=27968892/32872528 swapFree=17892/1720544
[pid=6888] ppid=6885 vsize=1315396 CPUtime=1601.95 cores=0,2,4,6
/proc/6888/stat : 6888 (toysat) R 6885 6888 3556 0 -1 4202496 269708 0 0 0 160157 38 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 140734566016320 5711338 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6888/statm: 328849 270348 902 2943 0 325743 0
[pid=6888/tid=6889] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6889/stat : 6889 (toysat) S 6885 6888 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654675279088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6888/tid=6890] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6890/stat : 6890 (toysat) S 6885 6888 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654664789232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6888/tid=6891] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6891/stat : 6891 (toysat) S 6885 6888 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654552612016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.27 2.31 2.23 3/183 6982
/proc/meminfo: memFree=27967816/32872528 swapFree=17892/1720544
[pid=6888] ppid=6885 vsize=1315396 CPUtime=1661.94 cores=0,2,4,6
/proc/6888/stat : 6888 (toysat) R 6885 6888 3556 0 -1 4202496 269708 0 0 0 166156 38 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 140734566016320 5598428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6888/statm: 328849 270348 902 2943 0 325743 0
[pid=6888/tid=6889] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6889/stat : 6889 (toysat) S 6885 6888 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654675279088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6888/tid=6890] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6890/stat : 6890 (toysat) S 6885 6888 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654664789232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6888/tid=6891] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6891/stat : 6891 (toysat) S 6885 6888 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654552612016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.19 2.28 2.22 3/183 6983
/proc/meminfo: memFree=27967236/32872528 swapFree=17892/1720544
[pid=6888] ppid=6885 vsize=1315396 CPUtime=1721.93 cores=0,2,4,6
/proc/6888/stat : 6888 (toysat) R 6885 6888 3556 0 -1 4202496 269708 0 0 0 172155 38 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 140734566016320 5829044 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6888/statm: 328849 270348 902 2943 0 325743 0
[pid=6888/tid=6889] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6889/stat : 6889 (toysat) S 6885 6888 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654675279088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6888/tid=6890] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6890/stat : 6890 (toysat) S 6885 6888 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654664789232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6888/tid=6891] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6891/stat : 6891 (toysat) S 6885 6888 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654552612016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.14 2.26 2.21 3/183 6984
/proc/meminfo: memFree=27967028/32872528 swapFree=17892/1720544
[pid=6888] ppid=6885 vsize=1315396 CPUtime=1781.92 cores=0,2,4,6
/proc/6888/stat : 6888 (toysat) R 6885 6888 3556 0 -1 4202496 269708 0 0 0 178154 38 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 140734566016320 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6888/statm: 328849 270348 902 2943 0 325743 0
[pid=6888/tid=6889] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6889/stat : 6889 (toysat) S 6885 6888 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654675279088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6888/tid=6890] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6890/stat : 6890 (toysat) S 6885 6888 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654664789232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6888/tid=6891] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6891/stat : 6891 (toysat) S 6885 6888 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654552612016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.16 2.25 2.21 3/183 6985
/proc/meminfo: memFree=27967016/32872528 swapFree=17892/1720544
[pid=6888] ppid=6885 vsize=1315396 CPUtime=1800.02 cores=0,2,4,6
/proc/6888/stat : 6888 (toysat) R 6885 6888 3556 0 -1 4202496 269708 0 0 0 179964 38 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 140734566016320 5712004 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6888/statm: 328849 270348 902 2943 0 325743 0
[pid=6888/tid=6889] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6889/stat : 6889 (toysat) S 6885 6888 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654675279088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6888/tid=6890] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6890/stat : 6890 (toysat) S 6885 6888 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654664789232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6888/tid=6891] ppid=6885 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6888/task/6891/stat : 6891 (toysat) S 6885 6888 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110726721 1346965504 270348 33554432000 4194304 16246674 140734566034416 139654552612016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 6888 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.03
CPU user time (s): 1799.64
CPU system time (s): 0.383941
CPU usage (%): 99.9788
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.383941
maximum resident set size= 1081392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269708
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= 185
involuntary context switches= 1960

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.69129 second user time and 6.82896 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-07 10:25:36
IDJOB=4080029
IDBENCH=90236
IDSOLVER=2542
FILE ID=node117/4080029-1465287935
RUNJOBID= node117-1465262703-3572
PBS_JOBID= 19843298
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null50mast_rapportOE2.0_TMAX15_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-4080029-1465287935/watcher-4080029-1465287935 -o /tmp/evaluation-result-4080029-1465287935/solver-4080029-1465287935 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465262703-3572 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080029-1465287935.opb

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

MD5SUM BENCH= 4aec499ebd970c139326f13f1d94e40d
RANDOM SEED=1060802760

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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:        29093876 kB
Buffers:           91232 kB
Cached:           125348 kB
SwapCached:        29276 kB
Active:          1160124 kB
Inactive:         164584 kB
Active(anon):    1080628 kB
Inactive(anon):    29468 kB
Active(file):      79496 kB
Inactive(file):   135116 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67071196 kB
Dirty:             18660 kB
Writeback:             0 kB
AnonPages:       2880048 kB
Mapped:            10684 kB
Shmem:                 0 kB
Slab:             599556 kB
SReclaimable:      43688 kB
SUnreclaim:       555868 kB
KernelStack:        1520 kB
PageTables:         9156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2943580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1787904 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node117 at 2016-06-07 10:55:36