Trace number 4080034

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_0null20mast_rapportOE2.0_TMAX300_K67_cod2.opb
MD5SUM38539693a47320a39c14a5b1f3201070
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-6935
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints41436
Number of constraints which are clauses40882
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 486
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 26221
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 26221
Number of bits of the biggest sum of numbers15
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:22:53+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.01	c   clock-0.7.2
0.00/0.01	c   containers-0.5.6.2
0.00/0.01	c   data-default-0.5.3
0.00/0.01	c   data-default-class-0.0.1
0.00/0.01	c   data-interval-1.2.0
0.00/0.01	c   deepseq-1.4.1.1
0.00/0.01	c   directory-1.2.2.0
0.00/0.01	c   exceptions-0.8.2.1
0.00/0.01	c   extended-reals-0.2.1.0
0.00/0.01	c   filepath-1.4.0.0
0.00/0.01	c   finite-field-0.8.0
0.00/0.01	c   hashable-1.2.4.0
0.00/0.01	c   heaps-0.3.3
0.00/0.01	c   intern-0.9.1.4
0.00/0.01	c   loop-0.3.0
0.00/0.01	c   mtl-2.2.1
0.00/0.01	c   multiset-0.3.2
0.00/0.01	c   mwc-random-0.13.3.2
0.00/0.01	c   parse_dimacs-1.3
0.00/0.01	c   parsec-3.1.9
0.00/0.01	c   prettyclass-1.0.0.0
0.00/0.01	c   primes-0.2.1.0
0.00/0.01	c   primitive-0.6.1.0
0.00/0.01	c   process-1.2.3.0
0.00/0.01	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-4080034-1465291372.opb"]
0.00/0.02	c use --random-gen="339454772 3235961627 2059387907 188886021 2392395703 391057634 1083100828 331583370 3289805806 3830295551 2498928878 2751901998 1729816758 1011616800 2486349201 1702993549 2045947237 3696919698 963486137 3087401301 2436334313 3887930439 1882572004 2654206808 1762011127 210766601 4124361018 1605812385 499854510 4051888464 3091298912 1986597888 2236184696 290065324 3012898040 4175548842 4163123977 53773336 2515461256 2067245594 2801901922 700649148 4020002825 2907576658 1756018180 3217091522 3122754077 3601833874 1626934582 1217046111 2294098136 2558027386 2152331755 1940783028 226337738 2798221455 1919115278 585162875 3560829982 449809752 165944891 1623228544 3536147436 1038219334 4105730516 2468010993 2375227032 4120012017 2668593380 395633156 672358561 1619635605 3280382051 2881864464 3442143325 1002121219 554066015 3344863435 1181165663 3431591525 3460510173 75884334 2932052015 1607948981 2473320552 1984180042 3552034294 3324469952 2647287200 3457218694 889916321 2543420211 1219275147 735358554 1572681640 2632614641 2184122472 3324912571 135414421 2448846239 3676350841 4183287528 827933635 2347724208 3488572948 1954764317 2061586679 3350151817 3352304080 3334128611 797845101 613525705 487849572 1207163906 555455281 2540287074 1487001475 235408378 4043987235 309352896 361818593 88199047 3801505768 1153612979 3759575746 1522746264 2428451117 1260141202 83880118 1356487790 3770830627 2110804119 3485125460 2630188757 1602644283 567614579 2827214502 1259719079 3712964600 776964398 3754638801 1934478535 494930232 3636329557 706775593 2504186678 2341081157 1684735970 3943031900 1998294452 3748218818 1652961516 942613735 452775214 1957288782 2151528966 2489163194 4254239295 2705212484 2587526769 3784555646 1598730159 2694139992 1833015525 1600448642 2726568566 2444397605 278352856 3351565893 914906458 3905067650 2890612393 2565076629 4022376519 2449413631 3821177068 1854045821 4245135987 2411003882 3934396523 1014976339 223289998 3697892310 273880938 2079132707 672281895 1593606677 2648556582 2443792922 4125692061 3242099629 986639889 4066393903 25803339 1948836162 1388677146 517203516 995104676 2380246423 2637016943 2517769310 1861042005 2867056939 1989644601 1910315726 1095834495 4125408730 915029720 3785631090 3838343425 1516223542 1702754716 3852667326 2845005536 3659933634 4136914072 1621028704 4033341396 984310394 3763897404 370685828 2798468495 2436017169 238390578 2192425473 3058560467 1090759372 1069088732 2184155518 4250759965 1715511438 2522124205 2972399603 2639438972 2917812759 579150812 124916385 1861114564 3895302224 4114081675 2827958851 2471839771 153014535 186096459 4027204200 3793119298 2843735390 2905378457 1059091617 3950375977 2427015784 2417511018 2283155742 3361777561 67720807 4170377082 255 362436" option to reproduce the execution
0.38/0.45	c #vars 40937
0.38/0.45	c #constraints 41436
1.47/1.51	c BCD2: Hardening is enabled.
1.47/1.51	c BCD2: BiasedSearch is enabled.
1.47/1.51	c Solving starts ...
1.47/1.51	c ============================[ Search Statistics ]============================
1.47/1.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.47/1.51	c       |         |          |          |    Limit     GC | Var      | Constra 
1.47/1.51	c =============================================================================
1.47/1.51	c  0.0s |       0 |        0 |        0 |    27456      0 |      125 |        0
2.28/2.32	c  0.8s |       1 |     3533 |      100 |    27456      0 |      170 |      168
3.97/4.03	c  2.5s |       2 |     6077 |      250 |    30202      0 |      170 |      168
7.27/7.37	c  5.9s |       2 |    17161 |      450 |    33223      0 |      170 |      168
7.87/7.94	c  6.4s |       3 |    18192 |      475 |    33223      0 |      170 |      168
10.67/10.73	c  9.2s |       3 |    20979 |      575 |    36546      0 |      170 |      168
13.07/13.10	c 11.6s |       4 |    29257 |      813 |    36546      0 |      170 |      168
15.57/15.63	c 14.1s |       4 |    36162 |     1013 |    40201      0 |      170 |      168
18.57/18.62	c 17.1s |       4 |    41669 |     1213 |    40201      0 |      170 |      168
20.07/20.17	c 18.7s |       5 |    44769 |     1320 |    40201      0 |      170 |      168
23.47/23.59	c 22.1s |       5 |    49242 |     1520 |    44222      0 |      170 |      168
25.67/25.78	c 24.3s |       5 |    56228 |     1720 |    44222      0 |      170 |      168
28.97/29.04	c 27.5s |       5 |    62391 |     1920 |    44222      0 |      170 |      168
31.67/31.70	c 30.2s |       6 |    68090 |     2081 |    48645      0 |      170 |      168
33.67/33.72	c 32.2s |       6 |    71896 |     2281 |    48645      0 |      170 |      168
36.28/36.34	c 34.8s |       6 |    81709 |     2581 |    48645      0 |      170 |      168
38.58/38.67	c 37.2s |       6 |    86569 |     2681 |    48645      0 |      170 |      168
40.68/40.79	c 39.3s |       6 |    89336 |     2781 |    48645      0 |      170 |      168
43.27/43.37	c 41.9s |       6 |    91718 |     2981 |    48645      0 |      170 |      168
46.77/46.83	c 45.3s |       6 |    93041 |     3181 |    48645      0 |      170 |      168
47.47/47.55	c 46.0s |       7 |    93326 |     3223 |    53510      0 |      170 |      168
50.07/50.14	c 48.6s |       7 |    94930 |     3323 |    53510      0 |      170 |      168
52.57/52.60	c 51.1s |       7 |    98509 |     3523 |    53510      0 |      170 |      168
54.77/54.82	c 53.3s |       7 |   102703 |     3723 |    53510      0 |      170 |      168
58.37/58.45	c 56.9s |       7 |   107943 |     3923 |    53510      0 |      170 |      168
61.06/61.10	c 59.6s |       7 |   112558 |     4123 |    53510      0 |      170 |      168
63.66/63.79	c 62.3s |       7 |   114639 |     4223 |    53510      0 |      170 |      168
66.46/66.54	c 65.0s |       7 |   118328 |     4523 |    53510      0 |      170 |      168
69.76/69.86	c 68.3s |       7 |   120438 |     4823 |    53510      0 |      170 |      168
71.47/71.57	c 70.1s |       8 |   121644 |     4936 |    58862      0 |      170 |      168
74.36/74.47	c 73.0s |       8 |   122124 |     5136 |    58862      0 |      170 |      168
77.07/77.10	c 75.6s |       8 |   122520 |     5336 |    58862      0 |      170 |      168
79.06/79.13	c 77.6s |       8 |   122955 |     5536 |    58862      0 |      170 |      168
82.57/82.61	c 81.1s |       8 |   123592 |     5736 |    58862      0 |      170 |      168
85.96/86.09	c 84.6s |       8 |   124022 |     5936 |    58862      0 |      170 |      168
89.66/89.72	c 88.2s |       8 |   124518 |     6136 |    58862      0 |      170 |      168
93.47/93.53	c 92.0s |       8 |   124997 |     6336 |    58862      0 |      170 |      168
97.16/97.22	c 95.7s |       8 |   125240 |     6536 |    58862      0 |      170 |      168
99.46/99.57	c 98.1s |       8 |   125493 |     6636 |    58862      0 |      170 |      168
102.46/102.57	c  101s |       8 |   126142 |     6836 |    58862      0 |      170 |      168
106.06/106.17	c  104s |       8 |   126495 |     7036 |    58862      0 |      170 |      168
109.16/109.23	c  107s |       8 |   126941 |     7236 |    58862      0 |      170 |      168
111.36/111.47	c  109s |       8 |   127353 |     7336 |    58862      0 |      170 |      168
113.66/113.70	c  112s |       8 |   127538 |     7436 |    58862      0 |      170 |      168
115.15/115.21	c  113s |       9 |   127768 |     7506 |    64749      0 |      170 |      168
118.25/118.39	c  116s |       9 |   128084 |     7706 |    64749      0 |      170 |      168
122.06/122.11	c  120s |       9 |   128351 |     7906 |    64749      0 |      170 |      168
124.05/124.13	c  122s |       9 |   128734 |     8006 |    64749      0 |      170 |      168
126.85/126.95	c  125s |       9 |   129698 |     8206 |    64749      0 |      170 |      168
128.85/128.97	c  127s |       9 |   129834 |     8306 |    64749      0 |      170 |      168
132.15/132.25	c  130s |       9 |   130091 |     8506 |    64749      0 |      170 |      168
136.46/136.57	c  135s |       9 |   131219 |     8706 |    64749      0 |      170 |      168
138.66/138.72	c  137s |       9 |   131787 |     8806 |    64749      0 |      170 |      168
141.96/142.01	c  140s |       9 |   132904 |     9006 |    64749      0 |      170 |      168
145.75/145.89	c  144s |       9 |   137007 |     9206 |    64749      0 |      170 |      168
148.85/148.96	c  147s |       9 |   143139 |     9506 |    64749      0 |      170 |      168
152.65/152.72	c  151s |       9 |   145021 |     9706 |    64749      0 |      170 |      168
156.55/156.62	c  155s |       9 |   145588 |     9906 |    64749      0 |      170 |      168
158.65/158.79	c  157s |       9 |   146389 |    10006 |    64749      0 |      170 |      168
162.05/162.15	c  160s |       9 |   147446 |    10206 |    64749      0 |      170 |      168
165.65/165.77	c  164s |       9 |   148425 |    10406 |    64749      0 |      170 |      168
168.15/168.24	c  166s |       9 |   149568 |    10506 |    64749      0 |      170 |      168
170.15/170.25	c  168s |       9 |   150718 |    10606 |    64749      0 |      170 |      168
174.04/174.14	c  172s |       9 |   151663 |    10806 |    64749      0 |      170 |      168
177.34/177.48	c  175s |       9 |   152749 |    11006 |    64749      0 |      170 |      168
179.74/179.80	c  178s |       9 |   153045 |    11106 |    64749      0 |      170 |      168
184.24/184.36	c  182s |       9 |   153896 |    11306 |    71224      0 |      170 |      168
185.44/185.59	c  184s |      10 |   154004 |    11361 |    71224      0 |      170 |      168
188.05/188.11	c  186s |      10 |   154162 |    11461 |    71224      0 |      170 |      168
190.35/190.47	c  188s |      10 |   155028 |    11561 |    71224      0 |      170 |      168
194.65/194.79	c  193s |      10 |   155609 |    11761 |    71224      0 |      170 |      168
197.14/197.25	c  195s |      10 |   156017 |    11861 |    71224      0 |      170 |      168
200.95/201.01	c  199s |      10 |   156906 |    12061 |    71224      0 |      170 |      168
204.35/204.48	c  202s |      10 |   158147 |    12261 |    71224      0 |      170 |      168
206.45/206.52	c  205s |      10 |   158735 |    12361 |    71224      0 |      170 |      168
209.65/209.73	c  208s |      10 |   159588 |    12561 |    71224      0 |      170 |      168
213.65/213.76	c  212s |      10 |   161344 |    12761 |    71224      0 |      170 |      168
216.75/216.81	c  215s |      10 |   162345 |    12961 |    71224      0 |      170 |      168
220.35/220.40	c  218s |      10 |   163723 |    13161 |    71224      0 |      170 |      168
222.45/222.51	c  220s |      10 |   164123 |    13261 |    71224      0 |      170 |      168
226.34/226.46	c  224s |      10 |   165385 |    13461 |    71224      0 |      170 |      168
228.75/228.88	c  227s |      10 |   165493 |    13561 |    71224      0 |      170 |      168
231.44/231.51	c  229s |      10 |   165777 |    13661 |    71224      0 |      170 |      168
234.44/234.56	c  233s |      10 |   166355 |    13861 |    71224      0 |      170 |      168
237.44/237.50	c  235s |      10 |   167172 |    14061 |    71224      0 |      170 |      168
241.44/241.51	c  239s |      10 |   167627 |    14261 |    71224      0 |      170 |      168
244.54/244.63	c  243s |      10 |   167995 |    14461 |    71224      0 |      170 |      168
246.74/246.88	c  245s |      10 |   168682 |    14561 |    71224      0 |      170 |      168
248.84/248.90	c  247s |      10 |   169652 |    14661 |    71224      0 |      170 |      168
252.64/252.71	c  251s |      10 |   170153 |    14861 |    71224      0 |      170 |      168
255.15/255.24	c  253s |      10 |   170283 |    14961 |    71224      0 |      170 |      168
257.35/257.44	c  255s |      10 |   170880 |    15061 |    71224      0 |      170 |      168
259.54/259.61	c  258s |      10 |   171297 |    15161 |    71224      0 |      170 |      168
261.64/261.77	c  260s |      10 |   172070 |    15261 |    71224      0 |      170 |      168
264.24/264.38	c  262s |      10 |   173073 |    15361 |    71224      0 |      170 |      168
267.44/267.58	c  266s |      10 |   173367 |    15461 |    71224      0 |      170 |      168
271.93/272.07	c  270s |      10 |   174792 |    15661 |    71224      0 |      170 |      168
274.63/274.70	c  273s |      10 |   175176 |    15761 |    71224      0 |      170 |      168
276.73/276.88	c  275s |      10 |   175674 |    15861 |    71224      0 |      170 |      168
279.72/279.85	c  278s |      10 |   176492 |    16061 |    71224      0 |      170 |      168
282.42/282.57	c  281s |      10 |   176989 |    16161 |    71224      0 |      170 |      168
284.42/284.59	c  283s |      10 |   177418 |    16261 |    71224      0 |      170 |      168
287.72/287.86	c  286s |      10 |   178403 |    16461 |    71224      0 |      170 |      168
291.43/291.53	c  290s |      10 |   179416 |    16661 |    71224      0 |      170 |      168
294.02/294.17	c  292s |      10 |   180160 |    16861 |    71224      0 |      170 |      168
297.22/297.37	c  295s |      10 |   181880 |    17061 |    78347      0 |      170 |      168
298.82/298.90	c  297s |      11 |   182132 |    17144 |    78347      0 |      170 |      168
301.62/301.72	c  300s |      11 |   183202 |    17344 |    78347      0 |      170 |      168
303.62/303.78	c  302s |      11 |   183740 |    17444 |    78347      0 |      170 |      168
306.52/306.64	c  305s |      11 |   184433 |    17544 |    78347      0 |      170 |      168
308.62/308.78	c  307s |      11 |   184992 |    17644 |    78347      0 |      170 |      168
311.32/311.42	c  309s |      11 |   185471 |    17744 |    78347      0 |      170 |      168
315.81/315.90	c  314s |      11 |   187426 |    17944 |    78347      0 |      170 |      168
318.01/318.11	c  316s |      11 |   187937 |    18044 |    78347      0 |      170 |      168
321.91/322.01	c  320s |      11 |   189249 |    18244 |    78347      0 |      170 |      168
326.01/326.15	c  324s |      11 |   190023 |    18444 |    78347      0 |      170 |      168
330.01/330.13	c  328s |      11 |   191197 |    18644 |    78347      0 |      170 |      168
332.11/332.22	c  330s |      11 |   191742 |    18744 |    78347      0 |      170 |      168
334.10/334.26	c  332s |      11 |   192092 |    18844 |    78347      0 |      170 |      168
336.20/336.35	c  334s |      11 |   192713 |    18944 |    78347      0 |      170 |      168
340.20/340.36	c  338s |      11 |   193590 |    19144 |    78347      0 |      170 |      168
343.10/343.29	c  341s |      11 |   195098 |    19344 |    78347      0 |      170 |      168
345.69/345.88	c  344s |      11 |   196416 |    19544 |    78347      0 |      170 |      168
348.39/348.59	c  347s |      11 |   197302 |    19744 |    78347      0 |      170 |      168
351.59/351.70	c  350s |      11 |   197968 |    19944 |    78347      0 |      170 |      168
353.79/353.91	c  352s |      11 |   198563 |    20044 |    78347      0 |      170 |      168
357.59/357.76	c  356s |      11 |   199348 |    20244 |    78347      0 |      170 |      168
361.38/361.57	c  360s |      11 |   200407 |    20444 |    78347      0 |      170 |      168
365.19/365.35	c  363s |      11 |   201031 |    20644 |    78347      0 |      170 |      168
367.68/367.83	c  366s |      11 |   201270 |    20744 |    78347      0 |      170 |      168
371.18/371.32	c  369s |      11 |   202125 |    20944 |    78347      0 |      170 |      168
374.28/374.42	c  372s |      11 |   203052 |    21144 |    78347      0 |      170 |      168
376.38/376.57	c  375s |      11 |   203404 |    21244 |    78347      0 |      170 |      168
378.98/379.16	c  377s |      11 |   204275 |    21444 |    78347      0 |      170 |      168
381.98/382.16	c  380s |      11 |   204781 |    21644 |    78347      0 |      170 |      168
383.98/384.18	c  382s |      11 |   204951 |    21744 |    78347      0 |      170 |      168
386.08/386.29	c  384s |      11 |   205098 |    21844 |    78347      0 |      170 |      168
389.28/389.49	c  387s |      11 |   205339 |    21944 |    78347      0 |      170 |      168
391.67/391.84	c  390s |      11 |   205713 |    22044 |    78347      0 |      170 |      168
393.68/393.88	c  392s |      11 |   205853 |    22144 |    78347      0 |      170 |      168
396.27/396.41	c  394s |      11 |   205991 |    22244 |    78347      0 |      170 |      168
399.36/399.60	c  398s |      11 |   206129 |    22344 |    78347      0 |      170 |      168
401.86/402.01	c  400s |      11 |   206248 |    22444 |    78347      0 |      170 |      168
404.16/404.39	c  402s |      11 |   206527 |    22544 |    78347      0 |      170 |      168
408.16/408.35	c  406s |      11 |   207625 |    22744 |    78347      0 |      170 |      168
410.36/410.52	c  409s |      11 |   207998 |    22844 |    78347      0 |      170 |      168
412.56/412.73	c  411s |      11 |   208589 |    22944 |    78347      0 |      170 |      168
415.46/415.63	c  414s |      11 |   208721 |    23044 |    78347      0 |      170 |      168
418.46/418.65	c  417s |      11 |   208846 |    23144 |    78347      0 |      170 |      168
422.36/422.55	c  421s |      11 |   209327 |    23244 |    78347      0 |      170 |      168
425.85/426.04	c  424s |      11 |   209547 |    23344 |    78347      0 |      170 |      168
429.25/429.46	c  427s |      11 |   209661 |    23444 |    78347      0 |      170 |      168
432.05/432.26	c  430s |      11 |   210181 |    23544 |    78347      0 |      170 |      168
435.24/435.46	c  433s |      11 |   210546 |    23644 |    78347      0 |      170 |      168
438.14/438.31	c  436s |      11 |   211095 |    23744 |    78347      0 |      170 |      168
441.24/441.46	c  439s |      11 |   212822 |    23944 |    78347      0 |      170 |      168
444.84/445.03	c  443s |      11 |   213517 |    24144 |    78347      0 |      170 |      168
447.24/447.40	c  445s |      11 |   213847 |    24244 |    78347      0 |      170 |      168
449.53/449.73	c  448s |      11 |   214090 |    24344 |    78347      0 |      170 |      168
452.43/452.60	c  451s |      11 |   215472 |    24544 |    78347      0 |      170 |      168
455.03/455.29	c  453s |      11 |   218877 |    24744 |    78347      0 |      170 |      168
457.63/457.89	c  456s |      11 |   219853 |    24944 |    78347      0 |      170 |      168
461.43/461.67	c  460s |      11 |   220963 |    25144 |    78347      0 |      170 |      168
464.63/464.81	c  463s |      11 |   222660 |    25344 |    78347      0 |      170 |      168
468.23/468.42	c  466s |      11 |   223713 |    25544 |    78347      0 |      170 |      168
470.43/470.61	c  469s |      11 |   224250 |    25644 |    78347      0 |      170 |      168
473.03/473.25	c  471s |      11 |   224401 |    25744 |    86182      0 |      170 |      168
474.93/475.12	c  473s |      12 |   224482 |    25819 |    86182      0 |      170 |      168
477.63/477.87	c  476s |      12 |   224674 |    25919 |    86182      0 |      170 |      168
480.63/480.81	c  479s |      12 |   224809 |    26019 |    86182      0 |      170 |      168
484.12/484.35	c  482s |      12 |   225202 |    26119 |    86182      0 |      170 |      168
486.92/487.14	c  485s |      12 |   225779 |    26219 |    86182      0 |      170 |      168
491.92/492.11	c  490s |      12 |   226019 |    26319 |    86182      0 |      170 |      168
494.72/494.96	c  493s |      12 |   226619 |    26419 |    86182      0 |      170 |      168
497.42/497.67	c  496s |      12 |   227282 |    26519 |    86182      0 |      170 |      168
500.12/500.38	c  498s |      12 |   228072 |    26619 |    86182      0 |      170 |      168
503.12/503.31	c  501s |      12 |   228657 |    26719 |    86182      0 |      170 |      168
506.92/507.19	c  505s |      12 |   229224 |    26819 |    86182      0 |      170 |      168
510.41/510.69	c  509s |      12 |   229962 |    26919 |    86182      0 |      170 |      168
513.11/513.31	c  511s |      12 |   230071 |    27019 |    86182      0 |      170 |      168
516.51/516.79	c  515s |      12 |   230582 |    27119 |    86182      0 |      170 |      168
520.61/520.87	c  519s |      12 |   230697 |    27219 |    86182      0 |      170 |      168
523.11/523.37	c  521s |      12 |   231115 |    27319 |    86182      0 |      170 |      168
525.21/525.48	c  523s |      12 |   231390 |    27419 |    86182      0 |      170 |      168
529.60/529.86	c  528s |      12 |   232631 |    27619 |    86182      0 |      170 |      168
531.70/531.91	c  530s |      12 |   232979 |    27719 |    86182      0 |      170 |      168
534.41/534.68	c  533s |      12 |   233128 |    27819 |    86182      0 |      170 |      168
536.90/537.20	c  535s |      12 |   233610 |    27919 |    86182      0 |      170 |      168
541.40/541.67	c  540s |      12 |   234222 |    28019 |    86182      0 |      170 |      168
544.90/545.11	c  543s |      12 |   234622 |    28119 |    86182      0 |      170 |      168
548.10/548.32	c  546s |      12 |   235302 |    28419 |    86182      0 |      170 |      168
550.50/550.74	c  549s |      12 |   235442 |    28519 |    86182      0 |      170 |      168
553.20/553.42	c  551s |      12 |   236024 |    28619 |    86182      0 |      170 |      168
556.70/556.97	c  555s |      12 |   237681 |    28819 |    86182      0 |      170 |      168
559.09/559.35	c  557s |      12 |   238447 |    28919 |    86182      0 |      170 |      168
563.29/563.50	c  561s |      12 |   239465 |    29119 |    86182      0 |      170 |      168
566.59/566.82	c  565s |      12 |   240583 |    29319 |    86182      0 |      170 |      168
568.69/568.95	c  567s |      12 |   240844 |    29419 |    86182      0 |      170 |      168
570.88/571.10	c  569s |      12 |   241460 |    29519 |    86182      0 |      170 |      168
574.48/574.71	c  573s |      12 |   241971 |    29619 |    86182      0 |      170 |      168
576.68/576.94	c  575s |      12 |   242098 |    29719 |    86182      0 |      170 |      168
579.38/579.60	c  578s |      12 |   242569 |    29819 |    86182      0 |      170 |      168
582.98/583.20	c  581s |      12 |   242867 |    30019 |    86182      0 |      170 |      168
585.88/586.11	c  584s |      12 |   243369 |    30119 |    86182      0 |      170 |      168
588.68/588.99	c  587s |      12 |   244900 |    30319 |    86182      0 |      170 |      168
591.69/591.93	c  590s |      12 |   246455 |    30519 |    86182      0 |      170 |      168
594.89/595.14	c  593s |      12 |   246599 |    30619 |    86182      0 |      170 |      168
597.88/598.14	c  596s |      12 |   246727 |    30719 |    86182      0 |      170 |      168
600.58/600.80	c  599s |      12 |   246863 |    30819 |    86182      0 |      170 |      168
602.78/603.04	c  601s |      12 |   247792 |    30919 |    86182      0 |      170 |      168
605.18/605.43	c  603s |      12 |   248202 |    31019 |    86182      0 |      170 |      168
609.38/609.67	c  608s |      12 |   248482 |    31219 |    86182      0 |      170 |      168
612.38/612.64	c  611s |      12 |   249476 |    31319 |    86182      0 |      170 |      168
614.58/614.85	c  613s |      12 |   250703 |    31419 |    86182      0 |      170 |      168
616.78/617.10	c  615s |      12 |   252971 |    31519 |    86182      0 |      170 |      168
619.37/619.62	c  618s |      12 |   253966 |    31619 |    86182      0 |      170 |      168
621.57/621.82	c  620s |      12 |   254411 |    31719 |    86182      0 |      170 |      168
625.27/625.57	c  624s |      12 |   255363 |    31919 |    86182      0 |      170 |      168
628.67/628.92	c  627s |      12 |   256054 |    32119 |    86182      0 |      170 |      168
631.77/632.03	c  630s |      12 |   257431 |    32319 |    86182      0 |      170 |      168
634.87/635.11	c  633s |      12 |   258136 |    32519 |    86182      0 |      170 |      168
638.88/639.15	c  637s |      12 |   258888 |    32719 |    86182      0 |      170 |      168
640.97/641.29	c  639s |      12 |   259442 |    32819 |    86182      0 |      170 |      168
644.17/644.47	c  642s |      12 |   260707 |    33019 |    86182      0 |      170 |      168
646.77/647.00	c  645s |      12 |   261678 |    33219 |    86182      0 |      170 |      168
649.27/649.54	c  648s |      12 |   262341 |    33419 |    86182      0 |      170 |      168
651.96/652.29	c  650s |      12 |   262931 |    33619 |    86182      0 |      170 |      168
654.56/654.87	c  653s |      12 |   263215 |    33819 |    86182      0 |      170 |      168
657.67/657.96	c  656s |      12 |   263788 |    34019 |    86182      0 |      170 |      168
660.66/660.92	c  659s |      12 |   264201 |    34219 |    86182      0 |      170 |      168
663.66/663.92	c  662s |      12 |   264593 |    34419 |    86182      0 |      170 |      168
666.26/666.57	c  665s |      12 |   264880 |    34519 |    86182      0 |      170 |      168
669.36/669.60	c  668s |      12 |   265393 |    34719 |    86182      0 |      170 |      168
671.56/671.80	c  670s |      12 |   265704 |    34819 |    86182      0 |      170 |      168
675.55/675.83	c  674s |      12 |   266327 |    35019 |    86182      0 |      170 |      168
678.85/679.19	c  677s |      12 |   267805 |    35219 |    86182      0 |      170 |      168
682.45/682.72	c  681s |      12 |   268390 |    35419 |    86182      0 |      170 |      168
684.65/684.94	c  683s |      12 |   268564 |    35519 |    86182      0 |      170 |      168
688.55/688.82	c  687s |      12 |   269302 |    35719 |    86182      0 |      170 |      168
690.65/690.92	c  689s |      12 |   270142 |    35819 |    86182      0 |      170 |      168
692.75/693.01	c  691s |      12 |   270637 |    35919 |    86182      0 |      170 |      168
695.15/695.42	c  693s |      12 |   270883 |    36019 |    86182      0 |      170 |      168
698.25/698.55	c  697s |      12 |   271327 |    36119 |    86182      0 |      170 |      168
701.74/702.05	c  700s |      12 |   272250 |    36319 |    86182      0 |      170 |      168
705.44/705.71	c  704s |      12 |   272737 |    36519 |    86182      0 |      170 |      168
709.24/709.55	c  708s |      12 |   273212 |    36719 |    86182      0 |      170 |      168
712.34/712.63	c  711s |      12 |   274245 |    36919 |    86182      0 |      170 |      168
714.54/714.89	c  713s |      12 |   274401 |    37019 |    86182      0 |      170 |      168
716.64/716.94	c  715s |      12 |   274850 |    37119 |    86182      0 |      170 |      168
720.13/720.40	c  718s |      12 |   275528 |    37319 |    86182      0 |      170 |      168
722.13/722.46	c  720s |      12 |   275664 |    37419 |    86182      0 |      170 |      168
724.23/724.53	c  723s |      12 |   275874 |    37519 |    86182      0 |      170 |      168
728.04/728.32	c  726s |      12 |   276676 |    37719 |    86182      0 |      170 |      168
731.73/732.03	c  730s |      12 |   277497 |    37919 |    86182      0 |      170 |      168
735.23/735.50	c  733s |      12 |   278775 |    38119 |    86182      0 |      170 |      168
739.03/739.33	c  737s |      12 |   279648 |    38319 |    86182      0 |      170 |      168
741.32/741.60	c  740s |      12 |   280041 |    38419 |    86182      0 |      170 |      168
743.72/744.00	c  742s |      12 |   280578 |    38519 |    86182      0 |      170 |      168
747.42/747.72	c  746s |      12 |   281501 |    38719 |    94801      0 |      170 |      168
749.52/749.87	c  748s |      13 |   282016 |    38832 |    94801      0 |      170 |      168
753.02/753.36	c  751s |      13 |   282336 |    38932 |    94801      0 |      170 |      168
755.12/755.49	c  753s |      13 |   282631 |    39032 |    94801      0 |      170 |      168
757.43/757.76	c  756s |      13 |   283019 |    39132 |    94801      0 |      170 |      168
761.13/761.48	c  759s |      13 |   284901 |    39332 |    94801      0 |      170 |      168
763.53/763.80	c  762s |      13 |   287188 |    39432 |    94801      0 |      170 |      168
766.73/767.00	c  765s |      13 |   287816 |    39532 |    94801      0 |      170 |      168
769.13/769.49	c  767s |      13 |   288244 |    39632 |    94801      0 |      170 |      168
772.83/773.11	c  771s |      13 |   288812 |    39832 |    94801      0 |      170 |      168
775.93/776.25	c  774s |      13 |   290095 |    40032 |    94801      0 |      170 |      168
779.63/779.93	c  778s |      13 |   291456 |    40232 |    94801      0 |      170 |      168
782.73/783.02	c  781s |      13 |   293664 |    40432 |    94801      0 |      170 |      168
784.93/785.20	c  783s |      13 |   294428 |    40532 |    94801      0 |      170 |      168
788.13/788.46	c  786s |      13 |   295193 |    40732 |    94801      0 |      170 |      168
791.52/791.80	c  790s |      13 |   295701 |    40932 |    94801      0 |      170 |      168
795.03/795.40	c  793s |      13 |   296356 |    41132 |    94801      0 |      170 |      168
799.53/799.86	c  798s |      13 |   296664 |    41332 |    94801      0 |      170 |      168
803.22/803.50	c  801s |      13 |   296994 |    41532 |    94801      0 |      170 |      168
807.23/807.59	c  806s |      13 |   297612 |    41732 |    94801      0 |      170 |      168
809.33/809.61	c  808s |      13 |   298058 |    41832 |    94801      0 |      170 |      168
811.72/812.07	c  810s |      13 |   298203 |    41932 |    94801      0 |      170 |      168
815.82/816.17	c  814s |      13 |   299300 |    42132 |    94801      0 |      170 |      168
818.72/819.03	c  817s |      13 |   300312 |    42232 |    94801      0 |      170 |      168
821.32/821.69	c  820s |      13 |   300812 |    42332 |    94801      0 |      170 |      168
824.12/824.43	c  822s |      13 |   301308 |    42432 |    94801      0 |      170 |      168
826.32/826.60	c  825s |      13 |   302092 |    42532 |    94801      0 |      170 |      168
829.72/830.08	c  828s |      13 |   303104 |    42732 |    94801      0 |      170 |      168
831.92/832.27	c  830s |      13 |   303247 |    42832 |    94801      0 |      170 |      168
834.02/834.33	c  832s |      13 |   303704 |    42932 |    94801      0 |      170 |      168
836.42/836.72	c  835s |      13 |   304054 |    43032 |    94801      0 |      170 |      168
841.22/841.52	c  840s |      13 |   304886 |    43232 |    94801      0 |      170 |      168
843.42/843.75	c  842s |      13 |   305198 |    43332 |    94801      0 |      170 |      168
845.92/846.23	c  844s |      13 |   305622 |    43432 |    94801      0 |      170 |      168
848.42/848.76	c  847s |      13 |   306138 |    43532 |    94801      0 |      170 |      168
850.61/850.96	c  849s |      13 |   306443 |    43632 |    94801      0 |      170 |      168
852.61/852.98	c  851s |      13 |   306635 |    43732 |    94801      0 |      170 |      168
854.81/855.19	c  853s |      13 |   306818 |    43832 |    94801      0 |      170 |      168
857.11/857.48	c  855s |      13 |   307100 |    43932 |    94801      0 |      170 |      168
859.61/859.92	c  858s |      13 |   307284 |    44032 |    94801      0 |      170 |      168
862.01/862.37	c  860s |      13 |   307575 |    44132 |    94801      0 |      170 |      168
865.61/865.91	c  864s |      13 |   308218 |    44332 |    94801      0 |      170 |      168
869.31/869.60	c  868s |      13 |   308836 |    44532 |    94801      0 |      170 |      168
873.01/873.33	c  871s |      13 |   309645 |    44732 |    94801      0 |      170 |      168
875.42/875.73	c  874s |      13 |   309899 |    44832 |    94801      0 |      170 |      168
878.51/878.90	c  877s |      13 |   310358 |    45032 |    94801      0 |      170 |      168
882.21/882.53	c  881s |      13 |   310849 |    45232 |    94801      0 |      170 |      168
885.91/886.26	c  884s |      13 |   311644 |    45432 |    94801      0 |      170 |      168
890.41/890.70	c  889s |      13 |   312418 |    45632 |    94801      0 |      170 |      168
892.51/892.89	c  891s |      13 |   312813 |    45732 |    94801      0 |      170 |      168
894.71/895.04	c  893s |      13 |   313161 |    45832 |    94801      0 |      170 |      168
896.91/897.25	c  895s |      13 |   313479 |    45932 |    94801      0 |      170 |      168
899.01/899.37	c  897s |      13 |   313837 |    46032 |    94801      0 |      170 |      168
901.31/901.64	c  900s |      13 |   314468 |    46132 |    94801      0 |      170 |      168
903.81/904.10	c  902s |      13 |   314827 |    46232 |    94801      0 |      170 |      168
908.21/908.55	c  907s |      13 |   315731 |    46432 |    94801      0 |      170 |      168
910.61/910.92	c  909s |      13 |   316062 |    46532 |    94801      0 |      170 |      168
913.01/913.39	c  911s |      13 |   316716 |    46632 |    94801      0 |      170 |      168
915.20/915.58	c  914s |      13 |   316932 |    46732 |    94801      0 |      170 |      168
917.70/918.05	c  916s |      13 |   317420 |    46832 |    94801      0 |      170 |      168
919.80/920.14	c  918s |      13 |   317728 |    46932 |    94801      0 |      170 |      168
922.20/922.56	c  921s |      13 |   318605 |    47032 |    94801      0 |      170 |      168
924.70/925.09	c  923s |      13 |   319425 |    47132 |    94801      0 |      170 |      168
927.20/927.51	c  925s |      13 |   319991 |    47232 |    94801      0 |      170 |      168
930.41/930.79	c  929s |      13 |   320161 |    47332 |    94801      0 |      170 |      168
932.51/932.85	c  931s |      13 |   320670 |    47432 |    94801      0 |      170 |      168
934.81/935.15	c  933s |      13 |   321190 |    47532 |    94801      0 |      170 |      168
936.80/937.20	c  935s |      13 |   321543 |    47632 |    94801      0 |      170 |      168
940.80/941.15	c  939s |      13 |   322239 |    47832 |    94801      0 |      170 |      168
943.00/943.35	c  941s |      13 |   322629 |    47932 |    94801      0 |      170 |      168
946.60/946.91	c  945s |      13 |   323297 |    48132 |    94801      0 |      170 |      168
949.80/950.17	c  948s |      13 |   324016 |    48332 |    94801      0 |      170 |      168
953.80/954.13	c  952s |      13 |   324693 |    48532 |    94801      0 |      170 |      168
955.80/956.14	c  954s |      13 |   325542 |    48632 |    94801      0 |      170 |      168
958.30/958.61	c  957s |      13 |   325825 |    48732 |    94801      0 |      170 |      168
961.10/961.46	c  959s |      13 |   326431 |    48832 |    94801      0 |      170 |      168
963.60/963.99	c  962s |      13 |   326893 |    48932 |    94801      0 |      170 |      168
967.60/967.99	c  966s |      13 |   328332 |    49132 |    94801      0 |      170 |      168
969.80/970.12	c  968s |      13 |   328647 |    49232 |    94801      0 |      170 |      168
973.40/973.77	c  972s |      13 |   329535 |    49432 |    94801      0 |      170 |      168
975.79/976.11	c  974s |      13 |   329856 |    49532 |    94801      0 |      170 |      168
979.59/979.99	c  978s |      13 |   330408 |    49732 |    94801      0 |      170 |      168
982.49/982.86	c  981s |      13 |   331273 |    49832 |    94801      0 |      170 |      168
984.69/985.06	c  983s |      13 |   332118 |    49932 |    94801      0 |      170 |      168
988.29/988.69	c  987s |      13 |   333112 |    50132 |    94801      0 |      170 |      168
990.59/990.95	c  989s |      13 |   333503 |    50232 |    94801      0 |      170 |      168
993.00/993.35	c  991s |      13 |   333972 |    50332 |    94801      0 |      170 |      168
995.39/995.71	c  994s |      13 |   334460 |    50432 |    94801      0 |      170 |      168
998.39/998.79	c  997s |      13 |   334860 |    50532 |    94801      0 |      170 |      168
1002.49/1002.86	c 1001s |      13 |   335436 |    50732 |    94801      0 |      170 |      168
1006.20/1006.58	c 1005s |      13 |   336356 |    50932 |    94801      0 |      170 |      168
1009.29/1009.63	c 1008s |      13 |   336575 |    51032 |    94801      0 |      170 |      168
1011.99/1012.34	c 1010s |      13 |   337138 |    51132 |    94801      0 |      170 |      168
1014.09/1014.49	c 1012s |      13 |   337552 |    51232 |    94801      0 |      170 |      168
1016.59/1016.94	c 1015s |      13 |   337868 |    51332 |    94801      0 |      170 |      168
1019.09/1019.46	c 1017s |      13 |   338198 |    51432 |    94801      0 |      170 |      168
1021.49/1021.90	c 1020s |      13 |   338488 |    51532 |    94801      0 |      170 |      168
1024.19/1024.55	c 1023s |      13 |   338843 |    51632 |    94801      0 |      170 |      168
1026.68/1027.08	c 1025s |      13 |   339224 |    51732 |    94801      0 |      170 |      168
1029.29/1029.67	c 1028s |      13 |   339927 |    51832 |    94801      0 |      170 |      168
1031.59/1031.97	c 1030s |      13 |   340266 |    51932 |    94801      0 |      170 |      168
1035.38/1035.70	c 1034s |      13 |   341558 |    52132 |    94801      0 |      170 |      168
1038.28/1038.63	c 1037s |      13 |   342138 |    52232 |    94801      0 |      170 |      168
1040.58/1040.97	c 1039s |      13 |   342600 |    52332 |    94801      0 |      170 |      168
1044.58/1044.91	c 1043s |      13 |   343736 |    52532 |    94801      0 |      170 |      168
1046.89/1047.20	c 1045s |      13 |   344133 |    52632 |    94801      0 |      170 |      168
1050.68/1051.00	c 1049s |      13 |   344665 |    52832 |    94801      0 |      170 |      168
1054.78/1055.15	c 1053s |      13 |   345113 |    53032 |    94801      0 |      170 |      168
1056.89/1057.23	c 1055s |      13 |   345237 |    53132 |    94801      0 |      170 |      168
1059.28/1059.70	c 1058s |      13 |   345560 |    53232 |    94801      0 |      170 |      168
1062.88/1063.24	c 1061s |      13 |   346521 |    53432 |    94801      0 |      170 |      168
1066.18/1066.58	c 1065s |      13 |   347605 |    53632 |    94801      0 |      170 |      168
1069.38/1069.71	c 1068s |      13 |   348388 |    53832 |    94801      0 |      170 |      168
1072.19/1072.56	c 1071s |      13 |   349266 |    54032 |    94801      0 |      170 |      168
1075.08/1075.47	c 1073s |      13 |   350235 |    54232 |    94801      0 |      170 |      168
1077.78/1078.18	c 1076s |      13 |   352776 |    54432 |    94801      0 |      170 |      168
1081.67/1082.09	c 1080s |      13 |   353631 |    54632 |    94801      0 |      170 |      168
1085.27/1085.62	c 1084s |      13 |   354871 |    54832 |    94801      0 |      170 |      168
1087.27/1087.68	c 1086s |      13 |   355476 |    54932 |    94801      0 |      170 |      168
1090.37/1090.75	c 1089s |      13 |   356201 |    55132 |    94801      0 |      170 |      168
1093.87/1094.27	c 1092s |      13 |   356751 |    55332 |    94801      0 |      170 |      168
1096.07/1096.42	c 1094s |      13 |   357199 |    55432 |    94801      0 |      170 |      168
1098.27/1098.68	c 1097s |      13 |   357767 |    55532 |    94801      0 |      170 |      168
1101.17/1101.53	c 1100s |      13 |   358232 |    55632 |    94801      0 |      170 |      168
1104.27/1104.62	c 1103s |      13 |   358781 |    55732 |    94801      0 |      170 |      168
1107.38/1107.79	c 1106s |      13 |   359441 |    55832 |    94801      0 |      170 |      168
1109.77/1110.17	c 1108s |      13 |   359841 |    55932 |    94801      0 |      170 |      168
1112.37/1112.73	c 1111s |      13 |   360156 |    56032 |    94801      0 |      170 |      168
1114.37/1114.79	c 1113s |      13 |   360952 |    56132 |    94801      0 |      170 |      168
1117.17/1117.57	c 1116s |      13 |   361397 |    56332 |    94801      0 |      170 |      168
1120.27/1120.69	c 1119s |      13 |   361773 |    56532 |    94801      0 |      170 |      168
1123.47/1123.83	c 1122s |      13 |   362043 |    56732 |    94801      0 |      170 |      168
1126.67/1127.03	c 1125s |      13 |   362321 |    56932 |    94801      0 |      170 |      168
1129.77/1130.14	c 1128s |      13 |   362660 |    57132 |    94801      0 |      170 |      168
1132.77/1133.17	c 1131s |      13 |   363466 |    57332 |    94801      0 |      170 |      168
1136.07/1136.47	c 1134s |      13 |   364428 |    57532 |    94801      0 |      170 |      168
1138.37/1138.78	c 1137s |      13 |   364998 |    57732 |    94801      0 |      170 |      168
1140.37/1140.78	c 1139s |      13 |   365213 |    57832 |    94801      0 |      170 |      168
1143.97/1144.38	c 1142s |      13 |   365872 |    58032 |   104282      0 |      170 |      168
1147.86/1148.20	c 1146s |      13 |   366732 |    58232 |   104282      0 |      170 |      168
1150.46/1150.84	c 1149s |      13 |   367146 |    58332 |   104282      0 |      170 |      168
1150.86/1151.29	c 1149s |      14 |   367342 |    58352 |   104282      0 |      170 |      168
1153.16/1153.55	c 1152s |      14 |   367819 |    58452 |   104282      0 |      170 |      168
1157.46/1157.84	c 1156s |      14 |   368357 |    58652 |   104282      0 |      170 |      168
1161.66/1162.06	c 1160s |      14 |   369268 |    58852 |   104282      0 |      170 |      168
1165.26/1165.66	c 1164s |      14 |   370884 |    59052 |   104282      0 |      170 |      168
1167.66/1168.08	c 1166s |      14 |   372043 |    59152 |   104282      0 |      170 |      168
1169.96/1170.34	c 1168s |      14 |   372855 |    59252 |   104282      0 |      170 |      168
1173.66/1174.09	c 1172s |      14 |   374894 |    59452 |   104282      0 |      170 |      168
1176.46/1176.82	c 1175s |      14 |   375882 |    59552 |   104282      0 |      170 |      168
1178.87/1179.27	c 1177s |      14 |   377421 |    59652 |   104282      0 |      170 |      168
1181.36/1181.79	c 1180s |      14 |   378153 |    59752 |   104282      0 |      170 |      168
1185.76/1186.14	c 1184s |      14 |   384284 |    59952 |   104282      0 |      170 |      168
1188.36/1188.72	c 1187s |      14 |   385064 |    60052 |   104282      0 |      170 |      168
1191.46/1191.81	c 1190s |      14 |   386795 |    60252 |   104282      0 |      170 |      168
1195.06/1195.45	c 1193s |      14 |   390396 |    60452 |   104282      0 |      170 |      168
1197.66/1198.06	c 1196s |      14 |   391416 |    60652 |   104282      0 |      170 |      168
1200.46/1200.86	c 1199s |      14 |   392187 |    60852 |   104282      0 |      170 |      168
1203.86/1204.22	c 1202s |      14 |   393185 |    61052 |   104282      0 |      170 |      168
1207.35/1207.77	c 1206s |      14 |   394093 |    61252 |   104282      0 |      170 |      168
1210.05/1210.47	c 1208s |      14 |   394496 |    61352 |   104282      0 |      170 |      168
1212.25/1212.68	c 1211s |      14 |   394907 |    61452 |   104282      0 |      170 |      168
1214.65/1215.00	c 1213s |      14 |   395217 |    61552 |   104282      0 |      170 |      168
1217.15/1217.51	c 1215s |      14 |   395617 |    61652 |   104282      0 |      170 |      168
1219.85/1220.21	c 1218s |      14 |   395888 |    61752 |   104282      0 |      170 |      168
1222.45/1222.87	c 1221s |      14 |   396913 |    61852 |   104282      0 |      170 |      168
1224.65/1225.06	c 1223s |      14 |   397524 |    61952 |   104282      0 |      170 |      168
1227.15/1227.60	c 1226s |      14 |   397733 |    62052 |   104282      0 |      170 |      168
1229.35/1229.79	c 1228s |      14 |   398089 |    62152 |   104282      0 |      170 |      168
1232.95/1233.38	c 1231s |      14 |   399587 |    62352 |   104282      0 |      170 |      168
1237.26/1237.65	c 1236s |      14 |   400232 |    62552 |   104282      0 |      170 |      168
1241.35/1241.77	c 1240s |      14 |   400634 |    62752 |   104282      0 |      170 |      168
1245.45/1245.89	c 1244s |      14 |   401372 |    62952 |   104282      0 |      170 |      168
1247.95/1248.39	c 1246s |      14 |   401776 |    63052 |   104282      0 |      170 |      168
1250.15/1250.54	c 1249s |      14 |   402399 |    63152 |   104282      0 |      170 |      168
1252.65/1253.02	c 1251s |      14 |   402797 |    63252 |   104282      0 |      170 |      168
1254.65/1255.09	c 1253s |      14 |   403125 |    63352 |   104282      0 |      170 |      168
1257.25/1257.66	c 1256s |      14 |   403435 |    63452 |   104282      0 |      170 |      168
1259.75/1260.11	c 1258s |      14 |   403846 |    63552 |   104282      0 |      170 |      168
1262.35/1262.71	c 1261s |      14 |   404462 |    63652 |   104282      0 |      170 |      168
1265.14/1265.56	c 1264s |      14 |   404755 |    63752 |   104282      0 |      170 |      168
1267.64/1268.03	c 1266s |      14 |   405035 |    63852 |   104282      0 |      170 |      168
1271.14/1271.54	c 1270s |      14 |   406578 |    64052 |   104282      0 |      170 |      168
1273.24/1273.66	c 1272s |      14 |   406811 |    64152 |   104282      0 |      170 |      168
1277.24/1277.64	c 1276s |      14 |   407502 |    64352 |   104282      0 |      170 |      168
1279.24/1279.68	c 1278s |      14 |   407655 |    64452 |   104282      0 |      170 |      168
1281.54/1281.91	c 1280s |      14 |   407784 |    64552 |   104282      0 |      170 |      168
1283.94/1284.33	c 1282s |      14 |   407965 |    64652 |   104282      0 |      170 |      168
1286.24/1286.63	c 1285s |      14 |   408256 |    64752 |   104282      0 |      170 |      168
1290.24/1290.65	c 1289s |      14 |   409708 |    64952 |   104282      0 |      170 |      168
1294.24/1294.60	c 1293s |      14 |   411774 |    65152 |   104282      0 |      170 |      168
1297.24/1297.61	c 1296s |      14 |   412664 |    65352 |   104282      0 |      170 |      168
1300.64/1301.05	c 1299s |      14 |   413543 |    65552 |   104282      0 |      170 |      168
1304.25/1304.70	c 1303s |      14 |   414468 |    65752 |   104282      0 |      170 |      168
1306.94/1307.38	c 1305s |      14 |   415330 |    65952 |   104282      0 |      170 |      168
1310.64/1311.03	c 1309s |      14 |   415772 |    66152 |   104282      0 |      170 |      168
1312.74/1313.12	c 1311s |      14 |   415932 |    66252 |   104282      0 |      170 |      168
1315.84/1316.21	c 1314s |      14 |   416798 |    66452 |   104282      0 |      170 |      168
1317.84/1318.26	c 1316s |      14 |   417143 |    66552 |   104282      0 |      170 |      168
1321.04/1321.45	c 1319s |      14 |   418272 |    66752 |   104282      0 |      170 |      168
1323.54/1323.99	c 1322s |      14 |   418939 |    66852 |   104282      0 |      170 |      168
1327.94/1328.38	c 1326s |      14 |   420989 |    67052 |   104282      0 |      170 |      168
1331.85/1332.26	c 1330s |      14 |   424419 |    67252 |   104282      0 |      170 |      168
1334.84/1335.28	c 1333s |      14 |   428733 |    67452 |   104282      0 |      170 |      168
1337.94/1338.39	c 1336s |      14 |   431276 |    67652 |   104282      0 |      170 |      168
1341.54/1341.94	c 1340s |      14 |   432022 |    67852 |   104282      0 |      170 |      168
1343.74/1344.16	c 1342s |      14 |   432782 |    67952 |   104282      0 |      170 |      168
1345.74/1346.16	c 1344s |      14 |   433671 |    68052 |   104282      0 |      170 |      168
1348.04/1348.45	c 1346s |      14 |   436350 |    68152 |   104282      0 |      170 |      168
1351.34/1351.73	c 1350s |      14 |   440399 |    68352 |   104282      0 |      170 |      168
1354.95/1355.37	c 1353s |      14 |   442145 |    68552 |   104282      0 |      170 |      168
1358.44/1358.82	c 1357s |      14 |   444317 |    68752 |   104282      0 |      170 |      168
1361.94/1362.31	c 1360s |      14 |   445682 |    68952 |   104282      0 |      170 |      168
1364.84/1365.20	c 1363s |      14 |   448418 |    69152 |   104282      0 |      170 |      168
1366.84/1367.25	c 1365s |      14 |   449056 |    69252 |   104282      0 |      170 |      168
1368.94/1369.37	c 1367s |      14 |   450268 |    69352 |   104282      0 |      170 |      168
1372.34/1372.76	c 1371s |      14 |   451615 |    69552 |   104282      0 |      170 |      168
1375.93/1376.33	c 1374s |      14 |   453461 |    69752 |   104282      0 |      170 |      168
1378.23/1378.64	c 1377s |      14 |   454839 |    69852 |   104282      0 |      170 |      168
1380.53/1380.95	c 1379s |      14 |   455577 |    69952 |   104282      0 |      170 |      168
1382.73/1383.14	c 1381s |      14 |   456178 |    70052 |   104282      0 |      170 |      168
1386.33/1386.78	c 1385s |      14 |   457243 |    70252 |   104282      0 |      170 |      168
1389.73/1390.11	c 1388s |      14 |   459664 |    70452 |   104282      0 |      170 |      168
1392.83/1393.20	c 1391s |      14 |   460916 |    70652 |   104282      0 |      170 |      168
1396.53/1396.94	c 1395s |      14 |   461704 |    70852 |   104282      0 |      170 |      168
1399.94/1400.34	c 1398s |      14 |   462423 |    71052 |   104282      0 |      170 |      168
1403.73/1404.13	c 1402s |      14 |   463353 |    71252 |   104282      0 |      170 |      168
1407.64/1408.01	c 1406s |      14 |   463847 |    71452 |   104282      0 |      170 |      168
1409.63/1410.05	c 1408s |      14 |   464120 |    71552 |   104282      0 |      170 |      168
1415.73/1416.16	c 1414s |      14 |   465388 |    71752 |   104282      0 |      170 |      168
1419.63/1420.07	c 1418s |      14 |   466807 |    71952 |   104282      0 |      170 |      168
1423.53/1423.90	c 1422s |      14 |   468907 |    72152 |   104282      0 |      170 |      168
1425.73/1426.17	c 1424s |      14 |   470226 |    72252 |   104282      0 |      170 |      168
1428.53/1428.91	c 1427s |      14 |   470920 |    72352 |   104282      0 |      170 |      168
1431.23/1431.60	c 1430s |      14 |   471513 |    72452 |   104282      0 |      170 |      168
1433.93/1434.35	c 1432s |      14 |   472718 |    72552 |   104282      0 |      170 |      168
1436.12/1436.50	c 1434s |      14 |   474043 |    72652 |   104282      0 |      170 |      168
1438.43/1438.89	c 1437s |      14 |   474464 |    72752 |   104282      0 |      170 |      168
1440.63/1441.07	c 1439s |      14 |   477028 |    72852 |   104282      0 |      170 |      168
1444.82/1445.27	c 1443s |      14 |   482076 |    73052 |   104282      0 |      170 |      168
1447.82/1448.20	c 1446s |      14 |   483728 |    73252 |   104282      0 |      170 |      168
1450.22/1450.62	c 1449s |      14 |   485112 |    73352 |   104282      0 |      170 |      168
1452.73/1453.19	c 1451s |      14 |   485624 |    73452 |   104282      0 |      170 |      168
1456.62/1457.01	c 1455s |      14 |   486601 |    73652 |   104282      0 |      170 |      168
1458.82/1459.24	c 1457s |      14 |   488761 |    73752 |   104282      0 |      170 |      168
1460.92/1461.36	c 1459s |      14 |   489387 |    73852 |   104282      0 |      170 |      168
1463.22/1463.68	c 1462s |      14 |   491146 |    73952 |   104282      0 |      170 |      168
1465.42/1465.82	c 1464s |      14 |   491616 |    74052 |   104282      0 |      170 |      168
1469.23/1469.68	c 1468s |      14 |   494009 |    74252 |   104282      0 |      170 |      168
1471.82/1472.23	c 1470s |      14 |   494905 |    74352 |   104282      0 |      170 |      168
1473.82/1474.24	c 1472s |      14 |   495493 |    74452 |   104282      0 |      170 |      168
1476.12/1476.56	c 1475s |      14 |   496297 |    74552 |   104282      0 |      170 |      168
1478.82/1479.25	c 1477s |      14 |   497056 |    74652 |   104282      0 |      170 |      168
1482.72/1483.12	c 1481s |      14 |   498549 |    74852 |   104282      0 |      170 |      168
1486.72/1487.19	c 1485s |      14 |   499792 |    75052 |   104282      0 |      170 |      168
1488.92/1489.32	c 1487s |      14 |   500479 |    75152 |   104282      0 |      170 |      168
1491.22/1491.68	c 1490s |      14 |   500761 |    75252 |   104282      0 |      170 |      168
1493.42/1493.83	c 1492s |      14 |   500927 |    75352 |   104282      0 |      170 |      168
1496.61/1497.09	c 1495s |      14 |   501471 |    75452 |   104282      0 |      170 |      168
1499.61/1500.02	c 1498s |      14 |   501840 |    75552 |   104282      0 |      170 |      168
1501.71/1502.10	c 1500s |      14 |   502286 |    75652 |   104282      0 |      170 |      168
1505.62/1506.06	c 1504s |      14 |   502780 |    75852 |   104282      0 |      170 |      168
1509.21/1509.65	c 1508s |      14 |   504269 |    76052 |   104282      0 |      170 |      168
1512.22/1512.69	c 1511s |      14 |   505006 |    76152 |   104282      0 |      170 |      168
1514.32/1514.74	c 1513s |      14 |   505672 |    76252 |   104282      0 |      170 |      168
1516.31/1516.77	c 1515s |      14 |   506109 |    76452 |   104282      0 |      170 |      168
1519.11/1519.55	c 1518s |      14 |   506920 |    76652 |   104282      0 |      170 |      168
1524.01/1524.44	c 1522s |      14 |   507691 |    76852 |   104282      0 |      170 |      168
1527.91/1528.36	c 1526s |      14 |   508851 |    77052 |   104282      0 |      170 |      168
1531.61/1532.02	c 1530s |      14 |   510940 |    77252 |   104282      0 |      170 |      168
1535.01/1535.49	c 1533s |      14 |   513105 |    77452 |   104282      0 |      170 |      168
1538.52/1538.92	c 1537s |      14 |   515774 |    77652 |   104282      0 |      170 |      168
1541.51/1541.91	c 1540s |      14 |   518030 |    77852 |   104282      0 |      170 |      168
1546.21/1546.62	c 1545s |      14 |   519301 |    78052 |   104282      0 |      170 |      168
1550.61/1551.05	c 1549s |      14 |   520100 |    78252 |   104282      0 |      170 |      168
1553.41/1553.81	c 1552s |      14 |   520257 |    78352 |   104282      0 |      170 |      168
1558.61/1559.05	c 1557s |      14 |   521112 |    78552 |   104282      0 |      170 |      168
1562.50/1562.91	c 1561s |      14 |   521556 |    78652 |   104282      0 |      170 |      168
1564.70/1565.16	c 1563s |      14 |   521708 |    78752 |   104282      0 |      170 |      168
1567.70/1568.19	c 1566s |      14 |   521843 |    78852 |   104282      0 |      170 |      168
1570.70/1571.19	c 1569s |      14 |   521983 |    78952 |   104282      0 |      170 |      168
1573.30/1573.79	c 1572s |      14 |   522135 |    79052 |   104282      0 |      170 |      168
1576.90/1577.37	c 1575s |      14 |   522644 |    79152 |   104282      0 |      170 |      168
1580.00/1580.42	c 1578s |      14 |   522878 |    79252 |   104282      0 |      170 |      168
1583.40/1583.88	c 1582s |      14 |   523415 |    79352 |   104282      0 |      170 |      168
1585.50/1585.94	c 1584s |      14 |   523722 |    79452 |   104282      0 |      170 |      168
1588.80/1589.28	c 1587s |      14 |   523982 |    79552 |   104282      0 |      170 |      168
1591.41/1591.81	c 1590s |      14 |   524661 |    79652 |   104282      0 |      170 |      168
1593.70/1594.16	c 1592s |      14 |   525049 |    79752 |   104282      0 |      170 |      168
1596.50/1596.90	c 1595s |      14 |   525916 |    79852 |   104282      0 |      170 |      168
1599.70/1600.17	c 1598s |      14 |   526074 |    79952 |   104282      0 |      170 |      168
1604.30/1604.72	c 1603s |      14 |   526270 |    80052 |   104282      0 |      170 |      168
1608.30/1608.73	c 1607s |      14 |   526453 |    80152 |   104282      0 |      170 |      168
1612.30/1612.77	c 1611s |      14 |   527292 |    80252 |   104282      0 |      170 |      168
1615.30/1615.79	c 1614s |      14 |   528012 |    80352 |   104282      0 |      170 |      168
1618.50/1618.98	c 1617s |      14 |   528351 |    80452 |   104282      0 |      170 |      168
1621.39/1621.87	c 1620s |      14 |   528502 |    80552 |   104282      0 |      170 |      168
1624.09/1624.57	c 1623s |      14 |   528746 |    80652 |   104282      0 |      170 |      168
1627.60/1628.03	c 1626s |      14 |   528854 |    80752 |   104282      0 |      170 |      168
1629.80/1630.29	c 1628s |      14 |   529001 |    80852 |   104282      0 |      170 |      168
1633.20/1633.63	c 1632s |      14 |   533283 |    81052 |   104282      0 |      170 |      168
1636.99/1637.49	c 1635s |      14 |   535975 |    81252 |   104282      0 |      170 |      168
1640.90/1641.37	c 1639s |      14 |   541387 |    81452 |   104282      0 |      170 |      168
1644.69/1645.18	c 1643s |      14 |   543542 |    81652 |   104282      0 |      170 |      168
1648.29/1648.74	c 1647s |      14 |   544456 |    81852 |   104282      0 |      170 |      168
1652.49/1652.94	c 1651s |      14 |   545014 |    82052 |   104282      0 |      170 |      168
1654.79/1655.21	c 1653s |      14 |   545421 |    82152 |   104282      0 |      170 |      168
1657.09/1657.56	c 1656s |      14 |   546067 |    82252 |   104282      0 |      170 |      168
1659.60/1660.04	c 1658s |      14 |   546520 |    82352 |   104282      0 |      170 |      168
1661.99/1662.40	c 1660s |      14 |   547297 |    82452 |   104282      0 |      170 |      168
1665.59/1666.01	c 1664s |      14 |   548754 |    82652 |   104282      0 |      170 |      168
1668.99/1669.46	c 1667s |      14 |   551912 |    82852 |   104282      0 |      170 |      168
1672.39/1672.84	c 1671s |      14 |   552751 |    83052 |   104282      0 |      170 |      168
1676.59/1677.02	c 1675s |      14 |   554964 |    83252 |   104282      0 |      170 |      168
1680.09/1680.54	c 1679s |      14 |   555818 |    83452 |   104282      0 |      170 |      168
1683.88/1684.30	c 1682s |      14 |   556424 |    83652 |   104282      0 |      170 |      168
1688.19/1688.66	c 1687s |      14 |   557642 |    83852 |   104282      0 |      170 |      168
1690.58/1691.00	c 1689s |      14 |   557860 |    83952 |   104282      0 |      170 |      168
1692.88/1693.37	c 1691s |      14 |   559262 |    84052 |   104282      0 |      170 |      168
1697.08/1697.53	c 1696s |      14 |   560560 |    84252 |   104282      0 |      170 |      168
1699.19/1699.63	c 1698s |      14 |   561646 |    84352 |   104282      0 |      170 |      168
1702.18/1702.65	c 1701s |      14 |   562245 |    84552 |   104282      0 |      170 |      168
1705.48/1705.91	c 1704s |      14 |   562737 |    84752 |   104282      0 |      170 |      168
1709.09/1709.56	c 1708s |      14 |   563717 |    84952 |   104282      0 |      170 |      168
1713.18/1713.66	c 1712s |      14 |   564109 |    85152 |   104282      0 |      170 |      168
1716.88/1717.36	c 1715s |      14 |   564834 |    85352 |   104282      0 |      170 |      168
1719.08/1719.56	c 1718s |      14 |   565481 |    85452 |   104282      0 |      170 |      168
1721.58/1722.09	c 1720s |      14 |   566436 |    85552 |   104282      0 |      170 |      168
1723.98/1724.42	c 1722s |      14 |   566727 |    85652 |   104282      0 |      170 |      168
1728.28/1728.71	c 1727s |      14 |   567947 |    85852 |   104282      0 |      170 |      168
1730.88/1731.37	c 1729s |      14 |   569277 |    85952 |   104282      0 |      170 |      168
1734.08/1734.54	c 1733s |      14 |   569614 |    86052 |   104282      0 |      170 |      168
1741.48/1741.95	c 1740s |      14 |   572478 |    86252 |   104282      0 |      170 |      168
1745.97/1746.47	c 1744s |      14 |   574398 |    86352 |   104282      0 |      170 |      168
1750.97/1751.42	c 1749s |      14 |   575541 |    86452 |   104282      0 |      170 |      168
1754.27/1754.79	c 1753s |      14 |   579764 |    86552 |   104282      0 |      170 |      168
1759.27/1759.75	c 1758s |      14 |   582196 |    86652 |   104282      0 |      170 |      168
1763.17/1763.64	c 1762s |      14 |   584466 |    86752 |   104282      0 |      170 |      168
1769.97/1770.49	c 1768s |      14 |   585599 |    86852 |   104282      0 |      170 |      168
1773.07/1773.58	c 1772s |      14 |   586323 |    86952 |   104282      0 |      170 |      168
1775.27/1775.72	c 1774s |      14 |   587024 |    87052 |   114711      0 |      170 |      168
1777.37/1777.82	c 1776s |      14 |   587336 |    87152 |   114711      0 |      170 |      168
1781.47/1781.90	c 1780s |      14 |   588329 |    87352 |   114711      0 |      170 |      168
1783.57/1784.09	c 1782s |      14 |   588782 |    87452 |   114711      0 |      170 |      168
1786.77/1787.27	c 1785s |      15 |   589846 |    87632 |   114711      0 |      170 |      168
1789.57/1790.04	c 1788s |      15 |   591283 |    87732 |   114711      0 |      170 |      168
1791.77/1792.20	c 1790s |      15 |   593234 |    87832 |   114711      0 |      170 |      168
1794.27/1794.74	c 1793s |      15 |   593745 |    88032 |   114711      0 |      170 |      168
1797.57/1798.09	c 1796s |      15 |   594245 |    88232 |   114711      0 |      170 |      168

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

