Trace number 4109782

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02OPTIMUM 913.945 914.154

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900667195--soft-33-100-0.wbo
MD5SUM48e28404edc62027cab8cceeec6ce6b2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark61.9956
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints1830
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 92327
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 92326
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 655
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-19T15:47:50+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4109782-1466344070.wbo"]
0.00/0.01	c use --random-gen="1033028622 3456851819 4078752329 3018211659 2146604534 1154459146 2517340380 4055449866 4041154039 2566482412 274847122 503355325 3012729118 1096399002 2681737467 1190833607 407612764 2411588799 1937018060 1452219454 2337799132 1989379394 141663704 471992204 3556705006 2177721437 2528750613 3180419380 8764574 1859641275 2440546786 3107718847 2408611614 2493215284 1796969081 2505911869 912597978 1984958965 835654256 4079315039 141360880 257727162 168036982 2486281055 2636018818 1996016306 2284354346 1154755152 2009312953 2179364761 3410060635 1369686776 319616548 3433618006 1571543255 3429726235 1655097739 3262618560 1823852458 3798970952 1157489656 405167957 3188142564 1766512806 3551848322 1709053915 1077894491 991087906 545168691 2384641404 1832155505 2330863247 1035746364 2431887306 1111799598 3662874144 2665988840 584497728 365881156 395278660 1098857305 3860157672 2787013866 845172522 2950859318 2569633098 2426437339 1981924620 1854217639 1330377152 1402335109 2587609374 3241204880 2477907428 1837669816 4073954972 3990547384 1730548324 157785452 1926216901 406125943 3637237213 2398500838 3615821608 2670378292 3014377356 2693982792 930484198 416885853 889230484 2976253996 3657003660 1685323754 3075696905 1485381598 783685649 2446828223 389229037 1026265767 3727328867 1227506970 3416632882 1978037614 4095459408 224372968 2755440222 3100887477 4204498649 4095283089 1505866096 3404946537 3635151032 1812589364 2949930069 3728540064 1605032422 562263236 2080657616 1201695244 750540056 1630264926 4264442417 3011442301 582244873 1208772233 237364291 902040391 3403768573 2895534859 4059932027 1248859886 3337902044 1275125948 1775727943 3549452339 697962133 1797545452 989684086 3505739066 356880890 864683858 2110743565 2996756581 1356073521 4268876439 4084059562 1413553733 2682989250 2304639068 298468597 2023259125 38621802 612975685 2651469187 1291416934 2220124740 250817572 2329656937 2514302522 70587698 2872366159 268466662 3362653858 2875419541 590722204 1679301491 2721012031 1334826677 657700479 1948223539 504933041 4055104815 4010976711 645723666 478601930 2674548070 3995903707 3760132413 3322204669 3621033598 799564071 1634607769 2992802087 3937552004 1581832164 2402343663 286401571 3967309576 1152142460 508259064 1353184756 1714556425 3852489284 3600233791 2813856563 1162757352 3857447324 1636174099 2795028673 2272648085 1772499345 659185199 2595424351 3461799911 2961754173 4235234218 2179544247 168033467 1931145674 541665970 2981345091 2493654188 3508303739 1221741794 397511348 4129786118 272927792 3048497050 523605767 4005903557 693486345 2588146695 104721439 3561773493 2298958778 3352021354 516668581 2685296044 417026669 3510097789 2360514743 1457226085 1472642958 1287599729 2274082116 1477401095 255 362436" option to reproduce the execution
0.09/0.15	c #vars 231
0.09/0.15	c #constraints 2707
0.19/0.20	c BCD2: Hardening is enabled.
0.19/0.20	c BCD2: BiasedSearch is enabled.
0.19/0.20	c Solving starts ...
0.19/0.20	c ============================[ Search Statistics ]============================
0.19/0.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.20	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.20	c =============================================================================
0.19/0.20	c  0.0s |       0 |        0 |        0 |     1589      0 |        0 |        0
0.19/0.21	c  0.0s |       0 |     1849 |        2 |     1589      0 |        0 |        0
0.19/0.21	c #cpu_time = 0.005s
0.19/0.21	c #wall_clock_time = 0.005s
0.19/0.21	c #decision = 1849
0.19/0.21	c #random_decision = 2
0.19/0.21	c #conflict = 2
0.19/0.21	c #restart = 0
0.19/0.21	o 794
0.19/0.21	c BCD2: updating upper bound: 92326 -> 793
0.19/0.23	c BCD2: 0 <= obj <= 793
0.19/0.23	c BCD2: #cores=0, #unrelaxed=1830, #relaxed=0, #hardened=0
0.19/0.23	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.23	c Solving starts ...
0.19/0.23	c ============================[ Search Statistics ]============================
0.19/0.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.23	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.23	c =============================================================================
0.19/0.23	c  0.0s |       0 |        0 |        0 |     1589      0 |        0 |        0
0.19/0.25	c  0.0s |       1 |     1986 |      100 |     1748      0 |        0 |        0
0.19/0.29	c  0.1s |       2 |     4106 |      250 |     1923      0 |        0 |        0
0.29/0.35	c  0.1s |       3 |     6299 |      475 |     1923      0 |        0 |        0
0.39/0.44	c  0.2s |       4 |     8696 |      813 |     2116      0 |        0 |        0
0.59/0.67	c  0.4s |       5 |    11273 |     1320 |     2561      0 |        0 |        0
0.89/0.93	c  0.7s |       6 |    14317 |     2081 |     2818      0 |        0 |        0
1.38/1.46	c  1.2s |       7 |    17766 |     3223 |     3100      0 |        0 |        0
2.38/2.40	c  2.2s |       8 |    22276 |     4936 |     3411      1 |        0 |        0
3.78/3.89	c  3.7s |       9 |    28032 |     7506 |     3753      2 |        0 |        0
5.88/5.91	c  5.7s |       9 |    35236 |    11006 |     3753      3 |        0 |        0
6.08/6.13	c  5.9s |      10 |    35822 |    11361 |     4129      3 |        0 |        0
8.08/8.15	c  7.9s |      10 |    42755 |    14361 |     4129      4 |        0 |        0
9.79/9.81	c  9.6s |      11 |    47627 |    17144 |     4542      5 |        0 |        0
11.79/11.82	c 11.6s |      11 |    54627 |    20244 |     4542      6 |        0 |        0
13.78/13.86	c 13.6s |      11 |    58774 |    22744 |     4542      7 |        0 |        0
15.78/15.81	c 15.6s |      12 |    64089 |    25819 |     4997      8 |        0 |        0
17.78/17.84	c 17.6s |      12 |    71404 |    28519 |     4997      9 |        0 |        0
19.79/19.87	c 19.6s |      12 |    77425 |    31719 |     4997     10 |        0 |        0
21.89/21.92	c 21.7s |      12 |    81247 |    34219 |     4997     10 |        0 |        0
23.88/23.92	c 23.7s |      12 |    85632 |    36819 |     4997     11 |        0 |        0
25.29/25.40	c 25.2s |      13 |    89184 |    38832 |     5497     12 |        0 |        0
27.38/27.45	c 27.2s |      13 |    97058 |    41932 |     5497     12 |        0 |        0
29.38/29.46	c 29.2s |      13 |   102787 |    44932 |     5497     13 |        0 |        0
31.39/31.49	c 31.3s |      13 |   106409 |    47032 |     5497     14 |        0 |        0
33.48/33.51	c 33.3s |      13 |   111188 |    49932 |     5497     15 |        0 |        0
35.48/35.51	c 35.3s |      13 |   115677 |    52432 |     5497     15 |        0 |        0
37.48/37.53	c 37.3s |      13 |   119581 |    54532 |     5497     16 |        0 |        0
39.48/39.53	c 39.3s |      13 |   123326 |    56532 |     5497     16 |        0 |        0
41.38/41.44	c 41.2s |      14 |   126722 |    58352 |     6047     17 |        0 |        0
43.48/43.50	c 43.3s |      14 |   132097 |    60252 |     6047     17 |        0 |        0
45.48/45.57	c 45.3s |      14 |   135239 |    61952 |     6047     18 |        0 |        0
47.68/47.71	c 47.5s |      14 |   137901 |    63452 |     6047     18 |        0 |        0
49.78/49.80	c 49.6s |      14 |   141293 |    65352 |     6047     19 |        0 |        0
51.78/51.85	c 51.6s |      14 |   145289 |    67852 |     6047     19 |        0 |        0
53.78/53.85	c 53.6s |      14 |   149139 |    70152 |     6047     20 |        0 |        0
55.87/55.96	c 55.7s |      14 |   153367 |    72552 |     6047     20 |        0 |        0
57.88/57.96	c 57.7s |      14 |   155388 |    73752 |     6047     21 |        0 |        0
59.97/60.01	c 59.8s |      14 |   158653 |    75752 |     6047     21 |        0 |        0
61.97/62.03	c 61.8s |      14 |   161485 |    77452 |     6047     22 |        0 |        0
64.08/64.12	c 63.9s |      14 |   165420 |    79752 |     6047     22 |        0 |        0
66.08/66.17	c 65.9s |      14 |   168519 |    81652 |     6047     23 |        0 |        0
68.19/68.26	c 68.0s |      14 |   171618 |    83552 |     6047     23 |        0 |        0
70.27/70.34	c 70.1s |      14 |   174281 |    85052 |     6047     24 |        0 |        0
72.27/72.37	c 72.1s |      14 |   177257 |    86752 |     6047     24 |        0 |        0
73.38/73.46	c 73.2s |      15 |   178686 |    87632 |     6652     24 |        0 |        0
75.47/75.52	c 75.3s |      15 |   184370 |    89732 |     6652     25 |        0 |        0
77.47/77.54	c 77.3s |      15 |   186983 |    91632 |     6652     25 |        0 |        0
79.48/79.56	c 79.3s |      15 |   189662 |    93432 |     6652     25 |        0 |        0
81.58/81.63	c 81.4s |      15 |   193203 |    95532 |     6652     26 |        0 |        0
83.58/83.67	c 83.4s |      15 |   196017 |    97632 |     6652     26 |        0 |        0
85.67/85.70	c 85.5s |      15 |   198151 |    99132 |     6652     27 |        0 |        0
87.77/87.83	c 87.6s |      15 |   200413 |   100732 |     6652     27 |        0 |        0
89.88/89.95	c 89.7s |      15 |   202716 |   102332 |     6652     27 |        0 |        0
91.97/92.02	c 91.8s |      15 |   205979 |   104432 |     6652     28 |        0 |        0
94.07/94.19	c 94.0s |      15 |   207904 |   105832 |     6652     28 |        0 |        0
96.17/96.21	c 96.0s |      15 |   210319 |   107232 |     6652     29 |        0 |        0
98.17/98.26	c 98.0s |      15 |   213308 |   109032 |     6652     29 |        0 |        0
100.27/100.35	c  100s |      15 |   217087 |   111332 |     6652     30 |        0 |        0
102.38/102.41	c  102s |      15 |   219742 |   113032 |     6652     30 |        0 |        0
104.37/104.44	c  104s |      15 |   222307 |   114532 |     6652     30 |        0 |        0
106.37/106.47	c  106s |      15 |   224773 |   116132 |     6652     31 |        0 |        0
108.47/108.55	c  108s |      15 |   227526 |   117832 |     6652     31 |        0 |        0
110.67/110.74	c  110s |      15 |   230367 |   119532 |     6652     32 |        0 |        0
112.77/112.88	c  112s |      15 |   233152 |   121432 |     6652     32 |        0 |        0
114.87/114.95	c  114s |      15 |   235572 |   122732 |     6652     32 |        0 |        0
116.97/117.00	c  116s |      15 |   237575 |   124032 |     6652     33 |        0 |        0
118.96/119.04	c  118s |      15 |   240303 |   125632 |     6652     33 |        0 |        0
121.08/121.11	c  120s |      15 |   243617 |   127532 |     6652     33 |        0 |        0
123.18/123.21	c  122s |      15 |   247940 |   130232 |     6652     34 |        0 |        0
124.77/124.81	c  124s |      16 |   249845 |   131552 |     7318     34 |        0 |        0
126.86/126.91	c  126s |      16 |   254769 |   133652 |     7318     35 |        0 |        0
128.86/128.92	c  128s |      16 |   258259 |   135852 |     7318     35 |        0 |        0
130.87/130.94	c  130s |      16 |   261685 |   138252 |     7318     36 |        0 |        0
132.87/132.96	c  132s |      16 |   264793 |   140552 |     7318     36 |        0 |        0
134.97/135.05	c  134s |      16 |   266754 |   142152 |     7318     37 |        0 |        0
136.96/137.09	c  136s |      16 |   268819 |   143752 |     7318     37 |        0 |        0
139.07/139.12	c  138s |      16 |   270476 |   145052 |     7318     37 |        0 |        0
141.07/141.14	c  140s |      16 |   272356 |   146452 |     7318     38 |        0 |        0
143.16/143.23	c  143s |      16 |   274857 |   148352 |     7318     38 |        0 |        0
145.17/145.27	c  145s |      16 |   278105 |   150752 |     7318     38 |        0 |        0
147.26/147.33	c  147s |      16 |   280672 |   152652 |     7318     39 |        0 |        0
149.37/149.43	c  149s |      16 |   282981 |   154352 |     7318     39 |        0 |        0
151.37/151.47	c  151s |      16 |   284672 |   155652 |     7318     40 |        0 |        0
153.46/153.55	c  153s |      16 |   286335 |   156952 |     7318     40 |        0 |        0
155.46/155.58	c  155s |      16 |   288092 |   158252 |     7318     40 |        0 |        0
157.56/157.64	c  157s |      16 |   290984 |   160252 |     7318     41 |        0 |        0
159.57/159.65	c  159s |      16 |   292835 |   161652 |     7318     41 |        0 |        0
161.56/161.66	c  161s |      16 |   295306 |   163452 |     7318     41 |        0 |        0
163.66/163.76	c  163s |      16 |   297584 |   165152 |     7318     42 |        0 |        0
165.76/165.86	c  165s |      16 |   299976 |   166952 |     7318     42 |        0 |        0
167.86/167.96	c  167s |      16 |   302008 |   168552 |     7318     42 |        0 |        0
169.96/170.00	c  169s |      16 |   303585 |   169752 |     7318     43 |        0 |        0
171.96/172.05	c  171s |      16 |   305494 |   171052 |     7318     43 |        0 |        0
173.95/174.05	c  173s |      16 |   307653 |   172752 |     7318     43 |        0 |        0
175.97/176.10	c  175s |      16 |   309735 |   174252 |     7318     44 |        0 |        0
178.06/178.18	c  177s |      16 |   313340 |   176252 |     7318     44 |        0 |        0
180.25/180.35	c  180s |      16 |   315516 |   177752 |     7318     44 |        0 |        0
182.36/182.44	c  182s |      16 |   317674 |   179252 |     7318     45 |        0 |        0
184.46/184.56	c  184s |      16 |   320001 |   180752 |     7318     45 |        0 |        0
186.55/186.61	c  186s |      16 |   321947 |   182052 |     7318     45 |        0 |        0
188.65/188.75	c  188s |      16 |   323428 |   183152 |     7318     46 |        0 |        0
190.76/190.86	c  190s |      16 |   325164 |   184452 |     7318     46 |        0 |        0
192.76/192.88	c  192s |      16 |   330365 |   188052 |     7318     47 |        0 |        0
194.86/194.94	c  194s |      16 |   335164 |   191852 |     7318     47 |        0 |        0
196.87/196.94	c  196s |      16 |   339655 |   195252 |     7318     48 |        0 |        0
198.06/198.11	c  197s |      17 |   342639 |   197432 |     8050     48 |        0 |        0
200.06/200.11	c  199s |      17 |   348942 |   200832 |     8050     49 |        0 |        0
202.06/202.11	c  201s |      17 |   352630 |   203532 |     8050     50 |        0 |        0
204.06/204.14	c  203s |      17 |   355522 |   205832 |     8050     50 |        0 |        0
206.06/206.17	c  205s |      17 |   358719 |   208232 |     8050     51 |        0 |        0
208.16/208.20	c  207s |      17 |   363734 |   211932 |     8050     51 |        0 |        0
210.06/210.20	c  209s |      17 |   368321 |   215432 |     8050     52 |        0 |        0
212.15/212.22	c  211s |      17 |   371545 |   217832 |     8050     53 |        0 |        0
214.15/214.23	c  214s |      17 |   375561 |   220832 |     8050     53 |        0 |        0
216.25/216.30	c  216s |      17 |   378819 |   223332 |     8050     54 |        0 |        0
218.25/218.33	c  218s |      17 |   381796 |   225732 |     8050     54 |        0 |        0
220.35/220.42	c  220s |      17 |   384340 |   227732 |     8050     55 |        0 |        0
222.35/222.47	c  222s |      17 |   387383 |   230132 |     8050     55 |        0 |        0
224.36/224.48	c  224s |      17 |   389976 |   232232 |     8050     55 |        0 |        0
226.45/226.58	c  226s |      17 |   392743 |   234432 |     8050     56 |        0 |        0
228.55/228.64	c  228s |      17 |   395444 |   236532 |     8050     56 |        0 |        0
230.66/230.72	c  230s |      17 |   397575 |   238232 |     8050     57 |        0 |        0
232.65/232.76	c  232s |      17 |   400380 |   240432 |     8050     57 |        0 |        0
234.75/234.89	c  234s |      17 |   403053 |   242432 |     8050     58 |        0 |        0
236.85/236.95	c  236s |      17 |   406219 |   244732 |     8050     58 |        0 |        0
238.85/238.95	c  238s |      17 |   408866 |   246532 |     8050     58 |        0 |        0
240.86/240.96	c  240s |      17 |   411109 |   248132 |     8050     59 |        0 |        0
242.85/242.98	c  242s |      17 |   413783 |   250232 |     8050     59 |        0 |        0
244.95/245.02	c  244s |      17 |   415921 |   251932 |     8050     59 |        0 |        0
246.95/247.06	c  246s |      17 |   418272 |   253632 |     8050     60 |        0 |        0
249.04/249.15	c  248s |      17 |   421828 |   256532 |     8050     60 |        0 |        0
251.04/251.16	c  250s |      17 |   424443 |   258732 |     8050     61 |        0 |        0
253.05/253.17	c  252s |      17 |   427434 |   261132 |     8050     61 |        0 |        0
255.16/255.22	c  254s |      17 |   429964 |   263232 |     8050     62 |        0 |        0
257.15/257.28	c  257s |      17 |   432171 |   265032 |     8050     62 |        0 |        0
259.25/259.34	c  259s |      17 |   434329 |   266732 |     8050     62 |        0 |        0
261.25/261.34	c  261s |      17 |   437800 |   269432 |     8050     63 |        0 |        0
263.35/263.40	c  263s |      17 |   440545 |   271632 |     8050     63 |        0 |        0
265.35/265.48	c  265s |      17 |   442814 |   273432 |     8050     64 |        0 |        0
267.54/267.62	c  267s |      17 |   444718 |   275032 |     8050     64 |        0 |        0
269.64/269.76	c  269s |      17 |   446690 |   276632 |     8050     64 |        0 |        0
271.75/271.81	c  271s |      17 |   451023 |   279932 |     8050     65 |        0 |        0
273.74/273.82	c  273s |      17 |   454200 |   282232 |     8050     66 |        0 |        0
275.84/275.96	c  275s |      17 |   457054 |   284232 |     8050     66 |        0 |        0
277.84/277.96	c  277s |      17 |   459146 |   285832 |     8050     66 |        0 |        0
279.95/280.09	c  279s |      17 |   461459 |   287532 |     8050     67 |        0 |        0
282.24/282.30	c  282s |      17 |   463540 |   289132 |     8050     67 |        0 |        0
284.24/284.37	c  284s |      17 |   466023 |   290832 |     8050     67 |        0 |        0
286.34/286.45	c  286s |      17 |   468485 |   292732 |     8050     68 |        0 |        0
288.35/288.49	c  288s |      17 |   470316 |   294132 |     8050     68 |        0 |        0
290.45/290.60	c  290s |      17 |   472578 |   295832 |     8855     68 |        0 |        0
291.14/291.24	c  291s |      18 |   473077 |   296252 |     8855     68 |        0 |        0
293.24/293.34	c  293s |      18 |   477281 |   298152 |     8855     69 |        0 |        0
295.34/295.40	c  295s |      18 |   479980 |   300152 |     8855     69 |        0 |        0
297.44/297.50	c  297s |      18 |   481858 |   301552 |     8855     69 |        0 |        0
299.43/299.54	c  299s |      18 |   484446 |   303352 |     8855     70 |        0 |        0
301.54/301.64	c  301s |      18 |   487657 |   305452 |     8855     70 |        0 |        0
303.64/303.71	c  303s |      18 |   489773 |   306852 |     8855     70 |        0 |        0
305.75/305.81	c  305s |      18 |   492104 |   308552 |     8855     71 |        0 |        0
307.74/307.82	c  307s |      18 |   494617 |   310252 |     8855     71 |        0 |        0
309.73/309.85	c  309s |      18 |   497177 |   312052 |     8855     71 |        0 |        0
311.84/311.93	c  311s |      18 |   498950 |   313252 |     8855     72 |        0 |        0
313.94/314.08	c  313s |      18 |   501561 |   315052 |     8855     72 |        0 |        0
315.94/316.09	c  315s |      18 |   503288 |   316252 |     8855     72 |        0 |        0
318.13/318.22	c  317s |      18 |   505152 |   317452 |     8855     72 |        0 |        0
320.14/320.27	c  320s |      18 |   508063 |   319752 |     8855     73 |        0 |        0
322.13/322.29	c  322s |      18 |   511907 |   322152 |     8855     73 |        0 |        0
324.23/324.36	c  324s |      18 |   515456 |   324352 |     8855     74 |        0 |        0
326.24/326.37	c  326s |      18 |   519020 |   326652 |     8855     74 |        0 |        0
328.24/328.38	c  328s |      18 |   521603 |   328452 |     8855     74 |        0 |        0
330.33/330.46	c  330s |      18 |   525017 |   330952 |     8855     75 |        0 |        0
332.43/332.56	c  332s |      18 |   528410 |   333352 |     8855     75 |        0 |        0
334.44/334.57	c  334s |      18 |   531264 |   335252 |     8855     76 |        0 |        0
336.54/336.66	c  336s |      18 |   535066 |   337552 |     8855     76 |        0 |        0
338.53/338.68	c  338s |      18 |   538193 |   339552 |     8855     76 |        0 |        0
340.63/340.76	c  340s |      18 |   541594 |   341752 |     8855     77 |        0 |        0
342.64/342.79	c  342s |      18 |   544967 |   343852 |     8855     77 |        0 |        0
344.73/344.86	c  344s |      18 |   547600 |   345452 |     8855     78 |        0 |        0
346.83/346.99	c  346s |      18 |   550833 |   347552 |     8855     78 |        0 |        0
348.94/349.06	c  348s |      18 |   553822 |   349452 |     8855     78 |        0 |        0
350.94/351.08	c  350s |      18 |   555833 |   350952 |     8855     79 |        0 |        0
353.04/353.16	c  352s |      18 |   558262 |   352752 |     8855     79 |        0 |        0
355.13/355.21	c  354s |      18 |   560506 |   354452 |     8855     79 |        0 |        0
357.23/357.34	c  357s |      18 |   562827 |   356252 |     8855     80 |        0 |        0
359.23/359.36	c  359s |      18 |   566769 |   359152 |     8855     80 |        0 |        0
361.33/361.47	c  361s |      18 |   570733 |   362052 |     8855     81 |        0 |        0
363.43/363.54	c  363s |      18 |   573437 |   364152 |     8855     81 |        0 |        0
365.43/365.58	c  365s |      18 |   576029 |   366152 |     8855     81 |        0 |        0
367.53/367.67	c  367s |      18 |   578578 |   368052 |     8855     82 |        0 |        0
369.64/369.75	c  369s |      18 |   581653 |   370452 |     8855     82 |        0 |        0
371.74/371.82	c  371s |      18 |   584567 |   372752 |     8855     83 |        0 |        0
373.73/373.87	c  373s |      18 |   587673 |   375052 |     8855     83 |        0 |        0
375.83/375.92	c  375s |      18 |   589969 |   376852 |     8855     83 |        0 |        0
377.83/377.92	c  377s |      18 |   593589 |   379252 |     8855     84 |        0 |        0
379.83/379.93	c  379s |      18 |   597377 |   381952 |     8855     84 |        0 |        0
381.82/381.99	c  381s |      18 |   600611 |   384252 |     8855     85 |        0 |        0
383.94/384.08	c  383s |      18 |   604037 |   386552 |     8855     85 |        0 |        0
385.93/386.08	c  385s |      18 |   607838 |   389052 |     8855     86 |        0 |        0
388.03/388.13	c  387s |      18 |   611433 |   391152 |     8855     86 |        0 |        0
390.03/390.14	c  389s |      18 |   616296 |   394052 |     8855     87 |        0 |        0
392.02/392.19	c  391s |      18 |   620793 |   397052 |     8855     87 |        0 |        0
394.12/394.27	c  394s |      18 |   624191 |   399552 |     8855     88 |        0 |        0
396.22/396.33	c  396s |      18 |   627982 |   402152 |     8855     88 |        0 |        0
398.24/398.37	c  398s |      18 |   631033 |   404252 |     8855     88 |        0 |        0
400.34/400.46	c  400s |      18 |   633728 |   406252 |     8855     89 |        0 |        0
402.43/402.51	c  402s |      18 |   636251 |   408152 |     8855     89 |        0 |        0
404.52/404.64	c  404s |      18 |   638407 |   409852 |     8855     89 |        0 |        0
406.52/406.68	c  406s |      18 |   641187 |   411752 |     8855     90 |        0 |        0
408.63/408.74	c  408s |      18 |   644467 |   414152 |     8855     90 |        0 |        0
410.72/410.82	c  410s |      18 |   646713 |   415952 |     8855     91 |        0 |        0
412.72/412.88	c  412s |      18 |   649582 |   418052 |     8855     91 |        0 |        0
414.92/415.01	c  414s |      18 |   652110 |   419752 |     8855     91 |        0 |        0
416.93/417.08	c  416s |      18 |   654707 |   421452 |     8855     92 |        0 |        0
419.03/419.16	c  418s |      18 |   658074 |   423752 |     8855     92 |        0 |        0
421.12/421.27	c  421s |      18 |   660897 |   425652 |     8855     92 |        0 |        0
423.22/423.38	c  423s |      18 |   663317 |   427252 |     8855     93 |        0 |        0
425.42/425.52	c  425s |      18 |   666308 |   429152 |     8855     93 |        0 |        0
427.42/427.56	c  427s |      18 |   668014 |   430452 |     8855     93 |        0 |        0
429.52/429.60	c  429s |      18 |   670088 |   431852 |     8855     94 |        0 |        0
431.62/431.71	c  431s |      18 |   671534 |   432952 |     8855     94 |        0 |        0
433.62/433.71	c  433s |      18 |   673532 |   434352 |     8855     94 |        0 |        0
435.63/435.75	c  435s |      18 |   675336 |   435552 |     8855     94 |        0 |        0
437.72/437.81	c  437s |      18 |   676895 |   436652 |     8855     94 |        0 |        0
439.72/439.82	c  439s |      18 |   679335 |   438452 |     8855     95 |        0 |        0
441.71/441.84	c  441s |      18 |   682312 |   440852 |     8855     95 |        0 |        0
443.82/443.94	c  443s |      18 |   684671 |   442652 |     9741     95 |        0 |        0
445.92/446.01	c  445s |      18 |   686656 |   444252 |     9741     96 |        0 |        0
446.02/446.19	c  445s |      19 |   686957 |   444482 |     9741     96 |        0 |        0
448.11/448.22	c  447s |      19 |   691281 |   446182 |     9741     96 |        0 |        0
450.12/450.28	c  450s |      19 |   694242 |   448082 |     9741     96 |        0 |        0
452.22/452.35	c  452s |      19 |   696718 |   449982 |     9741     97 |        0 |        0
454.33/454.44	c  454s |      19 |   698829 |   451582 |     9741     97 |        0 |        0
456.42/456.53	c  456s |      19 |   701732 |   453682 |     9741     97 |        0 |        0
458.42/458.55	c  458s |      19 |   703701 |   455182 |     9741     98 |        0 |        0
460.42/460.55	c  460s |      19 |   705670 |   456782 |     9741     98 |        0 |        0
462.51/462.64	c  462s |      19 |   707136 |   457982 |     9741     98 |        0 |        0
464.71/464.80	c  464s |      19 |   708849 |   459282 |     9741     98 |        0 |        0
466.72/466.81	c  466s |      19 |   710032 |   460182 |     9741     98 |        0 |        0
468.71/468.88	c  468s |      19 |   711533 |   461382 |     9741     99 |        0 |        0
470.82/470.96	c  470s |      19 |   712740 |   462382 |     9741     99 |        0 |        0
472.91/473.04	c  472s |      19 |   714149 |   463482 |     9741     99 |        0 |        0
475.01/475.16	c  474s |      19 |   716441 |   465282 |     9741     99 |        0 |        0
477.11/477.26	c  477s |      19 |   718349 |   466882 |     9741    100 |        0 |        0
479.21/479.38	c  479s |      19 |   720282 |   468482 |     9741    100 |        0 |        0
481.31/481.47	c  481s |      19 |   721731 |   469682 |     9741    100 |        0 |        0
483.31/483.48	c  483s |      19 |   723300 |   470882 |     9741    100 |        0 |        0
485.61/485.71	c  485s |      19 |   724741 |   471982 |     9741    100 |        0 |        0
487.61/487.75	c  487s |      19 |   726937 |   473682 |     9741    101 |        0 |        0
489.71/489.86	c  489s |      19 |   728887 |   475182 |     9741    101 |        0 |        0
491.71/491.87	c  491s |      19 |   730350 |   476282 |     9741    101 |        0 |        0
493.82/493.98	c  493s |      19 |   732409 |   477682 |     9741    101 |        0 |        0
495.91/496.06	c  495s |      19 |   734604 |   479382 |     9741    102 |        0 |        0
497.91/498.08	c  497s |      19 |   736620 |   480982 |     9741    102 |        0 |        0
500.01/500.19	c  499s |      19 |   738715 |   482582 |     9741    102 |        0 |        0
502.11/502.28	c  502s |      19 |   740593 |   483982 |     9741    103 |        0 |        0
504.21/504.39	c  504s |      19 |   742590 |   485482 |     9741    103 |        0 |        0
506.30/506.41	c  506s |      19 |   744351 |   486782 |     9741    103 |        0 |        0
508.30/508.48	c  508s |      19 |   746265 |   488282 |     9741    103 |        0 |        0
510.41/510.51	c  510s |      19 |   748168 |   489682 |     9741    103 |        0 |        0
512.40/512.54	c  512s |      19 |   750144 |   491082 |     9741    104 |        0 |        0
514.41/514.55	c  514s |      19 |   752589 |   492882 |     9741    104 |        0 |        0
516.51/516.64	c  516s |      19 |   754207 |   494182 |     9741    104 |        0 |        0
518.60/518.72	c  518s |      19 |   755951 |   495482 |     9741    104 |        0 |        0
520.60/520.72	c  520s |      19 |   758251 |   497082 |     9741    105 |        0 |        0
522.61/522.75	c  522s |      19 |   760800 |   498982 |     9741    105 |        0 |        0
524.61/524.79	c  524s |      19 |   763346 |   500782 |     9741    105 |        0 |        0
526.70/526.80	c  526s |      19 |   765524 |   502282 |     9741    106 |        0 |        0
528.70/528.89	c  528s |      19 |   768570 |   504182 |     9741    106 |        0 |        0
530.81/530.98	c  530s |      19 |   770938 |   505782 |     9741    106 |        0 |        0
533.00/533.13	c  532s |      19 |   772887 |   507082 |     9741    106 |        0 |        0
535.10/535.26	c  535s |      19 |   775088 |   508582 |     9741    107 |        0 |        0
537.20/537.30	c  537s |      19 |   777174 |   509982 |     9741    107 |        0 |        0
539.41/539.50	c  539s |      19 |   778509 |   510982 |     9741    107 |        0 |        0
541.50/541.63	c  541s |      19 |   779652 |   511882 |     9741    107 |        0 |        0
543.60/543.73	c  543s |      19 |   780842 |   512782 |     9741    107 |        0 |        0
545.60/545.77	c  545s |      19 |   782043 |   513582 |     9741    108 |        0 |        0
547.70/547.82	c  547s |      19 |   786476 |   516982 |     9741    108 |        0 |        0
549.70/549.89	c  549s |      19 |   789999 |   519682 |     9741    109 |        0 |        0
551.80/551.93	c  551s |      19 |   792777 |   521882 |     9741    109 |        0 |        0
553.80/553.96	c  553s |      19 |   794702 |   523482 |     9741    109 |        0 |        0
555.90/556.05	c  555s |      19 |   797152 |   525382 |     9741    110 |        0 |        0
557.89/558.07	c  557s |      19 |   800664 |   528182 |     9741    110 |        0 |        0
560.00/560.12	c  559s |      19 |   803151 |   530182 |     9741    110 |        0 |        0
562.01/562.16	c  561s |      19 |   805805 |   532282 |     9741    111 |        0 |        0
564.10/564.21	c  563s |      19 |   809051 |   534882 |     9741    111 |        0 |        0
566.09/566.21	c  565s |      19 |   811250 |   536582 |     9741    112 |        0 |        0
568.09/568.27	c  568s |      19 |   813307 |   538282 |     9741    112 |        0 |        0
570.19/570.35	c  570s |      19 |   816094 |   540482 |     9741    112 |        0 |        0
572.19/572.37	c  572s |      19 |   818174 |   542082 |     9741    112 |        0 |        0
574.29/574.49	c  574s |      19 |   820507 |   543882 |     9741    113 |        0 |        0
576.50/576.64	c  576s |      19 |   822877 |   545782 |     9741    113 |        0 |        0
578.60/578.75	c  578s |      19 |   824879 |   547382 |     9741    113 |        0 |        0
580.70/580.85	c  580s |      19 |   826369 |   548582 |     9741    114 |        0 |        0
582.70/582.88	c  582s |      19 |   828768 |   550382 |     9741    114 |        0 |        0
584.79/584.92	c  584s |      19 |   830771 |   551982 |     9741    114 |        0 |        0
586.79/586.93	c  586s |      19 |   832865 |   553682 |     9741    114 |        0 |        0
588.79/588.98	c  588s |      19 |   835080 |   555482 |     9741    115 |        0 |        0
590.89/591.08	c  590s |      19 |   837463 |   557382 |     9741    115 |        0 |        0
593.09/593.20	c  592s |      19 |   839295 |   558882 |     9741    115 |        0 |        0
595.10/595.23	c  595s |      19 |   840897 |   560182 |     9741    116 |        0 |        0
597.09/597.27	c  597s |      19 |   843242 |   562082 |     9741    116 |        0 |        0
599.09/599.28	c  599s |      19 |   845132 |   563582 |     9741    116 |        0 |        0
601.29/601.46	c  601s |      19 |   846532 |   564782 |     9741    116 |        0 |        0
603.39/603.57	c  603s |      19 |   847983 |   565982 |     9741    117 |        0 |        0
605.49/605.61	c  605s |      19 |   849965 |   567582 |     9741    117 |        0 |        0
607.59/607.79	c  607s |      19 |   851666 |   568982 |     9741    117 |        0 |        0
609.69/609.84	c  609s |      19 |   853328 |   570282 |     9741    117 |        0 |        0
611.79/611.96	c  611s |      19 |   854686 |   571382 |     9741    118 |        0 |        0
613.79/613.99	c  613s |      19 |   857012 |   573182 |     9741    118 |        0 |        0
615.89/616.05	c  615s |      19 |   859561 |   575182 |     9741    118 |        0 |        0
617.89/618.07	c  617s |      19 |   862056 |   577082 |     9741    118 |        0 |        0
619.98/620.19	c  619s |      19 |   865483 |   579582 |     9741    119 |        0 |        0
621.99/622.19	c  621s |      19 |   868079 |   581382 |     9741    119 |        0 |        0
624.09/624.28	c  624s |      19 |   869891 |   582782 |     9741    119 |        0 |        0
626.18/626.34	c  626s |      19 |   872900 |   584682 |     9741    120 |        0 |        0
628.28/628.46	c  628s |      19 |   875418 |   586282 |     9741    120 |        0 |        0
630.30/630.47	c  630s |      19 |   877868 |   587982 |     9741    120 |        0 |        0
632.39/632.55	c  632s |      19 |   880186 |   589782 |     9741    121 |        0 |        0
634.48/634.63	c  634s |      19 |   882233 |   591482 |     9741    121 |        0 |        0
636.59/636.77	c  636s |      19 |   884176 |   592982 |     9741    121 |        0 |        0
638.69/638.83	c  638s |      19 |   885729 |   594282 |     9741    121 |        0 |        0
640.68/640.84	c  640s |      19 |   887633 |   595782 |     9741    122 |        0 |        0
642.68/642.84	c  642s |      19 |   889691 |   597382 |     9741    122 |        0 |        0
644.68/644.87	c  644s |      19 |   891540 |   598782 |     9741    122 |        0 |        0
646.79/646.95	c  646s |      19 |   892965 |   599982 |     9741    122 |        0 |        0
648.89/649.05	c  648s |      19 |   894527 |   601282 |     9741    123 |        0 |        0
650.88/651.09	c  650s |      19 |   896052 |   602482 |     9741    123 |        0 |        0
653.08/653.26	c  653s |      19 |   897524 |   603682 |     9741    123 |        0 |        0
655.19/655.33	c  655s |      19 |   899953 |   605582 |     9741    123 |        0 |        0
657.19/657.38	c  657s |      19 |   902259 |   607382 |     9741    124 |        0 |        0
659.28/659.43	c  659s |      19 |   905063 |   609582 |     9741    124 |        0 |        0
661.38/661.53	c  661s |      19 |   907111 |   611282 |     9741    124 |        0 |        0
663.48/663.63	c  663s |      19 |   908624 |   612582 |     9741    125 |        0 |        0
665.58/665.79	c  665s |      19 |   910239 |   613982 |     9741    125 |        0 |        0
667.68/667.82	c  667s |      19 |   911747 |   615182 |     9741    125 |        0 |        0
669.78/669.99	c  669s |      19 |   913134 |   616382 |     9741    125 |        0 |        0
671.99/672.13	c  671s |      19 |   914616 |   617582 |     9741    125 |        0 |        0
673.98/674.17	c  673s |      19 |   917048 |   619582 |     9741    126 |        0 |        0
676.07/676.22	c  675s |      19 |   918929 |   621182 |     9741    126 |        0 |        0
678.08/678.25	c  678s |      19 |   920640 |   622682 |     9741    126 |        0 |        0
680.18/680.33	c  680s |      19 |   922178 |   623982 |     9741    127 |        0 |        0
682.17/682.37	c  682s |      19 |   923961 |   625482 |     9741    127 |        0 |        0
684.27/684.43	c  684s |      19 |   925923 |   626882 |     9741    127 |        0 |        0
686.29/686.46	c  686s |      19 |   927683 |   628282 |     9741    127 |        0 |        0
688.38/688.55	c  688s |      19 |   929153 |   629482 |     9741    127 |        0 |        0
690.47/690.63	c  690s |      19 |   930674 |   630682 |     9741    128 |        0 |        0
692.58/692.79	c  692s |      19 |   932354 |   632082 |     9741    128 |        0 |        0
694.77/694.93	c  694s |      19 |   933794 |   633282 |     9741    128 |        0 |        0
696.78/696.97	c  696s |      19 |   935100 |   634382 |     9741    128 |        0 |        0
698.98/699.10	c  698s |      19 |   936261 |   635382 |     9741    129 |        0 |        0
700.98/701.16	c  700s |      19 |   937705 |   636482 |     9741    129 |        0 |        0
703.17/703.31	c  703s |      19 |   939408 |   637782 |     9741    129 |        0 |        0
705.27/705.41	c  705s |      19 |   940723 |   638882 |     9741    129 |        0 |        0
707.38/707.55	c  707s |      19 |   942088 |   639982 |     9741    129 |        0 |        0
709.38/709.56	c  709s |      19 |   943177 |   640882 |     9741    129 |        0 |        0
711.47/711.63	c  711s |      19 |   944621 |   641982 |     9741    130 |        0 |        0
713.48/713.68	c  713s |      19 |   947108 |   643582 |     9741    130 |        0 |        0
715.67/715.81	c  715s |      19 |   948530 |   644782 |     9741    130 |        0 |        0
717.67/717.83	c  717s |      19 |   951229 |   646982 |     9741    130 |        0 |        0
719.68/719.84	c  719s |      19 |   953420 |   648882 |     9741    131 |        0 |        0
721.77/721.94	c  721s |      19 |   955458 |   650582 |     9741    131 |        0 |        0
723.78/723.98	c  723s |      19 |   957102 |   651882 |     9741    131 |        0 |        0
725.98/726.11	c  725s |      19 |   958525 |   652982 |     9741    132 |        0 |        0
727.97/728.17	c  727s |      19 |   960209 |   654282 |     9741    132 |        0 |        0
730.07/730.24	c  730s |      19 |   961558 |   655382 |     9741    132 |        0 |        0
732.17/732.33	c  732s |      19 |   962911 |   656482 |     9741    132 |        0 |        0
734.17/734.39	c  734s |      19 |   965287 |   658082 |     9741    132 |        0 |        0
736.37/736.50	c  736s |      19 |   967168 |   659482 |     9741    133 |        0 |        0
738.37/738.55	c  738s |      19 |   969007 |   660782 |     9741    133 |        0 |        0
740.47/740.63	c  740s |      19 |   971357 |   662382 |    10716    133 |        0 |        0
742.48/742.64	c  742s |      19 |   973468 |   663882 |    10716    133 |        0 |        0
744.47/744.67	c  744s |      19 |   974992 |   664982 |    10716    133 |        0 |        0
746.47/746.69	c  746s |      19 |   976907 |   666382 |    10716    134 |        0 |        0
747.17/747.37	c  747s |      20 |   977526 |   666827 |    10716    134 |        0 |        0
749.27/749.45	c  749s |      20 |   980942 |   668027 |    10716    134 |        0 |        0
751.46/751.62	c  751s |      20 |   982378 |   669127 |    10716    134 |        0 |        0
753.57/753.70	c  753s |      20 |   984294 |   670527 |    10716    134 |        0 |        0
755.76/755.95	c  755s |      20 |   985857 |   671727 |    10716    135 |        0 |        0
757.96/758.10	c  757s |      20 |   987603 |   673027 |    10716    135 |        0 |        0
760.07/760.25	c  760s |      20 |   989535 |   674327 |    10716    135 |        0 |        0
762.17/762.34	c  762s |      20 |   990924 |   675427 |    10716    135 |        0 |        0
764.17/764.34	c  764s |      20 |   992433 |   676527 |    10716    135 |        0 |        0
766.17/766.39	c  766s |      20 |   993810 |   677527 |    10716    135 |        0 |        0
768.27/768.44	c  768s |      20 |   995002 |   678427 |    10716    136 |        0 |        0
770.26/770.45	c  770s |      20 |   996166 |   679327 |    10716    136 |        0 |        0
772.47/772.65	c  772s |      20 |   997738 |   680427 |    10716    136 |        0 |        0
774.67/774.80	c  774s |      20 |   999968 |   681827 |    10716    136 |        0 |        0
776.66/776.85	c  776s |      20 |  1002109 |   683327 |    10716    136 |        0 |        0
778.76/778.92	c  778s |      20 |  1003833 |   684727 |    10716    137 |        0 |        0
780.87/781.03	c  780s |      20 |  1005636 |   686227 |    10716    137 |        0 |        0
782.86/783.06	c  782s |      20 |  1007082 |   687427 |    10716    137 |        0 |        0
784.96/785.11	c  784s |      20 |  1008946 |   688827 |    10716    137 |        0 |        0
787.06/787.27	c  787s |      20 |  1010801 |   690027 |    10716    137 |        0 |        0
789.16/789.33	c  789s |      20 |  1011880 |   690927 |    10716    138 |        0 |        0
791.15/791.35	c  791s |      20 |  1013362 |   692027 |    10716    138 |        0 |        0
793.36/793.54	c  793s |      20 |  1014707 |   693127 |    10716    138 |        0 |        0
795.46/795.69	c  795s |      20 |  1015846 |   694027 |    10716    138 |        0 |        0
797.55/797.71	c  797s |      20 |  1017298 |   695127 |    10716    138 |        0 |        0
799.65/799.87	c  799s |      20 |  1018906 |   696327 |    10716    138 |        0 |        0
801.76/801.90	c  801s |      20 |  1020835 |   697627 |    10716    139 |        0 |        0
803.75/803.99	c  803s |      20 |  1022566 |   698827 |    10716    139 |        0 |        0
805.85/806.07	c  805s |      20 |  1024196 |   700027 |    10716    139 |        0 |        0
807.94/808.19	c  807s |      20 |  1026511 |   701527 |    10716    139 |        0 |        0
810.14/810.30	c  810s |      20 |  1028843 |   703027 |    10716    139 |        0 |        0
812.14/812.37	c  812s |      20 |  1031675 |   704627 |    10716    140 |        0 |        0
814.24/814.48	c  814s |      20 |  1034757 |   706427 |    10716    140 |        0 |        0
816.34/816.57	c  816s |      20 |  1037074 |   707927 |    10716    140 |        0 |        0
818.43/818.66	c  818s |      20 |  1039119 |   709327 |    10716    140 |        0 |        0
820.54/820.79	c  820s |      20 |  1041665 |   710827 |    10716    141 |        0 |        0
822.74/822.94	c  822s |      20 |  1044000 |   712327 |    10716    141 |        0 |        0
824.74/825.00	c  824s |      20 |  1046229 |   713727 |    10716    141 |        0 |        0
826.93/827.17	c  826s |      20 |  1048446 |   715227 |    10716    141 |        0 |        0
829.03/829.29	c  829s |      20 |  1050686 |   716527 |    10716    142 |        0 |        0
831.13/831.32	c  831s |      20 |  1053188 |   718027 |    10716    142 |        0 |        0
833.22/833.44	c  833s |      20 |  1055328 |   719327 |    10716    142 |        0 |        0
835.32/835.54	c  835s |      20 |  1057181 |   720527 |    10716    142 |        0 |        0
837.42/837.65	c  837s |      20 |  1058782 |   721627 |    10716    142 |        0 |        0
839.42/839.70	c  839s |      20 |  1060452 |   722627 |    10716    143 |        0 |        0
841.51/841.71	c  841s |      20 |  1062045 |   723727 |    10716    143 |        0 |        0
843.63/843.81	c  843s |      20 |  1063824 |   724927 |    10716    143 |        0 |        0
845.62/845.83	c  845s |      20 |  1065788 |   726227 |    10716    143 |        0 |        0
847.61/847.88	c  847s |      20 |  1067475 |   727427 |    10716    143 |        0 |        0
850.02/850.28	c  850s |      20 |  1068906 |   728427 |    10716    144 |        0 |        0
852.11/852.39	c  852s |      20 |  1070429 |   729527 |    10716    144 |        0 |        0
854.31/854.53	c  854s |      20 |  1072706 |   730927 |    10716    144 |        0 |        0
856.60/856.83	c  856s |      20 |  1074369 |   731927 |    10716    144 |        0 |        0
858.81/859.07	c  858s |      20 |  1075301 |   732627 |    10716    144 |        0 |        0
861.00/861.24	c  861s |      20 |  1076323 |   733327 |    10716    144 |        0 |        0
863.11/863.38	c  863s |      20 |  1077145 |   733927 |    10716    144 |        0 |        0
865.30/865.53	c  865s |      20 |  1077989 |   734527 |    10716    144 |        0 |        0
867.50/867.72	c  867s |      20 |  1078907 |   735127 |    10716    145 |        0 |        0
869.90/870.18	c  869s |      20 |  1079923 |   735827 |    10716    145 |        0 |        0
872.11/872.39	c  872s |      20 |  1080456 |   736227 |    10716    145 |        0 |        0
874.20/874.45	c  874s |      20 |  1081231 |   736827 |    10716    145 |        0 |        0
876.20/876.46	c  876s |      20 |  1081864 |   737327 |    10716    145 |        0 |        0
878.19/878.48	c  878s |      20 |  1084197 |   738727 |    10716    145 |        0 |        0
880.29/880.53	c  880s |      20 |  1086242 |   740027 |    10716    145 |        0 |        0
882.39/882.66	c  882s |      20 |  1087984 |   741227 |    10716    146 |        0 |        0
884.49/884.78	c  884s |      20 |  1090647 |   742827 |    10716    146 |        0 |        0
886.60/886.89	c  886s |      20 |  1092721 |   744227 |    10716    146 |        0 |        0
888.80/889.01	c  888s |      20 |  1095277 |   745727 |    10716    146 |        0 |        0
890.80/891.04	c  890s |      20 |  1097587 |   747127 |    10716    146 |        0 |        0
892.79/893.06	c  892s |      20 |  1099644 |   748327 |    10716    147 |        0 |        0
893.19/893.48	c  893s |      20 |  1100122 |   748613 |    10716    147 |        0 |        0
893.19/893.48	c #cpu_time = 890.903s
893.19/893.48	c #wall_clock_time = 893.254s
893.19/893.48	c #decision = 1100122
893.19/893.48	c #random_decision = 1992
893.19/893.48	c #conflict = 748613
893.19/893.48	c #restart = 20
893.19/893.48	c BCD2: found a new core of size 1830: cost of the new core is >=1
893.19/893.48	c lower bound updated to 1
893.19/893.49	c BCD2: 1 <= obj <= 793
893.19/893.49	c BCD2: #cores=1, #unrelaxed=0, #relaxed=1830, #hardened=0
893.19/893.49	c BCD2: #sat=1 #unsat=2 bias=2/3
893.19/893.49	c Solving starts ...
893.19/893.49	c ============================[ Search Statistics ]============================
893.19/893.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
893.19/893.49	c       |         |          |          |    Limit     GC | Var      | Constra 
893.19/893.49	c =============================================================================
893.19/893.49	c  0.0s |       0 |        0 |        0 |    10716      0 |        0 |        0
893.39/893.62	c  0.1s |       0 |     3738 |        4 |    10716      0 |        0 |        0
893.39/893.62	c #cpu_time = 0.123s
893.39/893.62	c #wall_clock_time = 0.124s
893.39/893.62	c #decision = 3738
893.39/893.62	c #random_decision = 15
893.39/893.62	c #conflict = 4
893.39/893.62	c #restart = 0
893.39/893.62	o 154
893.39/893.62	c BCD2: updating upper bound: 793 -> 153
893.39/893.63	c BCD2: 1 <= obj <= 153
893.39/893.63	c BCD2: #cores=1, #unrelaxed=0, #relaxed=1830, #hardened=0
893.39/893.63	c BCD2: #sat=2 #unsat=2 bias=2/4
893.39/893.64	c Solving starts ...
893.39/893.64	c ============================[ Search Statistics ]============================
893.39/893.64	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
893.39/893.64	c       |         |          |          |    Limit     GC | Var      | Constra 
893.39/893.64	c =============================================================================
893.39/893.64	c  0.0s |       0 |        0 |        0 |    10716      0 |        0 |        2
893.49/893.76	c  0.1s |       0 |      514 |        9 |    10716      0 |        0 |        2
893.49/893.76	c #cpu_time = 0.123s
893.49/893.76	c #wall_clock_time = 0.123s
893.49/893.76	c #decision = 514
893.49/893.76	c #random_decision = 0
893.49/893.76	c #conflict = 9
893.49/893.76	c #restart = 0
893.49/893.76	o 71
893.49/893.77	c BCD2: hardening fixes 556 literals
893.49/893.77	c BCD2: updating upper bound: 153 -> 70
893.49/893.77	c BCD2: 1 <= obj <= 70
893.49/893.77	c BCD2: #cores=1, #unrelaxed=0, #relaxed=1274, #hardened=556
893.49/893.77	c BCD2: #sat=3 #unsat=2 bias=2/5
893.49/893.78	c Solving starts ...
893.49/893.78	c ============================[ Search Statistics ]============================
893.49/893.78	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
893.49/893.78	c       |         |          |          |    Limit     GC | Var      | Constra 
893.49/893.78	c =============================================================================
893.49/893.78	c  0.0s |       0 |        0 |        0 |    10716      0 |      556 |        4
893.69/893.99	c  0.2s |       1 |      377 |      100 |    10716      0 |      556 |        4
893.99/894.23	c  0.4s |       2 |      629 |      250 |    10716      0 |      556 |        4
894.39/894.66	c  0.9s |       3 |      950 |      475 |    10716      0 |      556 |        4
894.79/895.05	c  1.3s |       4 |     1559 |      813 |    10716      0 |      556 |        4
895.30/895.55	c  1.8s |       5 |     2348 |     1320 |    10716      0 |      556 |        4
895.69/895.95	c  2.2s |       5 |     3115 |     1621 |    10716      0 |      556 |        4
895.69/895.95	c #cpu_time = 2.157s
895.69/895.95	c #wall_clock_time = 2.162s
895.69/895.95	c #decision = 3115
895.69/895.95	c #random_decision = 3
895.69/895.95	c #conflict = 1621
895.69/895.95	c #restart = 5
895.69/895.95	o 16
895.69/895.95	c BCD2: hardening fixes 992 literals
895.69/895.95	c BCD2: updating upper bound: 70 -> 15
895.69/895.95	c BCD2: 1 <= obj <= 15
895.69/895.95	c BCD2: #cores=1, #unrelaxed=0, #relaxed=282, #hardened=1548
895.69/895.95	c BCD2: #sat=4 #unsat=2 bias=2/6
895.69/895.95	c Solving starts ...
895.69/895.95	c ============================[ Search Statistics ]============================
895.69/895.95	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
895.69/895.95	c       |         |          |          |    Limit     GC | Var      | Constra 
895.69/895.95	c =============================================================================
895.69/895.95	c  0.0s |       0 |        0 |        0 |    10716      0 |     1548 |        6
895.89/896.17	c  0.2s |       1 |      144 |      100 |    10716      0 |     1548 |        6
896.09/896.37	c  0.4s |       2 |      427 |      250 |    10716      0 |     1548 |        6
896.30/896.59	c  0.6s |       3 |      776 |      475 |    10716      0 |     1548 |        6
896.59/896.89	c  0.9s |       4 |     1230 |      813 |    10716      0 |     1548 |        6
897.09/897.30	c  1.3s |       5 |     2028 |     1320 |    10716      0 |     1548 |        6
897.59/897.86	c  1.9s |       6 |     3228 |     2081 |    10716      0 |     1548 |        6
898.39/898.69	c  2.7s |       7 |     4857 |     3223 |    10716      0 |     1548 |        6
899.79/900.03	c  4.1s |       8 |     7357 |     4936 |    10716      1 |     1548 |        6
901.29/901.57	c  5.6s |       9 |    11064 |     7506 |    10716      1 |     1548 |        6
902.59/902.80	c  6.8s |       9 |    13966 |     9431 |    10716      1 |     1548 |        6
902.59/902.80	c #cpu_time = 6.829s
902.59/902.80	c #wall_clock_time = 6.847s
902.59/902.80	c #decision = 13966
902.59/902.80	c #random_decision = 6
902.59/902.80	c #conflict = 9431
902.59/902.80	c #restart = 9
902.59/902.80	o 5
902.59/902.80	c BCD2: hardening fixes 204 literals
902.59/902.80	c BCD2: updating upper bound: 15 -> 4
902.59/902.80	c BCD2: 1 <= obj <= 4
902.59/902.80	c BCD2: #cores=1, #unrelaxed=0, #relaxed=78, #hardened=1752
902.59/902.80	c BCD2: #sat=5 #unsat=2 bias=2/7
902.59/902.80	c Solving starts ...
902.59/902.80	c ============================[ Search Statistics ]============================
902.59/902.80	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
902.59/902.80	c       |         |          |          |    Limit     GC | Var      | Constra 
902.59/902.80	c =============================================================================
902.59/902.80	c  0.0s |       0 |        0 |        0 |    10716      0 |     1752 |        8
902.59/902.89	c  0.1s |       1 |      170 |      100 |    10716      0 |     1752 |        8
902.79/903.08	c  0.3s |       2 |      423 |      250 |    10716      1 |     1752 |        8
903.00/903.21	c  0.4s |       3 |      789 |      475 |    10716      1 |     1752 |        8
903.09/903.39	c  0.6s |       4 |     1306 |      813 |    10716      1 |     1752 |        8
903.39/903.63	c  0.8s |       5 |     2043 |     1320 |    10716      1 |     1752 |        8
903.79/904.07	c  1.3s |       6 |     3198 |     2081 |    10716      1 |     1752 |        8
904.49/904.70	c  1.9s |       7 |     4907 |     3223 |    10716      1 |     1752 |        8
905.49/905.76	c  3.0s |       8 |     7401 |     4936 |    10716      1 |     1752 |        8
906.99/907.26	c  4.5s |       9 |    11356 |     7506 |    10716      2 |     1752 |        8
908.99/909.28	c  6.5s |       9 |    17043 |    11106 |    10716      2 |     1752 |        8
909.09/909.39	c  6.6s |      10 |    17453 |    11361 |    10716      2 |     1752 |        8
911.19/911.42	c  8.6s |      10 |    23804 |    15261 |    10716      3 |     1752 |        8
912.09/912.30	c  9.5s |      11 |    26780 |    17144 |    10716      3 |     1752 |        8
913.89/914.14	c 11.3s |      11 |    33101 |    21010 |    10716      4 |     1752 |        8
913.89/914.14	c #cpu_time = 11.313s
913.89/914.14	c #wall_clock_time = 11.342s
913.89/914.14	c #decision = 33101
913.89/914.14	c #random_decision = 63
913.89/914.14	c #conflict = 21010
913.89/914.14	c #restart = 11
913.89/914.14	o 1
913.89/914.14	s OPTIMUM FOUND
913.89/914.14	v -x1 -x2 -x3 x4 -x5 -x6 x7 -x8 -x9 -x10
913.89/914.14	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
913.89/914.14	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
913.89/914.14	v x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40
913.89/914.14	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
913.89/914.14	v x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
913.89/914.14	v -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
913.89/914.14	v x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
913.89/914.14	v -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
913.89/914.14	v x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
913.89/914.14	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110
913.89/914.14	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120
913.89/914.14	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130
913.89/914.14	v -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140
913.89/914.14	v -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150
913.89/914.14	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160
913.89/914.14	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170
913.89/914.14	v -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180
913.89/914.14	v -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
913.89/914.14	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200
913.89/914.14	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
913.89/914.14	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
913.89/914.14	v x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230
913.89/914.14	v -x231
913.89/914.14	c total CPU time = 911.740s
913.89/914.14	c total wall clock time = 914.144s

