Trace number 4080046

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_50null0mast_rapportOE1.0_TMAX300_K67_cod2.opb
MD5SUMb363732a49ff55c5c06709720571fcad
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-592
Best CPU time to get the best result obtained on this benchmark1800.09
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 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 829
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 12582
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-07T11:43:46+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-4080046-1465292626.opb"]
0.00/0.01	c use --random-gen="2464065344 2512847264 3502027210 1988807359 1179368443 2662755867 3318939292 15375636 241786238 1906116655 1201373787 897363960 471763976 2877767989 4142540334 2206697209 3877597115 2350296405 3095340857 2941581093 1457243017 3797514921 1299078579 514642354 4160953511 1259007586 2871484351 3002230564 3078871965 1348472291 1679940194 2673978504 1217189216 2428847986 3815999293 1906855331 3435604103 556852450 3910550773 2995141630 3652987749 3115641539 721402986 1249326171 2450516716 2645763418 1880609710 4136217961 4109571830 4257435359 1439730077 3194288602 958595284 1576065401 2600074905 1451682966 660502652 2547804912 134776112 1804923425 65759324 3955291986 3235092814 2512992771 1664286454 1502214925 65651463 1284965750 3480972970 107332165 2142271959 1807698750 3124071372 1187230923 445420207 4042732139 3308384124 3231242742 432488716 655150038 654937549 4269424296 222761330 4063049179 4130200321 3383241197 430809220 3590600897 2855872163 1589293019 2923457835 1735067114 2011433632 2321984657 2428632030 1885369397 1652031431 1961415354 2494633114 2504585528 3623689608 3270530372 2302582256 3174691016 4293934468 2000184887 4033839787 3031135973 1248795047 2620434152 2118455499 3356316892 994181278 4076026280 1052294750 4247515721 396805247 1890488692 3540900163 3966756123 1709664264 514780356 3732458015 2541118178 1052072890 928246620 4218066391 1845041346 2984082133 548259135 2079930436 3546417826 2632750911 1841084213 3705894514 787202610 573416821 399665465 4162078176 2060397354 544324418 1700377738 2317815727 3086913580 1413280296 887570935 106629530 3018422706 4155239765 1906723540 2632955290 611021979 1290326769 2956356262 1819794109 623355270 3228759869 1897726248 3662124221 2881081860 3954100672 4129857893 2731545789 739866971 2842307382 2166710357 4196261305 2914699510 1719154402 1315422603 1872447178 2026009738 3669001197 1525763428 4292549281 38830796 1835634974 3379042685 4058447481 2833968162 973785626 1415113138 3243840971 1587149060 2186129267 1291426862 4251201191 587623974 2795145602 3208528278 2404053296 1503193962 1761941312 2352203074 2313666090 1671219303 477034135 4084956265 1613838474 3837685353 593092660 2611213692 3678876096 2544816298 3745552331 3968443781 2480889986 813287659 3705617711 3248784180 3310066084 1626945085 4054032333 4143292647 2673103757 3069641285 1149612713 4168627074 4204001364 4036709481 463317141 2264743605 1965771506 159456672 2688914822 2167348916 249120653 613793035 1297176390 726505631 569663620 396395873 3235364789 1667995418 3215356562 2927703649 3011912795 3268252592 1538421826 939941990 3749250454 1914452829 918229555 3719501638 3632384418 1933723452 2427841753 895086376 2179634404 1635833025 3108781099 4027554593 1729403953 1259133665 1921964557 4036115197 255 362436" option to reproduce the execution
0.38/0.44	c #vars 40937
0.38/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
3.29/3.39	c  1.9s |       1 |      372 |      100 |    27456      0 |      125 |      124
6.39/6.40	c  4.9s |       2 |     1203 |      250 |    30202      0 |      147 |      145
9.28/9.39	c  7.9s |       2 |     3231 |      450 |    33223      0 |      147 |      145
9.68/9.75	c  8.2s |       3 |     3258 |      475 |    33223      0 |      147 |      145
12.19/12.25	c 10.7s |       3 |     4520 |      575 |    36546      0 |      147 |      145
14.58/14.62	c 13.1s |       3 |     4971 |      675 |    36546      0 |      147 |      145
17.78/17.82	c 16.3s |       3 |     6867 |      775 |    36546      0 |      147 |      145
18.48/18.51	c 17.0s |       4 |     7906 |      813 |    36546      0 |      147 |      145
21.78/21.84	c 20.3s |       4 |     9739 |     1013 |    40201      0 |      147 |      145
24.38/24.42	c 22.9s |       4 |    11338 |     1113 |    40201      0 |      147 |      145
28.98/29.05	c 27.5s |       4 |    17872 |     1313 |    40201      0 |      147 |      145
29.08/29.19	c 27.7s |       5 |    17964 |     1320 |    40201      0 |      147 |      145
31.58/31.60	c 30.1s |       5 |    18826 |     1420 |    44222      0 |      147 |      145
35.58/35.65	c 34.1s |       5 |    21501 |     1620 |    44222      0 |      147 |      145
37.88/37.97	c 36.5s |       5 |    21696 |     1720 |    44222      0 |      147 |      145
41.89/41.93	c 40.4s |       5 |    22814 |     1920 |    44222      0 |      147 |      145
44.28/44.33	c 42.8s |       5 |    24547 |     2020 |    44222      0 |      147 |      145
45.78/45.89	c 44.4s |       6 |    25146 |     2081 |    48645      0 |      147 |      145
48.38/48.44	c 46.9s |       6 |    27453 |     2181 |    48645      0 |      147 |      145
50.38/50.48	c 49.0s |       6 |    29100 |     2281 |    48645      0 |      147 |      145
52.48/52.53	c 51.0s |       6 |    30344 |     2381 |    48645      0 |      147 |      145
54.48/54.57	c 53.1s |       6 |    31381 |     2481 |    48645      0 |      147 |      145
56.78/56.83	c 55.3s |       6 |    35356 |     2581 |    48645      0 |      147 |      145
59.08/59.10	c 57.6s |       6 |    36350 |     2681 |    48645      0 |      147 |      145
61.58/61.64	c 60.1s |       6 |    38883 |     2781 |    48645      0 |      147 |      145
63.78/63.85	c 62.3s |       6 |    39437 |     2881 |    48645      0 |      147 |      145
65.88/65.91	c 64.4s |       6 |    41301 |     2981 |    48645      0 |      147 |      145
69.07/69.19	c 67.7s |       6 |    42458 |     3081 |    48645      0 |      147 |      145
72.07/72.10	c 70.6s |       6 |    43898 |     3181 |    48645      0 |      147 |      145
72.97/73.06	c 71.5s |       7 |    44363 |     3223 |    53510      0 |      147 |      145
75.67/75.78	c 74.3s |       7 |    44842 |     3323 |    53510      0 |      147 |      145
79.07/79.10	c 77.6s |       7 |    46029 |     3423 |    53510      0 |      147 |      145
83.27/83.37	c 81.9s |       7 |    59256 |     3623 |    53510      0 |      147 |      145
85.27/85.39	c 83.9s |       7 |    61363 |     3723 |    53510      0 |      147 |      145
87.37/87.44	c 85.9s |       7 |    62535 |     3823 |    53510      0 |      147 |      145
90.07/90.16	c 88.6s |       7 |    63506 |     3923 |    53510      0 |      147 |      145
93.48/93.56	c 92.0s |       7 |    67182 |     4123 |    53510      0 |      147 |      145
96.17/96.29	c 94.8s |       7 |    70952 |     4323 |    53510      0 |      147 |      145
98.27/98.40	c 96.9s |       7 |    74754 |     4423 |    53510      0 |      147 |      145
101.87/101.95	c  100s |       7 |    77214 |     4523 |    53510      0 |      147 |      145
104.37/104.40	c  102s |       7 |    77994 |     4623 |    53510      0 |      147 |      145
106.87/106.90	c  105s |       7 |    78798 |     4723 |    53510      0 |      147 |      145
111.37/111.40	c  109s |       7 |    82299 |     4923 |    58862      0 |      147 |      145
111.57/111.61	c  110s |       8 |    82424 |     4936 |    58862      0 |      147 |      145
113.87/113.95	c  112s |       8 |    83446 |     5036 |    58862      0 |      147 |      145
118.27/118.31	c  116s |       8 |    85902 |     5236 |    58862      0 |      147 |      145
122.47/122.54	c  121s |       8 |    89600 |     5436 |    58862      0 |      147 |      145
124.57/124.60	c  123s |       8 |    90562 |     5536 |    58862      0 |      147 |      145
126.66/126.77	c  125s |       8 |    91781 |     5636 |    58862      0 |      147 |      145
129.56/129.62	c  128s |       8 |    92758 |     5836 |    58862      0 |      147 |      145
132.76/132.86	c  131s |       8 |    94619 |     6036 |    58862      0 |      147 |      145
136.26/136.35	c  134s |       8 |    95914 |     6236 |    58862      0 |      168 |      166
138.57/138.61	c  137s |       8 |    98269 |     6336 |    58862      0 |      168 |      166
143.07/143.11	c  141s |       8 |   103461 |     6536 |    58862      0 |      168 |      166
146.96/147.02	c  145s |       8 |   108227 |     6636 |    58862      0 |      168 |      166
149.86/149.92	c  148s |       8 |   115540 |     6836 |    58862      0 |      168 |      166
153.76/153.84	c  152s |       8 |   123151 |     7036 |    58862      0 |      168 |      166
157.46/157.57	c  156s |       8 |   126624 |     7236 |    58862      0 |      168 |      166
160.16/160.25	c  158s |       8 |   128036 |     7336 |    58862      0 |      168 |      166
163.97/164.06	c  162s |       9 |   133152 |     7506 |    64749      0 |      168 |      166
168.06/168.17	c  166s |       9 |   137122 |     7606 |    64749      0 |      168 |      166
170.06/170.18	c  168s |       9 |   138757 |     7706 |    64749      0 |      168 |      166
173.26/173.39	c  171s |       9 |   142125 |     7906 |    64749      0 |      168 |      166
177.26/177.31	c  175s |       9 |   144143 |     8106 |    64749      0 |      168 |      166
179.46/179.58	c  178s |       9 |   144294 |     8206 |    64749      0 |      168 |      166
181.56/181.65	c  180s |       9 |   146046 |     8306 |    64749      0 |      168 |      166
186.26/186.34	c  184s |       9 |   151426 |     8506 |    64749      0 |      168 |      166
188.46/188.53	c  187s |       9 |   153009 |     8606 |    64749      0 |      168 |      166
192.26/192.39	c  190s |       9 |   157380 |     8806 |    64749      0 |      168 |      166
196.66/196.74	c  195s |       9 |   161109 |     9006 |    64749      0 |      168 |      166
198.76/198.85	c  197s |       9 |   163120 |     9106 |    64749      0 |      168 |      166
202.66/202.76	c  201s |       9 |   165214 |     9306 |    64749      0 |      168 |      166
205.16/205.20	c  203s |       9 |   165576 |     9406 |    64749      0 |      168 |      166
207.46/207.56	c  206s |       9 |   166198 |     9506 |    64749      0 |      168 |      166
209.66/209.78	c  208s |       9 |   167062 |     9606 |    64749      0 |      168 |      166
212.16/212.28	c  210s |       9 |   167357 |     9706 |    64749      0 |      168 |      166
214.96/215.01	c  213s |       9 |   172968 |     9806 |    64749      0 |      168 |      166
218.46/218.52	c  217s |       9 |   175206 |    10006 |    64749      0 |      168 |      166
220.56/220.62	c  219s |       9 |   175711 |    10106 |    64749      0 |      168 |      166
222.66/222.75	c  221s |       9 |   175856 |    10206 |    64749      0 |      168 |      166
224.76/224.87	c  223s |       9 |   176019 |    10306 |    64749      0 |      168 |      166
229.46/229.57	c  228s |       9 |   176611 |    10506 |    64749      0 |      168 |      166
231.56/231.62	c  230s |       9 |   176751 |    10606 |    64749      0 |      168 |      166
233.76/233.83	c  232s |       9 |   178067 |    10706 |    64749      0 |      168 |      166
238.16/238.25	c  236s |       9 |   179620 |    10906 |    64749      0 |      168 |      166
241.66/241.72	c  240s |       9 |   183325 |    11006 |    64749      0 |      168 |      166
244.16/244.21	c  242s |       9 |   183688 |    11106 |    64749      0 |      168 |      166
246.75/246.87	c  245s |       9 |   183915 |    11206 |    64749      0 |      168 |      166
248.95/249.01	c  247s |       9 |   186156 |    11306 |    71224      0 |      168 |      166
249.85/249.94	c  248s |      10 |   187336 |    11361 |    71224      0 |      168 |      166
253.95/254.08	c  252s |      10 |   189197 |    11461 |    71224      0 |      190 |      188
256.15/256.20	c  254s |      10 |   192459 |    11561 |    71224      0 |      190 |      188
259.45/259.58	c  258s |      10 |   195694 |    11661 |    71224      0 |      190 |      188
263.45/263.57	c  262s |      10 |   196962 |    11761 |    71224      0 |      190 |      188
266.75/266.82	c  265s |      10 |   197240 |    11861 |    71224      0 |      190 |      188
269.65/269.75	c  268s |      10 |   199633 |    11961 |    71224      0 |      190 |      188
272.86/272.96	c  271s |      10 |   201708 |    12061 |    71224      0 |      190 |      188
277.65/277.73	c  276s |      10 |   202100 |    12161 |    71224      0 |      190 |      188
281.25/281.31	c  279s |      10 |   202255 |    12261 |    71224      0 |      190 |      188
284.25/284.36	c  282s |      10 |   202393 |    12361 |    71224      0 |      190 |      188
287.85/287.96	c  286s |      10 |   202928 |    12461 |    71224      0 |      190 |      188
291.05/291.15	c  289s |      10 |   203276 |    12561 |    71224      0 |      190 |      188
295.14/295.20	c  293s |      10 |   203967 |    12661 |    71224      0 |      190 |      188
299.44/299.56	c  298s |      10 |   204778 |    12761 |    71224      0 |      190 |      188
301.94/302.02	c  300s |      10 |   208268 |    12861 |    71224      0 |      190 |      188
304.04/304.19	c  302s |      10 |   209921 |    12961 |    71224      0 |      190 |      188
308.14/308.26	c  306s |      10 |   210819 |    13061 |    71224      0 |      190 |      188
312.74/312.84	c  311s |      10 |   211516 |    13161 |    71224      0 |      190 |      188
315.24/315.38	c  313s |      10 |   214360 |    13261 |    71224      0 |      190 |      188
317.95/318.01	c  316s |      10 |   215784 |    13361 |    71224      0 |      190 |      188
321.84/321.97	c  320s |      10 |   220275 |    13461 |    71224      0 |      190 |      188
323.84/323.99	c  322s |      10 |   222306 |    13561 |    71224      0 |      190 |      188
327.14/327.29	c  325s |      10 |   223651 |    13661 |    71224      0 |      190 |      188
330.74/330.82	c  329s |      10 |   224152 |    13761 |    71224      0 |      190 |      188
334.34/334.41	c  332s |      10 |   224284 |    13861 |    71224      0 |      190 |      188
337.43/337.59	c  336s |      10 |   224507 |    13961 |    71224      0 |      190 |      188
341.13/341.21	c  339s |      10 |   224814 |    14061 |    71224      0 |      190 |      188
344.34/344.41	c  342s |      10 |   225161 |    14161 |    71224      0 |      190 |      188
347.73/347.83	c  346s |      10 |   228607 |    14361 |    71224      0 |      190 |      188
351.03/351.17	c  349s |      10 |   229112 |    14461 |    71224      0 |      190 |      188
354.62/354.78	c  353s |      10 |   229629 |    14561 |    71224      0 |      190 |      188
358.53/358.63	c  357s |      10 |   230762 |    14661 |    71224      0 |      190 |      188
361.93/362.04	c  360s |      10 |   230981 |    14761 |    71224      0 |      190 |      188
365.92/366.08	c  364s |      10 |   231407 |    14861 |    71224      0 |      190 |      188
371.02/371.12	c  369s |      10 |   231967 |    14961 |    71224      0 |      190 |      188
375.52/375.67	c  374s |      10 |   232349 |    15061 |    71224      0 |      190 |      188
379.32/379.48	c  377s |      10 |   232596 |    15161 |    71224      0 |      190 |      188
382.62/382.74	c  381s |      10 |   232903 |    15261 |    71224      0 |      190 |      188
387.92/388.03	c  386s |      10 |   233238 |    15361 |    71224      0 |      190 |      188
390.81/390.91	c  389s |      10 |   234516 |    15461 |    71224      0 |      190 |      188
393.11/393.22	c  391s |      10 |   235423 |    15561 |    71224      0 |      190 |      188
395.51/395.65	c  394s |      10 |   236564 |    15661 |    71224      0 |      190 |      188
400.11/400.24	c  398s |      10 |   236823 |    15761 |    71224      0 |      190 |      188
403.41/403.50	c  401s |      10 |   237608 |    15861 |    71224      0 |      190 |      188
406.71/406.80	c  405s |      10 |   237747 |    15961 |    71224      0 |      190 |      188
409.91/410.03	c  408s |      10 |   238355 |    16061 |    71224      0 |      190 |      188
413.01/413.11	c  411s |      10 |   239226 |    16161 |    71224      0 |      190 |      188
415.91/416.00	c  414s |      10 |   240343 |    16261 |    71224      0 |      190 |      188
420.21/420.34	c  418s |      10 |   242787 |    16461 |    71224      0 |      190 |      188
422.70/422.88	c  421s |      10 |   243094 |    16561 |    71224      0 |      190 |      188
426.10/426.29	c  424s |      10 |   243952 |    16661 |    71224      0 |      190 |      188
430.11/430.23	c  428s |      10 |   244580 |    16761 |    71224      0 |      190 |      188
432.60/432.78	c  431s |      10 |   246662 |    16861 |    71224      0 |      190 |      188
435.90/436.06	c  434s |      10 |   248971 |    16961 |    71224      0 |      190 |      188
438.30/438.48	c  436s |      10 |   250643 |    17061 |    78347      0 |      190 |      188
440.70/440.86	c  439s |      11 |   252253 |    17144 |    78347      0 |      190 |      188
445.40/445.56	c  444s |      11 |   257197 |    17244 |    78347      0 |      190 |      188
447.90/448.07	c  446s |      11 |   258688 |    17344 |    78347      0 |      190 |      188
450.80/450.92	c  449s |      11 |   259372 |    17444 |    78347      0 |      190 |      188
452.80/452.95	c  451s |      11 |   260861 |    17544 |    78347      0 |      190 |      188
456.69/456.81	c  455s |      11 |   263987 |    17744 |    78347      0 |      190 |      188
460.09/460.23	c  458s |      11 |   264728 |    17944 |    78347      0 |      190 |      188
462.59/462.71	c  461s |      11 |   264979 |    18044 |    78347      0 |      190 |      188
465.99/466.15	c  464s |      11 |   265515 |    18144 |    78347      0 |      190 |      188
468.69/468.86	c  467s |      11 |   266258 |    18244 |    78347      0 |      190 |      188
471.80/471.95	c  470s |      11 |   266440 |    18344 |    78347      0 |      190 |      188
474.59/474.71	c  473s |      11 |   267194 |    18444 |    78347      0 |      190 |      188
477.49/477.67	c  476s |      11 |   267362 |    18544 |    78347      0 |      190 |      188
480.09/480.24	c  478s |      11 |   267533 |    18644 |    78347      0 |      190 |      188
482.68/482.80	c  481s |      11 |   267797 |    18744 |    78347      0 |      190 |      188
485.18/485.30	c  483s |      11 |   267960 |    18844 |    78347      0 |      190 |      188
488.08/488.23	c  486s |      11 |   268099 |    18944 |    78347      0 |      190 |      188
490.78/490.92	c  489s |      11 |   268512 |    19044 |    78347      0 |      190 |      188
493.98/494.15	c  492s |      11 |   269186 |    19144 |    78347      0 |      190 |      188
497.19/497.33	c  495s |      11 |   269796 |    19244 |    78347      0 |      190 |      188
500.18/500.30	c  498s |      11 |   269982 |    19344 |    78347      0 |      190 |      188
503.18/503.31	c  501s |      11 |   270118 |    19444 |    78347      0 |      190 |      188
506.58/506.79	c  505s |      11 |   270317 |    19544 |    78347      0 |      190 |      188
509.48/509.69	c  508s |      11 |   270531 |    19644 |    78347      0 |      190 |      188
512.38/512.50	c  510s |      11 |   270706 |    19744 |    78347      0 |      190 |      188
515.28/515.44	c  513s |      11 |   271251 |    19844 |    78347      0 |      190 |      188
518.18/518.38	c  516s |      11 |   271462 |    19944 |    78347      0 |      190 |      188
521.07/521.29	c  519s |      11 |   271656 |    20044 |    78347      0 |      190 |      188
523.97/524.14	c  522s |      11 |   272187 |    20144 |    78347      0 |      190 |      188
527.57/527.77	c  526s |      11 |   273512 |    20244 |    78347      0 |      190 |      188
530.08/530.25	c  528s |      11 |   276084 |    20344 |    78347      0 |      190 |      188
532.17/532.36	c  530s |      11 |   278267 |    20444 |    78347      0 |      190 |      188
534.48/534.66	c  533s |      11 |   280565 |    20544 |    78347      0 |      190 |      188
537.47/537.69	c  536s |      11 |   281987 |    20644 |    78347      0 |      190 |      188
539.67/539.81	c  538s |      11 |   283865 |    20744 |    78347      0 |      190 |      188
542.87/543.07	c  541s |      11 |   284946 |    20844 |    78347      0 |      190 |      188
544.97/545.12	c  543s |      11 |   286902 |    20944 |    78347      0 |      190 |      188
548.96/549.15	c  547s |      11 |   289463 |    21144 |    78347      0 |      190 |      188
551.56/551.72	c  550s |      11 |   290548 |    21244 |    78347      0 |      190 |      188
554.37/554.56	c  553s |      11 |   290886 |    21344 |    78347      0 |      190 |      188
557.86/558.02	c  556s |      11 |   291644 |    21444 |    78347      0 |      190 |      188
561.16/561.37	c  559s |      11 |   291843 |    21544 |    78347      0 |      190 |      188
564.36/564.55	c  563s |      11 |   292021 |    21644 |    78347      0 |      190 |      188
567.96/568.13	c  566s |      11 |   293860 |    21744 |    78347      0 |      190 |      188
570.16/570.38	c  568s |      11 |   294800 |    21844 |    78347      0 |      190 |      188
573.85/574.05	c  572s |      11 |   295846 |    22044 |    78347      0 |      190 |      188
576.15/576.40	c  574s |      11 |   297053 |    22144 |    78347      0 |      190 |      188
580.55/580.71	c  579s |      11 |   303695 |    22344 |    78347      0 |      190 |      188
584.06/584.25	c  582s |      11 |   305722 |    22544 |    78347      0 |      190 |      188
586.35/586.58	c  585s |      11 |   306449 |    22644 |    78347      0 |      190 |      188
591.35/591.59	c  590s |      11 |   308257 |    22844 |    78347      0 |      190 |      188
594.15/594.34	c  592s |      11 |   311653 |    23044 |    78347      0 |      190 |      188
597.55/597.70	c  596s |      11 |   315069 |    23244 |    78347      0 |      190 |      188
601.85/602.01	c  600s |      11 |   317871 |    23444 |    78347      0 |      190 |      188
604.75/604.99	c  603s |      11 |   319513 |    23644 |    78347      0 |      190 |      188
607.15/607.39	c  605s |      11 |   323266 |    23844 |    78347      0 |      190 |      188
610.64/610.81	c  609s |      11 |   326210 |    24044 |    78347      0 |      190 |      188
613.75/613.93	c  612s |      11 |   326629 |    24144 |    78347      0 |      190 |      188
616.34/616.52	c  615s |      11 |   326893 |    24244 |    78347      0 |      190 |      188
618.84/619.07	c  617s |      11 |   328355 |    24344 |    78347      0 |      190 |      188
622.74/622.91	c  621s |      11 |   330621 |    24544 |    78347      0 |      190 |      188
626.14/626.30	c  624s |      11 |   331681 |    24744 |    78347      0 |      190 |      188
629.64/629.86	c  628s |      11 |   333433 |    24944 |    78347      0 |      190 |      188
632.34/632.51	c  631s |      11 |   339286 |    25144 |    78347      0 |      190 |      188
634.73/634.96	c  633s |      11 |   340235 |    25244 |    78347      0 |      190 |      188
637.63/637.82	c  636s |      11 |   342175 |    25344 |    78347      0 |      190 |      188
640.53/640.70	c  639s |      11 |   344831 |    25444 |    78347      0 |      190 |      188
643.03/643.24	c  641s |      11 |   350134 |    25644 |    78347      0 |      190 |      188
646.53/646.70	c  645s |      12 |   354802 |    25819 |    86182      0 |      190 |      188
649.33/649.51	c  648s |      12 |   357459 |    25919 |    86182      0 |      190 |      188
652.33/652.55	c  651s |      12 |   360224 |    26119 |    86182      0 |      190 |      188
654.53/654.70	c  653s |      12 |   365010 |    26219 |    86182      0 |      190 |      188
659.13/659.34	c  657s |      12 |   368055 |    26419 |    86182      0 |      190 |      188
661.73/661.98	c  660s |      12 |   370455 |    26519 |    86182      0 |      190 |      188
665.52/665.78	c  664s |      12 |   375717 |    26719 |    86182      0 |      190 |      188
668.52/668.76	c  667s |      12 |   377056 |    26819 |    86182      0 |      190 |      188
671.12/671.32	c  669s |      12 |   379346 |    27019 |    86182      0 |      190 |      188
675.72/675.99	c  674s |      12 |   385578 |    27219 |    86182      0 |      190 |      188
679.63/679.89	c  678s |      12 |   385780 |    27319 |    86182      0 |      190 |      188
683.62/683.84	c  682s |      12 |   386801 |    27419 |    86182      0 |      190 |      188
687.22/687.43	c  685s |      12 |   388764 |    27519 |    86182      0 |      190 |      188
690.52/690.74	c  689s |      12 |   389837 |    27619 |    86182      0 |      190 |      188
694.62/694.85	c  693s |      12 |   389973 |    27719 |    86182      0 |      190 |      188
697.42/697.67	c  696s |      12 |   390694 |    27819 |    86182      0 |      190 |      188
701.92/702.10	c  700s |      12 |   392909 |    28019 |    86182      0 |      190 |      188
704.22/704.41	c  702s |      12 |   394018 |    28119 |    86182      0 |      190 |      188
707.72/707.96	c  706s |      12 |   395370 |    28219 |    86182      0 |      190 |      188
709.92/710.13	c  708s |      12 |   396577 |    28319 |    86182      0 |      190 |      188
712.41/712.66	c  711s |      12 |   397500 |    28419 |    86182      0 |      190 |      188
715.41/715.67	c  714s |      12 |   398022 |    28519 |    86182      0 |      190 |      188
719.22/719.48	c  717s |      12 |   398264 |    28619 |    86182      0 |      190 |      188
722.31/722.57	c  721s |      12 |   398516 |    28719 |    86182      0 |      190 |      188
726.31/726.56	c  725s |      12 |   399979 |    28919 |    86182      0 |      190 |      188
729.12/729.35	c  727s |      12 |   400933 |    29019 |    86182      0 |      190 |      188
733.01/733.20	c  731s |      12 |   402952 |    29119 |    86182      0 |      190 |      188
735.61/735.89	c  734s |      12 |   403997 |    29219 |    86182      0 |      190 |      188
738.71/738.90	c  737s |      12 |   404555 |    29319 |    86182      0 |      190 |      188
742.51/742.76	c  741s |      12 |   404764 |    29419 |    86182      0 |      190 |      188
747.21/747.48	c  745s |      12 |   405375 |    29519 |    86182      0 |      190 |      188
749.61/749.83	c  748s |      12 |   407117 |    29619 |    86182      0 |      190 |      188
752.61/752.85	c  751s |      12 |   408732 |    29719 |    86182      0 |      190 |      188
756.21/756.41	c  754s |      12 |   410461 |    29819 |    86182      0 |      190 |      188
760.11/760.40	c  758s |      12 |   411037 |    29919 |    86182      0 |      190 |      188
762.61/762.83	c  761s |      12 |   412322 |    30019 |    86182      0 |      190 |      188
765.61/765.86	c  764s |      12 |   412704 |    30119 |    86182      0 |      190 |      188
767.81/768.01	c  766s |      12 |   413507 |    30219 |    86182      0 |      190 |      188
770.41/770.69	c  769s |      12 |   414008 |    30319 |    86182      0 |      190 |      188
772.71/772.94	c  771s |      12 |   414763 |    30419 |    86182      0 |      190 |      188
775.91/776.13	c  774s |      12 |   417072 |    30619 |    86182      0 |      190 |      188
778.01/778.25	c  776s |      12 |   418038 |    30719 |    86182      0 |      190 |      188
780.21/780.49	c  778s |      12 |   418542 |    30819 |    86182      0 |      190 |      188
782.71/782.99	c  781s |      12 |   420816 |    31019 |    86182      0 |      190 |      188
785.40/785.66	c  784s |      12 |   421108 |    31119 |    86182      0 |      190 |      188
788.10/788.37	c  786s |      12 |   421388 |    31219 |    86182      0 |      190 |      188
791.10/791.31	c  789s |      12 |   421716 |    31319 |    86182      0 |      190 |      188
794.50/794.77	c  793s |      12 |   421874 |    31419 |    86182      0 |      190 |      188
797.60/797.86	c  796s |      12 |   422019 |    31519 |    86182      0 |      190 |      188
801.30/801.51	c  799s |      12 |   422453 |    31619 |    86182      0 |      190 |      188
804.40/804.68	c  803s |      12 |   423049 |    31719 |    86182      0 |      190 |      188
807.80/808.07	c  806s |      12 |   423417 |    31819 |    86182      0 |      190 |      188
811.90/812.17	c  810s |      12 |   423671 |    31919 |    86182      0 |      190 |      188
815.09/815.31	c  813s |      12 |   424180 |    32019 |    86182      0 |      190 |      188
819.59/819.81	c  818s |      12 |   424724 |    32119 |    86182      0 |      190 |      188
822.79/823.03	c  821s |      12 |   425488 |    32219 |    86182      0 |      190 |      188
826.89/827.14	c  825s |      12 |   426002 |    32319 |    86182      0 |      190 |      188
829.39/829.64	c  828s |      12 |   426624 |    32419 |    86182      0 |      190 |      188
831.59/831.85	c  830s |      12 |   428158 |    32619 |    86182      0 |      190 |      188
833.98/834.23	c  832s |      12 |   431182 |    32719 |    86182      0 |      190 |      188
836.68/836.95	c  835s |      12 |   433458 |    32919 |    86182      0 |      190 |      188
839.28/839.59	c  838s |      12 |   434139 |    33019 |    86182      0 |      190 |      188
842.88/843.12	c  841s |      12 |   437462 |    33219 |    86182      0 |      190 |      188
846.18/846.48	c  844s |      12 |   438625 |    33419 |    86182      0 |      190 |      188
849.78/850.04	c  848s |      12 |   440844 |    33619 |    86182      0 |      190 |      188
853.18/853.40	c  851s |      12 |   442782 |    33819 |    86182      0 |      190 |      188
856.38/856.68	c  855s |      12 |   444190 |    34019 |    86182      0 |      190 |      188
859.58/859.89	c  858s |      12 |   444343 |    34119 |    86182      0 |      190 |      188
862.78/863.07	c  861s |      12 |   444796 |    34219 |    86182      0 |      190 |      188
866.58/866.83	c  865s |      12 |   446340 |    34319 |    86182      0 |      190 |      188
870.67/870.95	c  869s |      12 |   450128 |    34519 |    86182      0 |      190 |      188
873.67/873.99	c  872s |      12 |   451581 |    34619 |    86182      0 |      190 |      188
876.48/876.80	c  875s |      12 |   452577 |    34719 |    86182      0 |      190 |      188
878.78/879.05	c  877s |      12 |   453890 |    34819 |    86182      0 |      190 |      188
881.47/881.72	c  880s |      12 |   455671 |    34919 |    86182      0 |      190 |      188
883.57/883.82	c  882s |      12 |   457581 |    35019 |    86182      0 |      190 |      188
885.87/886.14	c  884s |      12 |   458618 |    35119 |    86182      0 |      190 |      188
889.47/889.74	c  888s |      12 |   460774 |    35319 |    86182      0 |      190 |      188
891.67/891.91	c  890s |      12 |   462307 |    35419 |    86182      0 |      190 |      188
894.47/894.72	c  893s |      12 |   464863 |    35619 |    86182      0 |      190 |      188
897.57/897.88	c  896s |      12 |   465642 |    35719 |    86182      0 |      190 |      188
899.97/900.21	c  898s |      12 |   466685 |    35819 |    86182      0 |      190 |      188
903.07/903.35	c  901s |      12 |   468185 |    35919 |    86182      0 |      190 |      188
905.57/905.83	c  904s |      12 |   468783 |    36019 |    86182      0 |      190 |      188
907.77/908.04	c  906s |      12 |   469187 |    36119 |    86182      0 |      190 |      188
909.77/910.08	c  908s |      12 |   469307 |    36219 |    86182      0 |      190 |      188
912.47/912.77	c  911s |      12 |   469450 |    36319 |    86182      0 |      190 |      188
915.97/916.25	c  914s |      12 |   470739 |    36419 |    86182      0 |      190 |      188
920.07/920.34	c  918s |      12 |   471745 |    36519 |    86182      0 |      190 |      188
923.07/923.33	c  921s |      12 |   472414 |    36619 |    86182      0 |      190 |      188
926.67/926.93	c  925s |      12 |   473080 |    36719 |    86182      0 |      190 |      188
929.96/930.20	c  928s |      12 |   473497 |    36819 |    86182      0 |      190 |      188
934.26/934.53	c  933s |      12 |   473648 |    36919 |    86182      0 |      190 |      188
937.46/937.77	c  936s |      12 |   474229 |    37019 |    86182      0 |      190 |      188
940.86/941.14	c  939s |      12 |   474542 |    37119 |    86182      0 |      190 |      188
944.46/944.74	c  943s |      12 |   474664 |    37219 |    86182      0 |      190 |      188
947.06/947.34	c  945s |      12 |   474790 |    37319 |    86182      0 |      190 |      188
950.06/950.40	c  948s |      12 |   476064 |    37419 |    86182      0 |      190 |      188
952.26/952.52	c  951s |      12 |   477475 |    37519 |    86182      0 |      190 |      188
954.26/954.54	c  953s |      12 |   478460 |    37619 |    86182      0 |      190 |      188
958.06/958.30	c  956s |      12 |   482195 |    37819 |    86182      0 |      190 |      188
960.07/960.40	c  958s |      12 |   483342 |    37919 |    86182      0 |      190 |      188
962.66/962.95	c  961s |      12 |   486502 |    38019 |    86182      0 |      190 |      188
965.67/965.93	c  964s |      12 |   489868 |    38119 |    86182      0 |      190 |      188
967.87/968.12	c  966s |      12 |   492411 |    38219 |    86182      0 |      190 |      188
970.16/970.45	c  968s |      12 |   493155 |    38319 |    86182      0 |      190 |      188
972.46/972.79	c  971s |      12 |   493744 |    38419 |    86182      0 |      190 |      188
975.06/975.33	c  973s |      12 |   494150 |    38519 |    86182      0 |      190 |      188
977.66/977.94	c  976s |      12 |   494297 |    38619 |    94801      0 |      190 |      188
980.06/980.31	c  978s |      12 |   494481 |    38719 |    94801      0 |      190 |      188
983.16/983.45	c  981s |      12 |   497090 |    38819 |    94801      0 |      190 |      188
983.46/983.78	c  982s |      13 |   497505 |    38832 |    94801      0 |      190 |      188
986.66/986.92	c  985s |      13 |   500208 |    38932 |    94801      0 |      190 |      188
990.05/990.34	c  988s |      13 |   504821 |    39132 |    94801      0 |      190 |      188
992.35/992.61	c  991s |      13 |   508314 |    39232 |    94801      0 |      190 |      188
995.85/996.10	c  994s |      13 |   513759 |    39432 |    94801      0 |      190 |      188
998.66/998.92	c  997s |      13 |   516491 |    39532 |    94801      0 |      190 |      188
1000.86/1001.11	c  999s |      13 |   517921 |    39732 |    94801      0 |      190 |      188
1004.95/1005.22	c 1003s |      13 |   519584 |    39832 |    94801      0 |      190 |      188
1008.15/1008.45	c 1006s |      13 |   521605 |    39932 |    94801      0 |      190 |      188
1012.75/1013.03	c 1011s |      13 |   523805 |    40132 |    94801      0 |      190 |      188
1017.36/1017.61	c 1016s |      13 |   526599 |    40332 |    94801      0 |      190 |      188
1022.45/1022.79	c 1021s |      13 |   527333 |    40432 |    94801      0 |      190 |      188
1027.45/1027.71	c 1026s |      13 |   527881 |    40532 |    94801      0 |      190 |      188
1031.95/1032.24	c 1030s |      13 |   528648 |    40632 |    94801      0 |      190 |      188
1038.35/1038.69	c 1037s |      13 |   528924 |    40732 |    94801      0 |      190 |      188
1044.54/1044.85	c 1043s |      13 |   529392 |    40832 |    94801      0 |      190 |      188
1049.84/1050.11	c 1048s |      13 |   530737 |    40932 |    94801      0 |      190 |      188
1055.04/1055.38	c 1053s |      13 |   531139 |    41032 |    94801      0 |      190 |      188
1059.64/1059.94	c 1058s |      13 |   531777 |    41132 |    94801      0 |      190 |      188
1063.94/1064.29	c 1062s |      13 |   533526 |    41232 |    94801      0 |      190 |      188
1066.24/1066.52	c 1065s |      13 |   536591 |    41332 |    94801      0 |      190 |      188
1070.84/1071.18	c 1069s |      13 |   537121 |    41432 |    94801      0 |      190 |      188
1073.54/1073.81	c 1072s |      13 |   538172 |    41532 |    94801      0 |      190 |      188
1078.44/1078.75	c 1077s |      13 |   539011 |    41632 |    94801      0 |      190 |      188
1082.84/1083.15	c 1081s |      13 |   539515 |    41732 |    94801      0 |      190 |      188
1086.94/1087.20	c 1085s |      13 |   539987 |    41832 |    94801      0 |      190 |      188
1091.54/1091.82	c 1090s |      13 |   540977 |    41932 |    94801      0 |      190 |      188
1097.04/1097.32	c 1095s |      13 |   541683 |    42032 |    94801      0 |      190 |      188
1102.94/1103.21	c 1101s |      13 |   542135 |    42132 |    94801      0 |      190 |      188
1106.13/1106.41	c 1104s |      13 |   543314 |    42232 |    94801      0 |      190 |      188
1108.83/1109.13	c 1107s |      13 |   543915 |    42332 |    94801      0 |      190 |      188
1111.94/1112.25	c 1110s |      13 |   544748 |    42432 |    94801      0 |      190 |      188
1115.03/1115.37	c 1113s |      13 |   547692 |    42532 |    94801      0 |      190 |      188
1119.23/1119.53	c 1118s |      13 |   549442 |    42632 |    94801      0 |      190 |      188
1122.84/1123.18	c 1121s |      13 |   551016 |    42732 |    94801      0 |      190 |      188
1125.63/1125.93	c 1124s |      13 |   553651 |    42832 |    94801      0 |      190 |      188
1127.93/1128.23	c 1126s |      13 |   555237 |    42932 |    94801      0 |      190 |      188
1129.93/1130.23	c 1128s |      13 |   557067 |    43032 |    94801      0 |      190 |      188
1132.23/1132.59	c 1131s |      13 |   559142 |    43132 |    94801      0 |      190 |      188
1135.23/1135.55	c 1134s |      13 |   559934 |    43232 |    94801      0 |      190 |      188
1141.13/1141.40	c 1139s |      13 |   563154 |    43432 |    94801      0 |      190 |      188
1146.73/1147.05	c 1145s |      13 |   563494 |    43532 |    94801      0 |      190 |      188
1149.13/1149.43	c 1147s |      13 |   563833 |    43632 |    94801      0 |      190 |      188
1151.93/1152.24	c 1150s |      13 |   564058 |    43732 |    94801      0 |      190 |      188
1155.43/1155.79	c 1154s |      13 |   565727 |    43832 |    94801      0 |      190 |      188
1158.03/1158.33	c 1156s |      13 |   567024 |    44032 |    94801      0 |      190 |      188
1160.53/1160.80	c 1159s |      13 |   567346 |    44132 |    94801      0 |      190 |      188
1164.82/1165.13	c 1163s |      13 |   567727 |    44232 |    94801      0 |      190 |      188
1167.22/1167.53	c 1166s |      13 |   568427 |    44332 |    94801      0 |      190 |      188
1170.32/1170.68	c 1169s |      13 |   569297 |    44432 |    94801      0 |      190 |      188
1173.82/1174.14	c 1172s |      13 |   571123 |    44532 |    94801      0 |      190 |      188
1177.12/1177.40	c 1175s |      13 |   572200 |    44632 |    94801      0 |      190 |      188
1180.32/1180.63	c 1179s |      13 |   573792 |    44732 |    94801      0 |      190 |      188
1183.22/1183.60	c 1182s |      13 |   576366 |    44832 |    94801      0 |      190 |      188
1187.42/1187.71	c 1186s |      13 |   577549 |    44932 |    94801      0 |      190 |      188
1192.23/1192.55	c 1191s |      13 |   578030 |    45032 |    94801      0 |      190 |      188
1197.42/1197.77	c 1196s |      13 |   578374 |    45132 |    94801      0 |      190 |      188
1201.92/1202.23	c 1200s |      13 |   581830 |    45332 |    94801      0 |      190 |      188
1204.42/1204.71	c 1203s |      13 |   582632 |    45432 |    94801      0 |      190 |      188
1207.02/1207.40	c 1205s |      13 |   583409 |    45532 |    94801      0 |      190 |      188
1211.42/1211.71	c 1210s |      13 |   583767 |    45632 |    94801      0 |      190 |      188
1216.12/1216.44	c 1214s |      13 |   584086 |    45732 |    94801      0 |      190 |      188
1221.72/1222.07	c 1220s |      13 |   584621 |    45832 |    94801      0 |      190 |      188
1227.92/1228.26	c 1226s |      13 |   585052 |    45932 |    94801      0 |      190 |      188
1233.61/1233.92	c 1232s |      13 |   585591 |    46032 |    94801      0 |      190 |      188
1240.21/1240.53	c 1239s |      13 |   585771 |    46132 |    94801      0 |      190 |      188
1245.81/1246.10	c 1244s |      13 |   587032 |    46232 |    94801      0 |      190 |      188
1250.31/1250.70	c 1249s |      13 |   587801 |    46332 |    94801      0 |      190 |      188
1256.41/1256.72	c 1255s |      13 |   588641 |    46432 |    94801      0 |      190 |      188
1262.41/1262.74	c 1261s |      13 |   589436 |    46532 |    94801      0 |      190 |      188
1267.91/1268.23	c 1266s |      13 |   590106 |    46632 |    94801      0 |      190 |      188
1270.51/1270.84	c 1269s |      13 |   591285 |    46732 |    94801      0 |      190 |      188
1274.81/1275.15	c 1273s |      13 |   591798 |    46832 |    94801      0 |      190 |      188
1278.70/1279.03	c 1277s |      13 |   592197 |    46932 |    94801      0 |      190 |      188
1283.01/1283.32	c 1281s |      13 |   593019 |    47032 |    94801      0 |      190 |      188
1286.82/1287.13	c 1285s |      13 |   594258 |    47132 |    94801      0 |      190 |      188
1289.11/1289.43	c 1287s |      13 |   596775 |    47232 |    94801      0 |      190 |      188
1291.91/1292.26	c 1290s |      13 |   597608 |    47332 |    94801      0 |      190 |      188
1295.21/1295.57	c 1294s |      13 |   598597 |    47432 |    94801      0 |      190 |      188
1299.51/1299.87	c 1298s |      13 |   599853 |    47532 |    94801      0 |      190 |      188
1303.01/1303.33	c 1301s |      13 |   600834 |    47632 |    94801      0 |      190 |      188
1308.41/1308.75	c 1307s |      13 |   601851 |    47732 |    94801      0 |      190 |      188
1315.41/1315.74	c 1314s |      13 |   602428 |    47832 |    94801      0 |      190 |      188
1318.91/1319.21	c 1317s |      13 |   603535 |    47932 |    94801      0 |      190 |      188
1324.61/1324.95	c 1323s |      13 |   604167 |    48032 |    94801      0 |      190 |      188
1328.91/1329.20	c 1327s |      13 |   604558 |    48132 |    94801      0 |      190 |      188
1334.70/1335.06	c 1333s |      13 |   604839 |    48232 |    94801      0 |      190 |      188
1340.50/1340.86	c 1339s |      13 |   605504 |    48332 |    94801      0 |      190 |      188
1348.41/1348.77	c 1347s |      13 |   605778 |    48432 |    94801      0 |      190 |      188
1354.30/1354.62	c 1353s |      13 |   605984 |    48532 |    94801      0 |      190 |      188
1361.70/1362.04	c 1360s |      13 |   606136 |    48632 |    94801      0 |      190 |      188
1367.40/1367.77	c 1366s |      13 |   606423 |    48732 |    94801      0 |      190 |      188
1375.20/1375.54	c 1374s |      13 |   606729 |    48832 |    94801      0 |      190 |      188
1382.50/1382.86	c 1381s |      13 |   606965 |    48932 |    94801      0 |      190 |      188
1390.79/1391.11	c 1389s |      13 |   607084 |    49032 |    94801      0 |      190 |      188
1396.59/1396.93	c 1395s |      13 |   607471 |    49132 |    94801      0 |      190 |      188
1402.49/1402.87	c 1401s |      13 |   608028 |    49232 |    94801      0 |      190 |      188
1407.09/1407.46	c 1405s |      13 |   610259 |    49332 |    94801      0 |      190 |      188
1411.39/1411.70	c 1410s |      13 |   611864 |    49532 |    94801      0 |      190 |      188
1415.40/1415.72	c 1414s |      13 |   613299 |    49732 |    94801      0 |      190 |      188
1419.19/1419.58	c 1418s |      13 |   615032 |    49832 |    94801      0 |      190 |      188
1423.39/1423.79	c 1422s |      13 |   615898 |    49932 |    94801      0 |      190 |      188
1428.29/1428.63	c 1427s |      13 |   617580 |    50032 |    94801      0 |      190 |      188
1432.69/1433.04	c 1431s |      13 |   619226 |    50132 |    94801      0 |      190 |      188
1436.29/1436.61	c 1435s |      13 |   620300 |    50232 |    94801      0 |      190 |      188
1440.69/1441.09	c 1439s |      13 |   621918 |    50332 |    94801      0 |      190 |      188
1443.89/1444.28	c 1442s |      13 |   625129 |    50532 |    94801      0 |      190 |      188
1446.19/1446.56	c 1445s |      13 |   627083 |    50632 |    94801      0 |      190 |      188
1449.28/1449.63	c 1448s |      13 |   627762 |    50732 |    94801      0 |      190 |      188
1451.69/1452.03	c 1450s |      13 |   628985 |    50932 |    94801      0 |      190 |      188
1454.18/1454.56	c 1453s |      13 |   631247 |    51132 |    94801      0 |      190 |      188
1456.58/1456.91	c 1455s |      13 |   631698 |    51332 |    94801      0 |      190 |      188
1459.49/1459.87	c 1458s |      13 |   632984 |    51532 |    94801      0 |      190 |      188
1462.79/1463.12	c 1461s |      13 |   634533 |    51732 |    94801      0 |      190 |      188
1466.09/1466.41	c 1464s |      13 |   635565 |    51932 |    94801      0 |      190 |      188
1469.08/1469.42	c 1467s |      13 |   636038 |    52032 |    94801      0 |      190 |      188
1471.18/1471.51	c 1469s |      13 |   638039 |    52132 |    94801      0 |      190 |      188
1474.28/1474.69	c 1473s |      13 |   640128 |    52232 |    94801      0 |      190 |      188
1476.68/1477.03	c 1475s |      13 |   641170 |    52332 |    94801      0 |      190 |      188
1480.98/1481.37	c 1479s |      13 |   642547 |    52432 |    94801      0 |      190 |      188
1484.88/1485.23	c 1483s |      13 |   643375 |    52532 |    94801      0 |      190 |      188
1488.98/1489.35	c 1487s |      13 |   644135 |    52632 |    94801      0 |      190 |      188
1493.38/1493.79	c 1492s |      13 |   645810 |    52732 |    94801      0 |      190 |      188
1499.58/1499.98	c 1498s |      13 |   646290 |    52832 |    94801      0 |      190 |      188
1503.18/1503.54	c 1502s |      13 |   646648 |    52932 |    94801      0 |      190 |      188
1507.18/1507.58	c 1506s |      13 |   647490 |    53032 |    94801      0 |      190 |      188
1513.77/1514.11	c 1512s |      13 |   647762 |    53132 |    94801      0 |      190 |      188
1519.67/1520.04	c 1518s |      13 |   648089 |    53232 |    94801      0 |      190 |      188
1524.97/1525.36	c 1523s |      13 |   649255 |    53332 |    94801      0 |      190 |      188
1530.67/1531.02	c 1529s |      13 |   649447 |    53432 |    94801      0 |      190 |      188
1536.27/1536.62	c 1535s |      13 |   649991 |    53532 |    94801      0 |      190 |      188
1542.57/1542.94	c 1541s |      13 |   650288 |    53632 |    94801      0 |      190 |      188
1549.47/1549.88	c 1548s |      13 |   650909 |    53732 |    94801      0 |      190 |      188
1555.87/1556.20	c 1554s |      13 |   651393 |    53832 |    94801      0 |      190 |      188
1561.77/1562.15	c 1560s |      13 |   651851 |    53932 |    94801      0 |      190 |      188
1568.07/1568.44	c 1566s |      13 |   652558 |    54032 |    94801      0 |      190 |      188
1572.07/1572.42	c 1570s |      13 |   654935 |    54132 |    94801      0 |      190 |      188
1576.07/1576.49	c 1574s |      13 |   655919 |    54232 |    94801      0 |      190 |      188
1580.56/1580.93	c 1579s |      13 |   657844 |    54332 |    94801      0 |      190 |      188
1582.96/1583.30	c 1581s |      13 |   658993 |    54432 |    94801      0 |      190 |      188
1585.16/1585.51	c 1584s |      13 |   659695 |    54532 |    94801      0 |      190 |      188
1587.16/1587.57	c 1586s |      13 |   661143 |    54632 |    94801      0 |      190 |      188
1590.86/1591.29	c 1589s |      13 |   663711 |    54832 |    94801      0 |      190 |      188
1593.16/1593.50	c 1591s |      13 |   664550 |    54932 |    94801      0 |      190 |      188
1595.16/1595.57	c 1594s |      13 |   665978 |    55032 |    94801      0 |      190 |      188
1599.07/1599.46	c 1597s |      13 |   671593 |    55232 |    94801      0 |      190 |      188
1601.27/1601.63	c 1600s |      13 |   675839 |    55332 |    94801      0 |      190 |      188
1603.47/1603.90	c 1602s |      13 |   676783 |    55432 |    94801      0 |      190 |      188
1605.86/1606.27	c 1604s |      13 |   677343 |    55532 |    94801      0 |      190 |      188
1609.07/1609.44	c 1607s |      13 |   678783 |    55732 |    94801      0 |      190 |      188
1612.37/1612.78	c 1611s |      13 |   679815 |    55932 |    94801      0 |      190 |      188
1615.67/1616.05	c 1614s |      13 |   680526 |    56132 |    94801      0 |      193 |      190
1617.96/1618.32	c 1616s |      13 |   680766 |    56232 |    94801      0 |      193 |      190
1620.66/1621.04	c 1619s |      13 |   682279 |    56432 |    94801      0 |      193 |      190
1624.66/1625.01	c 1623s |      13 |   684442 |    56632 |    94801      0 |      193 |      190
1626.76/1627.10	c 1625s |      13 |   686475 |    56732 |    94801      0 |      193 |      190
1629.16/1629.52	c 1628s |      13 |   687169 |    56832 |    94801      0 |      193 |      190
1631.36/1631.74	c 1630s |      13 |   687409 |    56932 |    94801      0 |      193 |      190
1634.26/1634.67	c 1633s |      13 |   689091 |    57132 |    94801      0 |      193 |      190
1636.76/1637.19	c 1635s |      13 |   690802 |    57332 |    94801      0 |      193 |      190
1639.76/1640.13	c 1638s |      13 |   692765 |    57532 |    94801      0 |      193 |      190
1642.75/1643.13	c 1641s |      13 |   694142 |    57732 |    94801      0 |      193 |      190
1645.26/1645.63	c 1644s |      13 |   694641 |    57932 |    94801      0 |      193 |      190
1647.95/1648.32	c 1646s |      13 |   695750 |    58132 |   104282      0 |      193 |      190
1651.15/1651.53	c 1650s |      13 |   697193 |    58332 |   104282      0 |      193 |      190
1651.25/1651.65	c 1650s |      14 |   697237 |    58352 |   104282      0 |      193 |      190
1653.45/1653.81	c 1652s |      14 |   697671 |    58452 |   104282      0 |      193 |      190
1656.95/1657.31	c 1655s |      14 |   700319 |    58652 |   104282      0 |      193 |      190
1661.15/1661.54	c 1660s |      14 |   701426 |    58852 |   104282      0 |      193 |      190
1663.25/1663.61	c 1662s |      14 |   702102 |    58952 |   104282      0 |      193 |      190
1665.35/1665.71	c 1664s |      14 |   703073 |    59052 |   104282      0 |      193 |      190
1667.75/1668.13	c 1666s |      14 |   703747 |    59252 |   104282      0 |      193 |      190
1671.15/1671.53	c 1670s |      14 |   704729 |    59452 |   104282      0 |      193 |      190
1674.65/1675.01	c 1673s |      14 |   705026 |    59552 |   104282      0 |      193 |      190
1677.65/1678.01	c 1676s |      14 |   705840 |    59652 |   104282      0 |      193 |      190
1680.35/1680.75	c 1679s |      14 |   706141 |    59752 |   104282      0 |      193 |      190
1683.35/1683.79	c 1682s |      14 |   706423 |    59852 |   104282      0 |      193 |      190
1686.85/1687.26	c 1685s |      14 |   707345 |    60052 |   104282      0 |      193 |      190
1689.04/1689.46	c 1687s |      14 |   707791 |    60152 |   104282      0 |      193 |      190
1692.34/1692.76	c 1691s |      14 |   709088 |    60352 |   104282      0 |      193 |      190
1695.14/1695.56	c 1694s |      14 |   710662 |    60452 |   104282      0 |      193 |      190
1698.15/1698.57	c 1697s |      14 |   712372 |    60552 |   104282      0 |      193 |      190
1701.45/1701.89	c 1700s |      14 |   713312 |    60652 |   104282      0 |      193 |      190
1704.65/1705.03	c 1703s |      14 |   715595 |    60752 |   104282      0 |      193 |      190
1708.24/1708.63	c 1707s |      14 |   717242 |    60852 |   104282      0 |      193 |      190
1712.64/1713.02	c 1711s |      14 |   717819 |    60952 |   104282      0 |      193 |      190
1716.34/1716.74	c 1715s |      14 |   718616 |    61052 |   104282      0 |      193 |      190
1719.94/1720.35	c 1718s |      14 |   720174 |    61152 |   104282      0 |      193 |      190
1722.75/1723.14	c 1721s |      14 |   722825 |    61252 |   104282      0 |      193 |      190
1726.75/1727.16	c 1725s |      14 |   723698 |    61352 |   104282      0 |      193 |      190
1731.64/1732.01	c 1730s |      14 |   724178 |    61452 |   104282      0 |      193 |      190
1734.24/1734.68	c 1733s |      14 |   724443 |    61552 |   104282      0 |      193 |      190
1738.44/1738.81	c 1737s |      14 |   724603 |    61652 |   104282      0 |      193 |      190
1741.05/1741.48	c 1739s |      14 |   725692 |    61752 |   104282      0 |      193 |      190
1745.54/1745.92	c 1744s |      14 |   727897 |    61952 |   104282      0 |      193 |      190
1748.14/1748.56	c 1747s |      14 |   728968 |    62052 |   104282      0 |      193 |      190
1750.85/1751.21	c 1749s |      14 |   729857 |    62152 |   104282      0 |      193 |      190
1753.74/1754.16	c 1752s |      14 |   730295 |    62252 |   104282      0 |      193 |      190
1755.84/1756.29	c 1754s |      14 |   732174 |    62352 |   104282      0 |      193 |      190
1759.65/1760.01	c 1758s |      14 |   736695 |    62552 |   104282      0 |      193 |      190
1761.64/1762.06	c 1760s |      14 |   738613 |    62652 |   104282      0 |      193 |      190
1764.84/1765.28	c 1763s |      14 |   741460 |    62752 |   104282      0 |      193 |      190
1769.04/1769.43	c 1767s |      14 |   742945 |    62952 |   104282      0 |      193 |      190
1773.95/1774.31	c 1772s |      14 |   743379 |    63152 |   104282      0 |      193 |      190
1776.04/1776.40	c 1774s |      14 |   744382 |    63252 |   104282      0 |      193 |      190
1779.84/1780.20	c 1778s |      14 |   745952 |    63452 |   104282      0 |      193 |      190
1783.04/1783.47	c 1781s |      14 |   747390 |    63652 |   104282      0 |      193 |      190
1786.04/1786.46	c 1784s |      14 |   747841 |    63852 |   104282      0 |      193 |      190
1788.64/1789.08	c 1787s |      14 |   748315 |    64052 |   104282      0 |      193 |      190
1791.04/1791.47	c 1789s |      14 |   748720 |    64252 |   104282      0 |      193 |      190
1794.54/1794.97	c 1793s |      14 |   749559 |    64452 |   104282      0 |      193 |      190
1797.33/1797.75	c 1796s |      14 |   750275 |    64652 |   104282      0 |      193 |      190

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

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

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


