Trace number 4110442

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 874.985 875.197

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900583053--soft-0-100-0.wbo
MD5SUM4a2d6bc5f020a6a42fcf2a39cec0be8f
Bench CategorySOFT-SMALLINT-LIN (only soft 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 benchmark32.42
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 constraints2707
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 135715
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135714
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 651
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-19T16:05:57+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-4110442-1466345157.wbo"]
0.00/0.01	c use --random-gen="2375574011 2714416026 2489034131 2937950 3337694148 2519203298 3320039465 529763834 730704310 2353850114 4145804083 2091457823 4110482694 3122406799 3160153485 2359672854 3252580554 308014618 1331493176 3393879513 2771528356 1840801633 1229322425 301123215 976447685 3505865423 1165926314 584376133 1936580635 470736915 4124414971 4244459607 4186180083 4037988065 1956042140 4029589893 3861536222 792994974 4052644428 1032461277 1931565793 1708768244 369970359 293584085 3764570556 2906379102 588546592 1538400863 999637376 2606866113 3769260852 1495776733 2977216213 538178715 4157879034 2166540414 2377429244 422781640 935531892 3271018758 451473512 3158964641 3945147648 1649803223 2116742250 103599427 2313383505 3170842615 1232228700 626927488 3717496871 835054597 1388034093 4146895215 4162184596 993593444 4247972183 2841778922 2213397006 2152959455 2256853682 1012112206 3883744266 655629491 2932333150 393072002 348551048 930755385 163986949 1757959318 2556601271 3995223252 1850850973 1636042167 3962433619 368735413 390329924 2304997979 3394651505 1175900413 4003676714 2443358285 2851305786 3336253887 887649034 1641095475 3026201449 2682241274 4292797317 3475589001 3159073918 908303731 2945666501 1220458837 2228085776 1339622646 424571579 1726685966 2264501740 3606856082 3067193990 2589081077 4080669630 625478882 3429824667 1408386507 622727914 2274888691 2791768788 4266780033 3558589222 4025017729 3093641858 3284336230 1658666534 3732830326 2459873673 2076186768 1502106305 2625594632 408008859 1503590491 978140754 3400552600 2502433908 1960932744 3029879433 4055749558 131479510 2041475293 4102709529 119847597 2589173691 4179451792 3242718291 815143003 645952028 2480800201 52004375 2680478297 1497175100 3577627654 2730617950 1725676590 3939502283 1467025153 2431902690 47316400 2785329333 108312718 1375144549 4149423341 223863585 2860437376 1615833061 541574318 2025282288 771476374 3780796139 2698637856 3591899964 3701546337 1893956401 3951531965 2167940992 3469107651 286334447 3924236508 3274291887 2214342038 3753626790 2257390534 279505356 1635956119 3384956805 2411189344 2936040268 3974083652 3745596321 3988167568 3289314549 744031591 1604870822 1496298861 3321569103 4294006416 2471656024 1233364625 2617507429 45025902 3164988727 2072255900 3199043809 2587834737 2604378570 3606259665 2152792662 3092506379 1488478449 213166650 1305619202 3321813184 752380191 1752741896 1291629541 3889847980 1074121612 1404518351 1952055146 4007541706 2973497376 3689603538 3772912769 2302792649 3847204632 85988235 828603103 207110531 2026715671 2813872857 707912071 1820217413 3442783060 287823907 913378988 164804519 888831123 2122398446 874667890 1982995097 1657105011 3857673808 2984873879 2907228865 3927017189 1130104819 255 362436" option to reproduce the execution
0.08/0.18	c #vars 231
0.08/0.18	c #constraints 2707
0.19/0.22	c BCD2: Hardening is enabled.
0.19/0.22	c BCD2: BiasedSearch is enabled.
0.19/0.22	c Solving starts ...
0.19/0.22	c ============================[ Search Statistics ]============================
0.19/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.22	c =============================================================================
0.29/0.44	c  0.0s |       0 |        0 |        0 |     1881      0 |        0 |        0
0.29/0.44	c  0.0s |       0 |     2718 |        0 |     1881      0 |        0 |        0
0.29/0.44	c #cpu_time = 0.018s
0.29/0.44	c #wall_clock_time = 0.018s
0.29/0.44	c #decision = 2718
0.29/0.44	c #random_decision = 14
0.29/0.44	c #conflict = 0
0.29/0.44	c #restart = 0
0.29/0.44	o 368
0.29/0.44	c BCD2: updating upper bound: 135714 -> 367
0.29/0.44	c BCD2: 0 <= obj <= 367
0.29/0.44	c BCD2: #cores=0, #unrelaxed=2707, #relaxed=0, #hardened=0
0.29/0.44	c BCD2: #sat=1 #unsat=1 bias=1/2
0.29/0.44	c Solving starts ...
0.29/0.44	c ============================[ Search Statistics ]============================
0.29/0.44	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.44	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.44	c =============================================================================
0.29/0.44	c  0.0s |       0 |        0 |        0 |     1881      0 |        0 |        0
0.29/0.44	c  0.0s |       1 |     2930 |      100 |     1881      0 |        0 |        0
0.29/0.44	c  0.1s |       2 |     5895 |      250 |     2070      0 |        0 |        0
0.29/0.44	c  0.1s |       3 |     8927 |      475 |     2277      0 |        0 |        0
0.29/0.56	c  0.3s |       4 |    12054 |      813 |     2505      0 |        0 |        0
0.78/0.86	c  0.6s |       5 |    15464 |     1320 |     2756      0 |        0 |        0
1.18/1.20	c  0.9s |       6 |    19188 |     2081 |     3336      0 |        0 |        0
1.69/1.79	c  1.5s |       7 |    23408 |     3223 |     3670      0 |        0 |        0
2.79/2.84	c  2.6s |       8 |    28424 |     4936 |     4038      0 |        0 |        0
4.49/4.54	c  4.3s |       9 |    34766 |     7506 |     4442      1 |        0 |        0
6.49/6.56	c  6.3s |       9 |    41444 |    10306 |     4442      2 |        0 |        0
7.29/7.34	c  7.1s |      10 |    43065 |    11361 |     4887      2 |        0 |        0
9.38/9.40	c  9.1s |      10 |    49404 |    13761 |     4887      3 |        0 |        0
11.48/11.59	c 11.3s |      10 |    52407 |    15861 |     4887      4 |        0 |        0
13.39/13.49	c 13.2s |      11 |    54237 |    17144 |     5376      4 |        0 |        0
15.59/15.62	c 15.4s |      11 |    59626 |    18844 |     5376      4 |        0 |        0
17.59/17.62	c 17.4s |      11 |    61516 |    20044 |     5376      4 |        0 |        0
19.79/19.80	c 19.5s |      11 |    63860 |    21544 |     5376      5 |        0 |        0
21.79/21.86	c 21.6s |      11 |    66100 |    23044 |     5376      5 |        0 |        0
23.88/23.97	c 23.7s |      11 |    68063 |    24244 |     5376      6 |        0 |        0
25.89/25.95	c 25.7s |      12 |    70465 |    25819 |     5914      6 |        0 |        0
27.88/27.98	c 27.7s |      12 |    74866 |    27019 |     5914      6 |        0 |        0
29.99/30.02	c 29.8s |      12 |    76736 |    28119 |     5914      6 |        0 |        0
31.98/32.02	c 31.8s |      12 |    79605 |    30119 |     5914      7 |        0 |        0
33.99/34.04	c 33.8s |      12 |    83967 |    33019 |     5914      7 |        0 |        0
35.99/36.04	c 35.8s |      12 |    86877 |    35019 |     5914      8 |        0 |        0
38.08/38.15	c 37.9s |      12 |    89218 |    36819 |     5914      8 |        0 |        0
40.08/40.18	c 39.9s |      12 |    91184 |    38319 |     5914      9 |        0 |        0
40.58/40.65	c 40.4s |      13 |    91893 |    38832 |     6506      9 |        0 |        0
42.58/42.67	c 42.4s |      13 |    96501 |    40232 |     6506      9 |        0 |        0
44.59/44.68	c 44.4s |      13 |    98511 |    41632 |     6506      9 |        0 |        0
46.68/46.72	c 46.5s |      13 |   100137 |    42732 |     6506     10 |        0 |        0
48.69/48.77	c 48.5s |      13 |   101778 |    43932 |     6506     10 |        0 |        0
50.68/50.78	c 50.5s |      13 |   104956 |    46032 |     6506     10 |        0 |        0
52.79/52.90	c 52.6s |      13 |   107583 |    47832 |     6506     11 |        0 |        0
54.88/54.91	c 54.6s |      13 |   110074 |    49432 |     6506     11 |        0 |        0
56.98/57.04	c 56.8s |      13 |   112919 |    51132 |     6506     11 |        0 |        0
59.08/59.13	c 58.9s |      13 |   114739 |    52532 |     6506     12 |        0 |        0
61.08/61.14	c 60.9s |      13 |   117118 |    54432 |     6506     12 |        0 |        0
63.08/63.18	c 62.9s |      13 |   118994 |    55932 |     6506     12 |        0 |        0
65.09/65.19	c 64.9s |      13 |   120219 |    56932 |     6506     13 |        0 |        0
66.88/66.95	c 66.7s |      14 |   121958 |    58352 |     7157     13 |        0 |        0
69.08/69.14	c 68.9s |      14 |   126659 |    59752 |     7157     13 |        0 |        0
71.18/71.23	c 71.0s |      14 |   128705 |    61052 |     7157     13 |        0 |        0
73.18/73.27	c 73.0s |      14 |   130204 |    62052 |     7157     14 |        0 |        0
75.28/75.37	c 75.1s |      14 |   132595 |    63752 |     7157     14 |        0 |        0
77.38/77.42	c 77.2s |      14 |   135209 |    65552 |     7157     14 |        0 |        0
79.38/79.44	c 79.2s |      14 |   136865 |    66852 |     7157     15 |        0 |        0
81.37/81.49	c 81.2s |      14 |   139741 |    68552 |     7157     15 |        0 |        0
83.47/83.56	c 83.3s |      14 |   142008 |    70052 |     7157     15 |        0 |        0
85.58/85.69	c 85.4s |      14 |   143846 |    71252 |     7157     15 |        0 |        0
87.67/87.74	c 87.5s |      14 |   145474 |    72352 |     7157     16 |        0 |        0
89.87/89.92	c 89.7s |      14 |   147435 |    73652 |     7157     16 |        0 |        0
91.87/91.98	c 91.7s |      14 |   149477 |    74852 |     7157     16 |        0 |        0
93.97/94.04	c 93.8s |      14 |   151305 |    76052 |     7157     16 |        0 |        0
96.17/96.20	c 95.9s |      14 |   152839 |    77152 |     7157     17 |        0 |        0
98.28/98.38	c 98.1s |      14 |   154238 |    78152 |     7157     17 |        0 |        0
100.38/100.42	c  100s |      14 |   155770 |    79252 |     7157     17 |        0 |        0
102.48/102.58	c  102s |      14 |   157241 |    80152 |     7157     17 |        0 |        0
104.68/104.71	c  104s |      14 |   158703 |    81152 |     7157     17 |        0 |        0
106.88/106.93	c  106s |      14 |   159990 |    82052 |     7157     18 |        0 |        0
108.97/109.04	c  108s |      14 |   161473 |    83052 |     7157     18 |        0 |        0
111.17/111.20	c  110s |      14 |   162734 |    83952 |     7157     18 |        0 |        0
113.17/113.24	c  112s |      14 |   163815 |    84652 |     7157     18 |        0 |        0
115.27/115.31	c  115s |      14 |   165136 |    85552 |     7157     18 |        0 |        0
117.37/117.41	c  117s |      14 |   166966 |    86752 |     7157     19 |        0 |        0
118.27/118.36	c  118s |      15 |   168346 |    87632 |     7873     19 |        0 |        0
120.37/120.40	c  120s |      15 |   173523 |    89032 |     7873     19 |        0 |        0
122.38/122.48	c  122s |      15 |   175984 |    90632 |     7873     19 |        0 |        0
124.58/124.64	c  124s |      15 |   177836 |    91832 |     7873     19 |        0 |        0
126.67/126.73	c  126s |      15 |   179898 |    93132 |     7873     20 |        0 |        0
128.67/128.76	c  128s |      15 |   181935 |    94232 |     7873     20 |        0 |        0
130.77/130.84	c  130s |      15 |   183553 |    95232 |     7873     20 |        0 |        0
132.86/132.99	c  132s |      15 |   185143 |    96232 |     7873     20 |        0 |        0
134.97/135.06	c  134s |      15 |   186642 |    97132 |     7873     20 |        0 |        0
137.07/137.12	c  136s |      15 |   188036 |    97932 |     7873     21 |        0 |        0
139.16/139.21	c  138s |      15 |   189402 |    98832 |     7873     21 |        0 |        0
141.17/141.22	c  140s |      15 |   192147 |   100532 |     7873     21 |        0 |        0
143.18/143.26	c  142s |      15 |   195261 |   102832 |     7873     22 |        0 |        0
145.27/145.39	c  145s |      15 |   197571 |   104732 |     7873     22 |        0 |        0
147.36/147.44	c  147s |      15 |   199930 |   106632 |     7873     22 |        0 |        0
149.46/149.51	c  149s |      15 |   202276 |   108432 |     7873     23 |        0 |        0
151.46/151.53	c  151s |      15 |   204214 |   110032 |     7873     23 |        0 |        0
153.47/153.59	c  153s |      15 |   206501 |   111832 |     7873     23 |        0 |        0
155.57/155.69	c  155s |      15 |   208312 |   113332 |     7873     24 |        0 |        0
157.57/157.69	c  157s |      15 |   211140 |   115532 |     7873     24 |        0 |        0
159.67/159.78	c  159s |      15 |   213218 |   117232 |     7873     24 |        0 |        0
161.87/161.91	c  161s |      15 |   215187 |   118732 |     7873     25 |        0 |        0
163.86/163.98	c  163s |      15 |   217294 |   120332 |     7873     25 |        0 |        0
165.96/166.05	c  165s |      15 |   219829 |   122232 |     7873     25 |        0 |        0
167.96/168.07	c  167s |      15 |   221894 |   123832 |     7873     25 |        0 |        0
170.06/170.12	c  169s |      15 |   224506 |   125832 |     7873     26 |        0 |        0
172.06/172.13	c  171s |      15 |   226610 |   127532 |     7873     26 |        0 |        0
174.16/174.20	c  173s |      15 |   228327 |   128932 |     7873     26 |        0 |        0
176.17/176.28	c  176s |      15 |   230247 |   130432 |     7873     27 |        0 |        0
177.76/177.83	c  177s |      16 |   231653 |   131552 |     8661     27 |        0 |        0
179.76/179.88	c  179s |      16 |   235762 |   132652 |     8661     27 |        0 |        0
181.77/181.88	c  181s |      16 |   238423 |   134652 |     8661     27 |        0 |        0
183.96/184.01	c  183s |      16 |   240245 |   136052 |     8661     28 |        0 |        0
186.07/186.18	c  185s |      16 |   242071 |   137452 |     8661     28 |        0 |        0
188.27/188.34	c  188s |      16 |   243473 |   138552 |     8661     28 |        0 |        0
190.36/190.47	c  190s |      16 |   244420 |   139352 |     8661     28 |        0 |        0
192.46/192.52	c  192s |      16 |   245626 |   140352 |     8661     28 |        0 |        0
194.56/194.62	c  194s |      16 |   246912 |   141352 |     8661     29 |        0 |        0
196.66/196.75	c  196s |      16 |   248532 |   142652 |     8661     29 |        0 |        0
198.76/198.80	c  198s |      16 |   249466 |   143452 |     8661     29 |        0 |        0
200.76/200.84	c  200s |      16 |   251165 |   144752 |     8661     29 |        0 |        0
202.76/202.89	c  202s |      16 |   253346 |   146452 |     8661     29 |        0 |        0
204.86/204.95	c  204s |      16 |   254882 |   147752 |     8661     30 |        0 |        0
206.97/207.01	c  206s |      16 |   256628 |   149152 |     8661     30 |        0 |        0
208.96/209.03	c  208s |      16 |   258677 |   150752 |     8661     30 |        0 |        0
211.05/211.17	c  210s |      16 |   260684 |   152352 |     8661     30 |        0 |        0
213.26/213.33	c  213s |      16 |   262247 |   153652 |     8661     31 |        0 |        0
215.46/215.55	c  215s |      16 |   264040 |   155052 |     8661     31 |        0 |        0
217.55/217.67	c  217s |      16 |   265138 |   155952 |     8661     31 |        0 |        0
219.65/219.79	c  219s |      16 |   266675 |   157052 |     8661     31 |        0 |        0
221.96/222.00	c  221s |      16 |   268110 |   158152 |     8661     31 |        0 |        0
224.05/224.19	c  223s |      16 |   269593 |   159252 |     8661     32 |        0 |        0
226.26/226.34	c  226s |      16 |   270770 |   160252 |     8661     32 |        0 |        0
228.56/228.60	c  228s |      16 |   271870 |   161152 |     8661     32 |        0 |        0
230.55/230.69	c  230s |      16 |   273319 |   162152 |     8661     32 |        0 |        0
232.76/232.87	c  232s |      16 |   274831 |   163152 |     8661     32 |        0 |        0
234.96/235.08	c  234s |      16 |   275921 |   163952 |     8661     32 |        0 |        0
237.05/237.19	c  236s |      16 |   277200 |   164852 |     8661     33 |        0 |        0
239.35/239.44	c  239s |      16 |   278426 |   165752 |     8661     33 |        0 |        0
241.56/241.66	c  241s |      16 |   279699 |   166652 |     8661     33 |        0 |        0
243.65/243.75	c  243s |      16 |   280714 |   167452 |     8661     33 |        0 |        0
245.75/245.85	c  245s |      16 |   281751 |   168252 |     8661     33 |        0 |        0
247.85/247.94	c  247s |      16 |   282648 |   168952 |     8661     33 |        0 |        0
249.96/250.09	c  249s |      16 |   283724 |   169752 |     8661     34 |        0 |        0
252.06/252.16	c  251s |      16 |   284862 |   170552 |     8661     34 |        0 |        0
254.15/254.20	c  253s |      16 |   285766 |   171252 |     8661     34 |        0 |        0
256.15/256.21	c  255s |      16 |   286585 |   171852 |     8661     34 |        0 |        0
258.15/258.22	c  257s |      16 |   287418 |   172452 |     8661     34 |        0 |        0
260.15/260.23	c  259s |      16 |   289423 |   173752 |     8661     34 |        0 |        0
262.25/262.32	c  262s |      16 |   291284 |   175052 |     8661     34 |        0 |        0
264.26/264.38	c  264s |      16 |   292961 |   176152 |     8661     35 |        0 |        0
266.46/266.51	c  266s |      16 |   294334 |   177152 |     8661     35 |        0 |        0
268.45/268.53	c  268s |      16 |   295802 |   178152 |     8661     35 |        0 |        0
270.55/270.62	c  270s |      16 |   298050 |   179552 |     8661     35 |        0 |        0
272.65/272.76	c  272s |      16 |   300290 |   180952 |     8661     35 |        0 |        0
274.74/274.82	c  274s |      16 |   301784 |   181952 |     8661     36 |        0 |        0
276.94/277.05	c  276s |      16 |   303085 |   182852 |     8661     36 |        0 |        0
279.15/279.22	c  278s |      16 |   305255 |   184452 |     8661     36 |        0 |        0
281.24/281.37	c  281s |      16 |   307759 |   186152 |     8661     36 |        0 |        0
283.44/283.57	c  283s |      16 |   309519 |   187452 |     8661     37 |        0 |        0
285.54/285.60	c  285s |      16 |   311148 |   188752 |     8661     37 |        0 |        0
287.65/287.75	c  287s |      16 |   313336 |   190152 |     8661     37 |        0 |        0
289.74/289.81	c  289s |      16 |   315727 |   191852 |     8661     37 |        0 |        0
291.76/291.83	c  291s |      16 |   317665 |   193452 |     8661     38 |        0 |        0
293.85/293.92	c  293s |      16 |   320198 |   195452 |     8661     38 |        0 |        0
296.05/296.13	c  295s |      16 |   322215 |   196952 |     9528     38 |        0 |        0
296.74/296.85	c  296s |      17 |   322841 |   197432 |     9528     38 |        0 |        0
298.74/298.88	c  298s |      17 |   327935 |   199132 |     9528     39 |        0 |        0
300.84/300.92	c  300s |      17 |   330221 |   200732 |     9528     39 |        0 |        0
302.95/303.03	c  302s |      17 |   333393 |   203032 |     9528     39 |        0 |        0
304.95/305.04	c  304s |      17 |   335188 |   204332 |     9528     39 |        0 |        0
307.04/307.20	c  306s |      17 |   337072 |   205632 |     9528     40 |        0 |        0
309.14/309.26	c  308s |      17 |   339931 |   207532 |     9528     40 |        0 |        0
311.14/311.27	c  311s |      17 |   341913 |   208832 |     9528     40 |        0 |        0
313.34/313.44	c  313s |      17 |   344000 |   210232 |     9528     40 |        0 |        0
315.44/315.57	c  315s |      17 |   345837 |   211532 |     9528     41 |        0 |        0
317.54/317.63	c  317s |      17 |   347478 |   212732 |     9528     41 |        0 |        0
319.74/319.81	c  319s |      17 |   349062 |   213932 |     9528     41 |        0 |        0
321.74/321.90	c  321s |      17 |   350233 |   214832 |     9528     41 |        0 |        0
323.94/324.00	c  323s |      17 |   351717 |   215932 |     9528     41 |        0 |        0
326.04/326.13	c  325s |      17 |   353035 |   216932 |     9528     42 |        0 |        0
328.14/328.28	c  328s |      17 |   354402 |   218032 |     9528     42 |        0 |        0
330.14/330.29	c  330s |      17 |   355852 |   219132 |     9528     42 |        0 |        0
332.35/332.45	c  332s |      17 |   358121 |   220632 |     9528     42 |        0 |        0
334.44/334.56	c  334s |      17 |   359985 |   221732 |     9528     42 |        0 |        0
336.64/336.73	c  336s |      17 |   361528 |   222732 |     9528     42 |        0 |        0
338.64/338.76	c  338s |      17 |   362577 |   223532 |     9528     43 |        0 |        0
340.74/340.83	c  340s |      17 |   363453 |   224232 |     9528     43 |        0 |        0
342.73/342.84	c  342s |      17 |   365031 |   225432 |     9528     43 |        0 |        0
344.84/344.92	c  344s |      17 |   366889 |   226932 |     9528     43 |        0 |        0
346.94/347.01	c  346s |      17 |   369201 |   228632 |     9528     43 |        0 |        0
349.14/349.20	c  348s |      17 |   370874 |   229832 |     9528     44 |        0 |        0
351.14/351.24	c  350s |      17 |   372584 |   231032 |     9528     44 |        0 |        0
353.25/353.34	c  353s |      17 |   375364 |   232732 |     9528     44 |        0 |        0
355.34/355.41	c  355s |      17 |   378863 |   235132 |     9528     44 |        0 |        0
357.33/357.44	c  357s |      17 |   381566 |   237032 |     9528     45 |        0 |        0
359.44/359.58	c  359s |      17 |   383844 |   238732 |     9528     45 |        0 |        0
361.54/361.65	c  361s |      17 |   385703 |   240032 |     9528     45 |        0 |        0
363.63/363.76	c  363s |      17 |   387544 |   241332 |     9528     45 |        0 |        0
365.64/365.76	c  365s |      17 |   389319 |   242532 |     9528     46 |        0 |        0
367.73/367.86	c  367s |      17 |   390785 |   243632 |     9528     46 |        0 |        0
369.93/370.02	c  369s |      17 |   392361 |   244832 |     9528     46 |        0 |        0
371.94/372.05	c  371s |      17 |   393610 |   245832 |     9528     46 |        0 |        0
373.93/374.06	c  373s |      17 |   395017 |   246932 |     9528     46 |        0 |        0
376.03/376.18	c  375s |      17 |   396185 |   247832 |     9528     47 |        0 |        0
378.13/378.28	c  378s |      17 |   398220 |   249232 |     9528     47 |        0 |        0
380.33/380.40	c  380s |      17 |   399661 |   250232 |     9528     47 |        0 |        0
382.33/382.47	c  382s |      17 |   400935 |   251232 |     9528     47 |        0 |        0
384.53/384.60	c  384s |      17 |   402046 |   252032 |     9528     47 |        0 |        0
386.63/386.70	c  386s |      17 |   404306 |   253432 |     9528     47 |        0 |        0
388.63/388.74	c  388s |      17 |   406400 |   254932 |     9528     48 |        0 |        0
390.93/391.06	c  390s |      17 |   407781 |   256032 |     9528     48 |        0 |        0
393.13/393.22	c  392s |      17 |   409521 |   257232 |     9528     48 |        0 |        0
395.33/395.49	c  395s |      17 |   411235 |   258432 |     9528     48 |        0 |        0
397.53/397.69	c  397s |      17 |   413009 |   259632 |     9528     48 |        0 |        0
399.63/399.77	c  399s |      17 |   415426 |   260932 |     9528     49 |        0 |        0
401.83/401.93	c  401s |      17 |   417447 |   262332 |     9528     49 |        0 |        0
403.83/403.95	c  403s |      17 |   419051 |   263332 |     9528     49 |        0 |        0
406.04/406.12	c  405s |      17 |   420382 |   264332 |     9528     49 |        0 |        0
408.03/408.19	c  407s |      17 |   422186 |   265632 |     9528     49 |        0 |        0
410.03/410.19	c  409s |      17 |   424676 |   267232 |     9528     50 |        0 |        0
412.13/412.24	c  411s |      17 |   427251 |   268832 |     9528     50 |        0 |        0
414.12/414.27	c  414s |      17 |   428879 |   270032 |     9528     50 |        0 |        0
416.23/416.37	c  416s |      17 |   430320 |   271032 |     9528     50 |        0 |        0
418.43/418.55	c  418s |      17 |   431814 |   272032 |     9528     50 |        0 |        0
420.52/420.60	c  420s |      17 |   433275 |   272932 |     9528     51 |        0 |        0
422.53/422.61	c  422s |      17 |   435852 |   274832 |     9528     51 |        0 |        0
424.62/424.71	c  424s |      17 |   438878 |   276832 |     9528     51 |        0 |        0
426.62/426.79	c  426s |      17 |   440743 |   278232 |     9528     51 |        0 |        0
428.73/428.88	c  428s |      17 |   442393 |   279532 |     9528     52 |        0 |        0
430.72/430.89	c  430s |      17 |   443955 |   280732 |     9528     52 |        0 |        0
432.92/433.06	c  432s |      17 |   445707 |   281932 |     9528     52 |        0 |        0
435.03/435.16	c  434s |      17 |   447024 |   282832 |     9528     52 |        0 |        0
437.12/437.28	c  437s |      17 |   448854 |   284032 |     9528     52 |        0 |        0
439.23/439.32	c  439s |      17 |   450789 |   285232 |     9528     53 |        0 |        0
441.23/441.37	c  441s |      17 |   452749 |   286432 |     9528     53 |        0 |        0
443.43/443.50	c  443s |      17 |   454847 |   287732 |     9528     53 |        0 |        0
445.63/445.72	c  445s |      17 |   456404 |   288732 |     9528     53 |        0 |        0
447.63/447.77	c  447s |      17 |   457782 |   289632 |     9528     53 |        0 |        0
450.13/450.22	c  449s |      17 |   459359 |   290632 |     9528     54 |        0 |        0
452.22/452.31	c  452s |      17 |   461685 |   292032 |     9528     54 |        0 |        0
454.22/454.31	c  454s |      17 |   463989 |   293532 |     9528     54 |        0 |        0
456.22/456.37	c  456s |      17 |   465952 |   294932 |    10481     54 |        0 |        0
458.22/458.36	c  458s |      18 |   468066 |   296252 |    10481     54 |        0 |        0
460.32/460.41	c  460s |      18 |   472918 |   297752 |    10481     55 |        0 |        0
462.41/462.57	c  462s |      18 |   475739 |   299852 |    10481     55 |        0 |        0
464.51/464.65	c  464s |      18 |   478071 |   301652 |    10481     55 |        0 |        0
466.53/466.68	c  466s |      18 |   480077 |   302952 |    10481     55 |        0 |        0
468.62/468.75	c  468s |      18 |   481816 |   304152 |    10481     56 |        0 |        0
470.72/470.80	c  470s |      18 |   484422 |   306152 |    10481     56 |        0 |        0
472.82/472.90	c  472s |      18 |   486920 |   308152 |    10481     56 |        0 |        0
474.82/474.96	c  474s |      18 |   489073 |   309852 |    10481     56 |        0 |        0
476.81/476.97	c  476s |      18 |   490377 |   310952 |    10481     57 |        0 |        0
479.02/479.15	c  478s |      18 |   491853 |   312152 |    10481     57 |        0 |        0
481.12/481.22	c  480s |      18 |   495325 |   314652 |    10481     57 |        0 |        0
483.12/483.25	c  482s |      18 |   498239 |   316852 |    10481     57 |        0 |        0
485.22/485.32	c  485s |      18 |   500918 |   318652 |    10481     58 |        0 |        0
487.21/487.38	c  487s |      18 |   503541 |   320452 |    10481     58 |        0 |        0
489.41/489.52	c  489s |      18 |   505702 |   322052 |    10481     58 |        0 |        0
491.41/491.55	c  491s |      18 |   507831 |   323452 |    10481     58 |        0 |        0
493.42/493.58	c  493s |      18 |   510073 |   325052 |    10481     59 |        0 |        0
495.51/495.69	c  495s |      18 |   512270 |   326652 |    10481     59 |        0 |        0
497.61/497.77	c  497s |      18 |   514538 |   328152 |    10481     59 |        0 |        0
499.62/499.78	c  499s |      18 |   516965 |   329752 |    10481     59 |        0 |        0
501.71/501.85	c  501s |      18 |   519047 |   331152 |    10481     60 |        0 |        0
503.81/503.97	c  503s |      18 |   521221 |   332652 |    10481     60 |        0 |        0
506.01/506.11	c  505s |      18 |   523450 |   334252 |    10481     60 |        0 |        0
508.01/508.15	c  507s |      18 |   526067 |   336152 |    10481     60 |        0 |        0
510.12/510.26	c  510s |      18 |   527839 |   337452 |    10481     61 |        0 |        0
512.22/512.30	c  512s |      18 |   529661 |   338852 |    10481     61 |        0 |        0
514.21/514.34	c  514s |      18 |   532056 |   340452 |    10481     61 |        0 |        0
516.31/516.45	c  516s |      18 |   536009 |   343152 |    10481     61 |        0 |        0
518.41/518.52	c  518s |      18 |   538393 |   344852 |    10481     62 |        0 |        0
520.42/520.56	c  520s |      18 |   540908 |   346552 |    10481     62 |        0 |        0
522.51/522.67	c  522s |      18 |   543243 |   348152 |    10481     62 |        0 |        0
524.61/524.73	c  524s |      18 |   545640 |   349652 |    10481     62 |        0 |        0
526.71/526.83	c  526s |      18 |   547727 |   350952 |    10481     63 |        0 |        0
528.81/528.92	c  528s |      18 |   549958 |   352452 |    10481     63 |        0 |        0
530.81/530.99	c  530s |      18 |   552886 |   354152 |    10481     63 |        0 |        0
532.91/533.05	c  532s |      18 |   555197 |   355752 |    10481     63 |        0 |        0
534.90/535.08	c  534s |      18 |   556691 |   356952 |    10481     64 |        0 |        0
537.11/537.22	c  536s |      18 |   558579 |   358252 |    10481     64 |        0 |        0
539.21/539.31	c  539s |      18 |   561103 |   359952 |    10481     64 |        0 |        0
541.20/541.35	c  541s |      18 |   563408 |   361352 |    10481     64 |        0 |        0
543.31/543.45	c  543s |      18 |   564970 |   362452 |    10481     64 |        0 |        0
545.30/545.49	c  545s |      18 |   567316 |   363952 |    10481     65 |        0 |        0
547.40/547.55	c  547s |      18 |   569640 |   365652 |    10481     65 |        0 |        0
549.41/549.57	c  549s |      18 |   571579 |   366952 |    10481     65 |        0 |        0
551.60/551.72	c  551s |      18 |   574068 |   368552 |    10481     65 |        0 |        0
553.70/553.89	c  553s |      18 |   575880 |   369752 |    10481     65 |        0 |        0
555.91/556.05	c  555s |      18 |   577327 |   370752 |    10481     66 |        0 |        0
558.00/558.13	c  557s |      18 |   578693 |   371652 |    10481     66 |        0 |        0
560.11/560.22	c  559s |      18 |   580046 |   372552 |    10481     66 |        0 |        0
562.21/562.33	c  562s |      18 |   581693 |   373652 |    10481     66 |        0 |        0
564.30/564.44	c  564s |      18 |   583968 |   375252 |    10481     66 |        0 |        0
566.41/566.50	c  566s |      18 |   586285 |   376852 |    10481     67 |        0 |        0
568.40/568.54	c  568s |      18 |   588553 |   378552 |    10481     67 |        0 |        0
570.60/570.71	c  570s |      18 |   590051 |   379752 |    10481     67 |        0 |        0
572.70/572.84	c  572s |      18 |   591561 |   380852 |    10481     67 |        0 |        0
574.80/574.93	c  574s |      18 |   592864 |   381852 |    10481     67 |        0 |        0
576.80/576.99	c  576s |      18 |   594102 |   382852 |    10481     67 |        0 |        0
578.90/579.07	c  578s |      18 |   594802 |   383452 |    10481     68 |        0 |        0
581.00/581.16	c  580s |      18 |   596170 |   384452 |    10481     68 |        0 |        0
583.20/583.33	c  583s |      18 |   598424 |   385952 |    10481     68 |        0 |        0
585.31/585.49	c  585s |      18 |   600379 |   387352 |    10481     68 |        0 |        0
587.50/587.69	c  587s |      18 |   601880 |   388452 |    10481     68 |        0 |        0
589.81/589.94	c  589s |      18 |   603773 |   389852 |    10481     69 |        0 |        0
591.80/591.98	c  591s |      18 |   605597 |   391152 |    10481     69 |        0 |        0
593.89/594.08	c  593s |      18 |   607589 |   392552 |    10481     69 |        0 |        0
596.00/596.18	c  595s |      18 |   609112 |   393652 |    10481     69 |        0 |        0
598.10/598.23	c  597s |      18 |   610393 |   394552 |    10481     69 |        0 |        0
600.20/600.34	c  600s |      18 |   611566 |   395452 |    10481     69 |        0 |        0
602.20/602.39	c  602s |      18 |   613519 |   396752 |    10481     70 |        0 |        0
604.30/604.41	c  604s |      18 |   615417 |   398152 |    10481     70 |        0 |        0
606.30/606.48	c  606s |      18 |   617010 |   399252 |    10481     70 |        0 |        0
608.50/608.63	c  608s |      18 |   618378 |   400252 |    10481     70 |        0 |        0
610.71/610.84	c  610s |      18 |   619740 |   401252 |    10481     70 |        0 |        0
612.91/613.01	c  612s |      18 |   621035 |   402152 |    10481     70 |        0 |        0
615.11/615.25	c  614s |      18 |   622479 |   403152 |    10481     71 |        0 |        0
617.10/617.27	c  617s |      18 |   623822 |   404152 |    10481     71 |        0 |        0
619.19/619.39	c  619s |      18 |   624998 |   404952 |    10481     71 |        0 |        0
621.50/621.65	c  621s |      18 |   626061 |   405752 |    10481     71 |        0 |        0
623.69/623.84	c  623s |      18 |   626979 |   406452 |    10481     71 |        0 |        0
625.80/625.90	c  625s |      18 |   627880 |   407152 |    10481     71 |        0 |        0
627.89/628.03	c  627s |      18 |   628792 |   407752 |    10481     71 |        0 |        0
630.09/630.25	c  629s |      18 |   629975 |   408552 |    10481     71 |        0 |        0
632.29/632.46	c  632s |      18 |   630935 |   409252 |    10481     71 |        0 |        0
634.39/634.59	c  634s |      18 |   631996 |   409952 |    10481     72 |        0 |        0
636.49/636.69	c  636s |      18 |   633089 |   410652 |    10481     72 |        0 |        0
638.59/638.72	c  638s |      18 |   635510 |   412352 |    10481     72 |        0 |        0
640.60/640.79	c  640s |      18 |   637276 |   413752 |    10481     72 |        0 |        0
642.69/642.84	c  642s |      18 |   639299 |   415152 |    10481     72 |        0 |        0
644.89/645.03	c  644s |      18 |   641006 |   416352 |    10481     73 |        0 |        0
646.89/647.07	c  646s |      18 |   642733 |   417552 |    10481     73 |        0 |        0
648.99/649.10	c  648s |      18 |   644412 |   418752 |    10481     73 |        0 |        0
651.19/651.30	c  651s |      18 |   645907 |   419852 |    10481     73 |        0 |        0
653.19/653.33	c  653s |      18 |   647383 |   420852 |    10481     73 |        0 |        0
655.29/655.40	c  655s |      18 |   648724 |   421752 |    10481     73 |        0 |        0
657.59/657.79	c  657s |      18 |   650497 |   422952 |    10481     74 |        0 |        0
659.79/659.96	c  659s |      18 |   652407 |   424352 |    10481     74 |        0 |        0
661.89/662.08	c  661s |      18 |   653538 |   425152 |    10481     74 |        0 |        0
663.99/664.17	c  663s |      18 |   655040 |   426252 |    10481     74 |        0 |        0
665.98/666.17	c  665s |      18 |   656490 |   427252 |    10481     74 |        0 |        0
668.09/668.28	c  668s |      18 |   658337 |   428652 |    10481     74 |        0 |        0
670.19/670.35	c  670s |      18 |   660067 |   429952 |    10481     75 |        0 |        0
672.19/672.40	c  672s |      18 |   662039 |   431352 |    10481     75 |        0 |        0
674.29/674.44	c  674s |      18 |   664230 |   432752 |    10481     75 |        0 |        0
676.49/676.61	c  676s |      18 |   666092 |   433952 |    10481     75 |        0 |        0
678.59/678.79	c  678s |      18 |   667670 |   435052 |    10481     75 |        0 |        0
680.68/680.89	c  680s |      18 |   669110 |   436052 |    10481     75 |        0 |        0
682.79/682.98	c  682s |      18 |   670838 |   437252 |    10481     76 |        0 |        0
684.89/685.04	c  684s |      18 |   672410 |   438352 |    10481     76 |        0 |        0
686.98/687.18	c  686s |      18 |   673957 |   439452 |    10481     76 |        0 |        0
689.19/689.35	c  689s |      18 |   675627 |   440552 |    10481     76 |        0 |        0
691.39/691.52	c  691s |      18 |   677070 |   441552 |    11530     76 |        0 |        0
693.48/693.67	c  693s |      18 |   678531 |   442652 |    11530     76 |        0 |        0
695.68/695.89	c  695s |      18 |   679905 |   443652 |    11530     76 |        0 |        0
697.89/698.01	c  697s |      18 |   681086 |   444452 |    11530     77 |        0 |        0
697.89/698.08	c  697s |      19 |   681110 |   444482 |    11530     77 |        0 |        0
699.98/700.11	c  699s |      19 |   685225 |   445482 |    11530     77 |        0 |        0
701.99/702.15	c  701s |      19 |   686612 |   446482 |    11530     77 |        0 |        0
703.98/704.17	c  703s |      19 |   688070 |   447482 |    11530     77 |        0 |        0
706.18/706.32	c  706s |      19 |   689869 |   448782 |    11530     77 |        0 |        0
708.18/708.39	c  708s |      19 |   691025 |   449682 |    11530     77 |        0 |        0
710.28/710.49	c  710s |      19 |   692319 |   450582 |    11530     77 |        0 |        0
712.38/712.60	c  712s |      19 |   693765 |   451482 |    11530     78 |        0 |        0
714.58/714.78	c  714s |      19 |   695681 |   452782 |    11530     78 |        0 |        0
716.67/716.84	c  716s |      19 |   697142 |   453782 |    11530     78 |        0 |        0
718.78/718.93	c  718s |      19 |   698619 |   454682 |    11530     78 |        0 |        0
721.08/721.23	c  720s |      19 |   700170 |   455682 |    11530     78 |        0 |        0
723.27/723.41	c  723s |      19 |   701609 |   456582 |    11530     78 |        0 |        0
725.38/725.50	c  725s |      19 |   702856 |   457482 |    11530     78 |        0 |        0
727.47/727.63	c  727s |      19 |   704336 |   458482 |    11530     79 |        0 |        0
729.48/729.69	c  729s |      19 |   706983 |   460182 |    11530     79 |        0 |        0
731.77/731.94	c  731s |      19 |   708961 |   461582 |    11530     79 |        0 |        0
733.88/734.01	c  733s |      19 |   710587 |   462682 |    11530     79 |        0 |        0
735.87/736.03	c  735s |      19 |   712419 |   463882 |    11530     79 |        0 |        0
737.97/738.17	c  737s |      19 |   714148 |   464982 |    11530     79 |        0 |        0
740.07/740.26	c  739s |      19 |   715553 |   465882 |    11530     80 |        0 |        0
742.16/742.36	c  742s |      19 |   717146 |   466882 |    11530     80 |        0 |        0
744.37/744.54	c  744s |      19 |   718748 |   467882 |    11530     80 |        0 |        0
746.55/746.72	c  746s |      19 |   720102 |   468782 |    11530     80 |        0 |        0
748.56/748.72	c  748s |      19 |   721757 |   469882 |    11530     80 |        0 |        0
750.56/750.73	c  750s |      19 |   723590 |   471082 |    11530     80 |        0 |        0
752.66/752.83	c  752s |      19 |   725098 |   472082 |    11530     80 |        0 |        0
754.76/754.94	c  754s |      19 |   726017 |   472682 |    11530     81 |        0 |        0
756.86/757.02	c  756s |      19 |   727631 |   473882 |    11530     81 |        0 |        0
758.85/759.04	c  758s |      19 |   730004 |   475782 |    11530     81 |        0 |        0
760.95/761.13	c  760s |      19 |   731759 |   477182 |    11530     81 |        0 |        0
763.05/763.28	c  763s |      19 |   733394 |   478482 |    11530     81 |        0 |        0
765.15/765.36	c  765s |      19 |   734412 |   479282 |    11530     81 |        0 |        0
767.14/767.37	c  767s |      19 |   735426 |   479982 |    11530     82 |        0 |        0
769.35/769.54	c  769s |      19 |   737206 |   481082 |    11530     82 |        0 |        0
771.44/771.63	c  771s |      19 |   738579 |   482082 |    11530     82 |        0 |        0
773.74/773.95	c  773s |      19 |   739615 |   482882 |    11530     82 |        0 |        0
775.95/776.12	c  775s |      19 |   740788 |   483682 |    11530     82 |        0 |        0
778.04/778.24	c  777s |      19 |   742411 |   484682 |    11530     82 |        0 |        0
780.14/780.32	c  780s |      19 |   743834 |   485582 |    11530     82 |        0 |        0
782.34/782.54	c  782s |      19 |   745017 |   486482 |    11530     82 |        0 |        0
784.45/784.68	c  784s |      19 |   746127 |   487282 |    11530     83 |        0 |        0
786.54/786.80	c  786s |      19 |   747322 |   488082 |    11530     83 |        0 |        0
788.93/789.12	c  788s |      19 |   748487 |   488882 |    11530     83 |        0 |        0
791.04/791.25	c  790s |      19 |   750176 |   489882 |    11530     83 |        0 |        0
793.15/793.32	c  793s |      19 |   751547 |   490782 |    11530     83 |        0 |        0
795.34/795.54	c  795s |      19 |   752996 |   491682 |    11530     83 |        0 |        0
797.64/797.81	c  797s |      19 |   754189 |   492482 |    11530     83 |        0 |        0
799.84/800.03	c  799s |      19 |   755032 |   493182 |    11530     83 |        0 |        0
802.13/802.32	c  802s |      19 |   756140 |   493882 |    11530     84 |        0 |        0
804.13/804.35	c  804s |      19 |   757985 |   495082 |    11530     84 |        0 |        0
806.23/806.47	c  806s |      19 |   759691 |   496082 |    11530     84 |        0 |        0
808.42/808.67	c  808s |      19 |   761185 |   497082 |    11530     84 |        0 |        0
810.52/810.75	c  810s |      19 |   762911 |   498182 |    11530     84 |        0 |        0
812.53/812.78	c  812s |      19 |   764692 |   499282 |    11530     84 |        0 |        0
814.62/814.80	c  814s |      19 |   766010 |   500182 |    11530     84 |        0 |        0
816.82/817.05	c  816s |      19 |   767208 |   500982 |    11530     85 |        0 |        0
818.92/819.10	c  818s |      19 |   768629 |   501882 |    11530     85 |        0 |        0
821.02/821.29	c  821s |      19 |   770339 |   503082 |    11530     85 |        0 |        0
823.12/823.30	c  823s |      19 |   771721 |   504082 |    11530     85 |        0 |        0
825.22/825.42	c  825s |      19 |   773327 |   505082 |    11530     85 |        0 |        0
827.32/827.58	c  827s |      19 |   774970 |   506182 |    11530     85 |        0 |        0
829.52/829.76	c  829s |      19 |   776565 |   507282 |    11530     85 |        0 |        0
831.72/831.94	c  831s |      19 |   777693 |   508082 |    11530     85 |        0 |        0
833.82/834.09	c  833s |      19 |   778758 |   508882 |    11530     86 |        0 |        0
835.91/836.15	c  835s |      19 |   779826 |   509682 |    11530     86 |        0 |        0
838.01/838.25	c  837s |      19 |   780599 |   510282 |    11530     86 |        0 |        0
840.00/840.26	c  839s |      19 |   781549 |   510882 |    11530     86 |        0 |        0
842.10/842.31	c  842s |      19 |   782537 |   511482 |    11530     86 |        0 |        0
844.21/844.41	c  844s |      19 |   784189 |   512482 |    11530     86 |        0 |        0
846.20/846.44	c  846s |      19 |   786370 |   513782 |    11530     86 |        0 |        0
848.30/848.50	c  848s |      19 |   788325 |   514982 |    11530     86 |        0 |        0
850.40/850.65	c  850s |      19 |   789705 |   515882 |    11530     87 |        0 |        0
852.50/852.75	c  852s |      19 |   791167 |   516782 |    11530     87 |        0 |        0
854.60/854.80	c  854s |      19 |   792505 |   517682 |    11530     87 |        0 |        0
856.69/856.99	c  856s |      19 |   793660 |   518582 |    11530     87 |        0 |        0
858.90/859.16	c  858s |      19 |   794749 |   519382 |    11530     87 |        0 |        0
860.99/861.23	c  860s |      19 |   795898 |   520082 |    11530     87 |        0 |        0
863.19/863.41	c  863s |      19 |   797156 |   520882 |    11530     87 |        0 |        0
864.09/864.38	c  864s |      19 |   797573 |   521187 |    11530     87 |        0 |        0
864.09/864.38	c #cpu_time = 864.027s
864.09/864.38	c #wall_clock_time = 864.116s
864.09/864.38	c #decision = 797573
864.09/864.38	c #random_decision = 952
864.09/864.38	c #conflict = 521187
864.09/864.38	c #restart = 19
864.09/864.38	c BCD2: found a new core of size 2705: cost of the new core is >=1
864.09/864.38	c lower bound updated to 1
864.09/864.39	c BCD2: 1 <= obj <= 367
864.09/864.39	c BCD2: #cores=1, #unrelaxed=2, #relaxed=2705, #hardened=0
864.09/864.39	c BCD2: #sat=1 #unsat=2 bias=2/3
864.19/864.40	c Solving starts ...
864.19/864.40	c ============================[ Search Statistics ]============================
864.19/864.40	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
864.19/864.40	c       |         |          |          |    Limit     GC | Var      | Constra 
864.19/864.40	c =============================================================================
864.19/864.40	c  0.0s |       0 |        0 |        0 |    11530      0 |        0 |        0
864.60/864.84	c  0.4s |       0 |     2747 |        0 |    11530      1 |        0 |        0
864.60/864.84	c #cpu_time = 0.435s
864.60/864.84	c #wall_clock_time = 0.435s
864.60/864.84	c #decision = 2747
864.60/864.84	c #random_decision = 13
864.60/864.84	c #conflict = 0
864.60/864.84	c #restart = 0
864.60/864.84	o 31
864.60/864.84	c BCD2: hardening fixes 1908 literals
864.60/864.84	c BCD2: updating upper bound: 367 -> 30
864.60/864.85	c BCD2: 1 <= obj <= 30
864.60/864.85	c BCD2: #cores=1, #unrelaxed=0, #relaxed=799, #hardened=1908
864.60/864.85	c BCD2: #sat=2 #unsat=2 bias=2/4
864.60/864.85	c Solving starts ...
864.60/864.85	c ============================[ Search Statistics ]============================
864.60/864.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
864.60/864.85	c       |         |          |          |    Limit     GC | Var      | Constra 
864.60/864.85	c =============================================================================
864.60/864.85	c  0.0s |       0 |        0 |        0 |    11530      0 |     1908 |        2
865.09/865.30	c  0.4s |       1 |      735 |      100 |    11530      0 |     1908 |        2
865.39/865.65	c  0.8s |       2 |      966 |      250 |    11530      0 |     1908 |        2
865.70/865.96	c  1.1s |       3 |     1300 |      475 |    11530      0 |     1908 |        2
865.99/866.25	c  1.4s |       4 |     1727 |      813 |    11530      0 |     1908 |        2
866.39/866.68	c  1.8s |       5 |     2595 |     1320 |    11530      0 |     1908 |        2
867.09/867.33	c  2.5s |       6 |     3722 |     2081 |    11530      0 |     1908 |        2
867.49/867.72	c  2.9s |       6 |     4415 |     2566 |    11530      0 |     1908 |        2
867.49/867.72	c #cpu_time = 2.860s
867.49/867.72	c #wall_clock_time = 2.866s
867.49/867.72	c #decision = 4415
867.49/867.72	c #random_decision = 6
867.49/867.72	c #conflict = 2566
867.49/867.72	c #restart = 6
867.49/867.72	o 13
867.49/867.72	c BCD2: hardening fixes 466 literals
867.49/867.72	c BCD2: updating upper bound: 30 -> 12
867.49/867.72	c BCD2: 1 <= obj <= 12
867.49/867.72	c BCD2: #cores=1, #unrelaxed=0, #relaxed=333, #hardened=2374
867.49/867.72	c BCD2: #sat=3 #unsat=2 bias=2/5
867.49/867.72	c Solving starts ...
867.49/867.72	c ============================[ Search Statistics ]============================
867.49/867.72	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
867.49/867.72	c       |         |          |          |    Limit     GC | Var      | Constra 
867.49/867.72	c =============================================================================
867.49/867.72	c  0.0s |       0 |        0 |        0 |    11530      0 |     2374 |        4
867.69/867.91	c  0.2s |       1 |      168 |      100 |    11530      0 |     2374 |        4
867.89/868.11	c  0.4s |       2 |      367 |      250 |    11530      0 |     2374 |        4
868.09/868.34	c  0.6s |       3 |      673 |      475 |    11530      0 |     2374 |        4
868.39/868.61	c  0.9s |       4 |     1133 |      813 |    11530      0 |     2374 |        4
868.79/869.01	c  1.3s |       5 |     1857 |     1320 |    11530      0 |     2374 |        4
869.29/869.56	c  1.8s |       6 |     3086 |     2081 |    11530      0 |     2374 |        4
870.09/870.33	c  2.6s |       7 |     4612 |     3223 |    11530      0 |     2374 |        4
870.39/870.66	c  2.9s |       7 |     5068 |     3546 |    11530      0 |     2374 |        4
870.39/870.66	c #cpu_time = 2.935s
870.39/870.66	c #wall_clock_time = 2.935s
870.39/870.66	c #decision = 5068
870.39/870.66	c #random_decision = 13
870.39/870.66	c #conflict = 3546
870.39/870.66	c #restart = 7
870.39/870.66	o 7
870.39/870.66	c BCD2: hardening fixes 161 literals
870.39/870.66	c BCD2: updating upper bound: 12 -> 6
870.39/870.66	c BCD2: 1 <= obj <= 6
870.39/870.66	c BCD2: #cores=1, #unrelaxed=0, #relaxed=172, #hardened=2535
870.39/870.66	c BCD2: #sat=4 #unsat=2 bias=2/6
870.39/870.66	c Solving starts ...
870.39/870.66	c ============================[ Search Statistics ]============================
870.39/870.66	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
870.39/870.66	c       |         |          |          |    Limit     GC | Var      | Constra 
870.39/870.66	c =============================================================================
870.39/870.66	c  0.0s |       0 |        0 |        0 |    11530      0 |     2535 |        6
870.59/870.83	c  0.2s |       1 |      143 |      100 |    11530      0 |     2535 |        6
870.79/871.03	c  0.4s |       2 |      362 |      250 |    11530      0 |     2535 |        6
870.99/871.29	c  0.6s |       3 |      659 |      475 |    11530      0 |     2535 |        6
871.39/871.64	c  1.0s |       4 |     1110 |      813 |    11530      0 |     2535 |        6
871.89/872.11	c  1.4s |       5 |     1742 |     1320 |    11530      0 |     2535 |        6
872.69/872.91	c  2.2s |       6 |     2743 |     2081 |    11530      1 |     2535 |        6
873.19/873.49	c  2.8s |       7 |     4267 |     3223 |    11530      1 |     2535 |        6
874.19/874.44	c  3.8s |       8 |     6565 |     4936 |    11530      1 |     2535 |        6
874.59/874.85	c  4.2s |       8 |     7429 |     5584 |    11530      1 |     2535 |        6
874.59/874.85	c #cpu_time = 4.185s
874.59/874.85	c #wall_clock_time = 4.185s
874.59/874.85	c #decision = 7429
874.59/874.85	c #random_decision = 10
874.59/874.85	c #conflict = 5584
874.59/874.85	c #restart = 8
874.59/874.85	o 2
874.59/874.85	c BCD2: hardening fixes 142 literals
874.59/874.85	c BCD2: updating upper bound: 6 -> 1
874.59/874.85	c BCD2: 1 <= obj <= 1
874.59/874.85	c BCD2: #cores=1, #unrelaxed=0, #relaxed=30, #hardened=2677
874.59/874.85	c BCD2: #sat=5 #unsat=2 bias=2/7
874.59/874.85	c Solving starts ...
874.59/874.85	c ============================[ Search Statistics ]============================
874.59/874.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
874.59/874.85	c       |         |          |          |    Limit     GC | Var      | Constra 
874.59/874.85	c =============================================================================
874.59/874.85	c  0.0s |       0 |        0 |        0 |    11530      0 |     2677 |        8
874.69/874.94	c  0.1s |       1 |      135 |      100 |    11530      0 |     2677 |        8
874.79/875.04	c  0.2s |       2 |      322 |      250 |    11530      0 |     2677 |        8
874.89/875.19	c  0.3s |       2 |      612 |      459 |    11530      0 |     2677 |        8
874.89/875.19	c #cpu_time = 0.334s
874.89/875.19	c #wall_clock_time = 0.334s
874.89/875.19	c #decision = 612
874.89/875.19	c #random_decision = 0
874.89/875.19	c #conflict = 459
874.89/875.19	c #restart = 2
874.89/875.19	o 1
874.89/875.19	s OPTIMUM FOUND
874.89/875.19	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 x9 -x10
874.89/875.19	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
874.89/875.19	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30
874.89/875.19	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
874.89/875.19	v -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50
874.89/875.19	v -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60
874.89/875.19	v -x61 -x62 x63 -x64 -x65 -x66 -x67 x68 -x69 -x70
874.89/875.19	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80
874.89/875.19	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
874.89/875.19	v -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100
874.89/875.19	v -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110
874.89/875.19	v x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
874.89/875.19	v -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130
874.89/875.19	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140
874.89/875.19	v -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
874.89/875.19	v -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160
874.89/875.19	v -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
874.89/875.19	v -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180
874.89/875.19	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
874.89/875.19	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200
874.89/875.19	v -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210
874.89/875.19	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
874.89/875.19	v x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230
874.89/875.19	v -x231
874.89/875.19	c total CPU time = 875.094s
874.89/875.19	c total wall clock time = 875.189s

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

pid=5026
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.30 2.35 2.25 3/179 5029
/proc/meminfo: memFree=29845824/32872528 swapFree=1499884/1696108
[pid=5029] ppid=5026 vsize=663996 CPUtime=0 cores=1,3,5,7
/proc/5029/stat : 5029 (toysat) R 5026 5029 2004 0 -1 4202496 2468 0 0 0 0 0 0 0 20 0 4 0 36561477 679931904 2318 33554432000 4194304 16246674 140733823925360 140733823924784 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5029/statm: 166767 2328 441 2943 0 163661 0
[pid=5029/tid=5030] ppid=5026 vsize=681404 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5030/stat : 5030 (toysat) S 5026 5029 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36561477 697757696 2384 33554432000 4194304 16246674 140733823925360 140378930916592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5029/tid=5031] ppid=5026 vsize=685500 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5031/stat : 5031 (toysat) S 5026 5029 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36561477 701952000 2401 33554432000 4194304 16246674 140733823925360 140378920426736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5029/tid=5032] ppid=5026 vsize=689596 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5032/stat : 5032 (toysat) S 5026 5029 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36561477 706146304 2418 33554432000 4194304 16246674 140733823925360 140378909953200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.30 2.35 2.25 3/179 5029
/proc/meminfo: memFree=29845824/32872528 swapFree=1499884/1696108
[pid=5029] ppid=5026 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/5029/stat : 5029 (toysat) R 5026 5029 2004 0 -1 4202496 24912 0 0 0 5 3 0 0 20 0 4 0 36561477 1247350784 24756 33554432000 4194304 16246674 140733823925360 140733823924784 6196885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5029/statm: 304529 24762 615 2943 0 301423 0
[pid=5029/tid=5030] ppid=5026 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5030/stat : 5030 (toysat) S 5026 5029 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36561477 1247350784 24762 33554432000 4194304 16246674 140733823925360 140378930916592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5029/tid=5031] ppid=5026 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5031/stat : 5031 (toysat) S 5026 5029 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36561477 1247350784 24765 33554432000 4194304 16246674 140733823925360 140378920426736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5029/tid=5032] ppid=5026 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5032/stat : 5032 (toysat) S 5026 5029 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36561477 1247350784 24771 33554432000 4194304 16246674 140733823925360 140378909953200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200548 s]
/proc/loadavg: 2.30 2.35 2.25 3/179 5029
/proc/meminfo: memFree=29845824/32872528 swapFree=1499884/1696108
[pid=5029] ppid=5026 vsize=1223236 CPUtime=0.19 cores=1,3,5,7
/proc/5029/stat : 5029 (toysat) R 5026 5029 2004 0 -1 4202496 36572 0 0 0 14 5 0 0 20 0 4 0 36561477 1252593664 36369 33554432000 4194304 16246674 140733823925360 140733823924672 13950711 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5029/statm: 305809 36369 861 2943 0 302703 0
[pid=5029/tid=5030] ppid=5026 vsize=1223236 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5030/stat : 5030 (toysat) S 5026 5029 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36561477 1252593664 36369 33554432000 4194304 16246674 140733823925360 140378930916592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5029/tid=5031] ppid=5026 vsize=1223236 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5031/stat : 5031 (toysat) S 5026 5029 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36561477 1252593664 36369 33554432000 4194304 16246674 140733823925360 140378920426736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5029/tid=5032] ppid=5026 vsize=1223236 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5032/stat : 5032 (toysat) S 5026 5029 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36561477 1252593664 36369 33554432000 4194304 16246674 140733823925360 140378909953200 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) 1223236