Verifier Data 

OK	1

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-4109782-1466344070/watcher-4109782-1466344070 -o /tmp/evaluation-result-4109782-1466344070/solver-4109782-1466344070 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466341813-849 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109782-1466344070.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.14 2.08 1.85 3/181 1966
/proc/meminfo: memFree=30548204/32872528 swapFree=8804/8804
[pid=1966] ppid=1963 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/1966/stat : 1966 (toysat) R 1963 1966 832 0 -1 4202496 811 0 0 0 0 0 0 0 20 0 4 0 36452957 246870016 1171 33554432000 4194304 16246674 140735450211360 140735450210784 4222282 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1966/statm: 60271 1176 441 2943 0 57165 0
[pid=1966/tid=1967] ppid=1963 vsize=253372 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1967/stat : 1967 (toysat) S 1963 1966 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36452957 259452928 1225 33554432000 4194304 16246674 140735450211360 140200080551152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1966/tid=1968] ppid=1963 vsize=257468 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1968/stat : 1968 (toysat) S 1963 1966 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452957 263647232 1241 33554432000 4194304 16246674 140735450211360 140200070061296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1966/tid=1969] ppid=1963 vsize=262588 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1969/stat : 1969 (toysat) S 1963 1966 832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36452957 268890112 1259 33554432000 4194304 16246674 140735450211360 140200059587760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.14 2.08 1.85 3/181 1966
/proc/meminfo: memFree=30548204/32872528 swapFree=8804/8804
[pid=1966] ppid=1963 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/1966/stat : 1966 (toysat) R 1963 1966 832 0 -1 4202496 24504 0 0 0 6 3 0 0 20 0 4 0 36452957 1247350784 24857 33554432000 4194304 16246674 140735450211360 140735450210784 12481124 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1966/statm: 304529 24860 618 2943 0 301423 0
[pid=1966/tid=1967] ppid=1963 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1967/stat : 1967 (toysat) S 1963 1966 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36452957 1247350784 24863 33554432000 4194304 16246674 140735450211360 140200080551152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1966/tid=1968] ppid=1963 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1968/stat : 1968 (toysat) S 1963 1966 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452957 1247350784 24866 33554432000 4194304 16246674 140735450211360 140200070061296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1966/tid=1969] ppid=1963 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1969/stat : 1969 (toysat) S 1963 1966 832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36452957 1247350784 24872 33554432000 4194304 16246674 140735450211360 140200059587760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200532 s]
/proc/loadavg: 2.14 2.08 1.85 3/181 1966
/proc/meminfo: memFree=30548204/32872528 swapFree=8804/8804
[pid=1966] ppid=1963 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/1966/stat : 1966 (toysat) R 1963 1966 832 0 -1 4202496 33824 0 0 0 15 4 0 0 20 0 4 0 36452957 1250496512 34131 33554432000 4194304 16246674 140735450211360 140735450210672 4572679 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1966/statm: 305297 34131 865 2943 0 302191 0
[pid=1966/tid=1967] ppid=1963 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1967/stat : 1967 (toysat) S 1963 1966 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36452957 1250496512 34131 33554432000 4194304 16246674 140735450211360 140200080551152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1966/tid=1968] ppid=1963 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1968/stat : 1968 (toysat) S 1963 1966 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452957 1250496512 34131 33554432000 4194304 16246674 140735450211360 140200070061296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1966/tid=1969] ppid=1963 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1969/stat : 1969 (toysat) S 1963 1966 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452957 1250496512 34131 33554432000 4194304 16246674 140735450211360 140200059587760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300496 s]
/proc/loadavg: 2.14 2.08 1.85 3/181 1966
/proc/meminfo: memFree=30548204/32872528 swapFree=8804/8804
[pid=1966] ppid=1963 vsize=1303108 CPUtime=0.29 cores=1,3,5,7
/proc/1966/stat : 1966 (toysat) R 1963 1966 832 0 -1 4202496 49962 0 0 0 23 6 0 0 20 0 4 0 36452957 1334382592 50269 33554432000 4194304 16246674 140735450211360 140735450210672 5661217 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1966/statm: 325777 50284 923 2943 0 322671 0
[pid=1966/tid=1967] ppid=1963 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1967/stat : 1967 (toysat) S 1963 1966 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36452957 1334382592 50289 33554432000 4194304 16246674 140735450211360 140200080551152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1966/tid=1968] ppid=1963 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1968/stat : 1968 (toysat) S 1963 1966 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452957 1334382592 50293 33554432000 4194304 16246674 140735450211360 140200070061296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1966/tid=1969] ppid=1963 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1969/stat : 1969 (toysat) S 1963 1966 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452957 1334382592 50297 33554432000 4194304 16246674 140735450211360 140200059587760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1303108