[startup+0 s]
/proc/loadavg: 2.21 2.12 2.10 3/179 17042
/proc/meminfo: memFree=27680592/32872528 swapFree=12208/1156848
[pid=17042] ppid=17039 vsize=796092 CPUtime=0 cores=1,3,5,7
/proc/17042/stat : 17042 (toysat) R 17039 17042 15571 0 -1 4202496 2983 0 0 0 0 0 0 0 20 0 4 0 111197186 815198208 3344 33554432000 4194304 16246674 140736304075552 140736304074976 15002730 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17042/statm: 199791 3354 441 2943 0 196685 0
[pid=17042/tid=17043] ppid=17039 vsize=814524 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17043/stat : 17043 (toysat) S 17039 17042 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111197186 834072576 3416 33554432000 4194304 16246674 140736304075552 140521250991344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17042/tid=17044] ppid=17039 vsize=819644 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17044/stat : 17044 (toysat) S 17039 17042 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111197186 839315456 3432 33554432000 4194304 16246674 140736304075552 140521240501488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17042/tid=17045] ppid=17039 vsize=823740 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17045/stat : 17045 (toysat) S 17039 17042 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111197186 843509760 3449 33554432000 4194304 16246674 140736304075552 140521230027952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.21 2.12 2.10 3/179 17042
/proc/meminfo: memFree=27680592/32872528 swapFree=12208/1156848
[pid=17042] ppid=17039 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/17042/stat : 17042 (toysat) R 17039 17042 15571 0 -1 4202496 29143 0 0 0 5 4 0 0 20 0 4 0 111197186 1333334016 29443 33554432000 4194304 16246674 140736304075552 140736304074864 7364033 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17042/statm: 325521 29459 800 2943 0 322415 0
[pid=17042/tid=17043] ppid=17039 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17043/stat : 17043 (toysat) S 17039 17042 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111197186 1333334016 29471 33554432000 4194304 16246674 140736304075552 140521250991344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17042/tid=17044] ppid=17039 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17044/stat : 17044 (toysat) S 17039 17042 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111197186 1333334016 29482 33554432000 4194304 16246674 140736304075552 140521240501488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17042/tid=17045] ppid=17039 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17045/stat : 17045 (toysat) S 17039 17042 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111197186 1333334016 29493 33554432000 4194304 16246674 140736304075552 140521230027952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200554 s]
/proc/loadavg: 2.21 2.12 2.10 3/179 17042
/proc/meminfo: memFree=27680592/32872528 swapFree=12208/1156848
[pid=17042] ppid=17039 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/17042/stat : 17042 (toysat) R 17039 17042 15571 0 -1 4202496 45861 0 0 0 12 7 0 0 20 0 4 0 111197186 1344868352 46672 33554432000 4194304 16246674 140736304075552 140736304074864 14795467 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17042/statm: 328337 46677 800 2943 0 325231 0
[pid=17042/tid=17043] ppid=17039 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17043/stat : 17043 (toysat) S 17039 17042 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111197186 1344868352 46677 33554432000 4194304 16246674 140736304075552 140521250991344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17042/tid=17044] ppid=17039 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17044/stat : 17044 (toysat) S 17039 17042 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111197186 1344868352 46677 33554432000 4194304 16246674 140736304075552 140521240501488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17042/tid=17045] ppid=17039 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17045/stat : 17045 (toysat) S 17039 17042 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111197186 1344868352 46677 33554432000 4194304 16246674 140736304075552 140521230027952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.30052 s]
/proc/loadavg: 2.21 2.12 2.10 3/179 17042
/proc/meminfo: memFree=27680592/32872528 swapFree=12208/1156848
[pid=17042] ppid=17039 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/17042/stat : 17042 (toysat) R 17039 17042 15571 0 -1 4202496 58846 0 0 0 20 9 0 0 20 0 4 0 111197186 1344868352 59656 33554432000 4194304 16246674 140736304075552 140736304074864 4223003 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17042/statm: 328337 59656 800 2943 0 325231 0
[pid=17042/tid=17043] ppid=17039 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17043/stat : 17043 (toysat) S 17039 17042 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111197186 1344868352 59656 33554432000 4194304 16246674 140736304075552 140521250991344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17042/tid=17044] ppid=17039 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17044/stat : 17044 (toysat) S 17039 17042 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111197186 1344868352 59656 33554432000 4194304 16246674 140736304075552 140521240501488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17042/tid=17045] ppid=17039 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17045/stat : 17045 (toysat) S 17039 17042 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111197186 1344868352 59656 33554432000 4194304 16246674 140736304075552 140521230027952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.70044 s]
/proc/loadavg: 2.21 2.12 2.10 3/179 17042
/proc/meminfo: memFree=27680592/32872528 swapFree=12208/1156848
[pid=17042] ppid=17039 vsize=1315396 CPUtime=0.69 cores=1,3,5,7
/proc/17042/stat : 17042 (toysat) R 17039 17042 15571 0 -1 4202496 85877 0 0 0 56 13 0 0 20 0 4 0 111197186 1346965504 86688 33554432000 4194304 16246674 140736304075552 140736304074864 5573089 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17042/statm: 328849 86699 834 2943 0 325743 0
[pid=17042/tid=17043] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17043/stat : 17043 (toysat) S 17039 17042 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 86705 33554432000 4194304 16246674 140736304075552 140521250991344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17042/tid=17044] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17044/stat : 17044 (toysat) S 17039 17042 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 86710 33554432000 4194304 16246674 140736304075552 140521240501488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17042/tid=17045] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17045/stat : 17045 (toysat) S 17039 17042 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 86716 33554432000 4194304 16246674 140736304075552 140521230027952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1315396