[startup+0.300499 s]
/proc/loadavg: 2.30 2.35 2.25 3/179 5029
/proc/meminfo: memFree=29845824/32872528 swapFree=1499884/1696108
[pid=5029] ppid=5026 vsize=1307204 CPUtime=0.29 cores=1,3,5,7
/proc/5029/stat : 5029 (toysat) R 5026 5029 2004 0 -1 4202496 46479 0 0 0 23 6 0 0 20 0 4 0 36561477 1338576896 46276 33554432000 4194304 16246674 140733823925360 140733823924672 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5029/statm: 326801 46281 918 2943 0 323695 0
[pid=5029/tid=5030] ppid=5026 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5030/stat : 5030 (toysat) S 5026 5029 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36561477 1338576896 46284 33554432000 4194304 16246674 140733823925360 140378930916592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5029/tid=5031] ppid=5026 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5031/stat : 5031 (toysat) S 5026 5029 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36561477 1338576896 46287 33554432000 4194304 16246674 140733823925360 140378920426736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5029/tid=5032] ppid=5026 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5032/stat : 5032 (toysat) S 5026 5029 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36561477 1338576896 46293 33554432000 4194304 16246674 140733823925360 140378909953200 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) 1307204

[startup+0.700438 s]
/proc/loadavg: 2.30 2.35 2.25 3/179 5029
/proc/meminfo: memFree=29845824/32872528 swapFree=1499884/1696108
[pid=5029] ppid=5026 vsize=1307204 CPUtime=0.68 cores=1,3,5,7
/proc/5029/stat : 5029 (toysat) R 5026 5029 2004 0 -1 4202496 62402 0 0 0 61 7 0 0 20 0 4 0 36561477 1338576896 62199 33554432000 4194304 16246674 140733823925360 140733823924672 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5029/statm: 326801 62199 920 2943 0 323695 0
[pid=5029/tid=5030] ppid=5026 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5030/stat : 5030 (toysat) S 5026 5029 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36561477 1338576896 62199 33554432000 4194304 16246674 140733823925360 140378930916592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5029/tid=5031] ppid=5026 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5031/stat : 5031 (toysat) S 5026 5029 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36561477 1338576896 62199 33554432000 4194304 16246674 140733823925360 140378920426736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5029/tid=5032] ppid=5026 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5032/stat : 5032 (toysat) S 5026 5029 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36561477 1338576896 62199 33554432000 4194304 16246674 140733823925360 140378909953200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1307204