[startup+0.700422 s]
/proc/loadavg: 2.14 2.08 1.85 3/181 1966
/proc/meminfo: memFree=30548204/32872528 swapFree=8804/8804
[pid=1966] ppid=1963 vsize=1307204 CPUtime=0.69 cores=1,3,5,7
/proc/1966/stat : 1966 (toysat) R 1963 1966 832 0 -1 4202496 65656 0 0 0 61 8 0 0 20 0 4 0 36452957 1338576896 65963 33554432000 4194304 16246674 140735450211360 140735450210672 5822187 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1966/statm: 326801 65963 928 2943 0 323695 0
[pid=1966/tid=1967] ppid=1963 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1967/stat : 1967 (toysat) S 1963 1966 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36452957 1338576896 65963 33554432000 4194304 16246674 140735450211360 140200080551152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1966/tid=1968] ppid=1963 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1968/stat : 1968 (toysat) S 1963 1966 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452957 1338576896 65963 33554432000 4194304 16246674 140735450211360 140200070061296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1966/tid=1969] ppid=1963 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1969/stat : 1969 (toysat) S 1963 1966 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452957 1338576896 65963 33554432000 4194304 16246674 140735450211360 140200059587760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.50043 s]
/proc/loadavg: 2.14 2.08 1.85 3/185 1970
/proc/meminfo: memFree=29960612/32872528 swapFree=8804/8804
[pid=1966] ppid=1963 vsize=1307204 CPUtime=1.48 cores=1,3,5,7
/proc/1966/stat : 1966 (toysat) R 1963 1966 832 0 -1 4202496 153637 0 0 0 128 20 0 0 20 0 4 0 36452957 1338576896 153944 33554432000 4194304 16246674 140735450211360 140735450193280 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1966/statm: 326801 153944 931 2943 0 323695 0
[pid=1966/tid=1967] ppid=1963 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1967/stat : 1967 (toysat) S 1963 1966 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36452957 1338576896 153944 33554432000 4194304 16246674 140735450211360 140200080551152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1966/tid=1968] ppid=1963 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1968/stat : 1968 (toysat) S 1963 1966 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452957 1338576896 153944 33554432000 4194304 16246674 140735450211360 140200070061296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1966/tid=1969] ppid=1963 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1969/stat : 1969 (toysat) S 1963 1966 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452957 1338576896 153944 33554432000 4194304 16246674 140735450211360 140200059587760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1307204