[startup+1.50043 s]
/proc/loadavg: 2.20 2.12 2.10 3/183 17046
/proc/meminfo: memFree=27028572/32872528 swapFree=12208/1156848
[pid=17042] ppid=17039 vsize=1315396 CPUtime=1.49 cores=1,3,5,7
/proc/17042/stat : 17042 (toysat) R 17039 17042 15571 0 -1 4202496 216653 0 0 0 116 33 0 0 20 0 4 0 111197186 1346965504 217463 33554432000 4194304 16246674 140736304075552 140736304074864 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17042/statm: 328849 217463 842 2943 0 325743 0
[pid=17042/tid=17043] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17043/stat : 17043 (toysat) S 17039 17042 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 217463 33554432000 4194304 16246674 140736304075552 140521250991344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17042/tid=17044] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17044/stat : 17044 (toysat) S 17039 17042 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 217463 33554432000 4194304 16246674 140736304075552 140521240501488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17042/tid=17045] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17045/stat : 17045 (toysat) S 17039 17042 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 217463 33554432000 4194304 16246674 140736304075552 140521230027952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1315396

[startup+3.10043 s]
/proc/loadavg: 2.20 2.12 2.10 3/183 17046
/proc/meminfo: memFree=26811184/32872528 swapFree=12208/1156848
[pid=17042] ppid=17039 vsize=1315396 CPUtime=3.08 cores=1,3,5,7
/proc/17042/stat : 17042 (toysat) R 17039 17042 15571 0 -1 4202496 263591 0 0 0 270 38 0 0 20 0 4 0 111197186 1346965504 264401 33554432000 4194304 16246674 140736304075552 140736304057472 13759916 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17042/statm: 328849 264403 897 2943 0 325743 0
[pid=17042/tid=17043] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17043/stat : 17043 (toysat) S 17039 17042 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 264403 33554432000 4194304 16246674 140736304075552 140521250991344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17042/tid=17044] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17044/stat : 17044 (toysat) S 17039 17042 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 264403 33554432000 4194304 16246674 140736304075552 140521240501488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17042/tid=17045] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17045/stat : 17045 (toysat) S 17039 17042 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 264403 33554432000 4194304 16246674 140736304075552 140521230027952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1315396

