Trace number 4109926

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 786.115 786.394

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900548667--soft-66-100-0.wbo
MD5SUMb93cc320d1c40ed770cd566486d12ca9
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark69.8434
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 constraints930
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 46532
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46531
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 625
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c 2016-06-19T15:53:54+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-4109926-1466344434.wbo"]
0.00/0.01	c use --random-gen="1826697080 317275507 4072488298 1026342055 2415821586 2195081805 1383371770 3810558907 3452018523 3912660822 2552427246 3839733393 4367258 3642238386 298037786 1429298544 1737723443 2347367574 3611283435 3960305881 879806799 2081361669 2218818049 2538465638 3781003877 3554784200 3088331693 1482854144 2517987862 4026507439 3881210540 125038374 1125546487 2662298400 2573129231 4248930970 3110888837 2416178521 1579093236 244473794 1823693077 933610960 3208308351 3493627855 2037839309 788095315 720162234 2544463804 891761833 1385389639 2473526080 3853673523 1385503901 1884237560 2034207269 1920499674 2597343582 4040818103 2350548874 2996846688 2318940139 898356053 3550198957 2501815973 2428958544 2386910872 676330433 2463824498 2939500256 3727237360 4151882045 1817921917 1138217320 2208952254 3485122115 3401532710 527416128 2352202912 3943422602 2676856470 1096477749 4180212057 1605643064 953484937 2071695202 2293294211 525302341 3968574562 1918241104 2519273382 3595086816 1289587080 3782485117 2646465788 36276144 3347233311 4281833008 2612287527 2721704563 4171772071 2820844177 3695773147 281713298 2491055331 1537369402 559663487 3837806240 3586232464 3715306413 2480920042 408688976 3130456485 1083660138 2146236165 2142793810 3108676709 4240949977 266260338 464924201 777866809 3214362159 1445428138 2285357556 202513374 2742584135 1167255878 1394391734 3661762625 3215723727 3336097291 4247547664 3311091082 1188411998 418966791 3035892709 1493833618 455169829 385108008 3624383889 2717141792 516610459 69026369 74491209 3293443720 3700157185 4153655638 1698510910 2445234730 2972141256 3422134356 179903121 3737153724 1769549365 1100877701 2701021265 3251981564 2257632820 3620409464 973894243 2176766396 2908086405 1944669331 754387124 693779521 1065884112 331350828 4018479809 3426186727 2650551918 2882389422 2975044224 816913747 2404150888 99607448 4104381634 344464927 1002093839 940650890 2866101962 2202929455 1507624796 2949747670 1458662452 365402489 1830944335 2141313568 2719233682 521792662 1228343474 3201743846 1358328939 1704043716 531553364 739741756 74900360 2816535366 3611446430 2664411674 17816531 2268864712 3467241650 2891434447 2879966958 1488644476 2581927720 2618469900 2631359125 2620941012 3687165351 1156240304 3956279051 241618328 4080024917 833990383 858885562 1345803219 1457805951 1824626645 3248619680 3561115002 845080064 2695314043 390229910 2205847567 2734727476 265873126 4085619919 4102022147 1272368996 3905826583 4174453387 2536764695 4145124342 1251626171 1066180516 499167998 3767531903 3607663221 2197267947 4068693948 930940807 1229240615 2791645065 3623019381 3438744552 3828251358 1123046973 1289390050 1357844529 4094277592 1277224236 212971891 4117832503 234232160 93338339 3972845067 255 362436" option to reproduce the execution
0.09/0.14	c #vars 231
0.09/0.14	c #constraints 2707
0.19/0.20	c BCD2: Hardening is enabled.
0.19/0.20	c BCD2: BiasedSearch is enabled.
0.19/0.20	c Solving starts ...
0.19/0.20	c ============================[ Search Statistics ]============================
0.19/0.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.20	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.20	c =============================================================================
0.19/0.21	c  0.0s |       0 |        0 |        0 |     1289      0 |        0 |        0
0.19/0.22	c  0.0s |       1 |     1123 |      100 |     1289      0 |        0 |        0
0.19/0.23	c  0.0s |       1 |     2076 |      102 |     1418      0 |        0 |        0
0.19/0.23	c #cpu_time = 0.030s
0.19/0.23	c #wall_clock_time = 0.031s
0.19/0.23	c #decision = 2076
0.19/0.23	c #random_decision = 4
0.19/0.23	c #conflict = 102
0.19/0.23	c #restart = 1
0.19/0.23	o 280
0.19/0.23	c BCD2: updating upper bound: 46531 -> 279
0.19/0.23	c BCD2: 0 <= obj <= 279
0.19/0.23	c BCD2: #cores=0, #unrelaxed=930, #relaxed=0, #hardened=0
0.19/0.23	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.23	c Solving starts ...
0.19/0.23	c ============================[ Search Statistics ]============================
0.19/0.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.23	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.23	c =============================================================================
0.19/0.23	c  0.0s |       0 |        0 |        0 |     1418      0 |        0 |        0
0.19/0.25	c  0.0s |       1 |     1141 |      100 |     1418      0 |        0 |        0
0.19/0.28	c  0.0s |       2 |     2336 |      250 |     1560      0 |        0 |        0
0.29/0.32	c  0.1s |       3 |     3584 |      475 |     1717      0 |        0 |        0
0.39/0.42	c  0.2s |       4 |     5061 |      813 |     1889      0 |        0 |        0
0.49/0.57	c  0.3s |       5 |     6831 |     1320 |     2078      0 |        0 |        0
0.79/0.80	c  0.6s |       6 |     8971 |     2081 |     2286      0 |        0 |        0
1.29/1.30	c  1.1s |       7 |    11511 |     3223 |     2515      0 |        0 |        0
1.89/1.92	c  1.7s |       8 |    15438 |     4936 |     2767      1 |        0 |        0
2.79/2.85	c  2.6s |       9 |    20286 |     7506 |     3044      3 |        0 |        0
4.78/4.88	c  4.7s |       9 |    26483 |    11106 |     3044      4 |        0 |        0
4.99/5.01	c  4.8s |      10 |    26883 |    11361 |     3349      5 |        0 |        0
6.99/7.02	c  6.8s |      10 |    34408 |    15661 |     3349      7 |        0 |        0
7.69/7.77	c  7.5s |      11 |    36754 |    17144 |     3684      7 |        0 |        0
9.79/9.81	c  9.6s |      11 |    42815 |    20644 |     3684      9 |        0 |        0
11.78/11.84	c 11.6s |      11 |    47988 |    24244 |     3684     10 |        0 |        0
12.69/12.72	c 12.5s |      12 |    50260 |    25819 |     4053     11 |        0 |        0
14.69/14.78	c 14.6s |      12 |    55549 |    28919 |     4053     12 |        0 |        0
16.78/16.81	c 16.6s |      12 |    59919 |    31819 |     4053     13 |        0 |        0
18.80/18.88	c 18.6s |      12 |    64202 |    34819 |     4053     14 |        0 |        0
20.90/20.95	c 20.7s |      12 |    69241 |    38019 |     4053     16 |        0 |        0
21.58/21.62	c 21.4s |      13 |    70451 |    38832 |     4459     16 |        0 |        0
23.58/23.66	c 23.4s |      13 |    76179 |    41632 |     4459     17 |        0 |        0
25.68/25.74	c 25.5s |      13 |    80696 |    44532 |     4459     18 |        0 |        0
27.68/27.75	c 27.5s |      13 |    84155 |    46832 |     4459     19 |        0 |        0
29.69/29.78	c 29.5s |      13 |    88102 |    49332 |     4459     20 |        0 |        0
31.79/31.86	c 31.6s |      13 |    92581 |    52032 |     4459     21 |        0 |        0
33.88/33.90	c 33.7s |      13 |    96307 |    54332 |     4459     21 |        0 |        0
35.88/35.93	c 35.7s |      13 |   101751 |    58032 |     4905     23 |        0 |        0
35.98/36.09	c 35.9s |      14 |   102308 |    58352 |     4905     23 |        0 |        0
38.08/38.13	c 37.9s |      14 |   107991 |    61452 |     4905     24 |        0 |        0
40.08/40.14	c 39.9s |      14 |   113413 |    64852 |     4905     25 |        0 |        0
42.09/42.15	c 41.9s |      14 |   118423 |    68052 |     4905     26 |        0 |        0
44.09/44.17	c 43.9s |      14 |   122982 |    71152 |     4905     27 |        0 |        0
46.19/46.21	c 46.0s |      14 |   127611 |    74452 |     4905     28 |        0 |        0
48.18/48.22	c 48.0s |      14 |   132219 |    77552 |     4905     29 |        0 |        0
50.18/50.26	c 50.0s |      14 |   136538 |    80552 |     4905     30 |        0 |        0
52.28/52.31	c 52.1s |      14 |   140347 |    83252 |     4905     31 |        0 |        0
54.28/54.37	c 54.1s |      14 |   143222 |    85452 |     4905     32 |        0 |        0
55.98/56.02	c 55.8s |      15 |   146175 |    87632 |     5396     33 |        0 |        0
57.98/58.06	c 57.8s |      15 |   152437 |    91032 |     5396     34 |        0 |        0
60.08/60.13	c 59.9s |      15 |   157834 |    94832 |     5396     35 |        0 |        0
62.08/62.13	c 61.9s |      15 |   161935 |    97832 |     5396     36 |        0 |        0
64.08/64.18	c 63.9s |      15 |   165905 |   100832 |     5396     37 |        0 |        0
66.18/66.23	c 66.0s |      15 |   169901 |   103932 |     5396     38 |        0 |        0
68.19/68.25	c 68.0s |      15 |   173566 |   106632 |     5396     39 |        0 |        0
70.17/70.26	c 70.0s |      15 |   177401 |   109332 |     5396     39 |        0 |        0
72.18/72.29	c 72.1s |      15 |   181611 |   112232 |     5396     40 |        0 |        0
74.28/74.31	c 74.1s |      15 |   185254 |   114732 |     5396     41 |        0 |        0
76.27/76.31	c 76.1s |      15 |   189372 |   117332 |     5396     42 |        0 |        0
78.27/78.34	c 78.1s |      15 |   193808 |   120432 |     5396     43 |        0 |        0
80.28/80.38	c 80.1s |      15 |   197796 |   122932 |     5396     44 |        0 |        0
82.38/82.40	c 82.2s |      15 |   201033 |   125032 |     5396     44 |        0 |        0
84.37/84.44	c 84.2s |      15 |   204045 |   127232 |     5396     45 |        0 |        0
86.47/86.54	c 86.3s |      15 |   206939 |   129032 |     5396     46 |        0 |        0
88.47/88.57	c 88.3s |      15 |   209699 |   130832 |     5936     46 |        0 |        0
89.08/89.20	c 89.0s |      16 |   210855 |   131552 |     5936     46 |        0 |        0
91.18/91.23	c 91.0s |      16 |   215541 |   134452 |     5936     47 |        0 |        0
93.17/93.24	c 93.0s |      16 |   218621 |   136852 |     5936     48 |        0 |        0
95.17/95.26	c 95.0s |      16 |   221219 |   138952 |     5936     49 |        0 |        0
97.27/97.32	c 97.1s |      16 |   223996 |   141152 |     5936     49 |        0 |        0
99.37/99.41	c 99.2s |      16 |   226226 |   142952 |     5936     50 |        0 |        0
101.37/101.42	c  101s |      16 |   228677 |   145052 |     5936     50 |        0 |        0
103.37/103.45	c  103s |      16 |   233833 |   149152 |     5936     51 |        0 |        0
105.37/105.46	c  105s |      16 |   239019 |   153052 |     5936     53 |        0 |        0
107.37/107.49	c  107s |      16 |   243774 |   156552 |     5936     54 |        0 |        0
109.47/109.53	c  109s |      16 |   246576 |   158652 |     5936     54 |        0 |        0
111.47/111.54	c  111s |      16 |   250506 |   161552 |     5936     55 |        0 |        0
113.46/113.56	c  113s |      16 |   253761 |   163852 |     5936     56 |        0 |        0
115.48/115.59	c  115s |      16 |   256536 |   165852 |     5936     56 |        0 |        0
117.57/117.68	c  117s |      16 |   259511 |   167952 |     5936     57 |        0 |        0
119.66/119.73	c  119s |      16 |   262585 |   170052 |     5936     57 |        0 |        0
121.67/121.73	c  121s |      16 |   264630 |   171552 |     5936     58 |        0 |        0
123.76/123.81	c  123s |      16 |   267068 |   173152 |     5936     58 |        0 |        0
125.77/125.87	c  125s |      16 |   269536 |   174752 |     5936     59 |        0 |        0
127.87/127.94	c  127s |      16 |   271679 |   176352 |     5936     59 |        0 |        0
129.97/130.08	c  129s |      16 |   273470 |   177752 |     5936     60 |        0 |        0
132.07/132.15	c  131s |      16 |   275276 |   179052 |     5936     60 |        0 |        0
134.27/134.31	c  134s |      16 |   277285 |   180552 |     5936     61 |        0 |        0
136.37/136.41	c  136s |      16 |   279791 |   182352 |     5936     61 |        0 |        0
138.46/138.56	c  138s |      16 |   281632 |   183752 |     5936     61 |        0 |        0
140.46/140.58	c  140s |      16 |   285888 |   186952 |     5936     62 |        0 |        0
142.56/142.61	c  142s |      16 |   289502 |   189652 |     5936     63 |        0 |        0
144.56/144.66	c  144s |      16 |   293852 |   193152 |     5936     64 |        0 |        0
146.56/146.68	c  146s |      16 |   296876 |   195552 |     5936     65 |        0 |        0
148.06/148.13	c  147s |      17 |   299077 |   197432 |     6530     65 |        0 |        0
150.06/150.14	c  149s |      17 |   303325 |   200032 |     6530     66 |        0 |        0
152.16/152.20	c  151s |      17 |   306468 |   202532 |     6530     67 |        0 |        0
154.16/154.22	c  153s |      17 |   309990 |   205232 |     6530     67 |        0 |        0
156.26/156.31	c  156s |      17 |   312657 |   207332 |     6530     68 |        0 |        0
158.26/158.38	c  158s |      17 |   315444 |   209332 |     6530     68 |        0 |        0
160.36/160.44	c  160s |      17 |   317469 |   210932 |     6530     69 |        0 |        0
162.46/162.56	c  162s |      17 |   321141 |   213632 |     6530     70 |        0 |        0
164.56/164.62	c  164s |      17 |   324711 |   216232 |     6530     70 |        0 |        0
166.56/166.66	c  166s |      17 |   327909 |   218632 |     6530     71 |        0 |        0
168.66/168.72	c  168s |      17 |   331234 |   220832 |     6530     71 |        0 |        0
170.65/170.74	c  170s |      17 |   334602 |   223232 |     6530     72 |        0 |        0
172.67/172.79	c  172s |      17 |   337596 |   225532 |     6530     73 |        0 |        0
174.75/174.88	c  174s |      17 |   340350 |   227632 |     6530     73 |        0 |        0
176.86/176.98	c  176s |      17 |   342637 |   229432 |     6530     74 |        0 |        0
178.96/179.07	c  178s |      17 |   346353 |   231932 |     6530     74 |        0 |        0
181.06/181.12	c  180s |      17 |   349400 |   234132 |     6530     75 |        0 |        0
183.16/183.26	c  183s |      17 |   352154 |   236132 |     6530     76 |        0 |        0
185.26/185.34	c  185s |      17 |   356766 |   238932 |     6530     76 |        0 |        0
187.25/187.39	c  187s |      17 |   361524 |   241732 |     6530     77 |        0 |        0
189.36/189.45	c  189s |      17 |   364576 |   243832 |     6530     78 |        0 |        0
191.46/191.55	c  191s |      17 |   368195 |   246132 |     6530     78 |        0 |        0
193.45/193.56	c  193s |      17 |   371311 |   248132 |     6530     79 |        0 |        0
195.54/195.63	c  195s |      17 |   374128 |   249932 |     6530     79 |        0 |        0
197.65/197.77	c  197s |      17 |   377197 |   252232 |     6530     80 |        0 |        0
199.75/199.82	c  199s |      17 |   379829 |   254232 |     6530     80 |        0 |        0
201.74/201.85	c  201s |      17 |   382554 |   256232 |     6530     81 |        0 |        0
203.85/203.94	c  203s |      17 |   385877 |   258632 |     6530     81 |        0 |        0
205.84/205.98	c  205s |      17 |   390092 |   261532 |     6530     82 |        0 |        0
207.85/208.00	c  207s |      17 |   396095 |   265932 |     6530     83 |        0 |        0
209.94/210.06	c  209s |      17 |   401700 |   270032 |     6530     85 |        0 |        0
211.94/212.07	c  211s |      17 |   407341 |   274232 |     6530     86 |        0 |        0
213.94/214.09	c  213s |      17 |   411868 |   277732 |     6530     87 |        0 |        0
216.04/216.11	c  215s |      17 |   417670 |   282132 |     6530     88 |        0 |        0
218.04/218.14	c  217s |      17 |   423164 |   286532 |     6530     89 |        0 |        0
220.04/220.19	c  219s |      17 |   428446 |   290732 |     6530     90 |        0 |        0
222.14/222.23	c  222s |      17 |   434288 |   295132 |     7184     91 |        0 |        0
222.54/222.70	c  222s |      18 |   435815 |   296252 |     7184     91 |        0 |        0
224.64/224.73	c  224s |      18 |   442409 |   300652 |     7184     92 |        0 |        0
226.65/226.74	c  226s |      18 |   446277 |   303852 |     7184     93 |        0 |        0
228.64/228.79	c  228s |      18 |   450643 |   307352 |     7184     94 |        0 |        0
230.74/230.81	c  230s |      18 |   456631 |   312052 |     7184     95 |        0 |        0
232.74/232.83	c  232s |      18 |   461887 |   316252 |     7184     96 |        0 |        0
234.73/234.88	c  234s |      18 |   466826 |   320252 |     7184     97 |        0 |        0
236.83/236.92	c  236s |      18 |   471957 |   324252 |     7184     98 |        0 |        0
238.84/238.95	c  238s |      18 |   477744 |   328652 |     7184     99 |        0 |        0
240.84/240.97	c  240s |      18 |   481834 |   331952 |     7184    100 |        0 |        0
242.93/243.00	c  242s |      18 |   486092 |   335452 |     7184    101 |        0 |        0
244.93/245.05	c  244s |      18 |   491610 |   339652 |     7184    102 |        0 |        0
246.93/247.08	c  246s |      18 |   496202 |   343152 |     7184    103 |        0 |        0
249.03/249.12	c  248s |      18 |   500000 |   346152 |     7184    104 |        0 |        0
251.04/251.12	c  250s |      18 |   503580 |   349052 |     7184    104 |        0 |        0
253.04/253.17	c  252s |      18 |   506862 |   351652 |     7184    105 |        0 |        0
255.04/255.20	c  254s |      18 |   511326 |   355052 |     7184    106 |        0 |        0
257.13/257.27	c  257s |      18 |   515287 |   358152 |     7184    107 |        0 |        0
259.23/259.32	c  259s |      18 |   518901 |   360952 |     7184    107 |        0 |        0
261.23/261.35	c  261s |      18 |   523299 |   364452 |     7184    108 |        0 |        0
263.23/263.38	c  263s |      18 |   528013 |   368152 |     7184    109 |        0 |        0
265.33/265.44	c  265s |      18 |   532002 |   371452 |     7184    110 |        0 |        0
267.33/267.45	c  267s |      18 |   535180 |   374152 |     7184    110 |        0 |        0
269.33/269.49	c  269s |      18 |   538664 |   376952 |     7184    111 |        0 |        0
271.33/271.50	c  271s |      18 |   543671 |   380752 |     7184    112 |        0 |        0
273.42/273.51	c  273s |      18 |   547823 |   383952 |     7184    113 |        0 |        0
275.42/275.59	c  275s |      18 |   551459 |   386852 |     7184    114 |        0 |        0
277.52/277.64	c  277s |      18 |   555716 |   390052 |     7184    114 |        0 |        0
279.52/279.68	c  279s |      18 |   559519 |   393052 |     7184    115 |        0 |        0
281.53/281.70	c  281s |      18 |   563558 |   396152 |     7184    116 |        0 |        0
283.63/283.73	c  283s |      18 |   566841 |   398752 |     7184    116 |        0 |        0
285.62/285.74	c  285s |      18 |   569752 |   401052 |     7184    117 |        0 |        0
287.73/287.80	c  287s |      18 |   572889 |   403552 |     7184    118 |        0 |        0
289.72/289.85	c  289s |      18 |   576436 |   406352 |     7184    118 |        0 |        0
291.81/291.92	c  291s |      18 |   579948 |   409152 |     7184    119 |        0 |        0
293.91/294.00	c  293s |      18 |   582841 |   411552 |     7184    120 |        0 |        0
295.93/296.07	c  295s |      18 |   585125 |   413452 |     7184    120 |        0 |        0
298.02/298.14	c  297s |      18 |   588485 |   416152 |     7184    121 |        0 |        0
300.12/300.20	c  299s |      18 |   591236 |   418352 |     7184    121 |        0 |        0
302.12/302.25	c  302s |      18 |   594211 |   420752 |     7184    122 |        0 |        0
304.21/304.34	c  304s |      18 |   596665 |   422752 |     7184    122 |        0 |        0
306.31/306.41	c  306s |      18 |   599276 |   424852 |     7184    123 |        0 |        0
308.32/308.47	c  308s |      18 |   601674 |   426952 |     7184    123 |        0 |        0
310.31/310.49	c  310s |      18 |   603896 |   428752 |     7184    124 |        0 |        0
312.42/312.54	c  312s |      18 |   609212 |   432352 |     7184    125 |        0 |        0
314.41/314.55	c  314s |      18 |   615035 |   435752 |     7184    125 |        0 |        0
316.41/316.59	c  316s |      18 |   621265 |   439752 |     7184    126 |        0 |        0
318.51/318.60	c  318s |      18 |   625609 |   442752 |     7903    127 |        0 |        0
319.81/319.98	c  319s |      19 |   628211 |   444482 |     7903    127 |        0 |        0
321.81/321.99	c  321s |      19 |   632982 |   447082 |     7903    128 |        0 |        0
323.91/324.05	c  323s |      19 |   637413 |   450182 |     7903    129 |        0 |        0
325.91/326.09	c  325s |      19 |   641847 |   453082 |     7903    129 |        0 |        0
328.01/328.11	c  327s |      19 |   645470 |   455582 |     7903    130 |        0 |        0
330.02/330.15	c  329s |      19 |   648578 |   457782 |     7903    130 |        0 |        0
332.11/332.25	c  332s |      19 |   652502 |   460482 |     7903    131 |        0 |        0
334.11/334.27	c  334s |      19 |   655589 |   462382 |     7903    132 |        0 |        0
336.20/336.33	c  336s |      19 |   661289 |   465882 |     7903    132 |        0 |        0
338.21/338.36	c  338s |      19 |   665575 |   468582 |     7903    133 |        0 |        0
340.20/340.36	c  340s |      19 |   669756 |   471082 |     7903    133 |        0 |        0
342.30/342.41	c  342s |      19 |   674078 |   473682 |     7903    134 |        0 |        0
344.31/344.44	c  344s |      19 |   677586 |   475982 |     7903    135 |        0 |        0
346.30/346.47	c  346s |      19 |   680877 |   478182 |     7903    135 |        0 |        0
348.50/348.63	c  348s |      19 |   683956 |   480182 |     7903    136 |        0 |        0
350.60/350.71	c  350s |      19 |   686737 |   481982 |     7903    136 |        0 |        0
352.60/352.72	c  352s |      19 |   690245 |   484482 |     7903    136 |        0 |        0
354.60/354.78	c  354s |      19 |   694621 |   487582 |     7903    137 |        0 |        0
356.60/356.80	c  356s |      19 |   698677 |   490282 |     7903    138 |        0 |        0
358.70/358.89	c  358s |      19 |   703974 |   494082 |     7903    139 |        0 |        0
360.81/360.91	c  360s |      19 |   707277 |   496682 |     7903    139 |        0 |        0
362.80/362.91	c  362s |      19 |   710021 |   498882 |     7903    140 |        0 |        0
364.80/364.98	c  364s |      19 |   712556 |   500982 |     7903    140 |        0 |        0
367.00/367.15	c  366s |      19 |   714510 |   502482 |     7903    141 |        0 |        0
369.10/369.22	c  368s |      19 |   716794 |   504382 |     7903    141 |        0 |        0
371.10/371.29	c  371s |      19 |   720460 |   507282 |     7903    142 |        0 |        0
373.20/373.33	c  373s |      19 |   723848 |   509882 |     7903    142 |        0 |        0
375.19/375.35	c  375s |      19 |   727100 |   512382 |     7903    143 |        0 |        0
377.20/377.37	c  377s |      19 |   729660 |   514482 |     7903    143 |        0 |        0
379.29/379.44	c  379s |      19 |   732117 |   516482 |     7903    144 |        0 |        0
381.39/381.55	c  381s |      19 |   734161 |   518182 |     7903    144 |        0 |        0
383.40/383.57	c  383s |      19 |   735967 |   519682 |     7903    144 |        0 |        0
385.49/385.60	c  385s |      19 |   739234 |   522182 |     7903    145 |        0 |        0
387.59/387.71	c  387s |      19 |   742523 |   524782 |     7903    146 |        0 |        0
389.60/389.77	c  389s |      19 |   745462 |   527082 |     7903    146 |        0 |        0
391.69/391.80	c  391s |      19 |   747945 |   529082 |     7903    146 |        0 |        0
393.70/393.80	c  393s |      19 |   749984 |   530682 |     7903    147 |        0 |        0
395.69/395.88	c  395s |      19 |   752289 |   532482 |     7903    147 |        0 |        0
397.78/397.95	c  397s |      19 |   756095 |   535282 |     7903    148 |        0 |        0
399.89/400.05	c  399s |      19 |   759782 |   538182 |     7903    149 |        0 |        0
401.89/402.06	c  401s |      19 |   764549 |   541782 |     7903    149 |        0 |        0
403.98/404.11	c  403s |      19 |   769995 |   545182 |     7903    150 |        0 |        0
405.98/406.13	c  405s |      19 |   773730 |   547782 |     7903    151 |        0 |        0
408.09/408.22	c  407s |      19 |   777339 |   550382 |     7903    151 |        0 |        0
410.09/410.25	c  410s |      19 |   780140 |   552382 |     7903    152 |        0 |        0
412.18/412.30	c  412s |      19 |   783356 |   554782 |     7903    152 |        0 |        0
414.18/414.38	c  414s |      19 |   785931 |   556682 |     7903    153 |        0 |        0
416.29/416.44	c  416s |      19 |   789013 |   558782 |     7903    153 |        0 |        0
418.28/418.50	c  418s |      19 |   791940 |   560882 |     7903    154 |        0 |        0
420.38/420.54	c  420s |      19 |   794450 |   562682 |     7903    154 |        0 |        0
422.48/422.66	c  422s |      19 |   797445 |   564682 |     7903    154 |        0 |        0
424.68/424.81	c  424s |      19 |   800036 |   566382 |     7903    155 |        0 |        0
426.68/426.82	c  426s |      19 |   802662 |   568282 |     7903    155 |        0 |        0
428.78/428.90	c  428s |      19 |   805561 |   570482 |     7903    156 |        0 |        0
430.78/430.92	c  430s |      19 |   810383 |   573982 |     7903    157 |        0 |        0
432.78/432.94	c  432s |      19 |   815738 |   578082 |     7903    157 |        0 |        0
434.77/434.96	c  434s |      19 |   821875 |   582382 |     7903    158 |        0 |        0
436.77/436.99	c  436s |      19 |   826773 |   586282 |     7903    159 |        0 |        0
438.88/439.06	c  438s |      19 |   831446 |   589882 |     7903    160 |        0 |        0
440.87/441.07	c  440s |      19 |   835411 |   592882 |     7903    161 |        0 |        0
442.87/443.09	c  442s |      19 |   840464 |   596882 |     7903    162 |        0 |        0
444.97/445.12	c  444s |      19 |   844362 |   600082 |     7903    162 |        0 |        0
446.97/447.13	c  446s |      19 |   849249 |   603982 |     7903    163 |        0 |        0
448.96/449.15	c  448s |      19 |   854535 |   608182 |     7903    164 |        0 |        0
451.06/451.21	c  450s |      19 |   859404 |   612082 |     7903    165 |        0 |        0
453.07/453.22	c  452s |      19 |   863854 |   615482 |     7903    166 |        0 |        0
455.06/455.26	c  455s |      19 |   868149 |   618882 |     7903    167 |        0 |        0
457.16/457.31	c  457s |      19 |   872868 |   622682 |     7903    167 |        0 |        0
459.16/459.37	c  459s |      19 |   877150 |   626182 |     7903    168 |        0 |        0
461.16/461.39	c  461s |      19 |   881238 |   629482 |     7903    169 |        0 |        0
463.26/463.44	c  463s |      19 |   885201 |   632882 |     7903    170 |        0 |        0
465.26/465.47	c  465s |      19 |   889307 |   636082 |     7903    170 |        0 |        0
467.37/467.54	c  467s |      19 |   893323 |   639382 |     7903    171 |        0 |        0
469.36/469.55	c  469s |      19 |   896600 |   641982 |     7903    172 |        0 |        0
471.45/471.65	c  471s |      19 |   900355 |   645082 |     7903    173 |        0 |        0
473.46/473.68	c  473s |      19 |   904094 |   648182 |     7903    173 |        0 |        0
475.46/475.68	c  475s |      19 |   906832 |   650482 |     7903    174 |        0 |        0
477.46/477.69	c  477s |      19 |   910018 |   653082 |     7903    174 |        0 |        0
479.46/479.69	c  479s |      19 |   914190 |   656282 |     7903    175 |        0 |        0
481.55/481.71	c  481s |      19 |   918208 |   659382 |     7903    176 |        0 |        0
483.55/483.76	c  483s |      19 |   921736 |   662182 |     8694    176 |        0 |        0
485.65/485.82	c  485s |      19 |   925024 |   664782 |     8694    177 |        0 |        0
487.35/487.50	c  487s |      20 |   927578 |   666827 |     8694    177 |        0 |        0
489.36/489.52	c  489s |      20 |   930902 |   668727 |     8694    178 |        0 |        0
491.35/491.57	c  491s |      20 |   933637 |   670927 |     8694    178 |        0 |        0
493.45/493.63	c  493s |      20 |   935773 |   672727 |     8694    178 |        0 |        0
495.45/495.66	c  495s |      20 |   938532 |   674827 |     8694    179 |        0 |        0
497.55/497.76	c  497s |      20 |   941355 |   677027 |     8694    179 |        0 |        0
499.54/499.76	c  499s |      20 |   944155 |   679127 |     8694    180 |        0 |        0
501.55/501.78	c  501s |      20 |   948571 |   682227 |     8694    180 |        0 |        0
503.65/503.83	c  503s |      20 |   952254 |   684827 |     8694    181 |        0 |        0
505.65/505.85	c  505s |      20 |   955908 |   687427 |     8694    181 |        0 |        0
507.65/507.89	c  507s |      20 |   959832 |   690327 |     8694    182 |        0 |        0
509.84/510.01	c  509s |      20 |   962818 |   692827 |     8694    183 |        0 |        0
511.94/512.14	c  511s |      20 |   965501 |   695127 |     8694    183 |        0 |        0
513.94/514.17	c  513s |      20 |   968017 |   697127 |     8694    183 |        0 |        0
516.04/516.27	c  516s |      20 |   970197 |   698927 |     8694    184 |        0 |        0
518.05/518.29	c  518s |      20 |   973373 |   701427 |     8694    184 |        0 |        0
520.14/520.39	c  520s |      20 |   975556 |   703227 |     8694    185 |        0 |        0
522.24/522.43	c  522s |      20 |   977697 |   705027 |     8694    185 |        0 |        0
524.24/524.45	c  524s |      20 |   979641 |   706727 |     8694    185 |        0 |        0
526.24/526.46	c  526s |      20 |   981305 |   708127 |     8694    186 |        0 |        0
528.34/528.56	c  528s |      20 |   983635 |   709927 |     8694    186 |        0 |        0
530.34/530.58	c  530s |      20 |   985442 |   711327 |     8694    186 |        0 |        0
532.44/532.66	c  532s |      20 |   988166 |   713427 |     8694    187 |        0 |        0
534.55/534.74	c  534s |      20 |   990570 |   715327 |     8694    187 |        0 |        0
536.53/536.79	c  536s |      20 |   992937 |   717227 |     8694    188 |        0 |        0
538.63/538.89	c  538s |      20 |   995352 |   719027 |     8694    188 |        0 |        0
540.73/540.90	c  540s |      20 |   997607 |   720827 |     8694    188 |        0 |        0
542.73/542.91	c  542s |      20 |   999509 |   722327 |     8694    189 |        0 |        0
544.73/544.96	c  544s |      20 |  1001731 |   724027 |     8694    189 |        0 |        0
546.83/547.05	c  546s |      20 |  1004136 |   725927 |     8694    189 |        0 |        0
548.84/549.09	c  548s |      20 |  1006606 |   727727 |     8694    190 |        0 |        0
550.94/551.17	c  550s |      20 |  1009462 |   729827 |     8694    190 |        0 |        0
553.03/553.27	c  553s |      20 |  1011954 |   731627 |     8694    191 |        0 |        0
555.13/555.36	c  555s |      20 |  1014291 |   733327 |     8694    191 |        0 |        0
557.22/557.44	c  557s |      20 |  1016544 |   735027 |     8694    191 |        0 |        0
559.33/559.51	c  559s |      20 |  1018506 |   736527 |     8694    192 |        0 |        0
561.32/561.54	c  561s |      20 |  1020780 |   738327 |     8694    192 |        0 |        0
563.32/563.58	c  563s |      20 |  1022911 |   739927 |     8694    192 |        0 |        0
565.42/565.60	c  565s |      20 |  1024734 |   741327 |     8694    193 |        0 |        0
567.43/567.61	c  567s |      20 |  1027096 |   743127 |     8694    193 |        0 |        0
569.42/569.62	c  569s |      20 |  1030147 |   745527 |     8694    193 |        0 |        0
571.42/571.69	c  571s |      20 |  1033156 |   747827 |     8694    194 |        0 |        0
573.41/573.70	c  573s |      20 |  1035701 |   749827 |     8694    194 |        0 |        0
575.51/575.78	c  575s |      20 |  1038227 |   751827 |     8694    195 |        0 |        0
577.61/577.85	c  577s |      20 |  1041366 |   754327 |     8694    195 |        0 |        0
579.71/579.93	c  579s |      20 |  1043812 |   756327 |     8694    196 |        0 |        0
581.81/582.03	c  581s |      20 |  1045984 |   758227 |     8694    196 |        0 |        0
583.80/584.07	c  583s |      20 |  1048310 |   759927 |     8694    196 |        0 |        0
585.80/586.08	c  585s |      20 |  1050246 |   761427 |     8694    197 |        0 |        0
587.80/588.09	c  587s |      20 |  1053464 |   763727 |     8694    197 |        0 |        0
589.90/590.14	c  589s |      20 |  1056896 |   766327 |     8694    198 |        0 |        0
592.00/592.21	c  591s |      20 |  1060016 |   768827 |     8694    198 |        0 |        0
594.01/594.26	c  594s |      20 |  1062828 |   770927 |     8694    199 |        0 |        0
596.01/596.30	c  596s |      20 |  1065551 |   772927 |     8694    199 |        0 |        0
598.10/598.36	c  598s |      20 |  1068065 |   774927 |     8694    199 |        0 |        0
600.20/600.43	c  600s |      20 |  1070053 |   776527 |     8694    200 |        0 |        0
602.20/602.44	c  602s |      20 |  1072514 |   778427 |     8694    200 |        0 |        0
604.30/604.54	c  604s |      20 |  1074676 |   780027 |     8694    201 |        0 |        0
606.40/606.63	c  606s |      20 |  1077211 |   782027 |     8694    201 |        0 |        0
608.50/608.72	c  608s |      20 |  1079633 |   783827 |     8694    201 |        0 |        0
610.49/610.78	c  610s |      20 |  1081712 |   785427 |     8694    202 |        0 |        0
612.60/612.85	c  612s |      20 |  1084507 |   787327 |     8694    202 |        0 |        0
614.70/614.93	c  614s |      20 |  1087505 |   789627 |     8694    203 |        0 |        0
616.70/616.97	c  616s |      20 |  1090633 |   791827 |     8694    203 |        0 |        0
618.79/619.07	c  618s |      20 |  1094000 |   794227 |     8694    203 |        0 |        0
620.89/621.14	c  620s |      20 |  1096835 |   796427 |     8694    204 |        0 |        0
622.89/623.17	c  622s |      20 |  1099924 |   798627 |     8694    204 |        0 |        0
624.99/625.27	c  625s |      20 |  1103095 |   800827 |     8694    205 |        0 |        0
627.09/627.32	c  627s |      20 |  1106088 |   802827 |     8694    205 |        0 |        0
629.09/629.39	c  629s |      20 |  1108989 |   804827 |     8694    206 |        0 |        0
631.19/631.47	c  631s |      20 |  1112270 |   807027 |     8694    206 |        0 |        0
633.29/633.50	c  633s |      20 |  1114704 |   808727 |     8694    206 |        0 |        0
635.29/635.56	c  635s |      20 |  1117459 |   810727 |     8694    207 |        0 |        0
637.38/637.60	c  637s |      20 |  1120372 |   812827 |     8694    207 |        0 |        0
639.38/639.62	c  639s |      20 |  1123842 |   815327 |     8694    208 |        0 |        0
641.49/641.71	c  641s |      20 |  1127384 |   817727 |     8694    208 |        0 |        0
643.58/643.81	c  643s |      20 |  1130625 |   820027 |     8694    209 |        0 |        0
645.59/645.88	c  645s |      20 |  1133369 |   822027 |     8694    209 |        0 |        0
647.59/647.89	c  647s |      20 |  1136139 |   823927 |     8694    210 |        0 |        0
649.68/649.99	c  649s |      20 |  1139423 |   826027 |     8694    210 |        0 |        0
651.78/652.01	c  651s |      20 |  1142158 |   827827 |     8694    210 |        0 |        0
653.78/654.08	c  653s |      20 |  1144747 |   829727 |     8694    211 |        0 |        0
655.88/656.16	c  655s |      20 |  1148203 |   831927 |     8694    211 |        0 |        0
657.98/658.23	c  657s |      20 |  1150617 |   833627 |     8694    212 |        0 |        0
659.97/660.23	c  659s |      20 |  1153106 |   835427 |     8694    212 |        0 |        0
661.98/662.28	c  662s |      20 |  1156097 |   837527 |     8694    212 |        0 |        0
664.07/664.30	c  664s |      20 |  1158567 |   839327 |     8694    213 |        0 |        0
666.07/666.34	c  666s |      20 |  1161785 |   841527 |     8694    213 |        0 |        0
668.17/668.42	c  668s |      20 |  1165594 |   843927 |     8694    214 |        0 |        0
670.26/670.52	c  670s |      20 |  1168813 |   846127 |     8694    214 |        0 |        0
672.36/672.62	c  672s |      20 |  1171550 |   848027 |     8694    215 |        0 |        0
674.37/674.67	c  674s |      20 |  1174706 |   850127 |     8694    215 |        0 |        0
676.46/676.71	c  676s |      20 |  1177101 |   851927 |     8694    215 |        0 |        0
678.47/678.80	c  678s |      20 |  1179253 |   853627 |     8694    216 |        0 |        0
680.56/680.83	c  680s |      20 |  1181621 |   855427 |     8694    216 |        0 |        0
682.66/682.92	c  682s |      20 |  1183610 |   856927 |     8694    216 |        0 |        0
684.66/684.97	c  684s |      20 |  1185588 |   858427 |     8694    217 |        0 |        0
686.76/687.07	c  686s |      20 |  1188293 |   860327 |     8694    217 |        0 |        0
688.86/689.10	c  688s |      20 |  1190549 |   861927 |     8694    217 |        0 |        0
690.86/691.18	c  690s |      20 |  1192947 |   863627 |     8694    218 |        0 |        0
692.95/693.24	c  693s |      20 |  1195591 |   865227 |     8694    218 |        0 |        0
694.96/695.27	c  695s |      20 |  1198475 |   867227 |     8694    219 |        0 |        0
697.06/697.35	c  697s |      20 |  1201392 |   869327 |     8694    219 |        0 |        0
699.15/699.44	c  699s |      20 |  1203831 |   871027 |     8694    219 |        0 |        0
701.15/701.49	c  701s |      20 |  1206992 |   873127 |     8694    220 |        0 |        0
703.26/703.56	c  703s |      20 |  1210081 |   875127 |     8694    220 |        0 |        0
705.25/705.58	c  705s |      20 |  1212908 |   876927 |     8694    221 |        0 |        0
707.35/707.66	c  707s |      20 |  1215951 |   878827 |     8694    221 |        0 |        0
709.44/709.76	c  709s |      20 |  1220191 |   881527 |     8694    222 |        0 |        0
711.45/711.78	c  711s |      20 |  1222810 |   883527 |     8694    222 |        0 |        0
713.55/713.84	c  713s |      20 |  1224967 |   885227 |     8694    222 |        0 |        0
715.64/715.94	c  715s |      20 |  1227352 |   886927 |     8694    223 |        0 |        0
717.74/718.07	c  717s |      20 |  1230122 |   888827 |     8694    223 |        0 |        0
719.84/720.11	c  719s |      20 |  1233171 |   890727 |     8694    223 |        0 |        0
721.84/722.15	c  721s |      20 |  1236541 |   893027 |     8694    224 |        0 |        0
723.94/724.21	c  723s |      20 |  1239788 |   895127 |     8694    224 |        0 |        0
725.94/726.25	c  726s |      20 |  1243199 |   897327 |     8694    225 |        0 |        0
727.94/728.29	c  728s |      20 |  1246563 |   899527 |     8694    225 |        0 |        0
730.03/730.35	c  730s |      20 |  1249669 |   901527 |     8694    226 |        0 |        0
732.13/732.45	c  732s |      20 |  1252821 |   903627 |     8694    226 |        0 |        0
734.23/734.59	c  734s |      20 |  1255229 |   905227 |     8694    226 |        0 |        0
736.33/736.68	c  736s |      20 |  1258642 |   907427 |     8694    227 |        0 |        0
738.43/738.70	c  738s |      20 |  1262411 |   909727 |     8694    227 |        0 |        0
740.43/740.76	c  740s |      20 |  1265131 |   911627 |     8694    228 |        0 |        0
742.43/742.79	c  742s |      20 |  1268587 |   913827 |     8694    228 |        0 |        0
744.53/744.83	c  744s |      20 |  1271823 |   916027 |     8694    229 |        0 |        0
746.53/746.90	c  746s |      20 |  1275323 |   918527 |     8694    229 |        0 |        0
748.62/748.96	c  748s |      20 |  1277825 |   920227 |     8694    230 |        0 |        0
750.72/751.00	c  750s |      20 |  1280687 |   922227 |     8694    230 |        0 |        0
752.82/753.12	c  752s |      20 |  1283452 |   924027 |     8694    230 |        0 |        0
754.92/755.20	c  754s |      20 |  1286374 |   925827 |     8694    231 |        0 |        0
756.92/757.25	c  757s |      20 |  1289368 |   927727 |     8694    231 |        0 |        0
759.02/759.35	c  759s |      20 |  1291875 |   929427 |     8694    231 |        0 |        0
761.11/761.43	c  761s |      20 |  1294223 |   931027 |     8694    232 |        0 |        0
763.12/763.46	c  763s |      20 |  1296142 |   932427 |     8694    232 |        0 |        0
765.32/765.62	c  765s |      20 |  1299842 |   934727 |     8694    233 |        0 |        0
767.32/767.66	c  767s |      20 |  1303135 |   936927 |     8694    233 |        0 |        0
769.32/769.68	c  769s |      20 |  1306869 |   939127 |     8694    233 |        0 |        0
771.41/771.70	c  771s |      20 |  1310041 |   941127 |     8694    234 |        0 |        0
773.41/773.79	c  773s |      20 |  1312797 |   942927 |     8694    234 |        0 |        0
775.51/775.83	c  775s |      20 |  1316332 |   945027 |     8694    235 |        0 |        0
777.52/777.89	c  777s |      20 |  1319005 |   946827 |     8694    235 |        0 |        0
778.42/778.79	c  778s |      20 |  1320146 |   947565 |     8694    235 |        0 |        0
778.42/778.79	c #cpu_time = 776.356s
778.42/778.79	c #wall_clock_time = 778.560s
778.42/778.79	c #decision = 1320146
778.42/778.79	c #random_decision = 2927
778.42/778.79	c #conflict = 947565
778.42/778.79	c #restart = 20
778.42/778.79	c BCD2: found a new core of size 930: cost of the new core is >=1
778.42/778.79	c lower bound updated to 1
778.42/778.79	c BCD2: 1 <= obj <= 279
778.42/778.79	c BCD2: #cores=1, #unrelaxed=0, #relaxed=930, #hardened=0
778.42/778.79	c BCD2: #sat=1 #unsat=2 bias=2/3
778.42/778.80	c Solving starts ...
778.42/778.80	c ============================[ Search Statistics ]============================
778.42/778.80	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
778.42/778.80	c       |         |          |          |    Limit     GC | Var      | Constra 
778.42/778.80	c =============================================================================
778.42/778.80	c  0.0s |       0 |        0 |        0 |     8694      0 |        0 |        0
778.72/779.00	c  0.2s |       0 |     2465 |       51 |     8694      0 |        0 |        0
778.72/779.00	c #cpu_time = 0.200s
778.72/779.00	c #wall_clock_time = 0.201s
778.72/779.00	c #decision = 2465
778.72/779.00	c #random_decision = 14
778.72/779.00	c #conflict = 51
778.72/779.00	c #restart = 0
778.72/779.00	o 211
778.72/779.00	c BCD2: updating upper bound: 279 -> 210
778.72/779.00	c BCD2: 1 <= obj <= 210
778.72/779.00	c BCD2: #cores=1, #unrelaxed=0, #relaxed=930, #hardened=0
778.72/779.00	c BCD2: #sat=2 #unsat=2 bias=2/4
778.72/779.01	c Solving starts ...
778.72/779.01	c ============================[ Search Statistics ]============================
778.72/779.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
778.72/779.01	c       |         |          |          |    Limit     GC | Var      | Constra 
778.72/779.01	c =============================================================================
778.72/779.01	c  0.0s |       0 |        0 |        0 |     8694      0 |        0 |        2
778.82/779.14	c  0.1s |       1 |      357 |      100 |     8694      0 |        0 |        2
778.91/779.28	c  0.3s |       2 |      670 |      250 |     8694      0 |        0 |        2
779.11/779.48	c  0.5s |       2 |     1023 |      468 |     8694      0 |        0 |        2
779.11/779.48	c #cpu_time = 0.471s
779.11/779.48	c #wall_clock_time = 0.473s
779.11/779.48	c #decision = 1023
779.11/779.48	c #random_decision = 3
779.11/779.48	c #conflict = 468
779.11/779.48	c #restart = 2
779.11/779.48	o 79
779.11/779.48	c BCD2: hardening fixes 206 literals
779.11/779.48	c BCD2: updating upper bound: 210 -> 78
779.11/779.48	c BCD2: 1 <= obj <= 78
779.11/779.48	c BCD2: #cores=1, #unrelaxed=0, #relaxed=724, #hardened=206
779.11/779.48	c BCD2: #sat=3 #unsat=2 bias=2/5
779.11/779.50	c Solving starts ...
779.11/779.50	c ============================[ Search Statistics ]============================
779.11/779.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
779.11/779.50	c       |         |          |          |    Limit     GC | Var      | Constra 
779.11/779.50	c =============================================================================
779.11/779.50	c  0.0s |       0 |        0 |        0 |     8694      0 |      206 |        4
779.32/779.66	c  0.2s |       1 |      234 |      100 |     8694      0 |      206 |        4
779.61/779.93	c  0.4s |       2 |      475 |      250 |     8694      0 |      206 |        4
779.81/780.13	c  0.6s |       3 |      915 |      475 |     8694      0 |      206 |        4
780.21/780.52	c  1.0s |       4 |     1457 |      813 |     8694      1 |      206 |        4
780.42/780.79	c  1.3s |       5 |     2256 |     1320 |     8694      1 |      206 |        4
780.72/781.03	c  1.5s |       5 |     3055 |     1743 |     8694      1 |      206 |        4
780.72/781.03	c #cpu_time = 1.534s
780.72/781.03	c #wall_clock_time = 1.538s
780.72/781.03	c #decision = 3055
780.72/781.03	c #random_decision = 7
780.72/781.03	c #conflict = 1743
780.72/781.03	c #restart = 5
780.72/781.03	o 40
780.72/781.04	c BCD2: hardening fixes 350 literals
780.72/781.04	c BCD2: updating upper bound: 78 -> 39
780.72/781.04	c BCD2: 1 <= obj <= 39
780.72/781.04	c BCD2: #cores=1, #unrelaxed=0, #relaxed=374, #hardened=556
780.72/781.04	c BCD2: #sat=4 #unsat=2 bias=2/6
780.72/781.04	c Solving starts ...
780.72/781.04	c ============================[ Search Statistics ]============================
780.72/781.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
780.72/781.04	c       |         |          |          |    Limit     GC | Var      | Constra 
780.72/781.04	c =============================================================================
780.72/781.04	c  0.0s |       0 |        0 |        0 |     8694      0 |      556 |        6
780.82/781.12	c  0.1s |       1 |      171 |      100 |     8694      0 |      556 |        6
780.91/781.29	c  0.2s |       2 |      475 |      250 |     8694      0 |      556 |        6
781.11/781.42	c  0.4s |       3 |      797 |      475 |     8694      0 |      556 |        6
781.22/781.58	c  0.5s |       4 |     1327 |      813 |     8694      0 |      556 |        6
781.52/781.87	c  0.8s |       5 |     2219 |     1320 |     8694      0 |      556 |        6
781.72/782.02	c  1.0s |       5 |     2617 |     1572 |     8694      0 |      556 |        6
781.72/782.02	c #cpu_time = 0.975s
781.72/782.02	c #wall_clock_time = 0.978s
781.72/782.02	c #decision = 2617
781.72/782.02	c #random_decision = 1
781.72/782.02	c #conflict = 1572
781.72/782.02	c #restart = 5
781.72/782.02	o 14
781.72/782.02	c BCD2: hardening fixes 244 literals
781.72/782.02	c BCD2: updating upper bound: 39 -> 13
781.72/782.02	c BCD2: 1 <= obj <= 13
781.72/782.02	c BCD2: #cores=1, #unrelaxed=0, #relaxed=130, #hardened=800
781.72/782.02	c BCD2: #sat=5 #unsat=2 bias=2/7
781.72/782.02	c Solving starts ...
781.72/782.02	c ============================[ Search Statistics ]============================
781.72/782.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
781.72/782.02	c       |         |          |          |    Limit     GC | Var      | Constra 
781.72/782.02	c =============================================================================
781.72/782.02	c  0.0s |       0 |        0 |        0 |     8694      0 |      800 |        8
781.82/782.10	c  0.1s |       1 |      174 |      100 |     8694      0 |      800 |        8
781.82/782.20	c  0.2s |       2 |      379 |      250 |     8694      0 |      800 |        8
782.01/782.34	c  0.3s |       3 |      730 |      475 |     8694      0 |      800 |        8
782.21/782.51	c  0.5s |       4 |     1292 |      813 |     8694      0 |      800 |        8
782.42/782.77	c  0.7s |       5 |     2069 |     1320 |     8694      0 |      800 |        8
782.81/783.14	c  1.1s |       6 |     3116 |     2081 |     8694      0 |      800 |        8
783.42/783.74	c  1.7s |       7 |     4710 |     3223 |     8694      1 |      800 |        8
784.21/784.51	c  2.5s |       8 |     7131 |     4936 |     8694      1 |      800 |        8
785.41/785.72	c  3.7s |       9 |    10872 |     7506 |     8694      2 |      800 |        8
786.01/786.38	c  4.4s |       9 |    13471 |     9243 |     8694      2 |      800 |        8
786.01/786.38	c #cpu_time = 4.354s
786.01/786.38	c #wall_clock_time = 4.365s
786.01/786.38	c #decision = 13471
786.01/786.38	c #random_decision = 16
786.01/786.38	c #conflict = 9243
786.01/786.38	c #restart = 9
786.01/786.38	o 1
786.01/786.38	s OPTIMUM FOUND
786.01/786.38	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 x9 -x10
786.01/786.38	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
786.01/786.38	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
786.01/786.38	v -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
786.01/786.38	v -x41 x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50
786.01/786.38	v -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60
786.01/786.38	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
786.01/786.38	v -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
786.01/786.38	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90
786.01/786.38	v -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100
786.01/786.38	v -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
786.01/786.38	v -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120
786.01/786.38	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130
786.01/786.38	v -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
786.01/786.38	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150
786.01/786.38	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
786.01/786.38	v -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170
786.01/786.38	v -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180
786.01/786.38	v -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
786.01/786.38	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
786.01/786.38	v x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210
786.01/786.38	v -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220
786.01/786.38	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230
786.01/786.38	v -x231
786.01/786.38	c total CPU time = 784.163s
786.01/786.38	c total wall clock time = 786.388s

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