[startup+3.10043 s]
/proc/loadavg: 2.14 2.08 1.85 3/185 1970
/proc/meminfo: memFree=29933084/32872528 swapFree=8804/8804
[pid=1966] ppid=1963 vsize=1307204 CPUtime=3.08 cores=1,3,5,7
/proc/1966/stat : 1966 (toysat) R 1963 1966 832 0 -1 4202496 153639 0 0 0 288 20 0 0 20 0 4 0 36452957 1338576896 153946 33554432000 4194304 16246674 140735450211360 140735450193280 13809229 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1966/statm: 326801 153946 933 2943 0 323695 0
[pid=1966/tid=1967] ppid=1963 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1967/stat : 1967 (toysat) S 1963 1966 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36452957 1338576896 153946 33554432000 4194304 16246674 140735450211360 140200080551152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1966/tid=1968] ppid=1963 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1968/stat : 1968 (toysat) S 1963 1966 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452957 1338576896 153946 33554432000 4194304 16246674 140735450211360 140200070061296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1966/tid=1969] ppid=1963 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1969/stat : 1969 (toysat) S 1963 1966 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452957 1338576896 153946 33554432000 4194304 16246674 140735450211360 140200059587760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30044 s]
/proc/loadavg: 2.13 2.08 1.85 3/185 1970
/proc/meminfo: memFree=29931152/32872528 swapFree=8804/8804
[pid=1966] ppid=1963 vsize=1310276 CPUtime=6.28 cores=1,3,5,7
/proc/1966/stat : 1966 (toysat) R 1963 1966 832 0 -1 4202496 154261 0 0 0 608 20 0 0 20 0 4 0 36452957 1341722624 154568 33554432000 4194304 16246674 140735450211360 140735450210536 5523192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1966/statm: 327569 154568 933 2943 0 324463 0
[pid=1966/tid=1967] ppid=1963 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1967/stat : 1967 (toysat) S 1963 1966 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36452957 1341722624 154568 33554432000 4194304 16246674 140735450211360 140200080551152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1966/tid=1968] ppid=1963 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1968/stat : 1968 (toysat) S 1963 1966 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452957 1341722624 154568 33554432000 4194304 16246674 140735450211360 140200070061296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1966/tid=1969] ppid=1963 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1969/stat : 1969 (toysat) S 1963 1966 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452957 1341722624 154568 33554432000 4194304 16246674 140735450211360 140200059587760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.20 2.10 1.86 3/185 1970
/proc/meminfo: memFree=29930688/32872528 swapFree=8804/8804
[pid=1966] ppid=1963 vsize=1310276 CPUtime=12.69 cores=1,3,5,7
/proc/1966/stat : 1966 (toysat) R 1963 1966 832 0 -1 4202496 154407 0 0 0 1248 21 0 0 20 0 4 0 36452957 1341722624 154714 33554432000 4194304 16246674 140735450211360 140735450210536 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1966/statm: 327569 154714 933 2943 0 324463 0
[pid=1966/tid=1967] ppid=1963 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1967/stat : 1967 (toysat) S 1963 1966 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36452957 1341722624 154714 33554432000 4194304 16246674 140735450211360 140200080551152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1966/tid=1968] ppid=1963 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1968/stat : 1968 (toysat) S 1963 1966 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452957 1341722624 154714 33554432000 4194304 16246674 140735450211360 140200070061296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1966/tid=1969] ppid=1963 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1969/stat : 1969 (toysat) S 1963 1966 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452957 1341722624 154714 33554432000 4194304 16246674 140735450211360 140200059587760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.15 2.09 1.86 3/185 1970
/proc/meminfo: memFree=29930532/32872528 swapFree=8804/8804
[pid=1966] ppid=1963 vsize=1311300 CPUtime=25.48 cores=1,3,5,7
/proc/1966/stat : 1966 (toysat) R 1963 1966 832 0 -1 4202496 154663 0 0 0 2526 22 0 0 20 0 4 0 36452957 1342771200 154970 33554432000 4194304 16246674 140735450211360 140735450193280 5673006 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1966/statm: 327825 154970 933 2943 0 324719 0
[pid=1966/tid=1967] ppid=1963 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1967/stat : 1967 (toysat) S 1963 1966 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36452957 1342771200 154970 33554432000 4194304 16246674 140735450211360 140200080551152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1966/tid=1968] ppid=1963 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1968/stat : 1968 (toysat) S 1963 1966 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452957 1342771200 154970 33554432000 4194304 16246674 140735450211360 140200070061296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1966/tid=1969] ppid=1963 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1969/stat : 1969 (toysat) S 1963 1966 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452957 1342771200 154970 33554432000 4194304 16246674 140735450211360 140200059587760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.10 2.08 1.86 3/185 1971
/proc/meminfo: memFree=29925040/32872528 swapFree=8804/8804
[pid=1966] ppid=1963 vsize=1315396 CPUtime=51.08 cores=1,3,5,7
/proc/1966/stat : 1966 (toysat) R 1963 1966 832 0 -1 4202496 155606 0 0 0 5082 26 0 0 20 0 4 0 36452957 1346965504 155913 33554432000 4194304 16246674 140735450211360 140735450210536 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1966/statm: 328849 155913 933 2943 0 325743 0
[pid=1966/tid=1967] ppid=1963 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1967/stat : 1967 (toysat) S 1963 1966 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36452957 1346965504 155913 33554432000 4194304 16246674 140735450211360 140200080551152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1966/tid=1968] ppid=1963 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1968/stat : 1968 (toysat) S 1963 1966 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452957 1346965504 155913 33554432000 4194304 16246674 140735450211360 140200070061296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1966/tid=1969] ppid=1963 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1969/stat : 1969 (toysat) S 1963 1966 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452957 1346965504 155913 33554432000 4194304 16246674 140735450211360 140200059587760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.301 s]
/proc/loadavg: 2.04 2.07 1.87 3/185 1972
/proc/meminfo: memFree=29923068/32872528 swapFree=8804/8804
[pid=1966] ppid=1963 vsize=1315396 CPUtime=102.28 cores=1,3,5,7
/proc/1966/stat : 1966 (toysat) R 1963 1966 832 0 -1 4202496 155687 0 0 0 10194 34 0 0 20 0 4 0 36452957 1346965504 155994 33554432000 4194304 16246674 140735450211360 140735450210536 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1966/statm: 328849 155994 933 2943 0 325743 0
[pid=1966/tid=1967] ppid=1963 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1967/stat : 1967 (toysat) S 1963 1966 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36452957 1346965504 155994 33554432000 4194304 16246674 140735450211360 140200080551152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1966/tid=1968] ppid=1963 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1968/stat : 1968 (toysat) S 1963 1966 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452957 1346965504 155994 33554432000 4194304 16246674 140735450211360 140200070061296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1966/tid=1969] ppid=1963 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1969/stat : 1969 (toysat) S 1963 1966 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452957 1346965504 155994 33554432000 4194304 16246674 140735450211360 140200059587760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1315396


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