[startup+1.5005 s]
/proc/loadavg: 2.30 2.35 2.25 3/183 5033
/proc/meminfo: memFree=29597272/32872528 swapFree=1499884/1696108
[pid=5029] ppid=5026 vsize=1307204 CPUtime=1.48 cores=1,3,5,7
/proc/5029/stat : 5029 (toysat) R 5026 5029 2004 0 -1 4202496 62604 0 0 0 141 7 0 0 20 0 4 0 36561477 1338576896 62401 33554432000 4194304 16246674 140733823925360 140733823924536 6010086 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5029/statm: 326801 62401 924 2943 0 323695 0
[pid=5029/tid=5030] ppid=5026 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5030/stat : 5030 (toysat) S 5026 5029 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36561477 1338576896 62401 33554432000 4194304 16246674 140733823925360 140378930916592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5029/tid=5031] ppid=5026 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5031/stat : 5031 (toysat) S 5026 5029 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36561477 1338576896 62401 33554432000 4194304 16246674 140733823925360 140378920426736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5029/tid=5032] ppid=5026 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5032/stat : 5032 (toysat) S 5026 5029 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36561477 1338576896 62401 33554432000 4194304 16246674 140733823925360 140378909953200 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.10042 s]
/proc/loadavg: 2.30 2.35 2.25 3/183 5033
/proc/meminfo: memFree=29596900/32872528 swapFree=1499884/1696108
[pid=5029] ppid=5026 vsize=1308228 CPUtime=3.09 cores=1,3,5,7
/proc/5029/stat : 5029 (toysat) R 5026 5029 2004 0 -1 4202496 64361 0 0 0 301 8 0 0 20 0 4 0 36561477 1339625472 64158 33554432000 4194304 16246674 140733823925360 140733823907264 5711496 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5029/statm: 327057 64158 931 2943 0 323951 0
[pid=5029/tid=5030] ppid=5026 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5030/stat : 5030 (toysat) S 5026 5029 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36561477 1339625472 64158 33554432000 4194304 16246674 140733823925360 140378930916592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5029/tid=5031] ppid=5026 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5031/stat : 5031 (toysat) S 5026 5029 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36561477 1339625472 64158 33554432000 4194304 16246674 140733823925360 140378920426736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5029/tid=5032] ppid=5026 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5032/stat : 5032 (toysat) S 5026 5029 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36561477 1339625472 64158 33554432000 4194304 16246674 140733823925360 140378909953200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30043 s]
/proc/loadavg: 2.27 2.34 2.25 3/183 5033
/proc/meminfo: memFree=29564072/32872528 swapFree=1499884/1696108
[pid=5029] ppid=5026 vsize=1310276 CPUtime=6.29 cores=1,3,5,7
/proc/5029/stat : 5029 (toysat) R 5026 5029 2004 0 -1 4202496 70816 0 0 0 620 9 0 0 20 0 4 0 36561477 1341722624 70613 33554432000 4194304 16246674 140733823925360 140733823924456 5545984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5029/statm: 327569 70613 931 2943 0 324463 0
[pid=5029/tid=5030] ppid=5026 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5030/stat : 5030 (toysat) S 5026 5029 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36561477 1341722624 70613 33554432000 4194304 16246674 140733823925360 140378930916592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5029/tid=5031] ppid=5026 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5031/stat : 5031 (toysat) S 5026 5029 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36561477 1341722624 70613 33554432000 4194304 16246674 140733823925360 140378920426736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5029/tid=5032] ppid=5026 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5032/stat : 5032 (toysat) S 5026 5029 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36561477 1341722624 70613 33554432000 4194304 16246674 140733823925360 140378909953200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.25 2.34 2.25 3/183 5033
/proc/meminfo: memFree=29559516/32872528 swapFree=1499884/1696108
[pid=5029] ppid=5026 vsize=1310276 CPUtime=12.69 cores=1,3,5,7
/proc/5029/stat : 5029 (toysat) R 5026 5029 2004 0 -1 4202496 70906 0 0 0 1259 10 0 0 20 0 4 0 36561477 1341722624 70703 33554432000 4194304 16246674 140733823925360 140733823924456 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5029/statm: 327569 70703 931 2943 0 324463 0
[pid=5029/tid=5030] ppid=5026 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5030/stat : 5030 (toysat) S 5026 5029 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36561477 1341722624 70703 33554432000 4194304 16246674 140733823925360 140378930916592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5029/tid=5031] ppid=5026 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5031/stat : 5031 (toysat) S 5026 5029 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36561477 1341722624 70703 33554432000 4194304 16246674 140733823925360 140378920426736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5029/tid=5032] ppid=5026 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5032/stat : 5032 (toysat) S 5026 5029 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36561477 1341722624 70703 33554432000 4194304 16246674 140733823925360 140378909953200 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.5004 s]
/proc/loadavg: 2.20 2.32 2.25 3/183 5033
/proc/meminfo: memFree=29557952/32872528 swapFree=1499884/1696108
[pid=5029] ppid=5026 vsize=1312324 CPUtime=25.5 cores=1,3,5,7
/proc/5029/stat : 5029 (toysat) R 5026 5029 2004 0 -1 4202496 71316 0 0 0 2537 13 0 0 20 0 4 0 36561477 1343819776 71113 33554432000 4194304 16246674 140733823925360 140733823924536 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5029/statm: 328081 71113 931 2943 0 324975 0
[pid=5029/tid=5030] ppid=5026 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5030/stat : 5030 (toysat) S 5026 5029 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36561477 1343819776 71113 33554432000 4194304 16246674 140733823925360 140378930916592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5029/tid=5031] ppid=5026 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5031/stat : 5031 (toysat) S 5026 5029 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36561477 1343819776 71113 33554432000 4194304 16246674 140733823925360 140378920426736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5029/tid=5032] ppid=5026 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5032/stat : 5032 (toysat) S 5026 5029 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36561477 1343819776 71113 33554432000 4194304 16246674 140733823925360 140378909953200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1312324