pid=7373
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.27 2.11 3/179 7376
/proc/meminfo: memFree=28816116/32872528 swapFree=1542984/1696284
[pid=7376] ppid=7373 vsize=747964 CPUtime=0 cores=1,3,5,7
/proc/7376/stat : 7376 (toysat) R 7373 7376 6047 0 -1 4202496 2796 0 0 0 0 0 0 0 20 0 4 0 36490047 765915136 2646 33554432000 4194304 16246674 140736638508016 140736638507440 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7376/statm: 187759 2658 441 2943 0 184653 0
[pid=7376/tid=7377] ppid=7373 vsize=766396 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7377/stat : 7377 (toysat) S 7373 7376 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36490047 784789504 2717 33554432000 4194304 16246674 140736638508016 139788802829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7376/tid=7378] ppid=7373 vsize=770492 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7378/stat : 7378 (toysat) S 7373 7376 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36490047 788983808 2734 33554432000 4194304 16246674 140736638508016 139788792339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7376/tid=7379] ppid=7373 vsize=774588 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7379/stat : 7379 (toysat) S 7373 7376 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36490047 793178112 2750 33554432000 4194304 16246674 140736638508016 139788781866160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.30 2.27 2.11 3/179 7376
/proc/meminfo: memFree=28816116/32872528 swapFree=1542984/1696284
[pid=7376] ppid=7373 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/7376/stat : 7376 (toysat) R 7373 7376 6047 0 -1 4202496 24673 0 0 0 6 3 0 0 20 0 4 0 36490047 1247350784 24515 33554432000 4194304 16246674 140736638508016 140736638507440 12500869 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7376/statm: 304529 24520 616 2943 0 301423 0
[pid=7376/tid=7377] ppid=7373 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7377/stat : 7377 (toysat) S 7373 7376 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36490047 1247350784 24521 33554432000 4194304 16246674 140736638508016 139788802829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7376/tid=7378] ppid=7373 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7378/stat : 7378 (toysat) S 7373 7376 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36490047 1247350784 24521 33554432000 4194304 16246674 140736638508016 139788792339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7376/tid=7379] ppid=7373 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7379/stat : 7379 (toysat) S 7373 7376 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36490047 1247350784 24522 33554432000 4194304 16246674 140736638508016 139788781866160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200633 s]
/proc/loadavg: 2.30 2.27 2.11 3/179 7376
/proc/meminfo: memFree=28816116/32872528 swapFree=1542984/1696284
[pid=7376] ppid=7373 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/7376/stat : 7376 (toysat) R 7373 7376 6047 0 -1 4202496 40544 0 0 0 13 6 0 0 20 0 4 0 36490047 1247350784 40384 33554432000 4194304 16246674 140736638508016 140736638507440 12369109 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7376/statm: 304529 40401 694 2943 0 301423 0
[pid=7376/tid=7377] ppid=7373 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7377/stat : 7377 (toysat) S 7373 7376 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36490047 1247350784 40412 33554432000 4194304 16246674 140736638508016 139788802829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7376/tid=7378] ppid=7373 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7378/stat : 7378 (toysat) S 7373 7376 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36490047 1247350784 40422 33554432000 4194304 16246674 140736638508016 139788792339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7376/tid=7379] ppid=7373 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7379/stat : 7379 (toysat) S 7373 7376 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36490047 1247350784 40424 33554432000 4194304 16246674 140736638508016 139788781866160 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) 1218116