pid=4582
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

[startup+0 s]
/proc/loadavg: 2.12 2.14 2.09 3/179 4585
/proc/meminfo: memFree=30014600/32872528 swapFree=12328/568296
[pid=4585] ppid=4582 vsize=24328 CPUtime=0 cores=1,3,5,7
/proc/4585/stat : 4585 (runsolver) R 4582 3396 3396 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 1 0 111069814 24911872 80 33554432000 4194304 4338465 140734293172592 140734293170128 206619843059 0 0 4096 24578 0 0 0 17 7 0 0 0 0 0
/proc/4585/statm: 6082 80 34 36 0 2655 0
Current StackSize limit: 10240 KiB


[startup+0.100177 s]
/proc/loadavg: 2.12 2.14 2.09 3/179 4585
/proc/meminfo: memFree=30014600/32872528 swapFree=12328/568296
[pid=4585] ppid=4582 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/4585/stat : 4585 (toysat) R 4582 4585 3396 0 -1 4202496 25232 0 0 0 5 3 0 0 20 0 4 0 111069814 1333334016 25531 33554432000 4194304 16246674 140737222804128 140737222803304 7889646 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4585/statm: 325521 25547 799 2943 0 322415 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200399 s]
/proc/loadavg: 2.12 2.14 2.09 3/179 4585
/proc/meminfo: memFree=30014600/32872528 swapFree=12328/568296
[pid=4585] ppid=4582 vsize=1313348 CPUtime=0.17 cores=1,3,5,7
/proc/4585/stat : 4585 (toysat) R 4582 4585 3396 0 -1 4202496 45627 0 0 0 12 5 0 0 20 0 4 0 111069814 1344868352 46437 33554432000 4194304 16246674 140737222804128 140737222786048 8055538 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4585/statm: 328337 46437 799 2943 0 325231 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 1313348