[startup+6.30044 s]
/proc/loadavg: 2.18 2.12 2.10 3/183 17046
/proc/meminfo: memFree=26599392/32872528 swapFree=12208/1156848
[pid=17042] ppid=17039 vsize=1315396 CPUtime=6.29 cores=1,3,5,7
/proc/17042/stat : 17042 (toysat) R 17039 17042 15571 0 -1 4202496 269532 0 0 0 590 39 0 0 20 0 4 0 111197186 1346965504 270342 33554432000 4194304 16246674 140736304075552 140736304057472 6024784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17042/statm: 328849 270342 897 2943 0 325743 0
[pid=17042/tid=17043] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17043/stat : 17043 (toysat) S 17039 17042 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270342 33554432000 4194304 16246674 140736304075552 140521250991344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17042/tid=17044] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17044/stat : 17044 (toysat) S 17039 17042 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270342 33554432000 4194304 16246674 140736304075552 140521240501488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17042/tid=17045] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17045/stat : 17045 (toysat) S 17039 17042 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270342 33554432000 4194304 16246674 140736304075552 140521230027952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.17 2.11 2.10 3/183 17046
/proc/meminfo: memFree=26599616/32872528 swapFree=12208/1156848
[pid=17042] ppid=17039 vsize=1315396 CPUtime=12.68 cores=1,3,5,7
/proc/17042/stat : 17042 (toysat) R 17039 17042 15571 0 -1 4202496 269532 0 0 0 1229 39 0 0 20 0 4 0 111197186 1346965504 270342 33554432000 4194304 16246674 140736304075552 140736304057472 5674768 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17042/statm: 328849 270342 897 2943 0 325743 0
[pid=17042/tid=17043] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17043/stat : 17043 (toysat) S 17039 17042 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270342 33554432000 4194304 16246674 140736304075552 140521250991344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17042/tid=17044] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17044/stat : 17044 (toysat) S 17039 17042 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270342 33554432000 4194304 16246674 140736304075552 140521240501488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17042/tid=17045] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17045/stat : 17045 (toysat) S 17039 17042 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270342 33554432000 4194304 16246674 140736304075552 140521230027952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.14 2.11 2.09 3/183 17047
/proc/meminfo: memFree=26599728/32872528 swapFree=12208/1156848
[pid=17042] ppid=17039 vsize=1315396 CPUtime=25.48 cores=1,3,5,7
/proc/17042/stat : 17042 (toysat) R 17039 17042 15571 0 -1 4202496 269532 0 0 0 2509 39 0 0 20 0 4 0 111197186 1346965504 270342 33554432000 4194304 16246674 140736304075552 140736304057472 13774460 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17042/statm: 328849 270342 897 2943 0 325743 0
[pid=17042/tid=17043] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17043/stat : 17043 (toysat) S 17039 17042 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270342 33554432000 4194304 16246674 140736304075552 140521250991344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17042/tid=17044] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17044/stat : 17044 (toysat) S 17039 17042 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270342 33554432000 4194304 16246674 140736304075552 140521240501488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17042/tid=17045] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17045/stat : 17045 (toysat) S 17039 17042 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270342 33554432000 4194304 16246674 140736304075552 140521230027952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.16 2.12 2.09 3/183 17047
/proc/meminfo: memFree=26599576/32872528 swapFree=12208/1156848
[pid=17042] ppid=17039 vsize=1315396 CPUtime=51.08 cores=1,3,5,7
/proc/17042/stat : 17042 (toysat) R 17039 17042 15571 0 -1 4202496 269537 0 0 0 5069 39 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140736304057472 12483624 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17042/statm: 328849 270347 901 2943 0 325743 0
[pid=17042/tid=17043] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17043/stat : 17043 (toysat) S 17039 17042 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521250991344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17042/tid=17044] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17044/stat : 17044 (toysat) S 17039 17042 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521240501488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17042/tid=17045] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17045/stat : 17045 (toysat) S 17039 17042 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521230027952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.301 s]
/proc/loadavg: 2.22 2.14 2.10 3/183 17048
/proc/meminfo: memFree=26599360/32872528 swapFree=12208/1156848
[pid=17042] ppid=17039 vsize=1315396 CPUtime=102.28 cores=1,3,5,7
/proc/17042/stat : 17042 (toysat) R 17039 17042 15571 0 -1 4202496 269537 0 0 0 10189 39 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140736304057472 5677716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17042/statm: 328849 270347 901 2943 0 325743 0
[pid=17042/tid=17043] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17043/stat : 17043 (toysat) S 17039 17042 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521250991344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17042/tid=17044] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17044/stat : 17044 (toysat) S 17039 17042 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521240501488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17042/tid=17045] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17045/stat : 17045 (toysat) S 17039 17042 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521230027952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1315396


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