[startup+51.1004 s]
/proc/loadavg: 2.26 2.33 2.25 3/183 5033
/proc/meminfo: memFree=29460152/32872528 swapFree=1499884/1696108
[pid=5029] ppid=5026 vsize=1315396 CPUtime=51.08 cores=1,3,5,7
/proc/5029/stat : 5029 (toysat) R 5026 5029 2004 0 -1 4202496 75760 0 0 0 5091 17 0 0 20 0 4 0 36561477 1346965504 75557 33554432000 4194304 16246674 140733823925360 140733823924536 12462881 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5029/statm: 328849 75557 931 2943 0 325743 0
[pid=5029/tid=5030] ppid=5026 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5030/stat : 5030 (toysat) S 5026 5029 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36561477 1346965504 75557 33554432000 4194304 16246674 140733823925360 140378930916592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5029/tid=5031] ppid=5026 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5031/stat : 5031 (toysat) S 5026 5029 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36561477 1346965504 75557 33554432000 4194304 16246674 140733823925360 140378920426736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5029/tid=5032] ppid=5026 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5032/stat : 5032 (toysat) S 5026 5029 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36561477 1346965504 75557 33554432000 4194304 16246674 140733823925360 140378909953200 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.3 s]
/proc/loadavg: 2.17 2.29 2.24 3/183 5034
/proc/meminfo: memFree=29358164/32872528 swapFree=1499884/1696108
[pid=5029] ppid=5026 vsize=1315396 CPUtime=102.27 cores=1,3,5,7
/proc/5029/stat : 5029 (toysat) R 5026 5029 2004 0 -1 4202496 75760 0 0 0 10202 25 0 0 20 0 4 0 36561477 1346965504 75557 33554432000 4194304 16246674 140733823925360 140733823924536 5546160 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5029/statm: 328849 75557 931 2943 0 325743 0
[pid=5029/tid=5030] ppid=5026 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5030/stat : 5030 (toysat) S 5026 5029 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36561477 1346965504 75557 33554432000 4194304 16246674 140733823925360 140378930916592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5029/tid=5031] ppid=5026 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5031/stat : 5031 (toysat) S 5026 5029 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36561477 1346965504 75557 33554432000 4194304 16246674 140733823925360 140378920426736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5029/tid=5032] ppid=5026 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5032/stat : 5032 (toysat) S 5026 5029 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36561477 1346965504 75557 33554432000 4194304 16246674 140733823925360 140378909953200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1315396


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