[startup+0.300392 s]
/proc/loadavg: 2.12 2.14 2.09 3/179 4585
/proc/meminfo: memFree=30014600/32872528 swapFree=12328/568296
[pid=4585] ppid=4582 vsize=1313348 CPUtime=0.28 cores=1,3,5,7
/proc/4585/stat : 4585 (toysat) R 4582 4585 3396 0 -1 4202496 56047 0 0 0 21 7 0 0 20 0 4 0 111069814 1344868352 56857 33554432000 4194304 16246674 140737222804128 140737222786048 7361739 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4585/statm: 328337 56857 799 2943 0 325231 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700358 s]
/proc/loadavg: 2.12 2.14 2.09 3/179 4585
/proc/meminfo: memFree=30014600/32872528 swapFree=12328/568296
[pid=4585] ppid=4582 vsize=1315396 CPUtime=0.67 cores=1,3,5,7
/proc/4585/stat : 4585 (toysat) R 4582 4585 3396 0 -1 4202496 83767 0 0 0 57 10 0 0 20 0 4 0 111069814 1346965504 84577 33554432000 4194304 16246674 140737222804128 140737222786048 6165414 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4585/statm: 328849 84587 833 2943 0 325743 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 1315396

[startup+1.50042 s]
/proc/loadavg: 2.12 2.14 2.09 3/183 4589
/proc/meminfo: memFree=29368532/32872528 swapFree=12328/568296
[pid=4585] ppid=4582 vsize=1315396 CPUtime=1.47 cores=1,3,5,7
/proc/4585/stat : 4585 (toysat) R 4582 4585 3396 0 -1 4202496 216193 0 0 0 119 28 0 0 20 0 4 0 111069814 1346965504 217003 33554432000 4194304 16246674 140737222804128 140737222803344 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4585/statm: 328849 217003 839 2943 0 325743 0
[pid=4585/tid=4587] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4587/stat : 4587 (toysat) S 4582 4585 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 217003 33554432000 4194304 16246674 140737222804128 140125578177776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4585/tid=4588] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4588/stat : 4588 (toysat) S 4582 4585 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 217003 33554432000 4194304 16246674 140737222804128 140125567687920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4585/tid=4589] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4589/stat : 4589 (toysat) S 4582 4585 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 217003 33554432000 4194304 16246674 140737222804128 140125455510704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 1315396