/proc/1966/statm: 329617 271143 934 2943 0 326511 0
[pid=1966/tid=1967] ppid=1963 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1967/stat : 1967 (toysat) S 1963 1966 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36452957 1350111232 271143 33554432000 4194304 16246674 140735450211360 140200080551152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1966/tid=1968] ppid=1963 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1968/stat : 1968 (toysat) S 1963 1966 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452957 1350111232 271143 33554432000 4194304 16246674 140735450211360 140200070061296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1966/tid=1969] ppid=1963 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1969/stat : 1969 (toysat) S 1963 1966 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452957 1350111232 271143 33554432000 4194304 16246674 140735450211360 140200059587760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (KiB) 1318468

[startup+822.3 s]
/proc/loadavg: 2.02 2.03 1.93 3/186 2306
/proc/meminfo: memFree=29443084/32872528 swapFree=8804/8804
[pid=1966] ppid=1963 vsize=1318468 CPUtime=822.13 cores=1,3,5,7
/proc/1966/stat : 1966 (toysat) R 1963 1966 832 0 -1 4202496 156491 0 0 0 82098 115 0 0 20 0 4 0 36452957 1350111232 271143 33554432000 4194304 16246674 140735450211360 140735450210456 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1966/statm: 329617 271143 934 2943 0 326511 0
[pid=1966/tid=1967] ppid=1963 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1967/stat : 1967 (toysat) S 1963 1966 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36452957 1350111232 271143 33554432000 4194304 16246674 140735450211360 140200080551152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1966/tid=1968] ppid=1963 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1968/stat : 1968 (toysat) S 1963 1966 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452957 1350111232 271143 33554432000 4194304 16246674 140735450211360 140200070061296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1966/tid=1969] ppid=1963 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1969/stat : 1969 (toysat) S 1963 1966 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452957 1350111232 271143 33554432000 4194304 16246674 140735450211360 140200059587760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 1318468