/proc/5029/stat : 5029 (toysat) R 5026 5029 2004 0 -1 4202496 120135 0 0 0 76077 139 0 0 20 0 4 0 36561477 1351159808 271138 33554432000 4194304 16246674 140733823925360 140733823924536 5545708 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5029/statm: 329873 271138 931 2943 0 326767 0
[pid=5029/tid=5030] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5030/stat : 5030 (toysat) S 5026 5029 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271138 33554432000 4194304 16246674 140733823925360 140378930916592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5029/tid=5031] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5031/stat : 5031 (toysat) S 5026 5029 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271138 33554432000 4194304 16246674 140733823925360 140378920426736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5029/tid=5032] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5032/stat : 5032 (toysat) S 5026 5029 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271138 33554432000 4194304 16246674 140733823925360 140378909953200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 762.16
Current children cumulated vsize (KiB) 1319492

[startup+822.3 s]
/proc/loadavg: 2.24 2.22 2.20 4/183 5100
/proc/meminfo: memFree=21115240/32872528 swapFree=1499884/1696108
[pid=5029] ppid=5026 vsize=1319492 CPUtime=822.12 cores=1,3,5,7
/proc/5029/stat : 5029 (toysat) R 5026 5029 2004 0 -1 4202496 120176 0 0 0 82060 152 0 0 20 0 4 0 36561477 1351159808 271138 33554432000 4194304 16246674 140733823925360 140733823924536 5546111 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5029/statm: 329873 271138 931 2943 0 326767 0
[pid=5029/tid=5030] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5030/stat : 5030 (toysat) S 5026 5029 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271138 33554432000 4194304 16246674 140733823925360 140378930916592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5029/tid=5031] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5031/stat : 5031 (toysat) S 5026 5029 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271138 33554432000 4194304 16246674 140733823925360 140378920426736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5029/tid=5032] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5032/stat : 5032 (toysat) S 5026 5029 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271138 33554432000 4194304 16246674 140733823925360 140378909953200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 1319492

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