/proc/17042/task/17045/stat : 17045 (toysat) S 17039 17042 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521230027952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1315396

[startup+1302.3 s]
/proc/loadavg: 2.12 2.15 2.12 4/183 17149
/proc/meminfo: memFree=27755896/32872528 swapFree=12208/1156848
[pid=17042] ppid=17039 vsize=1315396 CPUtime=1302.01 cores=1,3,5,7
/proc/17042/stat : 17042 (toysat) R 17039 17042 15571 0 -1 4202496 269699 0 0 0 130159 42 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140736304057472 12483362 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17042/statm: 328849 270347 901 2943 0 325743 0
[pid=17042/tid=17043] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17043/stat : 17043 (toysat) S 17039 17042 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521250991344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17042/tid=17044] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17044/stat : 17044 (toysat) S 17039 17042 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521240501488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17042/tid=17045] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17045/stat : 17045 (toysat) S 17039 17042 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521230027952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.31 2.20 2.13 3/183 17150
/proc/meminfo: memFree=27755548/32872528 swapFree=12208/1156848
[pid=17042] ppid=17039 vsize=1315396 CPUtime=1362 cores=1,3,5,7
/proc/17042/stat : 17042 (toysat) R 17039 17042 15571 0 -1 4202496 269699 0 0 0 136158 42 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140736304057472 12483204 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17042/statm: 328849 270347 901 2943 0 325743 0
[pid=17042/tid=17043] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17043/stat : 17043 (toysat) S 17039 17042 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521250991344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17042/tid=17044] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17044/stat : 17044 (toysat) S 17039 17042 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521240501488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17042/tid=17045] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17045/stat : 17045 (toysat) S 17039 17042 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521230027952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.31 2.22 2.14 3/183 17151
/proc/meminfo: memFree=27755876/32872528 swapFree=12208/1156848
[pid=17042] ppid=17039 vsize=1315396 CPUtime=1422 cores=1,3,5,7
/proc/17042/stat : 17042 (toysat) R 17039 17042 15571 0 -1 4202496 269699 0 0 0 142158 42 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140736304057472 5722960 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17042/statm: 328849 270347 901 2943 0 325743 0
[pid=17042/tid=17043] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17043/stat : 17043 (toysat) S 17039 17042 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521250991344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17042/tid=17044] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17044/stat : 17044 (toysat) S 17039 17042 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521240501488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17042/tid=17045] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17045/stat : 17045 (toysat) S 17039 17042 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521230027952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.30 2.22 2.14 3/183 17152
/proc/meminfo: memFree=27755280/32872528 swapFree=12208/1156848
[pid=17042] ppid=17039 vsize=1315396 CPUtime=1481.98 cores=1,3,5,7
/proc/17042/stat : 17042 (toysat) R 17039 17042 15571 0 -1 4202496 269699 0 0 0 148156 42 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140736304057472 12483286 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17042/statm: 328849 270347 901 2943 0 325743 0
[pid=17042/tid=17043] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17043/stat : 17043 (toysat) S 17039 17042 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521250991344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17042/tid=17044] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17044/stat : 17044 (toysat) S 17039 17042 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521240501488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17042/tid=17045] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17045/stat : 17045 (toysat) S 17039 17042 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521230027952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.25 2.22 2.15 3/182 17153
/proc/meminfo: memFree=27755444/32872528 swapFree=12208/1156848
[pid=17042] ppid=17039 vsize=1315396 CPUtime=1541.98 cores=1,3,5,7
/proc/17042/stat : 17042 (toysat) R 17039 17042 15571 0 -1 4202496 269699 0 0 0 154156 42 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140736304057472 12477780 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17042/statm: 328849 270347 901 2943 0 325743 0
[pid=17042/tid=17043] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17043/stat : 17043 (toysat) S 17039 17042 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521250991344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17042/tid=17044] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17044/stat : 17044 (toysat) S 17039 17042 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521240501488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17042/tid=17045] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17045/stat : 17045 (toysat) S 17039 17042 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521230027952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.28 2.24 2.16 3/184 17158
/proc/meminfo: memFree=27755156/32872528 swapFree=12208/1156848
[pid=17042] ppid=17039 vsize=1315396 CPUtime=1601.96 cores=1,3,5,7
/proc/17042/stat : 17042 (toysat) R 17039 17042 15571 0 -1 4202496 269699 0 0 0 160154 42 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140736304057472 5677667 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17042/statm: 328849 270347 901 2943 0 325743 0
[pid=17042/tid=17043] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17043/stat : 17043 (toysat) S 17039 17042 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521250991344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17042/tid=17044] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17044/stat : 17044 (toysat) S 17039 17042 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521240501488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17042/tid=17045] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17045/stat : 17045 (toysat) S 17039 17042 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521230027952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.16 2.21 2.15 3/183 17159
/proc/meminfo: memFree=27755440/32872528 swapFree=12208/1156848
[pid=17042] ppid=17039 vsize=1315396 CPUtime=1661.95 cores=1,3,5,7
/proc/17042/stat : 17042 (toysat) R 17039 17042 15571 0 -1 4202496 269699 0 0 0 166153 42 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140736304057472 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17042/statm: 328849 270347 901 2943 0 325743 0
[pid=17042/tid=17043] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17043/stat : 17043 (toysat) S 17039 17042 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521250991344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17042/tid=17044] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17044/stat : 17044 (toysat) S 17039 17042 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521240501488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17042/tid=17045] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17045/stat : 17045 (toysat) S 17039 17042 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521230027952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.13 2.20 2.15 3/183 17160
/proc/meminfo: memFree=27755472/32872528 swapFree=12208/1156848
[pid=17042] ppid=17039 vsize=1315396 CPUtime=1721.95 cores=1,3,5,7
/proc/17042/stat : 17042 (toysat) R 17039 17042 15571 0 -1 4202496 269699 0 0 0 172152 43 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140736304057472 5828585 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17042/statm: 328849 270347 901 2943 0 325743 0
[pid=17042/tid=17043] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17043/stat : 17043 (toysat) S 17039 17042 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521250991344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17042/tid=17044] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17044/stat : 17044 (toysat) S 17039 17042 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521240501488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17042/tid=17045] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17045/stat : 17045 (toysat) S 17039 17042 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521230027952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.11 2.17 2.14 3/183 17161
/proc/meminfo: memFree=27755496/32872528 swapFree=12208/1156848
[pid=17042] ppid=17039 vsize=1315396 CPUtime=1781.94 cores=1,3,5,7
/proc/17042/stat : 17042 (toysat) R 17039 17042 15571 0 -1 4202496 269699 0 0 0 178151 43 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140736304057472 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17042/statm: 328849 270347 901 2943 0 325743 0
[pid=17042/tid=17043] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17043/stat : 17043 (toysat) S 17039 17042 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521250991344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17042/tid=17044] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17044/stat : 17044 (toysat) S 17039 17042 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521240501488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17042/tid=17045] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17045/stat : 17045 (toysat) S 17039 17042 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521230027952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.16 2.18 2.15 3/183 17162
/proc/meminfo: memFree=27754924/32872528 swapFree=12208/1156848
[pid=17042] ppid=17039 vsize=1315396 CPUtime=1800.03 cores=1,3,5,7
/proc/17042/stat : 17042 (toysat) R 17039 17042 15571 0 -1 4202496 269699 0 0 0 179960 43 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140736304074728 5522977 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17042/statm: 328849 270347 901 2943 0 325743 0
[pid=17042/tid=17043] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17043/stat : 17043 (toysat) S 17039 17042 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521250991344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17042/tid=17044] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17044/stat : 17044 (toysat) S 17039 17042 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521240501488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17042/tid=17045] ppid=17039 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17042/task/17045/stat : 17045 (toysat) S 17039 17042 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111197186 1346965504 270347 33554432000 4194304 16246674 140736304075552 140521230027952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 17042 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.05
CPU user time (s): 1799.61
CPU system time (s): 0.430934
CPU usage (%): 99.9798
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.430934
maximum resident set size= 1081388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269699
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= 177
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.05408 second user time and 7.97079 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-07 11:43:46
IDJOB=4080046
IDBENCH=90820
IDSOLVER=2542
FILE ID=node114/4080046-1465292626
RUNJOBID= node114-1465276339-15588
PBS_JOBID= 19843307
Free space on /tmp= 71712 MiB

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

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

MD5SUM BENCH= b363732a49ff55c5c06709720571fcad
RANDOM SEED=669025718

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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:        27681500 kB
Buffers:          151860 kB
Cached:           262312 kB
SwapCached:         1696 kB
Active:          3039576 kB
Inactive:         254260 kB
Active(anon):    2880792 kB
Inactive(anon):     1252 kB
Active(file):     158784 kB
Inactive(file):   253008 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096680 kB
Dirty:             18644 kB
Writeback:             0 kB
AnonPages:       4036148 kB
Mapped:            10780 kB
Shmem:                 0 kB
Slab:             603524 kB
SReclaimable:      47280 kB
SUnreclaim:       556244 kB
KernelStack:        1456 kB
PageTables:        11908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4179284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2689024 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= 71676 MiB
End job on node114 at 2016-06-07 12:13:47