[startup+882.307 s]
/proc/loadavg: 2.08 2.04 1.93 3/185 2307
/proc/meminfo: memFree=29443532/32872528 swapFree=8804/8804
[pid=1966] ppid=1963 vsize=1318468 CPUtime=882.1 cores=1,3,5,7
/proc/1966/stat : 1966 (toysat) R 1963 1966 832 0 -1 4202496 156538 0 0 0 88084 126 0 0 20 0 4 0 36452957 1350111232 271144 33554432000 4194304 16246674 140735450211360 140735450210456 6057584 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1966/statm: 329617 271144 934 2943 0 326511 0
[pid=1966/tid=1967] ppid=1963 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1967/stat : 1967 (toysat) S 1963 1966 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36452957 1350111232 271144 33554432000 4194304 16246674 140735450211360 140200080551152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1966/tid=1968] ppid=1963 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1968/stat : 1968 (toysat) S 1963 1966 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452957 1350111232 271144 33554432000 4194304 16246674 140735450211360 140200070061296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1966/tid=1969] ppid=1963 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1969/stat : 1969 (toysat) S 1963 1966 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452957 1350111232 271144 33554432000 4194304 16246674 140735450211360 140200059587760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 1318468

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 1966 sig 9
??? kill -1966 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+896 s]
/proc/loadavg: 2.06 2.04 1.93 3/185 2307
/proc/meminfo: memFree=29443588/32872528 swapFree=8804/8804
[pid=1966] ppid=1963 vsize=1318468 CPUtime=895.79 cores=1,3,5,7
/proc/1966/stat : 1966 (toysat) R 1963 1966 832 0 -1 4202496 156549 0 0 0 89452 127 0 0 20 0 4 0 36452957 1350111232 271152 33554432000 4194304 16246674 140735450211360 140735450193280 13943729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1966/statm: 329617 271152 942 2943 0 326511 0
[pid=1966/tid=1967] ppid=1963 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1967/stat : 1967 (toysat) S 1963 1966 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36452957 1350111232 271152 33554432000 4194304 16246674 140735450211360 140200080551152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1966/tid=1968] ppid=1963 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1968/stat : 1968 (toysat) S 1963 1966 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452957 1350111232 271152 33554432000 4194304 16246674 140735450211360 140200070061296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1966/tid=1969] ppid=1963 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1969/stat : 1969 (toysat) S 1963 1966 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452957 1350111232 271152 33554432000 4194304 16246674 140735450211360 140200059587760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 895.79
Current children cumulated vsize (KiB) 1318468