[startup+845 s]
/proc/loadavg: 2.24 2.22 2.20 4/184 5104
/proc/meminfo: memFree=21114308/32872528 swapFree=1499884/1696108
[pid=5029] ppid=5026 vsize=1319492 CPUtime=844.82 cores=1,3,5,7
/proc/5029/stat : 5029 (toysat) R 5026 5029 2004 0 -1 4202496 120192 0 0 0 84325 157 0 0 20 0 4 0 36561477 1351159808 271138 33554432000 4194304 16246674 140733823925360 140733823924536 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5029/statm: 329873 271138 931 2943 0 326767 0
[pid=5029/tid=5030] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5030/stat : 5030 (toysat) S 5026 5029 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271138 33554432000 4194304 16246674 140733823925360 140378930916592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5029/tid=5031] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5031/stat : 5031 (toysat) S 5026 5029 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271138 33554432000 4194304 16246674 140733823925360 140378920426736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5029/tid=5032] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5032/stat : 5032 (toysat) S 5026 5029 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271138 33554432000 4194304 16246674 140733823925360 140378909953200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 844.82
Current children cumulated vsize (KiB) 1319492

[startup+857.8 s]
/proc/loadavg: 2.20 2.21 2.20 3/184 5104
/proc/meminfo: memFree=21115008/32872528 swapFree=1499884/1696108
[pid=5029] ppid=5026 vsize=1319492 CPUtime=857.59 cores=1,3,5,7
/proc/5029/stat : 5029 (toysat) R 5026 5029 2004 0 -1 4202496 120208 0 0 0 85600 159 0 0 20 0 4 0 36561477 1351159808 271138 33554432000 4194304 16246674 140733823925360 140733823924536 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5029/statm: 329873 271138 931 2943 0 326767 0
[pid=5029/tid=5030] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5030/stat : 5030 (toysat) S 5026 5029 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271138 33554432000 4194304 16246674 140733823925360 140378930916592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5029/tid=5031] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5031/stat : 5031 (toysat) S 5026 5029 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271138 33554432000 4194304 16246674 140733823925360 140378920426736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5029/tid=5032] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5032/stat : 5032 (toysat) S 5026 5029 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271138 33554432000 4194304 16246674 140733823925360 140378909953200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 857.59
Current children cumulated vsize (KiB) 1319492