[startup+0.300553 s]
/proc/loadavg: 2.30 2.27 2.11 3/179 7376
/proc/meminfo: memFree=28816116/32872528 swapFree=1542984/1696284
[pid=7376] ppid=7373 vsize=1222212 CPUtime=0.29 cores=1,3,5,7
/proc/7376/stat : 7376 (toysat) R 7373 7376 6047 0 -1 4202496 41774 0 0 0 23 6 0 0 20 0 4 0 36490047 1251545088 41587 33554432000 4194304 16246674 140736638508016 140736638491008 5823947 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7376/statm: 305553 41587 869 2943 0 302447 0
[pid=7376/tid=7377] ppid=7373 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7377/stat : 7377 (toysat) S 7373 7376 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36490047 1251545088 41587 33554432000 4194304 16246674 140736638508016 139788802829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7376/tid=7378] ppid=7373 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7378/stat : 7378 (toysat) S 7373 7376 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36490047 1251545088 41587 33554432000 4194304 16246674 140736638508016 139788792339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7376/tid=7379] ppid=7373 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7379/stat : 7379 (toysat) S 7373 7376 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36490047 1251545088 41587 33554432000 4194304 16246674 140736638508016 139788781866160 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) 1222212

[startup+0.700388 s]
/proc/loadavg: 2.30 2.27 2.11 3/179 7376
/proc/meminfo: memFree=28816116/32872528 swapFree=1542984/1696284
[pid=7376] ppid=7373 vsize=1222212 CPUtime=0.69 cores=1,3,5,7
/proc/7376/stat : 7376 (toysat) R 7373 7376 6047 0 -1 4202496 130148 0 0 0 49 20 0 0 20 0 4 0 36490047 1251545088 129961 33554432000 4194304 16246674 140736638508016 140736638491008 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7376/statm: 305553 129967 869 2943 0 302447 0
[pid=7376/tid=7377] ppid=7373 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7377/stat : 7377 (toysat) S 7373 7376 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36490047 1251545088 129973 33554432000 4194304 16246674 140736638508016 139788802829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7376/tid=7378] ppid=7373 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7378/stat : 7378 (toysat) S 7373 7376 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36490047 1251545088 129983 33554432000 4194304 16246674 140736638508016 139788792339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7376/tid=7379] ppid=7373 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7379/stat : 7379 (toysat) S 7373 7376 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36490047 1251545088 129992 33554432000 4194304 16246674 140736638508016 139788781866160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1222212