[startup+902.4 s]
/proc/loadavg: 2.06 2.04 1.93 3/185 2307
/proc/meminfo: memFree=29443092/32872528 swapFree=8804/8804
[pid=1966] ppid=1963 vsize=1319492 CPUtime=902.19 cores=1,3,5,7
/proc/1966/stat : 1966 (toysat) R 1963 1966 832 0 -1 4202496 156805 0 0 0 90092 127 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140735450193280 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1966/statm: 329873 271408 942 2943 0 326767 0
[pid=1966/tid=1967] ppid=1963 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1967/stat : 1967 (toysat) S 1963 1966 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140200080551152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1966/tid=1968] ppid=1963 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1968/stat : 1968 (toysat) S 1963 1966 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140200070061296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1966/tid=1969] ppid=1963 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1969/stat : 1969 (toysat) S 1963 1966 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140200059587760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 902.19
Current children cumulated vsize (KiB) 1319492

[startup+908.8 s]
/proc/loadavg: 2.05 2.03 1.93 3/185 2307
/proc/meminfo: memFree=29442880/32872528 swapFree=8804/8804
[pid=1966] ppid=1963 vsize=1319492 CPUtime=908.59 cores=1,3,5,7
/proc/1966/stat : 1966 (toysat) R 1963 1966 832 0 -1 4202496 156805 0 0 0 90732 127 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140735450193280 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1966/statm: 329873 271408 942 2943 0 326767 0
[pid=1966/tid=1967] ppid=1963 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1967/stat : 1967 (toysat) S 1963 1966 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140200080551152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1966/tid=1968] ppid=1963 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1968/stat : 1968 (toysat) S 1963 1966 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140200070061296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1966/tid=1969] ppid=1963 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1969/stat : 1969 (toysat) S 1963 1966 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140200059587760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 908.59
Current children cumulated vsize (KiB) 1319492