[startup+864.2 s]
/proc/loadavg: 2.17 2.20 2.19 3/184 5105
/proc/meminfo: memFree=21114764/32872528 swapFree=1499884/1696108
[pid=5029] ppid=5026 vsize=1319492 CPUtime=863.99 cores=1,3,5,7
/proc/5029/stat : 5029 (toysat) R 5026 5029 2004 0 -1 4202496 120208 0 0 0 86238 161 0 0 20 0 4 0 36561477 1351159808 271138 33554432000 4194304 16246674 140733823925360 140733823924536 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5029/statm: 329873 271138 931 2943 0 326767 0
[pid=5029/tid=5030] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5030/stat : 5030 (toysat) S 5026 5029 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271138 33554432000 4194304 16246674 140733823925360 140378930916592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5029/tid=5031] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5031/stat : 5031 (toysat) S 5026 5029 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271138 33554432000 4194304 16246674 140733823925360 140378920426736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5029/tid=5032] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5032/stat : 5032 (toysat) S 5026 5029 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271138 33554432000 4194304 16246674 140733823925360 140378909953200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 863.99
Current children cumulated vsize (KiB) 1319492

[startup+870.6 s]
/proc/loadavg: 2.15 2.20 2.19 3/184 5105
/proc/meminfo: memFree=21114972/32872528 swapFree=1499884/1696108
[pid=5029] ppid=5026 vsize=1319492 CPUtime=870.39 cores=1,3,5,7
/proc/5029/stat : 5029 (toysat) R 5026 5029 2004 0 -1 4202496 120225 0 0 0 86878 161 0 0 20 0 4 0 36561477 1351159808 271147 33554432000 4194304 16246674 140733823925360 140733823907264 13954625 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5029/statm: 329873 271147 940 2943 0 326767 0
[pid=5029/tid=5030] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5030/stat : 5030 (toysat) S 5026 5029 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271147 33554432000 4194304 16246674 140733823925360 140378930916592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5029/tid=5031] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5031/stat : 5031 (toysat) S 5026 5029 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271147 33554432000 4194304 16246674 140733823925360 140378920426736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5029/tid=5032] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5032/stat : 5032 (toysat) S 5026 5029 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271147 33554432000 4194304 16246674 140733823925360 140378909953200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 870.39
Current children cumulated vsize (KiB) 1319492