[startup+3.10041 s]
/proc/loadavg: 2.12 2.14 2.09 3/183 4589
/proc/meminfo: memFree=29147564/32872528 swapFree=12328/568296
[pid=4585] ppid=4582 vsize=1315396 CPUtime=3.07 cores=1,3,5,7
/proc/4585/stat : 4585 (toysat) R 4582 4585 3396 0 -1 4202496 216248 0 0 0 279 28 0 0 20 0 4 0 111069814 1346965504 217058 33554432000 4194304 16246674 140737222804128 140737222786048 5546019 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4585/statm: 328849 217058 894 2943 0 325743 0
[pid=4585/tid=4587] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4587/stat : 4587 (toysat) S 4582 4585 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 217058 33554432000 4194304 16246674 140737222804128 140125578177776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4585/tid=4588] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4588/stat : 4588 (toysat) S 4582 4585 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 217058 33554432000 4194304 16246674 140737222804128 140125567687920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4585/tid=4589] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4589/stat : 4589 (toysat) S 4582 4585 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 217058 33554432000 4194304 16246674 140737222804128 140125455510704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 1315396

[startup+6.30043 s]
/proc/loadavg: 2.19 2.15 2.10 3/183 4589
/proc/meminfo: memFree=28934672/32872528 swapFree=12328/568296
[pid=4585] ppid=4582 vsize=1315396 CPUtime=6.27 cores=1,3,5,7
/proc/4585/stat : 4585 (toysat) R 4582 4585 3396 0 -1 4202496 269530 0 0 0 592 35 0 0 20 0 4 0 111069814 1346965504 270340 33554432000 4194304 16246674 140737222804128 140737222786048 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4585/statm: 328849 270340 894 2943 0 325743 0
[pid=4585/tid=4587] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4587/stat : 4587 (toysat) S 4582 4585 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270340 33554432000 4194304 16246674 140737222804128 140125578177776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4585/tid=4588] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4588/stat : 4588 (toysat) S 4582 4585 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270340 33554432000 4194304 16246674 140737222804128 140125567687920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4585/tid=4589] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4589/stat : 4589 (toysat) S 4582 4585 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270340 33554432000 4194304 16246674 140737222804128 140125455510704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 1315396