[startup+912.007 s]
/proc/loadavg: 2.05 2.03 1.93 3/185 2307
/proc/meminfo: memFree=29443004/32872528 swapFree=8804/8804
[pid=1966] ppid=1963 vsize=1319492 CPUtime=911.79 cores=1,3,5,7
/proc/1966/stat : 1966 (toysat) R 1963 1966 832 0 -1 4202496 156805 0 0 0 91052 127 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140735450194360 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1966/statm: 329873 271408 942 2943 0 326767 0
[pid=1966/tid=1967] ppid=1963 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1967/stat : 1967 (toysat) S 1963 1966 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140200080551152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1966/tid=1968] ppid=1963 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1968/stat : 1968 (toysat) S 1963 1966 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140200070061296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1966/tid=1969] ppid=1963 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1969/stat : 1969 (toysat) S 1963 1966 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140200059587760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 911.79
Current children cumulated vsize (KiB) 1319492

[startup+912.8 s]
/proc/loadavg: 2.05 2.03 1.93 3/185 2307
/proc/meminfo: memFree=29443004/32872528 swapFree=8804/8804
[pid=1966] ppid=1963 vsize=1319492 CPUtime=912.59 cores=1,3,5,7
/proc/1966/stat : 1966 (toysat) R 1963 1966 832 0 -1 4202496 156805 0 0 0 91132 127 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140735450193280 5677667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1966/statm: 329873 271408 942 2943 0 326767 0
[pid=1966/tid=1967] ppid=1963 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1967/stat : 1967 (toysat) S 1963 1966 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140200080551152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1966/tid=1968] ppid=1963 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1968/stat : 1968 (toysat) S 1963 1966 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140200070061296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1966/tid=1969] ppid=1963 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1969/stat : 1969 (toysat) S 1963 1966 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140200059587760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 912.59
Current children cumulated vsize (KiB) 1319492

[startup+913.6 s]
/proc/loadavg: 2.05 2.03 1.93 3/185 2307
/proc/meminfo: memFree=29443004/32872528 swapFree=8804/8804
[pid=1966] ppid=1963 vsize=1319492 CPUtime=913.39 cores=1,3,5,7
/proc/1966/stat : 1966 (toysat) R 1963 1966 832 0 -1 4202496 156805 0 0 0 91212 127 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140735450193280 5673957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1966/statm: 329873 271408 942 2943 0 326767 0
[pid=1966/tid=1967] ppid=1963 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1967/stat : 1967 (toysat) S 1963 1966 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140200080551152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1966/tid=1968] ppid=1963 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1968/stat : 1968 (toysat) S 1963 1966 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140200070061296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1966/tid=1969] ppid=1963 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1969/stat : 1969 (toysat) S 1963 1966 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140200059587760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 913.39
Current children cumulated vsize (KiB) 1319492

[startup+914 s]
/proc/loadavg: 2.05 2.03 1.93 3/185 2307
/proc/meminfo: memFree=29443004/32872528 swapFree=8804/8804
[pid=1966] ppid=1963 vsize=1319492 CPUtime=913.79 cores=1,3,5,7
/proc/1966/stat : 1966 (toysat) R 1963 1966 832 0 -1 4202496 156805 0 0 0 91252 127 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140735450193280 13191915 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1966/statm: 329873 271408 942 2943 0 326767 0
[pid=1966/tid=1967] ppid=1963 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1967/stat : 1967 (toysat) S 1963 1966 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140200080551152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1966/tid=1968] ppid=1963 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1968/stat : 1968 (toysat) S 1963 1966 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140200070061296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1966/tid=1969] ppid=1963 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1969/stat : 1969 (toysat) S 1963 1966 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140200059587760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 913.79
Current children cumulated vsize (KiB) 1319492

[startup+914.1 s]
/proc/loadavg: 2.04 2.03 1.93 3/185 2307
/proc/meminfo: memFree=29443004/32872528 swapFree=8804/8804
[pid=1966] ppid=1963 vsize=1319492 CPUtime=913.89 cores=1,3,5,7
/proc/1966/stat : 1966 (toysat) R 1963 1966 832 0 -1 4202496 156805 0 0 0 91262 127 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140735450193280 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1966/statm: 329873 271408 942 2943 0 326767 0
[pid=1966/tid=1967] ppid=1963 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1967/stat : 1967 (toysat) S 1963 1966 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140200080551152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1966/tid=1968] ppid=1963 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1968/stat : 1968 (toysat) S 1963 1966 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140200070061296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1966/tid=1969] ppid=1963 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/1966/task/1969/stat : 1969 (toysat) S 1963 1966 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452957 1351159808 271408 33554432000 4194304 16246674 140735450211360 140200059587760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 913.89
Current children cumulated vsize (KiB) 1319492

Child status: 0
Real time (s): 914.154
CPU time (s): 913.945
CPU user time (s): 912.67
CPU system time (s): 1.27481
CPU usage (%): 99.9772
Max. virtual memory (cumulated for all children) (KiB): 1319492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 912.67
system time used= 1.27481
maximum resident set size= 1085636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156807
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= 104
involuntary context switches= 1148

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.24266 second user time and 3.62545 second system time

The end

Launcher Data 

Begin job on node133 at 2016-06-19 15:47:50
IDJOB=4109782
IDBENCH=78921
IDSOLVER=2553
FILE ID=node133/4109782-1466344070
RUNJOBID= node133-1466341813-849
PBS_JOBID= 19922020
Free space on /tmp= 71700 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900667195--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109782-1466344070/watcher-4109782-1466344070 -o /tmp/evaluation-result-4109782-1466344070/solver-4109782-1466344070 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466341813-849 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109782-1466344070.wbo

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

MD5SUM BENCH= 48e28404edc62027cab8cceeec6ce6b2
RANDOM SEED=1469293926

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.256
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		: 2667.256
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:        30548740 kB
Buffers:          164488 kB
Cached:           323656 kB
SwapCached:         1408 kB
Active:          1230348 kB
Inactive:         341580 kB
Active(anon):    1083704 kB
Inactive(anon):     2060 kB
Active(file):     146644 kB
Inactive(file):   339520 kB
Unevictable:        8804 kB
Mlocked:            8804 kB
SwapTotal:      67108856 kB
SwapFree:       67100048 kB
Dirty:             16344 kB
Writeback:             0 kB
AnonPages:       1091436 kB
Mapped:            11840 kB
Shmem:                 0 kB
Slab:             610636 kB
SReclaimable:      54108 kB
SUnreclaim:       556528 kB
KernelStack:        1536 kB
PageTables:         5844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1236972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71684 MiB
End job on node133 at 2016-06-19 16:03:05