[startup+872.2 s]
/proc/loadavg: 2.15 2.20 2.19 3/184 5105
/proc/meminfo: memFree=21114972/32872528 swapFree=1499884/1696108
[pid=5029] ppid=5026 vsize=1319492 CPUtime=871.99 cores=1,3,5,7
/proc/5029/stat : 5029 (toysat) R 5026 5029 2004 0 -1 4202496 120225 0 0 0 87038 161 0 0 20 0 4 0 36561477 1351159808 271147 33554432000 4194304 16246674 140733823925360 140733823907264 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5029/statm: 329873 271147 940 2943 0 326767 0
[pid=5029/tid=5030] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5030/stat : 5030 (toysat) S 5026 5029 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271147 33554432000 4194304 16246674 140733823925360 140378930916592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5029/tid=5031] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5031/stat : 5031 (toysat) S 5026 5029 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271147 33554432000 4194304 16246674 140733823925360 140378920426736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5029/tid=5032] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5032/stat : 5032 (toysat) S 5026 5029 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271147 33554432000 4194304 16246674 140733823925360 140378909953200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 871.99
Current children cumulated vsize (KiB) 1319492

[startup+873.8 s]
/proc/loadavg: 2.22 2.21 2.20 4/184 5105
/proc/meminfo: memFree=21114972/32872528 swapFree=1499884/1696108
[pid=5029] ppid=5026 vsize=1319492 CPUtime=873.59 cores=1,3,5,7
/proc/5029/stat : 5029 (toysat) R 5026 5029 2004 0 -1 4202496 120225 0 0 0 87198 161 0 0 20 0 4 0 36561477 1351159808 271147 33554432000 4194304 16246674 140733823925360 140733823908352 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5029/statm: 329873 271147 940 2943 0 326767 0
[pid=5029/tid=5030] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5030/stat : 5030 (toysat) S 5026 5029 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271147 33554432000 4194304 16246674 140733823925360 140378930916592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5029/tid=5031] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5031/stat : 5031 (toysat) S 5026 5029 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271147 33554432000 4194304 16246674 140733823925360 140378920426736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5029/tid=5032] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5032/stat : 5032 (toysat) S 5026 5029 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271147 33554432000 4194304 16246674 140733823925360 140378909953200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 873.59
Current children cumulated vsize (KiB) 1319492

[startup+874.6 s]
/proc/loadavg: 2.22 2.21 2.20 4/184 5105
/proc/meminfo: memFree=21114972/32872528 swapFree=1499884/1696108
[pid=5029] ppid=5026 vsize=1319492 CPUtime=874.39 cores=1,3,5,7
/proc/5029/stat : 5029 (toysat) R 5026 5029 2004 0 -1 4202496 120225 0 0 0 87278 161 0 0 20 0 4 0 36561477 1351159808 271147 33554432000 4194304 16246674 140733823925360 140733823907264 5672416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5029/statm: 329873 271147 940 2943 0 326767 0
[pid=5029/tid=5030] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5030/stat : 5030 (toysat) S 5026 5029 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271147 33554432000 4194304 16246674 140733823925360 140378930916592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5029/tid=5031] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5031/stat : 5031 (toysat) S 5026 5029 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271147 33554432000 4194304 16246674 140733823925360 140378920426736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5029/tid=5032] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5032/stat : 5032 (toysat) S 5026 5029 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271147 33554432000 4194304 16246674 140733823925360 140378909953200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 874.39
Current children cumulated vsize (KiB) 1319492

[startup+875 s]
/proc/loadavg: 2.22 2.21 2.20 4/184 5105
/proc/meminfo: memFree=21114972/32872528 swapFree=1499884/1696108
[pid=5029] ppid=5026 vsize=1319492 CPUtime=874.79 cores=1,3,5,7
/proc/5029/stat : 5029 (toysat) R 5026 5029 2004 0 -1 4202496 120226 0 0 0 87318 161 0 0 20 0 4 0 36561477 1351159808 271148 33554432000 4194304 16246674 140733823925360 140733823907264 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5029/statm: 329873 271148 941 2943 0 326767 0
[pid=5029/tid=5030] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5030/stat : 5030 (toysat) S 5026 5029 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271148 33554432000 4194304 16246674 140733823925360 140378930916592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5029/tid=5031] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5031/stat : 5031 (toysat) S 5026 5029 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271148 33554432000 4194304 16246674 140733823925360 140378920426736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5029/tid=5032] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5032/stat : 5032 (toysat) S 5026 5029 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271148 33554432000 4194304 16246674 140733823925360 140378909953200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 874.79
Current children cumulated vsize (KiB) 1319492

[startup+875.1 s]
/proc/loadavg: 2.22 2.21 2.20 4/184 5105
/proc/meminfo: memFree=21114972/32872528 swapFree=1499884/1696108
[pid=5029] ppid=5026 vsize=1319492 CPUtime=874.89 cores=1,3,5,7
/proc/5029/stat : 5029 (toysat) R 5026 5029 2004 0 -1 4202496 120226 0 0 0 87328 161 0 0 20 0 4 0 36561477 1351159808 271148 33554432000 4194304 16246674 140733823925360 140733823907264 6861584 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5029/statm: 329873 271148 941 2943 0 326767 0
[pid=5029/tid=5030] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5030/stat : 5030 (toysat) S 5026 5029 2004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271148 33554432000 4194304 16246674 140733823925360 140378930916592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5029/tid=5031] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5031/stat : 5031 (toysat) S 5026 5029 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271148 33554432000 4194304 16246674 140733823925360 140378920426736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5029/tid=5032] ppid=5026 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5029/task/5032/stat : 5032 (toysat) S 5026 5029 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36561477 1351159808 271148 33554432000 4194304 16246674 140733823925360 140378909953200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 874.89
Current children cumulated vsize (KiB) 1319492

Child status: 0
Real time (s): 875.197
CPU time (s): 874.985
CPU user time (s): 873.372
CPU system time (s): 1.61275
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 1319492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 873.372
system time used= 1.61275
maximum resident set size= 1084600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120228
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= 135
involuntary context switches= 925

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.40963 second user time and 3.39748 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-19 16:05:57
IDJOB=4110442
IDBENCH=79315
IDSOLVER=2553
FILE ID=node137/4110442-1466345157
RUNJOBID= node137-1466341805-2021
PBS_JOBID= 19922016
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900583053--soft-0-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-4110442-1466345157/watcher-4110442-1466345157 -o /tmp/evaluation-result-4110442-1466345157/solver-4110442-1466345157 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466341805-2021 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110442-1466345157.wbo

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

MD5SUM BENCH= 4a2d6bc5f020a6a42fcf2a39cec0be8f
RANDOM SEED=1415933363

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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:        29846436 kB
Buffers:           73456 kB
Cached:           192648 kB
SwapCached:         1260 kB
Active:           446096 kB
Inactive:         141808 kB
Active(anon):     322160 kB
Inactive(anon):     2080 kB
Active(file):     123936 kB
Inactive(file):   139728 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100128 kB
Dirty:             33188 kB
Writeback:            40 kB
AnonPages:       2017212 kB
Mapped:            10984 kB
Shmem:                 0 kB
Slab:             607292 kB
SReclaimable:      50852 kB
SUnreclaim:       556440 kB
KernelStack:        1504 kB
PageTables:         9736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2915324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 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= 71672 MiB
End job on node137 at 2016-06-19 16:20:33