[startup+1.50042 s]
/proc/loadavg: 2.30 2.27 2.11 3/183 7380
/proc/meminfo: memFree=27982168/32872528 swapFree=1542984/1696284
[pid=7376] ppid=7373 vsize=1306180 CPUtime=1.49 cores=1,3,5,7
/proc/7376/stat : 7376 (toysat) R 7373 7376 6047 0 -1 4202496 267668 0 0 0 113 36 0 0 20 0 4 0 36490047 1337528320 267481 33554432000 4194304 16246674 140736638508016 140736638491016 5675825 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7376/statm: 326545 267481 875 2943 0 323439 0
[pid=7376/tid=7377] ppid=7373 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7377/stat : 7377 (toysat) S 7373 7376 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36490047 1337528320 267481 33554432000 4194304 16246674 140736638508016 139788802829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7376/tid=7378] ppid=7373 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7378/stat : 7378 (toysat) S 7373 7376 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36490047 1337528320 267481 33554432000 4194304 16246674 140736638508016 139788792339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7376/tid=7379] ppid=7373 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7379/stat : 7379 (toysat) S 7373 7376 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36490047 1337528320 267481 33554432000 4194304 16246674 140736638508016 139788781866160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1306180

[startup+3.10042 s]
/proc/loadavg: 2.30 2.27 2.11 3/183 7380
/proc/meminfo: memFree=27745452/32872528 swapFree=1542984/1696284
[pid=7376] ppid=7373 vsize=1308228 CPUtime=3.09 cores=1,3,5,7
/proc/7376/stat : 7376 (toysat) R 7373 7376 6047 0 -1 4202496 267968 0 0 0 271 38 0 0 20 0 4 0 36490047 1339625472 267781 33554432000 4194304 16246674 140736638508016 140736638491008 5523460 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7376/statm: 327057 267781 875 2943 0 323951 0
[pid=7376/tid=7377] ppid=7373 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7377/stat : 7377 (toysat) S 7373 7376 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36490047 1339625472 267781 33554432000 4194304 16246674 140736638508016 139788802829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7376/tid=7378] ppid=7373 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7378/stat : 7378 (toysat) S 7373 7376 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36490047 1339625472 267781 33554432000 4194304 16246674 140736638508016 139788792339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7376/tid=7379] ppid=7373 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7379/stat : 7379 (toysat) S 7373 7376 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36490047 1339625472 267781 33554432000 4194304 16246674 140736638508016 139788781866160 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.30045 s]
/proc/loadavg: 2.27 2.26 2.11 3/183 7380
/proc/meminfo: memFree=27744428/32872528 swapFree=1542984/1696284
[pid=7376] ppid=7373 vsize=1309252 CPUtime=6.28 cores=1,3,5,7
/proc/7376/stat : 7376 (toysat) R 7373 7376 6047 0 -1 4202496 268236 0 0 0 569 59 0 0 20 0 4 0 36490047 1340674048 268049 33554432000 4194304 16246674 140736638508016 140736638489920 5662249 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7376/statm: 327313 268049 875 2943 0 324207 0
[pid=7376/tid=7377] ppid=7373 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7377/stat : 7377 (toysat) S 7373 7376 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36490047 1340674048 268049 33554432000 4194304 16246674 140736638508016 139788802829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7376/tid=7378] ppid=7373 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7378/stat : 7378 (toysat) S 7373 7376 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36490047 1340674048 268049 33554432000 4194304 16246674 140736638508016 139788792339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7376/tid=7379] ppid=7373 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7379/stat : 7379 (toysat) S 7373 7376 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36490047 1340674048 268049 33554432000 4194304 16246674 140736638508016 139788781866160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1309252