[startup+12.7005 s]
/proc/loadavg: 2.17 2.15 2.09 3/183 4589
/proc/meminfo: memFree=28934976/32872528 swapFree=12328/568296
[pid=4585] ppid=4582 vsize=1315396 CPUtime=12.67 cores=1,3,5,7
/proc/4585/stat : 4585 (toysat) R 4582 4585 3396 0 -1 4202496 269530 0 0 0 1232 35 0 0 20 0 4 0 111069814 1346965504 270340 33554432000 4194304 16246674 140737222804128 140737222786048 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4585/statm: 328849 270340 894 2943 0 325743 0
[pid=4585/tid=4587] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4587/stat : 4587 (toysat) S 4582 4585 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270340 33554432000 4194304 16246674 140737222804128 140125578177776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4585/tid=4588] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4588/stat : 4588 (toysat) S 4582 4585 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270340 33554432000 4194304 16246674 140737222804128 140125567687920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4585/tid=4589] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4589/stat : 4589 (toysat) S 4582 4585 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270340 33554432000 4194304 16246674 140737222804128 140125455510704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.20 2.16 2.10 3/183 4589
/proc/meminfo: memFree=28935592/32872528 swapFree=12328/568296
[pid=4585] ppid=4582 vsize=1315396 CPUtime=25.47 cores=1,3,5,7
/proc/4585/stat : 4585 (toysat) R 4582 4585 3396 0 -1 4202496 269532 0 0 0 2512 35 0 0 20 0 4 0 111069814 1346965504 270342 33554432000 4194304 16246674 140737222804128 140737222786048 5711338 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4585/statm: 328849 270342 896 2943 0 325743 0
[pid=4585/tid=4587] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4587/stat : 4587 (toysat) S 4582 4585 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270342 33554432000 4194304 16246674 140737222804128 140125578177776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4585/tid=4588] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4588/stat : 4588 (toysat) S 4582 4585 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270342 33554432000 4194304 16246674 140737222804128 140125567687920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4585/tid=4589] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4589/stat : 4589 (toysat) S 4582 4585 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270342 33554432000 4194304 16246674 140737222804128 140125455510704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.20 2.16 2.10 3/183 4589
/proc/meminfo: memFree=28935860/32872528 swapFree=12328/568296
[pid=4585] ppid=4582 vsize=1315396 CPUtime=51.07 cores=1,3,5,7
/proc/4585/stat : 4585 (toysat) R 4582 4585 3396 0 -1 4202496 269532 0 0 0 5072 35 0 0 20 0 4 0 111069814 1346965504 270342 33554432000 4194304 16246674 140737222804128 140737222786048 5674567 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4585/statm: 328849 270342 896 2943 0 325743 0
[pid=4585/tid=4587] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4587/stat : 4587 (toysat) S 4582 4585 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270342 33554432000 4194304 16246674 140737222804128 140125578177776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4585/tid=4588] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4588/stat : 4588 (toysat) S 4582 4585 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270342 33554432000 4194304 16246674 140737222804128 140125567687920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4585/tid=4589] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4589/stat : 4589 (toysat) S 4582 4585 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270342 33554432000 4194304 16246674 140737222804128 140125455510704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1315396