[startup+12.7005 s]
/proc/loadavg: 2.25 2.26 2.11 3/183 7380
/proc/meminfo: memFree=27742776/32872528 swapFree=1542984/1696284
[pid=7376] ppid=7373 vsize=1310276 CPUtime=12.69 cores=1,3,5,7
/proc/7376/stat : 7376 (toysat) R 7373 7376 6047 0 -1 4202496 268571 0 0 0 1173 96 0 0 20 0 4 0 36490047 1341722624 268384 33554432000 4194304 16246674 140736638508016 140736638489920 5823674 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7376/statm: 327569 268384 875 2943 0 324463 0
[pid=7376/tid=7377] ppid=7373 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7377/stat : 7377 (toysat) S 7373 7376 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36490047 1341722624 268384 33554432000 4194304 16246674 140736638508016 139788802829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7376/tid=7378] ppid=7373 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7378/stat : 7378 (toysat) S 7373 7376 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36490047 1341722624 268384 33554432000 4194304 16246674 140736638508016 139788792339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7376/tid=7379] ppid=7373 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7379/stat : 7379 (toysat) S 7373 7376 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36490047 1341722624 268384 33554432000 4194304 16246674 140736638508016 139788781866160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.27 2.26 2.11 3/183 7380
/proc/meminfo: memFree=27743048/32872528 swapFree=1542984/1696284
[pid=7376] ppid=7373 vsize=1310276 CPUtime=25.49 cores=1,3,5,7
/proc/7376/stat : 7376 (toysat) R 7373 7376 6047 0 -1 4202496 268571 0 0 0 2371 178 0 0 20 0 4 0 36490047 1341722624 268384 33554432000 4194304 16246674 140736638508016 140736638505856 5823508 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7376/statm: 327569 268384 875 2943 0 324463 0
[pid=7376/tid=7377] ppid=7373 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7377/stat : 7377 (toysat) S 7373 7376 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36490047 1341722624 268384 33554432000 4194304 16246674 140736638508016 139788802829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7376/tid=7378] ppid=7373 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7378/stat : 7378 (toysat) S 7373 7376 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36490047 1341722624 268384 33554432000 4194304 16246674 140736638508016 139788792339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7376/tid=7379] ppid=7373 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7379/stat : 7379 (toysat) S 7373 7376 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36490047 1341722624 268384 33554432000 4194304 16246674 140736638508016 139788781866160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1310276

[startup+51.1006 s]
/proc/loadavg: 2.30 2.27 2.12 3/183 7380
/proc/meminfo: memFree=27730648/32872528 swapFree=1542984/1696284
[pid=7376] ppid=7373 vsize=1314372 CPUtime=51.08 cores=1,3,5,7
/proc/7376/stat : 7376 (toysat) R 7373 7376 6047 0 -1 4202496 269716 0 0 0 4758 350 0 0 20 0 4 0 36490047 1345916928 269529 33554432000 4194304 16246674 140736638508016 140736638489920 5546177 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7376/statm: 328593 269529 875 2943 0 325487 0
[pid=7376/tid=7377] ppid=7373 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7377/stat : 7377 (toysat) S 7373 7376 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36490047 1345916928 269529 33554432000 4194304 16246674 140736638508016 139788802829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7376/tid=7378] ppid=7373 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7378/stat : 7378 (toysat) S 7373 7376 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36490047 1345916928 269529 33554432000 4194304 16246674 140736638508016 139788792339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7376/tid=7379] ppid=7373 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7379/stat : 7379 (toysat) S 7373 7376 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36490047 1345916928 269529 33554432000 4194304 16246674 140736638508016 139788781866160 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) 1314372

[startup+102.3 s]
/proc/loadavg: 2.34 2.29 2.13 3/183 7430
/proc/meminfo: memFree=27739272/32872528 swapFree=1542984/1696284
[pid=7376] ppid=7373 vsize=1316420 CPUtime=102.27 cores=1,3,5,7
/proc/7376/stat : 7376 (toysat) R 7373 7376 6047 0 -1 4202496 270228 0 0 0 9496 731 0 0 20 0 4 0 36490047 1348014080 270041 33554432000 4194304 16246674 140736638508016 140736638489920 6837238 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7376/statm: 329105 270041 875 2943 0 325999 0
[pid=7376/tid=7377] ppid=7373 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7377/stat : 7377 (toysat) S 7373 7376 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36490047 1348014080 270041 33554432000 4194304 16246674 140736638508016 139788802829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7376/tid=7378] ppid=7373 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7378/stat : 7378 (toysat) S 7373 7376 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36490047 1348014080 270041 33554432000 4194304 16246674 140736638508016 139788792339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7376/tid=7379] ppid=7373 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7379/stat : 7379 (toysat) S 7373 7376 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36490047 1348014080 270041 33554432000 4194304 16246674 140736638508016 139788781866160 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) 1316420


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