[startup+102.3 s]
/proc/loadavg: 2.13 2.14 2.09 3/183 4638
/proc/meminfo: memFree=28979812/32872528 swapFree=12328/568296
[pid=4585] ppid=4582 vsize=1315396 CPUtime=102.26 cores=1,3,5,7
/proc/4585/stat : 4585 (toysat) R 4582 4585 3396 0 -1 4202496 269537 0 0 0 10191 35 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140737222786048 12483512 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4585/statm: 328849 270347 900 2943 0 325743 0
[pid=4585/tid=4587] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4587/stat : 4587 (toysat) S 4582 4585 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125578177776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4585/tid=4588] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4588/stat : 4588 (toysat) S 4582 4585 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125567687920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4585/tid=4589] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4589/stat : 4589 (toysat) S 4582 4585 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125455510704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1315396

[startup+162.3 s]
/proc/loadavg: 2.25 2.18 2.10 3/183 4639
/proc/meminfo: memFree=28979988/32872528 swapFree=12328/568296
[pid=4585] ppid=4582 vsize=1315396 CPUtime=162.25 cores=1,3,5,7
/proc/4585/stat : 4585 (toysat) R 4582 4585 3396 0 -1 4202496 269538 0 0 0 16190 35 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140737222786048 5722960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4585/statm: 328849 270347 900 2943 0 325743 0
[pid=4585/tid=4587] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4587/stat : 4587 (toysat) S 4582 4585 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125578177776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4585/tid=4588] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4588/stat : 4588 (toysat) S 4582 4585 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125567687920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4585/tid=4589] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4589/stat : 4589 (toysat) S 4582 4585 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125455510704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1315396