/proc/7376/stat : 7376 (toysat) R 7373 7376 6047 0 -1 4202496 272755 0 0 0 59614 4594 0 0 20 0 4 0 36490047 1357451264 272601 33554432000 4194304 16246674 140736638508016 140736638489920 5672188 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7376/statm: 331409 272601 875 2943 0 328303 0
[pid=7376/tid=7377] ppid=7373 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7377/stat : 7377 (toysat) S 7373 7376 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36490047 1357451264 272601 33554432000 4194304 16246674 140736638508016 139788802829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7376/tid=7378] ppid=7373 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7378/stat : 7378 (toysat) S 7373 7376 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36490047 1357451264 272601 33554432000 4194304 16246674 140736638508016 139788792339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7376/tid=7379] ppid=7373 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7379/stat : 7379 (toysat) S 7373 7376 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36490047 1357451264 272601 33554432000 4194304 16246674 140736638508016 139788781866160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 1325636

[startup+702.301 s]
/proc/loadavg: 2.18 2.29 2.20 3/183 8295
/proc/meminfo: memFree=28387908/32872528 swapFree=1542984/1696284
[pid=7376] ppid=7373 vsize=1325636 CPUtime=702.05 cores=1,3,5,7
/proc/7376/stat : 7376 (toysat) R 7373 7376 6047 0 -1 4202496 272798 0 0 0 65231 4974 0 0 20 0 4 0 36490047 1357451264 272601 33554432000 4194304 16246674 140736638508016 140736638489920 5545752 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7376/statm: 331409 272601 875 2943 0 328303 0
[pid=7376/tid=7377] ppid=7373 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7377/stat : 7377 (toysat) S 7373 7376 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36490047 1357451264 272601 33554432000 4194304 16246674 140736638508016 139788802829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7376/tid=7378] ppid=7373 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7378/stat : 7378 (toysat) S 7373 7376 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36490047 1357451264 272601 33554432000 4194304 16246674 140736638508016 139788792339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7376/tid=7379] ppid=7373 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7379/stat : 7379 (toysat) S 7373 7376 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36490047 1357451264 272601 33554432000 4194304 16246674 140736638508016 139788781866160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 702.05
Current children cumulated vsize (KiB) 1325636

[startup+762.301 s]
/proc/loadavg: 2.37 2.32 2.21 3/183 8296
/proc/meminfo: memFree=28387816/32872528 swapFree=1542984/1696284
[pid=7376] ppid=7373 vsize=1325636 CPUtime=762.03 cores=1,3,5,7
/proc/7376/stat : 7376 (toysat) R 7373 7376 6047 0 -1 4202496 272843 0 0 0 70863 5340 0 0 20 0 4 0 36490047 1357451264 272601 33554432000 4194304 16246674 140736638508016 140736638489920 5546181 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7376/statm: 331409 272601 875 2943 0 328303 0
[pid=7376/tid=7377] ppid=7373 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7377/stat : 7377 (toysat) S 7373 7376 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36490047 1357451264 272601 33554432000 4194304 16246674 140736638508016 139788802829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7376/tid=7378] ppid=7373 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7378/stat : 7378 (toysat) S 7373 7376 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36490047 1357451264 272601 33554432000 4194304 16246674 140736638508016 139788792339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7376/tid=7379] ppid=7373 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7379/stat : 7379 (toysat) S 7373 7376 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36490047 1357451264 272601 33554432000 4194304 16246674 140736638508016 139788781866160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 1325636

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

[startup+768 s]
/proc/loadavg: 2.31 2.31 2.20 3/183 8296
/proc/meminfo: memFree=28387900/32872528 swapFree=1542984/1696284
[pid=7376] ppid=7373 vsize=1325636 CPUtime=767.71 cores=1,3,5,7
/proc/7376/stat : 7376 (toysat) R 7373 7376 6047 0 -1 4202496 272843 0 0 0 71390 5381 0 0 20 0 4 0 36490047 1357451264 272601 33554432000 4194304 16246674 140736638508016 140736638507192 5822484 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7376/statm: 331409 272601 875 2943 0 328303 0
[pid=7376/tid=7377] ppid=7373 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7377/stat : 7377 (toysat) S 7373 7376 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36490047 1357451264 272601 33554432000 4194304 16246674 140736638508016 139788802829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7376/tid=7378] ppid=7373 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7378/stat : 7378 (toysat) S 7373 7376 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36490047 1357451264 272601 33554432000 4194304 16246674 140736638508016 139788792339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7376/tid=7379] ppid=7373 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7379/stat : 7379 (toysat) S 7373 7376 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36490047 1357451264 272601 33554432000 4194304 16246674 140736638508016 139788781866160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 767.71
Current children cumulated vsize (KiB) 1325636

[startup+774.4 s]
/proc/loadavg: 2.29 2.30 2.20 3/183 8296
/proc/meminfo: memFree=28387888/32872528 swapFree=1542984/1696284
[pid=7376] ppid=7373 vsize=1325636 CPUtime=774.12 cores=1,3,5,7
/proc/7376/stat : 7376 (toysat) R 7373 7376 6047 0 -1 4202496 272844 0 0 0 71984 5428 0 0 20 0 4 0 36490047 1357451264 272601 33554432000 4194304 16246674 140736638508016 140736638489920 6837038 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7376/statm: 331409 272601 875 2943 0 328303 0
[pid=7376/tid=7377] ppid=7373 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7377/stat : 7377 (toysat) S 7373 7376 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36490047 1357451264 272601 33554432000 4194304 16246674 140736638508016 139788802829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7376/tid=7378] ppid=7373 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7378/stat : 7378 (toysat) S 7373 7376 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36490047 1357451264 272601 33554432000 4194304 16246674 140736638508016 139788792339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7376/tid=7379] ppid=7373 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7379/stat : 7379 (toysat) S 7373 7376 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36490047 1357451264 272601 33554432000 4194304 16246674 140736638508016 139788781866160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 774.12
Current children cumulated vsize (KiB) 1325636

[startup+780.8 s]
/proc/loadavg: 2.27 2.30 2.20 3/183 8296
/proc/meminfo: memFree=28387764/32872528 swapFree=1542984/1696284
[pid=7376] ppid=7373 vsize=1325636 CPUtime=780.52 cores=1,3,5,7
/proc/7376/stat : 7376 (toysat) R 7373 7376 6047 0 -1 4202496 272854 0 0 0 72576 5476 0 0 20 0 4 0 36490047 1357451264 272611 33554432000 4194304 16246674 140736638508016 140736638489920 13950188 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7376/statm: 331409 272611 885 2943 0 328303 0
[pid=7376/tid=7377] ppid=7373 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7377/stat : 7377 (toysat) S 7373 7376 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36490047 1357451264 272611 33554432000 4194304 16246674 140736638508016 139788802829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7376/tid=7378] ppid=7373 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7378/stat : 7378 (toysat) S 7373 7376 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36490047 1357451264 272611 33554432000 4194304 16246674 140736638508016 139788792339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7376/tid=7379] ppid=7373 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7379/stat : 7379 (toysat) S 7373 7376 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36490047 1357451264 272611 33554432000 4194304 16246674 140736638508016 139788781866160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 780.52
Current children cumulated vsize (KiB) 1325636

[startup+784 s]
/proc/loadavg: 2.24 2.29 2.20 3/183 8296
/proc/meminfo: memFree=28385904/32872528 swapFree=1542984/1696284
[pid=7376] ppid=7373 vsize=1327684 CPUtime=783.71 cores=1,3,5,7
/proc/7376/stat : 7376 (toysat) R 7373 7376 6047 0 -1 4202496 273334 0 0 0 72870 5501 0 0 20 0 4 0 36490047 1359548416 273091 33554432000 4194304 16246674 140736638508016 140736638489920 5822428 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7376/statm: 331921 273091 885 2943 0 328815 0
[pid=7376/tid=7377] ppid=7373 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7377/stat : 7377 (toysat) S 7373 7376 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36490047 1359548416 273091 33554432000 4194304 16246674 140736638508016 139788802829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7376/tid=7378] ppid=7373 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7378/stat : 7378 (toysat) S 7373 7376 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36490047 1359548416 273091 33554432000 4194304 16246674 140736638508016 139788792339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7376/tid=7379] ppid=7373 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7379/stat : 7379 (toysat) S 7373 7376 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36490047 1359548416 273091 33554432000 4194304 16246674 140736638508016 139788781866160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 783.71
Current children cumulated vsize (KiB) 1327684

[startup+785.6 s]
/proc/loadavg: 2.24 2.29 2.20 3/183 8296
/proc/meminfo: memFree=28385780/32872528 swapFree=1542984/1696284
[pid=7376] ppid=7373 vsize=1327684 CPUtime=785.32 cores=1,3,5,7
/proc/7376/stat : 7376 (toysat) R 7373 7376 6047 0 -1 4202496 273334 0 0 0 73018 5514 0 0 20 0 4 0 36490047 1359548416 273091 33554432000 4194304 16246674 140736638508016 140736638489920 5822428 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7376/statm: 331921 273091 885 2943 0 328815 0
[pid=7376/tid=7377] ppid=7373 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7377/stat : 7377 (toysat) S 7373 7376 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36490047 1359548416 273091 33554432000 4194304 16246674 140736638508016 139788802829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7376/tid=7378] ppid=7373 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7378/stat : 7378 (toysat) S 7373 7376 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36490047 1359548416 273091 33554432000 4194304 16246674 140736638508016 139788792339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7376/tid=7379] ppid=7373 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7379/stat : 7379 (toysat) S 7373 7376 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36490047 1359548416 273091 33554432000 4194304 16246674 140736638508016 139788781866160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 785.32
Current children cumulated vsize (KiB) 1327684

[startup+786 s]
/proc/loadavg: 2.24 2.29 2.20 3/183 8296
/proc/meminfo: memFree=28385780/32872528 swapFree=1542984/1696284
[pid=7376] ppid=7373 vsize=1327684 CPUtime=785.71 cores=1,3,5,7
/proc/7376/stat : 7376 (toysat) R 7373 7376 6047 0 -1 4202496 273334 0 0 0 73054 5517 0 0 20 0 4 0 36490047 1359548416 273091 33554432000 4194304 16246674 140736638508016 140736638489920 13198373 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7376/statm: 331921 273091 885 2943 0 328815 0
[pid=7376/tid=7377] ppid=7373 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7377/stat : 7377 (toysat) S 7373 7376 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36490047 1359548416 273091 33554432000 4194304 16246674 140736638508016 139788802829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7376/tid=7378] ppid=7373 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7378/stat : 7378 (toysat) S 7373 7376 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36490047 1359548416 273091 33554432000 4194304 16246674 140736638508016 139788792339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7376/tid=7379] ppid=7373 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7379/stat : 7379 (toysat) S 7373 7376 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36490047 1359548416 273091 33554432000 4194304 16246674 140736638508016 139788781866160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 785.71
Current children cumulated vsize (KiB) 1327684

[startup+786.2 s]
/proc/loadavg: 2.24 2.29 2.20 3/183 8296
/proc/meminfo: memFree=28385780/32872528 swapFree=1542984/1696284
[pid=7376] ppid=7373 vsize=1327684 CPUtime=785.91 cores=1,3,5,7
/proc/7376/stat : 7376 (toysat) R 7373 7376 6047 0 -1 4202496 273334 0 0 0 73073 5518 0 0 20 0 4 0 36490047 1359548416 273091 33554432000 4194304 16246674 140736638508016 140736638489920 5711952 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7376/statm: 331921 273091 885 2943 0 328815 0
[pid=7376/tid=7377] ppid=7373 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7377/stat : 7377 (toysat) S 7373 7376 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36490047 1359548416 273091 33554432000 4194304 16246674 140736638508016 139788802829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7376/tid=7378] ppid=7373 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7378/stat : 7378 (toysat) S 7373 7376 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36490047 1359548416 273091 33554432000 4194304 16246674 140736638508016 139788792339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7376/tid=7379] ppid=7373 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7379/stat : 7379 (toysat) S 7373 7376 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36490047 1359548416 273091 33554432000 4194304 16246674 140736638508016 139788781866160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 785.91
Current children cumulated vsize (KiB) 1327684

[startup+786.3 s]
/proc/loadavg: 2.24 2.29 2.20 3/183 8296
/proc/meminfo: memFree=28385780/32872528 swapFree=1542984/1696284
[pid=7376] ppid=7373 vsize=1327684 CPUtime=786.01 cores=1,3,5,7
/proc/7376/stat : 7376 (toysat) R 7373 7376 6047 0 -1 4202496 273334 0 0 0 73082 5519 0 0 20 0 4 0 36490047 1359548416 273091 33554432000 4194304 16246674 140736638508016 140736638489920 5822428 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7376/statm: 331921 273091 885 2943 0 328815 0
[pid=7376/tid=7377] ppid=7373 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7377/stat : 7377 (toysat) S 7373 7376 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36490047 1359548416 273091 33554432000 4194304 16246674 140736638508016 139788802829552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7376/tid=7378] ppid=7373 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7378/stat : 7378 (toysat) S 7373 7376 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36490047 1359548416 273091 33554432000 4194304 16246674 140736638508016 139788792339696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7376/tid=7379] ppid=7373 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7376/task/7379/stat : 7379 (toysat) S 7373 7376 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36490047 1359548416 273091 33554432000 4194304 16246674 140736638508016 139788781866160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 786.01
Current children cumulated vsize (KiB) 1327684

Child status: 0
Real time (s): 786.394
CPU time (s): 786.115
CPU user time (s): 730.908
CPU system time (s): 55.2066
CPU usage (%): 99.9645
Max. virtual memory (cumulated for all children) (KiB): 1327684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 730.908
system time used= 55.2066
maximum resident set size= 1092372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273338
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= 329
involuntary context switches= 1279

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.60815 second user time and 6.83396 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-19 15:53:54
IDJOB=4109926
IDBENCH=78972
IDSOLVER=2553
FILE ID=node125/4109926-1466344434
RUNJOBID= node125-1466341817-6064
PBS_JOBID= 19922028
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900548667--soft-66-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-4109926-1466344434/watcher-4109926-1466344434 -o /tmp/evaluation-result-4109926-1466344434/solver-4109926-1466344434 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466341817-6064 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109926-1466344434.wbo

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

MD5SUM BENCH= b93cc320d1c40ed770cd566486d12ca9
RANDOM SEED=800233646

node125.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.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.36
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.683
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.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
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:        28816644 kB
Buffers:          181012 kB
Cached:           351092 kB
SwapCached:          764 kB
Active:          1244144 kB
Inactive:         370644 kB
Active(anon):    1083488 kB
Inactive(anon):     1188 kB
Active(file):     160656 kB
Inactive(file):   369456 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67098312 kB
Dirty:             16320 kB
Writeback:             0 kB
AnonPages:       2777424 kB
Mapped:            10788 kB
Shmem:                 0 kB
Slab:             611208 kB
SReclaimable:      54832 kB
SUnreclaim:       556376 kB
KernelStack:        1520 kB
PageTables:         9560 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2922076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node125 at 2016-06-19 16:07:01