[startup+222.308 s]
/proc/loadavg: 2.24 2.19 2.11 3/183 4640
/proc/meminfo: memFree=28979820/32872528 swapFree=12328/568296
[pid=4585] ppid=4582 vsize=1315396 CPUtime=222.25 cores=1,3,5,7
/proc/4585/stat : 4585 (toysat) R 4582 4585 3396 0 -1 4202496 269538 0 0 0 22189 36 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140737222786048 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4585/statm: 328849 270347 900 2943 0 325743 0
[pid=4585/tid=4587] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4587/stat : 4587 (toysat) S 4582 4585 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125578177776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4585/tid=4588] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4588/stat : 4588 (toysat) S 4582 4585 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125567687920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4585/tid=4589] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4589/stat : 4589 (toysat) S 4582 4585 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125455510704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1315396


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

/proc/4585/task/4589/stat : 4589 (toysat) S 4582 4585 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125455510704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.08 2.12 2.09 3/183 4670
/proc/meminfo: memFree=28977912/32872528 swapFree=12328/568296
[pid=4585] ppid=4582 vsize=1315396 CPUtime=1361.94 cores=1,3,5,7
/proc/4585/stat : 4585 (toysat) R 4582 4585 3396 0 -1 4202496 269745 0 0 0 136156 38 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140737222786048 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4585/statm: 328849 270347 900 2943 0 325743 0
[pid=4585/tid=4587] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4587/stat : 4587 (toysat) S 4582 4585 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125578177776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4585/tid=4588] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4588/stat : 4588 (toysat) S 4582 4585 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125567687920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4585/tid=4589] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4589/stat : 4589 (toysat) S 4582 4585 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125455510704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.13 2.13 2.09 3/183 4671
/proc/meminfo: memFree=28977632/32872528 swapFree=12328/568296
[pid=4585] ppid=4582 vsize=1315396 CPUtime=1421.93 cores=1,3,5,7
/proc/4585/stat : 4585 (toysat) R 4582 4585 3396 0 -1 4202496 269745 0 0 0 142155 38 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140737222786048 12483624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4585/statm: 328849 270347 900 2943 0 325743 0
[pid=4585/tid=4587] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4587/stat : 4587 (toysat) S 4582 4585 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125578177776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4585/tid=4588] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4588/stat : 4588 (toysat) S 4582 4585 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125567687920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4585/tid=4589] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4589/stat : 4589 (toysat) S 4582 4585 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125455510704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.10 2.12 2.09 3/183 4673
/proc/meminfo: memFree=28978004/32872528 swapFree=12328/568296
[pid=4585] ppid=4582 vsize=1315396 CPUtime=1481.92 cores=1,3,5,7
/proc/4585/stat : 4585 (toysat) R 4582 4585 3396 0 -1 4202496 269745 0 0 0 148154 38 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140737222786048 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4585/statm: 328849 270347 900 2943 0 325743 0
[pid=4585/tid=4587] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4587/stat : 4587 (toysat) S 4582 4585 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125578177776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4585/tid=4588] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4588/stat : 4588 (toysat) S 4582 4585 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125567687920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4585/tid=4589] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4589/stat : 4589 (toysat) S 4582 4585 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125455510704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.08 2.11 2.09 3/183 4674
/proc/meminfo: memFree=28978128/32872528 swapFree=12328/568296
[pid=4585] ppid=4582 vsize=1315396 CPUtime=1541.91 cores=1,3,5,7
/proc/4585/stat : 4585 (toysat) R 4582 4585 3396 0 -1 4202496 269745 0 0 0 154153 38 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140737222786048 12483674 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4585/statm: 328849 270347 900 2943 0 325743 0
[pid=4585/tid=4587] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4587/stat : 4587 (toysat) S 4582 4585 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125578177776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4585/tid=4588] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4588/stat : 4588 (toysat) S 4582 4585 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125567687920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4585/tid=4589] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4589/stat : 4589 (toysat) S 4582 4585 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125455510704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.17 2.13 2.09 3/183 4675
/proc/meminfo: memFree=28978252/32872528 swapFree=12328/568296
[pid=4585] ppid=4582 vsize=1315396 CPUtime=1601.9 cores=1,3,5,7
/proc/4585/stat : 4585 (toysat) R 4582 4585 3396 0 -1 4202496 269745 0 0 0 160152 38 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140737222786048 5722842 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4585/statm: 328849 270347 900 2943 0 325743 0
[pid=4585/tid=4587] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4587/stat : 4587 (toysat) S 4582 4585 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125578177776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4585/tid=4588] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4588/stat : 4588 (toysat) S 4582 4585 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125567687920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4585/tid=4589] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4589/stat : 4589 (toysat) S 4582 4585 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125455510704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.11 2.12 2.09 3/184 4679
/proc/meminfo: memFree=28978508/32872528 swapFree=12328/568296
[pid=4585] ppid=4582 vsize=1315396 CPUtime=1661.89 cores=1,3,5,7
/proc/4585/stat : 4585 (toysat) R 4582 4585 3396 0 -1 4202496 269745 0 0 0 166151 38 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140737222786048 12483632 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4585/statm: 328849 270347 900 2943 0 325743 0
[pid=4585/tid=4587] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4587/stat : 4587 (toysat) S 4582 4585 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125578177776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4585/tid=4588] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4588/stat : 4588 (toysat) S 4582 4585 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125567687920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4585/tid=4589] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4589/stat : 4589 (toysat) S 4582 4585 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125455510704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.08 2.11 2.09 3/183 4680
/proc/meminfo: memFree=28978400/32872528 swapFree=12328/568296
[pid=4585] ppid=4582 vsize=1315396 CPUtime=1721.88 cores=1,3,5,7
/proc/4585/stat : 4585 (toysat) R 4582 4585 3396 0 -1 4202496 269745 0 0 0 172150 38 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140737222786048 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4585/statm: 328849 270347 900 2943 0 325743 0
[pid=4585/tid=4587] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4587/stat : 4587 (toysat) S 4582 4585 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125578177776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4585/tid=4588] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4588/stat : 4588 (toysat) S 4582 4585 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125567687920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4585/tid=4589] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4589/stat : 4589 (toysat) S 4582 4585 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125455510704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.13 2.12 2.09 3/183 4682
/proc/meminfo: memFree=28978024/32872528 swapFree=12328/568296
[pid=4585] ppid=4582 vsize=1315396 CPUtime=1781.87 cores=1,3,5,7
/proc/4585/stat : 4585 (toysat) R 4582 4585 3396 0 -1 4202496 269745 0 0 0 178149 38 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140737222786048 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4585/statm: 328849 270347 900 2943 0 325743 0
[pid=4585/tid=4587] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4587/stat : 4587 (toysat) S 4582 4585 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125578177776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4585/tid=4588] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4588/stat : 4588 (toysat) S 4582 4585 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125567687920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4585/tid=4589] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4589/stat : 4589 (toysat) S 4582 4585 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125455510704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.09 2.11 2.09 3/183 4682
/proc/meminfo: memFree=28978032/32872528 swapFree=12328/568296
[pid=4585] ppid=4582 vsize=1315396 CPUtime=1800.07 cores=1,3,5,7
/proc/4585/stat : 4585 (toysat) R 4582 4585 3396 0 -1 4202496 269745 0 0 0 179969 38 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140737222786048 5661532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4585/statm: 328849 270347 900 2943 0 325743 0
[pid=4585/tid=4587] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4587/stat : 4587 (toysat) S 4582 4585 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125578177776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4585/tid=4588] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4588/stat : 4588 (toysat) S 4582 4585 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125567687920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4585/tid=4589] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4589/stat : 4589 (toysat) S 4582 4585 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125455510704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 4585 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.09 2.11 2.09 3/183 4682
/proc/meminfo: memFree=28978032/32872528 swapFree=12328/568296
[pid=4585] ppid=4582 vsize=1315396 CPUtime=1800.07 cores=1,3,5,7
/proc/4585/stat : 4585 (toysat) R 4582 4585 3396 0 -1 4202496 269745 0 0 0 179969 38 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140737222786048 5661532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4585/statm: 328849 270347 900 2943 0 325743 0
[pid=4585/tid=4587] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4587/stat : 4587 (toysat) S 4582 4585 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125578177776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=4585/tid=4588] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4588/stat : 4588 (toysat) S 4582 4585 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125567687920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=4585/tid=4589] ppid=4582 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/4585/task/4589/stat : 4589 (toysat) S 4582 4585 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111069814 1346965504 270347 33554432000 4194304 16246674 140737222804128 140125455510704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1315396

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1799.7
CPU system time (s): 0.384941
CPU usage (%): 99.9762
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.7
system time used= 0.384941
maximum resident set size= 1081388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269745
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= 223
involuntary context switches= 2013

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5693 second user time and 7.02193 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-07 11:22:52
IDJOB=4080034
IDBENCH=90672
IDSOLVER=2542
FILE ID=node138/4080034-1465291372
RUNJOBID= node138-1465278758-3413
PBS_JOBID= 19843315
Free space on /tmp= 71708 MiB

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

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

MD5SUM BENCH= 38539693a47320a39c14a5b1f3201070
RANDOM SEED=1252777235

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30015252 kB
Buffers:          117628 kB
Cached:           280680 kB
SwapCached:        46740 kB
Active:          1251048 kB
Inactive:         299992 kB
Active(anon):    1107304 kB
Inactive(anon):    47688 kB
Active(file):     143744 kB
Inactive(file):   252304 kB
Unevictable:      568296 kB
Mlocked:           12328 kB
SwapTotal:      67108856 kB
SwapFree:       67053656 kB
Dirty:             19024 kB
Writeback:             0 kB
AnonPages:       1675604 kB
Mapped:            11844 kB
Shmem:                 0 kB
Slab:             603916 kB
SReclaimable:      47180 kB
SUnreclaim:       556736 kB
KernelStack:        1448 kB
PageTables:         6956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1817384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1658880 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= 71712 MiB
End job on node138 at 2016-06-07 11:52:53